Trace number 206268

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
Abscon 109 AC? (TO) 1800.13 1812.08

General information on the benchmark

Namerandom/rand-3-28-28/
rand-3-28-28-93-632-37_ext.xml
MD5SUM53bf81f071c9b552fd20d7b6234d763f
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables28
Number of constraints93
Maximum constraint arity3
Maximum domain size28
Number of constraints which are defined in extension93
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=mac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/206268-1168073543/unknown.xml
0.38	   
0.38	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.42	     nbVariables=28  nbDomainTypes=1  minDomainSize=28  maxDomainSize=28
0.42	       =>  wckTime=0.1  cpuTime=0.09  mem=6M951
0.42	   
0.42	   relations being loaded...
1.59	   
1.59	   constraints being loaded...
2.35	     nbConstraints=92  nbRelationTypes=93  nbMergedConstraints=1  nbExtensionStructures=92
2.35	     nbSharedExtensionStructures=0  nbConflictsStructures=92  nbSharedConflictsStructures=0
2.35	     nbSharedBinaryRepresentations=0  maxDegree=14  maxArity=3
2.35	       =>  wckTime=2.025  cpuTime=1.61  mem=58M30
2.51	   
2.51	   solver IterativeSystematicSolver being built... 
2.68	       =>  wckTime=2.353  cpuTime=1.75  mem=65M422
2.68	   
2.68	   preprocessing
2.68	     nbConstraintChecks=0  nbPropagations=28  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
2.68	     detectedInconsistency=no
2.68	       =>  wckTime=0.0040  cpuTime=0.0  mem=65M422
2.81	   
2.81	   search
2.81	     run=0  nbConstraintChecks=29425  nbValidityChecks=49725  nbPropagations=293  nbRevisions=3249
2.81	     nbUselessRevisions=2596  nbAssignments=22  nbFailedAssignments=5  nbBacktracks=10  nbVisitedNodes=34
2.81	     nbRestartNogoods=0  mapSize=6  nbInferences=0  nbTooLargeKeys=0
2.81	       =>  wckTime=0.131  cpuTime=0.1  mem=66M424
2.92	   
2.92	   search
2.92	     run=1  nbConstraintChecks=82436  nbValidityChecks=149750  nbPropagations=1090  nbRevisions=13040
2.92	     nbUselessRevisions=10531  nbAssignments=59  nbFailedAssignments=20  nbBacktracks=25  nbVisitedNodes=95
2.92	     nbRestartNogoods=3  mapSize=20  nbInferences=0  nbTooLargeKeys=0
2.92	       =>  wckTime=0.239  cpuTime=0.2  mem=66M424
3.09	   
3.09	   search
3.09	     run=2  nbConstraintChecks=174736  nbValidityChecks=331654  nbPropagations=2744  nbRevisions=33772
3.09	     nbUselessRevisions=27140  nbAssignments=127  nbFailedAssignments=58  nbBacktracks=47  nbVisitedNodes=217
3.09	     nbRestartNogoods=7  mapSize=39  nbInferences=0  nbTooLargeKeys=0
3.09	       =>  wckTime=0.412  cpuTime=0.36  mem=66M424
3.25	   
3.25	   search
3.25	     run=3  nbConstraintChecks=269223  nbValidityChecks=525791  nbPropagations=5335  nbRevisions=66826
3.25	     nbUselessRevisions=53662  nbAssignments=202  nbFailedAssignments=91  nbBacktracks=83  nbVisitedNodes=345
3.25	     nbRestartNogoods=16  mapSize=71  nbInferences=0  nbTooLargeKeys=0
3.26	       =>  wckTime=0.575  cpuTime=0.52  mem=66M424
3.59	   
3.59	   search
3.59	     run=4  nbConstraintChecks=465482  nbValidityChecks=952143  nbPropagations=10159  nbRevisions=128330
3.59	     nbUselessRevisions=102212  nbAssignments=455  nbFailedAssignments=286  nbBacktracks=133  nbVisitedNodes=822
3.59	     nbRestartNogoods=17  mapSize=115  nbInferences=0  nbTooLargeKeys=0
3.59	       =>  wckTime=0.913  cpuTime=0.85  mem=66M424
3.89	   
3.89	   search
3.89	     run=5  nbConstraintChecks=631403  nbValidityChecks=1308638  nbPropagations=16910  nbRevisions=215775
3.89	     nbUselessRevisions=171787  nbAssignments=607  nbFailedAssignments=354  nbBacktracks=209  nbVisitedNodes=1088
3.89	     nbRestartNogoods=22  mapSize=186  nbInferences=0  nbTooLargeKeys=0
3.89	       =>  wckTime=1.214  cpuTime=1.14  mem=66M424
4.38	   
4.38	   search
4.38	     run=6  nbConstraintChecks=914433  nbValidityChecks=1922589  nbPropagations=26951  nbRevisions=341916
4.38	     nbUselessRevisions=272252  nbAssignments=871  nbFailedAssignments=497  nbBacktracks=323  nbVisitedNodes=1558
4.38	     nbRestartNogoods=26  mapSize=270  nbInferences=0  nbTooLargeKeys=0
4.38	       =>  wckTime=1.705  cpuTime=1.63  mem=66M424
5.20	   
5.20	   search
5.20	     run=7  nbConstraintChecks=1386645  nbValidityChecks=2885744  nbPropagations=42262  nbRevisions=534120
5.20	     nbUselessRevisions=425066  nbAssignments=1253  nbFailedAssignments=700  nbBacktracks=494  nbVisitedNodes=2251
5.20	     nbRestartNogoods=35  mapSize=424  nbInferences=0  nbTooLargeKeys=0
5.20	       =>  wckTime=2.522  cpuTime=2.43  mem=66M424
6.66	   
6.66	   search
6.66	     run=8  nbConstraintChecks=2280935  nbValidityChecks=4657892  nbPropagations=66205  nbRevisions=835352
6.66	     nbUselessRevisions=663920  nbAssignments=1882  nbFailedAssignments=1066  nbBacktracks=750  nbVisitedNodes=3414
6.66	     nbRestartNogoods=41  mapSize=645  nbInferences=0  nbTooLargeKeys=0
6.66	       =>  wckTime=3.979  cpuTime=3.86  mem=66M424
8.62	   
8.62	   search
8.62	     run=9  nbConstraintChecks=3467207  nbValidityChecks=7089500  nbPropagations=103943  nbRevisions=1312897
8.62	     nbUselessRevisions=1043098  nbAssignments=2899  nbFailedAssignments=1691  nbBacktracks=1134  nbVisitedNodes=5304
8.62	     nbRestartNogoods=50  mapSize=989  nbInferences=0  nbTooLargeKeys=0
8.62	       =>  wckTime=5.94  cpuTime=5.79  mem=66M424
8.68	   
8.68	   INFO : Stopping hyperNogood (mapSize=1001, nbTooLargekeys=0, mem=66M424)
11.21	   
11.21	   search
11.21	     run=10  nbConstraintChecks=5067854  nbValidityChecks=10414232  nbPropagations=160006  nbRevisions=2013483
11.21	     nbUselessRevisions=1597573  nbAssignments=4342  nbFailedAssignments=2552  nbBacktracks=1710  nbVisitedNodes=7983
11.21	     nbRestartNogoods=60
11.21	       =>  wckTime=8.532  cpuTime=8.35  mem=66M424
14.43	   
14.43	   search
14.43	     run=11  nbConstraintChecks=7026466  nbValidityChecks=14558726  nbPropagations=239432  nbRevisions=3005092
14.43	     nbUselessRevisions=2384760  nbAssignments=6157  nbFailedAssignments=3495  nbBacktracks=2574  nbVisitedNodes=11266
14.43	     nbRestartNogoods=66
14.43	       =>  wckTime=11.75  cpuTime=11.54  mem=66M424
19.88	   
19.88	   search
19.88	     run=12  nbConstraintChecks=10314382  nbValidityChecks=21748797  nbPropagations=358300  nbRevisions=4492314
19.88	     nbUselessRevisions=3566181  nbAssignments=9431  nbFailedAssignments=5463  nbBacktracks=3871  nbVisitedNodes=17337
19.88	     nbRestartNogoods=74
19.88	       =>  wckTime=17.202  cpuTime=16.94  mem=66M424
29.37	   
29.37	   search
29.37	     run=13  nbConstraintChecks=16194279  nbValidityChecks=34201448  nbPropagations=549397  nbRevisions=6868786
29.37	     nbUselessRevisions=5448119  nbAssignments=15662  nbFailedAssignments=9740  nbBacktracks=5817  nbVisitedNodes=29120
29.37	     nbRestartNogoods=89
29.37	       =>  wckTime=26.695  cpuTime=26.35  mem=66M424
42.76	   
42.76	   search
42.76	     run=14  nbConstraintChecks=24425341  nbValidityChecks=51328854  nbPropagations=827400  nbRevisions=10371603
42.76	     nbUselessRevisions=8226334  nbAssignments=22356  nbFailedAssignments=13506  nbBacktracks=8737  nbVisitedNodes=41500
42.76	     nbRestartNogoods=97
42.76	       =>  wckTime=40.077  cpuTime=39.61  mem=66M424
65.54	   
65.54	   search
65.54	     run=15  nbConstraintChecks=38993555  nbValidityChecks=81911124  nbPropagations=1269681  nbRevisions=15909195
65.54	     nbUselessRevisions=12598744  nbAssignments=37193  nbFailedAssignments=23954  nbBacktracks=13115
65.54	     nbVisitedNodes=69672  nbRestartNogoods=108
65.54	       =>  wckTime=62.858  cpuTime=62.19  mem=66M424
100.21	   
100.21	   search
100.21	     run=16  nbConstraintChecks=59866785  nbValidityChecks=125669656  nbPropagations=1942435  nbRevisions=24494527
100.21	     nbUselessRevisions=19413757  nbAssignments=53836  nbFailedAssignments=34021  nbBacktracks=19684
100.21	     nbVisitedNodes=100963  nbRestartNogoods=121
100.21	       =>  wckTime=97.533  cpuTime=96.54  mem=66M424
153.45	   
153.45	   search
153.45	     run=17  nbConstraintChecks=94055890  nbValidityChecks=193042020  nbPropagations=2949736  nbRevisions=37201843
153.45	     nbUselessRevisions=29489063  nbAssignments=78944  nbFailedAssignments=49268  nbBacktracks=29536
153.45	     nbVisitedNodes=148285  nbRestartNogoods=129
153.45	       =>  wckTime=150.77  cpuTime=149.29  mem=66M424
223.76	   
223.76	   search
223.76	     run=18  nbConstraintChecks=136427477  nbValidityChecks=282501704  nbPropagations=4453865  nbRevisions=56150142
223.76	     nbUselessRevisions=44530934  nbAssignments=115719  nbFailedAssignments=71257  nbBacktracks=44314
223.76	     nbVisitedNodes=217348  nbRestartNogoods=142
223.76	       =>  wckTime=221.085  cpuTime=218.96  mem=66M424
333.58	   
333.58	   search
333.58	     run=19  nbConstraintChecks=204627782  nbValidityChecks=420394115  nbPropagations=6676761  nbRevisions=83955590
333.58	     nbUselessRevisions=66549746  nbAssignments=170852  nbFailedAssignments=104214  nbBacktracks=66482
333.58	     nbVisitedNodes=320402  nbRestartNogoods=152
333.58	       =>  wckTime=330.901  cpuTime=327.77  mem=66M424
494.29	   
494.29	   search
494.29	     run=20  nbConstraintChecks=300992251  nbValidityChecks=623929177  nbPropagations=10002302  nbRevisions=125656040
494.29	     nbUselessRevisions=99607666  nbAssignments=252184  nbFailedAssignments=152284  nbBacktracks=99736
494.29	     nbVisitedNodes=472585  nbRestartNogoods=164
494.29	       =>  wckTime=491.608  cpuTime=487.01  mem=66M424
733.01	   
733.01	   search
733.01	     run=21  nbConstraintChecks=448385418  nbValidityChecks=920891545  nbPropagations=14881508  nbRevisions=186441600
733.01	     nbUselessRevisions=147667839  nbAssignments=370223  nbFailedAssignments=220437  nbBacktracks=149614
733.01	     nbVisitedNodes=691906  nbRestartNogoods=181
733.01	       =>  wckTime=730.332  cpuTime=723.33  mem=66M424
1105.43	   
1105.43	   search
1105.43	     run=22  nbConstraintChecks=673676793  nbValidityChecks=1405403972  nbPropagations=22363487  nbRevisions=279767665
1105.43	     nbUselessRevisions=221507839  nbAssignments=566699  nbFailedAssignments=342086  nbBacktracks=224432
1105.43	     nbVisitedNodes=1062406  nbRestartNogoods=201
1105.43	       =>  wckTime=1102.756  cpuTime=1092.9  mem=66M424
1571.78	   
1571.78	   search
1571.78	     run=23  nbConstraintChecks=979318675  nbValidityChecks=2017673003  nbPropagations=33038551  nbRevisions=413253097
1571.78	     nbUselessRevisions=327137021  nbAssignments=827269  nbFailedAssignments=490419  nbBacktracks=336662
1571.78	     nbVisitedNodes=1542112  nbRestartNogoods=216
1571.78	       =>  wckTime=1569.102  cpuTime=1557.38  mem=66M424

