Trace number 203209

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.1 1814.49

General information on the benchmark

Namerandom/rand-3-28-28-fcd/
rand-3-28-28-93-632-fcd-43_ext.xml
MD5SUM2ae7f7a6604a7867e7e4ad10acde61da
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 benchmark246.336
SatisfiableYES
(Un)Satisfiability was proved
Number of variables28
Number of constraints93
Maximum constraint arity3
Maximum domain size28
Number of constraints which are defined in extension93
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=esac.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/203209-1168157926/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.41	     nbVariables=28  nbDomainTypes=1  minDomainSize=28  maxDomainSize=28
0.41	       =>  wckTime=0.099  cpuTime=0.09  mem=6M951
0.41	   
0.41	   relations being loaded...
1.57	   
1.57	   constraints being loaded...
2.32	     nbConstraints=92  nbRelationTypes=93  nbMergedConstraints=1  nbExtensionStructures=92
2.32	     nbSharedExtensionStructures=0  nbConflictsStructures=92  nbSharedConflictsStructures=0
2.32	     nbSharedBinaryRepresentations=0  maxDegree=17  maxArity=3
2.32	       =>  wckTime=2.008  cpuTime=1.62  mem=58M148
2.48	   
2.48	   solver IterativeSystematicSolver being built... 
2.65	       =>  wckTime=2.34  cpuTime=1.76  mem=65M621
2.79	   
2.79	   preprocessing
2.79	     nbConstraintChecks=43477  nbValidityChecks=68384  nbPropagations=209  nbRevisions=2187  nbUselessRevisions=1920
2.79	     nbSingletonTests=33  nbEffectiveSingletonTests=0  nbESACBranches=4  nbRemovedValues=0  detectedInconsistency=no
2.79	       =>  wckTime=0.131  cpuTime=0.11  mem=65M621
2.90	   
2.90	   search
2.90	     run=0  nbConstraintChecks=53311  nbValidityChecks=104653  nbPropagations=633  nbRevisions=7499
2.90	     nbUselessRevisions=6244  nbAssignments=33  nbFailedAssignments=17  nbBacktracks=10  nbVisitedNodes=60
2.90	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
2.90	       =>  wckTime=0.24  cpuTime=0.21  mem=66M629
2.99	   
2.99	   search
2.99	     run=1  nbConstraintChecks=106300  nbValidityChecks=199187  nbPropagations=1549  nbRevisions=18730
2.99	     nbUselessRevisions=15640  nbAssignments=65  nbFailedAssignments=30  nbBacktracks=25  nbVisitedNodes=113
2.99	     nbRestartNogoods=3  mapSize=21  nbInferences=0  nbTooLargeKeys=0
2.99	       =>  wckTime=0.332  cpuTime=0.3  mem=66M629
3.10	   
3.11	   search
3.11	     run=2  nbConstraintChecks=164938  nbValidityChecks=302575  nbPropagations=2961  nbRevisions=35703
3.11	     nbUselessRevisions=29613  nbAssignments=116  nbFailedAssignments=51  nbBacktracks=50  nbVisitedNodes=195
3.11	     nbRestartNogoods=7  mapSize=36  nbInferences=0  nbTooLargeKeys=0
3.11	       =>  wckTime=0.447  cpuTime=0.4  mem=66M629
3.31	   
3.31	   search
3.31	     run=3  nbConstraintChecks=281037  nbValidityChecks=533263  nbPropagations=5389  nbRevisions=64387
3.31	     nbUselessRevisions=53015  nbAssignments=200  nbFailedAssignments=88  nbBacktracks=83  nbVisitedNodes=326
3.31	     nbRestartNogoods=10  mapSize=67  nbInferences=0  nbTooLargeKeys=0
3.31	       =>  wckTime=0.653  cpuTime=0.6  mem=66M629
3.50	   
3.50	   search
3.51	     run=4  nbConstraintChecks=387202  nbValidityChecks=761641  nbPropagations=9155  nbRevisions=107613
3.51	     nbUselessRevisions=87857  nbAssignments=306  nbFailedAssignments=135  nbBacktracks=134  nbVisitedNodes=508
3.51	     nbRestartNogoods=12  mapSize=105  nbInferences=0  nbTooLargeKeys=0
3.51	       =>  wckTime=0.846  cpuTime=0.78  mem=66M629
4.18	   
4.18	   search
4.18	     run=5  nbConstraintChecks=776579  nbValidityChecks=1611666  nbPropagations=16549  nbRevisions=199132
4.18	     nbUselessRevisions=160647  nbAssignments=597  nbFailedAssignments=315  nbBacktracks=209  nbVisitedNodes=1008
4.18	     nbRestartNogoods=21  mapSize=180  nbInferences=0  nbTooLargeKeys=0
4.18	       =>  wckTime=1.525  cpuTime=1.46  mem=66M629
4.63	   
4.63	   search
4.63	     run=6  nbConstraintChecks=1033775  nbValidityChecks=2120937  nbPropagations=26582  nbRevisions=320556
4.63	     nbUselessRevisions=256949  nbAssignments=829  nbFailedAssignments=414  nbBacktracks=325  nbVisitedNodes=1372
4.63	     nbRestartNogoods=30  mapSize=260  nbInferences=0  nbTooLargeKeys=0
4.63	       =>  wckTime=1.969  cpuTime=1.89  mem=66M629
5.20	   
5.20	   search
5.20	     run=7  nbConstraintChecks=1371687  nbValidityChecks=2791768  nbPropagations=39949  nbRevisions=480559
5.20	     nbUselessRevisions=383880  nbAssignments=1126  nbFailedAssignments=536  nbBacktracks=496  nbVisitedNodes=1865
5.20	     nbRestartNogoods=35  mapSize=378  nbInferences=0  nbTooLargeKeys=0
5.20	       =>  wckTime=2.542  cpuTime=2.46  mem=66M629
6.80	   
6.80	   search
6.80	     run=8  nbConstraintChecks=2389817  nbValidityChecks=4705282  nbPropagations=60609  nbRevisions=731466
6.80	     nbUselessRevisions=582800  nbAssignments=1722  nbFailedAssignments=871  nbBacktracks=752  nbVisitedNodes=2967
6.80	     nbRestartNogoods=37  mapSize=604  nbInferences=0  nbTooLargeKeys=0
6.80	       =>  wckTime=4.145  cpuTime=4.02  mem=66M629
9.27	   
9.27	   search
9.27	     run=9  nbConstraintChecks=3929157  nbValidityChecks=7719970  nbPropagations=92396  nbRevisions=1143224
9.27	     nbUselessRevisions=912737  nbAssignments=2787  nbFailedAssignments=1543  nbBacktracks=1136  nbVisitedNodes=4948
9.27	     nbRestartNogoods=45  mapSize=906  nbInferences=0  nbTooLargeKeys=0
9.27	       =>  wckTime=6.615  cpuTime=6.46  mem=66M629
9.89	   
9.90	   INFO : Stopping hyperNogood (mapSize=1024, nbTooLargekeys=0, mem=66M629)
11.38	   
11.38	   search
11.38	     run=10  nbConstraintChecks=5238828  nbValidityChecks=10320659  nbPropagations=137853  nbRevisions=1703545
11.38	     nbUselessRevisions=1359328  nbAssignments=3983  nbFailedAssignments=2114  nbBacktracks=1712  nbVisitedNodes=6940
11.38	     nbRestartNogoods=55
11.38	       =>  wckTime=8.722  cpuTime=8.54  mem=66M629
15.12	   
15.12	   search
15.12	     run=11  nbConstraintChecks=7661934  nbValidityChecks=15045741  nbPropagations=205439  nbRevisions=2526602
15.12	     nbUselessRevisions=2013542  nbAssignments=5949  nbFailedAssignments=3211  nbBacktracks=2578  nbVisitedNodes=10467
15.12	     nbRestartNogoods=64
15.12	       =>  wckTime=12.465  cpuTime=12.25  mem=66M629
20.66	   
20.66	   search
20.66	     run=12  nbConstraintChecks=11336320  nbValidityChecks=21686577  nbPropagations=301629  nbRevisions=3683380
20.66	     nbUselessRevisions=2934385  nbAssignments=8450  nbFailedAssignments=4408  nbBacktracks=3875  nbVisitedNodes=14805
20.66	     nbRestartNogoods=70
20.66	       =>  wckTime=18.006  cpuTime=17.74  mem=66M629
31.56	   
31.56	   search
31.56	     run=13  nbConstraintChecks=18427987  nbValidityChecks=35299105  nbPropagations=449653  nbRevisions=5503300
31.56	     nbUselessRevisions=4388814  nbAssignments=13208  nbFailedAssignments=7215  nbBacktracks=5822  nbVisitedNodes=23540
31.56	     nbRestartNogoods=82
31.56	       =>  wckTime=28.901  cpuTime=28.53  mem=66M629
42.21	   
42.21	   search
42.21	     run=14  nbConstraintChecks=25059188  nbValidityChecks=48362492  nbPropagations=663955  nbRevisions=8081256
42.21	     nbUselessRevisions=6441548  nbAssignments=18806  nbFailedAssignments=9888  nbBacktracks=8743  nbVisitedNodes=33254
42.21	     nbRestartNogoods=90
42.21	       =>  wckTime=39.554  cpuTime=39.09  mem=66M629
61.49	   
61.49	   search
61.49	     run=15  nbConstraintChecks=37255970  nbValidityChecks=71054520  nbPropagations=974682  nbRevisions=11818011
61.49	     nbUselessRevisions=9411639  nbAssignments=27385  nbFailedAssignments=14060  nbBacktracks=13121
61.49	     nbVisitedNodes=48181  nbRestartNogoods=104
61.49	       =>  wckTime=58.833  cpuTime=58.2  mem=66M629
94.93	   
94.93	   search
94.93	     run=16  nbConstraintChecks=58887548  nbValidityChecks=112057426  nbPropagations=1453169  nbRevisions=17586729
94.93	     nbUselessRevisions=13995519  nbAssignments=40898  nbFailedAssignments=20973  nbBacktracks=19689
94.93	     nbVisitedNodes=72545  nbRestartNogoods=118
94.93	       =>  wckTime=92.274  cpuTime=91.33  mem=66M629
162.86	   
162.86	   search
162.86	     run=17  nbConstraintChecks=102975634  nbValidityChecks=200042907  nbPropagations=2246921  nbRevisions=28116204
162.86	     nbUselessRevisions=22452707  nbAssignments=74368  nbFailedAssignments=44586  nbBacktracks=29543
162.86	     nbVisitedNodes=135886  nbRestartNogoods=131
162.86	       =>  wckTime=160.206  cpuTime=158.64  mem=66M629
254.03	   
254.03	   search
254.03	     run=18  nbConstraintChecks=162043117  nbValidityChecks=311889302  nbPropagations=3446702  nbRevisions=43789330
254.03	     nbUselessRevisions=35031499  nbAssignments=110703  nbFailedAssignments=66139  nbBacktracks=44321
254.03	     nbVisitedNodes=202628  nbRestartNogoods=142
254.03	       =>  wckTime=251.368  cpuTime=248.97  mem=66M629
337.57	   
337.57	   search
337.57	     run=19  nbConstraintChecks=214908567  nbValidityChecks=413702260  nbPropagations=5128032  nbRevisions=65006104
337.57	     nbUselessRevisions=52012303  nbAssignments=153076  nbFailedAssignments=86340  nbBacktracks=66489
337.57	     nbVisitedNodes=275796  nbRestartNogoods=156
337.57	       =>  wckTime=334.91  cpuTime=331.74  mem=66M629
488.95	   
488.95	   search
488.95	     run=20  nbConstraintChecks=311905853  nbValidityChecks=595761079  nbPropagations=7584653  nbRevisions=95505338
488.95	     nbUselessRevisions=76381088  nbAssignments=219257  nbFailedAssignments=119253  nbBacktracks=99743
488.95	     nbVisitedNodes=392279  nbRestartNogoods=175
488.95	       =>  wckTime=486.296  cpuTime=481.74  mem=66M629
731.57	   
731.57	   search
731.57	     run=21  nbConstraintChecks=468742043  nbValidityChecks=896103897  nbPropagations=11302680  nbRevisions=141202896
731.57	     nbUselessRevisions=112893831  nbAssignments=329423  nbFailedAssignments=179534  nbBacktracks=149621
731.57	     nbVisitedNodes=590186  nbRestartNogoods=200
731.57	       =>  wckTime=728.91  cpuTime=722.11  mem=66M629
1079.90	   
1079.90	   search
1079.90	     run=22  nbConstraintChecks=684175222  nbValidityChecks=1305884685  nbPropagations=16787207  nbRevisions=208060109
1079.90	     nbUselessRevisions=166268583  nbAssignments=478292  nbFailedAssignments=253547  nbBacktracks=224440
1079.90	     nbVisitedNodes=853067  nbRestartNogoods=231
1079.90	       =>  wckTime=1077.238  cpuTime=1066.94  mem=66M629
1614.46	   
1614.46	   search
1614.46	     run=23  nbConstraintChecks=1023821470  nbValidityChecks=1953382760  nbPropagations=24976450  nbRevisions=307723880
1614.46	     nbUselessRevisions=245846481  nbAssignments=710570  nbFailedAssignments=373583  nbBacktracks=336667
1614.46	     nbVisitedNodes=1266689  nbRestartNogoods=271
1614.46	       =>  wckTime=1611.805  cpuTime=1598.58  mem=66M629

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/node2/watcher-203209-1168157926 -o ROOT/results/node2/solver-203209-1168157926 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203209-1168157926/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.00 2.01 2.00 4/86 2248
/proc/meminfo: memFree=1227272/2055920 swapFree=4191880/4192956
[pid=2247] ppid=2245 vsize=18540 CPUtime=0
/proc/2247/stat : 2247 (runsolver) R 2245 2247 1078 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 164188319 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 206381313319 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/2247/statm: 4635 279 244 17 0 2626 0

