Trace number 206280

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.13 1810.1

General information on the benchmark

Namerandom/rand-3-28-28/
rand-3-28-28-93-632-49_ext.xml
MD5SUMf1384fc267cd2722bf48bbf3fdecc2d7
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark444.223
SatisfiableYES
(Un)Satisfiability was provedYES
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.41	   
0.41	Abscon 109 (November, 2006)
0.41	   
0.41	   configuration
0.41	     name=esac.xml
0.44	   
0.44	   instance
0.44	     name=/tmp/evaluation/206280-1168170804/unknown.xml
0.48	   
0.48	   domains being loaded...
0.48	   
0.48	   variables being loaded...
0.52	     nbVariables=28  nbDomainTypes=1  minDomainSize=28  maxDomainSize=28
0.52	       =>  wckTime=0.102  cpuTime=0.09  mem=6M951
0.52	   
0.52	   relations being loaded...
1.69	   
1.69	   constraints being loaded...
2.46	     nbConstraints=92  nbRelationTypes=93  nbMergedConstraints=1  nbExtensionStructures=92
2.46	     nbSharedExtensionStructures=0  nbConflictsStructures=92  nbSharedConflictsStructures=0
2.46	     nbSharedBinaryRepresentations=0  maxDegree=14  maxArity=3
2.46	       =>  wckTime=2.046  cpuTime=1.63  mem=58M59
2.62	   
2.62	   solver IterativeSystematicSolver being built... 
2.80	       =>  wckTime=2.389  cpuTime=1.77  mem=65M618
2.94	   
2.94	   preprocessing
2.94	     nbConstraintChecks=44927  nbValidityChecks=74265  nbPropagations=248  nbRevisions=2645  nbUselessRevisions=2359
2.94	     nbSingletonTests=35  nbEffectiveSingletonTests=0  nbESACBranches=4  nbRemovedValues=0  detectedInconsistency=no
2.94	       =>  wckTime=0.137  cpuTime=0.1  mem=65M618
3.04	   
3.04	   search
3.04	     run=0  nbConstraintChecks=41729  nbValidityChecks=80419  nbPropagations=647  nbRevisions=7108
3.04	     nbUselessRevisions=5940  nbAssignments=25  nbFailedAssignments=9  nbBacktracks=10  nbVisitedNodes=42
3.04	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
3.04	       =>  wckTime=0.231  cpuTime=0.19  mem=66M627
3.16	   
3.16	   search
3.16	     run=1  nbConstraintChecks=104455  nbValidityChecks=213383  nbPropagations=1870  nbRevisions=21423
3.16	     nbUselessRevisions=17830  nbAssignments=71  nbFailedAssignments=33  nbBacktracks=25  nbVisitedNodes=125
3.16	     nbRestartNogoods=3  mapSize=24  nbInferences=0  nbTooLargeKeys=0
3.16	       =>  wckTime=0.354  cpuTime=0.3  mem=66M627
3.34	   
3.34	   search
3.34	     run=2  nbConstraintChecks=196055  nbValidityChecks=395180  nbPropagations=3842  nbRevisions=45609
3.34	     nbUselessRevisions=37847  nbAssignments=136  nbFailedAssignments=60  nbBacktracks=47  nbVisitedNodes=222
3.34	     nbRestartNogoods=6  mapSize=42  nbInferences=0  nbTooLargeKeys=0
3.34	       =>  wckTime=0.533  cpuTime=0.47  mem=66M627
3.61	   
3.61	   search
3.61	     run=3  nbConstraintChecks=344554  nbValidityChecks=699591  nbPropagations=7003  nbRevisions=86156
3.61	     nbUselessRevisions=71296  nbAssignments=248  nbFailedAssignments=110  nbBacktracks=82  nbVisitedNodes=387
3.61	     nbRestartNogoods=12  mapSize=72  nbInferences=0  nbTooLargeKeys=0
3.61	       =>  wckTime=0.801  cpuTime=0.73  mem=66M627
3.96	   
3.96	   search
3.96	     run=4  nbConstraintChecks=536795  nbValidityChecks=1116738  nbPropagations=12062  nbRevisions=150535
3.96	     nbUselessRevisions=123935  nbAssignments=400  nbFailedAssignments=192  nbBacktracks=132  nbVisitedNodes=646
3.96	     nbRestartNogoods=18  mapSize=121  nbInferences=0  nbTooLargeKeys=0
3.96	       =>  wckTime=1.154  cpuTime=1.08  mem=66M627
4.41	   
4.41	   search
4.41	     run=5  nbConstraintChecks=786544  nbValidityChecks=1623544  nbPropagations=19256  nbRevisions=244173
4.41	     nbUselessRevisions=200671  nbAssignments=589  nbFailedAssignments=289  nbBacktracks=208  nbVisitedNodes=972
4.41	     nbRestartNogoods=23  mapSize=188  nbInferences=0  nbTooLargeKeys=0
4.41	       =>  wckTime=1.6  cpuTime=1.52  mem=66M627
5.06	   
5.06	   search
5.06	     run=6  nbConstraintChecks=1177104  nbValidityChecks=2397181  nbPropagations=29874  nbRevisions=384521
5.06	     nbUselessRevisions=315387  nbAssignments=859  nbFailedAssignments=423  nbBacktracks=321  nbVisitedNodes=1428
5.06	     nbRestartNogoods=28  mapSize=290  nbInferences=0  nbTooLargeKeys=0
5.06	       =>  wckTime=2.25  cpuTime=2.17  mem=66M627
5.91	   
5.91	   search
5.91	     run=7  nbConstraintChecks=1674455  nbValidityChecks=3434109  nbPropagations=45146  nbRevisions=584651
5.91	     nbUselessRevisions=478653  nbAssignments=1235  nbFailedAssignments=621  nbBacktracks=494  nbVisitedNodes=2108
5.91	     nbRestartNogoods=35  mapSize=443  nbInferences=0  nbTooLargeKeys=0
5.91	       =>  wckTime=3.101  cpuTime=3.01  mem=66M627
7.44	   
7.44	   search
7.44	     run=8  nbConstraintChecks=2599833  nbValidityChecks=5324169  nbPropagations=68858  nbRevisions=898870
7.44	     nbUselessRevisions=734676  nbAssignments=1937  nbFailedAssignments=1059  nbBacktracks=751  nbVisitedNodes=3418
7.44	     nbRestartNogoods=46  mapSize=670  nbInferences=0  nbTooLargeKeys=0
7.44	       =>  wckTime=4.634  cpuTime=4.49  mem=66M627
9.53	   
9.53	   search
9.53	     run=9  nbConstraintChecks=3895641  nbValidityChecks=8027436  nbPropagations=103918  nbRevisions=1370128
9.53	     nbUselessRevisions=1118595  nbAssignments=2995  nbFailedAssignments=1717  nbBacktracks=1135  nbVisitedNodes=5374
9.53	     nbRestartNogoods=52  mapSize=1004  nbInferences=0  nbTooLargeKeys=0
9.53	       =>  wckTime=6.725  cpuTime=6.57  mem=66M627
9.65	   
9.65	   INFO : Stopping hyperNogood (mapSize=1018, nbTooLargekeys=0, mem=66M627)
12.58	   
12.58	   search
12.58	     run=10  nbConstraintChecks=5699234  nbValidityChecks=11833028  nbPropagations=157779  nbRevisions=2078955
12.58	     nbUselessRevisions=1694199  nbAssignments=4394  nbFailedAssignments=2533  nbBacktracks=1713  nbVisitedNodes=8006
12.58	     nbRestartNogoods=58
12.58	       =>  wckTime=9.77  cpuTime=9.59  mem=66M627
17.71	   
17.71	   search
17.71	     run=11  nbConstraintChecks=8976772  nbValidityChecks=18546369  nbPropagations=240362  nbRevisions=3185092
17.71	     nbUselessRevisions=2592640  nbAssignments=6919  nbFailedAssignments=4189  nbBacktracks=2578  nbVisitedNodes=12739
17.71	     nbRestartNogoods=64
17.71	       =>  wckTime=14.908  cpuTime=14.7  mem=66M627
24.64	   
24.64	   search
24.64	     run=12  nbConstraintChecks=13306105  nbValidityChecks=27749338  nbPropagations=362452  nbRevisions=4828279
24.64	     nbUselessRevisions=3929603  nbAssignments=10585  nbFailedAssignments=6540  nbBacktracks=3875  nbVisitedNodes=19568
24.64	     nbRestartNogoods=74
24.64	       =>  wckTime=21.831  cpuTime=21.59  mem=66M627
34.63	   
34.63	   search
34.63	     run=13  nbConstraintChecks=19335424  nbValidityChecks=40338108  nbPropagations=547293  nbRevisions=7253613
34.63	     nbUselessRevisions=5891507  nbAssignments=15236  nbFailedAssignments=9227  nbBacktracks=5822  nbVisitedNodes=28199
34.63	     nbRestartNogoods=84
34.63	       =>  wckTime=31.826  cpuTime=31.52  mem=66M627
48.55	   
48.55	   search
48.55	     run=14  nbConstraintChecks=27998044  nbValidityChecks=58330837  nbPropagations=812297  nbRevisions=10721268
48.55	     nbUselessRevisions=8696673  nbAssignments=22306  nbFailedAssignments=13370  nbBacktracks=8741  nbVisitedNodes=41136
48.55	     nbRestartNogoods=87
48.55	       =>  wckTime=45.745  cpuTime=45.37  mem=66M627
73.24	   
73.24	   search
73.24	     run=15  nbConstraintChecks=43615769  nbValidityChecks=90708798  nbPropagations=1222210  nbRevisions=16140066
73.24	     nbUselessRevisions=13086607  nbAssignments=34585  nbFailedAssignments=21268  nbBacktracks=13119
73.24	     nbVisitedNodes=64295  nbRestartNogoods=94
73.24	       =>  wckTime=70.43  cpuTime=69.91  mem=66M627
107.19	   
107.19	   search
107.19	     run=16  nbConstraintChecks=64754404  nbValidityChecks=135230351  nbPropagations=1833238  nbRevisions=24224435
107.19	     nbUselessRevisions=19647081  nbAssignments=52263  nbFailedAssignments=32372  nbBacktracks=19687
107.19	     nbVisitedNodes=97386  nbRestartNogoods=105
107.19	       =>  wckTime=104.385  cpuTime=103.69  mem=66M627
159.59	   
159.59	   search
159.59	     run=17  nbConstraintChecks=96404253  nbValidityChecks=201190168  nbPropagations=2761981  nbRevisions=36354559
159.59	     nbUselessRevisions=29462498  nbAssignments=75905  nbFailedAssignments=46155  nbBacktracks=29539
159.59	     nbVisitedNodes=141572  nbRestartNogoods=118
159.59	       =>  wckTime=156.786  cpuTime=155.81  mem=66M627
243.27	   
243.28	   search
243.28	     run=18  nbConstraintChecks=149144876  nbValidityChecks=309779209  nbPropagations=4180302  nbRevisions=55006787
243.28	     nbUselessRevisions=44562495  nbAssignments=116880  nbFailedAssignments=72339  nbBacktracks=44317
243.28	     nbVisitedNodes=218422  nbRestartNogoods=141
243.28	       =>  wckTime=240.469  cpuTime=239.03  mem=66M627
355.42	   
355.42	   search
355.42	     run=19  nbConstraintChecks=219287595  nbValidityChecks=457041312  nbPropagations=6262619  nbRevisions=82538271
355.42	     nbUselessRevisions=66900044  nbAssignments=175136  nbFailedAssignments=108410  nbBacktracks=66485
355.42	     nbVisitedNodes=326982  nbRestartNogoods=160
355.42	       =>  wckTime=352.618  cpuTime=350.56  mem=66M627
549.35	   
549.35	   search
549.35	     run=20  nbConstraintChecks=336692097  nbValidityChecks=698426546  nbPropagations=9427210  nbRevisions=124427069
549.35	     nbUselessRevisions=100854805  nbAssignments=262554  nbFailedAssignments=162569  nbBacktracks=99738
549.35	     nbVisitedNodes=490856  nbRestartNogoods=173
549.35	       =>  wckTime=546.54  cpuTime=543.21  mem=66M627
809.14	   
809.14	   search
809.14	     run=21  nbConstraintChecks=490203186  nbValidityChecks=1022999269  nbPropagations=14115074  nbRevisions=186300388
809.14	     nbUselessRevisions=151047401  nbAssignments=389725  nbFailedAssignments=239855  nbBacktracks=149616
809.14	     nbVisitedNodes=727776  nbRestartNogoods=192
809.14	       =>  wckTime=806.332  cpuTime=801.65  mem=66M627
1247.38	   
1247.39	   search
1247.39	     run=22  nbConstraintChecks=751867567  nbValidityChecks=1559883904  nbPropagations=21215737  nbRevisions=279775722
1247.39	     nbUselessRevisions=226756206  nbAssignments=583190  nbFailedAssignments=358495  nbBacktracks=224434
1247.39	     nbVisitedNodes=1088420  nbRestartNogoods=216
1247.39	       =>  wckTime=1244.579  cpuTime=1237.61  mem=66M627
1797.71	   
1797.71	   search
1797.71	     run=23  nbConstraintChecks=1096296690  nbValidityChecks=2283311841  nbPropagations=31626686  nbRevisions=416822024
1797.71	     nbUselessRevisions=337887756  nbAssignments=856707  nbFailedAssignments=519769  nbBacktracks=336662
1797.71	     nbVisitedNodes=1594590  nbRestartNogoods=236
1797.71	       =>  wckTime=1794.899  cpuTime=1785.02  mem=66M627

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/node17/watcher-206280-1168170804 -o ROOT/results/node17/solver-206280-1168170804 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206280-1168170804/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.07 2.02 2.00 4/98 17590
/proc/meminfo: memFree=1378624/2055920 swapFree=4192812/4192956
[pid=17589] ppid=17587 vsize=1784 CPUtime=0
/proc/17589/stat : 17589 (java) D 17587 17589 17062 0 -1 0 374 0 0 0 0 0 0 0 18 0 1 0 165475238 1826816 163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 2859812 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/17589/statm: 446 163 128 14 0 91 0