Verifier Data (download as text)

ERROR: Unexpected answer ! (SAT/UNSAT expected)
Got answer: 

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node1/watcher-206268-1168073543 -o ROOT/results/node1/solver-206268-1168073543 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206268-1168073543/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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: 1.60 1.84 1.88 2/93 15940
/proc/meminfo: memFree=1209120/2055920 swapFree=4165584/4192956
[pid=15939] ppid=15937 vsize=18540 CPUtime=0
/proc/15939/stat : 15939 (runsolver) R 15937 15939 15760 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155750462 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 259353275687 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/15939/statm: 4635 279 244 17 0 2626 0

[startup+0.102371 s]
/proc/loadavg: 1.60 1.84 1.88 2/93 15940
/proc/meminfo: memFree=1209120/2055920 swapFree=4165584/4192956
[pid=15939] ppid=15937 vsize=913228 CPUtime=0.08
/proc/15939/stat : 15939 (java) S 15937 15939 15760 0 -1 0 2904 0 1 0 7 1 0 0 17 0 8 0 155750462 935145472 2650 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15939/statm: 228307 2650 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913228

[startup+0.510415 s]
/proc/loadavg: 1.60 1.84 1.88 2/93 15940
/proc/meminfo: memFree=1209120/2055920 swapFree=4165584/4192956
[pid=15939] ppid=15937 vsize=915328 CPUtime=0.48
/proc/15939/stat : 15939 (java) R 15937 15939 15760 0 -1 0 7337 0 1 0 44 4 0 0 18 0 8 0 155750462 937295872 7076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073565569 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15939/statm: 228832 7076 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33151 s]
/proc/loadavg: 1.63 1.85 1.88 3/100 15947
/proc/meminfo: memFree=1141992/2055920 swapFree=4165584/4192956
[pid=15939] ppid=15937 vsize=915328 CPUtime=1.29
/proc/15939/stat : 15939 (java) R 15937 15939 15760 0 -1 0 19099 0 1 0 120 9 0 0 24 0 8 0 155750462 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073445267 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15939/statm: 228832 18837 2149 14 0 215302 0
[pid=15939/tid=15941] ppid=15937 vsize=915328 CPUtime=0.05
/proc/15939/task/15941/stat : 15941 (java) S 15937 15939 15760 0 -1 64 2681 0 0 0 4 1 0 0 17 0 8 0 155750467 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15942] ppid=15937 vsize=915328 CPUtime=0
/proc/15939/task/15942/stat : 15942 (java) S 15937 15939 15760 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155750467 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15943] ppid=15937 vsize=915328 CPUtime=0
/proc/15939/task/15943/stat : 15943 (java) S 15937 15939 15760 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155750467 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15944] ppid=15937 vsize=915328 CPUtime=0
/proc/15939/task/15944/stat : 15944 (java) S 15937 15939 15760 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155750471 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15945] ppid=15937 vsize=915328 CPUtime=0.08
/proc/15939/task/15945/stat : 15945 (java) S 15937 15939 15760 0 -1 64 308 0 0 0 8 0 0 0 16 0 8 0 155750471 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15946] ppid=15937 vsize=915328 CPUtime=0
/proc/15939/task/15946/stat : 15946 (java) S 15937 15939 15760 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155750471 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15947] ppid=15937 vsize=915328 CPUtime=0
/proc/15939/task/15947/stat : 15947 (java) S 15937 15939 15760 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155750471 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915328

