Trace number 195792

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 1809.22

General information on the benchmark

Namerandom/rand-3-24-24/
rand-3-24-24-76-632-47_ext.xml
MD5SUM0af48681c41d1228d14cb349d509e17b
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 variables24
Number of constraints75
Maximum constraint arity3
Maximum domain size24
Number of constraints which are defined in extension75
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.34	   
0.34	Abscon 109 (November, 2006)
0.34	   
0.34	   configuration
0.34	     name=esac.xml
0.38	   
0.38	   instance
0.38	     name=/tmp/evaluation/195792-1168113928/unknown.xml
0.41	   
0.41	   domains being loaded...
0.41	   
0.41	   variables being loaded...
0.44	     nbVariables=24  nbDomainTypes=1  minDomainSize=24  maxDomainSize=24
0.44	       =>  wckTime=0.095  cpuTime=0.09  mem=6M951
0.44	   
0.44	   relations being loaded...
1.05	   
1.05	   constraints being loaded...
1.31	     nbConstraints=75  nbRelationTypes=75  nbExtensionStructures=75  nbSharedExtensionStructures=0
1.31	     nbConflictsStructures=75  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=16  maxArity=3
1.31	       =>  wckTime=0.963  cpuTime=0.84  mem=48M650
1.43	   
1.43	   solver IterativeSystematicSolver being built... 
1.59	       =>  wckTime=1.242  cpuTime=0.97  mem=34M506
1.69	   
1.69	   preprocessing
1.69	     nbConstraintChecks=32136  nbValidityChecks=52081  nbPropagations=202  nbRevisions=2064  nbUselessRevisions=1791
1.69	     nbSingletonTests=32  nbEffectiveSingletonTests=0  nbESACBranches=4  nbRemovedValues=0  detectedInconsistency=no
1.69	       =>  wckTime=0.099  cpuTime=0.07  mem=34M506
1.74	   
1.74	   search
1.74	     run=0  nbConstraintChecks=22814  nbValidityChecks=43479  nbPropagations=470  nbRevisions=4916
1.74	     nbUselessRevisions=4002  nbAssignments=27  nbFailedAssignments=11  nbBacktracks=10  nbVisitedNodes=45
1.74	     nbRestartNogoods=0  mapSize=9  nbInferences=0  nbTooLargeKeys=0
1.74	       =>  wckTime=0.152  cpuTime=0.11  mem=35M509
1.86	   
1.86	   search
1.86	     run=1  nbConstraintChecks=96487  nbValidityChecks=185059  nbPropagations=1789  nbRevisions=20776
1.86	     nbUselessRevisions=16671  nbAssignments=99  nbFailedAssignments=61  nbBacktracks=25  nbVisitedNodes=179
1.86	     nbRestartNogoods=3  mapSize=23  nbInferences=0  nbTooLargeKeys=0
1.86	       =>  wckTime=0.271  cpuTime=0.22  mem=35M509
1.97	   
1.97	   search
1.97	     run=2  nbConstraintChecks=156749  nbValidityChecks=308832  nbPropagations=4063  nbRevisions=46194
1.97	     nbUselessRevisions=36660  nbAssignments=161  nbFailedAssignments=94  nbBacktracks=47  nbVisitedNodes=293
1.97	     nbRestartNogoods=7  mapSize=45  nbInferences=0  nbTooLargeKeys=0
1.97	       =>  wckTime=0.376  cpuTime=0.32  mem=35M509
2.08	   
2.08	   search
2.08	     run=3  nbConstraintChecks=234731  nbValidityChecks=471228  nbPropagations=7306  nbRevisions=82487
2.08	     nbUselessRevisions=65275  nbAssignments=240  nbFailedAssignments=121  nbBacktracks=80  nbVisitedNodes=408
2.08	     nbRestartNogoods=12  mapSize=73  nbInferences=0  nbTooLargeKeys=0
2.08	       =>  wckTime=0.492  cpuTime=0.43  mem=35M509
2.32	   
2.32	   search
2.32	     run=4  nbConstraintChecks=390176  nbValidityChecks=793758  nbPropagations=12709  nbRevisions=143614
2.32	     nbUselessRevisions=112997  nbAssignments=407  nbFailedAssignments=231  nbBacktracks=130  nbVisitedNodes=725
2.32	     nbRestartNogoods=16  mapSize=120  nbInferences=0  nbTooLargeKeys=0
2.32	       =>  wckTime=0.731  cpuTime=0.66  mem=35M509
2.63	   
2.63	   search
2.63	     run=5  nbConstraintChecks=604151  nbValidityChecks=1213190  nbPropagations=21016  nbRevisions=238175
2.63	     nbUselessRevisions=186699  nbAssignments=634  nbFailedAssignments=375  nbBacktracks=205  nbVisitedNodes=1150
2.63	     nbRestartNogoods=25  mapSize=194  nbInferences=0  nbTooLargeKeys=0
2.63	       =>  wckTime=1.035  cpuTime=0.96  mem=35M509
2.96	   
2.96	   search
2.96	     run=6  nbConstraintChecks=834182  nbValidityChecks=1690111  nbPropagations=32591  nbRevisions=367771
2.96	     nbUselessRevisions=287377  nbAssignments=866  nbFailedAssignments=488  nbBacktracks=318  nbVisitedNodes=1569
2.96	     nbRestartNogoods=31  mapSize=293  nbInferences=0  nbTooLargeKeys=0
2.96	       =>  wckTime=1.365  cpuTime=1.29  mem=35M509
3.55	   
3.55	   search
3.55	     run=7  nbConstraintChecks=1249497  nbValidityChecks=2582128  nbPropagations=50295  nbRevisions=564157
3.55	     nbUselessRevisions=439011  nbAssignments=1352  nbFailedAssignments=785  nbBacktracks=488  nbVisitedNodes=2460
3.55	     nbRestartNogoods=39  mapSize=456  nbInferences=0  nbTooLargeKeys=0
3.55	       =>  wckTime=1.956  cpuTime=1.87  mem=35M509
4.50	   
4.50	   search
4.50	     run=8  nbConstraintChecks=1956831  nbValidityChecks=4015215  nbPropagations=77033  nbRevisions=875600
4.50	     nbUselessRevisions=681753  nbAssignments=2117  nbFailedAssignments=1272  nbBacktracks=744  nbVisitedNodes=3869
4.50	     nbRestartNogoods=48  mapSize=678  nbInferences=0  nbTooLargeKeys=0
4.50	       =>  wckTime=2.911  cpuTime=2.81  mem=35M509
5.70	   
5.70	   search
5.70	     run=9  nbConstraintChecks=2817835  nbValidityChecks=5829351  nbPropagations=115982  nbRevisions=1321592
5.70	     nbUselessRevisions=1027804  nbAssignments=2957  nbFailedAssignments=1722  nbBacktracks=1128  nbVisitedNodes=5414
5.70	     nbRestartNogoods=58  mapSize=1027  nbInferences=0  nbTooLargeKeys=0
5.70	       =>  wckTime=4.112  cpuTime=3.99  mem=35M509
5.78	   
5.78	   INFO : Stopping hyperNogood (mapSize=1043, nbTooLargekeys=0, mem=35M509)
7.50	   
7.50	   search
7.50	     run=10  nbConstraintChecks=4155473  nbValidityChecks=8591493  nbPropagations=170725  nbRevisions=1953508
7.50	     nbUselessRevisions=1517351  nbAssignments=4338  nbFailedAssignments=2506  nbBacktracks=1704  nbVisitedNodes=7908
7.50	     nbRestartNogoods=66
7.50	       =>  wckTime=5.911  cpuTime=5.79  mem=35M509
10.11	   
10.11	   search
10.11	     run=11  nbConstraintChecks=6046258  nbValidityChecks=12669546  nbPropagations=256773  nbRevisions=2907483
10.11	     nbUselessRevisions=2253822  nbAssignments=6548  nbFailedAssignments=3813  nbBacktracks=2570  nbVisitedNodes=11997
10.11	     nbRestartNogoods=76
10.11	       =>  wckTime=8.516  cpuTime=8.38  mem=35M509
14.58	   
14.58	   search
14.58	     run=12  nbConstraintChecks=9392183  nbValidityChecks=19624521  nbPropagations=383705  nbRevisions=4318168
14.58	     nbUselessRevisions=3341113  nbAssignments=9704  nbFailedAssignments=5654  nbBacktracks=3869  nbVisitedNodes=17940
14.58	     nbRestartNogoods=88
14.58	       =>  wckTime=12.991  cpuTime=12.83  mem=35M509
20.76	   
20.76	   search
20.76	     run=13  nbConstraintChecks=13933503  nbValidityChecks=29350534  nbPropagations=572697  nbRevisions=6410271
20.76	     nbUselessRevisions=4958691  nbAssignments=14553  nbFailedAssignments=8518  nbBacktracks=5816  nbVisitedNodes=26946
20.76	     nbRestartNogoods=102
20.76	       =>  wckTime=19.171  cpuTime=18.95  mem=35M509
30.09	   
30.09	   search
30.09	     run=14  nbConstraintChecks=20791844  nbValidityChecks=43914378  nbPropagations=869752  nbRevisions=9631223
30.09	     nbUselessRevisions=7439797  nbAssignments=22189  nbFailedAssignments=13228  nbBacktracks=8735  nbVisitedNodes=41314
30.09	     nbRestartNogoods=128
30.09	       =>  wckTime=28.5  cpuTime=28.24  mem=35M509
46.76	   
46.76	   search
46.76	     run=15  nbConstraintChecks=33169108  nbValidityChecks=69878814  nbPropagations=1322419  nbRevisions=14606289
46.76	     nbUselessRevisions=11267358  nbAssignments=33954  nbFailedAssignments=20607  nbBacktracks=13113
46.76	     nbVisitedNodes=63718  nbRestartNogoods=151
46.76	       =>  wckTime=45.172  cpuTime=44.83  mem=35M509
67.57	   
67.57	   search
67.57	     run=16  nbConstraintChecks=48906542  nbValidityChecks=103229634  nbPropagations=1977737  nbRevisions=21860386
67.57	     nbUselessRevisions=16870230  nbAssignments=50521  nbFailedAssignments=30600  nbBacktracks=19681
67.57	     nbVisitedNodes=94543  nbRestartNogoods=166
67.57	       =>  wckTime=65.982  cpuTime=65.52  mem=35M509
102.94	   
102.94	   search
102.94	     run=17  nbConstraintChecks=75432083  nbValidityChecks=159071528  nbPropagations=2920860  nbRevisions=32512559
102.94	     nbUselessRevisions=25123489  nbAssignments=74130  nbFailedAssignments=44350  nbBacktracks=29533
102.94	     nbVisitedNodes=138394  nbRestartNogoods=183
102.94	       =>  wckTime=101.351  cpuTime=100.72  mem=35M509
155.23	   
155.23	   search
155.23	     run=18  nbConstraintChecks=114326783  nbValidityChecks=239907128  nbPropagations=4343237  nbRevisions=48598941
155.23	     nbUselessRevisions=37548685  nbAssignments=110662  nbFailedAssignments=66096  nbBacktracks=44314
155.23	     nbVisitedNodes=207096  nbRestartNogoods=198
155.23	       =>  wckTime=153.636  cpuTime=152.73  mem=35M509
241.15	   
241.15	   search
241.15	     run=19  nbConstraintChecks=177266766  nbValidityChecks=367847479  nbPropagations=6585788  nbRevisions=73886327
241.15	     nbUselessRevisions=57100238  nbAssignments=168981  nbFailedAssignments=102241  nbBacktracks=66482
241.15	     nbVisitedNodes=317995  nbRestartNogoods=209
241.15	       =>  wckTime=239.557  cpuTime=238.21  mem=35M509
355.16	   
355.16	   search
355.16	     run=20  nbConstraintChecks=261300330  nbValidityChecks=545125854  nbPropagations=9964329  nbRevisions=112301144
355.16	     nbUselessRevisions=86867129  nbAssignments=251775  nbFailedAssignments=151777  nbBacktracks=99734
355.16	     nbVisitedNodes=473753  nbRestartNogoods=223
355.16	       =>  wckTime=353.574  cpuTime=351.68  mem=35M509
548.37	   
548.37	   search
548.37	     run=21  nbConstraintChecks=402575317  nbValidityChecks=837867232  nbPropagations=15342648  nbRevisions=173596971
548.37	     nbUselessRevisions=134230192  nbAssignments=400419  nbFailedAssignments=250525  nbBacktracks=149612
548.37	     nbVisitedNodes=758176  nbRestartNogoods=251
548.37	       =>  wckTime=546.781  cpuTime=543.91  mem=35M509
880.78	   
880.78	   search
880.78	     run=22  nbConstraintChecks=647401822  nbValidityChecks=1331720683  nbPropagations=23664412  nbRevisions=268144125
880.78	     nbUselessRevisions=207266018  nbAssignments=616390  nbFailedAssignments=391673  nbBacktracks=224430
880.78	     nbVisitedNodes=1173058  nbRestartNogoods=275
880.78	       =>  wckTime=879.191  cpuTime=874.63  mem=35M509
1307.38	   
1307.38	   search
1307.38	     run=23  nbConstraintChecks=970803927  nbValidityChecks=1999386347  nbPropagations=35874783  nbRevisions=409471320
1307.38	     nbUselessRevisions=316954596  nbAssignments=918139  nbFailedAssignments=581186  nbBacktracks=336659
1307.38	     nbVisitedNodes=1744017  nbRestartNogoods=284
1307.38	       =>  wckTime=1305.79  cpuTime=1299.1  mem=35M509

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/node60/watcher-195792-1168113928 -o ROOT/results/node60/solver-195792-1168113928 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/195792-1168113928/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: 0.95 1.49 1.79 1/68 22064
/proc/meminfo: memFree=1860280/2055920 swapFree=4192812/4192956
[pid=22063] ppid=22060 vsize=18540 CPUtime=0
/proc/22063/stat : 22063 (runsolver) R 22060 22063 21920 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 159790696 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 271894244647 0 0 4096 24578 0 0 0 17 1 0 0
/proc/22063/statm: 4635 279 244 17 0 2626 0