[startup+0.104262 s]
/proc/loadavg: 2.07 2.02 2.00 4/98 17590
/proc/meminfo: memFree=1378624/2055920 swapFree=4192812/4192956
[pid=17589] ppid=17587 vsize=1784 CPUtime=0
/proc/17589/stat : 17589 (java) D 17587 17589 17062 0 -1 0 374 0 0 0 0 0 0 0 18 0 1 0 165475238 1826816 163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 2859812 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/17589/statm: 446 163 128 14 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1784

[startup+0.51227 s]
/proc/loadavg: 2.07 2.02 2.00 4/98 17590
/proc/meminfo: memFree=1378624/2055920 swapFree=4192812/4192956
[pid=17589] ppid=17587 vsize=915328 CPUtime=0.4
/proc/17589/stat : 17589 (java) R 17587 17589 17062 0 -1 0 6083 0 1 0 35 5 0 0 18 0 8 0 165475238 937295872 5822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072928568 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17589/statm: 228832 5822 2135 14 0 215302 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 915328

[startup+1.33536 s]
/proc/loadavg: 2.06 2.02 2.00 4/105 17597
/proc/meminfo: memFree=1315848/2055920 swapFree=4192812/4192956
[pid=17589] ppid=17587 vsize=915328 CPUtime=1.21
/proc/17589/stat : 17589 (java) R 17587 17589 17062 0 -1 0 19098 0 1 0 109 12 0 0 24 0 8 0 165475238 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073565410 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17589/statm: 228832 18836 2149 14 0 215302 0
[pid=17589/tid=17591] ppid=17587 vsize=915328 CPUtime=0.05
/proc/17589/task/17591/stat : 17591 (java) S 17587 17589 17062 0 -1 64 2681 0 0 0 4 1 0 0 17 0 8 0 165475251 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17592] ppid=17587 vsize=915328 CPUtime=0
/proc/17589/task/17592/stat : 17592 (java) S 17587 17589 17062 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165475252 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17593] ppid=17587 vsize=915328 CPUtime=0
/proc/17589/task/17593/stat : 17593 (java) S 17587 17589 17062 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165475252 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17594] ppid=17587 vsize=915328 CPUtime=0
/proc/17589/task/17594/stat : 17594 (java) S 17587 17589 17062 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165475255 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17595] ppid=17587 vsize=915328 CPUtime=0.08
/proc/17589/task/17595/stat : 17595 (java) S 17587 17589 17062 0 -1 64 307 0 0 0 8 0 0 0 16 0 8 0 165475255 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17596] ppid=17587 vsize=915328 CPUtime=0
/proc/17589/task/17596/stat : 17596 (java) S 17587 17589 17062 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165475255 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17597] ppid=17587 vsize=915328 CPUtime=0
/proc/17589/task/17597/stat : 17597 (java) S 17587 17589 17062 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165475255 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.21
Current children cumulated vsize (KiB) 915328