[startup+2.96871 s]
/proc/loadavg: 1.63 1.85 1.88 4/100 15947
/proc/meminfo: memFree=1101480/2055920 swapFree=4165584/4192956
[pid=15939] ppid=15937 vsize=915440 CPUtime=2.92
/proc/15939/stat : 15939 (java) R 15937 15939 15760 0 -1 0 32558 0 1 0 275 17 0 0 25 0 8 0 155750462 937410560 32292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073665014 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15939/statm: 228860 32292 2521 14 0 215330 0
[pid=15939/tid=15941] ppid=15937 vsize=915440 CPUtime=0.44
/proc/15939/task/15941/stat : 15941 (java) S 15937 15939 15760 0 -1 64 15583 0 0 0 38 6 0 0 16 0 8 0 155750467 937410560 32292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15942] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15942/stat : 15942 (java) S 15937 15939 15760 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155750467 937410560 32292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15943] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15943/stat : 15943 (java) S 15937 15939 15760 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155750467 937410560 32292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15944] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15944/stat : 15944 (java) S 15937 15939 15760 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155750471 937410560 32292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15945] ppid=15937 vsize=915440 CPUtime=0.21
/proc/15939/task/15945/stat : 15945 (java) S 15937 15939 15760 0 -1 64 376 0 0 0 20 1 0 0 15 0 8 0 155750471 937410560 32292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15946] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15946/stat : 15946 (java) S 15937 15939 15760 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155750471 937410560 32292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15947] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15947/stat : 15947 (java) S 15937 15939 15760 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155750471 937410560 32292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915440

