Trace number 196352

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 AC? (TO) 1800.16 1801.15

General information on the benchmark

Namerandom/rand-3-24-24/
rand-3-24-24-76-632-31_ext.xml
MD5SUM726af88af1079335d6926acf183029ad
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 benchmark980.19
SatisfiableYES
(Un)Satisfiability was proved
Number of variables24
Number of constraints72
Maximum constraint arity3
Maximum domain size24
Number of constraints which are defined in extension72
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.86	   
0.86	Abscon 109 (November, 2006)
0.86	   
0.86	   configuration
0.86	     name=mac.xml
0.89	   
0.89	   instance
0.89	     name=/tmp/evaluation/196352-1168070586/unknown.xml
0.92	   
0.92	   domains being loaded...
0.93	   
0.93	   variables being loaded...
0.96	     nbVariables=24  nbDomainTypes=1  minDomainSize=24  maxDomainSize=24
0.96	       =>  wckTime=0.095  cpuTime=0.09  mem=6M951
0.96	   
0.96	   relations being loaded...
1.48	   
1.48	   constraints being loaded...
1.78	     nbConstraints=72  nbRelationTypes=72  nbExtensionStructures=72  nbSharedExtensionStructures=0
1.78	     nbConflictsStructures=72  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=13  maxArity=3
1.78	       =>  wckTime=0.915  cpuTime=0.79  mem=44M13
1.89	   
1.89	   solver IterativeSystematicSolver being built... 
2.04	       =>  wckTime=1.175  cpuTime=0.91  mem=33M82
2.04	   
2.05	   preprocessing
2.05	     nbConstraintChecks=0  nbPropagations=24  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
2.05	     detectedInconsistency=no
2.05	       =>  wckTime=0.0030  cpuTime=0.0  mem=33M82
2.13	   
2.13	   search
2.13	     run=0  nbConstraintChecks=21698  nbValidityChecks=37868  nbPropagations=223  nbRevisions=2325
2.13	     nbUselessRevisions=1886  nbAssignments=23  nbFailedAssignments=6  nbBacktracks=10  nbVisitedNodes=35
2.13	     nbRestartNogoods=0  mapSize=7  nbInferences=0  nbTooLargeKeys=0
2.13	       =>  wckTime=0.087  cpuTime=0.06  mem=34M123
2.22	   
2.22	   search
2.22	     run=1  nbConstraintChecks=71122  nbValidityChecks=131669  nbPropagations=1014  nbRevisions=10897
2.22	     nbUselessRevisions=8672  nbAssignments=69  nbFailedAssignments=29  nbBacktracks=25  nbVisitedNodes=115
2.22	     nbRestartNogoods=2  mapSize=20  nbInferences=0  nbTooLargeKeys=0
2.22	       =>  wckTime=0.176  cpuTime=0.14  mem=34M123
2.33	   
2.33	   search
2.33	     run=2  nbConstraintChecks=138775  nbValidityChecks=268329  nbPropagations=2485  nbRevisions=27655
2.33	     nbUselessRevisions=21976  nbAssignments=129  nbFailedAssignments=61  nbBacktracks=47  nbVisitedNodes=220
2.33	     nbRestartNogoods=11  mapSize=39  nbInferences=0  nbTooLargeKeys=0
2.33	       =>  wckTime=0.291  cpuTime=0.24  mem=34M123
2.48	   
2.48	   search
2.48	     run=3  nbConstraintChecks=242221  nbValidityChecks=467257  nbPropagations=5007  nbRevisions=57514
2.48	     nbUselessRevisions=45599  nbAssignments=216  nbFailedAssignments=110  nbBacktracks=80  nbVisitedNodes=376
2.48	     nbRestartNogoods=19  mapSize=67  nbInferences=0  nbTooLargeKeys=0
2.48	       =>  wckTime=0.443  cpuTime=0.38  mem=34M123
2.68	   
2.68	   search
2.68	     run=4  nbConstraintChecks=382228  nbValidityChecks=749103  nbPropagations=9062  nbRevisions=105284
2.68	     nbUselessRevisions=83089  nbAssignments=369  nbFailedAssignments=207  nbBacktracks=131  nbVisitedNodes=660
2.68	     nbRestartNogoods=22  mapSize=117  nbInferences=0  nbTooLargeKeys=0
2.68	       =>  wckTime=0.642  cpuTime=0.58  mem=34M123
3.01	   
3.01	   search
3.01	     run=5  nbConstraintChecks=619900  nbValidityChecks=1207315  nbPropagations=15452  nbRevisions=182785
3.01	     nbUselessRevisions=144148  nbAssignments=563  nbFailedAssignments=320  nbBacktracks=207  nbVisitedNodes=1022
3.01	     nbRestartNogoods=26  mapSize=187  nbInferences=0  nbTooLargeKeys=0
3.01	       =>  wckTime=0.971  cpuTime=0.91  mem=34M123
3.46	   
3.46	   search
3.46	     run=6  nbConstraintChecks=938297  nbValidityChecks=1837299  nbPropagations=25551  nbRevisions=302903
3.46	     nbUselessRevisions=238301  nbAssignments=862  nbFailedAssignments=502  nbBacktracks=320  nbVisitedNodes=1579
3.46	     nbRestartNogoods=31  mapSize=285  nbInferences=0  nbTooLargeKeys=0
3.46	       =>  wckTime=1.418  cpuTime=1.35  mem=34M123
4.36	   
4.36	   search
4.36	     run=7  nbConstraintChecks=1609418  nbValidityChecks=3111192  nbPropagations=41658  nbRevisions=497717
4.36	     nbUselessRevisions=390761  nbAssignments=1344  nbFailedAssignments=808  nbBacktracks=490  nbVisitedNodes=2490
4.36	     nbRestartNogoods=36  mapSize=435  nbInferences=0  nbTooLargeKeys=0
4.36	       =>  wckTime=2.319  cpuTime=2.25  mem=34M123
5.21	   
5.21	   search
5.21	     run=8  nbConstraintChecks=2237786  nbValidityChecks=4334030  nbPropagations=64462  nbRevisions=772760
5.21	     nbUselessRevisions=606585  nbAssignments=1999  nbFailedAssignments=1200  nbBacktracks=747  nbVisitedNodes=3677
5.21	     nbRestartNogoods=50  mapSize=641  nbInferences=0  nbTooLargeKeys=0
5.21	       =>  wckTime=3.173  cpuTime=3.09  mem=34M123
7.51	   
7.51	   search
7.51	     run=9  nbConstraintChecks=3945407  nbValidityChecks=7710810  nbPropagations=103945  nbRevisions=1255673
7.51	     nbUselessRevisions=985010  nbAssignments=3242  nbFailedAssignments=2054  nbBacktracks=1131  nbVisitedNodes=6079
7.51	     nbRestartNogoods=54  mapSize=1009  nbInferences=0  nbTooLargeKeys=0
7.51	       =>  wckTime=5.466  cpuTime=5.37  mem=34M123
7.56	   
7.56	   INFO : Stopping hyperNogood (mapSize=1023, nbTooLargekeys=0, mem=34M123)
9.64	   
9.64	   search
9.64	     run=10  nbConstraintChecks=5557404  nbValidityChecks=10864855  nbPropagations=159986  nbRevisions=1943110
9.64	     nbUselessRevisions=1525328  nbAssignments=4496  nbFailedAssignments=2727  nbBacktracks=1707  nbVisitedNodes=8388
9.64	     nbRestartNogoods=79
9.64	       =>  wckTime=7.598  cpuTime=7.49  mem=34M123
12.93	   
12.93	   search
12.93	     run=11  nbConstraintChecks=7935956  nbValidityChecks=15615458  nbPropagations=244293  nbRevisions=2945870
12.93	     nbUselessRevisions=2311727  nbAssignments=6754  nbFailedAssignments=4115  nbBacktracks=2573  nbVisitedNodes=12575
12.93	     nbRestartNogoods=89
12.93	       =>  wckTime=10.892  cpuTime=10.78  mem=34M123
18.91	   
18.91	   search
18.91	     run=12  nbConstraintChecks=12629008  nbValidityChecks=24443741  nbPropagations=371685  nbRevisions=4484298
18.91	     nbUselessRevisions=3518900  nbAssignments=10085  nbFailedAssignments=6144  nbBacktracks=3871  nbVisitedNodes=18883
18.91	     nbRestartNogoods=95
18.91	       =>  wckTime=16.865  cpuTime=16.75  mem=34M123
25.15	   
25.15	   search
25.15	     run=13  nbConstraintChecks=17283073  nbValidityChecks=33524743  nbPropagations=548827  nbRevisions=6629715
25.15	     nbUselessRevisions=5206996  nbAssignments=14692  nbFailedAssignments=8801  nbBacktracks=5817  nbVisitedNodes=27254
25.15	     nbRestartNogoods=101
25.15	       =>  wckTime=23.111  cpuTime=22.99  mem=34M123
41.44	   
41.44	   search
41.44	     run=14  nbConstraintChecks=29525013  nbValidityChecks=58195045  nbPropagations=848210  nbRevisions=10276616
41.44	     nbUselessRevisions=8065616  nbAssignments=24062  nbFailedAssignments=15246  nbBacktracks=8737  nbVisitedNodes=45368
41.44	     nbRestartNogoods=124
41.44	       =>  wckTime=39.399  cpuTime=39.27  mem=34M123
55.28	   
55.28	   search
55.29	     run=15  nbConstraintChecks=40014775  nbValidityChecks=78857144  nbPropagations=1264766  nbRevisions=15339816
55.29	     nbUselessRevisions=12049213  nbAssignments=34178  nbFailedAssignments=20980  nbBacktracks=13116
55.29	     nbVisitedNodes=63903  nbRestartNogoods=151
55.29	       =>  wckTime=53.245  cpuTime=53.11  mem=34M123
85.60	   
85.60	   search
85.60	     run=16  nbConstraintChecks=63002163  nbValidityChecks=123400234  nbPropagations=1889245  nbRevisions=22975040
85.60	     nbUselessRevisions=18070453  nbAssignments=49920  nbFailedAssignments=30149  nbBacktracks=19684
85.60	     nbVisitedNodes=93449  nbRestartNogoods=172
85.60	       =>  wckTime=83.562  cpuTime=83.42  mem=34M123
123.23	   
123.23	   search
123.23	     run=17  nbConstraintChecks=91382241  nbValidityChecks=178738566  nbPropagations=2798291  nbRevisions=34102163
123.23	     nbUselessRevisions=26837931  nbAssignments=74439  nbFailedAssignments=44814  nbBacktracks=29536
123.23	     nbVisitedNodes=139107  nbRestartNogoods=194
123.23	       =>  wckTime=121.189  cpuTime=121.04  mem=34M123
203.97	   
203.97	   search
203.97	     run=18  nbConstraintChecks=150940732  nbValidityChecks=298688555  nbPropagations=4328979  nbRevisions=52577458
203.97	     nbUselessRevisions=41323452  nbAssignments=121648  nbFailedAssignments=77240  nbBacktracks=44314
203.97	     nbVisitedNodes=229775  nbRestartNogoods=202
203.97	       =>  wckTime=201.934  cpuTime=201.76  mem=34M123
295.41	   
295.41	   search
295.41	     run=19  nbConstraintChecks=220186512  nbValidityChecks=431560907  nbPropagations=6517751  nbRevisions=79213108
295.41	     nbUselessRevisions=62213986  nbAssignments=173826  nbFailedAssignments=107244  nbBacktracks=66484
295.41	     nbVisitedNodes=326487  nbRestartNogoods=224
295.41	       =>  wckTime=293.365  cpuTime=293.17  mem=34M123
418.44	   
418.44	   search
418.44	     run=20  nbConstraintChecks=312922971  nbValidityChecks=612886628  nbPropagations=9660123  nbRevisions=117476649
418.44	     nbUselessRevisions=92267038  nbAssignments=254622  nbFailedAssignments=154780  nbBacktracks=99738
418.44	     nbVisitedNodes=475784  nbRestartNogoods=241
418.44	       =>  wckTime=416.401  cpuTime=416.18  mem=34M123
581.53	   
581.53	   search
581.53	     run=21  nbConstraintChecks=435004116  nbValidityChecks=852666004  nbPropagations=14143486  nbRevisions=171986256
581.53	     nbUselessRevisions=135168786  nbAssignments=378360  nbFailedAssignments=228633  nbBacktracks=149618
581.53	     nbVisitedNodes=703479  nbRestartNogoods=254
581.53	       =>  wckTime=579.491  cpuTime=579.24  mem=34M123
875.72	   
875.72	   search
875.72	     run=22  nbConstraintChecks=653126174  nbValidityChecks=1271834667  nbPropagations=20887492  nbRevisions=252547696
875.72	     nbUselessRevisions=198497799  nbAssignments=572137  nbFailedAssignments=347587  nbBacktracks=224437
875.72	     nbVisitedNodes=1061105  nbRestartNogoods=284
875.72	       =>  wckTime=873.676  cpuTime=873.35  mem=34M123
1349.55	   
1349.55	   search
1349.55	     run=23  nbConstraintChecks=1018976819  nbValidityChecks=1981494729  nbPropagations=31189148  nbRevisions=377068118
1349.55	     nbUselessRevisions=296453584  nbAssignments=847229  nbFailedAssignments=510446  nbBacktracks=336664
1349.55	     nbVisitedNodes=1578385  nbRestartNogoods=314
1349.55	       =>  wckTime=1347.508  cpuTime=1347.07  mem=34M123

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/node34/watcher-196352-1168070586 -o ROOT/results/node34/solver-196352-1168070586 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/196352-1168070586/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: 1.00 1.00 1.09 4/65 8762
/proc/meminfo: memFree=1546968/2055920 swapFree=4192812/4192956
[pid=8761] ppid=8759 vsize=1784 CPUtime=0
/proc/8761/stat : 8761 (java) R 8759 8761 8403 0 -1 0 135 0 1 0 0 0 0 0 19 0 1 0 155452359 1826816 108 18446744073709551615 134512640 134570532 4294956560 18446744073709551615 8156795 0 0 4096 0 0 0 0 17 1 0 0
/proc/8761/statm: 446 118 86 14 0 91 0

