Trace number 203313

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.08 1804.95

General information on the benchmark

Namerandom/rand-3-28-28-fcd/
rand-3-28-28-93-632-fcd-45_ext.xml
MD5SUMdbd711457459488701c928355f301608
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.42	   
0.42	Abscon 109 (November, 2006)
0.42	   
0.42	   configuration
0.42	     name=esac.xml
0.47	   
0.47	   instance
0.47	     name=/tmp/evaluation/203313-1168159361/unknown.xml
0.51	   
0.51	   domains being loaded...
0.51	   
0.51	   variables being loaded...
0.55	     nbVariables=28  nbDomainTypes=1  minDomainSize=28  maxDomainSize=28
0.55	       =>  wckTime=0.125  cpuTime=0.09  mem=6M951
0.55	   
0.55	   relations being loaded...
1.73	   
1.73	   constraints being loaded...
2.51	     nbConstraints=90  nbRelationTypes=93  nbMergedConstraints=3  nbExtensionStructures=90
2.51	     nbSharedExtensionStructures=0  nbConflictsStructures=90  nbSharedConflictsStructures=0
2.51	     nbSharedBinaryRepresentations=0  maxDegree=16  maxArity=3
2.51	       =>  wckTime=2.087  cpuTime=1.65  mem=56M6
2.67	   
2.67	   solver IterativeSystematicSolver being built... 
2.85	       =>  wckTime=2.428  cpuTime=1.8  mem=64M573
3.00	   
3.01	   preprocessing
3.01	     nbConstraintChecks=51048  nbValidityChecks=84959  nbPropagations=299  nbRevisions=3084  nbUselessRevisions=2684
3.01	     nbSingletonTests=41  nbEffectiveSingletonTests=0  nbESACBranches=4  nbRemovedValues=0  detectedInconsistency=no
3.01	       =>  wckTime=0.15  cpuTime=0.12  mem=64M573
3.07	   
3.07	   search
3.07	     run=0  nbConstraintChecks=27539  nbValidityChecks=48433  nbPropagations=531  nbRevisions=5584
3.07	     nbUselessRevisions=4681  nbAssignments=27  nbFailedAssignments=7  nbBacktracks=11  nbVisitedNodes=39
3.07	     nbRestartNogoods=0  mapSize=6  nbInferences=0  nbTooLargeKeys=0
3.07	       =>  wckTime=0.216  cpuTime=0.18  mem=65M598
3.17	   
3.17	   search
3.17	     run=1  nbConstraintChecks=77221  nbValidityChecks=149238  nbPropagations=1623  nbRevisions=18325
3.17	     nbUselessRevisions=15134  nbAssignments=81  nbFailedAssignments=36  nbBacktracks=29  nbVisitedNodes=133
3.17	     nbRestartNogoods=3  mapSize=22  nbInferences=0  nbTooLargeKeys=0
3.17	       =>  wckTime=0.315  cpuTime=0.27  mem=65M598
3.36	   
3.36	   search
3.36	     run=2  nbConstraintChecks=179624  nbValidityChecks=348775  nbPropagations=3578  nbRevisions=43006
3.36	     nbUselessRevisions=35138  nbAssignments=151  nbFailedAssignments=76  nbBacktracks=51  nbVisitedNodes=258
3.36	     nbRestartNogoods=5  mapSize=40  nbInferences=0  nbTooLargeKeys=0
3.36	       =>  wckTime=0.503  cpuTime=0.45  mem=65M598
3.60	   
3.60	   search
3.60	     run=3  nbConstraintChecks=320744  nbValidityChecks=642820  nbPropagations=6878  nbRevisions=83166
3.60	     nbUselessRevisions=67451  nbAssignments=277  nbFailedAssignments=134  nbBacktracks=85  nbVisitedNodes=436
3.60	     nbRestartNogoods=11  mapSize=67  nbInferences=0  nbTooLargeKeys=0
3.60	       =>  wckTime=0.751  cpuTime=0.69  mem=65M598
3.81	   
3.81	   search
3.81	     run=4  nbConstraintChecks=431901  nbValidityChecks=878623  nbPropagations=11546  nbRevisions=138188
3.81	     nbUselessRevisions=111264  nbAssignments=384  nbFailedAssignments=182  nbBacktracks=137  nbVisitedNodes=619
3.81	     nbRestartNogoods=17  mapSize=108  nbInferences=0  nbTooLargeKeys=0
3.81	       =>  wckTime=0.955  cpuTime=0.89  mem=65M598
4.19	   
4.19	   search
4.19	     run=5  nbConstraintChecks=663163  nbValidityChecks=1333087  nbPropagations=18965  nbRevisions=229260
4.19	     nbUselessRevisions=183712  nbAssignments=603  nbFailedAssignments=315  nbBacktracks=214  nbVisitedNodes=1035
4.19	     nbRestartNogoods=21  mapSize=181  nbInferences=0  nbTooLargeKeys=0
4.19	       =>  wckTime=1.336  cpuTime=1.26  mem=65M598
4.80	   
4.80	   search
4.80	     run=6  nbConstraintChecks=1032046  nbValidityChecks=2054934  nbPropagations=30169  nbRevisions=364803
4.80	     nbUselessRevisions=291103  nbAssignments=863  nbFailedAssignments=456  nbBacktracks=327  nbVisitedNodes=1513
4.80	     nbRestartNogoods=26  mapSize=281  nbInferences=0  nbTooLargeKeys=0
4.80	       =>  wckTime=1.95  cpuTime=1.87  mem=65M598
5.70	   
5.70	   search
5.70	     run=7  nbConstraintChecks=1568050  nbValidityChecks=3149624  nbPropagations=47368  nbRevisions=569469
5.70	     nbUselessRevisions=452492  nbAssignments=1335  nbFailedAssignments=752  nbBacktracks=498  nbVisitedNodes=2391
5.70	     nbRestartNogoods=32  mapSize=432  nbInferences=0  nbTooLargeKeys=0
5.70	       =>  wckTime=2.849  cpuTime=2.75  mem=65M598
7.47	   
7.47	   search
7.47	     run=8  nbConstraintChecks=2633675  nbValidityChecks=5240995  nbPropagations=74503  nbRevisions=902173
7.47	     nbUselessRevisions=714935  nbAssignments=2073  nbFailedAssignments=1226  nbBacktracks=755  nbVisitedNodes=3801
7.47	     nbRestartNogoods=35  mapSize=672  nbInferences=0  nbTooLargeKeys=0
7.47	       =>  wckTime=4.614  cpuTime=4.48  mem=65M598
9.24	   
9.24	   search
9.24	     run=9  nbConstraintChecks=3716607  nbValidityChecks=7510935  nbPropagations=115335  nbRevisions=1394463
9.24	     nbUselessRevisions=1102479  nbAssignments=3160  nbFailedAssignments=1922  nbBacktracks=1139  nbVisitedNodes=5827
9.24	     nbRestartNogoods=38  mapSize=1018  nbInferences=0  nbTooLargeKeys=0
9.24	       =>  wckTime=6.384  cpuTime=6.22  mem=65M598
9.33	   
9.33	   INFO : Stopping hyperNogood (mapSize=1028, nbTooLargekeys=0, mem=65M598)
12.41	   
12.41	   search
12.41	     run=10  nbConstraintChecks=5733468  nbValidityChecks=11614364  nbPropagations=174317  nbRevisions=2130677
12.41	     nbUselessRevisions=1689159  nbAssignments=4798  nbFailedAssignments=2977  nbBacktracks=1716  nbVisitedNodes=8915
12.41	     nbRestartNogoods=47
12.41	       =>  wckTime=9.558  cpuTime=9.37  mem=65M598
15.89	   
15.89	   search
15.89	     run=11  nbConstraintChecks=7804978  nbValidityChecks=15859962  nbPropagations=256584  nbRevisions=3125730
15.89	     nbUselessRevisions=2476283  nbAssignments=6685  nbFailedAssignments=3993  nbBacktracks=2580  nbVisitedNodes=12288
15.89	     nbRestartNogoods=55
15.89	       =>  wckTime=13.04  cpuTime=12.81  mem=65M598
24.32	   
24.32	   search
24.32	     run=12  nbConstraintChecks=13058344  nbValidityChecks=26114475  nbPropagations=383525  nbRevisions=4687473
24.32	     nbUselessRevisions=3711425  nbAssignments=10291  nbFailedAssignments=6292  nbBacktracks=3879  nbVisitedNodes=19112
24.32	     nbRestartNogoods=63
24.32	       =>  wckTime=21.467  cpuTime=21.15  mem=65M598
31.19	   
31.19	   search
31.19	     run=13  nbConstraintChecks=17140218  nbValidityChecks=34457486  nbPropagations=556561  nbRevisions=6762518
31.19	     nbUselessRevisions=5344976  nbAssignments=14026  nbFailedAssignments=8071  nbBacktracks=5827  nbVisitedNodes=25588
31.19	     nbRestartNogoods=73
31.19	       =>  wckTime=28.332  cpuTime=27.92  mem=65M598
49.46	   
49.46	   search
49.46	     run=14  nbConstraintChecks=28148534  nbValidityChecks=56454241  nbPropagations=818559  nbRevisions=9969155
49.46	     nbUselessRevisions=7887473  nbAssignments=21668  nbFailedAssignments=12777  nbBacktracks=8746  nbVisitedNodes=39669
49.46	     nbRestartNogoods=78
49.46	       =>  wckTime=46.603  cpuTime=45.95  mem=65M598
66.15	   
66.15	   search
66.15	     run=15  nbConstraintChecks=38587788  nbValidityChecks=77313250  nbPropagations=1187023  nbRevisions=14386082
66.15	     nbUselessRevisions=11387519  nbAssignments=30946  nbFailedAssignments=17640  nbBacktracks=13124
66.15	     nbVisitedNodes=56093  nbRestartNogoods=91
66.15	       =>  wckTime=63.299  cpuTime=62.43  mem=65M598
96.56	   
96.56	   search
96.56	     run=16  nbConstraintChecks=56790656  nbValidityChecks=113718279  nbPropagations=1731857  nbRevisions=20879922
96.56	     nbUselessRevisions=16526793  nbAssignments=44674  nbFailedAssignments=24749  nbBacktracks=19694
96.56	     nbVisitedNodes=80555  nbRestartNogoods=109
96.56	       =>  wckTime=93.711  cpuTime=92.33  mem=65M598
130.84	   
130.84	   search
130.84	     run=17  nbConstraintChecks=77323789  nbValidityChecks=155748380  nbPropagations=2504752  nbRevisions=29917155
130.84	     nbUselessRevisions=23639561  nbAssignments=63641  nbFailedAssignments=33855  nbBacktracks=29549
130.84	     nbVisitedNodes=113383  nbRestartNogoods=119
130.84	       =>  wckTime=127.989  cpuTime=126.18  mem=65M598
213.47	   
213.47	   search
213.47	     run=18  nbConstraintChecks=129183797  nbValidityChecks=256782542  nbPropagations=3729923  nbRevisions=44825343
213.47	     nbUselessRevisions=35437262  nbAssignments=101926  nbFailedAssignments=57357  nbBacktracks=44328
213.47	     nbVisitedNodes=184637  nbRestartNogoods=133
213.47	       =>  wckTime=210.619  cpuTime=207.74  mem=65M598
365.98	   
365.98	   search
365.98	     run=19  nbConstraintChecks=227181284  nbValidityChecks=448991633  nbPropagations=5778655  nbRevisions=70514687
365.98	     nbUselessRevisions=55708637  nbAssignments=159360  nbFailedAssignments=92613  nbBacktracks=66496
365.98	     nbVisitedNodes=292420  nbRestartNogoods=150
365.98	       =>  wckTime=363.124  cpuTime=360.02  mem=65M598
476.30	   
476.30	   search
476.30	     run=20  nbConstraintChecks=296570390  nbValidityChecks=592121330  nbPropagations=8618517  nbRevisions=105007714
476.30	     nbUselessRevisions=82820809  nbAssignments=224067  nbFailedAssignments=124043  nbBacktracks=99748
476.30	     nbVisitedNodes=405146  nbRestartNogoods=160
476.30	       =>  wckTime=473.444  cpuTime=470.19  mem=65M598
774.69	   
774.69	   search
774.69	     run=21  nbConstraintChecks=488099695  nbValidityChecks=971380528  nbPropagations=13051161  nbRevisions=159601031
774.69	     nbUselessRevisions=126027727  nbAssignments=362381  nbFailedAssignments=212472  nbBacktracks=149627
774.69	     nbVisitedNodes=662980  nbRestartNogoods=176
774.69	       =>  wckTime=771.838  cpuTime=768.26  mem=65M598
1050.28	   
1050.28	   search
1050.28	     run=22  nbConstraintChecks=661027734  nbValidityChecks=1318287023  nbPropagations=19311278  nbRevisions=234885853
1050.28	     nbUselessRevisions=185372042  nbAssignments=510346  nbFailedAssignments=285610  nbBacktracks=224446
1050.28	     nbVisitedNodes=922085  nbRestartNogoods=190
1050.28	       =>  wckTime=1047.429  cpuTime=1043.56  mem=65M598
1681.19	   
1681.19	   search
1681.19	     run=23  nbConstraintChecks=1063542980  nbValidityChecks=2108574584  nbPropagations=29289451  nbRevisions=357167667
1681.19	     nbUselessRevisions=281841681  nbAssignments=792427  nbFailedAssignments=455454  nbBacktracks=336675
1681.19	     nbVisitedNodes=1445598  nbRestartNogoods=205
1681.19	       =>  wckTime=1678.341  cpuTime=1673.67  mem=65M598

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/node11/watcher-203313-1168159361 -o ROOT/results/node11/solver-203313-1168159361 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203313-1168159361/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.02 2.03 2.00 4/98 27802
/proc/meminfo: memFree=1217064/2055920 swapFree=4192812/4192956
[pid=27801] ppid=27799 vsize=18540 CPUtime=0
/proc/27801/stat : 27801 (runsolver) R 27799 27801 27734 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 164331106 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 262910045479 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/27801/statm: 4635 279 244 17 0 2626 0

