Trace number 203132

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.15 1803.73

General information on the benchmark

Namerandom/rand-3-28-28-fcd/
rand-3-28-28-93-632-fcd-33_ext.xml
MD5SUMdfbff00c5978e70c23dc5678ed550f66
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables28
Number of constraints93
Maximum constraint arity3
Maximum domain size28
Number of constraints which are defined in extension93
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=mac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/203132-1168072864/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.42	     nbVariables=28  nbDomainTypes=1  minDomainSize=28  maxDomainSize=28
0.42	       =>  wckTime=0.1  cpuTime=0.09  mem=6M951
0.42	   
0.42	   relations being loaded...
1.58	   
1.58	   constraints being loaded...
2.31	     nbConstraints=93  nbRelationTypes=93  nbExtensionStructures=93  nbSharedExtensionStructures=0
2.31	     nbConflictsStructures=93  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=14  maxArity=3
2.31	       =>  wckTime=1.987  cpuTime=1.6  mem=59M151
2.47	   
2.47	   solver IterativeSystematicSolver being built... 
2.63	       =>  wckTime=2.314  cpuTime=1.73  mem=66M389
2.64	   
2.64	   preprocessing
2.64	     nbConstraintChecks=0  nbPropagations=28  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
2.64	     detectedInconsistency=no
2.64	       =>  wckTime=0.0040  cpuTime=0.01  mem=66M389
2.80	   
2.80	   search
2.80	     run=0  nbConstraintChecks=48754  nbValidityChecks=94195  nbPropagations=486  nbRevisions=5384
2.80	     nbUselessRevisions=4307  nbAssignments=34  nbFailedAssignments=15  nbBacktracks=10  nbVisitedNodes=60
2.80	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
2.80	       =>  wckTime=0.164  cpuTime=0.13  mem=66M389
2.89	   
2.89	   search
2.89	     run=1  nbConstraintChecks=91676  nbValidityChecks=180489  nbPropagations=1356  nbRevisions=15434
2.89	     nbUselessRevisions=12420  nbAssignments=73  nbFailedAssignments=32  nbBacktracks=25  nbVisitedNodes=125
2.89	     nbRestartNogoods=2  mapSize=24  nbInferences=0  nbTooLargeKeys=0
2.89	       =>  wckTime=0.253  cpuTime=0.22  mem=66M389
3.03	   
3.03	   search
3.03	     run=2  nbConstraintChecks=160006  nbValidityChecks=318858  nbPropagations=2937  nbRevisions=34076
3.03	     nbUselessRevisions=27468  nbAssignments=127  nbFailedAssignments=55  nbBacktracks=47  nbVisitedNodes=216
3.03	     nbRestartNogoods=3  mapSize=45  nbInferences=0  nbTooLargeKeys=0
3.03	       =>  wckTime=0.389  cpuTime=0.34  mem=66M389
3.18	   
3.18	   search
3.18	     run=3  nbConstraintChecks=251708  nbValidityChecks=502191  nbPropagations=5417  nbRevisions=63882
3.18	     nbUselessRevisions=51468  nbAssignments=201  nbFailedAssignments=87  nbBacktracks=81  nbVisitedNodes=341
3.18	     nbRestartNogoods=9  mapSize=73  nbInferences=0  nbTooLargeKeys=0
3.18	       =>  wckTime=0.547  cpuTime=0.5  mem=66M389
3.50	   
3.50	   search
3.50	     run=4  nbConstraintChecks=436773  nbValidityChecks=891122  nbPropagations=9848  nbRevisions=118862
3.50	     nbUselessRevisions=95636  nbAssignments=379  nbFailedAssignments=207  nbBacktracks=131  nbVisitedNodes=674
3.50	     nbRestartNogoods=13  mapSize=120  nbInferences=0  nbTooLargeKeys=0
3.50	       =>  wckTime=0.863  cpuTime=0.8  mem=66M389
4.04	   
4.04	   search
4.04	     run=5  nbConstraintChecks=746404  nbValidityChecks=1498624  nbPropagations=17028  nbRevisions=208479
4.04	     nbUselessRevisions=166858  nbAssignments=582  nbFailedAssignments=325  nbBacktracks=207  nbVisitedNodes=1048
4.04	     nbRestartNogoods=16  mapSize=186  nbInferences=0  nbTooLargeKeys=0
4.04	       =>  wckTime=1.402  cpuTime=1.34  mem=66M389
4.74	   
4.74	   search
4.74	     run=6  nbConstraintChecks=1156613  nbValidityChecks=2307959  nbPropagations=28365  nbRevisions=347948
4.74	     nbUselessRevisions=277304  nbAssignments=863  nbFailedAssignments=485  nbBacktracks=321  nbVisitedNodes=1571
4.74	     nbRestartNogoods=25  mapSize=294  nbInferences=0  nbTooLargeKeys=0
4.74	       =>  wckTime=2.101  cpuTime=2.02  mem=66M389
5.63	   
5.63	   search
5.63	     run=7  nbConstraintChecks=1697863  nbValidityChecks=3412757  nbPropagations=45548  nbRevisions=561591
5.63	     nbUselessRevisions=446826  nbAssignments=1373  nbFailedAssignments=816  nbBacktracks=491  nbVisitedNodes=2530
5.63	     nbRestartNogoods=29  mapSize=450  nbInferences=0  nbTooLargeKeys=0
5.63	       =>  wckTime=2.998  cpuTime=2.91  mem=66M389
7.14	   
7.14	   search
7.14	     run=8  nbConstraintChecks=2582777  nbValidityChecks=5277020  nbPropagations=71440  nbRevisions=885715
7.14	     nbUselessRevisions=702609  nbAssignments=2114  nbFailedAssignments=1292  nbBacktracks=747  nbVisitedNodes=3911
7.14	     nbRestartNogoods=35  mapSize=682  nbInferences=0  nbTooLargeKeys=0
7.14	       =>  wckTime=4.505  cpuTime=4.38  mem=66M389
8.47	   
8.47	   search
8.47	     run=9  nbConstraintChecks=3376015  nbValidityChecks=6905040  nbPropagations=107279  nbRevisions=1326625
8.47	     nbUselessRevisions=1051802  nbAssignments=2876  nbFailedAssignments=1659  nbBacktracks=1131  nbVisitedNodes=5261
8.47	     nbRestartNogoods=42  mapSize=1022  nbInferences=0  nbTooLargeKeys=0
8.47	       =>  wckTime=5.834  cpuTime=5.69  mem=67M381
8.60	   
8.60	   INFO : Stopping hyperNogood (mapSize=1038, nbTooLargekeys=0, mem=67M381)
11.29	   
11.29	   search
11.29	     run=10  nbConstraintChecks=5136941  nbValidityChecks=10367881  nbPropagations=161180  nbRevisions=1997443
11.29	     nbUselessRevisions=1584263  nbAssignments=4245  nbFailedAssignments=2445  nbBacktracks=1707  nbVisitedNodes=7810
11.29	     nbRestartNogoods=52
11.30	       =>  wckTime=8.658  cpuTime=8.49  mem=67M381
14.35	   
14.35	   search
14.35	     run=11  nbConstraintChecks=6991197  nbValidityChecks=14153972  nbPropagations=239126  nbRevisions=2952986
14.35	     nbUselessRevisions=2342751  nbAssignments=5993  nbFailedAssignments=3319  nbBacktracks=2571  nbVisitedNodes=10961
14.35	     nbRestartNogoods=64
14.35	       =>  wckTime=11.71  cpuTime=11.52  mem=67M381
22.05	   
22.05	   search
22.05	     run=12  nbConstraintChecks=11610736  nbValidityChecks=23399661  nbPropagations=361110  nbRevisions=4447576
22.05	     nbUselessRevisions=3520728  nbAssignments=9213  nbFailedAssignments=5235  nbBacktracks=3868  nbVisitedNodes=16981
22.05	     nbRestartNogoods=73
22.05	       =>  wckTime=19.418  cpuTime=19.15  mem=67M381
30.97	   
30.97	   search
30.97	     run=13  nbConstraintChecks=17091714  nbValidityChecks=34586024  nbPropagations=544670  nbRevisions=6716124
30.97	     nbUselessRevisions=5313252  nbAssignments=13836  nbFailedAssignments=7903  nbBacktracks=5814  nbVisitedNodes=25562
30.97	     nbRestartNogoods=79
30.97	       =>  wckTime=28.334  cpuTime=27.98  mem=67M381
45.19	   
45.19	   search
45.19	     run=14  nbConstraintChecks=25646370  nbValidityChecks=51935471  nbPropagations=818997  nbRevisions=10160491
45.19	     nbUselessRevisions=8040416  nbAssignments=20284  nbFailedAssignments=11424  nbBacktracks=8734  nbVisitedNodes=37369
45.19	     nbRestartNogoods=89
45.19	       =>  wckTime=42.554  cpuTime=42.06  mem=67M381
64.95	   
64.95	   search
64.95	     run=15  nbConstraintChecks=37795382  nbValidityChecks=76729932  nbPropagations=1225557  nbRevisions=15272055
64.95	     nbUselessRevisions=12091939  nbAssignments=30372  nbFailedAssignments=17126  nbBacktracks=13113
64.95	     nbVisitedNodes=56012  nbRestartNogoods=102
64.95	       =>  wckTime=62.312  cpuTime=61.64  mem=67M381
98.11	   
98.11	   search
98.11	     run=16  nbConstraintChecks=57719574  nbValidityChecks=116937806  nbPropagations=1841555  nbRevisions=23032318
98.11	     nbUselessRevisions=18229477  nbAssignments=46055  nbFailedAssignments=26232  nbBacktracks=19682
98.11	     nbVisitedNodes=84958  nbRestartNogoods=116
98.11	       =>  wckTime=95.477  cpuTime=94.5  mem=67M381
137.55	   
137.55	   search
137.55	     run=17  nbConstraintChecks=81830947  nbValidityChecks=167757221  nbPropagations=2733460  nbRevisions=34129730
137.55	     nbUselessRevisions=26993345  nbAssignments=68546  nbFailedAssignments=38864  nbBacktracks=29535
137.55	     nbVisitedNodes=125957  nbRestartNogoods=134
137.55	       =>  wckTime=134.911  cpuTime=133.57  mem=67M381
223.46	   
223.46	   search
223.46	     run=18  nbConstraintChecks=134494277  nbValidityChecks=272477857  nbPropagations=4147167  nbRevisions=51539344
223.46	     nbUselessRevisions=40663937  nbAssignments=104325  nbFailedAssignments=59857  nbBacktracks=44313
223.46	     nbVisitedNodes=192943  nbRestartNogoods=142
223.46	       =>  wckTime=220.827  cpuTime=219.0  mem=67M381
331.13	   
331.13	   search
331.13	     run=19  nbConstraintChecks=203240863  nbValidityChecks=412830970  nbPropagations=6263181  nbRevisions=77960818
331.13	     nbUselessRevisions=61469597  nbAssignments=157424  nbFailedAssignments=90780  nbBacktracks=66481
331.13	     nbVisitedNodes=290778  nbRestartNogoods=173
331.13	       =>  wckTime=328.489  cpuTime=326.57  mem=67M381
441.71	   
441.71	   search
441.71	     run=20  nbConstraintChecks=274552080  nbValidityChecks=561024405  nbPropagations=9237744  nbRevisions=114677127
441.71	     nbUselessRevisions=90460411  nbAssignments=225883  nbFailedAssignments=125977  nbBacktracks=99735
441.71	     nbVisitedNodes=413153  nbRestartNogoods=196
441.71	       =>  wckTime=439.072  cpuTime=437.02  mem=67M381
672.33	   
672.33	   search
672.33	     run=21  nbConstraintChecks=420232386  nbValidityChecks=856787552  nbPropagations=13779557  nbRevisions=170964297
672.33	     nbUselessRevisions=134860599  nbAssignments=343482  nbFailedAssignments=193690  nbBacktracks=149614
672.33	     nbVisitedNodes=629750  nbRestartNogoods=210
672.33	       =>  wckTime=669.696  cpuTime=667.39  mem=67M381
957.20	   
957.20	   search
957.20	     run=22  nbConstraintChecks=602831261  nbValidityChecks=1239400748  nbPropagations=20391524  nbRevisions=252338559
957.20	     nbUselessRevisions=199068482  nbAssignments=508345  nbFailedAssignments=283728  nbBacktracks=224432
957.20	     nbVisitedNodes=930956  nbRestartNogoods=227
957.20	       =>  wckTime=954.568  cpuTime=951.94  mem=67M381
1485.88	   
1485.88	   search
1485.88	     run=23  nbConstraintChecks=937786474  nbValidityChecks=1919249135  nbPropagations=30349027  nbRevisions=375801629
1485.88	     nbUselessRevisions=296568338  nbAssignments=755387  nbFailedAssignments=418537  nbBacktracks=336659
1485.88	     nbVisitedNodes=1379869  nbRestartNogoods=247
1485.88	       =>  wckTime=1483.243  cpuTime=1479.97  mem=67M381

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/node19/watcher-203132-1168072864 -o ROOT/results/node19/solver-203132-1168072864 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/203132-1168072864/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.93 1.93 1.94 4/93 22059
/proc/meminfo: memFree=1253856/2055920 swapFree=4171232/4192956
[pid=22058] ppid=22056 vsize=18540 CPUtime=0
/proc/22058/stat : 22058 (runsolver) R 22056 22058 21991 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155681065 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 255236566311 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/22058/statm: 4635 279 244 17 0 2626 0