[startup+0.104476 s]
/proc/loadavg: 1.00 1.00 1.09 4/65 8762
/proc/meminfo: memFree=1546968/2055920 swapFree=4192812/4192956
[pid=8761] ppid=8759 vsize=11820 CPUtime=0.01
/proc/8761/stat : 8761 (java) D 8759 8761 8403 0 -1 0 738 0 23 0 0 1 0 0 17 0 1 0 155452359 12103680 510 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 7721764 0 2147483391 0 7368 18446744072099781622 0 0 17 0 0 0
/proc/8761/statm: 2955 510 421 14 0 1602 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 11820

[startup+0.512554 s]
/proc/loadavg: 1.00 1.00 1.09 4/65 8762
/proc/meminfo: memFree=1546968/2055920 swapFree=4192812/4192956
[pid=8761] ppid=8759 vsize=914988 CPUtime=0.11
/proc/8761/stat : 8761 (java) R 8759 8761 8403 0 -1 0 2941 0 45 0 7 4 0 0 17 0 8 0 155452359 936947712 2731 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4153785378 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8761/statm: 228747 2733 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 914988

[startup+1.33458 s]
/proc/loadavg: 1.00 1.00 1.09 2/72 8769
/proc/meminfo: memFree=1498080/2055920 swapFree=4192812/4192956
[pid=8761] ppid=8759 vsize=915328 CPUtime=0.79
/proc/8761/stat : 8761 (java) R 8759 8761 8403 0 -1 0 12996 0 77 0 69 10 0 0 17 0 8 0 155452359 937295872 12811 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073556487 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8761/statm: 228832 12811 2137 14 0 215302 0
[pid=8761/tid=8763] ppid=8759 vsize=915328 CPUtime=0
/proc/8761/task/8763/stat : 8763 (java) S 8759 8761 8403 0 -1 64 6 0 0 0 0 0 0 0 20 0 8 0 155452394 937295872 12811 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8761/tid=8764] ppid=8759 vsize=915328 CPUtime=0
/proc/8761/task/8764/stat : 8764 (java) S 8759 8761 8403 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 155452395 937295872 12811 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8761/tid=8765] ppid=8759 vsize=915328 CPUtime=0
/proc/8761/task/8765/stat : 8765 (java) S 8759 8761 8403 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 155452395 937295872 12811 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8761/tid=8766] ppid=8759 vsize=915328 CPUtime=0
/proc/8761/task/8766/stat : 8766 (java) S 8759 8761 8403 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155452404 937295872 12811 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8761/tid=8767] ppid=8759 vsize=915328 CPUtime=0.07
/proc/8761/task/8767/stat : 8767 (java) S 8759 8761 8403 0 -1 64 305 0 0 0 7 0 0 0 16 0 8 0 155452404 937295872 12811 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8761/tid=8768] ppid=8759 vsize=915328 CPUtime=0
/proc/8761/task/8768/stat : 8768 (java) S 8759 8761 8403 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155452404 937295872 12811 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8761/tid=8769] ppid=8759 vsize=915328 CPUtime=0
/proc/8761/task/8769/stat : 8769 (java) S 8759 8761 8403 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155452404 937295872 12811 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.79
Current children cumulated vsize (KiB) 915328