[startup+0.103013 s]
/proc/loadavg: 2.02 2.03 2.00 4/98 27802
/proc/meminfo: memFree=1217064/2055920 swapFree=4192812/4192956
[pid=27801] ppid=27799 vsize=907808 CPUtime=0.06
/proc/27801/stat : 27801 (java) D 27799 27801 27734 0 -1 0 2505 0 1 0 5 1 0 0 17 0 4 0 164331106 929595392 2252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/27801/statm: 226952 2252 1232 14 0 214535 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 907808

[startup+0.511092 s]
/proc/loadavg: 2.02 2.03 2.00 4/98 27802
/proc/meminfo: memFree=1217064/2055920 swapFree=4192812/4192956
[pid=27801] ppid=27799 vsize=915328 CPUtime=0.37
/proc/27801/stat : 27801 (java) R 27799 27801 27734 0 -1 0 5798 0 19 0 33 4 0 0 18 0 8 0 164331106 937295872 5555 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155177361 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27801/statm: 228832 5555 2098 14 0 215302 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 915328

[startup+1.33426 s]
/proc/loadavg: 2.01 2.03 2.00 3/105 27809
/proc/meminfo: memFree=1155568/2055920 swapFree=4192812/4192956
[pid=27801] ppid=27799 vsize=915328 CPUtime=1.19
/proc/27801/stat : 27801 (java) R 27799 27801 27734 0 -1 0 19080 0 20 0 107 12 0 0 23 0 8 0 164331106 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153473361 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27801/statm: 228832 18836 2149 14 0 215302 0
[pid=27801/tid=27803] ppid=27799 vsize=915328 CPUtime=0.05
/proc/27801/task/27803/stat : 27803 (java) S 27799 27801 27734 0 -1 64 2681 0 0 0 4 1 0 0 16 0 8 0 164331111 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27804] ppid=27799 vsize=915328 CPUtime=0
/proc/27801/task/27804/stat : 27804 (java) S 27799 27801 27734 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164331111 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27805] ppid=27799 vsize=915328 CPUtime=0
/proc/27801/task/27805/stat : 27805 (java) S 27799 27801 27734 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164331111 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27806] ppid=27799 vsize=915328 CPUtime=0
/proc/27801/task/27806/stat : 27806 (java) S 27799 27801 27734 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164331121 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27807] ppid=27799 vsize=915328 CPUtime=0.09
/proc/27801/task/27807/stat : 27807 (java) S 27799 27801 27734 0 -1 64 308 0 0 0 9 0 0 0 16 0 8 0 164331121 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27808] ppid=27799 vsize=915328 CPUtime=0
/proc/27801/task/27808/stat : 27808 (java) S 27799 27801 27734 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164331121 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27809] ppid=27799 vsize=915328 CPUtime=0
/proc/27801/task/27809/stat : 27809 (java) S 27799 27801 27734 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164331121 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 915328