[startup+0.107941 s]
/proc/loadavg: 1.93 1.93 1.94 4/93 22059
/proc/meminfo: memFree=1253856/2055920 swapFree=4171232/4192956
[pid=22058] ppid=22056 vsize=914988 CPUtime=0.08
/proc/22058/stat : 22058 (java) R 22056 22058 21991 0 -1 0 2992 0 1 0 6 2 0 0 18 0 8 0 155681065 936947712 2738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7686499 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22058/statm: 228747 2738 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.516014 s]
/proc/loadavg: 1.93 1.93 1.94 4/93 22059
/proc/meminfo: memFree=1253856/2055920 swapFree=4171232/4192956
[pid=22058] ppid=22056 vsize=915328 CPUtime=0.49
/proc/22058/stat : 22058 (java) R 22056 22058 21991 0 -1 0 7534 0 1 0 44 5 0 0 18 0 8 0 155681065 937295872 7273 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073565569 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22058/statm: 228832 7273 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33717 s]
/proc/loadavg: 1.93 1.94 1.94 3/100 22066
/proc/meminfo: memFree=1186472/2055920 swapFree=4171232/4192956
[pid=22058] ppid=22056 vsize=915328 CPUtime=1.3
/proc/22058/stat : 22058 (java) R 22056 22058 21991 0 -1 0 19099 0 1 0 119 11 0 0 25 0 8 0 155681065 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073561012 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22058/statm: 228832 18837 2149 14 0 215302 0
[pid=22058/tid=22060] ppid=22056 vsize=915328 CPUtime=0.05
/proc/22058/task/22060/stat : 22060 (java) S 22056 22058 21991 0 -1 64 2681 0 0 0 4 1 0 0 17 0 8 0 155681069 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22061] ppid=22056 vsize=915328 CPUtime=0
/proc/22058/task/22061/stat : 22061 (java) S 22056 22058 21991 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155681070 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22062] ppid=22056 vsize=915328 CPUtime=0
/proc/22058/task/22062/stat : 22062 (java) S 22056 22058 21991 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155681070 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22063] ppid=22056 vsize=915328 CPUtime=0
/proc/22058/task/22063/stat : 22063 (java) S 22056 22058 21991 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155681073 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22064] ppid=22056 vsize=915328 CPUtime=0.08
/proc/22058/task/22064/stat : 22064 (java) S 22056 22058 21991 0 -1 64 308 0 0 0 8 0 0 0 16 0 8 0 155681073 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22065] ppid=22056 vsize=915328 CPUtime=0
/proc/22058/task/22065/stat : 22065 (java) S 22056 22058 21991 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155681073 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22066] ppid=22056 vsize=915328 CPUtime=0
/proc/22058/task/22066/stat : 22066 (java) S 22056 22058 21991 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155681073 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.97948 s]
/proc/loadavg: 1.93 1.94 1.94 3/100 22066
/proc/meminfo: memFree=1145704/2055920 swapFree=4171232/4192956
[pid=22058] ppid=22056 vsize=915424 CPUtime=2.93
/proc/22058/stat : 22058 (java) R 22056 22058 21991 0 -1 0 32679 0 1 0 275 18 0 0 25 0 8 0 155681065 937394176 32413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073629997 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22058/statm: 228856 32413 2521 14 0 215326 0
[pid=22058/tid=22060] ppid=22056 vsize=915424 CPUtime=0.44
/proc/22058/task/22060/stat : 22060 (java) S 22056 22058 21991 0 -1 64 15713 0 0 0 37 7 0 0 16 0 8 0 155681069 937394176 32413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22061] ppid=22056 vsize=915424 CPUtime=0
/proc/22058/task/22061/stat : 22061 (java) S 22056 22058 21991 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155681070 937394176 32413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22062] ppid=22056 vsize=915424 CPUtime=0
/proc/22058/task/22062/stat : 22062 (java) S 22056 22058 21991 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155681070 937394176 32413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22063] ppid=22056 vsize=915424 CPUtime=0
/proc/22058/task/22063/stat : 22063 (java) S 22056 22058 21991 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155681073 937394176 32413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22064] ppid=22056 vsize=915424 CPUtime=0.18
/proc/22058/task/22064/stat : 22064 (java) S 22056 22058 21991 0 -1 64 369 0 0 0 18 0 0 0 15 0 8 0 155681073 937394176 32413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22065] ppid=22056 vsize=915424 CPUtime=0
/proc/22058/task/22065/stat : 22065 (java) S 22056 22058 21991 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155681073 937394176 32413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22066] ppid=22056 vsize=915424 CPUtime=0
/proc/22058/task/22066/stat : 22066 (java) S 22056 22058 21991 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155681073 937394176 32413 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) 915424