[startup+2.97071 s]
/proc/loadavg: 1.00 1.00 1.09 2/72 8769
/proc/meminfo: memFree=1442976/2055920 swapFree=4192812/4192956
[pid=8761] ppid=8759 vsize=915424 CPUtime=2.42
/proc/8761/stat : 8761 (java) R 8759 8761 8403 0 -1 0 23111 0 78 0 227 15 0 0 23 0 8 0 155452359 937394176 22923 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073629628 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8761/statm: 228856 22923 2521 14 0 215326 0
[pid=8761/tid=8763] ppid=8759 vsize=915424 CPUtime=0.15
/proc/8761/task/8763/stat : 8763 (java) S 8759 8761 8403 0 -1 64 6226 0 0 0 14 1 0 0 16 0 8 0 155452394 937394176 22923 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8761/tid=8764] ppid=8759 vsize=915424 CPUtime=0
/proc/8761/task/8764/stat : 8764 (java) S 8759 8761 8403 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 155452395 937394176 22923 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8761/tid=8765] ppid=8759 vsize=915424 CPUtime=0
/proc/8761/task/8765/stat : 8765 (java) S 8759 8761 8403 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155452395 937394176 22923 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8761/tid=8766] ppid=8759 vsize=915424 CPUtime=0
/proc/8761/task/8766/stat : 8766 (java) S 8759 8761 8403 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155452404 937394176 22923 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8761/tid=8767] ppid=8759 vsize=915424 CPUtime=0.18
/proc/8761/task/8767/stat : 8767 (java) S 8759 8761 8403 0 -1 64 371 0 0 0 17 1 0 0 16 0 8 0 155452404 937394176 22923 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8761/tid=8768] ppid=8759 vsize=915424 CPUtime=0
/proc/8761/task/8768/stat : 8768 (java) S 8759 8761 8403 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155452404 937394176 22923 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8761/tid=8769] ppid=8759 vsize=915424 CPUtime=0
/proc/8761/task/8769/stat : 8769 (java) S 8759 8761 8403 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155452404 937394176 22923 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.42
Current children cumulated vsize (KiB) 915424