[startup+0.102969 s]
/proc/loadavg: 2.00 2.01 2.00 4/86 2248
/proc/meminfo: memFree=1227272/2055920 swapFree=4191880/4192956
[pid=2247] ppid=2245 vsize=914988 CPUtime=0.08
/proc/2247/stat : 2247 (java) R 2245 2247 1078 0 -1 0 2959 0 1 0 7 1 0 0 19 0 8 0 164188319 936947712 2705 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152779144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2247/statm: 228747 2705 1416 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.511045 s]
/proc/loadavg: 2.00 2.01 2.00 4/86 2248
/proc/meminfo: memFree=1227272/2055920 swapFree=4191880/4192956
[pid=2247] ppid=2245 vsize=915328 CPUtime=0.49
/proc/2247/stat : 2247 (java) R 2245 2247 1078 0 -1 0 7569 0 1 0 44 5 0 0 18 0 8 0 164188319 937295872 7308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073561096 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2247/statm: 228832 7308 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33219 s]
/proc/loadavg: 2.00 2.01 2.00 3/93 2255
/proc/meminfo: memFree=1160208/2055920 swapFree=4191880/4192956
[pid=2247] ppid=2245 vsize=915328 CPUtime=1.3
/proc/2247/stat : 2247 (java) R 2245 2247 1078 0 -1 0 19099 0 1 0 121 9 0 0 25 0 8 0 164188319 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073583157 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2247/statm: 228832 18837 2149 14 0 215302 0
[pid=2247/tid=2249] ppid=2245 vsize=915328 CPUtime=0.04
/proc/2247/task/2249/stat : 2249 (java) S 2245 2247 1078 0 -1 64 2681 0 0 0 4 0 0 0 17 0 8 0 164188323 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2250] ppid=2245 vsize=915328 CPUtime=0
/proc/2247/task/2250/stat : 2250 (java) S 2245 2247 1078 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164188324 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2251] ppid=2245 vsize=915328 CPUtime=0
/proc/2247/task/2251/stat : 2251 (java) S 2245 2247 1078 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164188324 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2252] ppid=2245 vsize=915328 CPUtime=0
/proc/2247/task/2252/stat : 2252 (java) S 2245 2247 1078 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164188327 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2253] ppid=2245 vsize=915328 CPUtime=0.07
/proc/2247/task/2253/stat : 2253 (java) S 2245 2247 1078 0 -1 64 308 0 0 0 7 0 0 0 16 0 8 0 164188327 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2254] ppid=2245 vsize=915328 CPUtime=0
/proc/2247/task/2254/stat : 2254 (java) S 2245 2247 1078 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164188327 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2255] ppid=2245 vsize=915328 CPUtime=0
/proc/2247/task/2255/stat : 2255 (java) S 2245 2247 1078 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164188327 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915328