[startup+6.27811 s]
/proc/loadavg: 1.93 1.94 1.94 3/100 22066
/proc/meminfo: memFree=1133608/2055920 swapFree=4171232/4192956
[pid=22058] ppid=22056 vsize=915424 CPUtime=6.2
/proc/22058/stat : 22058 (java) R 22056 22058 21991 0 -1 0 32697 0 1 0 602 18 0 0 25 0 8 0 155681065 937394176 32428 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073773054 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22058/statm: 228856 32428 2521 14 0 215326 0
[pid=22058/tid=22060] ppid=22056 vsize=915424 CPUtime=0.44
/proc/22058/task/22060/stat : 22060 (java) S 22056 22058 21991 0 -1 64 15713 0 0 0 37 7 0 0 17 0 8 0 155681069 937394176 32428 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22061] ppid=22056 vsize=915424 CPUtime=0
/proc/22058/task/22061/stat : 22061 (java) S 22056 22058 21991 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155681070 937394176 32428 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22062] ppid=22056 vsize=915424 CPUtime=0
/proc/22058/task/22062/stat : 22062 (java) S 22056 22058 21991 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155681070 937394176 32428 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22063] ppid=22056 vsize=915424 CPUtime=0
/proc/22058/task/22063/stat : 22063 (java) S 22056 22058 21991 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155681073 937394176 32428 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22064] ppid=22056 vsize=915424 CPUtime=0.23
/proc/22058/task/22064/stat : 22064 (java) S 22056 22058 21991 0 -1 64 387 0 0 0 22 1 0 0 16 0 8 0 155681073 937394176 32428 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22065] ppid=22056 vsize=915424 CPUtime=0
/proc/22058/task/22065/stat : 22065 (java) S 22056 22058 21991 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155681073 937394176 32428 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22066] ppid=22056 vsize=915424 CPUtime=0
/proc/22058/task/22066/stat : 22066 (java) S 22056 22058 21991 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155681073 937394176 32428 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) 915424