[startup+2.98953 s]
/proc/loadavg: 2.06 2.02 2.00 4/105 17597
/proc/meminfo: memFree=1287752/2055920 swapFree=4192812/4192956
[pid=17589] ppid=17587 vsize=915440 CPUtime=2.86
/proc/17589/stat : 17589 (java) R 17587 17589 17062 0 -1 0 32569 0 1 0 266 20 0 0 25 0 8 0 165475238 937410560 32304 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17589/statm: 228860 32304 2531 14 0 215330 0
[pid=17589/tid=17591] ppid=17587 vsize=915440 CPUtime=0.46
/proc/17589/task/17591/stat : 17591 (java) S 17587 17589 17062 0 -1 64 15582 0 0 0 39 7 0 0 17 0 8 0 165475251 937410560 32304 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17592] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17592/stat : 17592 (java) S 17587 17589 17062 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165475252 937410560 32304 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17593] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17593/stat : 17593 (java) S 17587 17589 17062 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165475252 937410560 32304 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17594] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17594/stat : 17594 (java) S 17587 17589 17062 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165475255 937410560 32304 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17595] ppid=17587 vsize=915440 CPUtime=0.2
/proc/17589/task/17595/stat : 17595 (java) S 17587 17589 17062 0 -1 64 371 0 0 0 19 1 0 0 15 0 8 0 165475255 937410560 32304 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17596] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17596/stat : 17596 (java) S 17587 17589 17062 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165475255 937410560 32304 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17597] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17597/stat : 17597 (java) S 17587 17589 17062 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165475255 937410560 32304 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 915440

