Trace number 278255

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
AbsconMax 109 PFCMSAT (TO) 2400.16 2417.64

General information on the benchmark

NameMaxCSP/cnf/3-40-2100-3000/
cnf-3-40-2100-244621_ext.xml
MD5SUMdbe6e80b0ee55ab022321ccaba3caf81
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints1726
Best CPU time to get the best result obtained on this benchmark127.78
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints1889
Maximum constraint arity3
Maximum domain size2
Number of constraints which are defined in extension1889
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.38	   
0.38	Abscon 109 (November, 2006)
0.38	   
0.38	   configuration
0.38	     name=pfc.xml
0.42	   
0.42	   instance
0.42	     name=/tmp/evaluation/278255-1169283938/unknown.xml
0.45	   
0.45	   domains being loaded...
0.45	   
0.45	   variables being loaded...
0.48	     nbVariables=40  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.48	       =>  wckTime=0.091  cpuTime=0.08  mem=6M910
0.48	   
0.48	   relations being loaded...
0.50	   
0.50	   constraints being loaded...
0.74	     nbConstraints=1889  nbRelationTypes=43  nbExtensionStructures=43  nbSharedExtensionStructures=1846
0.74	     nbConflictsStructures=43  nbSharedConflictsStructures=1846  nbSharedBinaryRepresentations=0  maxDegree=172
0.74	     maxArity=3
0.74	       =>  wckTime=0.355  cpuTime=0.23  mem=12M769
0.79	   
0.79	   solver LocalSearchSolver being built... 
0.83	       =>  wckTime=0.447  cpuTime=0.28  mem=6M363
0.84	
0.84	s SATISFIABLE
0.84	o 1641
0.84	c 248
0.84	o 1653
0.84	c 236
0.84	o 1667
0.84	c 222
0.84	o 1675
0.84	c 214
0.85	o 1681
0.85	c 208
0.85	o 1686
0.85	c 203
0.85	o 1695
0.85	c 194
0.85	o 1698
0.85	c 191
0.85	o 1702
0.85	c 187
0.85	o 1703
0.85	c 186
0.85	o 1707
0.85	c 182
0.85	o 1710
0.85	c 179
0.85	o 1712
0.85	c 177
0.85	o 1713
0.85	c 176
1.02	o 1714
1.02	c 175
1.02	o 1715
1.02	c 174
1.37	o 1718
1.37	c 171
1.38	o 1720
1.38	c 169
1.38	o 1721
1.38	c 168
1.38	o 1723
1.38	c 166
2.92	o 1724
2.92	c 165
7.18	o 1725
7.18	c 164
7.96	   
7.96	   search
7.96	     run=0  nbConstraintChecks=41799083  nbAssignments=10000
7.96	       =>  wckTime=7.132  cpuTime=7.04  mem=6M363
15.08	   
15.08	   search
15.08	     run=1  nbConstraintChecks=84634153  nbAssignments=20000
15.08	       =>  wckTime=14.251  cpuTime=14.1  mem=6M363
22.02	   
22.02	   search
22.02	     run=2  nbConstraintChecks=126410294  nbAssignments=30000
22.02	       =>  wckTime=21.186  cpuTime=20.97  mem=6M363
29.07	   
29.07	   search
29.07	     run=3  nbConstraintChecks=169216152  nbAssignments=40000
29.07	       =>  wckTime=28.237  cpuTime=27.96  mem=6M363
36.04	   
36.04	   search
36.04	     run=4  nbConstraintChecks=211004996  nbAssignments=50000
36.04	       =>  wckTime=35.207  cpuTime=34.88  mem=6M363
37.45	   
37.45	   search
37.45	     run=5  nbConstraintChecks=219459142  nbAssignments=51977
37.45	       =>  wckTime=36.622  cpuTime=36.27  mem=6M363
37.46	   
37.46	   global
37.46	     nbConstraintChecks=219459142  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
37.46	     solvingWckTime=36.621  solvingCpuTime=36.27  expiredTime=no  totalExploration=no  nbFoundSolutions=0
37.46	     globalCpuTime=36.6
37.46	       =>  wckTime=37.069  cpuTime=36.55  mem=6M363
37.46	   
37.46	   solver IterativeSystematicSolver being built... 
37.65	       =>  wckTime=37.263  cpuTime=36.71  mem=27M145
37.67	   
37.67	   preprocessing
37.67	     nbConstraintChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
37.67	     detectedInconsistency=no
37.67	       =>  wckTime=0.019  cpuTime=0.01  mem=27M145
37.83	   
37.83	   search
37.83	     run=0  nbConstraintChecks=39009  nbValidityChecks=87347  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
37.83	     nbAssignments=42  nbFailedAssignments=8  nbBacktracks=10  nbVisitedNodes=61  nbRestartNogoods=0
37.83	       =>  wckTime=0.177  cpuTime=0.15  mem=28M137
38.00	   
38.00	   search
38.00	     run=1  nbConstraintChecks=90275  nbValidityChecks=229291  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
38.01	     nbAssignments=93  nbFailedAssignments=23  nbBacktracks=25  nbVisitedNodes=142  nbRestartNogoods=3
38.01	       =>  wckTime=0.354  cpuTime=0.31  mem=28M137
38.19	   
38.19	   search
38.19	     run=2  nbConstraintChecks=156517  nbValidityChecks=420934  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
38.19	     nbAssignments=155  nbFailedAssignments=41  nbBacktracks=48  nbVisitedNodes=245  nbRestartNogoods=4
38.19	       =>  wckTime=0.541  cpuTime=0.5  mem=28M137
38.48	   
38.48	   search
38.48	     run=3  nbConstraintChecks=253964  nbValidityChecks=712504  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
38.48	     nbAssignments=239  nbFailedAssignments=66  nbBacktracks=84  nbVisitedNodes=390  nbRestartNogoods=8
38.48	       =>  wckTime=0.828  cpuTime=0.77  mem=28M137
38.86	   
38.86	   search
38.86	     run=4  nbConstraintChecks=393314  nbValidityChecks=1128165  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
38.86	     nbAssignments=352  nbFailedAssignments=106  nbBacktracks=134  nbVisitedNodes=593  nbRestartNogoods=11
38.86	       =>  wckTime=1.208  cpuTime=1.15  mem=28M137
39.40	   
39.40	   search
39.40	     run=5  nbConstraintChecks=604339  nbValidityChecks=1750951  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
39.40	     nbAssignments=505  nbFailedAssignments=164  nbBacktracks=209  nbVisitedNodes=879  nbRestartNogoods=14
39.40	       =>  wckTime=1.746  cpuTime=1.68  mem=28M137
40.28	   
40.28	   search
40.28	     run=6  nbConstraintChecks=882066  nbValidityChecks=2716758  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
40.28	     nbAssignments=741  nbFailedAssignments=268  nbBacktracks=322  nbVisitedNodes=1332  nbRestartNogoods=15
40.28	       =>  wckTime=2.634  cpuTime=2.56  mem=28M137
41.54	   
41.54	   search
41.54	     run=7  nbConstraintChecks=1308817  nbValidityChecks=4118835  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
41.54	     nbAssignments=1067  nbFailedAssignments=404  nbBacktracks=492  nbVisitedNodes=1964  nbRestartNogoods=19
41.54	       =>  wckTime=3.885  cpuTime=3.79  mem=28M137
43.45	   
43.45	   search
43.45	     run=8  nbConstraintChecks=1940326  nbValidityChecks=6259831  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
43.45	     nbAssignments=1554  nbFailedAssignments=614  nbBacktracks=748  nbVisitedNodes=2917  nbRestartNogoods=23
43.45	       =>  wckTime=5.797  cpuTime=5.67  mem=28M137
46.25	   
46.25	   search
46.25	     run=9  nbConstraintChecks=2834521  nbValidityChecks=9331545  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
46.25	     nbAssignments=2246  nbFailedAssignments=902  nbBacktracks=1133  nbVisitedNodes=4282  nbRestartNogoods=26
46.25	       =>  wckTime=8.596  cpuTime=8.43  mem=28M137
50.61	   
50.61	   search
50.61	     run=10  nbConstraintChecks=4275679  nbValidityChecks=14291550  nbPropagations=0  nbRevisions=0
50.61	     nbUselessRevisions=0  nbAssignments=3328  nbFailedAssignments=1390  nbBacktracks=1710  nbVisitedNodes=6429
50.61	     nbRestartNogoods=30
50.61	       =>  wckTime=12.964  cpuTime=12.76  mem=28M137
57.31	   
57.31	   search
57.31	     run=11  nbConstraintChecks=6355285  nbValidityChecks=21554629  nbPropagations=0  nbRevisions=0
57.31	     nbUselessRevisions=0  nbAssignments=4898  nbFailedAssignments=2077  nbBacktracks=2574  nbVisitedNodes=9550
57.31	     nbRestartNogoods=36
57.31	       =>  wckTime=19.654  cpuTime=19.38  mem=28M137
66.82	   
66.82	   search
66.82	     run=12  nbConstraintChecks=9523489  nbValidityChecks=32295807  nbPropagations=0  nbRevisions=0
66.82	     nbUselessRevisions=0  nbAssignments=7229  nbFailedAssignments=3093  nbBacktracks=3871  nbVisitedNodes=14194
66.82	     nbRestartNogoods=42
66.82	       =>  wckTime=29.166  cpuTime=28.8  mem=28M137
81.96	   
81.96	   search
81.96	     run=13  nbConstraintChecks=14146769  nbValidityChecks=49127888  nbPropagations=0  nbRevisions=0
81.96	     nbUselessRevisions=0  nbAssignments=10826  nbFailedAssignments=4726  nbBacktracks=5817  nbVisitedNodes=21370
81.96	     nbRestartNogoods=48
81.96	       =>  wckTime=44.313  cpuTime=43.81  mem=28M137
102.45	   
102.45	   search
102.45	     run=14  nbConstraintChecks=20974268  nbValidityChecks=72625207  nbPropagations=0  nbRevisions=0
102.45	     nbUselessRevisions=0  nbAssignments=15793  nbFailedAssignments=6757  nbBacktracks=8736  nbVisitedNodes=31287
102.45	     nbRestartNogoods=54
102.45	       =>  wckTime=64.795  cpuTime=64.11  mem=28M137
134.02	   
134.03	   search
134.03	     run=15  nbConstraintChecks=30889060  nbValidityChecks=108161954  nbPropagations=0  nbRevisions=0
134.03	     nbUselessRevisions=0  nbAssignments=23323  nbFailedAssignments=9890  nbBacktracks=13115  nbVisitedNodes=46329
134.03	     nbRestartNogoods=63
134.03	       =>  wckTime=96.374  cpuTime=95.39  mem=28M137
180.72	   
180.72	   search
180.72	     run=16  nbConstraintChecks=46229706  nbValidityChecks=162194250  nbPropagations=0  nbRevisions=0
180.72	     nbUselessRevisions=0  nbAssignments=34758  nbFailedAssignments=14739  nbBacktracks=19683  nbVisitedNodes=69181
180.72	     nbRestartNogoods=68
180.72	       =>  wckTime=143.068  cpuTime=141.65  mem=28M137
258.93	   
258.93	   search
258.93	     run=17  nbConstraintChecks=67142665  nbValidityChecks=246398264  nbPropagations=0  nbRevisions=0
258.93	     nbUselessRevisions=0  nbAssignments=52281  nbFailedAssignments=22393  nbBacktracks=29536  nbVisitedNodes=104196
258.93	     nbRestartNogoods=75
258.93	       =>  wckTime=221.276  cpuTime=219.14  mem=28M137
378.96	   
378.97	   search
378.97	     run=18  nbConstraintChecks=98314454  nbValidityChecks=372475083  nbPropagations=0  nbRevisions=0
378.97	     nbUselessRevisions=0  nbAssignments=78876  nbFailedAssignments=34195  nbBacktracks=44314  nbVisitedNodes=157337
378.97	     nbRestartNogoods=82
378.97	       =>  wckTime=341.314  cpuTime=338.08  mem=28M137
554.96	   
554.96	   search
554.96	     run=19  nbConstraintChecks=147067662  nbValidityChecks=566525263  nbPropagations=0  nbRevisions=0
554.96	     nbUselessRevisions=0  nbAssignments=118142  nbFailedAssignments=51278  nbBacktracks=66482  nbVisitedNodes=235846
554.96	     nbRestartNogoods=90
554.96	       =>  wckTime=517.31  cpuTime=512.46  mem=28M137
816.68	   
816.68	   search
816.68	     run=20  nbConstraintChecks=218894345  nbValidityChecks=852619120  nbPropagations=0  nbRevisions=0
816.68	     nbUselessRevisions=0  nbAssignments=176404  nbFailedAssignments=76272  nbBacktracks=99734  nbVisitedNodes=352256
816.68	     nbRestartNogoods=98
816.68	       =>  wckTime=779.032  cpuTime=771.77  mem=28M137
1227.02	   
1227.02	   search
1227.02	     run=21  nbConstraintChecks=324766925  nbValidityChecks=1281211660  nbPropagations=0  nbRevisions=0
1227.02	     nbUselessRevisions=0  nbAssignments=266453  nbFailedAssignments=116426  nbBacktracks=149613  nbVisitedNodes=531888
1227.02	     nbRestartNogoods=106
1227.02	       =>  wckTime=1189.369  cpuTime=1178.35  mem=28M137
1812.15	   
1812.15	   search
1812.15	     run=22  nbConstraintChecks=489399757  nbValidityChecks=1915511430  nbPropagations=0  nbRevisions=0
1812.15	     nbUselessRevisions=0  nbAssignments=400574  nbFailedAssignments=175712  nbBacktracks=224431  nbVisitedNodes=799863
1812.15	     nbRestartNogoods=114
1812.15	       =>  wckTime=1774.498  cpuTime=1760.6  mem=28M137
2417.58	v 0 1 1 0 0 0 1 1 1 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 1 1 1 1 0 0 0 0 1 1 0 1