[startup+12.7583 s]
/proc/loadavg: 1.94 1.94 1.94 3/100 22066
/proc/meminfo: memFree=1133744/2055920 swapFree=4171232/4192956
[pid=22058] ppid=22056 vsize=915424 CPUtime=12.61
/proc/22058/stat : 22058 (java) R 22056 22058 21991 0 -1 0 32706 0 1 0 1243 18 0 0 25 0 8 0 155681065 937394176 32435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073629997 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22058/statm: 228856 32435 2521 14 0 215326 0
[pid=22058/tid=22060] ppid=22056 vsize=915424 CPUtime=0.44
/proc/22058/task/22060/stat : 22060 (java) S 22056 22058 21991 0 -1 64 15713 0 0 0 37 7 0 0 16 0 8 0 155681069 937394176 32435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22061] ppid=22056 vsize=915424 CPUtime=0
/proc/22058/task/22061/stat : 22061 (java) S 22056 22058 21991 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155681070 937394176 32435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22062] ppid=22056 vsize=915424 CPUtime=0
/proc/22058/task/22062/stat : 22062 (java) S 22056 22058 21991 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155681070 937394176 32435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22063] ppid=22056 vsize=915424 CPUtime=0
/proc/22058/task/22063/stat : 22063 (java) S 22056 22058 21991 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155681073 937394176 32435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22064] ppid=22056 vsize=915424 CPUtime=0.24
/proc/22058/task/22064/stat : 22064 (java) S 22056 22058 21991 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 155681073 937394176 32435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22065] ppid=22056 vsize=915424 CPUtime=0
/proc/22058/task/22065/stat : 22065 (java) S 22056 22058 21991 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155681073 937394176 32435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22066] ppid=22056 vsize=915424 CPUtime=0
/proc/22058/task/22066/stat : 22066 (java) S 22056 22058 21991 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155681073 937394176 32435 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) 915424