[startup+0.102171 s]
/proc/loadavg: 0.95 1.49 1.79 1/68 22064
/proc/meminfo: memFree=1860280/2055920 swapFree=4192812/4192956
[pid=22063] ppid=22060 vsize=912588 CPUtime=0.07
/proc/22063/stat : 22063 (java) D 22060 22063 21920 0 -1 0 2751 0 1 0 5 2 0 0 21 0 8 0 159790696 934490112 2497 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22063/statm: 228147 2497 1382 14 0 215091 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 912588

[startup+0.51021 s]
/proc/loadavg: 0.95 1.49 1.79 1/68 22064
/proc/meminfo: memFree=1860280/2055920 swapFree=4192812/4192956
[pid=22063] ppid=22060 vsize=915328 CPUtime=0.44
/proc/22063/stat : 22063 (java) R 22060 22063 21920 0 -1 0 7042 0 1 0 39 5 0 0 21 0 8 0 159790696 937295872 6781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819945 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22063/statm: 228832 6781 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 915328

[startup+1.33231 s]
/proc/loadavg: 0.95 1.49 1.79 3/88 22085
/proc/meminfo: memFree=1768792/2055920 swapFree=4192812/4192956
[pid=22063] ppid=22060 vsize=915416 CPUtime=1.26
/proc/22063/stat : 22063 (java) R 22060 22063 21920 0 -1 0 19133 0 1 0 116 10 0 0 25 0 8 0 159790696 937385984 18870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22063/statm: 228854 18870 2168 14 0 215324 0
[pid=22063/tid=22073] ppid=22060 vsize=915416 CPUtime=0.07
/proc/22063/task/22073/stat : 22073 (java) R 22060 22063 21920 0 -1 64 2647 0 0 0 6 1 0 0 16 0 8 0 159790701 937385984 18870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155134174 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22076] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22076/stat : 22076 (java) S 22060 22063 21920 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159790701 937385984 18870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22077] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22077/stat : 22077 (java) S 22060 22063 21920 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 159790701 937385984 18870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22078] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22078/stat : 22078 (java) S 22060 22063 21920 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159790705 937385984 18870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22080] ppid=22060 vsize=915416 CPUtime=0.1
/proc/22063/task/22080/stat : 22080 (java) S 22060 22063 21920 0 -1 64 321 0 0 0 10 0 0 0 16 0 8 0 159790705 937385984 18870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22082] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22082/stat : 22082 (java) S 22060 22063 21920 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 159790705 937385984 18870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22084] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22084/stat : 22084 (java) S 22060 22063 21920 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159790705 937385984 18870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 915416