[startup+6.17408 s]
/proc/loadavg: 1.66 1.85 1.88 3/100 15947
/proc/meminfo: memFree=1089320/2055920 swapFree=4165584/4192956
[pid=15939] ppid=15937 vsize=915440 CPUtime=6.09
/proc/15939/stat : 15939 (java) R 15937 15939 15760 0 -1 0 32577 0 1 0 591 18 0 0 25 0 8 0 155750462 937410560 32309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073807549 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15939/statm: 228860 32309 2521 14 0 215330 0
[pid=15939/tid=15941] ppid=15937 vsize=915440 CPUtime=0.44
/proc/15939/task/15941/stat : 15941 (java) S 15937 15939 15760 0 -1 64 15583 0 0 0 38 6 0 0 16 0 8 0 155750467 937410560 32309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15942] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15942/stat : 15942 (java) S 15937 15939 15760 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155750467 937410560 32309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15943] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15943/stat : 15943 (java) S 15937 15939 15760 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155750467 937410560 32309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15944] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15944/stat : 15944 (java) S 15937 15939 15760 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155750471 937410560 32309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15945] ppid=15937 vsize=915440 CPUtime=0.25
/proc/15939/task/15945/stat : 15945 (java) S 15937 15939 15760 0 -1 64 395 0 0 0 24 1 0 0 16 0 8 0 155750471 937410560 32309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15946] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15946/stat : 15946 (java) S 15937 15939 15760 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155750471 937410560 32309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15947] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15947/stat : 15947 (java) S 15937 15939 15760 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155750471 937410560 32309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 915440

