Trace number 206241

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 ESAC? (TO) 1800.14 1812.67

General information on the benchmark

Namerandom/rand-3-28-28/
rand-3-28-28-93-632-11_ext.xml
MD5SUM0a82da9d937cdb0fbe9aaf8f912dce76
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.36	   
0.36	Abscon 109 (November, 2006)
0.36	   
0.36	   configuration
0.36	     name=esac.xml
0.39	   
0.39	   instance
0.39	     name=/tmp/evaluation/206241-1168170353/unknown.xml
0.42	   
0.42	   domains being loaded...
0.42	   
0.42	   variables being loaded...
0.46	     nbVariables=28  nbDomainTypes=1  minDomainSize=28  maxDomainSize=28
0.46	       =>  wckTime=0.1  cpuTime=0.08  mem=6M951
0.46	   
0.46	   relations being loaded...
1.61	   
1.61	   constraints being loaded...
2.36	     nbConstraints=91  nbRelationTypes=93  nbMergedConstraints=2  nbExtensionStructures=91
2.36	     nbSharedExtensionStructures=0  nbConflictsStructures=91  nbSharedConflictsStructures=0
2.36	     nbSharedBinaryRepresentations=0  maxDegree=16  maxArity=3
2.36	       =>  wckTime=2.004  cpuTime=1.6  mem=56M950
2.52	   
2.52	   solver IterativeSystematicSolver being built... 
2.69	       =>  wckTime=2.334  cpuTime=1.75  mem=65M47
2.85	   
2.85	   preprocessing
2.85	     nbConstraintChecks=52491  nbValidityChecks=89466  nbPropagations=324  nbRevisions=3549  nbUselessRevisions=3090
2.85	     nbSingletonTests=42  nbEffectiveSingletonTests=0  nbESACBranches=4  nbRemovedValues=0  detectedInconsistency=no
2.85	       =>  wckTime=0.15  cpuTime=0.12  mem=65M47
2.94	   
2.94	   search
2.94	     run=0  nbConstraintChecks=44123  nbValidityChecks=87989  nbPropagations=718  nbRevisions=7978
2.94	     nbUselessRevisions=6638  nbAssignments=32  nbFailedAssignments=13  nbBacktracks=10  nbVisitedNodes=53
2.94	     nbRestartNogoods=0  mapSize=9  nbInferences=0  nbTooLargeKeys=0
2.94	       =>  wckTime=0.242  cpuTime=0.21  mem=66M55
3.09	   
3.09	   search
3.09	     run=1  nbConstraintChecks=122522  nbValidityChecks=249788  nbPropagations=2219  nbRevisions=24943
3.09	     nbUselessRevisions=20467  nbAssignments=88  nbFailedAssignments=34  nbBacktracks=26  nbVisitedNodes=132
3.09	     nbRestartNogoods=7  mapSize=22  nbInferences=0  nbTooLargeKeys=0
3.09	       =>  wckTime=0.395  cpuTime=0.35  mem=66M55
3.29	   
3.29	   search
3.29	     run=2  nbConstraintChecks=232265  nbValidityChecks=493605  nbPropagations=4861  nbRevisions=55257
3.29	     nbUselessRevisions=45008  nbAssignments=199  nbFailedAssignments=82  nbBacktracks=48  nbVisitedNodes=275
3.29	     nbRestartNogoods=13  mapSize=41  nbInferences=0  nbTooLargeKeys=0
3.29	       =>  wckTime=0.592  cpuTime=0.53  mem=66M55
3.48	   
3.48	   search
3.48	     run=3  nbConstraintChecks=335407  nbValidityChecks=700006  nbPropagations=8671  nbRevisions=99346
3.48	     nbUselessRevisions=80480  nbAssignments=286  nbFailedAssignments=128  nbBacktracks=81  nbVisitedNodes=429
3.48	     nbRestartNogoods=18  mapSize=70  nbInferences=0  nbTooLargeKeys=0
3.48	       =>  wckTime=0.781  cpuTime=0.71  mem=66M55
3.81	   
3.81	   search
3.81	     run=4  nbConstraintChecks=525242  nbValidityChecks=1130572  nbPropagations=14613  nbRevisions=169962
3.81	     nbUselessRevisions=137354  nbAssignments=471  nbFailedAssignments=215  nbBacktracks=132  nbVisitedNodes=700
3.81	     nbRestartNogoods=26  mapSize=116  nbInferences=0  nbTooLargeKeys=0
3.81	       =>  wckTime=1.111  cpuTime=1.04  mem=66M55
4.33	   
4.33	   search
4.33	     run=5  nbConstraintChecks=825147  nbValidityChecks=1784590  nbPropagations=23817  nbRevisions=278811
4.33	     nbUselessRevisions=224605  nbAssignments=715  nbFailedAssignments=325  nbBacktracks=209  nbVisitedNodes=1055
4.33	     nbRestartNogoods=41  mapSize=188  nbInferences=0  nbTooLargeKeys=0
4.33	       =>  wckTime=1.632  cpuTime=1.56  mem=66M55
4.86	   
4.86	   search
4.86	     run=6  nbConstraintChecks=1138014  nbValidityChecks=2403107  nbPropagations=36269  nbRevisions=426711
4.86	     nbUselessRevisions=342573  nbAssignments=986  nbFailedAssignments=474  nbBacktracks=323  nbVisitedNodes=1547
4.86	     nbRestartNogoods=44  mapSize=283  nbInferences=0  nbTooLargeKeys=0
4.86	       =>  wckTime=2.16  cpuTime=2.08  mem=66M55
5.72	   
5.72	   search
5.72	     run=7  nbConstraintChecks=1641968  nbValidityChecks=3483596  nbPropagations=54821  nbRevisions=644757
5.72	     nbUselessRevisions=515892  nbAssignments=1432  nbFailedAssignments=707  nbBacktracks=494  nbVisitedNodes=2285
5.72	     nbRestartNogoods=52  mapSize=431  nbInferences=0  nbTooLargeKeys=0
5.72	       =>  wckTime=3.02  cpuTime=2.93  mem=66M55
7.70	   
7.70	   search
7.70	     run=8  nbConstraintChecks=2830869  nbValidityChecks=5935723  nbPropagations=85140  nbRevisions=1007105
7.70	     nbUselessRevisions=802445  nbAssignments=2361  nbFailedAssignments=1373  nbBacktracks=750  nbVisitedNodes=4082
7.70	     nbRestartNogoods=54  mapSize=663  nbInferences=0  nbTooLargeKeys=0
7.70	       =>  wckTime=5.006  cpuTime=4.88  mem=66M55
9.90	   
9.90	   search
9.90	     run=9  nbConstraintChecks=4191368  nbValidityChecks=8623297  nbPropagations=127572  nbRevisions=1533934
9.90	     nbUselessRevisions=1220005  nbAssignments=3371  nbFailedAssignments=1979  nbBacktracks=1134  nbVisitedNodes=5949
9.90	     nbRestartNogoods=67  mapSize=1015  nbInferences=0  nbTooLargeKeys=0
9.90	       =>  wckTime=7.201  cpuTime=7.05  mem=66M55
9.99	   
9.99	   INFO : Stopping hyperNogood (mapSize=1028, nbTooLargekeys=0, mem=66M55)
12.61	   
12.61	   search
12.61	     run=10  nbConstraintChecks=5877857  nbValidityChecks=11840535  nbPropagations=186016  nbRevisions=2262895
12.61	     nbUselessRevisions=1797372  nbAssignments=4511  nbFailedAssignments=2530  nbBacktracks=1710  nbVisitedNodes=7984
12.61	     nbRestartNogoods=73
12.61	       =>  wckTime=9.917  cpuTime=9.73  mem=66M55
16.25	   
16.25	   search
16.25	     run=11  nbConstraintChecks=8102236  nbValidityChecks=16516857  nbPropagations=272260  nbRevisions=3310745
16.25	     nbUselessRevisions=2625427  nbAssignments=6382  nbFailedAssignments=3527  nbBacktracks=2575  nbVisitedNodes=11391
16.25	     nbRestartNogoods=82
16.25	       =>  wckTime=13.555  cpuTime=13.33  mem=66M55
23.82	   
23.82	   search
23.82	     run=12  nbConstraintChecks=12896025  nbValidityChecks=26086484  nbPropagations=401911  nbRevisions=4932473
23.82	     nbUselessRevisions=3914799  nbAssignments=9825  nbFailedAssignments=5664  nbBacktracks=3873  nbVisitedNodes=17849
23.82	     nbRestartNogoods=97
23.82	       =>  wckTime=21.129  cpuTime=20.83  mem=66M55
32.83	   
32.83	   search
32.83	     run=13  nbConstraintChecks=18302417  nbValidityChecks=36867138  nbPropagations=591230  nbRevisions=7246504
32.83	     nbUselessRevisions=5745872  nbAssignments=13806  nbFailedAssignments=7676  nbBacktracks=5820  nbVisitedNodes=24972
32.83	     nbRestartNogoods=111
32.83	       =>  wckTime=30.132  cpuTime=29.75  mem=66M55
46.95	   
46.95	   search
46.95	     run=14  nbConstraintChecks=27027429  nbValidityChecks=54507123  nbPropagations=877789  nbRevisions=10681424
46.95	     nbUselessRevisions=8457428  nbAssignments=20153  nbFailedAssignments=11097  nbBacktracks=8740  nbVisitedNodes=36502
46.95	     nbRestartNogoods=122
46.95	       =>  wckTime=44.258  cpuTime=43.75  mem=66M55
71.47	   
71.47	   search
71.47	     run=15  nbConstraintChecks=42670857  nbValidityChecks=85635101  nbPropagations=1309010  nbRevisions=15983263
71.47	     nbUselessRevisions=12661061  nbAssignments=32695  nbFailedAssignments=19240  nbBacktracks=13118
71.47	     nbVisitedNodes=60155  nbRestartNogoods=131
71.47	       =>  wckTime=68.779  cpuTime=68.04  mem=66M55
116.28	   
116.28	   search
116.28	     run=16  nbConstraintChecks=70362896  nbValidityChecks=141685162  nbPropagations=2017302  nbRevisions=24720621
116.28	     nbUselessRevisions=19562805  nbAssignments=52373  nbFailedAssignments=32341  nbBacktracks=19686
116.28	     nbVisitedNodes=97798  nbRestartNogoods=147
116.28	       =>  wckTime=113.587  cpuTime=112.45  mem=66M55
159.36	   
159.36	   search
159.36	     run=17  nbConstraintChecks=96784496  nbValidityChecks=196876290  nbPropagations=3046251  nbRevisions=37143496
159.36	     nbUselessRevisions=29362368  nbAssignments=73601  nbFailedAssignments=43669  nbBacktracks=29539
159.36	     nbVisitedNodes=136383  nbRestartNogoods=166
159.36	       =>  wckTime=156.666  cpuTime=155.15  mem=66M55
229.47	   
229.47	   search
229.47	     run=18  nbConstraintChecks=140978827  nbValidityChecks=283479878  nbPropagations=4515159  nbRevisions=54984005
229.47	     nbUselessRevisions=43440878  nbAssignments=108884  nbFailedAssignments=64155  nbBacktracks=44317
229.47	     nbVisitedNodes=201416  nbRestartNogoods=181
229.47	       =>  wckTime=226.776  cpuTime=224.62  mem=66M55
377.97	   
377.97	   search
377.97	     run=19  nbConstraintChecks=232298509  nbValidityChecks=469673331  nbPropagations=6911189  nbRevisions=84217908
377.97	     nbUselessRevisions=66445492  nbAssignments=175255  nbFailedAssignments=108319  nbBacktracks=66485
377.97	     nbVisitedNodes=328185  nbRestartNogoods=209
377.97	       =>  wckTime=375.272  cpuTime=371.77  mem=66M55
535.81	   
535.81	   search
535.81	     run=20  nbConstraintChecks=330274726  nbValidityChecks=669094154  nbPropagations=10332347  nbRevisions=125753200
535.81	     nbUselessRevisions=99169197  nbAssignments=247234  nbFailedAssignments=147012  nbBacktracks=99737
535.81	     nbVisitedNodes=458845  nbRestartNogoods=227
535.81	       =>  wckTime=533.114  cpuTime=528.17  mem=66M55
769.31	   
769.31	   search
769.31	     run=21  nbConstraintChecks=477003505  nbValidityChecks=960118484  nbPropagations=15282001  nbRevisions=185983859
769.31	     nbUselessRevisions=146614764  nbAssignments=372195  nbFailedAssignments=222086  nbBacktracks=149615
769.31	     nbVisitedNodes=689954  nbRestartNogoods=240
769.31	       =>  wckTime=766.613  cpuTime=759.55  mem=66M55
1268.12	   
1268.12	   search
1268.12	     run=22  nbConstraintChecks=787812879  nbValidityChecks=1592254665  nbPropagations=23416912  nbRevisions=285347500
1268.12	     nbUselessRevisions=224706041  nbAssignments=598012  nbFailedAssignments=373039  nbBacktracks=224433
1268.12	     nbVisitedNodes=1122562  nbRestartNogoods=256
1268.12	       =>  wckTime=1265.427  cpuTime=1255.78  mem=66M55
1759.53	   
1759.53	   search
1759.53	     run=23  nbConstraintChecks=1105817690  nbValidityChecks=2224634043  nbPropagations=34952212  nbRevisions=425687760
1759.53	     nbUselessRevisions=335065736  nbAssignments=859210  nbFailedAssignments=522002  nbBacktracks=336661
1759.53	     nbVisitedNodes=1601553  nbRestartNogoods=269
1759.53	       =>  wckTime=1756.837  cpuTime=1744.61  mem=66M55

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/node7/watcher-206241-1168170353 -o ROOT/results/node7/solver-206241-1168170353 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206241-1168170353/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: 2.03 2.02 1.94 4/86 19941
/proc/meminfo: memFree=1620624/2055920 swapFree=4192812/4192956
[pid=19940] ppid=19938 vsize=9948 CPUtime=0
/proc/19940/stat : 19940 (java) S 19938 19940 19873 0 -1 0 723 0 0 0 0 0 0 0 18 0 1 0 165430794 10186752 472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 17 1 0 0
/proc/19940/statm: 2487 472 386 14 0 1142 0