[startup+2.98446 s]
/proc/loadavg: 0.95 1.49 1.79 3/88 22085
/proc/meminfo: memFree=1743064/2055920 swapFree=4192812/4192956
[pid=22063] ppid=22060 vsize=915416 CPUtime=2.9
/proc/22063/stat : 22063 (java) R 22060 22063 21920 0 -1 0 23480 0 1 0 277 13 0 0 25 0 8 0 159790696 937385984 23216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073752628 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22063/statm: 228854 23216 2531 14 0 215324 0
[pid=22063/tid=22073] ppid=22060 vsize=915416 CPUtime=0.16
/proc/22063/task/22073/stat : 22073 (java) S 22060 22063 21920 0 -1 64 6497 0 0 0 14 2 0 0 17 0 8 0 159790701 937385984 23216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22076] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22076/stat : 22076 (java) S 22060 22063 21920 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159790701 937385984 23216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22077] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22077/stat : 22077 (java) S 22060 22063 21920 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159790701 937385984 23216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22078] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22078/stat : 22078 (java) S 22060 22063 21920 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159790705 937385984 23216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22080] ppid=22060 vsize=915416 CPUtime=0.2
/proc/22063/task/22080/stat : 22080 (java) S 22060 22063 21920 0 -1 64 374 0 0 0 19 1 0 0 15 0 8 0 159790705 937385984 23216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22082] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22082/stat : 22082 (java) S 22060 22063 21920 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 159790705 937385984 23216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22084] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22084/stat : 22084 (java) S 22060 22063 21920 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159790705 937385984 23216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 915416