[startup+2.98259 s]
/proc/loadavg: 2.01 2.03 2.00 3/105 27809
/proc/meminfo: memFree=1126192/2055920 swapFree=4192812/4192956
[pid=27801] ppid=27799 vsize=915440 CPUtime=2.81
/proc/27801/stat : 27801 (java) R 27799 27801 27734 0 -1 0 32288 0 20 0 261 20 0 0 25 0 8 0 164331106 937410560 32041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27801/statm: 228860 32041 2530 14 0 215330 0
[pid=27801/tid=27803] ppid=27799 vsize=915440 CPUtime=0.46
/proc/27801/task/27803/stat : 27803 (java) S 27799 27801 27734 0 -1 64 15323 0 0 0 39 7 0 0 17 0 8 0 164331111 937410560 32041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27804] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27804/stat : 27804 (java) S 27799 27801 27734 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164331111 937410560 32041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27805] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27805/stat : 27805 (java) S 27799 27801 27734 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164331111 937410560 32041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27806] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27806/stat : 27806 (java) S 27799 27801 27734 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164331121 937410560 32041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27807] ppid=27799 vsize=915440 CPUtime=0.2
/proc/27801/task/27807/stat : 27807 (java) S 27799 27801 27734 0 -1 64 370 0 0 0 19 1 0 0 16 0 8 0 164331121 937410560 32041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27808] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27808/stat : 27808 (java) S 27799 27801 27734 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164331121 937410560 32041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27809] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27809/stat : 27809 (java) S 27799 27801 27734 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164331121 937410560 32041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 915440