[startup+0.10423 s]
/proc/loadavg: 2.03 2.02 1.94 4/86 19941
/proc/meminfo: memFree=1620624/2055920 swapFree=4192812/4192956
[pid=19940] ppid=19938 vsize=907808 CPUtime=0.06
/proc/19940/stat : 19940 (java) D 19938 19940 19873 0 -1 0 2457 0 1 0 4 2 0 0 16 0 4 0 165430794 929595392 2204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/19940/statm: 226952 2204 1214 14 0 214535 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 907808

[startup+0.512286 s]
/proc/loadavg: 2.03 2.02 1.94 4/86 19941
/proc/meminfo: memFree=1620624/2055920 swapFree=4192812/4192956
[pid=19940] ppid=19938 vsize=915328 CPUtime=0.45
/proc/19940/stat : 19940 (java) R 19938 19940 19873 0 -1 0 6668 0 1 0 40 5 0 0 18 0 8 0 165430794 937295872 6407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19940/statm: 228832 6407 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 915328

[startup+1.33436 s]
/proc/loadavg: 2.03 2.02 1.94 3/93 19948
/proc/meminfo: memFree=1553560/2055920 swapFree=4192812/4192956
[pid=19940] ppid=19938 vsize=915328 CPUtime=1.26
/proc/19940/stat : 19940 (java) R 19938 19940 19873 0 -1 0 19097 0 1 0 116 10 0 0 24 0 8 0 165430794 937295872 18835 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073583080 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19940/statm: 228832 18835 2149 14 0 215302 0
[pid=19940/tid=19942] ppid=19938 vsize=915328 CPUtime=0.04
/proc/19940/task/19942/stat : 19942 (java) S 19938 19940 19873 0 -1 64 2681 0 0 0 4 0 0 0 17 0 8 0 165430797 937295872 18835 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19943] ppid=19938 vsize=915328 CPUtime=0
/proc/19940/task/19943/stat : 19943 (java) S 19938 19940 19873 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165430798 937295872 18835 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19944] ppid=19938 vsize=915328 CPUtime=0
/proc/19940/task/19944/stat : 19944 (java) S 19938 19940 19873 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165430798 937295872 18835 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19945] ppid=19938 vsize=915328 CPUtime=0
/proc/19940/task/19945/stat : 19945 (java) S 19938 19940 19873 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165430806 937295872 18835 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19946] ppid=19938 vsize=915328 CPUtime=0.07
/proc/19940/task/19946/stat : 19946 (java) S 19938 19940 19873 0 -1 64 307 0 0 0 7 0 0 0 16 0 8 0 165430806 937295872 18835 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19947] ppid=19938 vsize=915328 CPUtime=0
/proc/19940/task/19947/stat : 19947 (java) S 19938 19940 19873 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165430806 937295872 18835 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19948] ppid=19938 vsize=915328 CPUtime=0
/proc/19940/task/19948/stat : 19948 (java) S 19938 19940 19873 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165430806 937295872 18835 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 915328