[startup+6.28178 s]
/proc/loadavg: 1.04 1.49 1.79 3/88 22085
/proc/meminfo: memFree=1741528/2055920 swapFree=4192812/4192956
[pid=22063] ppid=22060 vsize=915416 CPUtime=6.18
/proc/22063/stat : 22063 (java) R 22060 22063 21920 0 -1 0 23495 0 1 0 605 13 0 0 25 0 8 0 159790696 937385984 23229 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073768532 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22063/statm: 228854 23229 2531 14 0 215324 0
[pid=22063/tid=22073] ppid=22060 vsize=915416 CPUtime=0.16
/proc/22063/task/22073/stat : 22073 (java) S 22060 22063 21920 0 -1 64 6497 0 0 0 14 2 0 0 16 0 8 0 159790701 937385984 23229 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22076] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22076/stat : 22076 (java) S 22060 22063 21920 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159790701 937385984 23229 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22077] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22077/stat : 22077 (java) S 22060 22063 21920 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159790701 937385984 23229 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22078] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22078/stat : 22078 (java) S 22060 22063 21920 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159790705 937385984 23229 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22080] ppid=22060 vsize=915416 CPUtime=0.23
/proc/22063/task/22080/stat : 22080 (java) S 22060 22063 21920 0 -1 64 387 0 0 0 21 2 0 0 15 0 8 0 159790705 937385984 23229 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22082] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22082/stat : 22082 (java) S 22060 22063 21920 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 159790705 937385984 23229 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22084] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22084/stat : 22084 (java) S 22060 22063 21920 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159790705 937385984 23229 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915416