[startup+6.27324 s]
/proc/loadavg: 2.01 2.03 2.00 3/105 27809
/proc/meminfo: memFree=1093168/2055920 swapFree=4192812/4192956
[pid=27801] ppid=27799 vsize=915440 CPUtime=6.07
/proc/27801/stat : 27801 (java) R 27799 27801 27734 0 -1 0 32314 0 20 0 586 21 0 0 25 0 8 0 164331106 937410560 32064 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073664841 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27801/statm: 228860 32064 2531 14 0 215330 0
[pid=27801/tid=27803] ppid=27799 vsize=915440 CPUtime=0.46
/proc/27801/task/27803/stat : 27803 (java) S 27799 27801 27734 0 -1 64 15323 0 0 0 39 7 0 0 17 0 8 0 164331111 937410560 32064 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27804] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27804/stat : 27804 (java) S 27799 27801 27734 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164331111 937410560 32064 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27805] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27805/stat : 27805 (java) S 27799 27801 27734 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164331111 937410560 32064 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27806] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27806/stat : 27806 (java) S 27799 27801 27734 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164331121 937410560 32064 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27807] ppid=27799 vsize=915440 CPUtime=0.25
/proc/27801/task/27807/stat : 27807 (java) S 27799 27801 27734 0 -1 64 391 0 0 0 24 1 0 0 16 0 8 0 164331121 937410560 32064 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27808] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27808/stat : 27808 (java) S 27799 27801 27734 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164331121 937410560 32064 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27809] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27809/stat : 27809 (java) S 27799 27801 27734 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164331121 937410560 32064 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.07
Current children cumulated vsize (KiB) 915440