[startup+6.27787 s]
/proc/loadavg: 2.06 2.02 2.00 3/105 17597
/proc/meminfo: memFree=1230984/2055920 swapFree=4192812/4192956
[pid=17589] ppid=17587 vsize=915440 CPUtime=6.12
/proc/17589/stat : 17589 (java) R 17587 17589 17062 0 -1 0 32585 0 1 0 592 20 0 0 25 0 8 0 165475238 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17589/statm: 228860 32318 2531 14 0 215330 0
[pid=17589/tid=17591] ppid=17587 vsize=915440 CPUtime=0.46
/proc/17589/task/17591/stat : 17591 (java) S 17587 17589 17062 0 -1 64 15582 0 0 0 39 7 0 0 17 0 8 0 165475251 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17589/tid=17592] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17592/stat : 17592 (java) S 17587 17589 17062 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165475252 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17593] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17593/stat : 17593 (java) S 17587 17589 17062 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165475252 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17594] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17594/stat : 17594 (java) S 17587 17589 17062 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165475255 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17595] ppid=17587 vsize=915440 CPUtime=0.23
/proc/17589/task/17595/stat : 17595 (java) S 17587 17589 17062 0 -1 64 384 0 0 0 22 1 0 0 15 0 8 0 165475255 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17589/tid=17596] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17596/stat : 17596 (java) S 17587 17589 17062 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165475255 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17597] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17597/stat : 17597 (java) S 17587 17589 17062 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165475255 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 915440