[startup+12.6488 s]
/proc/loadavg: 1.69 1.85 1.88 3/100 15947
/proc/meminfo: memFree=1089320/2055920 swapFree=4165584/4192956
[pid=15939] ppid=15937 vsize=915440 CPUtime=12.5
/proc/15939/stat : 15939 (java) R 15937 15939 15760 0 -1 0 32587 0 1 0 1232 18 0 0 25 0 8 0 155750462 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15939/statm: 228860 32317 2521 14 0 215330 0
[pid=15939/tid=15941] ppid=15937 vsize=915440 CPUtime=0.44
/proc/15939/task/15941/stat : 15941 (java) S 15937 15939 15760 0 -1 64 15583 0 0 0 38 6 0 0 17 0 8 0 155750467 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15942] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15942/stat : 15942 (java) S 15937 15939 15760 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155750467 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15943] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15943/stat : 15943 (java) S 15937 15939 15760 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155750467 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15944] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15944/stat : 15944 (java) S 15937 15939 15760 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155750471 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15945] ppid=15937 vsize=915440 CPUtime=0.27
/proc/15939/task/15945/stat : 15945 (java) S 15937 15939 15760 0 -1 64 404 0 0 0 26 1 0 0 16 0 8 0 155750471 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15946] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15946/stat : 15946 (java) S 15937 15939 15760 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155750471 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15947] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15947/stat : 15947 (java) S 15937 15939 15760 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155750471 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 915440

[startup+25.5293 s]
/proc/loadavg: 1.73 1.85 1.88 3/100 15947
/proc/meminfo: memFree=1089448/2055920 swapFree=4165584/4192956
[pid=15939] ppid=15937 vsize=915440 CPUtime=25.27
/proc/15939/stat : 15939 (java) R 15937 15939 15760 0 -1 0 32588 0 1 0 2509 18 0 0 25 0 8 0 155750462 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073814319 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15939/statm: 228860 32317 2521 14 0 215330 0
[pid=15939/tid=15941] ppid=15937 vsize=915440 CPUtime=0.44
/proc/15939/task/15941/stat : 15941 (java) S 15937 15939 15760 0 -1 64 15583 0 0 0 38 6 0 0 16 0 8 0 155750467 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15942] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15942/stat : 15942 (java) S 15937 15939 15760 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155750467 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15943] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15943/stat : 15943 (java) S 15937 15939 15760 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155750467 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15944] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15944/stat : 15944 (java) S 15937 15939 15760 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155750471 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15945] ppid=15937 vsize=915440 CPUtime=0.27
/proc/15939/task/15945/stat : 15945 (java) S 15937 15939 15760 0 -1 64 405 0 0 0 26 1 0 0 16 0 8 0 155750471 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15946] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15946/stat : 15946 (java) S 15937 15939 15760 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155750471 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15947] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15947/stat : 15947 (java) S 15937 15939 15760 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155750471 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 915440

[startup+51.1623 s]
/proc/loadavg: 1.84 1.87 1.89 3/100 15947
/proc/meminfo: memFree=1089576/2055920 swapFree=4165584/4192956
[pid=15939] ppid=15937 vsize=915440 CPUtime=50.66
/proc/15939/stat : 15939 (java) R 15937 15939 15760 0 -1 0 32588 0 1 0 5048 18 0 0 25 0 8 0 155750462 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073814319 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15939/statm: 228860 32317 2521 14 0 215330 0
[pid=15939/tid=15941] ppid=15937 vsize=915440 CPUtime=0.44
/proc/15939/task/15941/stat : 15941 (java) S 15937 15939 15760 0 -1 64 15583 0 0 0 38 6 0 0 16 0 8 0 155750467 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15942] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15942/stat : 15942 (java) S 15937 15939 15760 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155750467 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15943] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15943/stat : 15943 (java) S 15937 15939 15760 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155750467 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15944] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15944/stat : 15944 (java) S 15937 15939 15760 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155750471 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15945] ppid=15937 vsize=915440 CPUtime=0.27
/proc/15939/task/15945/stat : 15945 (java) S 15937 15939 15760 0 -1 64 405 0 0 0 26 1 0 0 16 0 8 0 155750471 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15946] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15946/stat : 15946 (java) S 15937 15939 15760 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155750471 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15947] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15947/stat : 15947 (java) S 15937 15939 15760 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155750471 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 915440