[startup+12.7644 s]
/proc/loadavg: 1.11 1.50 1.79 3/88 22085
/proc/meminfo: memFree=1741592/2055920 swapFree=4192812/4192956
[pid=22063] ppid=22060 vsize=915416 CPUtime=12.62
/proc/22063/stat : 22063 (java) R 22060 22063 21920 0 -1 0 23499 0 1 0 1249 13 0 0 25 0 8 0 159790696 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073756165 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22063/statm: 228854 23232 2531 14 0 215324 0
[pid=22063/tid=22073] ppid=22060 vsize=915416 CPUtime=0.16
/proc/22063/task/22073/stat : 22073 (java) S 22060 22063 21920 0 -1 64 6497 0 0 0 14 2 0 0 16 0 8 0 159790701 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22076] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22076/stat : 22076 (java) S 22060 22063 21920 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159790701 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22077] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22077/stat : 22077 (java) S 22060 22063 21920 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159790701 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22078] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22078/stat : 22078 (java) S 22060 22063 21920 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159790705 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22080] ppid=22060 vsize=915416 CPUtime=0.24
/proc/22063/task/22080/stat : 22080 (java) S 22060 22063 21920 0 -1 64 391 0 0 0 22 2 0 0 16 0 8 0 159790705 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22082] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22082/stat : 22082 (java) S 22060 22063 21920 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 159790705 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22084] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22084/stat : 22084 (java) S 22060 22063 21920 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159790705 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915416

[startup+25.6117 s]
/proc/loadavg: 1.31 1.53 1.79 3/88 22085
/proc/meminfo: memFree=1741720/2055920 swapFree=4192812/4192956
[pid=22063] ppid=22060 vsize=915416 CPUtime=25.4
/proc/22063/stat : 22063 (java) R 22060 22063 21920 0 -1 0 23499 0 1 0 2526 14 0 0 25 0 8 0 159790696 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632905 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22063/statm: 228854 23232 2531 14 0 215324 0
[pid=22063/tid=22073] ppid=22060 vsize=915416 CPUtime=0.16
/proc/22063/task/22073/stat : 22073 (java) S 22060 22063 21920 0 -1 64 6497 0 0 0 14 2 0 0 16 0 8 0 159790701 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22076] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22076/stat : 22076 (java) S 22060 22063 21920 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159790701 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22077] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22077/stat : 22077 (java) S 22060 22063 21920 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159790701 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22078] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22078/stat : 22078 (java) S 22060 22063 21920 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159790705 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22080] ppid=22060 vsize=915416 CPUtime=0.24
/proc/22063/task/22080/stat : 22080 (java) S 22060 22063 21920 0 -1 64 391 0 0 0 22 2 0 0 16 0 8 0 159790705 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22082] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22082/stat : 22082 (java) S 22060 22063 21920 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 159790705 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22084] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22084/stat : 22084 (java) S 22060 22063 21920 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159790705 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 915416

[startup+51.2292 s]
/proc/loadavg: 1.54 1.56 1.80 3/88 22085
/proc/meminfo: memFree=1741784/2055920 swapFree=4192812/4192956
[pid=22063] ppid=22060 vsize=915416 CPUtime=50.89
/proc/22063/stat : 22063 (java) R 22060 22063 21920 0 -1 0 23499 0 1 0 5075 14 0 0 25 0 8 0 159790696 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073756246 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22063/statm: 228854 23232 2531 14 0 215324 0
[pid=22063/tid=22073] ppid=22060 vsize=915416 CPUtime=0.16
/proc/22063/task/22073/stat : 22073 (java) S 22060 22063 21920 0 -1 64 6497 0 0 0 14 2 0 0 17 0 8 0 159790701 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22076] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22076/stat : 22076 (java) S 22060 22063 21920 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159790701 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22077] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22077/stat : 22077 (java) S 22060 22063 21920 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159790701 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22078] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22078/stat : 22078 (java) S 22060 22063 21920 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159790705 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22080] ppid=22060 vsize=915416 CPUtime=0.24
/proc/22063/task/22080/stat : 22080 (java) S 22060 22063 21920 0 -1 64 391 0 0 0 22 2 0 0 16 0 8 0 159790705 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22082] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22082/stat : 22082 (java) S 22060 22063 21920 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 159790705 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22084] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22084/stat : 22084 (java) S 22060 22063 21920 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159790705 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.89
Current children cumulated vsize (KiB) 915416