[startup+2.98753 s]
/proc/loadavg: 2.03 2.02 1.94 4/93 19948
/proc/meminfo: memFree=1513560/2055920 swapFree=4192812/4192956
[pid=19940] ppid=19938 vsize=915440 CPUtime=2.9
/proc/19940/stat : 19940 (java) R 19938 19940 19873 0 -1 0 32441 0 1 0 274 16 0 0 25 0 8 0 165430794 937410560 32176 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073660150 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19940/statm: 228860 32176 2531 14 0 215330 0
[pid=19940/tid=19942] ppid=19938 vsize=915440 CPUtime=0.43
/proc/19940/task/19942/stat : 19942 (java) S 19938 19940 19873 0 -1 64 15453 0 0 0 38 5 0 0 17 0 8 0 165430797 937410560 32176 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19943] ppid=19938 vsize=915440 CPUtime=0
/proc/19940/task/19943/stat : 19943 (java) S 19938 19940 19873 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165430798 937410560 32176 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19944] ppid=19938 vsize=915440 CPUtime=0
/proc/19940/task/19944/stat : 19944 (java) S 19938 19940 19873 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165430798 937410560 32176 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19945] ppid=19938 vsize=915440 CPUtime=0
/proc/19940/task/19945/stat : 19945 (java) S 19938 19940 19873 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165430806 937410560 32176 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19946] ppid=19938 vsize=915440 CPUtime=0.18
/proc/19940/task/19946/stat : 19946 (java) S 19938 19940 19873 0 -1 64 372 0 0 0 18 0 0 0 15 0 8 0 165430806 937410560 32176 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19947] ppid=19938 vsize=915440 CPUtime=0
/proc/19940/task/19947/stat : 19947 (java) S 19938 19940 19873 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165430806 937410560 32176 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19948] ppid=19938 vsize=915440 CPUtime=0
/proc/19940/task/19948/stat : 19948 (java) S 19938 19940 19873 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165430806 937410560 32176 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 915440