[startup+6.26397 s]
/proc/loadavg: 1.00 1.00 1.09 2/72 8769
/proc/meminfo: memFree=1442728/2055920 swapFree=4192812/4192956
[pid=8761] ppid=8759 vsize=915424 CPUtime=5.7
/proc/8761/stat : 8761 (java) R 8759 8761 8403 0 -1 0 23130 0 78 0 555 15 0 0 25 0 8 0 155452359 937394176 22938 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073624766 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8761/statm: 228856 22938 2521 14 0 215326 0
[pid=8761/tid=8763] ppid=8759 vsize=915424 CPUtime=0.15
/proc/8761/task/8763/stat : 8763 (java) S 8759 8761 8403 0 -1 64 6226 0 0 0 14 1 0 0 17 0 8 0 155452394 937394176 22938 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8761/tid=8764] ppid=8759 vsize=915424 CPUtime=0
/proc/8761/task/8764/stat : 8764 (java) S 8759 8761 8403 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 155452395 937394176 22938 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8761/tid=8765] ppid=8759 vsize=915424 CPUtime=0
/proc/8761/task/8765/stat : 8765 (java) S 8759 8761 8403 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155452395 937394176 22938 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8761/tid=8766] ppid=8759 vsize=915424 CPUtime=0
/proc/8761/task/8766/stat : 8766 (java) S 8759 8761 8403 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155452404 937394176 22938 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8761/tid=8767] ppid=8759 vsize=915424 CPUtime=0.21
/proc/8761/task/8767/stat : 8767 (java) S 8759 8761 8403 0 -1 64 388 0 0 0 20 1 0 0 16 0 8 0 155452404 937394176 22938 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8761/tid=8768] ppid=8759 vsize=915424 CPUtime=0
/proc/8761/task/8768/stat : 8768 (java) S 8759 8761 8403 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155452404 937394176 22938 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8761/tid=8769] ppid=8759 vsize=915424 CPUtime=0
/proc/8761/task/8769/stat : 8769 (java) S 8759 8761 8403 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155452404 937394176 22938 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.7
Current children cumulated vsize (KiB) 915424