Verifier Data (download as text)

164 unsatisfied constraints, 1725 satisfied constraints

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node19/watcher-278255-1169283938 -o ROOT/results/node19/solver-278255-1169283938 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278255-1169283938/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 2.00 2.00 2.00 4/86 20143
/proc/meminfo: memFree=1167696/2055920 swapFree=4171264/4192956
[pid=20142] ppid=20140 vsize=47416 CPUtime=0
/proc/20142/stat : 20142 (java) D 20140 20142 19032 0 -1 0 1211 0 1 0 0 0 0 0 17 0 1 0 276788411 48553984 960 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/20142/statm: 11854 960 760 14 0 1707 0

[startup+0.103693 s]
/proc/loadavg: 2.00 2.00 2.00 4/86 20143
/proc/meminfo: memFree=1167696/2055920 swapFree=4171264/4192956
[pid=20142] ppid=20140 vsize=907808 CPUtime=0.05
/proc/20142/stat : 20142 (java) D 20140 20142 19032 0 -1 0 2507 0 1 0 4 1 0 0 17 0 4 0 276788411 929595392 2254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/20142/statm: 226952 2254 1232 14 0 214535 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 907808

[startup+0.511768 s]
/proc/loadavg: 2.00 2.00 2.00 4/86 20143
/proc/meminfo: memFree=1167696/2055920 swapFree=4171264/4192956
[pid=20142] ppid=20140 vsize=915332 CPUtime=0.41
/proc/20142/stat : 20142 (java) R 20140 20142 19032 0 -1 0 6070 0 1 0 37 4 0 0 18 0 8 0 276788411 937299968 5809 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20142/statm: 228833 5809 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 915332