[startup+6.28889 s]
/proc/loadavg: 2.03 2.02 1.94 3/93 19948
/proc/meminfo: memFree=1501464/2055920 swapFree=4192812/4192956
[pid=19940] ppid=19938 vsize=915440 CPUtime=6.16
/proc/19940/stat : 19940 (java) R 19938 19940 19873 0 -1 0 32463 0 1 0 600 16 0 0 25 0 8 0 165430794 937410560 32195 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073803887 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19940/statm: 228860 32195 2531 14 0 215330 0
[pid=19940/tid=19942] ppid=19938 vsize=915440 CPUtime=0.43
/proc/19940/task/19942/stat : 19942 (java) S 19938 19940 19873 0 -1 64 15453 0 0 0 38 5 0 0 17 0 8 0 165430797 937410560 32195 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19943] ppid=19938 vsize=915440 CPUtime=0
/proc/19940/task/19943/stat : 19943 (java) S 19938 19940 19873 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165430798 937410560 32195 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19944] ppid=19938 vsize=915440 CPUtime=0
/proc/19940/task/19944/stat : 19944 (java) S 19938 19940 19873 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165430798 937410560 32195 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19945] ppid=19938 vsize=915440 CPUtime=0
/proc/19940/task/19945/stat : 19945 (java) S 19938 19940 19873 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165430806 937410560 32195 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19946] ppid=19938 vsize=915440 CPUtime=0.23
/proc/19940/task/19946/stat : 19946 (java) S 19938 19940 19873 0 -1 64 391 0 0 0 22 1 0 0 15 0 8 0 165430806 937410560 32195 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19947] ppid=19938 vsize=915440 CPUtime=0
/proc/19940/task/19947/stat : 19947 (java) S 19938 19940 19873 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165430806 937410560 32195 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19948] ppid=19938 vsize=915440 CPUtime=0
/proc/19940/task/19948/stat : 19948 (java) S 19938 19940 19873 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165430806 937410560 32195 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 915440