[startup+12.7285 s]
/proc/loadavg: 1.00 1.00 1.08 2/72 8769
/proc/meminfo: memFree=1442856/2055920 swapFree=4192812/4192956
[pid=8761] ppid=8759 vsize=915424 CPUtime=12.16
/proc/8761/stat : 8761 (java) R 8759 8761 8403 0 -1 0 23136 0 78 0 1201 15 0 0 25 0 8 0 155452359 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073754630 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8761/statm: 228856 22942 2521 14 0 215326 0
[pid=8761/tid=8763] ppid=8759 vsize=915424 CPUtime=0.15
/proc/8761/task/8763/stat : 8763 (java) S 8759 8761 8403 0 -1 64 6226 0 0 0 14 1 0 0 16 0 8 0 155452394 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8761/tid=8764] ppid=8759 vsize=915424 CPUtime=0
/proc/8761/task/8764/stat : 8764 (java) S 8759 8761 8403 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 155452395 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8761/tid=8765] ppid=8759 vsize=915424 CPUtime=0
/proc/8761/task/8765/stat : 8765 (java) S 8759 8761 8403 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155452395 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8761/tid=8766] ppid=8759 vsize=915424 CPUtime=0
/proc/8761/task/8766/stat : 8766 (java) S 8759 8761 8403 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155452404 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8761/tid=8767] ppid=8759 vsize=915424 CPUtime=0.22
/proc/8761/task/8767/stat : 8767 (java) S 8759 8761 8403 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 155452404 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8761/tid=8768] ppid=8759 vsize=915424 CPUtime=0
/proc/8761/task/8768/stat : 8768 (java) S 8759 8761 8403 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155452404 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8761/tid=8769] ppid=8759 vsize=915424 CPUtime=0
/proc/8761/task/8769/stat : 8769 (java) S 8759 8761 8403 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155452404 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.16
Current children cumulated vsize (KiB) 915424

[startup+25.5805 s]
/proc/loadavg: 1.00 1.00 1.08 2/72 8769
/proc/meminfo: memFree=1443048/2055920 swapFree=4192812/4192956
[pid=8761] ppid=8759 vsize=915424 CPUtime=25.01
/proc/8761/stat : 8761 (java) R 8759 8761 8403 0 -1 0 23136 0 78 0 2486 15 0 0 25 0 8 0 155452359 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073776399 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8761/statm: 228856 22942 2521 14 0 215326 0
[pid=8761/tid=8763] ppid=8759 vsize=915424 CPUtime=0.15
/proc/8761/task/8763/stat : 8763 (java) S 8759 8761 8403 0 -1 64 6226 0 0 0 14 1 0 0 16 0 8 0 155452394 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8761/tid=8764] ppid=8759 vsize=915424 CPUtime=0
/proc/8761/task/8764/stat : 8764 (java) S 8759 8761 8403 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 155452395 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8761/tid=8765] ppid=8759 vsize=915424 CPUtime=0
/proc/8761/task/8765/stat : 8765 (java) S 8759 8761 8403 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155452395 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8761/tid=8766] ppid=8759 vsize=915424 CPUtime=0
/proc/8761/task/8766/stat : 8766 (java) S 8759 8761 8403 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155452404 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8761/tid=8767] ppid=8759 vsize=915424 CPUtime=0.22
/proc/8761/task/8767/stat : 8767 (java) S 8759 8761 8403 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 155452404 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8761/tid=8768] ppid=8759 vsize=915424 CPUtime=0
/proc/8761/task/8768/stat : 8768 (java) S 8759 8761 8403 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155452404 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8761/tid=8769] ppid=8759 vsize=915424 CPUtime=0
/proc/8761/task/8769/stat : 8769 (java) S 8759 8761 8403 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155452404 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.01
Current children cumulated vsize (KiB) 915424

[startup+51.2576 s]
/proc/loadavg: 1.00 1.00 1.08 2/72 8769
/proc/meminfo: memFree=1443112/2055920 swapFree=4192812/4192956
[pid=8761] ppid=8759 vsize=915424 CPUtime=50.67
/proc/8761/stat : 8761 (java) R 8759 8761 8403 0 -1 0 23137 0 78 0 5052 15 0 0 25 0 8 0 155452359 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073770457 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8761/statm: 228856 22942 2521 14 0 215326 0
[pid=8761/tid=8763] ppid=8759 vsize=915424 CPUtime=0.15
/proc/8761/task/8763/stat : 8763 (java) S 8759 8761 8403 0 -1 64 6226 0 0 0 14 1 0 0 16 0 8 0 155452394 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8761/tid=8764] ppid=8759 vsize=915424 CPUtime=0
/proc/8761/task/8764/stat : 8764 (java) S 8759 8761 8403 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 155452395 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8761/tid=8765] ppid=8759 vsize=915424 CPUtime=0
/proc/8761/task/8765/stat : 8765 (java) S 8759 8761 8403 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155452395 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8761/tid=8766] ppid=8759 vsize=915424 CPUtime=0
/proc/8761/task/8766/stat : 8766 (java) S 8759 8761 8403 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155452404 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8761/tid=8767] ppid=8759 vsize=915424 CPUtime=0.22
/proc/8761/task/8767/stat : 8767 (java) S 8759 8761 8403 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 155452404 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8761/tid=8768] ppid=8759 vsize=915424 CPUtime=0
/proc/8761/task/8768/stat : 8768 (java) S 8759 8761 8403 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155452404 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8761/tid=8769] ppid=8759 vsize=915424 CPUtime=0
/proc/8761/task/8769/stat : 8769 (java) S 8759 8761 8403 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155452404 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 915424