[startup+12.7655 s]
/proc/loadavg: 2.01 2.03 2.00 3/105 27809
/proc/meminfo: memFree=1093232/2055920 swapFree=4192812/4192956
[pid=27801] ppid=27799 vsize=915440 CPUtime=12.5
/proc/27801/stat : 27801 (java) R 27799 27801 27734 0 -1 0 32326 0 20 0 1229 21 0 0 25 0 8 0 164331106 937410560 32072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073629940 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27801/statm: 228860 32072 2531 14 0 215330 0
[pid=27801/tid=27803] ppid=27799 vsize=915440 CPUtime=0.46
/proc/27801/task/27803/stat : 27803 (java) S 27799 27801 27734 0 -1 64 15323 0 0 0 39 7 0 0 16 0 8 0 164331111 937410560 32072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27804] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27804/stat : 27804 (java) S 27799 27801 27734 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164331111 937410560 32072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27805] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27805/stat : 27805 (java) S 27799 27801 27734 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164331111 937410560 32072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27806] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27806/stat : 27806 (java) S 27799 27801 27734 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164331121 937410560 32072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27807] ppid=27799 vsize=915440 CPUtime=0.26
/proc/27801/task/27807/stat : 27807 (java) S 27799 27801 27734 0 -1 64 402 0 0 0 25 1 0 0 16 0 8 0 164331121 937410560 32072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27808] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27808/stat : 27808 (java) S 27799 27801 27734 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164331121 937410560 32072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27809] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27809/stat : 27809 (java) S 27799 27801 27734 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164331121 937410560 32072 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.6348 s]
/proc/loadavg: 2.01 2.03 2.00 3/105 27809
/proc/meminfo: memFree=1093360/2055920 swapFree=4192812/4192956
[pid=27801] ppid=27799 vsize=915440 CPUtime=25.23
/proc/27801/stat : 27801 (java) R 27799 27801 27734 0 -1 0 32328 0 20 0 2502 21 0 0 25 0 8 0 164331106 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073629940 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27801/statm: 228860 32074 2531 14 0 215330 0
[pid=27801/tid=27803] ppid=27799 vsize=915440 CPUtime=0.46
/proc/27801/task/27803/stat : 27803 (java) S 27799 27801 27734 0 -1 64 15323 0 0 0 39 7 0 0 16 0 8 0 164331111 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27804] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27804/stat : 27804 (java) S 27799 27801 27734 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164331111 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27805] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27805/stat : 27805 (java) S 27799 27801 27734 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164331111 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27806] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27806/stat : 27806 (java) S 27799 27801 27734 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164331121 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27807] ppid=27799 vsize=915440 CPUtime=0.27
/proc/27801/task/27807/stat : 27807 (java) S 27799 27801 27734 0 -1 64 404 0 0 0 26 1 0 0 16 0 8 0 164331121 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27808] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27808/stat : 27808 (java) S 27799 27801 27734 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164331121 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27809] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27809/stat : 27809 (java) S 27799 27801 27734 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164331121 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 915440