[startup+102.459 s]
/proc/loadavg: 1.80 1.63 1.81 3/88 22085
/proc/meminfo: memFree=1741912/2055920 swapFree=4192812/4192956
[pid=22063] ppid=22060 vsize=915416 CPUtime=101.85
/proc/22063/stat : 22063 (java) R 22060 22063 21920 0 -1 0 23500 0 1 0 10171 14 0 0 25 0 8 0 159790696 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22063/statm: 228854 23232 2531 14 0 215324 0
[pid=22063/tid=22073] ppid=22060 vsize=915416 CPUtime=0.16
/proc/22063/task/22073/stat : 22073 (java) S 22060 22063 21920 0 -1 64 6497 0 0 0 14 2 0 0 16 0 8 0 159790701 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22076] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22076/stat : 22076 (java) S 22060 22063 21920 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159790701 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22077] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22077/stat : 22077 (java) S 22060 22063 21920 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159790701 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22078] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22078/stat : 22078 (java) S 22060 22063 21920 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159790705 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22080] ppid=22060 vsize=915416 CPUtime=0.24
/proc/22063/task/22080/stat : 22080 (java) S 22060 22063 21920 0 -1 64 391 0 0 0 22 2 0 0 16 0 8 0 159790705 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22082] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22082/stat : 22082 (java) S 22060 22063 21920 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 159790705 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22084] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22084/stat : 22084 (java) S 22060 22063 21920 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159790705 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 915416

[startup+162.535 s]
/proc/loadavg: 1.92 1.69 1.82 3/88 22085
/proc/meminfo: memFree=1741976/2055920 swapFree=4192812/4192956
[pid=22063] ppid=22060 vsize=915416 CPUtime=161.62
/proc/22063/stat : 22063 (java) R 22060 22063 21920 0 -1 0 23500 0 1 0 16147 15 0 0 25 0 8 0 159790696 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073756279 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 1416.91
Current children cumulated vsize (KiB) 915416

[startup+1484.23 s]
/proc/loadavg: 2.01 2.01 1.93 3/88 22087
/proc/meminfo: memFree=1741536/2055920 swapFree=4192812/4192956
[pid=22063] ppid=22060 vsize=915416 CPUtime=1476.69
/proc/22063/stat : 22063 (java) R 22060 22063 21920 0 -1 0 23501 0 1 0 147649 20 0 0 25 0 8 0 159790696 937385984 23233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073628030 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22063/statm: 228854 23233 2531 14 0 215324 0
[pid=22063/tid=22073] ppid=22060 vsize=915416 CPUtime=0.16
/proc/22063/task/22073/stat : 22073 (java) S 22060 22063 21920 0 -1 64 6497 0 0 0 14 2 0 0 16 0 8 0 159790701 937385984 23233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22076] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22076/stat : 22076 (java) S 22060 22063 21920 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159790701 937385984 23233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22077] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22077/stat : 22077 (java) S 22060 22063 21920 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159790701 937385984 23233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22078] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22078/stat : 22078 (java) S 22060 22063 21920 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159790705 937385984 23233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22080] ppid=22060 vsize=915416 CPUtime=0.24
/proc/22063/task/22080/stat : 22080 (java) S 22060 22063 21920 0 -1 64 392 0 0 0 22 2 0 0 16 0 8 0 159790705 937385984 23233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22082] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22082/stat : 22082 (java) S 22060 22063 21920 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 159790705 937385984 23233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22084] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22084/stat : 22084 (java) S 22060 22063 21920 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159790705 937385984 23233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1476.69
Current children cumulated vsize (KiB) 915416

[startup+1544.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/88 22087
/proc/meminfo: memFree=1741536/2055920 swapFree=4192812/4192956
[pid=22063] ppid=22060 vsize=915416 CPUtime=1536.47
/proc/22063/stat : 22063 (java) R 22060 22063 21920 0 -1 0 23501 0 1 0 153627 20 0 0 25 0 8 0 159790696 937385984 23233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073753439 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22063/statm: 228854 23233 2531 14 0 215324 0
[pid=22063/tid=22073] ppid=22060 vsize=915416 CPUtime=0.16
/proc/22063/task/22073/stat : 22073 (java) S 22060 22063 21920 0 -1 64 6497 0 0 0 14 2 0 0 16 0 8 0 159790701 937385984 23233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22076] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22076/stat : 22076 (java) S 22060 22063 21920 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159790701 937385984 23233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22077] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22077/stat : 22077 (java) S 22060 22063 21920 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159790701 937385984 23233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22078] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22078/stat : 22078 (java) S 22060 22063 21920 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159790705 937385984 23233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22080] ppid=22060 vsize=915416 CPUtime=0.24
/proc/22063/task/22080/stat : 22080 (java) S 22060 22063 21920 0 -1 64 392 0 0 0 22 2 0 0 16 0 8 0 159790705 937385984 23233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22082] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22082/stat : 22082 (java) S 22060 22063 21920 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 159790705 937385984 23233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22084] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22084/stat : 22084 (java) S 22060 22063 21920 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159790705 937385984 23233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1536.47
Current children cumulated vsize (KiB) 915416