[startup+102.507 s]
/proc/loadavg: 1.00 1.00 1.08 2/72 8769
/proc/meminfo: memFree=1443176/2055920 swapFree=4192812/4192956
[pid=8761] ppid=8759 vsize=915424 CPUtime=101.91
/proc/8761/stat : 8761 (java) R 8759 8761 8403 0 -1 0 23137 0 78 0 10176 15 0 0 25 0 8 0 155452359 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073773364 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8761/statm: 228856 22942 2521 14 0 215326 0
[pid=8761/tid=8763] ppid=8759 vsize=915424 CPUtime=0.15
/proc/8761/task/8763/stat : 8763 (java) S 8759 8761 8403 0 -1 64 6226 0 0 0 14 1 0 0 16 0 8 0 155452394 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8761/tid=8764] ppid=8759 vsize=915424 CPUtime=0
/proc/8761/task/8764/stat : 8764 (java) S 8759 8761 8403 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 155452395 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8761/tid=8765] ppid=8759 vsize=915424 CPUtime=0
/proc/8761/task/8765/stat : 8765 (java) S 8759 8761 8403 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155452395 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8761/tid=8766] ppid=8759 vsize=915424 CPUtime=0
/proc/8761/task/8766/stat : 8766 (java) S 8759 8761 8403 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155452404 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8761/tid=8767] ppid=8759 vsize=915424 CPUtime=0.22
/proc/8761/task/8767/stat : 8767 (java) S 8759 8761 8403 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 155452404 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8761/tid=8768] ppid=8759 vsize=915424 CPUtime=0
/proc/8761/task/8768/stat : 8768 (java) S 8759 8761 8403 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155452404 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8761/tid=8769] ppid=8759 vsize=915424 CPUtime=0
/proc/8761/task/8769/stat : 8769 (java) S 8759 8761 8403 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155452404 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.91
Current children cumulated vsize (KiB) 915424

[startup+162.587 s]
/proc/loadavg: 1.00 1.00 1.07 2/72 8769
/proc/meminfo: memFree=1443176/2055920 swapFree=4192812/4192956
[pid=8761] ppid=8759 vsize=915424 CPUtime=161.97
/proc/8761/stat : 8761 (java) R 8759 8761 8403 0 -1 0 23137 0 78 0 16182 15 0 0 25 0 8 0 155452359 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073813737 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1423.37
Current children cumulated vsize (KiB) 915424

[startup+1484.35 s]
/proc/loadavg: 1.04 1.01 1.00 2/72 8771
/proc/meminfo: memFree=1442856/2055920 swapFree=4192812/4192956
[pid=8761] ppid=8759 vsize=915424 CPUtime=1483.43
/proc/8761/stat : 8761 (java) R 8759 8761 8403 0 -1 0 23137 0 78 0 148325 18 0 0 25 0 8 0 155452359 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073770418 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8761/statm: 228856 22942 2521 14 0 215326 0
[pid=8761/tid=8763] ppid=8759 vsize=915424 CPUtime=0.15
/proc/8761/task/8763/stat : 8763 (java) S 8759 8761 8403 0 -1 64 6226 0 0 0 14 1 0 0 16 0 8 0 155452394 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8761/tid=8764] ppid=8759 vsize=915424 CPUtime=0
/proc/8761/task/8764/stat : 8764 (java) S 8759 8761 8403 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 155452395 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8761/tid=8765] ppid=8759 vsize=915424 CPUtime=0
/proc/8761/task/8765/stat : 8765 (java) S 8759 8761 8403 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155452395 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8761/tid=8766] ppid=8759 vsize=915424 CPUtime=0
/proc/8761/task/8766/stat : 8766 (java) S 8759 8761 8403 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155452404 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8761/tid=8767] ppid=8759 vsize=915424 CPUtime=0.22
/proc/8761/task/8767/stat : 8767 (java) S 8759 8761 8403 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 155452404 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8761/tid=8768] ppid=8759 vsize=915424 CPUtime=0
/proc/8761/task/8768/stat : 8768 (java) S 8759 8761 8403 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155452404 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8761/tid=8769] ppid=8759 vsize=915424 CPUtime=0
/proc/8761/task/8769/stat : 8769 (java) S 8759 8761 8403 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155452404 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1483.43
Current children cumulated vsize (KiB) 915424

[startup+1544.43 s]
/proc/loadavg: 1.01 1.01 1.00 2/72 8771
/proc/meminfo: memFree=1442920/2055920 swapFree=4192812/4192956
[pid=8761] ppid=8759 vsize=915424 CPUtime=1543.5
/proc/8761/stat : 8761 (java) R 8759 8761 8403 0 -1 0 23137 0 78 0 154332 18 0 0 25 0 8 0 155452359 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073756590 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8761/statm: 228856 22942 2521 14 0 215326 0
[pid=8761/tid=8763] ppid=8759 vsize=915424 CPUtime=0.15
/proc/8761/task/8763/stat : 8763 (java) S 8759 8761 8403 0 -1 64 6226 0 0 0 14 1 0 0 16 0 8 0 155452394 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8761/tid=8764] ppid=8759 vsize=915424 CPUtime=0
/proc/8761/task/8764/stat : 8764 (java) S 8759 8761 8403 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 155452395 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8761/tid=8765] ppid=8759 vsize=915424 CPUtime=0
/proc/8761/task/8765/stat : 8765 (java) S 8759 8761 8403 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155452395 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8761/tid=8766] ppid=8759 vsize=915424 CPUtime=0
/proc/8761/task/8766/stat : 8766 (java) S 8759 8761 8403 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155452404 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8761/tid=8767] ppid=8759 vsize=915424 CPUtime=0.22
/proc/8761/task/8767/stat : 8767 (java) S 8759 8761 8403 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 155452404 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8761/tid=8768] ppid=8759 vsize=915424 CPUtime=0
/proc/8761/task/8768/stat : 8768 (java) S 8759 8761 8403 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155452404 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8761/tid=8769] ppid=8759 vsize=915424 CPUtime=0
/proc/8761/task/8769/stat : 8769 (java) S 8759 8761 8403 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155452404 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1543.5
Current children cumulated vsize (KiB) 915424