[startup+25.6317 s]
/proc/loadavg: 1.95 1.94 1.94 3/100 22066
/proc/meminfo: memFree=1133872/2055920 swapFree=4171232/4192956
[pid=22058] ppid=22056 vsize=915424 CPUtime=25.37
/proc/22058/stat : 22058 (java) R 22056 22058 21991 0 -1 0 32706 0 1 0 2519 18 0 0 25 0 8 0 155681065 937394176 32435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634858 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22058/statm: 228856 32435 2521 14 0 215326 0
[pid=22058/tid=22060] ppid=22056 vsize=915424 CPUtime=0.44
/proc/22058/task/22060/stat : 22060 (java) S 22056 22058 21991 0 -1 64 15713 0 0 0 37 7 0 0 16 0 8 0 155681069 937394176 32435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22061] ppid=22056 vsize=915424 CPUtime=0
/proc/22058/task/22061/stat : 22061 (java) S 22056 22058 21991 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155681070 937394176 32435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22062] ppid=22056 vsize=915424 CPUtime=0
/proc/22058/task/22062/stat : 22062 (java) S 22056 22058 21991 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155681070 937394176 32435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22063] ppid=22056 vsize=915424 CPUtime=0
/proc/22058/task/22063/stat : 22063 (java) S 22056 22058 21991 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155681073 937394176 32435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22064] ppid=22056 vsize=915424 CPUtime=0.24
/proc/22058/task/22064/stat : 22064 (java) S 22056 22058 21991 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 155681073 937394176 32435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22065] ppid=22056 vsize=915424 CPUtime=0
/proc/22058/task/22065/stat : 22065 (java) S 22056 22058 21991 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155681073 937394176 32435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22066] ppid=22056 vsize=915424 CPUtime=0
/proc/22058/task/22066/stat : 22066 (java) S 22056 22058 21991 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155681073 937394176 32435 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) 915424

[startup+51.2586 s]
/proc/loadavg: 1.97 1.94 1.94 3/100 22066
/proc/meminfo: memFree=1133872/2055920 swapFree=4171232/4192956
[pid=22058] ppid=22056 vsize=915424 CPUtime=50.76
/proc/22058/stat : 22058 (java) R 22056 22058 21991 0 -1 0 32706 0 1 0 5057 19 0 0 25 0 8 0 155681065 937394176 32435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073826720 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22058/statm: 228856 32435 2521 14 0 215326 0
[pid=22058/tid=22060] ppid=22056 vsize=915424 CPUtime=0.44
/proc/22058/task/22060/stat : 22060 (java) S 22056 22058 21991 0 -1 64 15713 0 0 0 37 7 0 0 16 0 8 0 155681069 937394176 32435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22061] ppid=22056 vsize=915424 CPUtime=0
/proc/22058/task/22061/stat : 22061 (java) S 22056 22058 21991 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155681070 937394176 32435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22062] ppid=22056 vsize=915424 CPUtime=0
/proc/22058/task/22062/stat : 22062 (java) S 22056 22058 21991 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155681070 937394176 32435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22063] ppid=22056 vsize=915424 CPUtime=0
/proc/22058/task/22063/stat : 22063 (java) S 22056 22058 21991 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155681073 937394176 32435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22064] ppid=22056 vsize=915424 CPUtime=0.24
/proc/22058/task/22064/stat : 22064 (java) S 22056 22058 21991 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 155681073 937394176 32435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22065] ppid=22056 vsize=915424 CPUtime=0
/proc/22058/task/22065/stat : 22065 (java) S 22056 22058 21991 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155681073 937394176 32435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22066] ppid=22056 vsize=915424 CPUtime=0
/proc/22058/task/22066/stat : 22066 (java) S 22056 22058 21991 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155681073 937394176 32435 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) 915424

[startup+102.511 s]
/proc/loadavg: 2.04 1.97 1.95 3/100 22066
/proc/meminfo: memFree=1133936/2055920 swapFree=4171232/4192956
[pid=22058] ppid=22056 vsize=915424 CPUtime=101.54
/proc/22058/stat : 22058 (java) R 22056 22058 21991 0 -1 0 32708 0 1 0 10135 19 0 0 25 0 8 0 155681065 937394176 32436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073813827 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22058/statm: 228856 32436 2521 14 0 215326 0
[pid=22058/tid=22060] ppid=22056 vsize=915424 CPUtime=0.44
/proc/22058/task/22060/stat : 22060 (java) S 22056 22058 21991 0 -1 64 15713 0 0 0 37 7 0 0 16 0 8 0 155681069 937394176 32436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22061] ppid=22056 vsize=915424 CPUtime=0
/proc/22058/task/22061/stat : 22061 (java) S 22056 22058 21991 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155681070 937394176 32436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22062] ppid=22056 vsize=915424 CPUtime=0
/proc/22058/task/22062/stat : 22062 (java) S 22056 22058 21991 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155681070 937394176 32436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22063] ppid=22056 vsize=915424 CPUtime=0
/proc/22058/task/22063/stat : 22063 (java) S 22056 22058 21991 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155681073 937394176 32436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22064] ppid=22056 vsize=915424 CPUtime=0.25
/proc/22058/task/22064/stat : 22064 (java) S 22056 22058 21991 0 -1 64 396 0 0 0 24 1 0 0 16 0 8 0 155681073 937394176 32436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22065] ppid=22056 vsize=915424 CPUtime=0
/proc/22058/task/22065/stat : 22065 (java) S 22056 22058 21991 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155681073 937394176 32436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22066] ppid=22056 vsize=915424 CPUtime=0
/proc/22058/task/22066/stat : 22066 (java) S 22056 22058 21991 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155681073 937394176 32436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.54
Current children cumulated vsize (KiB) 915424