[startup+1.33292 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 20150
/proc/meminfo: memFree=1145176/2055920 swapFree=4171264/4192956
[pid=20142] ppid=20140 vsize=915444 CPUtime=1.22
/proc/20142/stat : 20142 (java) R 20140 20142 19032 0 -1 0 8287 0 1 0 113 9 0 0 24 0 8 0 276788411 937414656 8025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073328002 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20142/statm: 228861 8025 2474 14 0 215331 0
[pid=20142/tid=20144] ppid=20140 vsize=915444 CPUtime=0.03
/proc/20142/task/20144/stat : 20144 (java) S 20140 20142 19032 0 -1 64 365 0 0 0 3 0 0 0 16 0 8 0 276788414 937414656 8025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20145] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20145/stat : 20145 (java) S 20140 20142 19032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276788415 937414656 8025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20146] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20146/stat : 20146 (java) S 20140 20142 19032 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276788415 937414656 8025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20147] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20147/stat : 20147 (java) S 20140 20142 19032 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276788426 937414656 8025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20148] ppid=20140 vsize=915444 CPUtime=0.17
/proc/20142/task/20148/stat : 20148 (java) S 20140 20142 19032 0 -1 64 368 0 0 0 17 0 0 0 16 0 8 0 276788426 937414656 8025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20149] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20149/stat : 20149 (java) S 20140 20142 19032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276788426 937414656 8025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20150] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20150/stat : 20150 (java) S 20140 20142 19032 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276788426 937414656 8025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 915444