[startup+12.7746 s]
/proc/loadavg: 2.02 2.02 1.94 3/93 19948
/proc/meminfo: memFree=1501464/2055920 swapFree=4192812/4192956
[pid=19940] ppid=19938 vsize=915440 CPUtime=12.58
/proc/19940/stat : 19940 (java) R 19938 19940 19873 0 -1 0 32472 0 1 0 1242 16 0 0 25 0 8 0 165430794 937410560 32201 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634809 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19940/statm: 228860 32201 2531 14 0 215330 0
[pid=19940/tid=19942] ppid=19938 vsize=915440 CPUtime=0.43
/proc/19940/task/19942/stat : 19942 (java) S 19938 19940 19873 0 -1 64 15453 0 0 0 38 5 0 0 16 0 8 0 165430797 937410560 32201 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19943] ppid=19938 vsize=915440 CPUtime=0
/proc/19940/task/19943/stat : 19943 (java) S 19938 19940 19873 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165430798 937410560 32201 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19944] ppid=19938 vsize=915440 CPUtime=0
/proc/19940/task/19944/stat : 19944 (java) S 19938 19940 19873 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165430798 937410560 32201 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19945] ppid=19938 vsize=915440 CPUtime=0
/proc/19940/task/19945/stat : 19945 (java) S 19938 19940 19873 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165430806 937410560 32201 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19946] ppid=19938 vsize=915440 CPUtime=0.25
/proc/19940/task/19946/stat : 19946 (java) S 19938 19940 19873 0 -1 64 398 0 0 0 24 1 0 0 16 0 8 0 165430806 937410560 32201 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19947] ppid=19938 vsize=915440 CPUtime=0
/proc/19940/task/19947/stat : 19947 (java) S 19938 19940 19873 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165430806 937410560 32201 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19948] ppid=19938 vsize=915440 CPUtime=0
/proc/19940/task/19948/stat : 19948 (java) S 19938 19940 19873 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165430806 937410560 32201 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 915440

[startup+25.6349 s]
/proc/loadavg: 2.02 2.02 1.94 3/93 19948
/proc/meminfo: memFree=1501656/2055920 swapFree=4192812/4192956
[pid=19940] ppid=19938 vsize=915440 CPUtime=25.33
/proc/19940/stat : 19940 (java) R 19938 19940 19873 0 -1 0 32474 0 1 0 2517 16 0 0 25 0 8 0 165430794 937410560 32203 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073629990 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19940/statm: 228860 32203 2531 14 0 215330 0
[pid=19940/tid=19942] ppid=19938 vsize=915440 CPUtime=0.43
/proc/19940/task/19942/stat : 19942 (java) S 19938 19940 19873 0 -1 64 15453 0 0 0 38 5 0 0 16 0 8 0 165430797 937410560 32203 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19943] ppid=19938 vsize=915440 CPUtime=0
/proc/19940/task/19943/stat : 19943 (java) S 19938 19940 19873 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165430798 937410560 32203 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19944] ppid=19938 vsize=915440 CPUtime=0
/proc/19940/task/19944/stat : 19944 (java) S 19938 19940 19873 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165430798 937410560 32203 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19945] ppid=19938 vsize=915440 CPUtime=0
/proc/19940/task/19945/stat : 19945 (java) S 19938 19940 19873 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165430806 937410560 32203 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19946] ppid=19938 vsize=915440 CPUtime=0.25
/proc/19940/task/19946/stat : 19946 (java) S 19938 19940 19873 0 -1 64 400 0 0 0 24 1 0 0 15 0 8 0 165430806 937410560 32203 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19947] ppid=19938 vsize=915440 CPUtime=0
/proc/19940/task/19947/stat : 19947 (java) S 19938 19940 19873 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165430806 937410560 32203 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19948] ppid=19938 vsize=915440 CPUtime=0
/proc/19940/task/19948/stat : 19948 (java) S 19938 19940 19873 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165430806 937410560 32203 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 915440

[startup+51.2646 s]
/proc/loadavg: 2.01 2.02 1.94 3/93 19948
/proc/meminfo: memFree=1501656/2055920 swapFree=4192812/4192956
[pid=19940] ppid=19938 vsize=915440 CPUtime=50.71
/proc/19940/stat : 19940 (java) R 19938 19940 19873 0 -1 0 32474 0 1 0 5055 16 0 0 25 0 8 0 165430794 937410560 32203 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073803317 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19940/statm: 228860 32203 2531 14 0 215330 0
[pid=19940/tid=19942] ppid=19938 vsize=915440 CPUtime=0.43
/proc/19940/task/19942/stat : 19942 (java) S 19938 19940 19873 0 -1 64 15453 0 0 0 38 5 0 0 16 0 8 0 165430797 937410560 32203 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19943] ppid=19938 vsize=915440 CPUtime=0
/proc/19940/task/19943/stat : 19943 (java) S 19938 19940 19873 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165430798 937410560 32203 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19944] ppid=19938 vsize=915440 CPUtime=0
/proc/19940/task/19944/stat : 19944 (java) S 19938 19940 19873 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165430798 937410560 32203 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19945] ppid=19938 vsize=915440 CPUtime=0
/proc/19940/task/19945/stat : 19945 (java) S 19938 19940 19873 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165430806 937410560 32203 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19946] ppid=19938 vsize=915440 CPUtime=0.25
/proc/19940/task/19946/stat : 19946 (java) S 19938 19940 19873 0 -1 64 400 0 0 0 24 1 0 0 15 0 8 0 165430806 937410560 32203 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19947] ppid=19938 vsize=915440 CPUtime=0
/proc/19940/task/19947/stat : 19947 (java) S 19938 19940 19873 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165430806 937410560 32203 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19948] ppid=19938 vsize=915440 CPUtime=0
/proc/19940/task/19948/stat : 19948 (java) S 19938 19940 19873 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165430806 937410560 32203 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 915440