[startup+2.9775 s]
/proc/loadavg: 2.00 2.01 2.00 3/93 2255
/proc/meminfo: memFree=1119440/2055920 swapFree=4191880/4192956
[pid=2247] ppid=2245 vsize=915440 CPUtime=2.93
/proc/2247/stat : 2247 (java) R 2245 2247 1078 0 -1 0 32574 0 1 0 278 15 0 0 25 0 8 0 164188319 937410560 32309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073664841 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2247/statm: 228860 32309 2531 14 0 215330 0
[pid=2247/tid=2249] ppid=2245 vsize=915440 CPUtime=0.44
/proc/2247/task/2249/stat : 2249 (java) S 2245 2247 1078 0 -1 64 15583 0 0 0 38 6 0 0 17 0 8 0 164188323 937410560 32309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2250] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2250/stat : 2250 (java) S 2245 2247 1078 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164188324 937410560 32309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2251] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2251/stat : 2251 (java) S 2245 2247 1078 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164188324 937410560 32309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2252] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2252/stat : 2252 (java) S 2245 2247 1078 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164188327 937410560 32309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2253] ppid=2245 vsize=915440 CPUtime=0.19
/proc/2247/task/2253/stat : 2253 (java) S 2245 2247 1078 0 -1 64 373 0 0 0 19 0 0 0 15 0 8 0 164188327 937410560 32309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2254] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2254/stat : 2254 (java) S 2245 2247 1078 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164188327 937410560 32309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2255] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2255/stat : 2255 (java) S 2245 2247 1078 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164188327 937410560 32309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915440