[startup+2.97523 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 20150
/proc/meminfo: memFree=1145112/2055920 swapFree=4171264/4192956
[pid=20142] ppid=20140 vsize=915444 CPUtime=2.85
/proc/20142/stat : 20142 (java) R 20140 20142 19032 0 -1 0 8294 0 1 0 267 18 0 0 25 0 8 0 276788411 937414656 8031 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20142/statm: 228861 8031 2476 14 0 215331 0
[pid=20142/tid=20144] ppid=20140 vsize=915444 CPUtime=0.03
/proc/20142/task/20144/stat : 20144 (java) S 20140 20142 19032 0 -1 64 365 0 0 0 3 0 0 0 16 0 8 0 276788414 937414656 8031 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20145] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20145/stat : 20145 (java) S 20140 20142 19032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276788415 937414656 8031 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20146] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20146/stat : 20146 (java) S 20140 20142 19032 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276788415 937414656 8031 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20147] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20147/stat : 20147 (java) S 20140 20142 19032 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276788426 937414656 8031 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20148] ppid=20140 vsize=915444 CPUtime=0.18
/proc/20142/task/20148/stat : 20148 (java) S 20140 20142 19032 0 -1 64 374 0 0 0 18 0 0 0 16 0 8 0 276788426 937414656 8031 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20149] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20149/stat : 20149 (java) S 20140 20142 19032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276788426 937414656 8031 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20150] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20150/stat : 20150 (java) S 20140 20142 19032 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276788426 937414656 8031 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 915444