[startup+1604.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 8771
/proc/meminfo: memFree=1442856/2055920 swapFree=4192812/4192956
[pid=8761] ppid=8759 vsize=915424 CPUtime=1603.57
/proc/8761/stat : 8761 (java) R 8759 8761 8403 0 -1 0 23137 0 78 0 160339 18 0 0 25 0 8 0 155452359 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073761682 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8761/statm: 228856 22942 2521 14 0 215326 0
[pid=8761/tid=8763] ppid=8759 vsize=915424 CPUtime=0.15
/proc/8761/task/8763/stat : 8763 (java) S 8759 8761 8403 0 -1 64 6226 0 0 0 14 1 0 0 16 0 8 0 155452394 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8761/tid=8764] ppid=8759 vsize=915424 CPUtime=0
/proc/8761/task/8764/stat : 8764 (java) S 8759 8761 8403 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 155452395 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8761/tid=8765] ppid=8759 vsize=915424 CPUtime=0
/proc/8761/task/8765/stat : 8765 (java) S 8759 8761 8403 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155452395 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8761/tid=8766] ppid=8759 vsize=915424 CPUtime=0
/proc/8761/task/8766/stat : 8766 (java) S 8759 8761 8403 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155452404 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8761/tid=8767] ppid=8759 vsize=915424 CPUtime=0.22
/proc/8761/task/8767/stat : 8767 (java) S 8759 8761 8403 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 155452404 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8761/tid=8768] ppid=8759 vsize=915424 CPUtime=0
/proc/8761/task/8768/stat : 8768 (java) S 8759 8761 8403 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155452404 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8761/tid=8769] ppid=8759 vsize=915424 CPUtime=0
/proc/8761/task/8769/stat : 8769 (java) S 8759 8761 8403 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155452404 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1603.57
Current children cumulated vsize (KiB) 915424

[startup+1664.59 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 8771
/proc/meminfo: memFree=1442920/2055920 swapFree=4192812/4192956
[pid=8761] ppid=8759 vsize=915424 CPUtime=1663.63
/proc/8761/stat : 8761 (java) R 8759 8761 8403 0 -1 0 23137 0 78 0 166345 18 0 0 25 0 8 0 155452359 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073753844 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8761/statm: 228856 22942 2521 14 0 215326 0
[pid=8761/tid=8763] ppid=8759 vsize=915424 CPUtime=0.15
/proc/8761/task/8763/stat : 8763 (java) S 8759 8761 8403 0 -1 64 6226 0 0 0 14 1 0 0 16 0 8 0 155452394 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8761/tid=8764] ppid=8759 vsize=915424 CPUtime=0
/proc/8761/task/8764/stat : 8764 (java) S 8759 8761 8403 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 155452395 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8761/tid=8765] ppid=8759 vsize=915424 CPUtime=0
/proc/8761/task/8765/stat : 8765 (java) S 8759 8761 8403 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155452395 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8761/tid=8766] ppid=8759 vsize=915424 CPUtime=0
/proc/8761/task/8766/stat : 8766 (java) S 8759 8761 8403 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155452404 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8761/tid=8767] ppid=8759 vsize=915424 CPUtime=0.22
/proc/8761/task/8767/stat : 8767 (java) S 8759 8761 8403 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 155452404 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8761/tid=8768] ppid=8759 vsize=915424 CPUtime=0
/proc/8761/task/8768/stat : 8768 (java) S 8759 8761 8403 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155452404 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8761/tid=8769] ppid=8759 vsize=915424 CPUtime=0
/proc/8761/task/8769/stat : 8769 (java) S 8759 8761 8403 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155452404 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1663.63
Current children cumulated vsize (KiB) 915424

[startup+1724.68 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 8771
/proc/meminfo: memFree=1442856/2055920 swapFree=4192812/4192956
[pid=8761] ppid=8759 vsize=915424 CPUtime=1723.7
/proc/8761/stat : 8761 (java) R 8759 8761 8403 0 -1 0 23137 0 78 0 172352 18 0 0 25 0 8 0 155452359 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4072918495 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8761/statm: 228856 22942 2521 14 0 215326 0
[pid=8761/tid=8763] ppid=8759 vsize=915424 CPUtime=0.15
/proc/8761/task/8763/stat : 8763 (java) S 8759 8761 8403 0 -1 64 6226 0 0 0 14 1 0 0 16 0 8 0 155452394 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8761/tid=8764] ppid=8759 vsize=915424 CPUtime=0
/proc/8761/task/8764/stat : 8764 (java) S 8759 8761 8403 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 155452395 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8761/tid=8765] ppid=8759 vsize=915424 CPUtime=0
/proc/8761/task/8765/stat : 8765 (java) S 8759 8761 8403 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155452395 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8761/tid=8766] ppid=8759 vsize=915424 CPUtime=0
/proc/8761/task/8766/stat : 8766 (java) S 8759 8761 8403 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155452404 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8761/tid=8767] ppid=8759 vsize=915424 CPUtime=0.22
/proc/8761/task/8767/stat : 8767 (java) S 8759 8761 8403 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 155452404 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8761/tid=8768] ppid=8759 vsize=915424 CPUtime=0
/proc/8761/task/8768/stat : 8768 (java) S 8759 8761 8403 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155452404 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8761/tid=8769] ppid=8759 vsize=915424 CPUtime=0
/proc/8761/task/8769/stat : 8769 (java) S 8759 8761 8403 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155452404 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1723.7
Current children cumulated vsize (KiB) 915424