[startup+6.27311 s]
/proc/loadavg: 2.00 2.01 2.00 3/93 2257
/proc/meminfo: memFree=1107544/2055920 swapFree=4191880/4192956
[pid=2247] ppid=2245 vsize=915440 CPUtime=6.2
/proc/2247/stat : 2247 (java) R 2245 2247 1078 0 -1 0 32592 0 1 0 604 16 0 0 25 0 8 0 164188319 937410560 32324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073817371 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2247/statm: 228860 32324 2531 14 0 215330 0
[pid=2247/tid=2249] ppid=2245 vsize=915440 CPUtime=0.44
/proc/2247/task/2249/stat : 2249 (java) S 2245 2247 1078 0 -1 64 15583 0 0 0 38 6 0 0 17 0 8 0 164188323 937410560 32324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2250] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2250/stat : 2250 (java) S 2245 2247 1078 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164188324 937410560 32324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2251] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2251/stat : 2251 (java) S 2245 2247 1078 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164188324 937410560 32324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2252] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2252/stat : 2252 (java) S 2245 2247 1078 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164188327 937410560 32324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2253] ppid=2245 vsize=915440 CPUtime=0.22
/proc/2247/task/2253/stat : 2253 (java) S 2245 2247 1078 0 -1 64 388 0 0 0 22 0 0 0 15 0 8 0 164188327 937410560 32324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2254] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2254/stat : 2254 (java) S 2245 2247 1078 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164188327 937410560 32324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2255] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2255/stat : 2255 (java) S 2245 2247 1078 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164188327 937410560 32324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915440