[startup+6.26985 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 20150
/proc/meminfo: memFree=1145112/2055920 swapFree=4171264/4192956
[pid=20142] ppid=20140 vsize=915444 CPUtime=6.11
/proc/20142/stat : 20142 (java) R 20140 20142 19032 0 -1 0 8294 0 1 0 573 38 0 0 25 0 8 0 276788411 937414656 8031 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073816993 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20142/statm: 228861 8031 2476 14 0 215331 0
[pid=20142/tid=20144] ppid=20140 vsize=915444 CPUtime=0.03
/proc/20142/task/20144/stat : 20144 (java) S 20140 20142 19032 0 -1 64 365 0 0 0 3 0 0 0 16 0 8 0 276788414 937414656 8031 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20145] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20145/stat : 20145 (java) S 20140 20142 19032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276788415 937414656 8031 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20146] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20146/stat : 20146 (java) S 20140 20142 19032 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276788415 937414656 8031 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20147] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20147/stat : 20147 (java) S 20140 20142 19032 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276788426 937414656 8031 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20148] ppid=20140 vsize=915444 CPUtime=0.18
/proc/20142/task/20148/stat : 20148 (java) S 20140 20142 19032 0 -1 64 374 0 0 0 18 0 0 0 16 0 8 0 276788426 937414656 8031 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20149] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20149/stat : 20149 (java) S 20140 20142 19032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276788426 937414656 8031 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20150] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20150/stat : 20150 (java) S 20140 20142 19032 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276788426 937414656 8031 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 915444

[startup+12.7471 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 20150
/proc/meminfo: memFree=1145176/2055920 swapFree=4171264/4192956
[pid=20142] ppid=20140 vsize=915444 CPUtime=12.53
/proc/20142/stat : 20142 (java) R 20140 20142 19032 0 -1 0 8298 0 1 0 1171 82 0 0 25 0 8 0 276788411 937414656 8035 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073816998 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20142/statm: 228861 8035 2476 14 0 215331 0
[pid=20142/tid=20144] ppid=20140 vsize=915444 CPUtime=0.03
/proc/20142/task/20144/stat : 20144 (java) S 20140 20142 19032 0 -1 64 365 0 0 0 3 0 0 0 16 0 8 0 276788414 937414656 8035 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20145] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20145/stat : 20145 (java) S 20140 20142 19032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276788415 937414656 8035 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20146] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20146/stat : 20146 (java) S 20140 20142 19032 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276788415 937414656 8035 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20147] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20147/stat : 20147 (java) S 20140 20142 19032 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276788426 937414656 8035 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20148] ppid=20140 vsize=915444 CPUtime=0.18
/proc/20142/task/20148/stat : 20148 (java) S 20140 20142 19032 0 -1 64 377 0 0 0 18 0 0 0 17 0 8 0 276788426 937414656 8035 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20149] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20149/stat : 20149 (java) S 20140 20142 19032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276788426 937414656 8035 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20150] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20150/stat : 20150 (java) S 20140 20142 19032 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276788426 937414656 8035 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 915444

[startup+25.6085 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 20150
/proc/meminfo: memFree=1145176/2055920 swapFree=4171264/4192956
[pid=20142] ppid=20140 vsize=915444 CPUtime=25.28
/proc/20142/stat : 20142 (java) R 20140 20142 19032 0 -1 0 8298 0 1 0 2360 168 0 0 25 0 8 0 276788411 937414656 8035 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20142/statm: 228861 8035 2476 14 0 215331 0
[pid=20142/tid=20144] ppid=20140 vsize=915444 CPUtime=0.03
/proc/20142/task/20144/stat : 20144 (java) S 20140 20142 19032 0 -1 64 365 0 0 0 3 0 0 0 16 0 8 0 276788414 937414656 8035 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20145] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20145/stat : 20145 (java) S 20140 20142 19032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276788415 937414656 8035 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20146] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20146/stat : 20146 (java) S 20140 20142 19032 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276788415 937414656 8035 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20147] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20147/stat : 20147 (java) S 20140 20142 19032 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276788426 937414656 8035 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20148] ppid=20140 vsize=915444 CPUtime=0.18
/proc/20142/task/20148/stat : 20148 (java) S 20140 20142 19032 0 -1 64 377 0 0 0 18 0 0 0 17 0 8 0 276788426 937414656 8035 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20149] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20149/stat : 20149 (java) S 20140 20142 19032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276788426 937414656 8035 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20150] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20150/stat : 20150 (java) S 20140 20142 19032 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276788426 937414656 8035 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 915444

[startup+51.2373 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 20150
/proc/meminfo: memFree=1131224/2055920 swapFree=4171264/4192956
[pid=20142] ppid=20140 vsize=915444 CPUtime=50.68
/proc/20142/stat : 20142 (java) R 20140 20142 19032 0 -1 0 11856 0 1 0 4825 243 0 0 25 0 8 0 276788411 937414656 11584 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073951343 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20142/statm: 228861 11584 2530 14 0 215331 0
[pid=20142/tid=20144] ppid=20140 vsize=915444 CPUtime=0.03
/proc/20142/task/20144/stat : 20144 (java) S 20140 20142 19032 0 -1 64 366 0 0 0 3 0 0 0 16 0 8 0 276788414 937414656 11584 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20145] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20145/stat : 20145 (java) S 20140 20142 19032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276788415 937414656 11584 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20146] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20146/stat : 20146 (java) S 20140 20142 19032 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276788415 937414656 11584 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20147] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20147/stat : 20147 (java) S 20140 20142 19032 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276788426 937414656 11584 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20148] ppid=20140 vsize=915444 CPUtime=0.31
/proc/20142/task/20148/stat : 20148 (java) S 20140 20142 19032 0 -1 64 446 0 0 0 30 1 0 0 17 0 8 0 276788426 937414656 11584 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20149] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20149/stat : 20149 (java) S 20140 20142 19032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276788426 937414656 11584 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20150] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20150/stat : 20150 (java) S 20140 20142 19032 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276788426 937414656 11584 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 915444