[startup+1604.38 s]
/proc/loadavg: 2.00 2.00 1.93 3/88 22087
/proc/meminfo: memFree=1741536/2055920 swapFree=4192812/4192956
[pid=22063] ppid=22060 vsize=915416 CPUtime=1596.24
/proc/22063/stat : 22063 (java) R 22060 22063 21920 0 -1 0 23501 0 1 0 159604 20 0 0 25 0 8 0 159790696 937385984 23233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073761380 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22063/statm: 228854 23233 2531 14 0 215324 0
[pid=22063/tid=22073] ppid=22060 vsize=915416 CPUtime=0.16
/proc/22063/task/22073/stat : 22073 (java) S 22060 22063 21920 0 -1 64 6497 0 0 0 14 2 0 0 16 0 8 0 159790701 937385984 23233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22076] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22076/stat : 22076 (java) S 22060 22063 21920 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159790701 937385984 23233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22077] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22077/stat : 22077 (java) S 22060 22063 21920 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159790701 937385984 23233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22078] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22078/stat : 22078 (java) S 22060 22063 21920 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159790705 937385984 23233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22080] ppid=22060 vsize=915416 CPUtime=0.24
/proc/22063/task/22080/stat : 22080 (java) S 22060 22063 21920 0 -1 64 392 0 0 0 22 2 0 0 16 0 8 0 159790705 937385984 23233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22082] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22082/stat : 22082 (java) S 22060 22063 21920 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 159790705 937385984 23233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22084] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22084/stat : 22084 (java) S 22060 22063 21920 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159790705 937385984 23233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1596.24
Current children cumulated vsize (KiB) 915416

[startup+1664.46 s]
/proc/loadavg: 2.00 2.00 1.93 3/88 22087
/proc/meminfo: memFree=1741536/2055920 swapFree=4192812/4192956
[pid=22063] ppid=22060 vsize=915416 CPUtime=1656.03
/proc/22063/stat : 22063 (java) R 22060 22063 21920 0 -1 0 23501 0 1 0 165582 21 0 0 25 0 8 0 159790696 937385984 23233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632899 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22063/statm: 228854 23233 2531 14 0 215324 0
[pid=22063/tid=22073] ppid=22060 vsize=915416 CPUtime=0.16
/proc/22063/task/22073/stat : 22073 (java) S 22060 22063 21920 0 -1 64 6497 0 0 0 14 2 0 0 16 0 8 0 159790701 937385984 23233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22076] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22076/stat : 22076 (java) S 22060 22063 21920 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159790701 937385984 23233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22077] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22077/stat : 22077 (java) S 22060 22063 21920 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159790701 937385984 23233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22078] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22078/stat : 22078 (java) S 22060 22063 21920 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159790705 937385984 23233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22080] ppid=22060 vsize=915416 CPUtime=0.24
/proc/22063/task/22080/stat : 22080 (java) S 22060 22063 21920 0 -1 64 392 0 0 0 22 2 0 0 16 0 8 0 159790705 937385984 23233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22082] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22082/stat : 22082 (java) S 22060 22063 21920 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 159790705 937385984 23233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22084] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22084/stat : 22084 (java) S 22060 22063 21920 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159790705 937385984 23233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1656.03
Current children cumulated vsize (KiB) 915416

[startup+1724.53 s]
/proc/loadavg: 2.00 2.00 1.93 3/88 22087
/proc/meminfo: memFree=1741536/2055920 swapFree=4192812/4192956
[pid=22063] ppid=22060 vsize=915416 CPUtime=1715.81
/proc/22063/stat : 22063 (java) R 22060 22063 21920 0 -1 0 23501 0 1 0 171560 21 0 0 25 0 8 0 159790696 937385984 23233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073761353 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22063/statm: 228854 23233 2531 14 0 215324 0
[pid=22063/tid=22073] ppid=22060 vsize=915416 CPUtime=0.16
/proc/22063/task/22073/stat : 22073 (java) S 22060 22063 21920 0 -1 64 6497 0 0 0 14 2 0 0 16 0 8 0 159790701 937385984 23233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22076] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22076/stat : 22076 (java) S 22060 22063 21920 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159790701 937385984 23233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22077] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22077/stat : 22077 (java) S 22060 22063 21920 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159790701 937385984 23233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22078] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22078/stat : 22078 (java) S 22060 22063 21920 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159790705 937385984 23233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22080] ppid=22060 vsize=915416 CPUtime=0.24
/proc/22063/task/22080/stat : 22080 (java) S 22060 22063 21920 0 -1 64 392 0 0 0 22 2 0 0 16 0 8 0 159790705 937385984 23233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22082] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22082/stat : 22082 (java) S 22060 22063 21920 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 159790705 937385984 23233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22084] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22084/stat : 22084 (java) S 22060 22063 21920 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159790705 937385984 23233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1715.81
Current children cumulated vsize (KiB) 915416