[startup+12.7563 s]
/proc/loadavg: 2.00 2.01 2.00 3/93 2257
/proc/meminfo: memFree=1107672/2055920 swapFree=4191880/4192956
[pid=2247] ppid=2245 vsize=915440 CPUtime=12.61
/proc/2247/stat : 2247 (java) R 2245 2247 1078 0 -1 0 32605 0 1 0 1245 16 0 0 25 0 8 0 164188319 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073664884 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2247/statm: 228860 32334 2531 14 0 215330 0
[pid=2247/tid=2249] ppid=2245 vsize=915440 CPUtime=0.44
/proc/2247/task/2249/stat : 2249 (java) S 2245 2247 1078 0 -1 64 15583 0 0 0 38 6 0 0 17 0 8 0 164188323 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2250] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2250/stat : 2250 (java) S 2245 2247 1078 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164188324 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2251] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2251/stat : 2251 (java) S 2245 2247 1078 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164188324 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2252] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2252/stat : 2252 (java) S 2245 2247 1078 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164188327 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2253] ppid=2245 vsize=915440 CPUtime=0.25
/proc/2247/task/2253/stat : 2253 (java) S 2245 2247 1078 0 -1 64 399 0 0 0 24 1 0 0 16 0 8 0 164188327 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2254] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2254/stat : 2254 (java) S 2245 2247 1078 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164188327 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2255] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2255/stat : 2255 (java) S 2245 2247 1078 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164188327 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915440

[startup+25.6257 s]
/proc/loadavg: 2.00 2.01 2.00 3/93 2257
/proc/meminfo: memFree=1107864/2055920 swapFree=4191880/4192956
[pid=2247] ppid=2245 vsize=915440 CPUtime=25.37
/proc/2247/stat : 2247 (java) R 2245 2247 1078 0 -1 0 32608 0 1 0 2521 16 0 0 25 0 8 0 164188319 937410560 32336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073664841 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2247/statm: 228860 32336 2531 14 0 215330 0
[pid=2247/tid=2249] ppid=2245 vsize=915440 CPUtime=0.44
/proc/2247/task/2249/stat : 2249 (java) S 2245 2247 1078 0 -1 64 15583 0 0 0 38 6 0 0 16 0 8 0 164188323 937410560 32336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2250] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2250/stat : 2250 (java) S 2245 2247 1078 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164188324 937410560 32336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2251] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2251/stat : 2251 (java) S 2245 2247 1078 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164188324 937410560 32336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2252] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2252/stat : 2252 (java) S 2245 2247 1078 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164188327 937410560 32336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2253] ppid=2245 vsize=915440 CPUtime=0.25
/proc/2247/task/2253/stat : 2253 (java) S 2245 2247 1078 0 -1 64 402 0 0 0 24 1 0 0 16 0 8 0 164188327 937410560 32336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2254] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2254/stat : 2254 (java) S 2245 2247 1078 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164188327 937410560 32336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2255] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2255/stat : 2255 (java) S 2245 2247 1078 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164188327 937410560 32336 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.2554 s]
/proc/loadavg: 2.00 2.01 2.00 3/93 2257
/proc/meminfo: memFree=1107928/2055920 swapFree=4191880/4192956
[pid=2247] ppid=2245 vsize=915440 CPUtime=50.76
/proc/2247/stat : 2247 (java) R 2245 2247 1078 0 -1 0 32609 0 1 0 5060 16 0 0 25 0 8 0 164188319 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073796319 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2247/statm: 228860 32337 2531 14 0 215330 0
[pid=2247/tid=2249] ppid=2245 vsize=915440 CPUtime=0.44
/proc/2247/task/2249/stat : 2249 (java) S 2245 2247 1078 0 -1 64 15583 0 0 0 38 6 0 0 16 0 8 0 164188323 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2250] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2250/stat : 2250 (java) S 2245 2247 1078 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164188324 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2251] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2251/stat : 2251 (java) S 2245 2247 1078 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164188324 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2252] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2252/stat : 2252 (java) S 2245 2247 1078 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2253] ppid=2245 vsize=915440 CPUtime=0.25
/proc/2247/task/2253/stat : 2253 (java) S 2245 2247 1078 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2254] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2254/stat : 2254 (java) S 2245 2247 1078 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2255] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2255/stat : 2255 (java) S 2245 2247 1078 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.76
Current children cumulated vsize (KiB) 915440

