0.37
0.37 Abscon 109 (November, 2006)
0.37
0.37 configuration
0.37 name=mac.xml
0.40
0.40 instance
0.40 name=/tmp/evaluation/194358-1168069355/unknown.xml
0.43
0.43 domains being loaded...
0.44
0.44 variables being loaded...
0.48 nbVariables=50 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.48 => wckTime=0.102 cpuTime=0.09 mem=6M951
0.48
0.48 relations being loaded...
0.63
0.63 constraints being loaded...
0.77 nbConstraints=471 nbRelationTypes=471 nbExtensionStructures=471 nbSharedExtensionStructures=0
0.77 nbConflictsStructures=471 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2540 maxDegree=27
0.77 maxArity=2
0.77 => wckTime=0.4 cpuTime=0.31 mem=17M695
0.82
0.82 solver IterativeSystematicSolver being built...
0.98 => wckTime=0.606 cpuTime=0.44 mem=15M373
0.99
0.99 preprocessing
0.99 nbConstraintChecks=0 nbPropagations=50 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.99 detectedInconsistency=no
0.99 => wckTime=0.0080 cpuTime=0.01 mem=15M373
1.04
1.04 search
1.04 run=0 nbConstraintChecks=47357 nbPropagations=650 nbRevisions=7454 nbUselessRevisions=6246 nbAssignments=27
1.04 nbFailedAssignments=6 nbBacktracks=10 nbVisitedNodes=42 nbRestartNogoods=0 mapSize=10 nbInferences=0
1.04 nbTooLargeKeys=0
1.04 => wckTime=0.058 cpuTime=0.04 mem=15M373
1.07
1.07 search
1.07 run=1 nbConstraintChecks=117731 nbPropagations=2088 nbRevisions=25912 nbUselessRevisions=21546
1.07 nbAssignments=66 nbFailedAssignments=17 nbBacktracks=29 nbVisitedNodes=102 nbRestartNogoods=2 mapSize=26
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.088 cpuTime=0.06 mem=15M373
1.09
1.09 search
1.09 run=2 nbConstraintChecks=198747 nbPropagations=4561 nbRevisions=58761 nbUselessRevisions=48894
1.09 nbAssignments=119 nbFailedAssignments=34 nbBacktracks=52 nbVisitedNodes=186 nbRestartNogoods=4 mapSize=44
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.11 cpuTime=0.07 mem=15M373
1.12
1.12 search
1.12 run=3 nbConstraintChecks=302962 nbPropagations=8329 nbRevisions=109953 nbUselessRevisions=91339
1.12 nbAssignments=181 nbFailedAssignments=53 nbBacktracks=86 nbVisitedNodes=287 nbRestartNogoods=7 mapSize=72
1.12 nbInferences=0 nbTooLargeKeys=0
1.12 => wckTime=0.132 cpuTime=0.09 mem=15M373
1.15
1.15 search
1.15 run=4 nbConstraintChecks=448052 nbPropagations=13853 nbRevisions=185798 nbUselessRevisions=154246
1.15 nbAssignments=272 nbFailedAssignments=82 nbBacktracks=136 nbVisitedNodes=436 nbRestartNogoods=8 mapSize=115
1.15 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.168 cpuTime=0.12 mem=15M373
1.20
1.20 search
1.20 run=5 nbConstraintChecks=666177 nbPropagations=21988 nbRevisions=302678 nbUselessRevisions=251272
1.20 nbAssignments=412 nbFailedAssignments=134 nbBacktracks=214 nbVisitedNodes=673 nbRestartNogoods=11 mapSize=180
1.20 nbInferences=0 nbTooLargeKeys=0
1.20 => wckTime=0.212 cpuTime=0.16 mem=15M373
1.25
1.25 search
1.25 run=6 nbConstraintChecks=986487 nbPropagations=33834 nbRevisions=476523 nbUselessRevisions=394956
1.25 nbAssignments=606 nbFailedAssignments=203 nbBacktracks=327 nbVisitedNodes=994 nbRestartNogoods=16 mapSize=265
1.25 nbInferences=0 nbTooLargeKeys=0
1.25 => wckTime=0.27 cpuTime=0.22 mem=15M373
1.34
1.34 search
1.34 run=7 nbConstraintChecks=1477556 nbPropagations=51239 nbRevisions=737009 nbUselessRevisions=609806
1.34 nbAssignments=895 nbFailedAssignments=312 nbBacktracks=497 nbVisitedNodes=1484 nbRestartNogoods=22 mapSize=409
1.34 nbInferences=0 nbTooLargeKeys=0
1.34 => wckTime=0.355 cpuTime=0.3 mem=15M373
1.47
1.47 search
1.47 run=8 nbConstraintChecks=2193265 nbPropagations=77345 nbRevisions=1135698 nbUselessRevisions=938958
1.47 nbAssignments=1333 nbFailedAssignments=484 nbBacktracks=756 nbVisitedNodes=2238 nbRestartNogoods=26
1.47 mapSize=628 nbInferences=0 nbTooLargeKeys=0
1.47 => wckTime=0.49 cpuTime=0.43 mem=15M373
1.66
1.66 search
1.66 run=9 nbConstraintChecks=3179182 nbPropagations=115805 nbRevisions=1727515 nbUselessRevisions=1428090
1.66 nbAssignments=1987 nbFailedAssignments=742 nbBacktracks=1141 nbVisitedNodes=3366 nbRestartNogoods=28
1.66 mapSize=961 nbInferences=0 nbTooLargeKeys=0
1.66 => wckTime=0.68 cpuTime=0.61 mem=15M373
1.70
1.70 INFO : Stopping hyperNogood (mapSize=1009, nbTooLargekeys=0, mem=15M373)
1.93
1.93 search
1.93 run=10 nbConstraintChecks=4810285 nbPropagations=173207 nbRevisions=2623867 nbUselessRevisions=2168692
1.93 nbAssignments=2977 nbFailedAssignments=1142 nbBacktracks=1721 nbVisitedNodes=5064 nbRestartNogoods=36
1.93 => wckTime=0.945 cpuTime=0.86 mem=15M373
2.30
2.30 search
2.30 run=11 nbConstraintChecks=7154006 nbPropagations=259076 nbRevisions=3974642 nbUselessRevisions=3285469
2.30 nbAssignments=4451 nbFailedAssignments=1738 nbBacktracks=2586 nbVisitedNodes=7632 nbRestartNogoods=40
2.30 => wckTime=1.319 cpuTime=1.23 mem=15M373
2.83
2.83 search
2.83 run=12 nbConstraintChecks=10637467 nbPropagations=385030 nbRevisions=5951351 nbUselessRevisions=4914691
2.83 nbAssignments=6548 nbFailedAssignments=2526 nbBacktracks=3883 nbVisitedNodes=11234 nbRestartNogoods=46
2.83 => wckTime=1.843 cpuTime=1.75 mem=15M373
3.60
3.60 search
3.60 run=13 nbConstraintChecks=15426803 nbPropagations=571999 nbRevisions=8900752 nbUselessRevisions=7354534
3.60 nbAssignments=9730 nbFailedAssignments=3751 nbBacktracks=5831 nbVisitedNodes=16738 nbRestartNogoods=51
3.60 => wckTime=2.615 cpuTime=2.52 mem=15M373
4.67
4.67 search
4.67 run=14 nbConstraintChecks=22326868 nbPropagations=843200 nbRevisions=13165660 nbUselessRevisions=10880368
4.67 nbAssignments=14245 nbFailedAssignments=5335 nbBacktracks=8751 nbVisitedNodes=24294 nbRestartNogoods=56
4.67 => wckTime=3.689 cpuTime=3.59 mem=15M373
6.54
6.54 search
6.54 run=15 nbConstraintChecks=34660767 nbPropagations=1258943 nbRevisions=19737401 nbUselessRevisions=16305943
6.54 nbAssignments=21670 nbFailedAssignments=8369 nbBacktracks=13132 nbVisitedNodes=37175 nbRestartNogoods=64
6.54 => wckTime=5.559 cpuTime=5.45 mem=15M373
9.21
9.21 search
9.21 run=16 nbConstraintChecks=51543452 nbPropagations=1883123 nbRevisions=29712794 nbUselessRevisions=24566892
9.21 nbAssignments=32688 nbFailedAssignments=12804 nbBacktracks=19702 nbVisitedNodes=56392 nbRestartNogoods=74
9.21 => wckTime=8.222 cpuTime=8.1 mem=15M373
13.27
13.27 search
13.27 run=17 nbConstraintChecks=79185206 nbPropagations=2820383 nbRevisions=44573146 nbUselessRevisions=36825997
13.27 nbAssignments=48597 nbFailedAssignments=18851 nbBacktracks=29556 nbVisitedNodes=83492 nbRestartNogoods=90
13.27 => wckTime=12.282 cpuTime=12.14 mem=15M373
19.11
19.11 search
19.11 run=18 nbConstraintChecks=116798935 nbPropagations=4214521 nbRevisions=66761714 nbUselessRevisions=55162527
19.11 nbAssignments=72709 nbFailedAssignments=28173 nbBacktracks=44334 nbVisitedNodes=124825 nbRestartNogoods=98
19.11 => wckTime=18.127 cpuTime=17.95 mem=15M373
28.83
28.83 search
28.83 run=19 nbConstraintChecks=181589983 nbPropagations=6347265 nbRevisions=100896358 nbUselessRevisions=83344213
28.83 nbAssignments=110116 nbFailedAssignments=43402 nbBacktracks=66504 nbVisitedNodes=189963 nbRestartNogoods=109
28.83 => wckTime=27.85 cpuTime=27.63 mem=15M373
41.63
41.63 search
41.63 run=20 nbConstraintChecks=263340949 nbPropagations=9485472 nbRevisions=151062756 nbUselessRevisions=124779920
41.63 nbAssignments=163566 nbFailedAssignments=63587 nbBacktracks=99758 nbVisitedNodes=280968 nbRestartNogoods=119
41.63 => wckTime=40.645 cpuTime=40.37 mem=15M373
60.80
60.80 search
60.80 run=21 nbConstraintChecks=386028709 nbPropagations=14133174 nbRevisions=224997025 nbUselessRevisions=185846993
60.80 nbAssignments=243943 nbFailedAssignments=94074 nbBacktracks=149638 nbVisitedNodes=418198 nbRestartNogoods=135
60.80 => wckTime=59.819 cpuTime=59.45 mem=15M373
92.28
92.28 search
92.28 run=22 nbConstraintChecks=596529847 nbPropagations=21181759 nbRevisions=337861172 nbUselessRevisions=279090311
92.28 nbAssignments=366546 nbFailedAssignments=141850 nbBacktracks=224456 nbVisitedNodes=629391 nbRestartNogoods=153
92.28 => wckTime=91.3 cpuTime=90.78 mem=15M373
133.73
133.73 search
133.73 run=23 nbConstraintChecks=859548874 nbPropagations=31502863 nbRevisions=502693557 nbUselessRevisions=415408171
133.73 nbAssignments=543796 nbFailedAssignments=206862 nbBacktracks=336684 nbVisitedNodes=930074 nbRestartNogoods=159
133.73 => wckTime=132.745 cpuTime=132.03 mem=15M373
201.53
201.53 search
201.53 run=24 nbConstraintChecks=1305137888 nbPropagations=47080494 nbRevisions=751955830 nbUselessRevisions=621668700
201.53 nbAssignments=813610 nbFailedAssignments=308324 nbBacktracks=505027 nbVisitedNodes=1391599 nbRestartNogoods=169
201.53 => wckTime=200.55 cpuTime=199.51 mem=15M373
307.38
307.38 search
307.38 run=25 nbConstraintChecks=2003776127 nbPropagations=70818372 nbRevisions=1133693506
307.38 nbUselessRevisions=937812755 nbAssignments=1229060 nbFailedAssignments=471253 nbBacktracks=757540
307.38 nbVisitedNodes=2109500 nbRestartNogoods=184
307.38 => wckTime=306.394 cpuTime=304.87 mem=15M373
452.18
452.18 search
452.18 run=26 nbConstraintChecks=2918310068 nbPropagations=106007221 nbRevisions=1698005853
452.18 nbUselessRevisions=1405694631 nbAssignments=1840107 nbFailedAssignments=703521 nbBacktracks=1136309
452.18 nbVisitedNodes=3154237 nbRestartNogoods=200
452.18 => wckTime=451.193 cpuTime=448.98 mem=15M373
680.70
680.70 search
680.70 run=27 nbConstraintChecks=4410270057 nbPropagations=158926886 nbRevisions=2548213495
680.70 nbUselessRevisions=2110475855 nbAssignments=2754212 nbFailedAssignments=1049463 nbBacktracks=1704461
680.70 nbVisitedNodes=4719063 nbRestartNogoods=214
680.70 => wckTime=679.716 cpuTime=676.43 mem=15M373
1036.07
1036.07 search
1036.07 run=28 nbConstraintChecks=6752728228 nbPropagations=239269884 nbRevisions=3842291323
1036.07 nbUselessRevisions=3183414739 nbAssignments=4151771 nbFailedAssignments=1594787 nbBacktracks=2556687
1036.07 nbVisitedNodes=7131752 nbRestartNogoods=226
1036.07 => wckTime=1035.086 cpuTime=1030.13 mem=15M373
1546.57
1546.57 search
1546.57 run=29 nbConstraintChecks=10098101827 nbPropagations=359080401 nbRevisions=5766986177
1546.57 nbUselessRevisions=4777618253 nbAssignments=6205027 nbFailedAssignments=2369691 nbBacktracks=3835028
1546.57 nbVisitedNodes=10631152 nbRestartNogoods=242
1546.57 => wckTime=1545.583 cpuTime=1538.06 mem=15M373
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node18/watcher-194358-1168069355 -o ROOT/results/node18/solver-194358-1168069355 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/194358-1168069355/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 0.60 1.27 1.64 5/83 20309
/proc/meminfo: memFree=1267096/2055920 swapFree=4192812/4192956
[pid=20308] ppid=20304 vsize=308 CPUtime=0
/proc/20308/stat : 20308 (java) R 20304 20308 20082 0 -1 0 54 0 0 0 0 0 0 0 19 0 1 0 155330819 315392 37 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 7862925 0 0 4096 0 0 0 0 17 1 0 0
/proc/20308/statm: 77 37 29 14 0 5 0
[startup+0.106741 s]
/proc/loadavg: 0.60 1.27 1.64 5/83 20309
/proc/meminfo: memFree=1267096/2055920 swapFree=4192812/4192956
[pid=20308] ppid=20304 vsize=913068 CPUtime=0.08
/proc/20308/stat : 20308 (java) S 20304 20308 20082 0 -1 0 2885 0 1 0 7 1 0 0 18 0 8 0 155330819 934981632 2631 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20308/statm: 228267 2632 1396 14 0 215168 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913068
[startup+0.514778 s]
/proc/loadavg: 0.60 1.27 1.64 5/83 20309
/proc/meminfo: memFree=1267096/2055920 swapFree=4192812/4192956
[pid=20308] ppid=20304 vsize=915328 CPUtime=0.44
/proc/20308/stat : 20308 (java) R 20304 20308 20082 0 -1 0 6258 0 1 0 40 4 0 0 19 0 8 0 155330819 937295872 5997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20308/statm: 228832 5997 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 915328
[startup+1.33586 s]
/proc/loadavg: 0.71 1.28 1.64 3/100 20326
/proc/meminfo: memFree=1211536/2055920 swapFree=4192812/4192956
[pid=20308] ppid=20304 vsize=915460 CPUtime=1.25
/proc/20308/stat : 20308 (java) R 20304 20308 20082 0 -1 0 9622 0 1 0 118 7 0 0 25 0 8 0 155330819 937431040 9360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073821640 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20308/statm: 228865 9360 2513 14 0 215335 0
[pid=20308/tid=20315] ppid=20304 vsize=915460 CPUtime=0.03
/proc/20308/task/20315/stat : 20315 (java) S 20304 20308 20082 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 155330824 937431040 9360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20317] ppid=20304 vsize=915460 CPUtime=0
/proc/20308/task/20317/stat : 20317 (java) S 20304 20308 20082 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155330825 937431040 9360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20318] ppid=20304 vsize=915460 CPUtime=0
/proc/20308/task/20318/stat : 20318 (java) S 20304 20308 20082 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155330825 937431040 9360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20323] ppid=20304 vsize=915460 CPUtime=0
/proc/20308/task/20323/stat : 20323 (java) S 20304 20308 20082 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155330828 937431040 9360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20324] ppid=20304 vsize=915460 CPUtime=0.21
/proc/20308/task/20324/stat : 20324 (java) S 20304 20308 20082 0 -1 64 379 0 0 0 20 1 0 0 15 0 8 0 155330828 937431040 9360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20325] ppid=20304 vsize=915460 CPUtime=0
/proc/20308/task/20325/stat : 20325 (java) S 20304 20308 20082 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155330828 937431040 9360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20326] ppid=20304 vsize=915460 CPUtime=0
/proc/20308/task/20326/stat : 20326 (java) S 20304 20308 20082 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155330828 937431040 9360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 915460
[startup+2.97301 s]
/proc/loadavg: 0.71 1.28 1.64 3/100 20326
/proc/meminfo: memFree=1211280/2055920 swapFree=4192812/4192956
[pid=20308] ppid=20304 vsize=915460 CPUtime=2.87
/proc/20308/stat : 20308 (java) R 20304 20308 20082 0 -1 0 9640 0 1 0 280 7 0 0 25 0 8 0 155330819 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073847170 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20308/statm: 228865 9376 2513 14 0 215335 0
[pid=20308/tid=20315] ppid=20304 vsize=915460 CPUtime=0.03
/proc/20308/task/20315/stat : 20315 (java) S 20304 20308 20082 0 -1 64 410 0 0 0 3 0 0 0 17 0 8 0 155330824 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20317] ppid=20304 vsize=915460 CPUtime=0
/proc/20308/task/20317/stat : 20317 (java) S 20304 20308 20082 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155330825 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20318] ppid=20304 vsize=915460 CPUtime=0
/proc/20308/task/20318/stat : 20318 (java) S 20304 20308 20082 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155330825 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20323] ppid=20304 vsize=915460 CPUtime=0
/proc/20308/task/20323/stat : 20323 (java) S 20304 20308 20082 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155330828 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20324] ppid=20304 vsize=915460 CPUtime=0.24
/proc/20308/task/20324/stat : 20324 (java) S 20304 20308 20082 0 -1 64 396 0 0 0 23 1 0 0 15 0 8 0 155330828 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20325] ppid=20304 vsize=915460 CPUtime=0
/proc/20308/task/20325/stat : 20325 (java) S 20304 20308 20082 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155330828 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20326] ppid=20304 vsize=915460 CPUtime=0
/proc/20308/task/20326/stat : 20326 (java) S 20304 20308 20082 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155330828 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 915460
[startup+6.27433 s]
/proc/loadavg: 0.81 1.29 1.64 3/100 20326
/proc/meminfo: memFree=1211280/2055920 swapFree=4192812/4192956
[pid=20308] ppid=20304 vsize=915460 CPUtime=6.16
/proc/20308/stat : 20308 (java) R 20304 20308 20082 0 -1 0 9640 0 1 0 609 7 0 0 25 0 8 0 155330819 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073849568 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20308/statm: 228865 9376 2513 14 0 215335 0
[pid=20308/tid=20315] ppid=20304 vsize=915460 CPUtime=0.03
/proc/20308/task/20315/stat : 20315 (java) S 20304 20308 20082 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 155330824 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20317] ppid=20304 vsize=915460 CPUtime=0
/proc/20308/task/20317/stat : 20317 (java) S 20304 20308 20082 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155330825 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20318] ppid=20304 vsize=915460 CPUtime=0
/proc/20308/task/20318/stat : 20318 (java) S 20304 20308 20082 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155330825 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20323] ppid=20304 vsize=915460 CPUtime=0
/proc/20308/task/20323/stat : 20323 (java) S 20304 20308 20082 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155330828 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20324] ppid=20304 vsize=915460 CPUtime=0.24
/proc/20308/task/20324/stat : 20324 (java) S 20304 20308 20082 0 -1 64 396 0 0 0 23 1 0 0 15 0 8 0 155330828 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20325] ppid=20304 vsize=915460 CPUtime=0
/proc/20308/task/20325/stat : 20325 (java) S 20304 20308 20082 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155330828 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20326] ppid=20304 vsize=915460 CPUtime=0
/proc/20308/task/20326/stat : 20326 (java) S 20304 20308 20082 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155330828 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 915460
[startup+12.742 s]
/proc/loadavg: 0.91 1.30 1.64 3/100 20326
/proc/meminfo: memFree=1211280/2055920 swapFree=4192812/4192956
[pid=20308] ppid=20304 vsize=915460 CPUtime=12.59
/proc/20308/stat : 20308 (java) R 20304 20308 20082 0 -1 0 9640 0 1 0 1252 7 0 0 25 0 8 0 155330819 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073837145 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20308/statm: 228865 9376 2513 14 0 215335 0
[pid=20308/tid=20315] ppid=20304 vsize=915460 CPUtime=0.03
/proc/20308/task/20315/stat : 20315 (java) S 20304 20308 20082 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 155330824 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20317] ppid=20304 vsize=915460 CPUtime=0
/proc/20308/task/20317/stat : 20317 (java) S 20304 20308 20082 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155330825 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20318] ppid=20304 vsize=915460 CPUtime=0
/proc/20308/task/20318/stat : 20318 (java) S 20304 20308 20082 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155330825 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20323] ppid=20304 vsize=915460 CPUtime=0
/proc/20308/task/20323/stat : 20323 (java) S 20304 20308 20082 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155330828 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20324] ppid=20304 vsize=915460 CPUtime=0.24
/proc/20308/task/20324/stat : 20324 (java) S 20304 20308 20082 0 -1 64 396 0 0 0 23 1 0 0 16 0 8 0 155330828 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20325] ppid=20304 vsize=915460 CPUtime=0
/proc/20308/task/20325/stat : 20325 (java) S 20304 20308 20082 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155330828 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20326] ppid=20304 vsize=915460 CPUtime=0
/proc/20308/task/20326/stat : 20326 (java) S 20304 20308 20082 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155330828 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915460
[startup+25.6012 s]
/proc/loadavg: 1.07 1.33 1.65 3/100 20326
/proc/meminfo: memFree=1211408/2055920 swapFree=4192812/4192956
[pid=20308] ppid=20304 vsize=915460 CPUtime=25.39
/proc/20308/stat : 20308 (java) R 20304 20308 20082 0 -1 0 9642 0 1 0 2532 7 0 0 25 0 8 0 155330819 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831254 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20308/statm: 228865 9377 2513 14 0 215335 0
[pid=20308/tid=20315] ppid=20304 vsize=915460 CPUtime=0.03
/proc/20308/task/20315/stat : 20315 (java) S 20304 20308 20082 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 155330824 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20317] ppid=20304 vsize=915460 CPUtime=0
/proc/20308/task/20317/stat : 20317 (java) S 20304 20308 20082 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155330825 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20318] ppid=20304 vsize=915460 CPUtime=0
/proc/20308/task/20318/stat : 20318 (java) S 20304 20308 20082 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155330825 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20323] ppid=20304 vsize=915460 CPUtime=0
/proc/20308/task/20323/stat : 20323 (java) S 20304 20308 20082 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155330828 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20324] ppid=20304 vsize=915460 CPUtime=0.24
/proc/20308/task/20324/stat : 20324 (java) S 20304 20308 20082 0 -1 64 397 0 0 0 23 1 0 0 16 0 8 0 155330828 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20325] ppid=20304 vsize=915460 CPUtime=0
/proc/20308/task/20325/stat : 20325 (java) S 20304 20308 20082 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155330828 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20326] ppid=20304 vsize=915460 CPUtime=0
/proc/20308/task/20326/stat : 20326 (java) S 20304 20308 20082 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155330828 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 915460
[startup+51.3027 s]
/proc/loadavg: 1.44 1.39 1.65 3/100 20326
/proc/meminfo: memFree=1211408/2055920 swapFree=4192812/4192956
[pid=20308] ppid=20304 vsize=915460 CPUtime=50.97
/proc/20308/stat : 20308 (java) R 20304 20308 20082 0 -1 0 9642 0 1 0 5090 7 0 0 25 0 8 0 155330819 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073813764 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20308/statm: 228865 9377 2513 14 0 215335 0
[pid=20308/tid=20315] ppid=20304 vsize=915460 CPUtime=0.03
/proc/20308/task/20315/stat : 20315 (java) S 20304 20308 20082 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 155330824 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20317] ppid=20304 vsize=915460 CPUtime=0
/proc/20308/task/20317/stat : 20317 (java) S 20304 20308 20082 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155330825 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20318] ppid=20304 vsize=915460 CPUtime=0
/proc/20308/task/20318/stat : 20318 (java) S 20304 20308 20082 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155330825 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20323] ppid=20304 vsize=915460 CPUtime=0
/proc/20308/task/20323/stat : 20323 (java) S 20304 20308 20082 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155330828 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20324] ppid=20304 vsize=915460 CPUtime=0.24
/proc/20308/task/20324/stat : 20324 (java) S 20304 20308 20082 0 -1 64 397 0 0 0 23 1 0 0 16 0 8 0 155330828 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20325] ppid=20304 vsize=915460 CPUtime=0
/proc/20308/task/20325/stat : 20325 (java) S 20304 20308 20082 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155330828 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20326] ppid=20304 vsize=915460 CPUtime=0
/proc/20308/task/20326/stat : 20326 (java) S 20304 20308 20082 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155330828 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 915460
[startup+102.597 s]
/proc/loadavg: 1.75 1.48 1.67 3/100 20326
/proc/meminfo: memFree=1211472/2055920 swapFree=4192812/4192956
[pid=20308] ppid=20304 vsize=915460 CPUtime=102.03
/proc/20308/stat : 20308 (java) R 20304 20308 20082 0 -1 0 9643 0 1 0 10195 8 0 0 25 0 8 0 155330819 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073876961 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20308/statm: 228865 9378 2513 14 0 215335 0
[pid=20308/tid=20315] ppid=20304 vsize=915460 CPUtime=0.03
/proc/20308/task/20315/stat : 20315 (java) S 20304 20308 20082 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 155330824 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20317] ppid=20304 vsize=915460 CPUtime=0
/proc/20308/task/20317/stat : 20317 (java) S 20304 20308 20082 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155330825 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20318] ppid=20304 vsize=915460 CPUtime=0
/proc/20308/task/20318/stat : 20318 (java) S 20304 20308 20082 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155330825 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20323] ppid=20304 vsize=915460 CPUtime=0
/proc/20308/task/20323/stat : 20323 (java) S 20304 20308 20082 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155330828 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20324] ppid=20304 vsize=915460 CPUtime=0.25
/proc/20308/task/20324/stat : 20324 (java) S 20304 20308 20082 0 -1 64 398 0 0 0 24 1 0 0 16 0 8 0 155330828 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20325] ppid=20304 vsize=915460 CPUtime=0
/proc/20308/task/20325/stat : 20325 (java) S 20304 20308 20082 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155330828 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20326] ppid=20304 vsize=915460 CPUtime=0
/proc/20308/task/20326/stat : 20326 (java) S 20304 20308 20082 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155330828 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.03
Current children cumulated vsize (KiB) 915460
[startup+162.63 s]
/proc/loadavg: 1.91 1.57 1.69 3/100 20326
/proc/meminfo: memFree=1211472/2055920 swapFree=4192812/4192956
[pid=20308] ppid=20304 vsize=915460 CPUtime=161.77
/proc/20308/stat : 20308 (java) R 20304 20308 20082 0 -1 0 9643 0 1 0 16169 8 0 0 25 0 8 0 155330819 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073810758 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1416.45
Current children cumulated vsize (KiB) 915460
[startup+1483.42 s]
/proc/loadavg: 2.00 1.97 1.89 3/100 20524
/proc/meminfo: memFree=1211024/2055920 swapFree=4192812/4192956
[pid=20308] ppid=20304 vsize=915460 CPUtime=1476.2
/proc/20308/stat : 20308 (java) R 20304 20308 20082 0 -1 0 9643 0 1 0 147600 20 0 0 25 0 8 0 155330819 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073823834 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20308/statm: 228865 9378 2513 14 0 215335 0
[pid=20308/tid=20315] ppid=20304 vsize=915460 CPUtime=0.03
/proc/20308/task/20315/stat : 20315 (java) S 20304 20308 20082 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 155330824 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20317] ppid=20304 vsize=915460 CPUtime=0
/proc/20308/task/20317/stat : 20317 (java) S 20304 20308 20082 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155330825 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20318] ppid=20304 vsize=915460 CPUtime=0
/proc/20308/task/20318/stat : 20318 (java) S 20304 20308 20082 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155330825 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20323] ppid=20304 vsize=915460 CPUtime=0
/proc/20308/task/20323/stat : 20323 (java) S 20304 20308 20082 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155330828 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20324] ppid=20304 vsize=915460 CPUtime=0.25
/proc/20308/task/20324/stat : 20324 (java) S 20304 20308 20082 0 -1 64 398 0 0 0 24 1 0 0 16 0 8 0 155330828 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20325] ppid=20304 vsize=915460 CPUtime=0
/proc/20308/task/20325/stat : 20325 (java) S 20304 20308 20082 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155330828 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20326] ppid=20304 vsize=915460 CPUtime=0.01
/proc/20308/task/20326/stat : 20326 (java) S 20304 20308 20082 0 -1 64 0 0 0 0 0 1 0 0 15 0 8 0 155330828 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1476.2
Current children cumulated vsize (KiB) 915460
[startup+1543.45 s]
/proc/loadavg: 2.00 1.97 1.90 3/100 20524
/proc/meminfo: memFree=1211024/2055920 swapFree=4192812/4192956
[pid=20308] ppid=20304 vsize=915460 CPUtime=1535.96
/proc/20308/stat : 20308 (java) R 20304 20308 20082 0 -1 0 9643 0 1 0 153575 21 0 0 25 0 8 0 155330819 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073847016 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20308/statm: 228865 9378 2513 14 0 215335 0
[pid=20308/tid=20315] ppid=20304 vsize=915460 CPUtime=0.03
/proc/20308/task/20315/stat : 20315 (java) S 20304 20308 20082 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 155330824 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20317] ppid=20304 vsize=915460 CPUtime=0
/proc/20308/task/20317/stat : 20317 (java) S 20304 20308 20082 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155330825 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20318] ppid=20304 vsize=915460 CPUtime=0
/proc/20308/task/20318/stat : 20318 (java) S 20304 20308 20082 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155330825 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20323] ppid=20304 vsize=915460 CPUtime=0
/proc/20308/task/20323/stat : 20323 (java) S 20304 20308 20082 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155330828 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20324] ppid=20304 vsize=915460 CPUtime=0.25
/proc/20308/task/20324/stat : 20324 (java) S 20304 20308 20082 0 -1 64 398 0 0 0 24 1 0 0 16 0 8 0 155330828 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20325] ppid=20304 vsize=915460 CPUtime=0
/proc/20308/task/20325/stat : 20325 (java) S 20304 20308 20082 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155330828 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20326] ppid=20304 vsize=915460 CPUtime=0.02
/proc/20308/task/20326/stat : 20326 (java) S 20304 20308 20082 0 -1 64 0 0 0 0 1 1 0 0 15 0 8 0 155330828 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1535.96
Current children cumulated vsize (KiB) 915460
[startup+1603.49 s]
/proc/loadavg: 2.00 1.97 1.90 3/100 20524
/proc/meminfo: memFree=1211024/2055920 swapFree=4192812/4192956
[pid=20308] ppid=20304 vsize=915460 CPUtime=1595.72
/proc/20308/stat : 20308 (java) R 20304 20308 20082 0 -1 0 9643 0 1 0 159551 21 0 0 25 0 8 0 155330819 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073835387 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20308/statm: 228865 9378 2513 14 0 215335 0
[pid=20308/tid=20315] ppid=20304 vsize=915460 CPUtime=0.03
/proc/20308/task/20315/stat : 20315 (java) S 20304 20308 20082 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 155330824 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20317] ppid=20304 vsize=915460 CPUtime=0
/proc/20308/task/20317/stat : 20317 (java) S 20304 20308 20082 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155330825 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20318] ppid=20304 vsize=915460 CPUtime=0
/proc/20308/task/20318/stat : 20318 (java) S 20304 20308 20082 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155330825 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20323] ppid=20304 vsize=915460 CPUtime=0
/proc/20308/task/20323/stat : 20323 (java) S 20304 20308 20082 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155330828 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20324] ppid=20304 vsize=915460 CPUtime=0.25
/proc/20308/task/20324/stat : 20324 (java) S 20304 20308 20082 0 -1 64 398 0 0 0 24 1 0 0 16 0 8 0 155330828 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20325] ppid=20304 vsize=915460 CPUtime=0
/proc/20308/task/20325/stat : 20325 (java) S 20304 20308 20082 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155330828 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20326] ppid=20304 vsize=915460 CPUtime=0.02
/proc/20308/task/20326/stat : 20326 (java) S 20304 20308 20082 0 -1 64 0 0 0 0 1 1 0 0 15 0 8 0 155330828 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1595.72
Current children cumulated vsize (KiB) 915460
[startup+1663.53 s]
/proc/loadavg: 2.00 1.97 1.91 3/100 20524
/proc/meminfo: memFree=1211088/2055920 swapFree=4192812/4192956
[pid=20308] ppid=20304 vsize=915460 CPUtime=1655.48
/proc/20308/stat : 20308 (java) R 20304 20308 20082 0 -1 0 9643 0 1 0 165526 22 0 0 25 0 8 0 155330819 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073810803 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20308/statm: 228865 9378 2513 14 0 215335 0
[pid=20308/tid=20315] ppid=20304 vsize=915460 CPUtime=0.03
/proc/20308/task/20315/stat : 20315 (java) S 20304 20308 20082 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 155330824 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20317] ppid=20304 vsize=915460 CPUtime=0
/proc/20308/task/20317/stat : 20317 (java) S 20304 20308 20082 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155330825 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20318] ppid=20304 vsize=915460 CPUtime=0
/proc/20308/task/20318/stat : 20318 (java) S 20304 20308 20082 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155330825 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20323] ppid=20304 vsize=915460 CPUtime=0
/proc/20308/task/20323/stat : 20323 (java) S 20304 20308 20082 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155330828 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20324] ppid=20304 vsize=915460 CPUtime=0.25
/proc/20308/task/20324/stat : 20324 (java) S 20304 20308 20082 0 -1 64 398 0 0 0 24 1 0 0 16 0 8 0 155330828 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20325] ppid=20304 vsize=915460 CPUtime=0
/proc/20308/task/20325/stat : 20325 (java) S 20304 20308 20082 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155330828 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20326] ppid=20304 vsize=915460 CPUtime=0.02
/proc/20308/task/20326/stat : 20326 (java) S 20304 20308 20082 0 -1 64 0 0 0 0 1 1 0 0 15 0 8 0 155330828 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1655.48
Current children cumulated vsize (KiB) 915460
[startup+1723.56 s]
/proc/loadavg: 2.00 1.97 1.91 3/100 20524
/proc/meminfo: memFree=1211088/2055920 swapFree=4192812/4192956
[pid=20308] ppid=20304 vsize=915460 CPUtime=1715.23
/proc/20308/stat : 20308 (java) R 20304 20308 20082 0 -1 0 9643 0 1 0 171501 22 0 0 25 0 8 0 155330819 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830236 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20308/statm: 228865 9378 2513 14 0 215335 0
[pid=20308/tid=20315] ppid=20304 vsize=915460 CPUtime=0.03
/proc/20308/task/20315/stat : 20315 (java) S 20304 20308 20082 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 155330824 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20317] ppid=20304 vsize=915460 CPUtime=0
/proc/20308/task/20317/stat : 20317 (java) S 20304 20308 20082 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155330825 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20318] ppid=20304 vsize=915460 CPUtime=0
/proc/20308/task/20318/stat : 20318 (java) S 20304 20308 20082 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155330825 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20323] ppid=20304 vsize=915460 CPUtime=0
/proc/20308/task/20323/stat : 20323 (java) S 20304 20308 20082 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155330828 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20324] ppid=20304 vsize=915460 CPUtime=0.25
/proc/20308/task/20324/stat : 20324 (java) S 20304 20308 20082 0 -1 64 398 0 0 0 24 1 0 0 16 0 8 0 155330828 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20325] ppid=20304 vsize=915460 CPUtime=0
/proc/20308/task/20325/stat : 20325 (java) S 20304 20308 20082 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155330828 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20326] ppid=20304 vsize=915460 CPUtime=0.02
/proc/20308/task/20326/stat : 20326 (java) S 20304 20308 20082 0 -1 64 0 0 0 0 1 1 0 0 15 0 8 0 155330828 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1715.23
Current children cumulated vsize (KiB) 915460
[startup+1783.6 s]
/proc/loadavg: 2.00 1.97 1.91 3/100 20524
/proc/meminfo: memFree=1211088/2055920 swapFree=4192812/4192956
[pid=20308] ppid=20304 vsize=915460 CPUtime=1774.99
/proc/20308/stat : 20308 (java) R 20304 20308 20082 0 -1 0 9643 0 1 0 177476 23 0 0 25 0 8 0 155330819 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073814171 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20308/statm: 228865 9378 2513 14 0 215335 0
[pid=20308/tid=20315] ppid=20304 vsize=915460 CPUtime=0.03
/proc/20308/task/20315/stat : 20315 (java) S 20304 20308 20082 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 155330824 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20317] ppid=20304 vsize=915460 CPUtime=0
/proc/20308/task/20317/stat : 20317 (java) S 20304 20308 20082 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155330825 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20318] ppid=20304 vsize=915460 CPUtime=0
/proc/20308/task/20318/stat : 20318 (java) S 20304 20308 20082 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155330825 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20323] ppid=20304 vsize=915460 CPUtime=0
/proc/20308/task/20323/stat : 20323 (java) S 20304 20308 20082 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155330828 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20324] ppid=20304 vsize=915460 CPUtime=0.25
/proc/20308/task/20324/stat : 20324 (java) S 20304 20308 20082 0 -1 64 398 0 0 0 24 1 0 0 16 0 8 0 155330828 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20325] ppid=20304 vsize=915460 CPUtime=0
/proc/20308/task/20325/stat : 20325 (java) S 20304 20308 20082 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155330828 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20326] ppid=20304 vsize=915460 CPUtime=0.02
/proc/20308/task/20326/stat : 20326 (java) S 20304 20308 20082 0 -1 64 0 0 0 0 1 1 0 0 15 0 8 0 155330828 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1774.99
Current children cumulated vsize (KiB) 915460
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.79 s]
/proc/loadavg: 2.00 1.97 1.91 3/100 20524
/proc/meminfo: memFree=1211152/2055920 swapFree=4192812/4192956
[pid=20308] ppid=20304 vsize=915460 CPUtime=1800.06
/proc/20308/stat : 20308 (java) R 20304 20308 20082 0 -1 0 9643 0 1 0 179983 23 0 0 25 0 8 0 155330819 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073837213 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20308/statm: 228865 9378 2513 14 0 215335 0
[pid=20308/tid=20315] ppid=20304 vsize=915460 CPUtime=0.03
/proc/20308/task/20315/stat : 20315 (java) S 20304 20308 20082 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 155330824 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20317] ppid=20304 vsize=915460 CPUtime=0
/proc/20308/task/20317/stat : 20317 (java) S 20304 20308 20082 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155330825 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20318] ppid=20304 vsize=915460 CPUtime=0
/proc/20308/task/20318/stat : 20318 (java) S 20304 20308 20082 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155330825 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20323] ppid=20304 vsize=915460 CPUtime=0
/proc/20308/task/20323/stat : 20323 (java) S 20304 20308 20082 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155330828 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20324] ppid=20304 vsize=915460 CPUtime=0.25
/proc/20308/task/20324/stat : 20324 (java) S 20304 20308 20082 0 -1 64 398 0 0 0 24 1 0 0 16 0 8 0 155330828 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20325] ppid=20304 vsize=915460 CPUtime=0
/proc/20308/task/20325/stat : 20325 (java) S 20304 20308 20082 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155330828 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20308/tid=20326] ppid=20304 vsize=915460 CPUtime=0.02
/proc/20308/task/20326/stat : 20326 (java) S 20304 20308 20082 0 -1 64 0 0 0 0 1 1 0 0 15 0 8 0 155330828 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 915460
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1808.86
CPU time (s): 1800.13
CPU user time (s): 1799.89
CPU system time (s): 0.239963
CPU usage (%): 99.5177
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.89
system time used= 0.239963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9660
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= 37726
involuntary context switches= 48984
runsolver used 2.07168 s user time and 5.15522 s system time
The end
Begin job on node18 on Sat Jan 6 07:42:37 UTC 2007
IDJOB= 194358
IDBENCH= 3210
FILE ID= node18/194358-1168069355
PBS_JOBID= 3475705
Free space on /tmp= 66285 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23/rand-2-50-23-587-230-49_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/194358-1168069355/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-194358-1168069355 -o ROOT/results/node18/solver-194358-1168069355 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/194358-1168069355/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 8e9364a8312392aba5edf6899f972d6b
RANDOM SEED= 143147513
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.231
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.231
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: 1267976 kB
Buffers: 68668 kB
Cached: 561488 kB
SwapCached: 0 kB
Active: 400404 kB
Inactive: 290096 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1267976 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4176 kB
Writeback: 0 kB
Mapped: 79320 kB
Slab: 82732 kB
Committed_AS: 3916816 kB
PageTables: 1920 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= 66285 MiB
End job on node18 on Sat Jan 6 08:12:52 UTC 2007