0.41
0.41 Abscon 109 (November, 2006)
0.41
0.41 configuration
0.41 name=esac.xml
0.44
0.44 instance
0.44 name=/tmp/evaluation/238851-1168360823/unknown.xml
0.47
0.47 domains being loaded...
0.48
0.48 variables being loaded...
0.54 nbVariables=208 nbDomainTypes=4 minDomainSize=1 maxDomainSize=52
0.54 => wckTime=0.13 cpuTime=0.1 mem=7M927
0.54
0.54 relations being loaded...
0.56
0.56 constraints being loaded...
0.86 nbConstraints=4217 nbRelationTypes=9 nbSingletonDomainVariables=3 nbDisconnectedVariables=1
0.86 nbExtensionStructures=9 nbSharedExtensionStructures=4208 nbConflictsStructures=9
0.86 nbSharedConflictsStructures=4208 nbSharedBinaryRepresentations=372 maxDegree=104 maxArity=2
0.86 => wckTime=0.451 cpuTime=0.31 mem=19M678
0.92
0.92 solver IterativeSystematicSolver being built...
1.10 => wckTime=0.689 cpuTime=0.46 mem=17M676
1.44
1.44 preprocessing
1.44 nbConstraintChecks=6000763 nbPropagations=5897 nbRevisions=132421 nbUselessRevisions=126209
1.44 nbSingletonTests=238 nbEffectiveSingletonTests=0 nbESACBranches=3 nbRemovedValues=793 detectedInconsistency=no
1.44 => wckTime=0.335 cpuTime=0.31 mem=17M676
1.65
1.65 search
1.65 run=0 nbConstraintChecks=4169799 nbPropagations=9256 nbRevisions=224335 nbUselessRevisions=213687
1.65 nbAssignments=55 nbFailedAssignments=6 nbBacktracks=10 nbVisitedNodes=69 nbRestartNogoods=0 mapSize=10
1.65 nbInferences=1 nbTooLargeKeys=0
1.65 => wckTime=0.549 cpuTime=0.51 mem=17M676
1.82
1.82 search
1.82 run=1 nbConstraintChecks=8248581 nbPropagations=21739 nbRevisions=538468 nbUselessRevisions=513096
1.82 nbAssignments=117 nbFailedAssignments=14 nbBacktracks=25 nbVisitedNodes=148 nbRestartNogoods=2 mapSize=25
1.82 nbInferences=2 nbTooLargeKeys=0
1.82 => wckTime=0.72 cpuTime=0.67 mem=17M676
2.00
2.00 search
2.00 run=2 nbConstraintChecks=12702699 nbPropagations=37916 nbRevisions=951008 nbUselessRevisions=905995
2.00 nbAssignments=188 nbFailedAssignments=21 nbBacktracks=48 nbVisitedNodes=237 nbRestartNogoods=4 mapSize=38
2.00 nbInferences=6 nbTooLargeKeys=0
2.00 => wckTime=0.899 cpuTime=0.85 mem=17M676
2.17
2.17 search
2.17 run=3 nbConstraintChecks=16802395 nbPropagations=57276 nbRevisions=1453816 nbUselessRevisions=1385152
2.17 nbAssignments=282 nbFailedAssignments=36 nbBacktracks=91 nbVisitedNodes=360 nbRestartNogoods=7 mapSize=65
2.17 nbInferences=7 nbTooLargeKeys=0
2.17 => wckTime=1.066 cpuTime=1.02 mem=17M676
2.45
2.45 search
2.45 run=4 nbConstraintChecks=23755202 nbPropagations=83308 nbRevisions=2113619 nbUselessRevisions=2011640
2.45 nbAssignments=406 nbFailedAssignments=57 nbBacktracks=142 nbVisitedNodes=541 nbRestartNogoods=8 mapSize=109
2.45 nbInferences=20 nbTooLargeKeys=0
2.46 => wckTime=1.348 cpuTime=1.29 mem=17M676
2.69
2.69 search
2.69 run=5 nbConstraintChecks=29413828 nbPropagations=114081 nbRevisions=2899865 nbUselessRevisions=2758474
2.69 nbAssignments=565 nbFailedAssignments=91 nbBacktracks=226 nbVisitedNodes=775 nbRestartNogoods=11 mapSize=175
2.69 nbInferences=27 nbTooLargeKeys=0
2.69 => wckTime=1.587 cpuTime=1.53 mem=17M676
3.11
3.11 search
3.11 run=6 nbConstraintChecks=39973543 nbPropagations=155339 nbRevisions=3926907 nbUselessRevisions=3730242
3.11 nbAssignments=791 nbFailedAssignments=141 nbBacktracks=343 nbVisitedNodes=1125 nbRestartNogoods=12 mapSize=275
3.11 nbInferences=49 nbTooLargeKeys=0
3.11 => wckTime=2.009 cpuTime=1.95 mem=18M651
3.64
3.64 search
3.64 run=7 nbConstraintChecks=52873078 nbPropagations=210140 nbRevisions=5250719 nbUselessRevisions=4978519
3.64 nbAssignments=1129 nbFailedAssignments=238 nbBacktracks=514 nbVisitedNodes=1677 nbRestartNogoods=14
3.64 mapSize=430 nbInferences=83 nbTooLargeKeys=0
3.64 => wckTime=2.533 cpuTime=2.46 mem=18M651
4.25
4.25 search
4.25 run=8 nbConstraintChecks=67373283 nbPropagations=278086 nbRevisions=6902158 nbUselessRevisions=6537794
4.25 nbAssignments=1653 nbFailedAssignments=373 nbBacktracks=773 nbVisitedNodes=2481 nbRestartNogoods=19
4.25 mapSize=659 nbInferences=140 nbTooLargeKeys=0
4.25 => wckTime=3.142 cpuTime=3.05 mem=18M651
5.31
5.32 search
5.32 run=9 nbConstraintChecks=93761607 nbPropagations=375830 nbRevisions=9166930 nbUselessRevisions=8666456
5.32 nbAssignments=2433 nbFailedAssignments=494 nbBacktracks=1158 nbVisitedNodes=3729 nbRestartNogoods=23
5.32 mapSize=963 nbInferences=375 nbTooLargeKeys=0
5.32 => wckTime=4.21 cpuTime=4.11 mem=18M651
6.67
6.67 search
6.67 run=10 nbConstraintChecks=127470112 nbPropagations=509585 nbRevisions=12213734 nbUselessRevisions=11531110
6.67 nbAssignments=3763 nbFailedAssignments=998 nbBacktracks=1736 nbVisitedNodes=5950 nbRestartNogoods=29
6.67 mapSize=1466 nbInferences=528 nbTooLargeKeys=0
6.67 => wckTime=5.566 cpuTime=5.45 mem=19M627
8.69
8.69 search
8.69 run=11 nbConstraintChecks=178258830 nbPropagations=703032 nbRevisions=16458523 nbUselessRevisions=15503843
8.69 nbAssignments=5294 nbFailedAssignments=1398 nbBacktracks=2601 nbVisitedNodes=8419 nbRestartNogoods=31
8.69 mapSize=2047 nbInferences=756 nbTooLargeKeys=0
8.69 => wckTime=7.585 cpuTime=7.45 mem=20M602
11.11
11.11 search
11.11 run=12 nbConstraintChecks=239593261 nbPropagations=955220 nbRevisions=22116194 nbUselessRevisions=20816550
11.11 nbAssignments=8063 nbFailedAssignments=2275 nbBacktracks=3898 nbVisitedNodes=13040 nbRestartNogoods=45
11.11 mapSize=3303 nbInferences=1197 nbTooLargeKeys=0
11.11 => wckTime=10.004 cpuTime=9.86 mem=21M577
14.61
14.61 search
14.61 run=13 nbConstraintChecks=329463270 nbPropagations=1303964 nbRevisions=29861192 nbUselessRevisions=28100881
14.61 nbAssignments=12264 nbFailedAssignments=3386 nbBacktracks=5845 nbVisitedNodes=20073 nbRestartNogoods=53
14.61 mapSize=5063 nbInferences=2218 nbTooLargeKeys=0
14.61 => wckTime=13.507 cpuTime=13.34 mem=23M527
18.72
18.72 search
18.72 run=14 nbConstraintChecks=430875762 nbPropagations=1761566 nbRevisions=39997581 nbUselessRevisions=37622544
18.72 nbAssignments=17312 nbFailedAssignments=4769 nbBacktracks=8764 nbVisitedNodes=28137 nbRestartNogoods=57
18.72 mapSize=6946 nbInferences=2922 nbTooLargeKeys=0
18.72 => wckTime=17.62 cpuTime=17.44 mem=25M543
22.59
22.59 search
22.60 run=15 nbConstraintChecks=520920159 nbPropagations=2304917 nbRevisions=52304766 nbUselessRevisions=49218753
22.60 nbAssignments=25607 nbFailedAssignments=5957 nbBacktracks=13143 nbVisitedNodes=41094 nbRestartNogoods=65
22.60 mapSize=9971 nbInferences=5608 nbTooLargeKeys=0
22.60 => wckTime=21.491 cpuTime=21.29 mem=30M419
32.77
32.77 search
32.77 run=16 nbConstraintChecks=769225366 nbPropagations=3123914 nbRevisions=70572385 nbUselessRevisions=66381559
32.77 nbAssignments=37069 nbFailedAssignments=9291 nbBacktracks=19721 nbVisitedNodes=59486 nbRestartNogoods=72
32.77 mapSize=14228 nbInferences=7065 nbTooLargeKeys=0
32.77 => wckTime=31.667 cpuTime=31.42 mem=35M295
57.35
57.35 search
57.35 run=17 nbConstraintChecks=1399728465 nbPropagations=4692671 nbRevisions=103689871 nbUselessRevisions=97450313
57.35 nbAssignments=58103 nbFailedAssignments=15411 nbBacktracks=29573 nbVisitedNodes=95784 nbRestartNogoods=81
57.35 mapSize=22875 nbInferences=12078 nbTooLargeKeys=0
57.35 => wckTime=56.245 cpuTime=55.88 mem=46M997
75.30
75.30 search
75.30 run=18 nbConstraintChecks=1836632948 nbPropagations=6770192 nbRevisions=147337872 nbUselessRevisions=138420950
75.30 nbAssignments=84325 nbFailedAssignments=21051 nbBacktracks=44353 nbVisitedNodes=136694 nbRestartNogoods=96
75.30 mapSize=31805 nbInferences=17679 nbTooLargeKeys=0
75.30 => wckTime=74.195 cpuTime=73.67 mem=32M175
97.56
97.56 search
97.56 run=19 nbConstraintChecks=2376220702 nbPropagations=9432502 nbRevisions=204095805 nbUselessRevisions=191788587
97.56 nbAssignments=122751 nbFailedAssignments=28377 nbBacktracks=66524 nbVisitedNodes=196362 nbRestartNogoods=113
97.56 mapSize=45856 nbInferences=26440 nbTooLargeKeys=0
97.56 => wckTime=96.461 cpuTime=95.84 mem=54M58
136.14
136.14 search
136.14 run=20 nbConstraintChecks=3305640412 nbPropagations=12991701 nbRevisions=283236177 nbUselessRevisions=266476960
136.14 nbAssignments=183436 nbFailedAssignments=41250 nbBacktracks=99780 nbVisitedNodes=294783 nbRestartNogoods=121
136.14 mapSize=70435 nbInferences=40886 nbTooLargeKeys=0
136.14 => wckTime=135.037 cpuTime=134.13 mem=61M379
210.96
210.96 search
210.96 run=21 nbConstraintChecks=5170864848 nbPropagations=18337658 nbRevisions=406131506 nbUselessRevisions=382898347
210.96 nbAssignments=286774 nbFailedAssignments=61957 nbBacktracks=149659 nbVisitedNodes=467727 nbRestartNogoods=133
210.96 mapSize=110350 nbInferences=73593 nbTooLargeKeys=0
210.96 => wckTime=209.858 cpuTime=208.5 mem=97M662
276.77
276.77 search
276.77 run=22 nbConstraintChecks=6792079517 nbPropagations=25096602 nbRevisions=567168606 nbUselessRevisions=535832349
276.77 nbAssignments=415366 nbFailedAssignments=84527 nbBacktracks=224478 nbVisitedNodes=668506 nbRestartNogoods=145
276.77 mapSize=159555 nbInferences=104711 nbTooLargeKeys=0
276.77 => wckTime=275.67 cpuTime=273.89 mem=138M978
395.50
395.50 search
395.50 run=23 nbConstraintChecks=9621187000 nbPropagations=34933069 nbRevisions=797267744 nbUselessRevisions=753986801
395.50 nbAssignments=609463 nbFailedAssignments=124154 nbBacktracks=336705 nbVisitedNodes=972098 nbRestartNogoods=155
395.50 mapSize=234066 nbInferences=146900 nbTooLargeKeys=0
395.50 => wckTime=394.396 cpuTime=391.73 mem=173M715
956.01
956.02 search
956.02 run=24 nbConstraintChecks=23929537056 nbPropagations=61470233 nbRevisions=1360552487
956.02 nbUselessRevisions=1285059680 nbAssignments=1020368 nbFailedAssignments=194954 nbBacktracks=505047
956.02 nbVisitedNodes=1676110 nbRestartNogoods=179 mapSize=380371 nbInferences=318146 nbTooLargeKeys=0
956.02 => wckTime=954.911 cpuTime=949.14 mem=301M443
1254.41
1254.41 search
1254.41 run=25 nbConstraintChecks=31107364538 nbPropagations=96517731 nbRevisions=2097892138
1254.41 nbUselessRevisions=1979062564 nbAssignments=1448973 nbFailedAssignments=271317 nbBacktracks=757559
1254.41 nbVisitedNodes=2339065 nbRestartNogoods=193 mapSize=537308 nbInferences=417827 nbTooLargeKeys=0
1254.41 => wckTime=1253.304 cpuTime=1245.51 mem=410M160
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node12/watcher-238851-1168360823 -o ROOT/results/node12/solver-238851-1168360823 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/238851-1168360823/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.78 1.97 1.98 5/87 13854
/proc/meminfo: memFree=1591816/2055920 swapFree=4160348/4192956
[pid=13853] ppid=13851 vsize=18540 CPUtime=0
/proc/13853/stat : 13853 (runsolver) D 13851 13853 12270 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 184477361 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 252429528359 0 2147483391 4096 24578 18446744072099781622 0 0 17 0 0 0
/proc/13853/statm: 4635 279 244 17 0 2626 0
[startup+0.103352 s]
/proc/loadavg: 1.78 1.97 1.98 5/87 13854
/proc/meminfo: memFree=1591816/2055920 swapFree=4160348/4192956
[pid=13853] ppid=13851 vsize=1784 CPUtime=0
/proc/13853/stat : 13853 (java) D 13851 13853 12270 0 -1 0 169 0 0 0 0 0 0 0 18 0 1 0 184477361 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/13853/statm: 446 140 106 14 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1784
[startup+0.511429 s]
/proc/loadavg: 1.78 1.97 1.98 5/87 13854
/proc/meminfo: memFree=1591816/2055920 swapFree=4160348/4192956
[pid=13853] ppid=13851 vsize=915328 CPUtime=0.39
/proc/13853/stat : 13853 (java) R 13851 13853 12270 0 -1 0 6102 0 1 0 36 3 0 0 18 0 8 0 184477361 937295872 5841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13853/statm: 228832 5841 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 915328
[startup+1.34058 s]
/proc/loadavg: 1.78 1.97 1.98 3/94 13861
/proc/meminfo: memFree=1560464/2055920 swapFree=4160348/4192956
[pid=13853] ppid=13851 vsize=915572 CPUtime=1.22
/proc/13853/stat : 13853 (java) R 13851 13853 12270 0 -1 0 10556 0 1 0 114 8 0 0 23 0 8 0 184477361 937545728 10294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073947515 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13853/statm: 228893 10294 2523 14 0 215363 0
[pid=13853/tid=13855] ppid=13851 vsize=915572 CPUtime=0.05
/proc/13853/task/13855/stat : 13855 (java) S 13851 13853 12270 0 -1 64 719 0 0 0 5 0 0 0 16 0 8 0 184477374 937545728 10294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13856] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13856/stat : 13856 (java) S 13851 13853 12270 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184477375 937545728 10294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13857] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13857/stat : 13857 (java) S 13851 13853 12270 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 184477375 937545728 10294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13858] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13858/stat : 13858 (java) S 13851 13853 12270 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 184477378 937545728 10294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13859] ppid=13851 vsize=915572 CPUtime=0.22
/proc/13853/task/13859/stat : 13859 (java) S 13851 13853 12270 0 -1 64 405 0 0 0 21 1 0 0 16 0 8 0 184477378 937545728 10294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13860] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13860/stat : 13860 (java) S 13851 13853 12270 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 184477378 937545728 10294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13861] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13861/stat : 13861 (java) S 13851 13853 12270 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184477378 937545728 10294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 915572
[startup+2.97887 s]
/proc/loadavg: 1.78 1.97 1.98 3/94 13861
/proc/meminfo: memFree=1560336/2055920 swapFree=4160348/4192956
[pid=13853] ppid=13851 vsize=915572 CPUtime=2.84
/proc/13853/stat : 13853 (java) R 13851 13853 12270 0 -1 0 10570 0 1 0 276 8 0 0 25 0 8 0 184477361 937545728 10307 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073928436 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13853/statm: 228893 10307 2524 14 0 215363 0
[pid=13853/tid=13855] ppid=13851 vsize=915572 CPUtime=0.05
/proc/13853/task/13855/stat : 13855 (java) S 13851 13853 12270 0 -1 64 719 0 0 0 5 0 0 0 17 0 8 0 184477374 937545728 10307 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13856] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13856/stat : 13856 (java) S 13851 13853 12270 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184477375 937545728 10307 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13857] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13857/stat : 13857 (java) S 13851 13853 12270 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 184477375 937545728 10307 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13858] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13858/stat : 13858 (java) S 13851 13853 12270 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 184477378 937545728 10307 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13859] ppid=13851 vsize=915572 CPUtime=0.25
/proc/13853/task/13859/stat : 13859 (java) S 13851 13853 12270 0 -1 64 416 0 0 0 23 2 0 0 15 0 8 0 184477378 937545728 10307 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13860] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13860/stat : 13860 (java) S 13851 13853 12270 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 184477378 937545728 10307 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13861] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13861/stat : 13861 (java) S 13851 13853 12270 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184477378 937545728 10307 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 915572
[startup+6.28047 s]
/proc/loadavg: 1.80 1.97 1.98 3/94 13861
/proc/meminfo: memFree=1560272/2055920 swapFree=4160348/4192956
[pid=13853] ppid=13851 vsize=915572 CPUtime=6.13
/proc/13853/stat : 13853 (java) R 13851 13853 12270 0 -1 0 10589 0 1 0 604 9 0 0 25 0 8 0 184477361 937545728 10322 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073928405 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13853/statm: 228893 10322 2524 14 0 215363 0
[pid=13853/tid=13855] ppid=13851 vsize=915572 CPUtime=0.05
/proc/13853/task/13855/stat : 13855 (java) S 13851 13853 12270 0 -1 64 719 0 0 0 5 0 0 0 17 0 8 0 184477374 937545728 10322 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13856] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13856/stat : 13856 (java) S 13851 13853 12270 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184477375 937545728 10322 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13857] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13857/stat : 13857 (java) S 13851 13853 12270 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 184477375 937545728 10322 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13858] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13858/stat : 13858 (java) S 13851 13853 12270 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 184477378 937545728 10322 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13859] ppid=13851 vsize=915572 CPUtime=0.29
/proc/13853/task/13859/stat : 13859 (java) S 13851 13853 12270 0 -1 64 433 0 0 0 27 2 0 0 16 0 8 0 184477378 937545728 10322 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13860] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13860/stat : 13860 (java) S 13851 13853 12270 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 184477378 937545728 10322 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13861] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13861/stat : 13861 (java) S 13851 13853 12270 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184477378 937545728 10322 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 915572
[startup+12.7616 s]
/proc/loadavg: 1.81 1.97 1.98 3/94 13861
/proc/meminfo: memFree=1560280/2055920 swapFree=4160348/4192956
[pid=13853] ppid=13851 vsize=915572 CPUtime=12.57
/proc/13853/stat : 13853 (java) R 13851 13853 12270 0 -1 0 10592 0 1 0 1248 9 0 0 25 0 8 0 184477361 937545728 10324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073944736 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13853/statm: 228893 10324 2524 14 0 215363 0
[pid=13853/tid=13855] ppid=13851 vsize=915572 CPUtime=0.05
/proc/13853/task/13855/stat : 13855 (java) S 13851 13853 12270 0 -1 64 719 0 0 0 5 0 0 0 16 0 8 0 184477374 937545728 10324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13856] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13856/stat : 13856 (java) S 13851 13853 12270 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184477375 937545728 10324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13857] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13857/stat : 13857 (java) S 13851 13853 12270 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 184477375 937545728 10324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13858] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13858/stat : 13858 (java) S 13851 13853 12270 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 184477378 937545728 10324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13859] ppid=13851 vsize=915572 CPUtime=0.29
/proc/13853/task/13859/stat : 13859 (java) S 13851 13853 12270 0 -1 64 435 0 0 0 27 2 0 0 16 0 8 0 184477378 937545728 10324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13860] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13860/stat : 13860 (java) S 13851 13853 12270 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 184477378 937545728 10324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13861] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13861/stat : 13861 (java) S 13851 13853 12270 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184477378 937545728 10324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 915572
[startup+25.6179 s]
/proc/loadavg: 1.85 1.97 1.98 3/94 13861
/proc/meminfo: memFree=1551840/2055920 swapFree=4160348/4192956
[pid=13853] ppid=13851 vsize=915572 CPUtime=25.37
/proc/13853/stat : 13853 (java) R 13851 13853 12270 0 -1 0 12791 0 1 0 2526 11 0 0 25 0 8 0 184477361 937545728 12523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073944823 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13853/statm: 228893 12523 2524 14 0 215363 0
[pid=13853/tid=13855] ppid=13851 vsize=915572 CPUtime=0.05
/proc/13853/task/13855/stat : 13855 (java) S 13851 13853 12270 0 -1 64 719 0 0 0 5 0 0 0 16 0 8 0 184477374 937545728 12523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13856] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13856/stat : 13856 (java) S 13851 13853 12270 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184477375 937545728 12523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13857] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13857/stat : 13857 (java) S 13851 13853 12270 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 184477375 937545728 12523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13858] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13858/stat : 13858 (java) S 13851 13853 12270 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 184477378 937545728 12523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13859] ppid=13851 vsize=915572 CPUtime=0.29
/proc/13853/task/13859/stat : 13859 (java) S 13851 13853 12270 0 -1 64 435 0 0 0 27 2 0 0 16 0 8 0 184477378 937545728 12523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13860] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13860/stat : 13860 (java) S 13851 13853 12270 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 184477378 937545728 12523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13861] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13861/stat : 13861 (java) S 13851 13853 12270 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184477378 937545728 12523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915572
[startup+51.2356 s]
/proc/loadavg: 1.90 1.97 1.98 3/94 13861
/proc/meminfo: memFree=1539808/2055920 swapFree=4160348/4192956
[pid=13853] ppid=13851 vsize=915572 CPUtime=50.86
/proc/13853/stat : 13853 (java) R 13851 13853 12270 0 -1 0 15779 0 1 0 5074 12 0 0 25 0 8 0 184477361 937545728 15511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073928522 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13853/statm: 228893 15511 2524 14 0 215363 0
[pid=13853/tid=13855] ppid=13851 vsize=915572 CPUtime=0.05
/proc/13853/task/13855/stat : 13855 (java) S 13851 13853 12270 0 -1 64 719 0 0 0 5 0 0 0 16 0 8 0 184477374 937545728 15511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13856] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13856/stat : 13856 (java) S 13851 13853 12270 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184477375 937545728 15511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13857] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13857/stat : 13857 (java) S 13851 13853 12270 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 184477375 937545728 15511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13858] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13858/stat : 13858 (java) S 13851 13853 12270 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 184477378 937545728 15511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13859] ppid=13851 vsize=915572 CPUtime=0.29
/proc/13853/task/13859/stat : 13859 (java) S 13851 13853 12270 0 -1 64 435 0 0 0 27 2 0 0 16 0 8 0 184477378 937545728 15511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13860] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13860/stat : 13860 (java) S 13851 13853 12270 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 184477378 937545728 15511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13861] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13861/stat : 13861 (java) S 13851 13853 12270 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184477378 937545728 15511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.86
Current children cumulated vsize (KiB) 915572
[startup+102.47 s]
/proc/loadavg: 1.96 1.97 1.98 3/94 13861
/proc/meminfo: memFree=1512736/2055920 swapFree=4160348/4192956
[pid=13853] ppid=13851 vsize=915572 CPUtime=101.85
/proc/13853/stat : 13853 (java) R 13851 13853 12270 0 -1 0 22511 0 1 0 10170 15 0 0 25 0 8 0 184477361 937545728 22242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073923467 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13853/statm: 228893 22242 2528 14 0 215363 0
[pid=13853/tid=13855] ppid=13851 vsize=915572 CPUtime=0.1
/proc/13853/task/13855/stat : 13855 (java) S 13851 13853 12270 0 -1 64 5465 0 0 0 9 1 0 0 16 0 8 0 184477374 937545728 22242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13856] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13856/stat : 13856 (java) S 13851 13853 12270 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184477375 937545728 22242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13857] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13857/stat : 13857 (java) S 13851 13853 12270 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 184477375 937545728 22242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13858] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13858/stat : 13858 (java) S 13851 13853 12270 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 184477378 937545728 22242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13859] ppid=13851 vsize=915572 CPUtime=0.29
/proc/13853/task/13859/stat : 13859 (java) S 13851 13853 12270 0 -1 64 435 0 0 0 27 2 0 0 16 0 8 0 184477378 937545728 22242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13860] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13860/stat : 13860 (java) S 13851 13853 12270 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 184477378 937545728 22242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13861] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13861/stat : 13861 (java) S 13851 13853 12270 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184477378 937545728 22242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 915572
[startup+162.543 s]
/proc/loadavg: 1.98 1.97 1.98 3/94 13861
/proc/meminfo: memFree=1484064/2055920 swapFree=4160348/4192956
[pid=13853] ppid=13851 vsize=915572 CPUtime=161.64
/proc/13853/stat : 13853 (java) R 13851 13853 12270 0 -1 0 29681 0 1 0 16146 18 0 0 25 0 8 0 184477361 937545728 29410 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073928474 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1417.05
Current children cumulated vsize (KiB) 915572
[startup+1484.2 s]
/proc/loadavg: 2.03 1.99 1.99 3/96 14061
/proc/meminfo: memFree=1090192/2055920 swapFree=4160348/4192956
[pid=13853] ppid=13851 vsize=915572 CPUtime=1476.84
/proc/13853/stat : 13853 (java) R 13851 13853 12270 0 -1 0 127921 0 1 0 147618 66 0 0 25 0 8 0 184477361 937545728 127633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073923614 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13853/statm: 228893 127633 2528 14 0 215363 0
[pid=13853/tid=13855] ppid=13851 vsize=915572 CPUtime=1.91
/proc/13853/task/13855/stat : 13855 (java) S 13851 13853 12270 0 -1 64 110853 0 0 0 150 41 0 0 16 0 8 0 184477374 937545728 127633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13856] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13856/stat : 13856 (java) S 13851 13853 12270 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184477375 937545728 127633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13857] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13857/stat : 13857 (java) S 13851 13853 12270 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 184477375 937545728 127633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13858] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13858/stat : 13858 (java) S 13851 13853 12270 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 184477378 937545728 127633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13859] ppid=13851 vsize=915572 CPUtime=0.3
/proc/13853/task/13859/stat : 13859 (java) S 13851 13853 12270 0 -1 64 438 0 0 0 28 2 0 0 16 0 8 0 184477378 937545728 127633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13860] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13860/stat : 13860 (java) S 13851 13853 12270 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 184477378 937545728 127633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13861] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13861/stat : 13861 (java) S 13851 13853 12270 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184477378 937545728 127633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1476.84
Current children cumulated vsize (KiB) 915572
[startup+1544.28 s]
/proc/loadavg: 2.01 1.99 1.99 3/96 14061
/proc/meminfo: memFree=1068624/2055920 swapFree=4160348/4192956
[pid=13853] ppid=13851 vsize=915572 CPUtime=1536.63
/proc/13853/stat : 13853 (java) R 13851 13853 12270 0 -1 0 133288 0 1 0 153595 68 0 0 25 0 8 0 184477361 937545728 132999 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073939826 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13853/statm: 228893 132999 2528 14 0 215363 0
[pid=13853/tid=13855] ppid=13851 vsize=915572 CPUtime=2
/proc/13853/task/13855/stat : 13855 (java) S 13851 13853 12270 0 -1 64 116219 0 0 0 157 43 0 0 16 0 8 0 184477374 937545728 132999 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13856] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13856/stat : 13856 (java) S 13851 13853 12270 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184477375 937545728 132999 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13857] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13857/stat : 13857 (java) S 13851 13853 12270 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 184477375 937545728 132999 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13858] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13858/stat : 13858 (java) S 13851 13853 12270 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 184477378 937545728 132999 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13859] ppid=13851 vsize=915572 CPUtime=0.3
/proc/13853/task/13859/stat : 13859 (java) S 13851 13853 12270 0 -1 64 438 0 0 0 28 2 0 0 16 0 8 0 184477378 937545728 132999 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13860] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13860/stat : 13860 (java) S 13851 13853 12270 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 184477378 937545728 132999 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13861] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13861/stat : 13861 (java) S 13851 13853 12270 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184477378 937545728 132999 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1536.63
Current children cumulated vsize (KiB) 915572
[startup+1604.36 s]
/proc/loadavg: 2.10 2.02 2.00 3/96 14061
/proc/meminfo: memFree=1046480/2055920 swapFree=4160348/4192956
[pid=13853] ppid=13851 vsize=915572 CPUtime=1596.42
/proc/13853/stat : 13853 (java) R 13851 13853 12270 0 -1 0 138794 0 1 0 159571 71 0 0 25 0 8 0 184477361 937545728 138504 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073928486 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13853/statm: 228893 138504 2528 14 0 215363 0
[pid=13853/tid=13855] ppid=13851 vsize=915572 CPUtime=2.09
/proc/13853/task/13855/stat : 13855 (java) S 13851 13853 12270 0 -1 64 121724 0 0 0 164 45 0 0 16 0 8 0 184477374 937545728 138504 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13856] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13856/stat : 13856 (java) S 13851 13853 12270 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184477375 937545728 138504 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13857] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13857/stat : 13857 (java) S 13851 13853 12270 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 184477375 937545728 138504 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13858] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13858/stat : 13858 (java) S 13851 13853 12270 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 184477378 937545728 138504 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13859] ppid=13851 vsize=915572 CPUtime=0.3
/proc/13853/task/13859/stat : 13859 (java) S 13851 13853 12270 0 -1 64 438 0 0 0 28 2 0 0 16 0 8 0 184477378 937545728 138504 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13860] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13860/stat : 13860 (java) S 13851 13853 12270 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 184477378 937545728 138504 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13861] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13861/stat : 13861 (java) S 13851 13853 12270 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184477378 937545728 138504 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1596.42
Current children cumulated vsize (KiB) 915572
[startup+1664.44 s]
/proc/loadavg: 2.04 2.01 2.00 3/96 14061
/proc/meminfo: memFree=1046416/2055920 swapFree=4160348/4192956
[pid=13853] ppid=13851 vsize=915572 CPUtime=1656.21
/proc/13853/stat : 13853 (java) R 13851 13853 12270 0 -1 0 138794 0 1 0 165550 71 0 0 25 0 8 0 184477361 937545728 138504 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073946014 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13853/statm: 228893 138504 2528 14 0 215363 0
[pid=13853/tid=13855] ppid=13851 vsize=915572 CPUtime=2.09
/proc/13853/task/13855/stat : 13855 (java) S 13851 13853 12270 0 -1 64 121724 0 0 0 164 45 0 0 16 0 8 0 184477374 937545728 138504 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13856] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13856/stat : 13856 (java) S 13851 13853 12270 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184477375 937545728 138504 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13857] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13857/stat : 13857 (java) S 13851 13853 12270 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 184477375 937545728 138504 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13858] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13858/stat : 13858 (java) S 13851 13853 12270 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 184477378 937545728 138504 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13859] ppid=13851 vsize=915572 CPUtime=0.3
/proc/13853/task/13859/stat : 13859 (java) S 13851 13853 12270 0 -1 64 438 0 0 0 28 2 0 0 16 0 8 0 184477378 937545728 138504 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13860] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13860/stat : 13860 (java) S 13851 13853 12270 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 184477378 937545728 138504 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13861] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13861/stat : 13861 (java) S 13851 13853 12270 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184477378 937545728 138504 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1656.21
Current children cumulated vsize (KiB) 915572
[startup+1724.52 s]
/proc/loadavg: 2.01 2.00 2.00 3/96 14061
/proc/meminfo: memFree=1024656/2055920 swapFree=4160348/4192956
[pid=13853] ppid=13851 vsize=915572 CPUtime=1716.02
/proc/13853/stat : 13853 (java) R 13851 13853 12270 0 -1 0 144223 0 1 0 171528 74 0 0 25 0 8 0 184477361 937545728 143932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073940982 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13853/statm: 228893 143932 2528 14 0 215363 0
[pid=13853/tid=13855] ppid=13851 vsize=915572 CPUtime=2.19
/proc/13853/task/13855/stat : 13855 (java) S 13851 13853 12270 0 -1 64 127152 0 0 0 172 47 0 0 16 0 8 0 184477374 937545728 143932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13856] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13856/stat : 13856 (java) S 13851 13853 12270 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184477375 937545728 143932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13857] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13857/stat : 13857 (java) S 13851 13853 12270 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 184477375 937545728 143932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13858] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13858/stat : 13858 (java) S 13851 13853 12270 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 184477378 937545728 143932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13859] ppid=13851 vsize=915572 CPUtime=0.3
/proc/13853/task/13859/stat : 13859 (java) S 13851 13853 12270 0 -1 64 438 0 0 0 28 2 0 0 16 0 8 0 184477378 937545728 143932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13860] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13860/stat : 13860 (java) S 13851 13853 12270 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 184477378 937545728 143932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13861] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13861/stat : 13861 (java) R 13851 13853 12270 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184477378 937545728 143932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1716.02
Current children cumulated vsize (KiB) 915572
[startup+1784.61 s]
/proc/loadavg: 2.00 2.00 2.00 3/96 14061
/proc/meminfo: memFree=1003600/2055920 swapFree=4160348/4192956
[pid=13853] ppid=13851 vsize=915572 CPUtime=1775.81
/proc/13853/stat : 13853 (java) R 13851 13853 12270 0 -1 0 149478 0 1 0 177505 76 0 0 25 0 8 0 184477361 937545728 149186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073928502 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13853/statm: 228893 149186 2528 14 0 215363 0
[pid=13853/tid=13855] ppid=13851 vsize=915572 CPUtime=2.27
/proc/13853/task/13855/stat : 13855 (java) S 13851 13853 12270 0 -1 64 132406 0 0 0 179 48 0 0 16 0 8 0 184477374 937545728 149186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13856] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13856/stat : 13856 (java) S 13851 13853 12270 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184477375 937545728 149186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13857] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13857/stat : 13857 (java) S 13851 13853 12270 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 184477375 937545728 149186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13858] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13858/stat : 13858 (java) S 13851 13853 12270 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 184477378 937545728 149186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13859] ppid=13851 vsize=915572 CPUtime=0.3
/proc/13853/task/13859/stat : 13859 (java) S 13851 13853 12270 0 -1 64 438 0 0 0 28 2 0 0 16 0 8 0 184477378 937545728 149186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13860] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13860/stat : 13860 (java) S 13851 13853 12270 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 184477378 937545728 149186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13861] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13861/stat : 13861 (java) S 13851 13853 12270 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184477378 937545728 149186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1775.81
Current children cumulated vsize (KiB) 915572
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.98 s]
/proc/loadavg: 2.00 2.00 2.00 2/88 14076
/proc/meminfo: memFree=1012944/2055920 swapFree=4160348/4192956
[pid=13853] ppid=13851 vsize=915572 CPUtime=1800.08
/proc/13853/stat : 13853 (java) R 13851 13853 12270 0 -1 0 149478 0 1 0 179931 77 0 0 25 0 8 0 184477361 937545728 149186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073948780 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13853/statm: 228893 149186 2528 14 0 215363 0
[pid=13853/tid=13855] ppid=13851 vsize=915572 CPUtime=2.27
/proc/13853/task/13855/stat : 13855 (java) S 13851 13853 12270 0 -1 64 132406 0 0 0 179 48 0 0 16 0 8 0 184477374 937545728 149186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13856] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13856/stat : 13856 (java) S 13851 13853 12270 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184477375 937545728 149186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13857] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13857/stat : 13857 (java) S 13851 13853 12270 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 184477375 937545728 149186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13858] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13858/stat : 13858 (java) S 13851 13853 12270 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 184477378 937545728 149186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13859] ppid=13851 vsize=915572 CPUtime=0.3
/proc/13853/task/13859/stat : 13859 (java) S 13851 13853 12270 0 -1 64 438 0 0 0 28 2 0 0 16 0 8 0 184477378 937545728 149186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13860] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13860/stat : 13860 (java) S 13851 13853 12270 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 184477378 937545728 149186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13853/tid=13861] ppid=13851 vsize=915572 CPUtime=0
/proc/13853/task/13861/stat : 13861 (java) S 13851 13853 12270 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184477378 937545728 149186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 915572
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1809.1
CPU time (s): 1800.2
CPU user time (s): 1799.33
CPU system time (s): 0.872867
CPU usage (%): 99.5084
Max. virtual memory (cumulated for all children) (KiB): 915572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.33
system time used= 0.872867
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 149495
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= 38092
involuntary context switches= 57387
runsolver used 2.44463 s user time and 5.56815 s system time
The end
Begin job on node12 on Tue Jan 9 16:40:23 UTC 2007
IDJOB= 238851
IDBENCH= 7024
FILE ID= node12/238851-1168360823
PBS_JOBID= 3503727
Free space on /tmp= 66561 MiB
BENCH NAME= HOME/pub/bench/CPAI06/blackHole/BH-4-13/BlackHole-4-13-e-3_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/238851-1168360823/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-238851-1168360823 -o ROOT/results/node12/solver-238851-1168360823 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/238851-1168360823/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d9fc6498eb8cc87a372efbb16281ba77
RANDOM SEED= 427457157
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.265
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.265
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: 1592296 kB
Buffers: 82952 kB
Cached: 277868 kB
SwapCached: 4816 kB
Active: 195696 kB
Inactive: 207144 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1592296 kB
SwapTotal: 4192956 kB
SwapFree: 4160348 kB
Dirty: 3776 kB
Writeback: 0 kB
Mapped: 52756 kB
Slab: 45884 kB
Committed_AS: 5492608 kB
PageTables: 2068 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= 66562 MiB
End job on node12 on Tue Jan 9 17:10:32 UTC 2007