[startup+102.42 s]
/proc/loadavg: 1.93 1.89 1.89 3/100 15947
/proc/meminfo: memFree=1089640/2055920 swapFree=4165584/4192956
[pid=15939] ppid=15937 vsize=915440 CPUtime=101.46
/proc/15939/stat : 15939 (java) R 15937 15939 15760 0 -1 0 32588 0 1 0 10127 19 0 0 25 0 8 0 155750462 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073807629 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15939/statm: 228860 32317 2521 14 0 215330 0
[pid=15939/tid=15941] ppid=15937 vsize=915440 CPUtime=0.44
/proc/15939/task/15941/stat : 15941 (java) S 15937 15939 15760 0 -1 64 15583 0 0 0 38 6 0 0 16 0 8 0 155750467 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15942] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15942/stat : 15942 (java) S 15937 15939 15760 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155750467 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15943] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15943/stat : 15943 (java) S 15937 15939 15760 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155750467 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15944] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15944/stat : 15944 (java) S 15937 15939 15760 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155750471 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15945] ppid=15937 vsize=915440 CPUtime=0.27
/proc/15939/task/15945/stat : 15945 (java) S 15937 15939 15760 0 -1 64 405 0 0 0 26 1 0 0 16 0 8 0 155750471 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15946] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15946/stat : 15946 (java) S 15937 15939 15760 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155750471 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15947] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15947/stat : 15947 (java) S 15937 15939 15760 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155750471 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.46
Current children cumulated vsize (KiB) 915440

[startup+162.426 s]
/proc/loadavg: 2.01 1.92 1.90 3/100 15947
/proc/meminfo: memFree=1089640/2055920 swapFree=4165584/4192956
[pid=15939] ppid=15937 vsize=915440 CPUtime=160.92
/proc/15939/stat : 15939 (java) R 15937 15939 15760 0 -1 0 32588 0 1 0 16072 20 0 0 25 0 8 0 155750462 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1411.48
Current children cumulated vsize (KiB) 915440

[startup+1483.07 s]
/proc/loadavg: 1.52 1.73 1.82 2/88 16983
/proc/meminfo: memFree=1097560/2055920 swapFree=4165584/4192956
[pid=15939] ppid=15937 vsize=915440 CPUtime=1471.47
/proc/15939/stat : 15939 (java) R 15937 15939 15760 0 -1 0 32590 0 1 0 147102 45 0 0 25 0 8 0 155750462 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073806636 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15939/statm: 228860 32318 2521 14 0 215330 0
[pid=15939/tid=15941] ppid=15937 vsize=915440 CPUtime=0.44
/proc/15939/task/15941/stat : 15941 (java) S 15937 15939 15760 0 -1 64 15583 0 0 0 38 6 0 0 16 0 8 0 155750467 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15942] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15942/stat : 15942 (java) S 15937 15939 15760 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155750467 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15943] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15943/stat : 15943 (java) S 15937 15939 15760 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155750467 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15944] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15944/stat : 15944 (java) S 15937 15939 15760 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155750471 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15945] ppid=15937 vsize=915440 CPUtime=0.27
/proc/15939/task/15945/stat : 15945 (java) S 15937 15939 15760 0 -1 64 406 0 0 0 26 1 0 0 16 0 8 0 155750471 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15946] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15946/stat : 15946 (java) S 15937 15939 15760 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155750471 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15947] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15947/stat : 15947 (java) S 15937 15939 15760 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155750471 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1471.47
Current children cumulated vsize (KiB) 915440

[startup+1543.12 s]
/proc/loadavg: 1.63 1.71 1.81 3/100 17031
/proc/meminfo: memFree=996784/2055920 swapFree=4165584/4192956
[pid=15939] ppid=15937 vsize=915440 CPUtime=1531.46
/proc/15939/stat : 15939 (java) R 15937 15939 15760 0 -1 0 32590 0 1 0 153100 46 0 0 25 0 8 0 155750462 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15939/statm: 228860 32318 2521 14 0 215330 0
[pid=15939/tid=15941] ppid=15937 vsize=915440 CPUtime=0.44
/proc/15939/task/15941/stat : 15941 (java) S 15937 15939 15760 0 -1 64 15583 0 0 0 38 6 0 0 16 0 8 0 155750467 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15942] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15942/stat : 15942 (java) S 15937 15939 15760 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155750467 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15943] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15943/stat : 15943 (java) S 15937 15939 15760 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155750467 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15944] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15944/stat : 15944 (java) S 15937 15939 15760 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155750471 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15945] ppid=15937 vsize=915440 CPUtime=0.27
/proc/15939/task/15945/stat : 15945 (java) S 15937 15939 15760 0 -1 64 406 0 0 0 26 1 0 0 16 0 8 0 155750471 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15946] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15946/stat : 15946 (java) S 15937 15939 15760 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155750471 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15947] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15947/stat : 15947 (java) S 15937 15939 15760 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155750471 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1531.46
Current children cumulated vsize (KiB) 915440