[startup+162.519 s]
/proc/loadavg: 2.05 1.98 1.95 3/100 22066
/proc/meminfo: memFree=1134000/2055920 swapFree=4171232/4192956
[pid=22058] ppid=22056 vsize=915424 CPUtime=161
/proc/22058/stat : 22058 (java) R 22056 22058 21991 0 -1 0 32708 0 1 0 16080 20 0 0 25 0 8 0 155681065 937394176 32436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073629912 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+1482.88 s]
/proc/loadavg: 2.02 2.02 1.98 3/100 22320
/proc/meminfo: memFree=1027000/2055920 swapFree=4171232/4192956
[pid=22058] ppid=22056 vsize=915424 CPUtime=1479.65
/proc/22058/stat : 22058 (java) R 22056 22058 21991 0 -1 0 32709 0 1 0 147926 39 0 0 25 0 8 0 155681065 937394176 32437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073773123 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22058/statm: 228856 32437 2521 14 0 215326 0
[pid=22058/tid=22060] ppid=22056 vsize=915424 CPUtime=0.44
/proc/22058/task/22060/stat : 22060 (java) S 22056 22058 21991 0 -1 64 15713 0 0 0 37 7 0 0 16 0 8 0 155681069 937394176 32437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22061] ppid=22056 vsize=915424 CPUtime=0
/proc/22058/task/22061/stat : 22061 (java) S 22056 22058 21991 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155681070 937394176 32437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22062] ppid=22056 vsize=915424 CPUtime=0
/proc/22058/task/22062/stat : 22062 (java) S 22056 22058 21991 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155681070 937394176 32437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22063] ppid=22056 vsize=915424 CPUtime=0
/proc/22058/task/22063/stat : 22063 (java) S 22056 22058 21991 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155681073 937394176 32437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22064] ppid=22056 vsize=915424 CPUtime=0.25
/proc/22058/task/22064/stat : 22064 (java) S 22056 22058 21991 0 -1 64 397 0 0 0 24 1 0 0 16 0 8 0 155681073 937394176 32437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22058/tid=22065] ppid=22056 vsize=915424 CPUtime=0
/proc/22058/task/22065/stat : 22065 (java) S 22056 22058 21991 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155681073 937394176 32437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22066] ppid=22056 vsize=915424 CPUtime=0
/proc/22058/task/22066/stat : 22066 (java) S 22056 22058 21991 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155681073 937394176 32437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1479.65
Current children cumulated vsize (KiB) 915424

[startup+1542.89 s]
/proc/loadavg: 2.01 2.01 1.98 3/100 22320
/proc/meminfo: memFree=1027000/2055920 swapFree=4171232/4192956
[pid=22058] ppid=22056 vsize=915424 CPUtime=1539.61
/proc/22058/stat : 22058 (java) R 22056 22058 21991 0 -1 0 32709 0 1 0 153921 40 0 0 25 0 8 0 155681065 937394176 32437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073799638 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22058/statm: 228856 32437 2521 14 0 215326 0
[pid=22058/tid=22060] ppid=22056 vsize=915424 CPUtime=0.44
/proc/22058/task/22060/stat : 22060 (java) S 22056 22058 21991 0 -1 64 15713 0 0 0 37 7 0 0 16 0 8 0 155681069 937394176 32437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22061] ppid=22056 vsize=915424 CPUtime=0
/proc/22058/task/22061/stat : 22061 (java) S 22056 22058 21991 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155681070 937394176 32437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22062] ppid=22056 vsize=915424 CPUtime=0
/proc/22058/task/22062/stat : 22062 (java) S 22056 22058 21991 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155681070 937394176 32437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22063] ppid=22056 vsize=915424 CPUtime=0
/proc/22058/task/22063/stat : 22063 (java) S 22056 22058 21991 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155681073 937394176 32437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22064] ppid=22056 vsize=915424 CPUtime=0.25
/proc/22058/task/22064/stat : 22064 (java) S 22056 22058 21991 0 -1 64 397 0 0 0 24 1 0 0 16 0 8 0 155681073 937394176 32437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22058/tid=22065] ppid=22056 vsize=915424 CPUtime=0
/proc/22058/task/22065/stat : 22065 (java) S 22056 22058 21991 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155681073 937394176 32437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22066] ppid=22056 vsize=915424 CPUtime=0
/proc/22058/task/22066/stat : 22066 (java) S 22056 22058 21991 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155681073 937394176 32437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1539.61
Current children cumulated vsize (KiB) 915424