[startup+51.3272 s]
/proc/loadavg: 2.00 2.02 2.00 3/105 27809
/proc/meminfo: memFree=1093360/2055920 swapFree=4192812/4192956
[pid=27801] ppid=27799 vsize=915440 CPUtime=50.58
/proc/27801/stat : 27801 (java) R 27799 27801 27734 0 -1 0 32328 0 20 0 5037 21 0 0 25 0 8 0 164331106 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073665020 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27801/statm: 228860 32074 2531 14 0 215330 0
[pid=27801/tid=27803] ppid=27799 vsize=915440 CPUtime=0.46
/proc/27801/task/27803/stat : 27803 (java) S 27799 27801 27734 0 -1 64 15323 0 0 0 39 7 0 0 16 0 8 0 164331111 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27804] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27804/stat : 27804 (java) S 27799 27801 27734 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164331111 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27805] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27805/stat : 27805 (java) S 27799 27801 27734 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164331111 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27806] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27806/stat : 27806 (java) S 27799 27801 27734 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164331121 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27807] ppid=27799 vsize=915440 CPUtime=0.27
/proc/27801/task/27807/stat : 27807 (java) S 27799 27801 27734 0 -1 64 404 0 0 0 26 1 0 0 16 0 8 0 164331121 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27808] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27808/stat : 27808 (java) S 27799 27801 27734 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164331121 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27809] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27809/stat : 27809 (java) S 27799 27801 27734 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164331121 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.58
Current children cumulated vsize (KiB) 915440

[startup+102.605 s]
/proc/loadavg: 2.00 2.02 2.00 3/105 27809
/proc/meminfo: memFree=1064112/2055920 swapFree=4192812/4192956
[pid=27801] ppid=27799 vsize=915440 CPUtime=101.09
/proc/27801/stat : 27801 (java) R 27799 27801 27734 0 -1 0 32330 0 20 0 10087 22 0 0 25 0 8 0 164331106 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27801/statm: 228860 32075 2531 14 0 215330 0
[pid=27801/tid=27803] ppid=27799 vsize=915440 CPUtime=0.46
/proc/27801/task/27803/stat : 27803 (java) S 27799 27801 27734 0 -1 64 15323 0 0 0 39 7 0 0 16 0 8 0 164331111 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27804] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27804/stat : 27804 (java) S 27799 27801 27734 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164331111 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27805] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27805/stat : 27805 (java) S 27799 27801 27734 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164331111 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27806] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27806/stat : 27806 (java) S 27799 27801 27734 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164331121 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27807] ppid=27799 vsize=915440 CPUtime=0.27
/proc/27801/task/27807/stat : 27807 (java) S 27799 27801 27734 0 -1 64 405 0 0 0 26 1 0 0 16 0 8 0 164331121 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27808] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27808/stat : 27808 (java) S 27799 27801 27734 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164331121 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27809] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27809/stat : 27809 (java) S 27799 27801 27734 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164331121 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.09
Current children cumulated vsize (KiB) 915440

[startup+162.65 s]
/proc/loadavg: 2.00 2.01 2.00 3/105 27809
/proc/meminfo: memFree=1064048/2055920 swapFree=4192812/4192956
[pid=27801] ppid=27799 vsize=915440 CPUtime=160.35
/proc/27801/stat : 27801 (java) R 27799 27801 27734 0 -1 0 32330 0 20 0 16013 22 0 0 25 0 8 0 164331106 937410560 32075 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) 1418.95
Current children cumulated vsize (KiB) 915440

[startup+1483.43 s]
/proc/loadavg: 2.01 2.02 1.99 3/94 28647
/proc/meminfo: memFree=1553672/2055920 swapFree=4192812/4192956
[pid=27801] ppid=27799 vsize=915440 CPUtime=1478.91
/proc/27801/stat : 27801 (java) R 27799 27801 27734 0 -1 0 32330 0 20 0 147833 58 0 0 25 0 8 0 164331106 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073821595 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27801/statm: 228860 32075 2531 14 0 215330 0
[pid=27801/tid=27803] ppid=27799 vsize=915440 CPUtime=0.46
/proc/27801/task/27803/stat : 27803 (java) S 27799 27801 27734 0 -1 64 15323 0 0 0 39 7 0 0 16 0 8 0 164331111 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27804] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27804/stat : 27804 (java) S 27799 27801 27734 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164331111 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27805] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27805/stat : 27805 (java) S 27799 27801 27734 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164331111 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27806] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27806/stat : 27806 (java) S 27799 27801 27734 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164331121 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27807] ppid=27799 vsize=915440 CPUtime=0.27
/proc/27801/task/27807/stat : 27807 (java) S 27799 27801 27734 0 -1 64 405 0 0 0 26 1 0 0 16 0 8 0 164331121 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27808] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27808/stat : 27808 (java) S 27799 27801 27734 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164331121 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27809] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27809/stat : 27809 (java) S 27799 27801 27734 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164331121 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1478.91
Current children cumulated vsize (KiB) 915440