[startup+12.7766 s]
/proc/loadavg: 2.05 2.02 2.00 3/105 17597
/proc/meminfo: memFree=1230992/2055920 swapFree=4192812/4192956
[pid=17589] ppid=17587 vsize=915440 CPUtime=12.58
/proc/17589/stat : 17589 (java) R 17587 17589 17062 0 -1 0 32603 0 1 0 1237 21 0 0 25 0 8 0 165475238 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17589/statm: 228860 32333 2531 14 0 215330 0
[pid=17589/tid=17591] ppid=17587 vsize=915440 CPUtime=0.46
/proc/17589/task/17591/stat : 17591 (java) S 17587 17589 17062 0 -1 64 15582 0 0 0 39 7 0 0 16 0 8 0 165475251 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17589/tid=17592] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17592/stat : 17592 (java) S 17587 17589 17062 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165475252 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17593] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17593/stat : 17593 (java) S 17587 17589 17062 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165475252 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17594] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17594/stat : 17594 (java) S 17587 17589 17062 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17595] ppid=17587 vsize=915440 CPUtime=0.26
/proc/17589/task/17595/stat : 17595 (java) S 17587 17589 17062 0 -1 64 400 0 0 0 25 1 0 0 16 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17589/tid=17596] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17596/stat : 17596 (java) S 17587 17589 17062 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17597] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17597/stat : 17597 (java) S 17587 17589 17062 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165475255 937410560 32333 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.6269 s]
/proc/loadavg: 2.04 2.02 2.00 3/105 17597
/proc/meminfo: memFree=1231056/2055920 swapFree=4192812/4192956
[pid=17589] ppid=17587 vsize=915440 CPUtime=25.37
/proc/17589/stat : 17589 (java) R 17587 17589 17062 0 -1 0 32603 0 1 0 2516 21 0 0 25 0 8 0 165475238 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17589/statm: 228860 32333 2531 14 0 215330 0
[pid=17589/tid=17591] ppid=17587 vsize=915440 CPUtime=0.46
/proc/17589/task/17591/stat : 17591 (java) S 17587 17589 17062 0 -1 64 15582 0 0 0 39 7 0 0 16 0 8 0 165475251 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17589/tid=17592] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17592/stat : 17592 (java) S 17587 17589 17062 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165475252 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17593] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17593/stat : 17593 (java) S 17587 17589 17062 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165475252 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17594] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17594/stat : 17594 (java) S 17587 17589 17062 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17595] ppid=17587 vsize=915440 CPUtime=0.26
/proc/17589/task/17595/stat : 17595 (java) S 17587 17589 17062 0 -1 64 400 0 0 0 25 1 0 0 16 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17589/tid=17596] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17596/stat : 17596 (java) S 17587 17589 17062 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17597] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17597/stat : 17597 (java) S 17587 17589 17062 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915440