[startup+102.523 s]
/proc/loadavg: 2.00 2.01 1.94 3/93 19948
/proc/meminfo: memFree=1501784/2055920 swapFree=4192812/4192956
[pid=19940] ppid=19938 vsize=915440 CPUtime=101.52
/proc/19940/stat : 19940 (java) R 19938 19940 19873 0 -1 0 32475 0 1 0 10135 17 0 0 25 0 8 0 165430794 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19940/statm: 228860 32204 2531 14 0 215330 0
[pid=19940/tid=19942] ppid=19938 vsize=915440 CPUtime=0.43
/proc/19940/task/19942/stat : 19942 (java) S 19938 19940 19873 0 -1 64 15453 0 0 0 38 5 0 0 16 0 8 0 165430797 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19943] ppid=19938 vsize=915440 CPUtime=0
/proc/19940/task/19943/stat : 19943 (java) S 19938 19940 19873 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165430798 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19944] ppid=19938 vsize=915440 CPUtime=0
/proc/19940/task/19944/stat : 19944 (java) S 19938 19940 19873 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165430798 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19945] ppid=19938 vsize=915440 CPUtime=0
/proc/19940/task/19945/stat : 19945 (java) S 19938 19940 19873 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165430806 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19946] ppid=19938 vsize=915440 CPUtime=0.25
/proc/19940/task/19946/stat : 19946 (java) S 19938 19940 19873 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 165430806 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19947] ppid=19938 vsize=915440 CPUtime=0
/proc/19940/task/19947/stat : 19947 (java) S 19938 19940 19873 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165430806 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19948] ppid=19938 vsize=915440 CPUtime=0
/proc/19940/task/19948/stat : 19948 (java) S 19938 19940 19873 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165430806 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.52
Current children cumulated vsize (KiB) 915440

[startup+162.53 s]
/proc/loadavg: 2.06 2.02 1.95 3/93 19948
/proc/meminfo: memFree=1501784/2055920 swapFree=4192812/4192956
[pid=19940] ppid=19938 vsize=915440 CPUtime=160.99
/proc/19940/stat : 19940 (java) R 19938 19940 19873 0 -1 0 32476 0 1 0 16081 18 0 0 25 0 8 0 165430794 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073660068 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+1483.5 s]
/proc/loadavg: 2.00 2.00 1.97 3/93 20407
/proc/meminfo: memFree=1537632/2055920 swapFree=4192812/4192956
[pid=19940] ppid=19938 vsize=915440 CPUtime=1472.79
/proc/19940/stat : 19940 (java) R 19938 19940 19873 0 -1 0 32477 0 1 0 147246 33 0 0 25 0 8 0 165430794 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19940/statm: 228860 32205 2531 14 0 215330 0
[pid=19940/tid=19942] ppid=19938 vsize=915440 CPUtime=0.43
/proc/19940/task/19942/stat : 19942 (java) S 19938 19940 19873 0 -1 64 15453 0 0 0 38 5 0 0 16 0 8 0 165430797 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19943] ppid=19938 vsize=915440 CPUtime=0
/proc/19940/task/19943/stat : 19943 (java) S 19938 19940 19873 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165430798 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19944] ppid=19938 vsize=915440 CPUtime=0
/proc/19940/task/19944/stat : 19944 (java) S 19938 19940 19873 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165430798 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19945] ppid=19938 vsize=915440 CPUtime=0
/proc/19940/task/19945/stat : 19945 (java) S 19938 19940 19873 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165430806 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19946] ppid=19938 vsize=915440 CPUtime=0.25
/proc/19940/task/19946/stat : 19946 (java) S 19938 19940 19873 0 -1 64 402 0 0 0 24 1 0 0 16 0 8 0 165430806 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19947] ppid=19938 vsize=915440 CPUtime=0
/proc/19940/task/19947/stat : 19947 (java) S 19938 19940 19873 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165430806 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19948] ppid=19938 vsize=915440 CPUtime=0
/proc/19940/task/19948/stat : 19948 (java) S 19938 19940 19873 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165430806 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1472.79
Current children cumulated vsize (KiB) 915440

[startup+1543.58 s]
/proc/loadavg: 2.04 2.01 1.98 3/93 20407
/proc/meminfo: memFree=1537696/2055920 swapFree=4192812/4192956
[pid=19940] ppid=19938 vsize=915440 CPUtime=1532.53
/proc/19940/stat : 19940 (java) R 19938 19940 19873 0 -1 0 32477 0 1 0 153220 33 0 0 25 0 8 0 165430794 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073660020 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19940/statm: 228860 32205 2531 14 0 215330 0
[pid=19940/tid=19942] ppid=19938 vsize=915440 CPUtime=0.43
/proc/19940/task/19942/stat : 19942 (java) S 19938 19940 19873 0 -1 64 15453 0 0 0 38 5 0 0 16 0 8 0 165430797 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19943] ppid=19938 vsize=915440 CPUtime=0
/proc/19940/task/19943/stat : 19943 (java) S 19938 19940 19873 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165430798 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19944] ppid=19938 vsize=915440 CPUtime=0
/proc/19940/task/19944/stat : 19944 (java) S 19938 19940 19873 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165430798 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19945] ppid=19938 vsize=915440 CPUtime=0
/proc/19940/task/19945/stat : 19945 (java) S 19938 19940 19873 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165430806 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19946] ppid=19938 vsize=915440 CPUtime=0.25
/proc/19940/task/19946/stat : 19946 (java) S 19938 19940 19873 0 -1 64 402 0 0 0 24 1 0 0 16 0 8 0 165430806 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19947] ppid=19938 vsize=915440 CPUtime=0
/proc/19940/task/19947/stat : 19947 (java) S 19938 19940 19873 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165430806 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19948] ppid=19938 vsize=915440 CPUtime=0
/proc/19940/task/19948/stat : 19948 (java) S 19938 19940 19873 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165430806 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1532.53
Current children cumulated vsize (KiB) 915440