[startup+102.51 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 2257
/proc/meminfo: memFree=1107928/2055920 swapFree=4191880/4192956
[pid=2247] ppid=2245 vsize=915440 CPUtime=101.55
/proc/2247/stat : 2247 (java) R 2245 2247 1078 0 -1 0 32610 0 1 0 10138 17 0 0 25 0 8 0 164188319 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073664841 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2247/statm: 228860 32337 2531 14 0 215330 0
[pid=2247/tid=2249] ppid=2245 vsize=915440 CPUtime=0.44
/proc/2247/task/2249/stat : 2249 (java) S 2245 2247 1078 0 -1 64 15583 0 0 0 38 6 0 0 16 0 8 0 164188323 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2250] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2250/stat : 2250 (java) S 2245 2247 1078 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164188324 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2251] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2251/stat : 2251 (java) S 2245 2247 1078 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164188324 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2252] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2252/stat : 2252 (java) S 2245 2247 1078 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2253] ppid=2245 vsize=915440 CPUtime=0.25
/proc/2247/task/2253/stat : 2253 (java) S 2245 2247 1078 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2254] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2254/stat : 2254 (java) S 2245 2247 1078 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2255] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2255/stat : 2255 (java) S 2245 2247 1078 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.55
Current children cumulated vsize (KiB) 915440

[startup+162.52 s]
/proc/loadavg: 2.00 2.00 2.00 4/93 2257
/proc/meminfo: memFree=1107928/2055920 swapFree=4191880/4192956
[pid=2247] ppid=2245 vsize=915440 CPUtime=161.01
/proc/2247/stat : 2247 (java) R 2245 2247 1078 0 -1 0 32610 0 1 0 16084 17 0 0 25 0 8 0 164188319 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073818119 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+1482.92 s]
/proc/loadavg: 2.08 2.05 2.01 3/105 2310
/proc/meminfo: memFree=657272/2055920 swapFree=4191880/4192956
[pid=2247] ppid=2245 vsize=915440 CPUtime=1470.45
/proc/2247/stat : 2247 (java) R 2245 2247 1078 0 -1 0 32610 0 1 0 147013 32 0 0 25 0 8 0 164188319 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2247/statm: 228860 32337 2531 14 0 215330 0
[pid=2247/tid=2249] ppid=2245 vsize=915440 CPUtime=0.44
/proc/2247/task/2249/stat : 2249 (java) S 2245 2247 1078 0 -1 64 15583 0 0 0 38 6 0 0 16 0 8 0 164188323 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2250] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2250/stat : 2250 (java) S 2245 2247 1078 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164188324 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2251] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2251/stat : 2251 (java) S 2245 2247 1078 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164188324 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2252] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2252/stat : 2252 (java) S 2245 2247 1078 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2253] ppid=2245 vsize=915440 CPUtime=0.25
/proc/2247/task/2253/stat : 2253 (java) S 2245 2247 1078 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2254] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2254/stat : 2254 (java) S 2245 2247 1078 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2255] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2255/stat : 2255 (java) S 2245 2247 1078 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1470.45
Current children cumulated vsize (KiB) 915440