[startup+51.2646 s]
/proc/loadavg: 2.02 2.02 2.00 3/105 17597
/proc/meminfo: memFree=1231056/2055920 swapFree=4192812/4192956
[pid=17589] ppid=17587 vsize=915440 CPUtime=50.86
/proc/17589/stat : 17589 (java) R 17587 17589 17062 0 -1 0 32603 0 1 0 5065 21 0 0 25 0 8 0 165475238 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17589/statm: 228860 32333 2531 14 0 215330 0
[pid=17589/tid=17591] ppid=17587 vsize=915440 CPUtime=0.46
/proc/17589/task/17591/stat : 17591 (java) S 17587 17589 17062 0 -1 64 15582 0 0 0 39 7 0 0 16 0 8 0 165475251 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17589/tid=17592] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17592/stat : 17592 (java) S 17587 17589 17062 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165475252 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17593] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17593/stat : 17593 (java) S 17587 17589 17062 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165475252 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17594] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17594/stat : 17594 (java) S 17587 17589 17062 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17595] ppid=17587 vsize=915440 CPUtime=0.26
/proc/17589/task/17595/stat : 17595 (java) S 17587 17589 17062 0 -1 64 400 0 0 0 25 1 0 0 16 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17589/tid=17596] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17596/stat : 17596 (java) S 17587 17589 17062 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17597] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17597/stat : 17597 (java) S 17587 17589 17062 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.86
Current children cumulated vsize (KiB) 915440

[startup+102.539 s]
/proc/loadavg: 2.01 2.01 2.00 3/105 17597
/proc/meminfo: memFree=1231056/2055920 swapFree=4192812/4192956
[pid=17589] ppid=17587 vsize=915440 CPUtime=101.84
/proc/17589/stat : 17589 (java) R 17587 17589 17062 0 -1 0 32604 0 1 0 10163 21 0 0 25 0 8 0 165475238 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17589/statm: 228860 32333 2531 14 0 215330 0
[pid=17589/tid=17591] ppid=17587 vsize=915440 CPUtime=0.46
/proc/17589/task/17591/stat : 17591 (java) S 17587 17589 17062 0 -1 64 15582 0 0 0 39 7 0 0 16 0 8 0 165475251 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17589/tid=17592] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17592/stat : 17592 (java) S 17587 17589 17062 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165475252 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17593] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17593/stat : 17593 (java) S 17587 17589 17062 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165475252 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17594] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17594/stat : 17594 (java) S 17587 17589 17062 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17595] ppid=17587 vsize=915440 CPUtime=0.26
/proc/17589/task/17595/stat : 17595 (java) S 17587 17589 17062 0 -1 64 400 0 0 0 25 1 0 0 16 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17589/tid=17596] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17596/stat : 17596 (java) S 17587 17589 17062 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17597] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17597/stat : 17597 (java) S 17587 17589 17062 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 915440

[startup+162.568 s]
/proc/loadavg: 2.12 2.04 2.01 3/105 17597
/proc/meminfo: memFree=1203280/2055920 swapFree=4192812/4192956
[pid=17589] ppid=17587 vsize=915440 CPUtime=161.56
/proc/17589/stat : 17589 (java) R 17587 17589 17062 0 -1 0 32604 0 1 0 16134 22 0 0 25 0 8 0 165475238 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819279 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

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

[startup+1483.09 s]
/proc/loadavg: 2.07 2.02 2.00 3/100 17888
/proc/meminfo: memFree=1444008/2055920 swapFree=4192812/4192956
[pid=17589] ppid=17587 vsize=915440 CPUtime=1474.91
/proc/17589/stat : 17589 (java) R 17587 17589 17062 0 -1 0 32604 0 1 0 147456 35 0 0 25 0 8 0 165475238 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073814041 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17589/statm: 228860 32333 2531 14 0 215330 0
[pid=17589/tid=17591] ppid=17587 vsize=915440 CPUtime=0.46
/proc/17589/task/17591/stat : 17591 (java) S 17587 17589 17062 0 -1 64 15582 0 0 0 39 7 0 0 16 0 8 0 165475251 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17589/tid=17592] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17592/stat : 17592 (java) S 17587 17589 17062 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165475252 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17593] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17593/stat : 17593 (java) S 17587 17589 17062 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165475252 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17594] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17594/stat : 17594 (java) S 17587 17589 17062 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17595] ppid=17587 vsize=915440 CPUtime=0.26
/proc/17589/task/17595/stat : 17595 (java) S 17587 17589 17062 0 -1 64 400 0 0 0 25 1 0 0 16 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17589/tid=17596] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17596/stat : 17596 (java) S 17587 17589 17062 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17597] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17597/stat : 17597 (java) S 17587 17589 17062 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1474.91
Current children cumulated vsize (KiB) 915440

