0.33
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=esac.xml
0.37
0.37 instance
0.37 name=/tmp/evaluation/208159-1168185753/unknown.xml
0.40
0.40 domains being loaded...
0.40
0.40 variables being loaded...
0.44 nbVariables=26 nbDomainTypes=1 minDomainSize=26 maxDomainSize=26
0.44 => wckTime=0.1 cpuTime=0.09 mem=6M951
0.44
0.44 relations being loaded...
0.55
0.55 constraints being loaded...
0.68 nbConstraints=325 nbRelationTypes=325 nbExtensionStructures=325 nbSharedExtensionStructures=0
0.68 nbConflictsStructures=325 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=979 maxDegree=25
0.68 maxArity=2
0.68 => wckTime=0.345 cpuTime=0.26 mem=14M786
0.73
0.73 solver IterativeSystematicSolver being built...
0.89 => wckTime=0.552 cpuTime=0.39 mem=15M257
0.94
0.94 preprocessing
0.94 nbConstraintChecks=62916 nbPropagations=743 nbRevisions=7600 nbUselessRevisions=6702 nbSingletonTests=36
0.94 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
0.94 => wckTime=0.048 cpuTime=0.03 mem=15M257
0.97
0.97 search
0.97 run=0 nbConstraintChecks=42746 nbPropagations=1209 nbRevisions=15749 nbUselessRevisions=13681 nbAssignments=29
0.97 nbFailedAssignments=13 nbBacktracks=10 nbVisitedNodes=52 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.97 nbTooLargeKeys=0
0.97 => wckTime=0.074 cpuTime=0.05 mem=15M257
0.98
0.98 search
0.98 run=1 nbConstraintChecks=94844 nbPropagations=3013 nbRevisions=42163 nbUselessRevisions=36628 nbAssignments=66
0.98 nbFailedAssignments=28 nbBacktracks=25 nbVisitedNodes=116 nbRestartNogoods=4 mapSize=25 nbInferences=0
0.98 nbTooLargeKeys=0
0.98 => wckTime=0.092 cpuTime=0.06 mem=15M257
1.00
1.00 search
1.00 run=2 nbConstraintChecks=158880 nbPropagations=5592 nbRevisions=82572 nbUselessRevisions=71842
1.00 nbAssignments=112 nbFailedAssignments=45 nbBacktracks=47 nbVisitedNodes=196 nbRestartNogoods=7 mapSize=46
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.111 cpuTime=0.08 mem=15M257
1.03
1.03 search
1.03 run=3 nbConstraintChecks=254937 nbPropagations=9233 nbRevisions=143227 nbUselessRevisions=124706
1.03 nbAssignments=182 nbFailedAssignments=75 nbBacktracks=81 nbVisitedNodes=317 nbRestartNogoods=11 mapSize=79
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.136 cpuTime=0.1 mem=15M257
1.06
1.06 search
1.06 run=4 nbConstraintChecks=407702 nbPropagations=14536 nbRevisions=237689 nbUselessRevisions=207145
1.06 nbAssignments=290 nbFailedAssignments=126 nbBacktracks=133 nbVisitedNodes=512 nbRestartNogoods=16 mapSize=130
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.168 cpuTime=0.13 mem=15M257
1.10
1.10 search
1.10 run=5 nbConstraintChecks=614798 nbPropagations=22121 nbRevisions=377911 nbUselessRevisions=329582
1.10 nbAssignments=440 nbFailedAssignments=194 nbBacktracks=208 nbVisitedNodes=783 nbRestartNogoods=20 mapSize=203
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.213 cpuTime=0.17 mem=15M257
1.18
1.18 search
1.18 run=6 nbConstraintChecks=956516 nbPropagations=33473 nbRevisions=593265 nbUselessRevisions=517725
1.18 nbAssignments=687 nbFailedAssignments=307 nbBacktracks=321 nbVisitedNodes=1208 nbRestartNogoods=26 mapSize=310
1.18 nbInferences=0 nbTooLargeKeys=0
1.18 => wckTime=0.285 cpuTime=0.24 mem=15M257
1.27
1.27 search
1.27 run=7 nbConstraintChecks=1441505 nbPropagations=50019 nbRevisions=918239 nbUselessRevisions=801546
1.27 nbAssignments=1033 nbFailedAssignments=477 nbBacktracks=492 nbVisitedNodes=1850 nbRestartNogoods=33
1.27 mapSize=478 nbInferences=0 nbTooLargeKeys=0
1.27 => wckTime=0.377 cpuTime=0.33 mem=15M257
1.42
1.42 search
1.42 run=8 nbConstraintChecks=2208412 nbPropagations=74543 nbRevisions=1413410 nbUselessRevisions=1234351
1.42 nbAssignments=1529 nbFailedAssignments=713 nbBacktracks=748 nbVisitedNodes=2773 nbRestartNogoods=41
1.42 mapSize=731 nbInferences=0 nbTooLargeKeys=0
1.42 => wckTime=0.529 cpuTime=0.47 mem=15M257
1.58
1.58 INFO : Stopping hyperNogood (mapSize=1026, nbTooLargekeys=0, mem=15M257)
1.61
1.62 search
1.62 run=9 nbConstraintChecks=3321810 nbPropagations=110868 nbRevisions=2160920 nbUselessRevisions=1887815
1.62 nbAssignments=2305 nbFailedAssignments=1099 nbBacktracks=1132 nbVisitedNodes=4210 nbRestartNogoods=47
1.62 => wckTime=0.724 cpuTime=0.66 mem=15M257
1.87
1.87 search
1.87 run=10 nbConstraintChecks=4834226 nbPropagations=163835 nbRevisions=3257521 nbUselessRevisions=2847210
1.87 nbAssignments=3395 nbFailedAssignments=1606 nbBacktracks=1708 nbVisitedNodes=6220 nbRestartNogoods=54
1.87 => wckTime=0.983 cpuTime=0.9 mem=15M257
2.28
2.28 search
2.28 run=11 nbConstraintChecks=7361678 nbPropagations=243265 nbRevisions=4918030 nbUselessRevisions=4299288
2.28 nbAssignments=5084 nbFailedAssignments=2411 nbBacktracks=2572 nbVisitedNodes=9355 nbRestartNogoods=63
2.28 => wckTime=1.388 cpuTime=1.29 mem=15M257
2.86
2.86 search
2.86 run=12 nbConstraintChecks=10907225 nbPropagations=360472 nbRevisions=7386459 nbUselessRevisions=6458919
2.86 nbAssignments=7558 nbFailedAssignments=3582 nbBacktracks=3869 nbVisitedNodes=13953 nbRestartNogoods=75
2.86 => wckTime=1.965 cpuTime=1.85 mem=15M257
3.73
3.73 search
3.73 run=13 nbConstraintChecks=16564172 nbPropagations=536414 nbRevisions=11123828 nbUselessRevisions=9729016
3.73 nbAssignments=11400 nbFailedAssignments=5472 nbBacktracks=5816 nbVisitedNodes=21083 nbRestartNogoods=87
3.73 => wckTime=2.84 cpuTime=2.72 mem=15M257
5.04
5.04 search
5.05 run=14 nbConstraintChecks=25084441 nbPropagations=801253 nbRevisions=16785288 nbUselessRevisions=14684429
5.05 nbAssignments=17131 nbFailedAssignments=8278 nbBacktracks=8737 nbVisitedNodes=31767 nbRestartNogoods=94
5.05 => wckTime=4.154 cpuTime=4.03 mem=15M257
6.97
6.97 search
6.97 run=15 nbConstraintChecks=37659583 nbPropagations=1195539 nbRevisions=25226833 nbUselessRevisions=22071026
6.97 nbAssignments=25495 nbFailedAssignments=12260 nbBacktracks=13115 nbVisitedNodes=47253 nbRestartNogoods=105
6.97 => wckTime=6.078 cpuTime=5.94 mem=15M257
9.74
9.74 search
9.74 run=16 nbConstraintChecks=55186309 nbPropagations=1779411 nbRevisions=37691962 nbUselessRevisions=32983196
9.74 nbAssignments=38064 nbFailedAssignments=18254 nbBacktracks=19686 nbVisitedNodes=70505 nbRestartNogoods=115
9.74 => wckTime=8.845 cpuTime=8.69 mem=15M257
14.07
14.08 search
14.08 run=17 nbConstraintChecks=83091305 nbPropagations=2655177 nbRevisions=56432338 nbUselessRevisions=49390230
14.08 nbAssignments=57003 nbFailedAssignments=27335 nbBacktracks=29538 nbVisitedNodes=105632 nbRestartNogoods=124
14.08 => wckTime=13.184 cpuTime=13.01 mem=15M257
20.55
20.55 search
20.55 run=18 nbConstraintChecks=124324754 nbPropagations=3966793 nbRevisions=84524907 nbUselessRevisions=73989002
20.55 nbAssignments=85553 nbFailedAssignments=41101 nbBacktracks=44316 nbVisitedNodes=158522 nbRestartNogoods=135
20.55 => wckTime=19.658 cpuTime=19.45 mem=15M257
30.33
30.33 search
30.33 run=19 nbConstraintChecks=188073608 nbPropagations=5941868 nbRevisions=127000449 nbUselessRevisions=111190910
30.33 nbAssignments=128598 nbFailedAssignments=61970 nbBacktracks=66484 nbVisitedNodes=238530 nbRestartNogoods=155
30.33 => wckTime=29.44 cpuTime=29.21 mem=15M257
44.74
44.74 search
44.74 run=20 nbConstraintChecks=281176333 nbPropagations=8897814 nbRevisions=190568962 nbUselessRevisions=166866538
44.74 nbAssignments=192520 nbFailedAssignments=92622 nbBacktracks=99736 nbVisitedNodes=357147 nbRestartNogoods=174
44.74 => wckTime=43.846 cpuTime=43.61 mem=15M257
66.56
66.56 search
66.56 run=21 nbConstraintChecks=424328365 nbPropagations=13333728 nbRevisions=286195206 nbUselessRevisions=250630174
66.56 nbAssignments=288143 nbFailedAssignments=138361 nbBacktracks=149616 nbVisitedNodes=534424 nbRestartNogoods=183
66.56 => wckTime=65.671 cpuTime=65.43 mem=15M257
100.33
100.33 search
100.33 run=22 nbConstraintChecks=646983776 nbPropagations=20035463 nbRevisions=431417715 nbUselessRevisions=377864234
100.33 nbAssignments=432930 nbFailedAssignments=208324 nbBacktracks=224435 nbVisitedNodes=803712 nbRestartNogoods=206
100.33 => wckTime=99.437 cpuTime=99.19 mem=15M257
150.65
150.65 search
150.65 run=23 nbConstraintChecks=978114246 nbPropagations=30126073 nbRevisions=650756332 nbUselessRevisions=570077995
150.65 nbAssignments=650862 nbFailedAssignments=314023 nbBacktracks=336663 nbVisitedNodes=1208838 nbRestartNogoods=234
150.65 => wckTime=149.757 cpuTime=149.49 mem=15M257
225.99
225.99 search
225.99 run=24 nbConstraintChecks=1474294839 nbPropagations=45284926 nbRevisions=980929238 nbUselessRevisions=859466676
225.99 nbAssignments=976595 nbFailedAssignments=471409 nbBacktracks=505005 nbVisitedNodes=1814051 nbRestartNogoods=260
225.99 => wckTime=225.098 cpuTime=224.81 mem=15M257
337.31
337.31 search
337.31 run=25 nbConstraintChecks=2203288721 nbPropagations=67956530 nbRevisions=1474716870
337.31 nbUselessRevisions=1292336644 nbAssignments=1461639 nbFailedAssignments=703936 nbBacktracks=757518
337.31 nbVisitedNodes=2714024 nbRestartNogoods=277
337.31 => wckTime=336.42 cpuTime=336.1 mem=15M257
508.67
508.67 search
508.67 run=26 nbConstraintChecks=3338764785 nbPropagations=102121546 nbRevisions=2220945894
508.67 nbUselessRevisions=1946578006 nbAssignments=2195148 nbFailedAssignments=1058671 nbBacktracks=1136286
508.67 nbVisitedNodes=4077859 nbRestartNogoods=304
508.67 => wckTime=507.782 cpuTime=507.41 mem=15M257
753.67
753.67 search
753.67 run=27 nbConstraintChecks=5060063177 nbPropagations=153643049 nbRevisions=3349562828
753.67 nbUselessRevisions=2936106145 nbAssignments=3299480 nbFailedAssignments=1594835 nbBacktracks=1704437
753.67 nbVisitedNodes=6132501 nbRestartNogoods=316
753.67 => wckTime=752.779 cpuTime=751.5 mem=15M257
1118.19
1118.19 search
1118.19 run=28 nbConstraintChecks=7659905533 nbPropagations=231250468 nbRevisions=5055036523
1118.19 nbUselessRevisions=4431595729 nbAssignments=4954720 nbFailedAssignments=2397843 nbBacktracks=2556664
1118.19 nbVisitedNodes=9212287 nbRestartNogoods=331
1118.19 => wckTime=1117.302 cpuTime=1114.37 mem=15M257
1273.02
1273.02 search
1273.02 run=29 nbConstraintChecks=8768501771 nbPropagations=319871482 nbRevisions=7006258543
1273.02 nbUselessRevisions=6142816541 nbAssignments=5649761 nbFailedAssignments=2735637 nbBacktracks=2913901
1273.02 nbVisitedNodes=10505905 nbRestartNogoods=345
1273.02 => wckTime=1272.131 cpuTime=1268.51 mem=15M257
1273.02
1273.02 global
1273.02 nbConstraintChecks=8768564687 nbPropagations=319872225 nbRevisions=7006266143 nbUselessRevisions=6142823243
1273.02 nbRestartNogoods=345 solvingWckTime=1272.132 solvingCpuTime=1268.51 expiredTime=no totalExploration=yes
1273.02 nbFoundSolutions=0 globalCpuTime=1268.96
1273.02 => wckTime=1272.687 cpuTime=1268.9 mem=15M257
1273.03
1273.03 s UNSATISFIABLE
1273.03 d NODES 5649761
1273.03 d CHECKS 8768564687
1273.03
1273.03 totalWckTime=1272.77 totalCpuTime=1268.96
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node60/watcher-208159-1168185753 -o ROOT/results/node60/solver-208159-1168185753 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208159-1168185753/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.92 1.98 1.86 4/88 12073
/proc/meminfo: memFree=1389016/2055920 swapFree=4192812/4192956
[pid=12072] ppid=12070 vsize=18540 CPUtime=0
/proc/12072/stat : 12072 (runsolver) D 12070 12072 11575 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 166973184 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 271894244647 0 2147483391 4096 24578 18446744072099781622 0 0 17 1 0 0
/proc/12072/statm: 4635 279 244 17 0 2626 0
[startup+0.103374 s]
/proc/loadavg: 1.92 1.98 1.86 4/88 12073
/proc/meminfo: memFree=1389016/2055920 swapFree=4192812/4192956
[pid=12072] ppid=12070 vsize=911488 CPUtime=0.06
/proc/12072/stat : 12072 (java) R 12070 12072 11575 0 -1 0 2606 0 1 0 5 1 0 0 20 0 8 0 166973184 933363712 2353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072939633 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12072/statm: 227872 2353 1275 14 0 215051 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 911488
[startup+0.511416 s]
/proc/loadavg: 1.92 1.98 1.86 4/88 12073
/proc/meminfo: memFree=1389016/2055920 swapFree=4192812/4192956
[pid=12072] ppid=12070 vsize=915328 CPUtime=0.47
/proc/12072/stat : 12072 (java) R 12070 12072 11575 0 -1 0 6641 0 1 0 42 5 0 0 18 0 8 0 166973184 937295872 6380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073560343 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12072/statm: 228832 6380 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328
[startup+1.33449 s]
/proc/loadavg: 1.92 1.98 1.86 3/95 12080
/proc/meminfo: memFree=1363872/2055920 swapFree=4192812/4192956
[pid=12072] ppid=12070 vsize=915456 CPUtime=1.29
/proc/12072/stat : 12072 (java) R 12070 12072 11575 0 -1 0 8984 0 1 0 122 7 0 0 24 0 8 0 166973184 937426944 8722 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073793311 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12072/statm: 228864 8722 2524 14 0 215334 0
[pid=12072/tid=12074] ppid=12070 vsize=915456 CPUtime=0.03
/proc/12072/task/12074/stat : 12074 (java) S 12070 12072 11575 0 -1 64 342 0 0 0 3 0 0 0 16 0 8 0 166973190 937426944 8722 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12075] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12075/stat : 12075 (java) S 12070 12072 11575 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166973191 937426944 8722 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12076] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12076/stat : 12076 (java) S 12070 12072 11575 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166973191 937426944 8722 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12077] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12077/stat : 12077 (java) S 12070 12072 11575 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166973194 937426944 8722 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12078] ppid=12070 vsize=915456 CPUtime=0.21
/proc/12072/task/12078/stat : 12078 (java) S 12070 12072 11575 0 -1 64 377 0 0 0 20 1 0 0 15 0 8 0 166973194 937426944 8722 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12079] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12079/stat : 12079 (java) S 12070 12072 11575 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166973194 937426944 8722 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12080] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12080/stat : 12080 (java) S 12070 12072 11575 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166973194 937426944 8722 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915456
[startup+2.97865 s]
/proc/loadavg: 1.93 1.98 1.86 6/95 12090
/proc/meminfo: memFree=1363680/2055920 swapFree=4192812/4192956
[pid=12072] ppid=12070 vsize=915456 CPUtime=2.89
/proc/12072/stat : 12072 (java) R 12070 12072 11575 0 -1 0 9001 0 1 0 282 7 0 0 25 0 8 0 166973184 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073807006 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12072/statm: 228864 8737 2524 14 0 215334 0
[pid=12072/tid=12074] ppid=12070 vsize=915456 CPUtime=0.03
/proc/12072/task/12074/stat : 12074 (java) S 12070 12072 11575 0 -1 64 342 0 0 0 3 0 0 0 17 0 8 0 166973190 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12075] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12075/stat : 12075 (java) S 12070 12072 11575 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166973191 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12076] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12076/stat : 12076 (java) S 12070 12072 11575 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166973191 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12077] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12077/stat : 12077 (java) S 12070 12072 11575 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166973194 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12078] ppid=12070 vsize=915456 CPUtime=0.24
/proc/12072/task/12078/stat : 12078 (java) S 12070 12072 11575 0 -1 64 393 0 0 0 23 1 0 0 15 0 8 0 166973194 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12079] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12079/stat : 12079 (java) S 12070 12072 11575 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166973194 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12080] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12080/stat : 12080 (java) S 12070 12072 11575 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166973194 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 915456
[startup+6.18497 s]
/proc/loadavg: 1.93 1.98 1.86 3/89 12100
/proc/meminfo: memFree=1364680/2055920 swapFree=4192812/4192956
[pid=12072] ppid=12070 vsize=915456 CPUtime=6.08
/proc/12072/stat : 12072 (java) R 12070 12072 11575 0 -1 0 9001 0 1 0 601 7 0 0 25 0 8 0 166973184 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073810553 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12072/statm: 228864 8737 2524 14 0 215334 0
[pid=12072/tid=12074] ppid=12070 vsize=915456 CPUtime=0.03
/proc/12072/task/12074/stat : 12074 (java) S 12070 12072 11575 0 -1 64 342 0 0 0 3 0 0 0 16 0 8 0 166973190 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12075] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12075/stat : 12075 (java) S 12070 12072 11575 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166973191 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12076] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12076/stat : 12076 (java) S 12070 12072 11575 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166973191 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12077] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12077/stat : 12077 (java) S 12070 12072 11575 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166973194 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12078] ppid=12070 vsize=915456 CPUtime=0.24
/proc/12072/task/12078/stat : 12078 (java) S 12070 12072 11575 0 -1 64 393 0 0 0 23 1 0 0 15 0 8 0 166973194 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12079] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12079/stat : 12079 (java) S 12070 12072 11575 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166973194 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12080] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12080/stat : 12080 (java) S 12070 12072 11575 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166973194 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 915456
[startup+12.6536 s]
/proc/loadavg: 1.94 1.98 1.86 3/89 12100
/proc/meminfo: memFree=1364688/2055920 swapFree=4192812/4192956
[pid=12072] ppid=12070 vsize=915456 CPUtime=12.51
/proc/12072/stat : 12072 (java) R 12070 12072 11575 0 -1 0 9002 0 1 0 1244 7 0 0 25 0 8 0 166973184 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073800377 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12072/statm: 228864 8737 2524 14 0 215334 0
[pid=12072/tid=12074] ppid=12070 vsize=915456 CPUtime=0.03
/proc/12072/task/12074/stat : 12074 (java) S 12070 12072 11575 0 -1 64 342 0 0 0 3 0 0 0 16 0 8 0 166973190 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12075] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12075/stat : 12075 (java) S 12070 12072 11575 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166973191 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12076] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12076/stat : 12076 (java) S 12070 12072 11575 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166973191 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12077] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12077/stat : 12077 (java) S 12070 12072 11575 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166973194 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12078] ppid=12070 vsize=915456 CPUtime=0.24
/proc/12072/task/12078/stat : 12078 (java) S 12070 12072 11575 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 166973194 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12079] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12079/stat : 12079 (java) S 12070 12072 11575 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166973194 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12080] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12080/stat : 12080 (java) S 12070 12072 11575 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166973194 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 915456
[startup+25.5089 s]
/proc/loadavg: 1.95 1.98 1.86 3/89 12100
/proc/meminfo: memFree=1364768/2055920 swapFree=4192812/4192956
[pid=12072] ppid=12070 vsize=915456 CPUtime=25.31
/proc/12072/stat : 12072 (java) R 12070 12072 11575 0 -1 0 9002 0 1 0 2524 7 0 0 25 0 8 0 166973184 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073807826 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12072/statm: 228864 8737 2524 14 0 215334 0
[pid=12072/tid=12074] ppid=12070 vsize=915456 CPUtime=0.03
/proc/12072/task/12074/stat : 12074 (java) S 12070 12072 11575 0 -1 64 342 0 0 0 3 0 0 0 16 0 8 0 166973190 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12075] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12075/stat : 12075 (java) S 12070 12072 11575 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166973191 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12076] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12076/stat : 12076 (java) S 12070 12072 11575 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166973191 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12077] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12077/stat : 12077 (java) S 12070 12072 11575 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166973194 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12078] ppid=12070 vsize=915456 CPUtime=0.24
/proc/12072/task/12078/stat : 12078 (java) S 12070 12072 11575 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 166973194 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12079] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12079/stat : 12079 (java) S 12070 12072 11575 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166973194 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12080] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12080/stat : 12080 (java) R 12070 12072 11575 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166973194 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 915456
[startup+51.1782 s]
/proc/loadavg: 1.96 1.98 1.87 3/89 12100
/proc/meminfo: memFree=1364896/2055920 swapFree=4192812/4192956
[pid=12072] ppid=12070 vsize=915456 CPUtime=50.97
/proc/12072/stat : 12072 (java) R 12070 12072 11575 0 -1 0 9003 0 1 0 5090 7 0 0 25 0 8 0 166973184 937426944 8738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918504 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12072/statm: 228864 8738 2524 14 0 215334 0
[pid=12072/tid=12074] ppid=12070 vsize=915456 CPUtime=0.03
/proc/12072/task/12074/stat : 12074 (java) S 12070 12072 11575 0 -1 64 342 0 0 0 3 0 0 0 16 0 8 0 166973190 937426944 8738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12075] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12075/stat : 12075 (java) S 12070 12072 11575 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166973191 937426944 8738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12076] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12076/stat : 12076 (java) S 12070 12072 11575 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166973191 937426944 8738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12077] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12077/stat : 12077 (java) S 12070 12072 11575 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166973194 937426944 8738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12078] ppid=12070 vsize=915456 CPUtime=0.24
/proc/12072/task/12078/stat : 12078 (java) S 12070 12072 11575 0 -1 64 394 0 0 0 23 1 0 0 16 0 8 0 166973194 937426944 8738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12079] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12079/stat : 12079 (java) S 12070 12072 11575 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166973194 937426944 8738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12080] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12080/stat : 12080 (java) S 12070 12072 11575 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166973194 937426944 8738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 915456
[startup+102.425 s]
/proc/loadavg: 1.98 1.98 1.87 3/89 12100
/proc/meminfo: memFree=1364960/2055920 swapFree=4192812/4192956
[pid=12072] ppid=12070 vsize=915456 CPUtime=102.21
/proc/12072/stat : 12072 (java) R 12070 12072 11575 0 -1 0 9003 0 1 0 10213 8 0 0 25 0 8 0 166973184 937426944 8738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073799443 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12072/statm: 228864 8738 2524 14 0 215334 0
[pid=12072/tid=12074] ppid=12070 vsize=915456 CPUtime=0.03
/proc/12072/task/12074/stat : 12074 (java) S 12070 12072 11575 0 -1 64 342 0 0 0 3 0 0 0 16 0 8 0 166973190 937426944 8738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12075] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12075/stat : 12075 (java) S 12070 12072 11575 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166973191 937426944 8738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12076] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12076/stat : 12076 (java) S 12070 12072 11575 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166973191 937426944 8738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12077] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12077/stat : 12077 (java) S 12070 12072 11575 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166973194 937426944 8738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12078] ppid=12070 vsize=915456 CPUtime=0.24
/proc/12072/task/12078/stat : 12078 (java) S 12070 12072 11575 0 -1 64 394 0 0 0 23 1 0 0 16 0 8 0 166973194 937426944 8738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12079] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12079/stat : 12079 (java) S 12070 12072 11575 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166973194 937426944 8738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12080] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12080/stat : 12080 (java) S 12070 12072 11575 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166973194 937426944 8738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 915456
[startup+162.509 s]
/proc/loadavg: 1.99 1.98 1.88 3/89 12100
/proc/meminfo: memFree=1365024/2055920 swapFree=4192812/4192956
[pid=12072] ppid=12070 vsize=915456 CPUtime=162.27
/proc/12072/stat : 12072 (java) R 12070 12072 11575 0 -1 0 9003 0 1 0 16219 8 0 0 25 0 8 0 166973184 937426944 8738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073807844 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
/proc/12072/task/12077/stat : 12077 (java) S 12070 12072 11575 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166973194 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12078] ppid=12070 vsize=915456 CPUtime=0.24
/proc/12072/task/12078/stat : 12078 (java) S 12070 12072 11575 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 166973194 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12072/tid=12079] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12079/stat : 12079 (java) S 12070 12072 11575 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166973194 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12080] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12080/stat : 12080 (java) S 12070 12072 11575 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166973194 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 821.5
Current children cumulated vsize (KiB) 915456
[startup+883.091 s]
/proc/loadavg: 2.00 2.00 1.91 3/82 12414
/proc/meminfo: memFree=1480904/2055920 swapFree=4192812/4192956
[pid=12072] ppid=12070 vsize=915456 CPUtime=881.26
/proc/12072/stat : 12072 (java) R 12070 12072 11575 0 -1 0 9004 0 1 0 88115 11 0 0 25 0 8 0 166973184 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795916 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12072/statm: 228864 8739 2524 14 0 215334 0
[pid=12072/tid=12074] ppid=12070 vsize=915456 CPUtime=0.03
/proc/12072/task/12074/stat : 12074 (java) S 12070 12072 11575 0 -1 64 342 0 0 0 3 0 0 0 16 0 8 0 166973190 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12075] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12075/stat : 12075 (java) S 12070 12072 11575 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166973191 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12076] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12076/stat : 12076 (java) S 12070 12072 11575 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166973191 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12077] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12077/stat : 12077 (java) S 12070 12072 11575 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166973194 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12078] ppid=12070 vsize=915456 CPUtime=0.24
/proc/12072/task/12078/stat : 12078 (java) S 12070 12072 11575 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 166973194 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12072/tid=12079] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12079/stat : 12079 (java) S 12070 12072 11575 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166973194 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12080] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12080/stat : 12080 (java) S 12070 12072 11575 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166973194 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 881.26
Current children cumulated vsize (KiB) 915456
[startup+943.113 s]
/proc/loadavg: 2.06 2.01 1.92 3/82 12414
/proc/meminfo: memFree=1480840/2055920 swapFree=4192812/4192956
[pid=12072] ppid=12070 vsize=915456 CPUtime=941.02
/proc/12072/stat : 12072 (java) R 12070 12072 11575 0 -1 0 9004 0 1 0 94091 11 0 0 25 0 8 0 166973184 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073791881 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12072/statm: 228864 8739 2524 14 0 215334 0
[pid=12072/tid=12074] ppid=12070 vsize=915456 CPUtime=0.03
/proc/12072/task/12074/stat : 12074 (java) S 12070 12072 11575 0 -1 64 342 0 0 0 3 0 0 0 16 0 8 0 166973190 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12075] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12075/stat : 12075 (java) S 12070 12072 11575 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166973191 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12076] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12076/stat : 12076 (java) S 12070 12072 11575 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166973191 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12077] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12077/stat : 12077 (java) S 12070 12072 11575 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166973194 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12078] ppid=12070 vsize=915456 CPUtime=0.24
/proc/12072/task/12078/stat : 12078 (java) S 12070 12072 11575 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 166973194 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12072/tid=12079] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12079/stat : 12079 (java) S 12070 12072 11575 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166973194 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12080] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12080/stat : 12080 (java) S 12070 12072 11575 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166973194 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 941.02
Current children cumulated vsize (KiB) 915456
[startup+1003.13 s]
/proc/loadavg: 2.02 2.01 1.92 3/82 12416
/proc/meminfo: memFree=1480712/2055920 swapFree=4192812/4192956
[pid=12072] ppid=12070 vsize=915456 CPUtime=1000.75
/proc/12072/stat : 12072 (java) R 12070 12072 11575 0 -1 0 9004 0 1 0 100064 11 0 0 25 0 8 0 166973184 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918603 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12072/statm: 228864 8739 2524 14 0 215334 0
[pid=12072/tid=12074] ppid=12070 vsize=915456 CPUtime=0.03
/proc/12072/task/12074/stat : 12074 (java) S 12070 12072 11575 0 -1 64 342 0 0 0 3 0 0 0 16 0 8 0 166973190 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12075] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12075/stat : 12075 (java) S 12070 12072 11575 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166973191 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12076] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12076/stat : 12076 (java) S 12070 12072 11575 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166973191 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12077] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12077/stat : 12077 (java) S 12070 12072 11575 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166973194 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12078] ppid=12070 vsize=915456 CPUtime=0.24
/proc/12072/task/12078/stat : 12078 (java) S 12070 12072 11575 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 166973194 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12072/tid=12079] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12079/stat : 12079 (java) S 12070 12072 11575 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166973194 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12080] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12080/stat : 12080 (java) S 12070 12072 11575 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166973194 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1000.75
Current children cumulated vsize (KiB) 915456
[startup+1063.15 s]
/proc/loadavg: 2.00 2.00 1.92 3/82 12416
/proc/meminfo: memFree=1480776/2055920 swapFree=4192812/4192956
[pid=12072] ppid=12070 vsize=915456 CPUtime=1060.51
/proc/12072/stat : 12072 (java) R 12070 12072 11575 0 -1 0 9004 0 1 0 106040 11 0 0 25 0 8 0 166973184 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073821541 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12072/statm: 228864 8739 2524 14 0 215334 0
[pid=12072/tid=12074] ppid=12070 vsize=915456 CPUtime=0.03
/proc/12072/task/12074/stat : 12074 (java) S 12070 12072 11575 0 -1 64 342 0 0 0 3 0 0 0 16 0 8 0 166973190 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12075] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12075/stat : 12075 (java) S 12070 12072 11575 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166973191 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12076] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12076/stat : 12076 (java) S 12070 12072 11575 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166973191 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12077] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12077/stat : 12077 (java) S 12070 12072 11575 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166973194 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12078] ppid=12070 vsize=915456 CPUtime=0.24
/proc/12072/task/12078/stat : 12078 (java) S 12070 12072 11575 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 166973194 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12072/tid=12079] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12079/stat : 12079 (java) S 12070 12072 11575 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166973194 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12080] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12080/stat : 12080 (java) S 12070 12072 11575 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166973194 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1060.51
Current children cumulated vsize (KiB) 915456
[startup+1123.18 s]
/proc/loadavg: 2.00 2.00 1.92 3/82 12416
/proc/meminfo: memFree=1480776/2055920 swapFree=4192812/4192956
[pid=12072] ppid=12070 vsize=915456 CPUtime=1120.27
/proc/12072/stat : 12072 (java) R 12070 12072 11575 0 -1 0 9004 0 1 0 112016 11 0 0 25 0 8 0 166973184 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073807014 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12072/statm: 228864 8739 2524 14 0 215334 0
[pid=12072/tid=12074] ppid=12070 vsize=915456 CPUtime=0.03
/proc/12072/task/12074/stat : 12074 (java) S 12070 12072 11575 0 -1 64 342 0 0 0 3 0 0 0 16 0 8 0 166973190 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12075] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12075/stat : 12075 (java) S 12070 12072 11575 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166973191 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12076] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12076/stat : 12076 (java) S 12070 12072 11575 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166973191 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12077] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12077/stat : 12077 (java) S 12070 12072 11575 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166973194 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12078] ppid=12070 vsize=915456 CPUtime=0.24
/proc/12072/task/12078/stat : 12078 (java) S 12070 12072 11575 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 166973194 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12072/tid=12079] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12079/stat : 12079 (java) S 12070 12072 11575 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166973194 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12080] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12080/stat : 12080 (java) S 12070 12072 11575 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166973194 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1120.27
Current children cumulated vsize (KiB) 915456
[startup+1183.2 s]
/proc/loadavg: 2.00 2.00 1.92 3/82 12416
/proc/meminfo: memFree=1480776/2055920 swapFree=4192812/4192956
[pid=12072] ppid=12070 vsize=915456 CPUtime=1180.01
/proc/12072/stat : 12072 (java) R 12070 12072 11575 0 -1 0 9004 0 1 0 117990 11 0 0 25 0 8 0 166973184 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073800500 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12072/statm: 228864 8739 2524 14 0 215334 0
[pid=12072/tid=12074] ppid=12070 vsize=915456 CPUtime=0.03
/proc/12072/task/12074/stat : 12074 (java) S 12070 12072 11575 0 -1 64 342 0 0 0 3 0 0 0 16 0 8 0 166973190 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12075] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12075/stat : 12075 (java) S 12070 12072 11575 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166973191 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12076] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12076/stat : 12076 (java) S 12070 12072 11575 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166973191 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12077] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12077/stat : 12077 (java) S 12070 12072 11575 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166973194 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12078] ppid=12070 vsize=915456 CPUtime=0.24
/proc/12072/task/12078/stat : 12078 (java) S 12070 12072 11575 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 166973194 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12072/tid=12079] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12079/stat : 12079 (java) S 12070 12072 11575 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166973194 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12080] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12080/stat : 12080 (java) S 12070 12072 11575 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166973194 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1180.01
Current children cumulated vsize (KiB) 915456
[startup+1243.22 s]
/proc/loadavg: 2.00 2.00 1.92 3/82 12416
/proc/meminfo: memFree=1480776/2055920 swapFree=4192812/4192956
[pid=12072] ppid=12070 vsize=915456 CPUtime=1239.77
/proc/12072/stat : 12072 (java) R 12070 12072 11575 0 -1 0 9004 0 1 0 123966 11 0 0 25 0 8 0 166973184 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813955 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12072/statm: 228864 8739 2524 14 0 215334 0
[pid=12072/tid=12074] ppid=12070 vsize=915456 CPUtime=0.03
/proc/12072/task/12074/stat : 12074 (java) S 12070 12072 11575 0 -1 64 342 0 0 0 3 0 0 0 16 0 8 0 166973190 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12075] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12075/stat : 12075 (java) S 12070 12072 11575 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166973191 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12076] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12076/stat : 12076 (java) S 12070 12072 11575 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166973191 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12077] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12077/stat : 12077 (java) S 12070 12072 11575 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166973194 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12078] ppid=12070 vsize=915456 CPUtime=0.24
/proc/12072/task/12078/stat : 12078 (java) S 12070 12072 11575 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 166973194 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12072/tid=12079] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12079/stat : 12079 (java) S 12070 12072 11575 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166973194 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12072/tid=12080] ppid=12070 vsize=915456 CPUtime=0
/proc/12072/task/12080/stat : 12080 (java) S 12070 12072 11575 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166973194 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1239.77
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 1273.04
CPU time (s): 1269.45
CPU user time (s): 1269.33
CPU system time (s): 0.123981
CPU usage (%): 99.7181
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1269.33
system time used= 0.123981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9012
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= 26865
involuntary context switches= 34227
runsolver used 1.2778 s user time and 3.63845 s system time
The end
Begin job on node60 on Sun Jan 7 16:02:33 UTC 2007
IDJOB= 208159
IDBENCH= 4355
FILE ID= node60/208159-1168185753
PBS_JOBID= 3479210
Free space on /tmp= 66554 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-26/rand-26-26-325-155-57021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208159-1168185753/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node60/watcher-208159-1168185753 -o ROOT/results/node60/solver-208159-1168185753 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208159-1168185753/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= e2f9e10f469e2e97e8babef97e26304a
RANDOM SEED= 16353815
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.236
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.236
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1389432 kB
Buffers: 36016 kB
Cached: 433388 kB
SwapCached: 0 kB
Active: 265480 kB
Inactive: 342160 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1389432 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2020 kB
Writeback: 0 kB
Mapped: 157656 kB
Slab: 43436 kB
Committed_AS: 4458756 kB
PageTables: 2436 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= 66556 MiB
End job on node60 on Sun Jan 7 16:23:46 UTC 2007