[startup+1602.9 s]
/proc/loadavg: 2.00 2.00 1.98 3/100 22320
/proc/meminfo: memFree=1027000/2055920 swapFree=4171232/4192956
[pid=22058] ppid=22056 vsize=915424 CPUtime=1599.53
/proc/22058/stat : 22058 (java) R 22056 22058 21991 0 -1 0 32709 0 1 0 159913 40 0 0 25 0 8 0 155681065 937394176 32437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073776704 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22058/statm: 228856 32437 2521 14 0 215326 0
[pid=22058/tid=22060] ppid=22056 vsize=915424 CPUtime=0.44
/proc/22058/task/22060/stat : 22060 (java) S 22056 22058 21991 0 -1 64 15713 0 0 0 37 7 0 0 16 0 8 0 155681069 937394176 32437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22061] ppid=22056 vsize=915424 CPUtime=0
/proc/22058/task/22061/stat : 22061 (java) S 22056 22058 21991 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155681070 937394176 32437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22062] ppid=22056 vsize=915424 CPUtime=0
/proc/22058/task/22062/stat : 22062 (java) S 22056 22058 21991 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155681070 937394176 32437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22063] ppid=22056 vsize=915424 CPUtime=0
/proc/22058/task/22063/stat : 22063 (java) S 22056 22058 21991 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155681073 937394176 32437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22064] ppid=22056 vsize=915424 CPUtime=0.25
/proc/22058/task/22064/stat : 22064 (java) S 22056 22058 21991 0 -1 64 397 0 0 0 24 1 0 0 16 0 8 0 155681073 937394176 32437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22058/tid=22065] ppid=22056 vsize=915424 CPUtime=0
/proc/22058/task/22065/stat : 22065 (java) S 22056 22058 21991 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155681073 937394176 32437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22066] ppid=22056 vsize=915424 CPUtime=0
/proc/22058/task/22066/stat : 22066 (java) S 22056 22058 21991 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155681073 937394176 32437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1599.53
Current children cumulated vsize (KiB) 915424

[startup+1662.92 s]
/proc/loadavg: 2.00 2.00 1.98 5/100 22320
/proc/meminfo: memFree=1027000/2055920 swapFree=4171232/4192956
[pid=22058] ppid=22056 vsize=915424 CPUtime=1659.49
/proc/22058/stat : 22058 (java) R 22056 22058 21991 0 -1 0 32709 0 1 0 165909 40 0 0 25 0 8 0 155681065 937394176 32437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634825 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22058/statm: 228856 32437 2521 14 0 215326 0
[pid=22058/tid=22060] ppid=22056 vsize=915424 CPUtime=0.44
/proc/22058/task/22060/stat : 22060 (java) S 22056 22058 21991 0 -1 64 15713 0 0 0 37 7 0 0 16 0 8 0 155681069 937394176 32437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22061] ppid=22056 vsize=915424 CPUtime=0
/proc/22058/task/22061/stat : 22061 (java) S 22056 22058 21991 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155681070 937394176 32437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22062] ppid=22056 vsize=915424 CPUtime=0
/proc/22058/task/22062/stat : 22062 (java) S 22056 22058 21991 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155681070 937394176 32437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22063] ppid=22056 vsize=915424 CPUtime=0
/proc/22058/task/22063/stat : 22063 (java) S 22056 22058 21991 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155681073 937394176 32437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22064] ppid=22056 vsize=915424 CPUtime=0.25
/proc/22058/task/22064/stat : 22064 (java) S 22056 22058 21991 0 -1 64 397 0 0 0 24 1 0 0 16 0 8 0 155681073 937394176 32437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22058/tid=22065] ppid=22056 vsize=915424 CPUtime=0
/proc/22058/task/22065/stat : 22065 (java) S 22056 22058 21991 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155681073 937394176 32437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22066] ppid=22056 vsize=915424 CPUtime=0
/proc/22058/task/22066/stat : 22066 (java) S 22056 22058 21991 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155681073 937394176 32437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1659.49
Current children cumulated vsize (KiB) 915424

[startup+1722.94 s]
/proc/loadavg: 2.07 2.02 1.99 3/100 22320
/proc/meminfo: memFree=1026936/2055920 swapFree=4171232/4192956
[pid=22058] ppid=22056 vsize=915424 CPUtime=1719.45
/proc/22058/stat : 22058 (java) R 22056 22058 21991 0 -1 0 32709 0 1 0 171905 40 0 0 25 0 8 0 155681065 937394176 32437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073765968 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22058/statm: 228856 32437 2521 14 0 215326 0
[pid=22058/tid=22060] ppid=22056 vsize=915424 CPUtime=0.44
/proc/22058/task/22060/stat : 22060 (java) S 22056 22058 21991 0 -1 64 15713 0 0 0 37 7 0 0 16 0 8 0 155681069 937394176 32437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22061] ppid=22056 vsize=915424 CPUtime=0
/proc/22058/task/22061/stat : 22061 (java) S 22056 22058 21991 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155681070 937394176 32437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22062] ppid=22056 vsize=915424 CPUtime=0
/proc/22058/task/22062/stat : 22062 (java) S 22056 22058 21991 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155681070 937394176 32437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22063] ppid=22056 vsize=915424 CPUtime=0
/proc/22058/task/22063/stat : 22063 (java) S 22056 22058 21991 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155681073 937394176 32437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22064] ppid=22056 vsize=915424 CPUtime=0.25
/proc/22058/task/22064/stat : 22064 (java) S 22056 22058 21991 0 -1 64 397 0 0 0 24 1 0 0 16 0 8 0 155681073 937394176 32437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22058/tid=22065] ppid=22056 vsize=915424 CPUtime=0
/proc/22058/task/22065/stat : 22065 (java) S 22056 22058 21991 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155681073 937394176 32437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22066] ppid=22056 vsize=915424 CPUtime=0
/proc/22058/task/22066/stat : 22066 (java) S 22056 22058 21991 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155681073 937394176 32437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1719.45
Current children cumulated vsize (KiB) 915424