[startup+1542.93 s]
/proc/loadavg: 2.03 2.04 2.00 3/105 2310
/proc/meminfo: memFree=657208/2055920 swapFree=4191880/4192956
[pid=2247] ppid=2245 vsize=915440 CPUtime=1530.13
/proc/2247/stat : 2247 (java) R 2245 2247 1078 0 -1 0 32610 0 1 0 152980 33 0 0 25 0 8 0 164188319 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073630036 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2247/statm: 228860 32337 2531 14 0 215330 0
[pid=2247/tid=2249] ppid=2245 vsize=915440 CPUtime=0.44
/proc/2247/task/2249/stat : 2249 (java) S 2245 2247 1078 0 -1 64 15583 0 0 0 38 6 0 0 16 0 8 0 164188323 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2250] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2250/stat : 2250 (java) S 2245 2247 1078 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164188324 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2251] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2251/stat : 2251 (java) S 2245 2247 1078 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164188324 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2252] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2252/stat : 2252 (java) S 2245 2247 1078 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2253] ppid=2245 vsize=915440 CPUtime=0.25
/proc/2247/task/2253/stat : 2253 (java) S 2245 2247 1078 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2254] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2254/stat : 2254 (java) S 2245 2247 1078 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2255] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2255/stat : 2255 (java) S 2245 2247 1078 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1530.13
Current children cumulated vsize (KiB) 915440

[startup+1602.94 s]
/proc/loadavg: 2.01 2.03 2.00 3/105 2310
/proc/meminfo: memFree=629752/2055920 swapFree=4191880/4192956
[pid=2247] ppid=2245 vsize=915440 CPUtime=1589.82
/proc/2247/stat : 2247 (java) R 2245 2247 1078 0 -1 0 32610 0 1 0 158949 33 0 0 25 0 8 0 164188319 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073664884 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2247/statm: 228860 32337 2531 14 0 215330 0
[pid=2247/tid=2249] ppid=2245 vsize=915440 CPUtime=0.44
/proc/2247/task/2249/stat : 2249 (java) S 2245 2247 1078 0 -1 64 15583 0 0 0 38 6 0 0 16 0 8 0 164188323 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2250] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2250/stat : 2250 (java) S 2245 2247 1078 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164188324 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2251] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2251/stat : 2251 (java) S 2245 2247 1078 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164188324 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2252] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2252/stat : 2252 (java) S 2245 2247 1078 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2253] ppid=2245 vsize=915440 CPUtime=0.25
/proc/2247/task/2253/stat : 2253 (java) S 2245 2247 1078 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2254] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2254/stat : 2254 (java) S 2245 2247 1078 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2255] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2255/stat : 2255 (java) S 2245 2247 1078 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1589.82
Current children cumulated vsize (KiB) 915440

[startup+1662.96 s]
/proc/loadavg: 2.16 2.07 2.01 4/105 2310
/proc/meminfo: memFree=629688/2055920 swapFree=4191880/4192956
[pid=2247] ppid=2245 vsize=915440 CPUtime=1649.51
/proc/2247/stat : 2247 (java) R 2245 2247 1078 0 -1 0 32610 0 1 0 164918 33 0 0 25 0 8 0 164188319 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073812311 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2247/statm: 228860 32337 2531 14 0 215330 0
[pid=2247/tid=2249] ppid=2245 vsize=915440 CPUtime=0.44
/proc/2247/task/2249/stat : 2249 (java) S 2245 2247 1078 0 -1 64 15583 0 0 0 38 6 0 0 16 0 8 0 164188323 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2250] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2250/stat : 2250 (java) S 2245 2247 1078 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164188324 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2251] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2251/stat : 2251 (java) S 2245 2247 1078 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164188324 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2252] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2252/stat : 2252 (java) S 2245 2247 1078 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2253] ppid=2245 vsize=915440 CPUtime=0.25
/proc/2247/task/2253/stat : 2253 (java) S 2245 2247 1078 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2254] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2254/stat : 2254 (java) S 2245 2247 1078 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2255] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2255/stat : 2255 (java) S 2245 2247 1078 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1649.51
Current children cumulated vsize (KiB) 915440