[startup+1543.1 s]
/proc/loadavg: 2.06 2.03 2.00 3/100 17890
/proc/meminfo: memFree=1443752/2055920 swapFree=4192812/4192956
[pid=17589] ppid=17587 vsize=915440 CPUtime=1534.58
/proc/17589/stat : 17589 (java) R 17587 17589 17062 0 -1 0 32604 0 1 0 153423 35 0 0 25 0 8 0 165475238 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073629940 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17589/statm: 228860 32333 2531 14 0 215330 0
[pid=17589/tid=17591] ppid=17587 vsize=915440 CPUtime=0.46
/proc/17589/task/17591/stat : 17591 (java) S 17587 17589 17062 0 -1 64 15582 0 0 0 39 7 0 0 16 0 8 0 165475251 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17589/tid=17592] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17592/stat : 17592 (java) S 17587 17589 17062 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165475252 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17593] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17593/stat : 17593 (java) S 17587 17589 17062 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165475252 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17594] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17594/stat : 17594 (java) S 17587 17589 17062 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17595] ppid=17587 vsize=915440 CPUtime=0.26
/proc/17589/task/17595/stat : 17595 (java) S 17587 17589 17062 0 -1 64 400 0 0 0 25 1 0 0 16 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17589/tid=17596] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17596/stat : 17596 (java) S 17587 17589 17062 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17597] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17597/stat : 17597 (java) S 17587 17589 17062 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1534.58
Current children cumulated vsize (KiB) 915440

[startup+1603.12 s]
/proc/loadavg: 2.02 2.02 2.00 3/100 17890
/proc/meminfo: memFree=1443752/2055920 swapFree=4192812/4192956
[pid=17589] ppid=17587 vsize=915440 CPUtime=1594.27
/proc/17589/stat : 17589 (java) R 17587 17589 17062 0 -1 0 32604 0 1 0 159392 35 0 0 25 0 8 0 165475238 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073814025 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17589/statm: 228860 32333 2531 14 0 215330 0
[pid=17589/tid=17591] ppid=17587 vsize=915440 CPUtime=0.46
/proc/17589/task/17591/stat : 17591 (java) S 17587 17589 17062 0 -1 64 15582 0 0 0 39 7 0 0 16 0 8 0 165475251 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17589/tid=17592] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17592/stat : 17592 (java) S 17587 17589 17062 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165475252 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17593] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17593/stat : 17593 (java) S 17587 17589 17062 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165475252 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17594] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17594/stat : 17594 (java) S 17587 17589 17062 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17595] ppid=17587 vsize=915440 CPUtime=0.26
/proc/17589/task/17595/stat : 17595 (java) S 17587 17589 17062 0 -1 64 400 0 0 0 25 1 0 0 16 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17589/tid=17596] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17596/stat : 17596 (java) S 17587 17589 17062 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17597] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17597/stat : 17597 (java) S 17587 17589 17062 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1594.27
Current children cumulated vsize (KiB) 915440

[startup+1663.13 s]
/proc/loadavg: 2.01 2.01 2.00 3/100 17890
/proc/meminfo: memFree=1443760/2055920 swapFree=4192812/4192956
[pid=17589] ppid=17587 vsize=915440 CPUtime=1653.98
/proc/17589/stat : 17589 (java) R 17587 17589 17062 0 -1 0 32604 0 1 0 165362 36 0 0 25 0 8 0 165475238 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073817958 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17589/statm: 228860 32333 2531 14 0 215330 0
[pid=17589/tid=17591] ppid=17587 vsize=915440 CPUtime=0.46
/proc/17589/task/17591/stat : 17591 (java) S 17587 17589 17062 0 -1 64 15582 0 0 0 39 7 0 0 16 0 8 0 165475251 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17589/tid=17592] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17592/stat : 17592 (java) S 17587 17589 17062 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165475252 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17593] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17593/stat : 17593 (java) S 17587 17589 17062 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165475252 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17594] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17594/stat : 17594 (java) S 17587 17589 17062 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17595] ppid=17587 vsize=915440 CPUtime=0.26
/proc/17589/task/17595/stat : 17595 (java) S 17587 17589 17062 0 -1 64 400 0 0 0 25 1 0 0 16 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17589/tid=17596] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17596/stat : 17596 (java) S 17587 17589 17062 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17597] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17597/stat : 17597 (java) S 17587 17589 17062 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1653.98
Current children cumulated vsize (KiB) 915440

[startup+1723.15 s]
/proc/loadavg: 2.12 2.04 2.01 3/100 17890
/proc/meminfo: memFree=1443760/2055920 swapFree=4192812/4192956
[pid=17589] ppid=17587 vsize=915440 CPUtime=1713.64
/proc/17589/stat : 17589 (java) R 17587 17589 17062 0 -1 0 32604 0 1 0 171328 36 0 0 25 0 8 0 165475238 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073629950 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17589/statm: 228860 32333 2531 14 0 215330 0
[pid=17589/tid=17591] ppid=17587 vsize=915440 CPUtime=0.46
/proc/17589/task/17591/stat : 17591 (java) S 17587 17589 17062 0 -1 64 15582 0 0 0 39 7 0 0 16 0 8 0 165475251 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17589/tid=17592] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17592/stat : 17592 (java) S 17587 17589 17062 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165475252 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17593] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17593/stat : 17593 (java) S 17587 17589 17062 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165475252 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17594] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17594/stat : 17594 (java) S 17587 17589 17062 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17595] ppid=17587 vsize=915440 CPUtime=0.26
/proc/17589/task/17595/stat : 17595 (java) S 17587 17589 17062 0 -1 64 400 0 0 0 25 1 0 0 16 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17589/tid=17596] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17596/stat : 17596 (java) S 17587 17589 17062 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17597] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17597/stat : 17597 (java) S 17587 17589 17062 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1713.64
Current children cumulated vsize (KiB) 915440

