0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/201636-1168072438/unknown.xml
0.37
0.37 domains being loaded...
0.41
0.41 variables being loaded...
0.65 nbVariables=2000 nbDomainTypes=49 minDomainSize=42 maxDomainSize=190
0.65 => wckTime=0.332 cpuTime=0.23 mem=20M547
0.65
0.65 predicates being loaded...
0.65
0.65 constraints being loaded...
4.62
4.62 INFO : Stopping converting binary constraints (cpu=4.02, mem = 45M482)
7.97 nbConstraints=13669 nbMergedConstraints=11983 nbConvertedConstraints=202 nbConvertConstraintsChecks=4513582
7.97 nbExtensionStructures=187 nbSharedExtensionStructures=15 nbConflictsStructures=187
7.97 nbSharedConflictsStructures=15 nbSharedBinaryRepresentations=33852 nbEvaluationManagers=9717
7.97 nbSharedEvaluationManagers=3750 maxDegree=17 maxArity=2
7.97 => wckTime=7.658 cpuTime=6.9 mem=60M304
8.17
8.17 solver IterativeSystematicSolver being built...
8.63 => wckTime=8.318 cpuTime=7.26 mem=93M832
25.35
25.35 preprocessing
25.35 nbConstraintChecks=28986714 nbValidityChecks=1343975 nbPropagations=2549 nbRevisions=40150
25.35 nbUselessRevisions=36090 nbRemovedValues=133228 detectedInconsistency=no
25.35 => wckTime=16.702 cpuTime=16.53 mem=93M832
32.59
32.59 search
32.59 run=0 nbConstraintChecks=9895051 nbValidityChecks=8656319 nbPropagations=12583 nbRevisions=164943
32.59 nbUselessRevisions=149712 nbAssignments=197 nbFailedAssignments=9 nbBacktracks=10 nbVisitedNodes=213
32.59 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
32.59 => wckTime=23.948 cpuTime=23.62 mem=73M161
35.28
35.28 search
35.28 run=1 nbConstraintChecks=12891248 nbValidityChecks=17425191 nbPropagations=35372 nbRevisions=457015
35.28 nbUselessRevisions=415171 nbAssignments=401 nbFailedAssignments=18 nbBacktracks=26 nbVisitedNodes=435
35.28 nbRestartNogoods=5 mapSize=24 nbInferences=0 nbTooLargeKeys=0
35.28 => wckTime=26.636 cpuTime=26.27 mem=81M987
38.00
38.00 search
38.00 run=2 nbConstraintChecks=15909767 nbValidityChecks=26266332 nbPropagations=68503 nbRevisions=877825
38.00 nbUselessRevisions=797610 nbAssignments=615 nbFailedAssignments=30 nbBacktracks=48 nbVisitedNodes=673
38.00 nbRestartNogoods=8 mapSize=43 nbInferences=0 nbTooLargeKeys=0
38.00 => wckTime=29.354 cpuTime=28.96 mem=90M251
40.83
40.83 search
40.83 run=3 nbConstraintChecks=19060604 nbValidityChecks=34945136 nbPropagations=111830 nbRevisions=1425409
40.83 nbUselessRevisions=1293273 nbAssignments=851 nbFailedAssignments=78 nbBacktracks=81 nbVisitedNodes=973
40.83 nbRestartNogoods=11 mapSize=69 nbInferences=0 nbTooLargeKeys=0
40.83 => wckTime=32.181 cpuTime=31.76 mem=97M422
50.28
50.28 search
50.28 run=4 nbConstraintChecks=30677390 nbValidityChecks=49321009 nbPropagations=181345 nbRevisions=2298837
50.28 nbUselessRevisions=2077734 nbAssignments=1255 nbFailedAssignments=102 nbBacktracks=132 nbVisitedNodes=1411
50.28 nbRestartNogoods=14 mapSize=89 nbInferences=0 nbTooLargeKeys=0
50.28 => wckTime=41.63 cpuTime=41.11 mem=112M692
55.98
55.98 search
55.98 run=5 nbConstraintChecks=36089774 nbValidityChecks=65187802 nbPropagations=281051 nbRevisions=3551236
55.98 nbUselessRevisions=3196941 nbAssignments=1684 nbFailedAssignments=131 nbBacktracks=208 nbVisitedNodes=1889
55.98 nbRestartNogoods=25 mapSize=128 nbInferences=0 nbTooLargeKeys=0
55.98 => wckTime=47.338 cpuTime=46.72 mem=94M701
61.79
61.79 search
61.79 run=6 nbConstraintChecks=41833524 nbValidityChecks=80031776 nbPropagations=406671 nbRevisions=5131530
61.79 nbUselessRevisions=4604211 nbAssignments=2157 nbFailedAssignments=154 nbBacktracks=323 nbVisitedNodes=2409
61.79 nbRestartNogoods=27 mapSize=164 nbInferences=0 nbTooLargeKeys=0
61.79 => wckTime=53.145 cpuTime=52.46 mem=112M915
67.75
67.75 search
67.75 run=7 nbConstraintChecks=47379798 nbValidityChecks=96594131 nbPropagations=563265 nbRevisions=7109102
67.75 nbUselessRevisions=6358051 nbAssignments=2697 nbFailedAssignments=179 nbBacktracks=499 nbVisitedNodes=3017
67.75 nbRestartNogoods=36 mapSize=227 nbInferences=0 nbTooLargeKeys=0
67.75 => wckTime=59.102 cpuTime=58.37 mem=132M914
77.22
77.22 search
77.22 run=8 nbConstraintChecks=55989546 nbValidityChecks=119667468 nbPropagations=770866 nbRevisions=9742818
77.22 nbUselessRevisions=8673053 nbAssignments=3394 nbFailedAssignments=273 nbBacktracks=760 nbVisitedNodes=3868
77.22 nbRestartNogoods=39 mapSize=325 nbInferences=0 nbTooLargeKeys=0
77.22 => wckTime=68.573 cpuTime=67.71 mem=121M243
97.22
97.22 search
97.22 run=9 nbConstraintChecks=73239897 nbValidityChecks=163164606 nbPropagations=1093279 nbRevisions=13872435
97.22 nbUselessRevisions=12217768 nbAssignments=4498 nbFailedAssignments=673 nbBacktracks=1151 nbVisitedNodes=5508
97.22 nbRestartNogoods=45 mapSize=584 nbInferences=0 nbTooLargeKeys=0
97.22 => wckTime=88.577 cpuTime=87.48 mem=120M97
118.89
118.89 search
118.89 run=10 nbConstraintChecks=93500720 nbValidityChecks=205189813 nbPropagations=1539207 nbRevisions=19523497
118.89 nbUselessRevisions=17062054 nbAssignments=5789 nbFailedAssignments=1025 nbBacktracks=1727 nbVisitedNodes=7318
118.89 nbRestartNogoods=52 mapSize=896 nbInferences=1 nbTooLargeKeys=0
118.89 => wckTime=110.242 cpuTime=108.95 mem=156M71
132.93
132.93 INFO : Stopping hyperNogood (mapSize=1019, nbTooLargekeys=0, mem=148M652)
152.84
152.84 search
152.84 run=11 nbConstraintChecks=130412936 nbValidityChecks=275556169 nbPropagations=2109545 nbRevisions=26852192
152.84 nbUselessRevisions=23272120 nbAssignments=7674 nbFailedAssignments=1844 nbBacktracks=2594 nbVisitedNodes=10276
152.84 nbRestartNogoods=70
152.84 => wckTime=144.192 cpuTime=142.53 mem=148M652
330.11
330.11 search
330.11 run=12 nbConstraintChecks=330920669 nbValidityChecks=635878614 nbPropagations=3252036 nbRevisions=42188218
330.11 nbUselessRevisions=35575290 nbAssignments=12429 nbFailedAssignments=5144 nbBacktracks=3892 nbVisitedNodes=19099
330.11 nbRestartNogoods=110
330.11 => wckTime=321.469 cpuTime=318.19 mem=149M36
411.01
411.01 search
411.01 run=13 nbConstraintChecks=400100785 nbValidityChecks=811269070 nbPropagations=4955353 nbRevisions=64723981
411.01 nbUselessRevisions=54003094 nbAssignments=15804 nbFailedAssignments=6285 nbBacktracks=5838 nbVisitedNodes=24200
411.01 nbRestartNogoods=136
411.01 => wckTime=402.363 cpuTime=398.35 mem=149M36
531.20
531.20 search
531.20 run=14 nbConstraintChecks=528531300 nbValidityChecks=1073910523 nbPropagations=7139268 nbRevisions=93931001
531.20 nbUselessRevisions=77873495 nbAssignments=21900 nbFailedAssignments=9336 nbBacktracks=8757 nbVisitedNodes=34329
531.20 nbRestartNogoods=163
531.20 => wckTime=522.559 cpuTime=517.44 mem=149M36
905.48
905.48 search
905.48 run=15 nbConstraintChecks=830437077 nbValidityChecks=1844622378 nbPropagations=11731920 nbRevisions=156003655
905.48 nbUselessRevisions=128930923 nbAssignments=33686 nbFailedAssignments=16528 nbBacktracks=13145
905.48 nbVisitedNodes=55028 nbRestartNogoods=205
905.48 => wckTime=896.833 cpuTime=888.31 mem=149M36
1176.86
1176.86 search
1176.86 run=16 nbConstraintChecks=1040179588 nbValidityChecks=2455439204 nbPropagations=18524604 nbRevisions=247174723
1176.86 nbUselessRevisions=204492572 nbAssignments=48589 nbFailedAssignments=24646 nbBacktracks=19716
1176.86 nbVisitedNodes=81335 nbRestartNogoods=229
1176.86 => wckTime=1168.217 cpuTime=1157.72 mem=149M36
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node14/watcher-201636-1168072438 -o ROOT/results/node14/solver-201636-1168072438 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/201636-1168072438/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.99 2.01 1.94 4/93 24360
/proc/meminfo: memFree=1396904/2055920 swapFree=4182236/4192956
[pid=24359] ppid=24357 vsize=906644 CPUtime=0.02
/proc/24359/stat : 24359 (java) S 24357 24359 24118 0 -1 0 2069 0 1 0 1 1 0 0 18 0 2 0 155638913 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/24359/statm: 226661 1818 1036 14 0 214244 0
[pid=24359/tid=24361] ppid=24357 vsize=906644 CPUtime=0
/proc/24359/task/24361/stat : 24361 (java) R 24357 24359 24118 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 155638917 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[startup+0.103087 s]
/proc/loadavg: 1.99 2.01 1.94 4/93 24360
/proc/meminfo: memFree=1396904/2055920 swapFree=4182236/4192956
[pid=24359] ppid=24357 vsize=914988 CPUtime=0.08
/proc/24359/stat : 24359 (java) R 24357 24359 24118 0 -1 0 3001 0 1 0 7 1 0 0 17 0 8 0 155638913 936947712 2747 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072940626 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24359/statm: 228747 2747 1428 14 0 215242 0
[pid=24359/tid=24361] ppid=24357 vsize=914988 CPUtime=0
/proc/24359/task/24361/stat : 24361 (java) S 24357 24359 24118 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 155638917 936947712 2747 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.513127 s]
/proc/loadavg: 1.99 2.01 1.94 4/93 24360
/proc/meminfo: memFree=1396904/2055920 swapFree=4182236/4192956
[pid=24359] ppid=24357 vsize=915328 CPUtime=0.5
/proc/24359/stat : 24359 (java) R 24357 24359 24118 0 -1 0 7019 0 1 0 46 4 0 0 18 0 8 0 155638913 937295872 6758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072897970 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24359/statm: 228832 6758 2138 14 0 215302 0
[pid=24359/tid=24361] ppid=24357 vsize=915328 CPUtime=0
/proc/24359/task/24361/stat : 24361 (java) S 24357 24359 24118 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 155638917 937295872 6758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33421 s]
/proc/loadavg: 2.07 2.02 1.95 4/100 24367
/proc/meminfo: memFree=1328624/2055920 swapFree=4182236/4192956
[pid=24359] ppid=24357 vsize=915648 CPUtime=1.31
/proc/24359/stat : 24359 (java) R 24357 24359 24118 0 -1 0 21467 0 1 0 121 10 0 0 19 0 8 0 155638913 937623552 21204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153380220 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24359/statm: 228912 21204 2160 14 0 215382 0
[pid=24359/tid=24361] ppid=24357 vsize=915648 CPUtime=0.08
/proc/24359/task/24361/stat : 24361 (java) S 24357 24359 24118 0 -1 64 4924 0 0 0 7 1 0 0 16 0 8 0 155638917 937623552 21204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24362] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24362/stat : 24362 (java) S 24357 24359 24118 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155638918 937623552 21204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24363] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24363/stat : 24363 (java) S 24357 24359 24118 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155638918 937623552 21204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24364] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24364/stat : 24364 (java) S 24357 24359 24118 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155638921 937623552 21204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24365] ppid=24357 vsize=915648 CPUtime=0.16
/proc/24359/task/24365/stat : 24365 (java) S 24357 24359 24118 0 -1 64 409 0 0 0 16 0 0 0 19 0 8 0 155638921 937623552 21204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24366] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24366/stat : 24366 (java) S 24357 24359 24118 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155638921 937623552 21204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24367] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24367/stat : 24367 (java) S 24357 24359 24118 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155638921 937623552 21204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915648
[startup+2.97136 s]
/proc/loadavg: 2.07 2.02 1.95 3/100 24367
/proc/meminfo: memFree=1320176/2055920 swapFree=4182236/4192956
[pid=24359] ppid=24357 vsize=915648 CPUtime=2.93
/proc/24359/stat : 24359 (java) R 24357 24359 24118 0 -1 0 21557 0 1 0 282 11 0 0 25 0 8 0 155638913 937623552 21292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831590 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24359/statm: 228912 21292 2181 14 0 215382 0
[pid=24359/tid=24361] ppid=24357 vsize=915648 CPUtime=0.11
/proc/24359/task/24361/stat : 24361 (java) S 24357 24359 24118 0 -1 64 4924 0 0 0 10 1 0 0 17 0 8 0 155638917 937623552 21292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24362] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24362/stat : 24362 (java) S 24357 24359 24118 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155638918 937623552 21292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24363] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24363/stat : 24363 (java) S 24357 24359 24118 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155638918 937623552 21292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24364] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24364/stat : 24364 (java) S 24357 24359 24118 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155638921 937623552 21292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24365] ppid=24357 vsize=915648 CPUtime=0.2
/proc/24359/task/24365/stat : 24365 (java) S 24357 24359 24118 0 -1 64 435 0 0 0 20 0 0 0 16 0 8 0 155638921 937623552 21292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24366] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24366/stat : 24366 (java) S 24357 24359 24118 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155638921 937623552 21292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24367] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24367/stat : 24367 (java) S 24357 24359 24118 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155638921 937623552 21292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915648
[startup+6.26568 s]
/proc/loadavg: 2.07 2.02 1.95 3/100 24367
/proc/meminfo: memFree=1307120/2055920 swapFree=4182236/4192956
[pid=24359] ppid=24357 vsize=915648 CPUtime=6.19
/proc/24359/stat : 24359 (java) R 24357 24359 24118 0 -1 0 25580 0 1 0 605 14 0 0 25 0 8 0 155638913 937623552 25311 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153901176 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24359/statm: 228912 25311 2182 14 0 215382 0
[pid=24359/tid=24361] ppid=24357 vsize=915648 CPUtime=0.3
/proc/24359/task/24361/stat : 24361 (java) S 24357 24359 24118 0 -1 64 8930 0 0 0 26 4 0 0 16 0 8 0 155638917 937623552 25311 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24362] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24362/stat : 24362 (java) S 24357 24359 24118 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155638918 937623552 25311 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24363] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24363/stat : 24363 (java) S 24357 24359 24118 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155638918 937623552 25311 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24364] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24364/stat : 24364 (java) S 24357 24359 24118 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155638921 937623552 25311 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24365] ppid=24357 vsize=915648 CPUtime=0.23
/proc/24359/task/24365/stat : 24365 (java) S 24357 24359 24118 0 -1 64 448 0 0 0 23 0 0 0 16 0 8 0 155638921 937623552 25311 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24366] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24366/stat : 24366 (java) S 24357 24359 24118 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155638921 937623552 25311 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24367] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24367/stat : 24367 (java) S 24357 24359 24118 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155638921 937623552 25311 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915648
[startup+12.7493 s]
/proc/loadavg: 2.06 2.02 1.95 3/100 24367
/proc/meminfo: memFree=1282352/2055920 swapFree=4182236/4192956
[pid=24359] ppid=24357 vsize=915648 CPUtime=12.61
/proc/24359/stat : 24359 (java) R 24357 24359 24118 0 -1 0 31350 0 1 0 1244 17 0 0 25 0 8 0 155638913 937623552 31075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074156943 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24359/statm: 228912 31075 2533 14 0 215382 0
[pid=24359/tid=24361] ppid=24357 vsize=915648 CPUtime=0.69
/proc/24359/task/24361/stat : 24361 (java) S 24357 24359 24118 0 -1 64 14223 0 0 0 63 6 0 0 16 0 8 0 155638917 937623552 31075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24362] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24362/stat : 24362 (java) S 24357 24359 24118 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155638918 937623552 31075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24363] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24363/stat : 24363 (java) S 24357 24359 24118 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155638918 937623552 31075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24364] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24364/stat : 24364 (java) S 24357 24359 24118 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155638921 937623552 31075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24365] ppid=24357 vsize=915648 CPUtime=0.34
/proc/24359/task/24365/stat : 24365 (java) S 24357 24359 24118 0 -1 64 508 0 0 0 33 1 0 0 15 0 8 0 155638921 937623552 31075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24366] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24366/stat : 24366 (java) S 24357 24359 24118 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155638921 937623552 31075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24367] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24367/stat : 24367 (java) S 24357 24359 24118 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155638921 937623552 31075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915648
[startup+25.6215 s]
/proc/loadavg: 2.05 2.02 1.95 3/100 24367
/proc/meminfo: memFree=1282480/2055920 swapFree=4182236/4192956
[pid=24359] ppid=24357 vsize=915648 CPUtime=25.36
/proc/24359/stat : 24359 (java) R 24357 24359 24118 0 -1 0 31364 0 1 0 2519 17 0 0 25 0 8 0 155638913 937623552 31084 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831367 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24359/statm: 228912 31084 2534 14 0 215382 0
[pid=24359/tid=24361] ppid=24357 vsize=915648 CPUtime=0.69
/proc/24359/task/24361/stat : 24361 (java) S 24357 24359 24118 0 -1 64 14223 0 0 0 63 6 0 0 17 0 8 0 155638917 937623552 31084 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24362] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24362/stat : 24362 (java) S 24357 24359 24118 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155638918 937623552 31084 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24363] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24363/stat : 24363 (java) S 24357 24359 24118 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155638918 937623552 31084 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24364] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24364/stat : 24364 (java) S 24357 24359 24118 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155638921 937623552 31084 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24365] ppid=24357 vsize=915648 CPUtime=0.35
/proc/24359/task/24365/stat : 24365 (java) S 24357 24359 24118 0 -1 64 517 0 0 0 34 1 0 0 15 0 8 0 155638921 937623552 31084 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24366] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24366/stat : 24366 (java) S 24357 24359 24118 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155638921 937623552 31084 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24367] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24367/stat : 24367 (java) S 24357 24359 24118 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155638921 937623552 31084 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915648
[startup+51.2519 s]
/proc/loadavg: 2.08 2.03 1.95 3/100 24367
/proc/meminfo: memFree=1263536/2055920 swapFree=4182236/4192956
[pid=24359] ppid=24357 vsize=915648 CPUtime=50.77
/proc/24359/stat : 24359 (java) R 24357 24359 24118 0 -1 0 36101 0 1 0 5057 20 0 0 25 0 8 0 155638913 937623552 35813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074136286 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24359/statm: 228912 35813 2538 14 0 215382 0
[pid=24359/tid=24361] ppid=24357 vsize=915648 CPUtime=0.76
/proc/24359/task/24361/stat : 24361 (java) S 24357 24359 24118 0 -1 64 18932 0 0 0 68 8 0 0 17 0 8 0 155638917 937623552 35813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24362] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24362/stat : 24362 (java) S 24357 24359 24118 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155638918 937623552 35813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24363] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24363/stat : 24363 (java) S 24357 24359 24118 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155638918 937623552 35813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24364] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24364/stat : 24364 (java) S 24357 24359 24118 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155638921 937623552 35813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24365] ppid=24357 vsize=915648 CPUtime=0.38
/proc/24359/task/24365/stat : 24365 (java) S 24357 24359 24118 0 -1 64 533 0 0 0 37 1 0 0 16 0 8 0 155638921 937623552 35813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24366] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24366/stat : 24366 (java) S 24357 24359 24118 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155638921 937623552 35813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24367] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24367/stat : 24367 (java) S 24357 24359 24118 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155638921 937623552 35813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.77
Current children cumulated vsize (KiB) 915648
[startup+102.517 s]
/proc/loadavg: 2.03 2.03 1.95 4/100 24367
/proc/meminfo: memFree=1216240/2055920 swapFree=4182236/4192956
[pid=24359] ppid=24357 vsize=915648 CPUtime=101.56
/proc/24359/stat : 24359 (java) R 24357 24359 24118 0 -1 0 47923 0 1 0 10129 27 0 0 25 0 8 0 155638913 937623552 47623 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074138726 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24359/statm: 228912 47623 2538 14 0 215382 0
[pid=24359/tid=24361] ppid=24357 vsize=915648 CPUtime=0.88
/proc/24359/task/24361/stat : 24361 (java) S 24357 24359 24118 0 -1 64 30733 0 0 0 74 14 0 0 16 0 8 0 155638917 937623552 47623 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24362] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24362/stat : 24362 (java) S 24357 24359 24118 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155638918 937623552 47623 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24363] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24363/stat : 24363 (java) S 24357 24359 24118 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155638918 937623552 47623 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24364] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24364/stat : 24364 (java) S 24357 24359 24118 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155638921 937623552 47623 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24365] ppid=24357 vsize=915648 CPUtime=0.41
/proc/24359/task/24365/stat : 24365 (java) S 24357 24359 24118 0 -1 64 545 0 0 0 39 2 0 0 16 0 8 0 155638921 937623552 47623 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24366] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24366/stat : 24366 (java) S 24357 24359 24118 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155638921 937623552 47623 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24367] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24367/stat : 24367 (java) S 24357 24359 24118 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155638921 937623552 47623 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.56
Current children cumulated vsize (KiB) 915648
################
# More data... #
################
Current children cumulated CPU time (s) 1412.36
Current children cumulated vsize (KiB) 915648
[startup+1482.87 s]
/proc/loadavg: 2.00 2.00 1.98 3/100 24425
/proc/meminfo: memFree=1147568/2055920 swapFree=4182236/4192956
[pid=24359] ppid=24357 vsize=915648 CPUtime=1472.31
/proc/24359/stat : 24359 (java) R 24357 24359 24118 0 -1 0 53877 0 1 0 147191 40 0 0 25 0 8 0 155638913 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074136382 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24359/statm: 228912 53572 2538 14 0 215382 0
[pid=24359/tid=24361] ppid=24357 vsize=915648 CPUtime=0.93
/proc/24359/task/24361/stat : 24361 (java) S 24357 24359 24118 0 -1 64 36679 0 0 0 77 16 0 0 16 0 8 0 155638917 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24362] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24362/stat : 24362 (java) S 24357 24359 24118 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155638918 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24363] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24363/stat : 24363 (java) S 24357 24359 24118 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155638918 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24364] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24364/stat : 24364 (java) S 24357 24359 24118 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155638921 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24365] ppid=24357 vsize=915648 CPUtime=0.43
/proc/24359/task/24365/stat : 24365 (java) S 24357 24359 24118 0 -1 64 550 0 0 0 41 2 0 0 16 0 8 0 155638921 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24366] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24366/stat : 24366 (java) S 24357 24359 24118 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155638921 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24367] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24367/stat : 24367 (java) S 24357 24359 24118 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155638921 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1472.31
Current children cumulated vsize (KiB) 915648
[startup+1542.89 s]
/proc/loadavg: 2.04 2.01 1.98 3/100 24425
/proc/meminfo: memFree=1147568/2055920 swapFree=4182236/4192956
[pid=24359] ppid=24357 vsize=915648 CPUtime=1532.27
/proc/24359/stat : 24359 (java) R 24357 24359 24118 0 -1 0 53877 0 1 0 153187 40 0 0 25 0 8 0 155638913 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074157019 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24359/statm: 228912 53572 2538 14 0 215382 0
[pid=24359/tid=24361] ppid=24357 vsize=915648 CPUtime=0.93
/proc/24359/task/24361/stat : 24361 (java) S 24357 24359 24118 0 -1 64 36679 0 0 0 77 16 0 0 16 0 8 0 155638917 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24362] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24362/stat : 24362 (java) S 24357 24359 24118 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155638918 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24363] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24363/stat : 24363 (java) S 24357 24359 24118 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155638918 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24364] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24364/stat : 24364 (java) S 24357 24359 24118 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155638921 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24365] ppid=24357 vsize=915648 CPUtime=0.43
/proc/24359/task/24365/stat : 24365 (java) S 24357 24359 24118 0 -1 64 550 0 0 0 41 2 0 0 16 0 8 0 155638921 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24366] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24366/stat : 24366 (java) S 24357 24359 24118 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155638921 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24367] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24367/stat : 24367 (java) S 24357 24359 24118 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155638921 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1532.27
Current children cumulated vsize (KiB) 915648
[startup+1602.9 s]
/proc/loadavg: 2.01 2.01 1.98 3/100 24425
/proc/meminfo: memFree=1147568/2055920 swapFree=4182236/4192956
[pid=24359] ppid=24357 vsize=915648 CPUtime=1592.24
/proc/24359/stat : 24359 (java) R 24357 24359 24118 0 -1 0 53877 0 1 0 159183 41 0 0 25 0 8 0 155638913 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073835377 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24359/statm: 228912 53572 2538 14 0 215382 0
[pid=24359/tid=24361] ppid=24357 vsize=915648 CPUtime=0.93
/proc/24359/task/24361/stat : 24361 (java) S 24357 24359 24118 0 -1 64 36679 0 0 0 77 16 0 0 16 0 8 0 155638917 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24362] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24362/stat : 24362 (java) S 24357 24359 24118 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155638918 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24363] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24363/stat : 24363 (java) S 24357 24359 24118 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155638918 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24364] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24364/stat : 24364 (java) S 24357 24359 24118 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155638921 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24365] ppid=24357 vsize=915648 CPUtime=0.43
/proc/24359/task/24365/stat : 24365 (java) S 24357 24359 24118 0 -1 64 550 0 0 0 41 2 0 0 16 0 8 0 155638921 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24366] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24366/stat : 24366 (java) S 24357 24359 24118 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155638921 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24367] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24367/stat : 24367 (java) S 24357 24359 24118 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155638921 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1592.24
Current children cumulated vsize (KiB) 915648
[startup+1662.94 s]
/proc/loadavg: 2.00 2.00 1.98 3/106 24563
/proc/meminfo: memFree=1146352/2055920 swapFree=4182236/4192956
[pid=24359] ppid=24357 vsize=915648 CPUtime=1652.14
/proc/24359/stat : 24359 (java) R 24357 24359 24118 0 -1 0 53877 0 1 0 165164 50 0 0 25 0 8 0 155638913 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074135031 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24359/statm: 228912 53572 2538 14 0 215382 0
[pid=24359/tid=24361] ppid=24357 vsize=915648 CPUtime=0.93
/proc/24359/task/24361/stat : 24361 (java) S 24357 24359 24118 0 -1 64 36679 0 0 0 77 16 0 0 16 0 8 0 155638917 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24362] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24362/stat : 24362 (java) S 24357 24359 24118 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155638918 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24363] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24363/stat : 24363 (java) S 24357 24359 24118 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155638918 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24364] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24364/stat : 24364 (java) S 24357 24359 24118 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155638921 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24365] ppid=24357 vsize=915648 CPUtime=0.43
/proc/24359/task/24365/stat : 24365 (java) S 24357 24359 24118 0 -1 64 550 0 0 0 41 2 0 0 16 0 8 0 155638921 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24366] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24366/stat : 24366 (java) S 24357 24359 24118 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155638921 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24367] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24367/stat : 24367 (java) S 24357 24359 24118 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155638921 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1652.14
Current children cumulated vsize (KiB) 915648
[startup+1722.97 s]
/proc/loadavg: 2.00 2.00 1.98 3/100 24623
/proc/meminfo: memFree=1147312/2055920 swapFree=4182236/4192956
[pid=24359] ppid=24357 vsize=915648 CPUtime=1712.12
/proc/24359/stat : 24359 (java) R 24357 24359 24118 0 -1 0 53877 0 1 0 171151 61 0 0 25 0 8 0 155638913 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074138738 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24359/statm: 228912 53572 2538 14 0 215382 0
[pid=24359/tid=24361] ppid=24357 vsize=915648 CPUtime=0.93
/proc/24359/task/24361/stat : 24361 (java) S 24357 24359 24118 0 -1 64 36679 0 0 0 77 16 0 0 16 0 8 0 155638917 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24362] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24362/stat : 24362 (java) S 24357 24359 24118 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155638918 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24363] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24363/stat : 24363 (java) S 24357 24359 24118 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155638918 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24364] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24364/stat : 24364 (java) S 24357 24359 24118 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155638921 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24365] ppid=24357 vsize=915648 CPUtime=0.43
/proc/24359/task/24365/stat : 24365 (java) S 24357 24359 24118 0 -1 64 550 0 0 0 41 2 0 0 16 0 8 0 155638921 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24366] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24366/stat : 24366 (java) S 24357 24359 24118 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155638921 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24367] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24367/stat : 24367 (java) S 24357 24359 24118 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155638921 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1712.12
Current children cumulated vsize (KiB) 915648
[startup+1782.99 s]
/proc/loadavg: 2.00 2.00 1.98 3/100 24623
/proc/meminfo: memFree=1147312/2055920 swapFree=4182236/4192956
[pid=24359] ppid=24357 vsize=915648 CPUtime=1772.09
/proc/24359/stat : 24359 (java) R 24357 24359 24118 0 -1 0 53877 0 1 0 177148 61 0 0 25 0 8 0 155638913 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074137399 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24359/statm: 228912 53572 2538 14 0 215382 0
[pid=24359/tid=24361] ppid=24357 vsize=915648 CPUtime=0.93
/proc/24359/task/24361/stat : 24361 (java) S 24357 24359 24118 0 -1 64 36679 0 0 0 77 16 0 0 16 0 8 0 155638917 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24362] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24362/stat : 24362 (java) S 24357 24359 24118 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155638918 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24363] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24363/stat : 24363 (java) S 24357 24359 24118 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155638918 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24364] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24364/stat : 24364 (java) S 24357 24359 24118 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155638921 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24365] ppid=24357 vsize=915648 CPUtime=0.43
/proc/24359/task/24365/stat : 24365 (java) S 24357 24359 24118 0 -1 64 550 0 0 0 41 2 0 0 16 0 8 0 155638921 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24366] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24366/stat : 24366 (java) S 24357 24359 24118 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155638921 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24367] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24367/stat : 24367 (java) S 24357 24359 24118 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155638921 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1772.09
Current children cumulated vsize (KiB) 915648
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1810.99 s]
/proc/loadavg: 2.00 2.00 1.98 3/100 24623
/proc/meminfo: memFree=1147312/2055920 swapFree=4182236/4192956
[pid=24359] ppid=24357 vsize=915648 CPUtime=1800.05
/proc/24359/stat : 24359 (java) R 24357 24359 24118 0 -1 0 53877 0 1 0 179944 61 0 0 25 0 8 0 155638913 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24359/statm: 228912 53572 2538 14 0 215382 0
[pid=24359/tid=24361] ppid=24357 vsize=915648 CPUtime=0.93
/proc/24359/task/24361/stat : 24361 (java) S 24357 24359 24118 0 -1 64 36679 0 0 0 77 16 0 0 16 0 8 0 155638917 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24362] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24362/stat : 24362 (java) S 24357 24359 24118 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155638918 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24363] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24363/stat : 24363 (java) S 24357 24359 24118 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155638918 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24364] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24364/stat : 24364 (java) S 24357 24359 24118 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155638921 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24365] ppid=24357 vsize=915648 CPUtime=0.43
/proc/24359/task/24365/stat : 24365 (java) S 24357 24359 24118 0 -1 64 550 0 0 0 41 2 0 0 16 0 8 0 155638921 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24366] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24366/stat : 24366 (java) S 24357 24359 24118 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155638921 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24367] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24367/stat : 24367 (java) S 24357 24359 24118 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155638921 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 915648
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1811.08
CPU time (s): 1800.14
CPU user time (s): 1799.5
CPU system time (s): 0.644901
CPU usage (%): 99.3958
Max. virtual memory (cumulated for all children) (KiB): 915648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.5
system time used= 0.644901
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53892
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= 38321
involuntary context switches= 79566
runsolver used 2.37764 s user time and 5.64814 s system time
The end
Begin job on node14 on Sat Jan 6 08:33:59 UTC 2007
IDJOB= 201636
IDBENCH= 3775
FILE ID= node14/201636-1168072438
PBS_JOBID= 3475716
Free space on /tmp= 66322 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp11-15/fapp13/fapp13-2000-6.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/201636-1168072438/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-201636-1168072438 -o ROOT/results/node14/solver-201636-1168072438 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/201636-1168072438/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= e57f0b8f90b7d128b396369733fed01f
RANDOM SEED= 422829025
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.227
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.227
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1397384 kB
Buffers: 57424 kB
Cached: 363948 kB
SwapCached: 3696 kB
Active: 203164 kB
Inactive: 355240 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1397384 kB
SwapTotal: 4192956 kB
SwapFree: 4182236 kB
Dirty: 5372 kB
Writeback: 0 kB
Mapped: 156480 kB
Slab: 84748 kB
Committed_AS: 5451684 kB
PageTables: 2388 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= 66319 MiB
End job on node14 on Sat Jan 6 09:04:11 UTC 2007