[startup+1603.66 s]
/proc/loadavg: 2.01 2.01 1.98 3/93 20407
/proc/meminfo: memFree=1537632/2055920 swapFree=4192812/4192956
[pid=19940] ppid=19938 vsize=915440 CPUtime=1592.28
/proc/19940/stat : 19940 (java) R 19938 19940 19873 0 -1 0 32477 0 1 0 159195 33 0 0 25 0 8 0 165430794 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073797392 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19940/statm: 228860 32205 2531 14 0 215330 0
[pid=19940/tid=19942] ppid=19938 vsize=915440 CPUtime=0.43
/proc/19940/task/19942/stat : 19942 (java) S 19938 19940 19873 0 -1 64 15453 0 0 0 38 5 0 0 16 0 8 0 165430797 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19943] ppid=19938 vsize=915440 CPUtime=0
/proc/19940/task/19943/stat : 19943 (java) S 19938 19940 19873 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165430798 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19944] ppid=19938 vsize=915440 CPUtime=0
/proc/19940/task/19944/stat : 19944 (java) S 19938 19940 19873 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165430798 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19945] ppid=19938 vsize=915440 CPUtime=0
/proc/19940/task/19945/stat : 19945 (java) S 19938 19940 19873 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165430806 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19946] ppid=19938 vsize=915440 CPUtime=0.25
/proc/19940/task/19946/stat : 19946 (java) S 19938 19940 19873 0 -1 64 402 0 0 0 24 1 0 0 16 0 8 0 165430806 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19947] ppid=19938 vsize=915440 CPUtime=0
/proc/19940/task/19947/stat : 19947 (java) S 19938 19940 19873 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165430806 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19948] ppid=19938 vsize=915440 CPUtime=0
/proc/19940/task/19948/stat : 19948 (java) S 19938 19940 19873 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165430806 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1592.28
Current children cumulated vsize (KiB) 915440

[startup+1663.73 s]
/proc/loadavg: 2.00 2.00 1.98 3/93 20407
/proc/meminfo: memFree=1537632/2055920 swapFree=4192812/4192956
[pid=19940] ppid=19938 vsize=915440 CPUtime=1652.03
/proc/19940/stat : 19940 (java) R 19938 19940 19873 0 -1 0 32477 0 1 0 165170 33 0 0 25 0 8 0 165430794 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073799128 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19940/statm: 228860 32205 2531 14 0 215330 0
[pid=19940/tid=19942] ppid=19938 vsize=915440 CPUtime=0.43
/proc/19940/task/19942/stat : 19942 (java) S 19938 19940 19873 0 -1 64 15453 0 0 0 38 5 0 0 16 0 8 0 165430797 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19943] ppid=19938 vsize=915440 CPUtime=0
/proc/19940/task/19943/stat : 19943 (java) S 19938 19940 19873 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165430798 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19944] ppid=19938 vsize=915440 CPUtime=0
/proc/19940/task/19944/stat : 19944 (java) S 19938 19940 19873 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165430798 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19945] ppid=19938 vsize=915440 CPUtime=0
/proc/19940/task/19945/stat : 19945 (java) S 19938 19940 19873 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165430806 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19946] ppid=19938 vsize=915440 CPUtime=0.25
/proc/19940/task/19946/stat : 19946 (java) S 19938 19940 19873 0 -1 64 402 0 0 0 24 1 0 0 16 0 8 0 165430806 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19947] ppid=19938 vsize=915440 CPUtime=0
/proc/19940/task/19947/stat : 19947 (java) S 19938 19940 19873 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165430806 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19948] ppid=19938 vsize=915440 CPUtime=0
/proc/19940/task/19948/stat : 19948 (java) S 19938 19940 19873 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165430806 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1652.03
Current children cumulated vsize (KiB) 915440

[startup+1723.81 s]
/proc/loadavg: 2.15 2.03 1.99 3/93 20407
/proc/meminfo: memFree=1537568/2055920 swapFree=4192812/4192956
[pid=19940] ppid=19938 vsize=915440 CPUtime=1711.77
/proc/19940/stat : 19940 (java) R 19938 19940 19873 0 -1 0 32477 0 1 0 171144 33 0 0 25 0 8 0 165430794 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073797309 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19940/statm: 228860 32205 2531 14 0 215330 0
[pid=19940/tid=19942] ppid=19938 vsize=915440 CPUtime=0.43
/proc/19940/task/19942/stat : 19942 (java) S 19938 19940 19873 0 -1 64 15453 0 0 0 38 5 0 0 16 0 8 0 165430797 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19943] ppid=19938 vsize=915440 CPUtime=0
/proc/19940/task/19943/stat : 19943 (java) S 19938 19940 19873 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165430798 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19944] ppid=19938 vsize=915440 CPUtime=0
/proc/19940/task/19944/stat : 19944 (java) S 19938 19940 19873 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165430798 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19945] ppid=19938 vsize=915440 CPUtime=0
/proc/19940/task/19945/stat : 19945 (java) S 19938 19940 19873 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165430806 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19946] ppid=19938 vsize=915440 CPUtime=0.25
/proc/19940/task/19946/stat : 19946 (java) S 19938 19940 19873 0 -1 64 402 0 0 0 24 1 0 0 16 0 8 0 165430806 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19947] ppid=19938 vsize=915440 CPUtime=0
/proc/19940/task/19947/stat : 19947 (java) S 19938 19940 19873 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165430806 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19948] ppid=19938 vsize=915440 CPUtime=0
/proc/19940/task/19948/stat : 19948 (java) S 19938 19940 19873 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165430806 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1711.77
Current children cumulated vsize (KiB) 915440