[startup+1603.17 s]
/proc/loadavg: 1.86 1.76 1.82 3/100 17033
/proc/meminfo: memFree=996656/2055920 swapFree=4165584/4192956
[pid=15939] ppid=15937 vsize=915440 CPUtime=1591.46
/proc/15939/stat : 15939 (java) R 15937 15939 15760 0 -1 0 32590 0 1 0 159099 47 0 0 25 0 8 0 155750462 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918517 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15939/statm: 228860 32318 2521 14 0 215330 0
[pid=15939/tid=15941] ppid=15937 vsize=915440 CPUtime=0.44
/proc/15939/task/15941/stat : 15941 (java) S 15937 15939 15760 0 -1 64 15583 0 0 0 38 6 0 0 16 0 8 0 155750467 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15942] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15942/stat : 15942 (java) S 15937 15939 15760 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155750467 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15943] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15943/stat : 15943 (java) S 15937 15939 15760 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155750467 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15944] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15944/stat : 15944 (java) S 15937 15939 15760 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155750471 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15945] ppid=15937 vsize=915440 CPUtime=0.27
/proc/15939/task/15945/stat : 15945 (java) S 15937 15939 15760 0 -1 64 406 0 0 0 26 1 0 0 16 0 8 0 155750471 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15946] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15946/stat : 15946 (java) S 15937 15939 15760 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155750471 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15947] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15947/stat : 15947 (java) S 15937 15939 15760 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155750471 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1591.46
Current children cumulated vsize (KiB) 915440

[startup+1663.21 s]
/proc/loadavg: 1.95 1.80 1.82 3/100 17033
/proc/meminfo: memFree=996720/2055920 swapFree=4165584/4192956
[pid=15939] ppid=15937 vsize=915440 CPUtime=1651.45
/proc/15939/stat : 15939 (java) R 15937 15939 15760 0 -1 0 32590 0 1 0 165098 47 0 0 25 0 8 0 155750462 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918504 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15939/statm: 228860 32318 2521 14 0 215330 0
[pid=15939/tid=15941] ppid=15937 vsize=915440 CPUtime=0.44
/proc/15939/task/15941/stat : 15941 (java) S 15937 15939 15760 0 -1 64 15583 0 0 0 38 6 0 0 16 0 8 0 155750467 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15942] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15942/stat : 15942 (java) S 15937 15939 15760 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155750467 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15943] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15943/stat : 15943 (java) S 15937 15939 15760 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155750467 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15944] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15944/stat : 15944 (java) S 15937 15939 15760 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155750471 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15945] ppid=15937 vsize=915440 CPUtime=0.27
/proc/15939/task/15945/stat : 15945 (java) S 15937 15939 15760 0 -1 64 406 0 0 0 26 1 0 0 16 0 8 0 155750471 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15946] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15946/stat : 15946 (java) S 15937 15939 15760 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155750471 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15947] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15947/stat : 15947 (java) S 15937 15939 15760 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155750471 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1651.45
Current children cumulated vsize (KiB) 915440

[startup+1723.26 s]
/proc/loadavg: 1.98 1.83 1.83 3/100 17033
/proc/meminfo: memFree=996792/2055920 swapFree=4165584/4192956
[pid=15939] ppid=15937 vsize=915440 CPUtime=1711.42
/proc/15939/stat : 15939 (java) R 15937 15939 15760 0 -1 0 32590 0 1 0 171095 47 0 0 25 0 8 0 155750462 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073870462 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15939/statm: 228860 32318 2521 14 0 215330 0
[pid=15939/tid=15941] ppid=15937 vsize=915440 CPUtime=0.44
/proc/15939/task/15941/stat : 15941 (java) S 15937 15939 15760 0 -1 64 15583 0 0 0 38 6 0 0 16 0 8 0 155750467 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15942] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15942/stat : 15942 (java) S 15937 15939 15760 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155750467 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15943] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15943/stat : 15943 (java) S 15937 15939 15760 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155750467 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15944] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15944/stat : 15944 (java) S 15937 15939 15760 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155750471 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15945] ppid=15937 vsize=915440 CPUtime=0.27
/proc/15939/task/15945/stat : 15945 (java) S 15937 15939 15760 0 -1 64 406 0 0 0 26 1 0 0 16 0 8 0 155750471 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15946] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15946/stat : 15946 (java) S 15937 15939 15760 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155750471 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15947] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15947/stat : 15947 (java) S 15937 15939 15760 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155750471 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1711.42
Current children cumulated vsize (KiB) 915440