[startup+1722.98 s]
/proc/loadavg: 2.13 2.08 2.02 3/105 2310
/proc/meminfo: memFree=601144/2055920 swapFree=4191880/4192956
[pid=2247] ppid=2245 vsize=915440 CPUtime=1709.09
/proc/2247/stat : 2247 (java) R 2245 2247 1078 0 -1 0 32610 0 1 0 170875 34 0 0 25 0 8 0 164188319 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073817375 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2247/statm: 228860 32337 2531 14 0 215330 0
[pid=2247/tid=2249] ppid=2245 vsize=915440 CPUtime=0.44
/proc/2247/task/2249/stat : 2249 (java) S 2245 2247 1078 0 -1 64 15583 0 0 0 38 6 0 0 16 0 8 0 164188323 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2250] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2250/stat : 2250 (java) S 2245 2247 1078 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164188324 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2251] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2251/stat : 2251 (java) S 2245 2247 1078 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164188324 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2252] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2252/stat : 2252 (java) S 2245 2247 1078 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2253] ppid=2245 vsize=915440 CPUtime=0.25
/proc/2247/task/2253/stat : 2253 (java) S 2245 2247 1078 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2254] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2254/stat : 2254 (java) S 2245 2247 1078 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2255] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2255/stat : 2255 (java) S 2245 2247 1078 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1709.09
Current children cumulated vsize (KiB) 915440

[startup+1783.01 s]
/proc/loadavg: 2.19 2.10 2.02 3/105 2310
/proc/meminfo: memFree=571256/2055920 swapFree=4191880/4192956
[pid=2247] ppid=2245 vsize=915440 CPUtime=1768.79
/proc/2247/stat : 2247 (java) R 2245 2247 1078 0 -1 0 32610 0 1 0 176845 34 0 0 25 0 8 0 164188319 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634858 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2247/statm: 228860 32337 2531 14 0 215330 0
[pid=2247/tid=2249] ppid=2245 vsize=915440 CPUtime=0.44
/proc/2247/task/2249/stat : 2249 (java) S 2245 2247 1078 0 -1 64 15583 0 0 0 38 6 0 0 16 0 8 0 164188323 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2250] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2250/stat : 2250 (java) S 2245 2247 1078 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164188324 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2251] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2251/stat : 2251 (java) S 2245 2247 1078 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164188324 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2252] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2252/stat : 2252 (java) S 2245 2247 1078 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2253] ppid=2245 vsize=915440 CPUtime=0.25
/proc/2247/task/2253/stat : 2253 (java) S 2245 2247 1078 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2254] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2254/stat : 2254 (java) S 2245 2247 1078 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2255] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2255/stat : 2255 (java) S 2245 2247 1078 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1768.79
Current children cumulated vsize (KiB) 915440



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1814.4 s]
/proc/loadavg: 2.17 2.10 2.02 3/105 2310
/proc/meminfo: memFree=571256/2055920 swapFree=4191880/4192956
[pid=2247] ppid=2245 vsize=915440 CPUtime=1800.01
/proc/2247/stat : 2247 (java) R 2245 2247 1078 0 -1 0 32610 0 1 0 179967 34 0 0 25 0 8 0 164188319 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073803296 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2247/statm: 228860 32337 2531 14 0 215330 0
[pid=2247/tid=2249] ppid=2245 vsize=915440 CPUtime=0.44
/proc/2247/task/2249/stat : 2249 (java) S 2245 2247 1078 0 -1 64 15583 0 0 0 38 6 0 0 16 0 8 0 164188323 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2250] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2250/stat : 2250 (java) S 2245 2247 1078 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164188324 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2251] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2251/stat : 2251 (java) S 2245 2247 1078 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164188324 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2252] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2252/stat : 2252 (java) S 2245 2247 1078 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2253] ppid=2245 vsize=915440 CPUtime=0.25
/proc/2247/task/2253/stat : 2253 (java) S 2245 2247 1078 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2254] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2254/stat : 2254 (java) S 2245 2247 1078 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2255] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2255/stat : 2255 (java) S 2245 2247 1078 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 915440

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

Child status: 143
Real time (s): 1814.49
CPU time (s): 1800.1
CPU user time (s): 1799.74
CPU system time (s): 0.362944
CPU usage (%): 99.2069
Max. virtual memory (cumulated for all children) (KiB): 915440

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

runsolver used 2.53561 s user time and 6.19706 s system time

The end

Launcher Data (download as text)

Begin job on node2 on Sun Jan  7 08:18:47 UTC 2007


IDJOB= 203209
IDBENCH= 3929
FILE ID= node2/203209-1168157926

PBS_JOBID= 3478243

Free space on /tmp= 66319 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  2ae7f7a6604a7867e7e4ad10acde61da

RANDOM SEED= 741545107

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.259
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5931.00
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.259
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:       1227752 kB
Buffers:         75712 kB
Cached:         605880 kB
SwapCached:        448 kB
Active:         383124 kB
Inactive:       375952 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1227752 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            7580 kB
Writeback:           0 kB
Mapped:          99044 kB
Slab:            53848 kB
Committed_AS:  3909292 kB
PageTables:       2372 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= 66320 MiB



End job on node2 on Sun Jan  7 08:49:01 UTC 2007