[startup+1784.61 s]
/proc/loadavg: 2.00 2.00 1.93 3/88 22087
/proc/meminfo: memFree=1741536/2055920 swapFree=4192812/4192956
[pid=22063] ppid=22060 vsize=915416 CPUtime=1775.57
/proc/22063/stat : 22063 (java) R 22060 22063 21920 0 -1 0 23501 0 1 0 177536 21 0 0 25 0 8 0 159790696 937385984 23233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073756264 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22063/statm: 228854 23233 2531 14 0 215324 0
[pid=22063/tid=22073] ppid=22060 vsize=915416 CPUtime=0.16
/proc/22063/task/22073/stat : 22073 (java) S 22060 22063 21920 0 -1 64 6497 0 0 0 14 2 0 0 16 0 8 0 159790701 937385984 23233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22076] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22076/stat : 22076 (java) S 22060 22063 21920 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159790701 937385984 23233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22077] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22077/stat : 22077 (java) S 22060 22063 21920 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159790701 937385984 23233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22078] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22078/stat : 22078 (java) S 22060 22063 21920 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159790705 937385984 23233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22080] ppid=22060 vsize=915416 CPUtime=0.24
/proc/22063/task/22080/stat : 22080 (java) S 22060 22063 21920 0 -1 64 392 0 0 0 22 2 0 0 16 0 8 0 159790705 937385984 23233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22082] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22082/stat : 22082 (java) S 22060 22063 21920 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 159790705 937385984 23233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22084] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22084/stat : 22084 (java) S 22060 22063 21920 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159790705 937385984 23233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1775.57
Current children cumulated vsize (KiB) 915416



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1809.19 s]
/proc/loadavg: 2.00 2.00 1.93 2/75 22101
/proc/meminfo: memFree=1779400/2055920 swapFree=4192812/4192956
[pid=22063] ppid=22060 vsize=915416 CPUtime=1800.04
/proc/22063/stat : 22063 (java) R 22060 22063 21920 0 -1 0 23501 0 1 0 179982 22 0 0 25 0 8 0 159790696 937385984 23233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22063/statm: 228854 23233 2531 14 0 215324 0
[pid=22063/tid=22073] ppid=22060 vsize=915416 CPUtime=0.16
/proc/22063/task/22073/stat : 22073 (java) S 22060 22063 21920 0 -1 64 6497 0 0 0 14 2 0 0 16 0 8 0 159790701 937385984 23233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22076] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22076/stat : 22076 (java) S 22060 22063 21920 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159790701 937385984 23233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22077] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22077/stat : 22077 (java) S 22060 22063 21920 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159790701 937385984 23233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22078] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22078/stat : 22078 (java) S 22060 22063 21920 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159790705 937385984 23233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22080] ppid=22060 vsize=915416 CPUtime=0.24
/proc/22063/task/22080/stat : 22080 (java) S 22060 22063 21920 0 -1 64 392 0 0 0 22 2 0 0 16 0 8 0 159790705 937385984 23233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22082] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22082/stat : 22082 (java) S 22060 22063 21920 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 159790705 937385984 23233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22084] ppid=22060 vsize=915416 CPUtime=0
/proc/22063/task/22084/stat : 22084 (java) S 22060 22063 21920 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159790705 937385984 23233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 915416

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

Child status: 143
Real time (s): 1809.22
CPU time (s): 1800.08
CPU user time (s): 1799.84
CPU system time (s): 0.234964
CPU usage (%): 99.4944
Max. virtual memory (cumulated for all children) (KiB): 915416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.84
system time used= 0.234964
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23518
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= 37742
involuntary context switches= 46436

runsolver used 2.25066 s user time and 5.05223 s system time

The end

Launcher Data (download as text)

Begin job on node60 on Sat Jan  6 20:05:28 UTC 2007


IDJOB= 195792
IDBENCH= 3302
FILE ID= node60/195792-1168113928

PBS_JOBID= 3477420

Free space on /tmp= 66546 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  0af48681c41d1228d14cb349d509e17b

RANDOM SEED= 226118974

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:       1860824 kB
Buffers:         15412 kB
Cached:         113516 kB
SwapCached:          0 kB
Active:          86904 kB
Inactive:        62104 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1860824 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            7820 kB
Writeback:           0 kB
Mapped:          30292 kB
Slab:            31712 kB
Committed_AS:  3406500 kB
PageTables:       1724 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= 66549 MiB



End job on node60 on Sat Jan  6 20:35:38 UTC 2007