[startup+1783.16 s]
/proc/loadavg: 2.04 2.03 2.00 5/100 17890
/proc/meminfo: memFree=1443760/2055920 swapFree=4192812/4192956
[pid=17589] ppid=17587 vsize=915440 CPUtime=1773.34
/proc/17589/stat : 17589 (java) R 17587 17589 17062 0 -1 0 32604 0 1 0 177297 37 0 0 25 0 8 0 165475238 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073802343 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17589/statm: 228860 32333 2531 14 0 215330 0
[pid=17589/tid=17591] ppid=17587 vsize=915440 CPUtime=0.46
/proc/17589/task/17591/stat : 17591 (java) S 17587 17589 17062 0 -1 64 15582 0 0 0 39 7 0 0 16 0 8 0 165475251 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17589/tid=17592] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17592/stat : 17592 (java) S 17587 17589 17062 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165475252 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17593] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17593/stat : 17593 (java) S 17587 17589 17062 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165475252 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17594] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17594/stat : 17594 (java) S 17587 17589 17062 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17595] ppid=17587 vsize=915440 CPUtime=0.26
/proc/17589/task/17595/stat : 17595 (java) S 17587 17589 17062 0 -1 64 400 0 0 0 25 1 0 0 16 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17589/tid=17596] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17596/stat : 17596 (java) S 17587 17589 17062 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17597] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17597/stat : 17597 (java) S 17587 17589 17062 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1773.34
Current children cumulated vsize (KiB) 915440



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1810.03 s]
/proc/loadavg: 2.03 2.03 2.00 3/100 17890
/proc/meminfo: memFree=1443760/2055920 swapFree=4192812/4192956
[pid=17589] ppid=17587 vsize=915440 CPUtime=1800.06
/proc/17589/stat : 17589 (java) R 17587 17589 17062 0 -1 0 32604 0 1 0 179969 37 0 0 25 0 8 0 165475238 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073856470 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17589/statm: 228860 32333 2531 14 0 215330 0
[pid=17589/tid=17591] ppid=17587 vsize=915440 CPUtime=0.46
/proc/17589/task/17591/stat : 17591 (java) S 17587 17589 17062 0 -1 64 15582 0 0 0 39 7 0 0 16 0 8 0 165475251 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17589/tid=17592] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17592/stat : 17592 (java) S 17587 17589 17062 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165475252 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17593] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17593/stat : 17593 (java) S 17587 17589 17062 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165475252 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17594] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17594/stat : 17594 (java) S 17587 17589 17062 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17595] ppid=17587 vsize=915440 CPUtime=0.26
/proc/17589/task/17595/stat : 17595 (java) S 17587 17589 17062 0 -1 64 400 0 0 0 25 1 0 0 16 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17589/tid=17596] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17596/stat : 17596 (java) S 17587 17589 17062 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17597] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17597/stat : 17597 (java) S 17587 17589 17062 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 915440

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

Child status: 143
Real time (s): 1810.1
CPU time (s): 1800.13
CPU user time (s): 1799.74
CPU system time (s): 0.39094
CPU usage (%): 99.449
Max. virtual memory (cumulated for all children) (KiB): 915440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.74
system time used= 0.39094
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32620
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= 37766
involuntary context switches= 62405

runsolver used 2.11068 s user time and 5.9321 s system time

The end

Launcher Data (download as text)

Begin job on node17 on Sun Jan  7 11:53:24 UTC 2007


IDJOB= 206280
IDBENCH= 4196
FILE ID= node17/206280-1168170804

PBS_JOBID= 3478826

Free space on /tmp= 66313 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  f1384fc267cd2722bf48bbf3fdecc2d7

RANDOM SEED= 476775533

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.236
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.236
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:       1379104 kB
Buffers:         56328 kB
Cached:         189152 kB
SwapCached:          0 kB
Active:         466272 kB
Inactive:       148144 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1379104 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            7568 kB
Writeback:           0 kB
Mapped:         397880 kB
Slab:            46572 kB
Committed_AS:  5104744 kB
PageTables:       2900 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= 66314 MiB



End job on node17 on Sun Jan  7 12:23:35 UTC 2007