[startup+1783.31 s]
/proc/loadavg: 1.99 1.86 1.84 3/100 17033
/proc/meminfo: memFree=996792/2055920 swapFree=4165584/4192956
[pid=15939] ppid=15937 vsize=915440 CPUtime=1771.4
/proc/15939/stat : 15939 (java) R 15937 15939 15760 0 -1 0 32590 0 1 0 177093 47 0 0 25 0 8 0 155750462 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073812021 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15939/statm: 228860 32318 2521 14 0 215330 0
[pid=15939/tid=15941] ppid=15937 vsize=915440 CPUtime=0.44
/proc/15939/task/15941/stat : 15941 (java) S 15937 15939 15760 0 -1 64 15583 0 0 0 38 6 0 0 16 0 8 0 155750467 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15942] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15942/stat : 15942 (java) S 15937 15939 15760 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155750467 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15943] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15943/stat : 15943 (java) S 15937 15939 15760 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155750467 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15944] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15944/stat : 15944 (java) S 15937 15939 15760 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155750471 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15945] ppid=15937 vsize=915440 CPUtime=0.27
/proc/15939/task/15945/stat : 15945 (java) S 15937 15939 15760 0 -1 64 406 0 0 0 26 1 0 0 16 0 8 0 155750471 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15946] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15946/stat : 15946 (java) S 15937 15939 15760 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155750471 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15947] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15947/stat : 15947 (java) S 15937 15939 15760 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155750471 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1771.4
Current children cumulated vsize (KiB) 915440



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1812 s]
/proc/loadavg: 1.99 1.87 1.84 3/100 17033
/proc/meminfo: memFree=996792/2055920 swapFree=4165584/4192956
[pid=15939] ppid=15937 vsize=915440 CPUtime=1800.05
/proc/15939/stat : 15939 (java) R 15937 15939 15760 0 -1 0 32590 0 1 0 179958 47 0 0 25 0 8 0 155750462 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15939/statm: 228860 32318 2521 14 0 215330 0
[pid=15939/tid=15941] ppid=15937 vsize=915440 CPUtime=0.44
/proc/15939/task/15941/stat : 15941 (java) S 15937 15939 15760 0 -1 64 15583 0 0 0 38 6 0 0 16 0 8 0 155750467 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15942] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15942/stat : 15942 (java) S 15937 15939 15760 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155750467 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15943] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15943/stat : 15943 (java) S 15937 15939 15760 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155750467 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15944] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15944/stat : 15944 (java) S 15937 15939 15760 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155750471 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15945] ppid=15937 vsize=915440 CPUtime=0.27
/proc/15939/task/15945/stat : 15945 (java) S 15937 15939 15760 0 -1 64 406 0 0 0 26 1 0 0 16 0 8 0 155750471 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15946] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15946/stat : 15946 (java) S 15937 15939 15760 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155750471 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15939/tid=15947] ppid=15937 vsize=915440 CPUtime=0
/proc/15939/task/15947/stat : 15947 (java) S 15937 15939 15760 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155750471 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 915440

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

Child status: 143
Real time (s): 1812.08
CPU time (s): 1800.13
CPU user time (s): 1799.64
CPU system time (s): 0.494924
CPU usage (%): 99.3407
Max. virtual memory (cumulated for all children) (KiB): 915440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.64
system time used= 0.494924
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32606
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= 37750
involuntary context switches= 82178

runsolver used 2.40463 s user time and 5.51916 s system time

The end

Launcher Data (download as text)

Begin job on node1 on Sat Jan  6 08:52:26 UTC 2007


IDJOB= 206268
IDBENCH= 4195
FILE ID= node1/206268-1168073543

PBS_JOBID= 3475772

Free space on /tmp= 66296 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-28-28/rand-3-28-28-93-632-37_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206268-1168073543/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node1/watcher-206268-1168073543 -o ROOT/results/node1/solver-206268-1168073543 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206268-1168073543/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  53bf81f071c9b552fd20d7b6234d763f

RANDOM SEED= 459385712

TIME LIMIT= 1800 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.234
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.234
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:       1209600 kB
Buffers:         69500 kB
Cached:         613268 kB
SwapCached:       3692 kB
Active:         393480 kB
Inactive:       355596 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1209600 kB
SwapTotal:     4192956 kB
SwapFree:      4165584 kB
Dirty:            7604 kB
Writeback:           0 kB
Mapped:          86148 kB
Slab:            81888 kB
Committed_AS:  4921728 kB
PageTables:       2448 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= 66296 MiB



End job on node1 on Sat Jan  6 09:22:40 UTC 2007