[startup+102.495 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 20150
/proc/meminfo: memFree=1131160/2055920 swapFree=4171264/4192956
[pid=20142] ppid=20140 vsize=915444 CPUtime=101.47
/proc/20142/stat : 20142 (java) R 20140 20142 19032 0 -1 0 11868 0 1 0 9904 243 0 0 25 0 8 0 276788411 937414656 11596 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073979354 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20142/statm: 228861 11596 2530 14 0 215331 0
[pid=20142/tid=20144] ppid=20140 vsize=915444 CPUtime=0.03
/proc/20142/task/20144/stat : 20144 (java) S 20140 20142 19032 0 -1 64 366 0 0 0 3 0 0 0 16 0 8 0 276788414 937414656 11596 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20145] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20145/stat : 20145 (java) S 20140 20142 19032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276788415 937414656 11596 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20146] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20146/stat : 20146 (java) S 20140 20142 19032 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276788415 937414656 11596 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20147] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20147/stat : 20147 (java) S 20140 20142 19032 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276788426 937414656 11596 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20148] ppid=20140 vsize=915444 CPUtime=0.32
/proc/20142/task/20148/stat : 20148 (java) S 20140 20142 19032 0 -1 64 448 0 0 0 31 1 0 0 16 0 8 0 276788426 937414656 11596 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20149] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20149/stat : 20149 (java) S 20140 20142 19032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276788426 937414656 11596 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20150] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20150/stat : 20150 (java) S 20140 20142 19032 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276788426 937414656 11596 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.47
Current children cumulated vsize (KiB) 915444

[startup+162.505 s]
/proc/loadavg: 2.07 2.02 2.00 3/93 20150
/proc/meminfo: memFree=1131160/2055920 swapFree=4171264/4192956
[pid=20142] ppid=20140 vsize=915444 CPUtime=160.93
/proc/20142/stat : 20142 (java) R 20140 20142 19032 0 -1 0 11871 0 1 0 15849 244 0 0 25 0 8 0 276788411 937414656 11599 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073953553 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

################
# More data... #
################

Current children cumulated CPU time (s) 2008.22
Current children cumulated vsize (KiB) 915444

[startup+2083.63 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 20243
/proc/meminfo: memFree=1117456/2055920 swapFree=4171264/4192956
[pid=20142] ppid=20140 vsize=915444 CPUtime=2067.98
/proc/20142/stat : 20142 (java) R 20140 20142 19032 0 -1 0 11890 0 1 0 206539 259 0 0 25 0 8 0 276788411 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073835687 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20142/statm: 228861 11618 2530 14 0 215331 0
[pid=20142/tid=20144] ppid=20140 vsize=915444 CPUtime=0.03
/proc/20142/task/20144/stat : 20144 (java) S 20140 20142 19032 0 -1 64 366 0 0 0 3 0 0 0 16 0 8 0 276788414 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20145] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20145/stat : 20145 (java) S 20140 20142 19032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276788415 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20146] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20146/stat : 20146 (java) S 20140 20142 19032 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276788415 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20147] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20147/stat : 20147 (java) S 20140 20142 19032 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276788426 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20148] ppid=20140 vsize=915444 CPUtime=0.32
/proc/20142/task/20148/stat : 20148 (java) S 20140 20142 19032 0 -1 64 450 0 0 0 31 1 0 0 16 0 8 0 276788426 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20149] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20149/stat : 20149 (java) S 20140 20142 19032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276788426 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20150] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20150/stat : 20150 (java) S 20140 20142 19032 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276788426 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2067.98
Current children cumulated vsize (KiB) 915444