[startup+1783.9 s]
/proc/loadavg: 2.05 2.02 1.99 3/93 20407
/proc/meminfo: memFree=1537568/2055920 swapFree=4192812/4192956
[pid=19940] ppid=19938 vsize=915440 CPUtime=1771.53
/proc/19940/stat : 19940 (java) R 19938 19940 19873 0 -1 0 32477 0 1 0 177120 33 0 0 25 0 8 0 165430794 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073629919 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19940/statm: 228860 32205 2531 14 0 215330 0
[pid=19940/tid=19942] ppid=19938 vsize=915440 CPUtime=0.43
/proc/19940/task/19942/stat : 19942 (java) S 19938 19940 19873 0 -1 64 15453 0 0 0 38 5 0 0 16 0 8 0 165430797 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19943] ppid=19938 vsize=915440 CPUtime=0
/proc/19940/task/19943/stat : 19943 (java) S 19938 19940 19873 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165430798 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19944] ppid=19938 vsize=915440 CPUtime=0
/proc/19940/task/19944/stat : 19944 (java) S 19938 19940 19873 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165430798 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19945] ppid=19938 vsize=915440 CPUtime=0
/proc/19940/task/19945/stat : 19945 (java) S 19938 19940 19873 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165430806 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19946] ppid=19938 vsize=915440 CPUtime=0.25
/proc/19940/task/19946/stat : 19946 (java) S 19938 19940 19873 0 -1 64 402 0 0 0 24 1 0 0 16 0 8 0 165430806 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19947] ppid=19938 vsize=915440 CPUtime=0
/proc/19940/task/19947/stat : 19947 (java) S 19938 19940 19873 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165430806 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19948] ppid=19938 vsize=915440 CPUtime=0
/proc/19940/task/19948/stat : 19948 (java) S 19938 19940 19873 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165430806 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1771.53
Current children cumulated vsize (KiB) 915440



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1812.61 s]
/proc/loadavg: 2.03 2.02 1.99 3/93 20407
/proc/meminfo: memFree=1537568/2055920 swapFree=4192812/4192956
[pid=19940] ppid=19938 vsize=915440 CPUtime=1800.09
/proc/19940/stat : 19940 (java) R 19938 19940 19873 0 -1 0 32477 0 1 0 179976 33 0 0 25 0 8 0 165430794 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19940/statm: 228860 32205 2531 14 0 215330 0
[pid=19940/tid=19942] ppid=19938 vsize=915440 CPUtime=0.43
/proc/19940/task/19942/stat : 19942 (java) S 19938 19940 19873 0 -1 64 15453 0 0 0 38 5 0 0 16 0 8 0 165430797 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19943] ppid=19938 vsize=915440 CPUtime=0
/proc/19940/task/19943/stat : 19943 (java) S 19938 19940 19873 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165430798 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19944] ppid=19938 vsize=915440 CPUtime=0
/proc/19940/task/19944/stat : 19944 (java) S 19938 19940 19873 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165430798 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19945] ppid=19938 vsize=915440 CPUtime=0
/proc/19940/task/19945/stat : 19945 (java) S 19938 19940 19873 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165430806 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19946] ppid=19938 vsize=915440 CPUtime=0.25
/proc/19940/task/19946/stat : 19946 (java) S 19938 19940 19873 0 -1 64 402 0 0 0 24 1 0 0 16 0 8 0 165430806 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19947] ppid=19938 vsize=915440 CPUtime=0
/proc/19940/task/19947/stat : 19947 (java) S 19938 19940 19873 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165430806 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19940/tid=19948] ppid=19938 vsize=915440 CPUtime=0
/proc/19940/task/19948/stat : 19948 (java) S 19938 19940 19873 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165430806 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 915440

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

Child status: 143
Real time (s): 1812.67
CPU time (s): 1800.14
CPU user time (s): 1799.79
CPU system time (s): 0.358945
CPU usage (%): 99.3091
Max. virtual memory (cumulated for all children) (KiB): 915460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.79
system time used= 0.358945
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32494
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= 37826
involuntary context switches= 56956

runsolver used 2.11568 s user time and 5.9001 s system time

The end

Launcher Data (download as text)

Begin job on node7 on Sun Jan  7 11:45:54 UTC 2007


IDJOB= 206241
IDBENCH= 4193
FILE ID= node7/206241-1168170353

PBS_JOBID= 3478834

Free space on /tmp= 66542 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  0a82da9d937cdb0fbe9aaf8f912dce76

RANDOM SEED= 41124530

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.220
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.220
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:       1621104 kB
Buffers:         59128 kB
Cached:         197844 kB
SwapCached:          0 kB
Active:         221484 kB
Inactive:       157500 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1621104 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            7656 kB
Writeback:           0 kB
Mapped:         144424 kB
Slab:            40452 kB
Committed_AS:  4780600 kB
PageTables:       2532 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= 66538 MiB



End job on node7 on Sun Jan  7 12:16:06 UTC 2007