[startup+1543.46 s]
/proc/loadavg: 2.00 2.01 1.99 3/94 28647
/proc/meminfo: memFree=1553288/2055920 swapFree=4192812/4192956
[pid=27801] ppid=27799 vsize=915440 CPUtime=1538.87
/proc/27801/stat : 27801 (java) R 27799 27801 27734 0 -1 0 32330 0 20 0 153829 58 0 0 25 0 8 0 164331106 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073816965 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27801/statm: 228860 32075 2531 14 0 215330 0
[pid=27801/tid=27803] ppid=27799 vsize=915440 CPUtime=0.46
/proc/27801/task/27803/stat : 27803 (java) S 27799 27801 27734 0 -1 64 15323 0 0 0 39 7 0 0 16 0 8 0 164331111 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27804] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27804/stat : 27804 (java) S 27799 27801 27734 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164331111 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27805] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27805/stat : 27805 (java) S 27799 27801 27734 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164331111 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27806] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27806/stat : 27806 (java) S 27799 27801 27734 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164331121 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27807] ppid=27799 vsize=915440 CPUtime=0.27
/proc/27801/task/27807/stat : 27807 (java) S 27799 27801 27734 0 -1 64 405 0 0 0 26 1 0 0 16 0 8 0 164331121 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27808] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27808/stat : 27808 (java) S 27799 27801 27734 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164331121 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27809] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27809/stat : 27809 (java) S 27799 27801 27734 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164331121 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1538.87
Current children cumulated vsize (KiB) 915440

[startup+1603.49 s]
/proc/loadavg: 2.00 2.01 1.99 3/94 28647
/proc/meminfo: memFree=1552776/2055920 swapFree=4192812/4192956
[pid=27801] ppid=27799 vsize=915440 CPUtime=1598.83
/proc/27801/stat : 27801 (java) R 27799 27801 27734 0 -1 0 32330 0 20 0 159825 58 0 0 25 0 8 0 164331106 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073629987 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27801/statm: 228860 32075 2531 14 0 215330 0
[pid=27801/tid=27803] ppid=27799 vsize=915440 CPUtime=0.46
/proc/27801/task/27803/stat : 27803 (java) S 27799 27801 27734 0 -1 64 15323 0 0 0 39 7 0 0 16 0 8 0 164331111 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27804] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27804/stat : 27804 (java) S 27799 27801 27734 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164331111 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27805] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27805/stat : 27805 (java) S 27799 27801 27734 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164331111 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27806] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27806/stat : 27806 (java) S 27799 27801 27734 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164331121 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27807] ppid=27799 vsize=915440 CPUtime=0.27
/proc/27801/task/27807/stat : 27807 (java) S 27799 27801 27734 0 -1 64 405 0 0 0 26 1 0 0 16 0 8 0 164331121 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27808] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27808/stat : 27808 (java) S 27799 27801 27734 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164331121 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27809] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27809/stat : 27809 (java) S 27799 27801 27734 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164331121 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1598.83
Current children cumulated vsize (KiB) 915440

[startup+1663.52 s]
/proc/loadavg: 2.00 2.00 1.99 3/94 28647
/proc/meminfo: memFree=1550984/2055920 swapFree=4192812/4192956
[pid=27801] ppid=27799 vsize=915440 CPUtime=1658.79
/proc/27801/stat : 27801 (java) R 27799 27801 27734 0 -1 0 32330 0 20 0 165821 58 0 0 25 0 8 0 164331106 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073813657 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27801/statm: 228860 32075 2531 14 0 215330 0
[pid=27801/tid=27803] ppid=27799 vsize=915440 CPUtime=0.46
/proc/27801/task/27803/stat : 27803 (java) S 27799 27801 27734 0 -1 64 15323 0 0 0 39 7 0 0 16 0 8 0 164331111 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27804] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27804/stat : 27804 (java) S 27799 27801 27734 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164331111 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27805] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27805/stat : 27805 (java) S 27799 27801 27734 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164331111 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27806] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27806/stat : 27806 (java) S 27799 27801 27734 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164331121 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27807] ppid=27799 vsize=915440 CPUtime=0.27
/proc/27801/task/27807/stat : 27807 (java) S 27799 27801 27734 0 -1 64 405 0 0 0 26 1 0 0 16 0 8 0 164331121 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27808] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27808/stat : 27808 (java) S 27799 27801 27734 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164331121 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27809] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27809/stat : 27809 (java) S 27799 27801 27734 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164331121 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1658.79
Current children cumulated vsize (KiB) 915440

[startup+1723.54 s]
/proc/loadavg: 2.00 2.00 1.99 3/94 28647
/proc/meminfo: memFree=1550984/2055920 swapFree=4192812/4192956
[pid=27801] ppid=27799 vsize=915440 CPUtime=1718.75
/proc/27801/stat : 27801 (java) R 27799 27801 27734 0 -1 0 32330 0 20 0 171816 59 0 0 25 0 8 0 164331106 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073803331 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27801/statm: 228860 32075 2531 14 0 215330 0
[pid=27801/tid=27803] ppid=27799 vsize=915440 CPUtime=0.46
/proc/27801/task/27803/stat : 27803 (java) S 27799 27801 27734 0 -1 64 15323 0 0 0 39 7 0 0 16 0 8 0 164331111 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27804] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27804/stat : 27804 (java) S 27799 27801 27734 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164331111 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27805] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27805/stat : 27805 (java) S 27799 27801 27734 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164331111 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27806] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27806/stat : 27806 (java) S 27799 27801 27734 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164331121 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27807] ppid=27799 vsize=915440 CPUtime=0.27
/proc/27801/task/27807/stat : 27807 (java) S 27799 27801 27734 0 -1 64 405 0 0 0 26 1 0 0 16 0 8 0 164331121 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27808] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27808/stat : 27808 (java) S 27799 27801 27734 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164331121 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27809] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27809/stat : 27809 (java) S 27799 27801 27734 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164331121 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1718.75
Current children cumulated vsize (KiB) 915440