[startup+2143.72 s]
/proc/loadavg: 2.04 2.01 2.00 3/94 20243
/proc/meminfo: memFree=1117456/2055920 swapFree=4171264/4192956
[pid=20142] ppid=20140 vsize=915444 CPUtime=2127.75
/proc/20142/stat : 20142 (java) R 20140 20142 19032 0 -1 0 11890 0 1 0 212515 260 0 0 25 0 8 0 276788411 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074019871 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20142/statm: 228861 11618 2530 14 0 215331 0
[pid=20142/tid=20144] ppid=20140 vsize=915444 CPUtime=0.03
/proc/20142/task/20144/stat : 20144 (java) S 20140 20142 19032 0 -1 64 366 0 0 0 3 0 0 0 16 0 8 0 276788414 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20145] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20145/stat : 20145 (java) S 20140 20142 19032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276788415 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20146] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20146/stat : 20146 (java) S 20140 20142 19032 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276788415 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20147] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20147/stat : 20147 (java) S 20140 20142 19032 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276788426 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20148] ppid=20140 vsize=915444 CPUtime=0.32
/proc/20142/task/20148/stat : 20148 (java) S 20140 20142 19032 0 -1 64 450 0 0 0 31 1 0 0 16 0 8 0 276788426 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20149] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20149/stat : 20149 (java) S 20140 20142 19032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276788426 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20150] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20150/stat : 20150 (java) S 20140 20142 19032 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276788426 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2127.75
Current children cumulated vsize (KiB) 915444

[startup+2203.8 s]
/proc/loadavg: 2.01 2.01 2.00 3/94 20243
/proc/meminfo: memFree=1117456/2055920 swapFree=4171264/4192956
[pid=20142] ppid=20140 vsize=915444 CPUtime=2187.49
/proc/20142/stat : 20142 (java) R 20140 20142 19032 0 -1 0 11890 0 1 0 218489 260 0 0 25 0 8 0 276788411 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073953644 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20142/statm: 228861 11618 2530 14 0 215331 0
[pid=20142/tid=20144] ppid=20140 vsize=915444 CPUtime=0.03
/proc/20142/task/20144/stat : 20144 (java) S 20140 20142 19032 0 -1 64 366 0 0 0 3 0 0 0 16 0 8 0 276788414 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20145] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20145/stat : 20145 (java) S 20140 20142 19032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276788415 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20146] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20146/stat : 20146 (java) S 20140 20142 19032 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276788415 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20147] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20147/stat : 20147 (java) S 20140 20142 19032 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276788426 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20148] ppid=20140 vsize=915444 CPUtime=0.32
/proc/20142/task/20148/stat : 20148 (java) S 20140 20142 19032 0 -1 64 450 0 0 0 31 1 0 0 16 0 8 0 276788426 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20149] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20149/stat : 20149 (java) S 20140 20142 19032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276788426 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20150] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20150/stat : 20150 (java) S 20140 20142 19032 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276788426 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2187.49
Current children cumulated vsize (KiB) 915444

[startup+2263.85 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 20243
/proc/meminfo: memFree=1117456/2055920 swapFree=4171264/4192956
[pid=20142] ppid=20140 vsize=915444 CPUtime=2247.21
/proc/20142/stat : 20142 (java) R 20140 20142 19032 0 -1 0 11890 0 1 0 224461 260 0 0 25 0 8 0 276788411 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073955862 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20142/statm: 228861 11618 2530 14 0 215331 0
[pid=20142/tid=20144] ppid=20140 vsize=915444 CPUtime=0.03
/proc/20142/task/20144/stat : 20144 (java) S 20140 20142 19032 0 -1 64 366 0 0 0 3 0 0 0 16 0 8 0 276788414 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20145] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20145/stat : 20145 (java) S 20140 20142 19032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276788415 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20146] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20146/stat : 20146 (java) S 20140 20142 19032 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276788415 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20147] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20147/stat : 20147 (java) S 20140 20142 19032 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276788426 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20148] ppid=20140 vsize=915444 CPUtime=0.32
/proc/20142/task/20148/stat : 20148 (java) S 20140 20142 19032 0 -1 64 450 0 0 0 31 1 0 0 16 0 8 0 276788426 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20149] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20149/stat : 20149 (java) S 20140 20142 19032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276788426 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20150] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20150/stat : 20150 (java) S 20140 20142 19032 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276788426 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2247.21
Current children cumulated vsize (KiB) 915444

[startup+2323.94 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 20243
/proc/meminfo: memFree=1117456/2055920 swapFree=4171264/4192956
[pid=20142] ppid=20140 vsize=915444 CPUtime=2306.97
/proc/20142/stat : 20142 (java) R 20140 20142 19032 0 -1 0 11890 0 1 0 230437 260 0 0 25 0 8 0 276788411 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073916135 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20142/statm: 228861 11618 2530 14 0 215331 0
[pid=20142/tid=20144] ppid=20140 vsize=915444 CPUtime=0.03
/proc/20142/task/20144/stat : 20144 (java) S 20140 20142 19032 0 -1 64 366 0 0 0 3 0 0 0 16 0 8 0 276788414 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20145] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20145/stat : 20145 (java) S 20140 20142 19032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276788415 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20146] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20146/stat : 20146 (java) S 20140 20142 19032 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276788415 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20147] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20147/stat : 20147 (java) S 20140 20142 19032 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276788426 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20148] ppid=20140 vsize=915444 CPUtime=0.32
/proc/20142/task/20148/stat : 20148 (java) S 20140 20142 19032 0 -1 64 450 0 0 0 31 1 0 0 16 0 8 0 276788426 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20149] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20149/stat : 20149 (java) S 20140 20142 19032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276788426 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20150] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20150/stat : 20150 (java) S 20140 20142 19032 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276788426 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2306.97
Current children cumulated vsize (KiB) 915444