[startup+1782.96 s]
/proc/loadavg: 2.02 2.01 1.99 3/100 22320
/proc/meminfo: memFree=1027000/2055920 swapFree=4171232/4192956
[pid=22058] ppid=22056 vsize=915424 CPUtime=1779.38
/proc/22058/stat : 22058 (java) R 22056 22058 21991 0 -1 0 32709 0 1 0 177898 40 0 0 25 0 8 0 155681065 937394176 32437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918504 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22058/statm: 228856 32437 2521 14 0 215326 0
[pid=22058/tid=22060] ppid=22056 vsize=915424 CPUtime=0.44
/proc/22058/task/22060/stat : 22060 (java) S 22056 22058 21991 0 -1 64 15713 0 0 0 37 7 0 0 16 0 8 0 155681069 937394176 32437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22061] ppid=22056 vsize=915424 CPUtime=0
/proc/22058/task/22061/stat : 22061 (java) S 22056 22058 21991 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155681070 937394176 32437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22062] ppid=22056 vsize=915424 CPUtime=0
/proc/22058/task/22062/stat : 22062 (java) S 22056 22058 21991 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155681070 937394176 32437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22063] ppid=22056 vsize=915424 CPUtime=0
/proc/22058/task/22063/stat : 22063 (java) S 22056 22058 21991 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155681073 937394176 32437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22064] ppid=22056 vsize=915424 CPUtime=0.25
/proc/22058/task/22064/stat : 22064 (java) S 22056 22058 21991 0 -1 64 397 0 0 0 24 1 0 0 16 0 8 0 155681073 937394176 32437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22058/tid=22065] ppid=22056 vsize=915424 CPUtime=0
/proc/22058/task/22065/stat : 22065 (java) S 22056 22058 21991 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155681073 937394176 32437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22066] ppid=22056 vsize=915424 CPUtime=0
/proc/22058/task/22066/stat : 22066 (java) S 22056 22058 21991 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155681073 937394176 32437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1779.38
Current children cumulated vsize (KiB) 915424



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1803.65 s]
/proc/loadavg: 2.14 2.04 2.00 3/100 22320
/proc/meminfo: memFree=1027128/2055920 swapFree=4171232/4192956
[pid=22058] ppid=22056 vsize=915424 CPUtime=1800.07
/proc/22058/stat : 22058 (java) R 22056 22058 21991 0 -1 0 32709 0 1 0 179967 40 0 0 25 0 8 0 155681065 937394176 32437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634877 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22058/statm: 228856 32437 2521 14 0 215326 0
[pid=22058/tid=22060] ppid=22056 vsize=915424 CPUtime=0.44
/proc/22058/task/22060/stat : 22060 (java) S 22056 22058 21991 0 -1 64 15713 0 0 0 37 7 0 0 16 0 8 0 155681069 937394176 32437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22061] ppid=22056 vsize=915424 CPUtime=0
/proc/22058/task/22061/stat : 22061 (java) S 22056 22058 21991 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155681070 937394176 32437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22062] ppid=22056 vsize=915424 CPUtime=0
/proc/22058/task/22062/stat : 22062 (java) S 22056 22058 21991 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155681070 937394176 32437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22063] ppid=22056 vsize=915424 CPUtime=0
/proc/22058/task/22063/stat : 22063 (java) S 22056 22058 21991 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155681073 937394176 32437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22064] ppid=22056 vsize=915424 CPUtime=0.25
/proc/22058/task/22064/stat : 22064 (java) S 22056 22058 21991 0 -1 64 397 0 0 0 24 1 0 0 16 0 8 0 155681073 937394176 32437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22058/tid=22065] ppid=22056 vsize=915424 CPUtime=0
/proc/22058/task/22065/stat : 22065 (java) S 22056 22058 21991 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155681073 937394176 32437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22058/tid=22066] ppid=22056 vsize=915424 CPUtime=0
/proc/22058/task/22066/stat : 22066 (java) R 22056 22058 21991 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155681073 937394176 32437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 915424

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

Child status: 143
Real time (s): 1803.73
CPU time (s): 1800.15
CPU user time (s): 1799.72
CPU system time (s): 0.427934
CPU usage (%): 99.8014
Max. virtual memory (cumulated for all children) (KiB): 915424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.72
system time used= 0.427934
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32726
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= 37598
involuntary context switches= 43611

runsolver used 2.39864 s user time and 5.61315 s system time

The end

Launcher Data (download as text)

Begin job on node19 on Sat Jan  6 08:41:04 UTC 2007


IDJOB= 203132
IDBENCH= 3917
FILE ID= node19/203132-1168072864

PBS_JOBID= 3475755

Free space on /tmp= 66304 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  dfbff00c5978e70c23dc5678ed550f66

RANDOM SEED= 127312485

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.260
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.260
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:       1254272 kB
Buffers:         70040 kB
Cached:         570956 kB
SwapCached:      10036 kB
Active:         301872 kB
Inactive:       398804 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1254272 kB
SwapTotal:     4192956 kB
SwapFree:      4171232 kB
Dirty:            7684 kB
Writeback:           0 kB
Mapped:          78912 kB
Slab:            85516 kB
Committed_AS:  4358608 kB
PageTables:       2476 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= 66299 MiB



End job on node19 on Sat Jan  6 09:11:08 UTC 2007