[startup+1783.56 s]
/proc/loadavg: 2.07 2.02 2.00 3/94 28647
/proc/meminfo: memFree=1550856/2055920 swapFree=4192812/4192956
[pid=27801] ppid=27799 vsize=915440 CPUtime=1778.69
/proc/27801/stat : 27801 (java) R 27799 27801 27734 0 -1 0 32330 0 20 0 177810 59 0 0 25 0 8 0 164331106 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073908912 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27801/statm: 228860 32075 2531 14 0 215330 0
[pid=27801/tid=27803] ppid=27799 vsize=915440 CPUtime=0.46
/proc/27801/task/27803/stat : 27803 (java) S 27799 27801 27734 0 -1 64 15323 0 0 0 39 7 0 0 16 0 8 0 164331111 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27804] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27804/stat : 27804 (java) S 27799 27801 27734 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164331111 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27805] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27805/stat : 27805 (java) S 27799 27801 27734 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164331111 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27806] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27806/stat : 27806 (java) S 27799 27801 27734 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164331121 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27807] ppid=27799 vsize=915440 CPUtime=0.27
/proc/27801/task/27807/stat : 27807 (java) S 27799 27801 27734 0 -1 64 405 0 0 0 26 1 0 0 16 0 8 0 164331121 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27808] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27808/stat : 27808 (java) S 27799 27801 27734 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164331121 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27809] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27809/stat : 27809 (java) S 27799 27801 27734 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164331121 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1778.69
Current children cumulated vsize (KiB) 915440



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1804.88 s]
/proc/loadavg: 2.05 2.01 2.00 3/94 28647
/proc/meminfo: memFree=1550856/2055920 swapFree=4192812/4192956
[pid=27801] ppid=27799 vsize=915440 CPUtime=1800.01
/proc/27801/stat : 27801 (java) R 27799 27801 27734 0 -1 0 32330 0 20 0 179942 59 0 0 25 0 8 0 164331106 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073882548 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27801/statm: 228860 32075 2531 14 0 215330 0
[pid=27801/tid=27803] ppid=27799 vsize=915440 CPUtime=0.46
/proc/27801/task/27803/stat : 27803 (java) S 27799 27801 27734 0 -1 64 15323 0 0 0 39 7 0 0 16 0 8 0 164331111 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27804] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27804/stat : 27804 (java) S 27799 27801 27734 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164331111 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27805] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27805/stat : 27805 (java) S 27799 27801 27734 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164331111 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27806] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27806/stat : 27806 (java) S 27799 27801 27734 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164331121 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27807] ppid=27799 vsize=915440 CPUtime=0.27
/proc/27801/task/27807/stat : 27807 (java) S 27799 27801 27734 0 -1 64 405 0 0 0 26 1 0 0 16 0 8 0 164331121 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27808] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27808/stat : 27808 (java) S 27799 27801 27734 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164331121 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27809] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27809/stat : 27809 (java) S 27799 27801 27734 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164331121 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 915440

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

Child status: 143
Real time (s): 1804.95
CPU time (s): 1800.08
CPU user time (s): 1799.46
CPU system time (s): 0.614906
CPU usage (%): 99.7302
Max. virtual memory (cumulated for all children) (KiB): 915440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.46
system time used= 0.614906
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32348
page faults= 20
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37741
involuntary context switches= 51773

runsolver used 2.44763 s user time and 6.27804 s system time

The end

Launcher Data (download as text)

Begin job on node11 on Sun Jan  7 08:42:41 UTC 2007


IDJOB= 203313
IDBENCH= 3956
FILE ID= node11/203313-1168159361

PBS_JOBID= 3478279

Free space on /tmp= 66327 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  dbd711457459488701c928355f301608

RANDOM SEED= 608285050

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.261
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	: 5931.00
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.261
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:       1217480 kB
Buffers:         37400 kB
Cached:         111452 kB
SwapCached:          0 kB
Active:         695672 kB
Inactive:        85780 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1217480 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            7656 kB
Writeback:           0 kB
Mapped:         661508 kB
Slab:            40480 kB
Committed_AS:  5481180 kB
PageTables:       3540 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= 66331 MiB



End job on node11 on Sun Jan  7 09:12:46 UTC 2007