[startup+2384.03 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 20243
/proc/meminfo: memFree=1117456/2055920 swapFree=4171264/4192956
[pid=20142] ppid=20140 vsize=915444 CPUtime=2366.71
/proc/20142/stat : 20142 (java) R 20140 20142 19032 0 -1 0 11890 0 1 0 236411 260 0 0 25 0 8 0 276788411 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073979850 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20142/statm: 228861 11618 2530 14 0 215331 0
[pid=20142/tid=20144] ppid=20140 vsize=915444 CPUtime=0.03
/proc/20142/task/20144/stat : 20144 (java) S 20140 20142 19032 0 -1 64 366 0 0 0 3 0 0 0 16 0 8 0 276788414 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20145] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20145/stat : 20145 (java) S 20140 20142 19032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276788415 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20146] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20146/stat : 20146 (java) S 20140 20142 19032 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276788415 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20147] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20147/stat : 20147 (java) S 20140 20142 19032 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276788426 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20148] ppid=20140 vsize=915444 CPUtime=0.32
/proc/20142/task/20148/stat : 20148 (java) S 20140 20142 19032 0 -1 64 450 0 0 0 31 1 0 0 16 0 8 0 276788426 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20149] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20149/stat : 20149 (java) S 20140 20142 19032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276788426 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20150] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20150/stat : 20150 (java) S 20140 20142 19032 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276788426 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2366.71
Current children cumulated vsize (KiB) 915444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2417.56 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 20243
/proc/meminfo: memFree=1117392/2055920 swapFree=4171264/4192956
[pid=20142] ppid=20140 vsize=915444 CPUtime=2400.08
/proc/20142/stat : 20142 (java) R 20140 20142 19032 0 -1 0 11890 0 1 0 239748 260 0 0 25 0 8 0 276788411 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073951379 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20142/statm: 228861 11618 2530 14 0 215331 0
[pid=20142/tid=20144] ppid=20140 vsize=915444 CPUtime=0.03
/proc/20142/task/20144/stat : 20144 (java) S 20140 20142 19032 0 -1 64 366 0 0 0 3 0 0 0 16 0 8 0 276788414 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20145] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20145/stat : 20145 (java) S 20140 20142 19032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276788415 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20146] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20146/stat : 20146 (java) S 20140 20142 19032 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276788415 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20147] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20147/stat : 20147 (java) S 20140 20142 19032 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276788426 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20148] ppid=20140 vsize=915444 CPUtime=0.32
/proc/20142/task/20148/stat : 20148 (java) S 20140 20142 19032 0 -1 64 450 0 0 0 31 1 0 0 16 0 8 0 276788426 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20149] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20149/stat : 20149 (java) S 20140 20142 19032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276788426 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20150] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20150/stat : 20150 (java) S 20140 20142 19032 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276788426 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 915444

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Child status: 143
Real time (s): 2417.64
CPU time (s): 2400.16
CPU user time (s): 2397.54
CPU system time (s): 2.6116
CPU usage (%): 99.2768
Max. virtual memory (cumulated for all children) (KiB): 915448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.54
system time used= 2.6116
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11910
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 50237
involuntary context switches= 91690

runsolver used 2.96455 s user time and 7.46087 s system time

The end

Launcher Data (download as text)

Begin job on node19 on Sat Jan 20 09:05:38 UTC 2007


IDJOB= 278255
IDBENCH= 8183
IDSOLVER= 69
FILE ID= node19/278255-1169283938

PBS_JOBID= 3609480

Free space on /tmp= 66561 MiB

SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/3-40-2100-3000/cnf-3-40-2100-244621_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278255-1169283938/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node19/watcher-278255-1169283938 -o ROOT/results/node19/solver-278255-1169283938 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278255-1169283938/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  dbe6e80b0ee55ab022321ccaba3caf81

RANDOM SEED= 840836833

TIME LIMIT= 2400 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.260
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.260
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1168176 kB
Buffers:         62896 kB
Cached:         704208 kB
SwapCached:      11088 kB
Active:         348984 kB
Inactive:       459016 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1168176 kB
SwapTotal:     4192956 kB
SwapFree:      4171264 kB
Dirty:            1804 kB
Writeback:           0 kB
Mapped:          51092 kB
Slab:            64396 kB
Committed_AS:  7661148 kB
PageTables:       2336 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66561 MiB



End job on node19 on Sat Jan 20 09:45:55 UTC 2007