[startup+1784.76 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 8771
/proc/meminfo: memFree=1442856/2055920 swapFree=4192812/4192956
[pid=8761] ppid=8759 vsize=915424 CPUtime=1783.76
/proc/8761/stat : 8761 (java) R 8759 8761 8403 0 -1 0 23137 0 78 0 178358 18 0 0 25 0 8 0 155452359 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073629628 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8761/statm: 228856 22942 2521 14 0 215326 0
[pid=8761/tid=8763] ppid=8759 vsize=915424 CPUtime=0.15
/proc/8761/task/8763/stat : 8763 (java) S 8759 8761 8403 0 -1 64 6226 0 0 0 14 1 0 0 16 0 8 0 155452394 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8761/tid=8764] ppid=8759 vsize=915424 CPUtime=0
/proc/8761/task/8764/stat : 8764 (java) S 8759 8761 8403 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 155452395 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8761/tid=8765] ppid=8759 vsize=915424 CPUtime=0
/proc/8761/task/8765/stat : 8765 (java) S 8759 8761 8403 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155452395 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8761/tid=8766] ppid=8759 vsize=915424 CPUtime=0
/proc/8761/task/8766/stat : 8766 (java) S 8759 8761 8403 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155452404 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8761/tid=8767] ppid=8759 vsize=915424 CPUtime=0.22
/proc/8761/task/8767/stat : 8767 (java) S 8759 8761 8403 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 155452404 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8761/tid=8768] ppid=8759 vsize=915424 CPUtime=0
/proc/8761/task/8768/stat : 8768 (java) S 8759 8761 8403 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155452404 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8761/tid=8769] ppid=8759 vsize=915424 CPUtime=0
/proc/8761/task/8769/stat : 8769 (java) S 8759 8761 8403 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155452404 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1783.76
Current children cumulated vsize (KiB) 915424



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 8771
/proc/meminfo: memFree=1442856/2055920 swapFree=4192812/4192956
[pid=8761] ppid=8759 vsize=915424 CPUtime=1800.1
/proc/8761/stat : 8761 (java) R 8759 8761 8403 0 -1 0 23137 0 78 0 179992 18 0 0 25 0 8 0 155452359 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073869203 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8761/statm: 228856 22942 2521 14 0 215326 0
[pid=8761/tid=8763] ppid=8759 vsize=915424 CPUtime=0.15
/proc/8761/task/8763/stat : 8763 (java) S 8759 8761 8403 0 -1 64 6226 0 0 0 14 1 0 0 16 0 8 0 155452394 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8761/tid=8764] ppid=8759 vsize=915424 CPUtime=0
/proc/8761/task/8764/stat : 8764 (java) S 8759 8761 8403 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 155452395 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8761/tid=8765] ppid=8759 vsize=915424 CPUtime=0
/proc/8761/task/8765/stat : 8765 (java) S 8759 8761 8403 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155452395 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8761/tid=8766] ppid=8759 vsize=915424 CPUtime=0
/proc/8761/task/8766/stat : 8766 (java) S 8759 8761 8403 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155452404 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8761/tid=8767] ppid=8759 vsize=915424 CPUtime=0.22
/proc/8761/task/8767/stat : 8767 (java) S 8759 8761 8403 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 155452404 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8761/tid=8768] ppid=8759 vsize=915424 CPUtime=0
/proc/8761/task/8768/stat : 8768 (java) S 8759 8761 8403 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155452404 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8761/tid=8769] ppid=8759 vsize=915424 CPUtime=0
/proc/8761/task/8769/stat : 8769 (java) S 8759 8761 8403 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155452404 937394176 22942 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 915424

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

Child status: 143
Real time (s): 1801.15
CPU time (s): 1800.16
CPU user time (s): 1799.96
CPU system time (s): 0.202969
CPU usage (%): 99.9454
Max. virtual memory (cumulated for all children) (KiB): 915424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.96
system time used= 0.202969
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23154
page faults= 78
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37438
involuntary context switches= 4271

runsolver used 1.75273 s user time and 4.63929 s system time

The end

Launcher Data (download as text)

Begin job on node34 on Sat Jan  6 08:03:06 UTC 2007


IDJOB= 196352
IDBENCH= 3345
FILE ID= node34/196352-1168070586

PBS_JOBID= 3475660

Free space on /tmp= 66533 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  726af88af1079335d6926acf183029ad

RANDOM SEED= 805605872

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.227
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.227
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:       1547448 kB
Buffers:         30432 kB
Cached:         387292 kB
SwapCached:          0 kB
Active:          44900 kB
Inactive:       388132 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1547448 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4332 kB
Writeback:           0 kB
Mapped:          25516 kB
Slab:            61500 kB
Committed_AS:  2358700 kB
PageTables:       1396 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= 66533 MiB



End job on node34 on Sat Jan  6 08:33:08 UTC 2007