0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.38
0.38 instance
0.38 name=/tmp/evaluation/203576-1168161717/unknown.xml
0.41
0.41 domains being loaded...
0.41
0.41 variables being loaded...
0.45 nbVariables=59 nbDomainTypes=1 minDomainSize=26 maxDomainSize=26
0.45 => wckTime=0.133 cpuTime=0.09 mem=6M951
0.45
0.45 relations being loaded...
0.64
0.64 constraints being loaded...
0.81 nbConstraints=556 nbRelationTypes=556 nbExtensionStructures=556 nbSharedExtensionStructures=0
0.81 nbConflictsStructures=556 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=918 maxDegree=29
0.81 maxArity=2
0.81 => wckTime=0.49 cpuTime=0.36 mem=22M554
0.85
0.85 solver IterativeSystematicSolver being built...
1.01 => wckTime=0.696 cpuTime=0.49 mem=16M47
1.09
1.09 preprocessing
1.09 nbConstraintChecks=183613 nbPropagations=1722 nbRevisions=15867 nbUselessRevisions=13635 nbSingletonTests=78
1.09 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
1.09 => wckTime=0.07 cpuTime=0.05 mem=16M47
1.11
1.11 search
1.11 run=0 nbConstraintChecks=58736 nbPropagations=2351 nbRevisions=23474 nbUselessRevisions=19966 nbAssignments=31
1.11 nbFailedAssignments=8 nbBacktracks=10 nbVisitedNodes=44 nbRestartNogoods=0 mapSize=7 nbInferences=0
1.11 nbTooLargeKeys=0
1.11 => wckTime=0.095 cpuTime=0.07 mem=16M47
1.13
1.13 search
1.13 run=1 nbConstraintChecks=128748 nbPropagations=5464 nbRevisions=56977 nbUselessRevisions=48189
1.13 nbAssignments=67 nbFailedAssignments=15 nbBacktracks=29 nbVisitedNodes=97 nbRestartNogoods=2 mapSize=20
1.13 nbInferences=0 nbTooLargeKeys=0
1.13 => wckTime=0.118 cpuTime=0.08 mem=16M47
1.15
1.15 search
1.15 run=2 nbConstraintChecks=237611 nbPropagations=9703 nbRevisions=106902 nbUselessRevisions=89864
1.15 nbAssignments=119 nbFailedAssignments=32 nbBacktracks=52 nbVisitedNodes=178 nbRestartNogoods=4 mapSize=39
1.15 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.136 cpuTime=0.1 mem=16M47
1.18
1.18 search
1.18 run=3 nbConstraintChecks=400299 nbPropagations=15737 nbRevisions=178914 nbUselessRevisions=150041
1.18 nbAssignments=207 nbFailedAssignments=51 nbBacktracks=88 nbVisitedNodes=283 nbRestartNogoods=7 mapSize=65
1.18 nbInferences=0 nbTooLargeKeys=0
1.18 => wckTime=0.165 cpuTime=0.13 mem=16M47
1.21
1.21 search
1.21 run=4 nbConstraintChecks=541366 nbPropagations=23378 nbRevisions=273412 nbUselessRevisions=228503
1.21 nbAssignments=293 nbFailedAssignments=71 nbBacktracks=140 nbVisitedNodes=410 nbRestartNogoods=11 mapSize=97
1.21 nbInferences=0 nbTooLargeKeys=0
1.21 => wckTime=0.191 cpuTime=0.15 mem=16M47
1.25
1.25 search
1.25 run=5 nbConstraintChecks=817469 nbPropagations=33946 nbRevisions=414611 nbUselessRevisions=345783
1.25 nbAssignments=427 nbFailedAssignments=116 nbBacktracks=215 nbVisitedNodes=633 nbRestartNogoods=15 mapSize=161
1.25 nbInferences=0 nbTooLargeKeys=0
1.25 => wckTime=0.239 cpuTime=0.2 mem=16M47
1.32
1.32 search
1.32 run=6 nbConstraintChecks=1260505 nbPropagations=49186 nbRevisions=629228 nbUselessRevisions=523382
1.32 nbAssignments=639 nbFailedAssignments=202 nbBacktracks=330 nbVisitedNodes=994 nbRestartNogoods=17 mapSize=261
1.32 nbInferences=0 nbTooLargeKeys=0
1.32 => wckTime=0.309 cpuTime=0.27 mem=16M47
1.41
1.41 search
1.41 run=7 nbConstraintChecks=1793554 nbPropagations=70097 nbRevisions=926916 nbUselessRevisions=769585
1.41 nbAssignments=918 nbFailedAssignments=276 nbBacktracks=501 nbVisitedNodes=1400 nbRestartNogoods=23 mapSize=383
1.41 nbInferences=0 nbTooLargeKeys=0
1.41 => wckTime=0.392 cpuTime=0.35 mem=16M47
1.55
1.55 search
1.55 run=8 nbConstraintChecks=2690132 nbPropagations=100539 nbRevisions=1376869 nbUselessRevisions=1140934
1.55 nbAssignments=1371 nbFailedAssignments=458 nbBacktracks=761 nbVisitedNodes=2169 nbRestartNogoods=26
1.55 mapSize=606 nbInferences=0 nbTooLargeKeys=0
1.55 => wckTime=0.536 cpuTime=0.49 mem=16M47
1.76
1.77 search
1.77 run=9 nbConstraintChecks=3901364 nbPropagations=144588 nbRevisions=2039836 nbUselessRevisions=1686762
1.77 nbAssignments=2043 nbFailedAssignments=730 nbBacktracks=1146 nbVisitedNodes=3312 nbRestartNogoods=30
1.77 mapSize=923 nbInferences=0 nbTooLargeKeys=0
1.77 => wckTime=0.749 cpuTime=0.68 mem=17M22
1.84
1.84 INFO : Stopping hyperNogood (mapSize=1001, nbTooLargekeys=0, mem=17M22)
2.09
2.09 search
2.09 run=10 nbConstraintChecks=5966273 nbPropagations=210237 nbRevisions=3040665 nbUselessRevisions=2509481
2.09 nbAssignments=3054 nbFailedAssignments=1101 nbBacktracks=1722 nbVisitedNodes=4941 nbRestartNogoods=42
2.09 => wckTime=1.07 cpuTime=0.99 mem=17M22
2.50
2.50 search
2.50 run=11 nbConstraintChecks=8892471 nbPropagations=306305 nbRevisions=4538738 nbUselessRevisions=3743265
2.50 nbAssignments=4487 nbFailedAssignments=1655 nbBacktracks=2587 nbVisitedNodes=7400 nbRestartNogoods=52
2.50 => wckTime=1.489 cpuTime=1.41 mem=17M22
3.03
3.03 search
3.03 run=12 nbConstraintChecks=12638602 nbPropagations=444475 nbRevisions=6691942 nbUselessRevisions=5514329
3.03 nbAssignments=6547 nbFailedAssignments=2404 nbBacktracks=3885 nbVisitedNodes=10859 nbRestartNogoods=60
3.03 => wckTime=2.016 cpuTime=1.93 mem=17M22
3.98
3.98 search
3.98 run=13 nbConstraintChecks=19368617 nbPropagations=655206 nbRevisions=10058870 nbUselessRevisions=8293227
3.98 nbAssignments=9904 nbFailedAssignments=3799 nbBacktracks=5834 nbVisitedNodes=16695 nbRestartNogoods=65
3.98 => wckTime=2.961 cpuTime=2.88 mem=17M22
5.04
5.04 search
5.04 run=14 nbConstraintChecks=26523362 nbPropagations=953316 nbRevisions=14778266 nbUselessRevisions=12188985
5.04 nbAssignments=14455 nbFailedAssignments=5417 nbBacktracks=8753 nbVisitedNodes=24243 nbRestartNogoods=76
5.04 => wckTime=4.027 cpuTime=3.94 mem=17M22
6.72
6.72 search
6.72 run=15 nbConstraintChecks=37792200 nbPropagations=1390723 nbRevisions=21620008 nbUselessRevisions=17831290
6.72 nbAssignments=21428 nbFailedAssignments=7997 nbBacktracks=13131 nbVisitedNodes=35940 nbRestartNogoods=84
6.72 => wckTime=5.709 cpuTime=5.62 mem=17M22
9.63
9.63 search
9.63 run=16 nbConstraintChecks=58508393 nbPropagations=2055843 nbRevisions=32143401 nbUselessRevisions=26506108
9.63 nbAssignments=32281 nbFailedAssignments=12270 nbBacktracks=19700 nbVisitedNodes=54535 nbRestartNogoods=94
9.63 => wckTime=8.616 cpuTime=8.53 mem=17M22
13.35
13.35 search
13.35 run=17 nbConstraintChecks=83671603 nbPropagations=3022496 nbRevisions=47447940 nbUselessRevisions=39143040
13.35 nbAssignments=47554 nbFailedAssignments=17678 nbBacktracks=29552 nbVisitedNodes=80077 nbRestartNogoods=107
13.35 => wckTime=12.336 cpuTime=12.25 mem=17M22
20.29
20.29 search
20.29 run=18 nbConstraintChecks=134211225 nbPropagations=4524726 nbRevisions=71670945 nbUselessRevisions=59164299
20.29 nbAssignments=72367 nbFailedAssignments=27700 nbBacktracks=44332 nbVisitedNodes=123177 nbRestartNogoods=121
20.29 => wckTime=19.272 cpuTime=19.18 mem=17M22
28.87
28.87 search
28.87 run=19 nbConstraintChecks=195148655 nbPropagations=6707733 nbRevisions=106613089 nbUselessRevisions=88005031
28.87 nbAssignments=105922 nbFailedAssignments=39072 nbBacktracks=66501 nbVisitedNodes=178882 nbRestartNogoods=130
28.87 => wckTime=27.854 cpuTime=27.76 mem=17M22
43.54
43.54 search
43.54 run=20 nbConstraintChecks=301622851 nbPropagations=10044789 nbRevisions=160007080 nbUselessRevisions=132067781
43.54 nbAssignments=159401 nbFailedAssignments=59287 nbBacktracks=99754 nbVisitedNodes=270165 nbRestartNogoods=142
43.54 => wckTime=42.522 cpuTime=42.43 mem=17M22
64.43
64.43 search
64.43 run=21 nbConstraintChecks=448346827 nbPropagations=15025321 nbRevisions=240110704 nbUselessRevisions=198207105
64.43 nbAssignments=239956 nbFailedAssignments=89951 nbBacktracks=149634 nbVisitedNodes=407137 nbRestartNogoods=149
64.43 => wckTime=63.414 cpuTime=63.31 mem=17M22
95.82
95.82 search
95.82 run=22 nbConstraintChecks=671057185 nbPropagations=22501889 nbRevisions=360235548 nbUselessRevisions=297401038
95.82 nbAssignments=358264 nbFailedAssignments=133429 nbBacktracks=224453 nbVisitedNodes=608580 nbRestartNogoods=159
95.82 => wckTime=94.802 cpuTime=94.68 mem=17M22
147.93
147.93 search
147.93 run=23 nbConstraintChecks=1054606824 nbPropagations=33970604 nbRevisions=545429821 nbUselessRevisions=450156817
147.93 nbAssignments=542512 nbFailedAssignments=205435 nbBacktracks=336681 nbVisitedNodes=924934 nbRestartNogoods=175
147.93 => wckTime=146.911 cpuTime=146.77 mem=17M22
213.96
213.96 search
213.96 run=24 nbConstraintChecks=1517178498 nbPropagations=50751989 nbRevisions=814999046 nbUselessRevisions=672710507
213.96 nbAssignments=806534 nbFailedAssignments=301100 nbBacktracks=505024 nbVisitedNodes=1368807 nbRestartNogoods=190
213.96 => wckTime=212.949 cpuTime=212.78 mem=17M22
326.47
326.47 search
326.47 run=25 nbConstraintChecks=2324300325 nbPropagations=76289690 nbRevisions=1227327374
326.47 nbUselessRevisions=1013255989 nbAssignments=1214944 nbFailedAssignments=456985 nbBacktracks=757537
326.47 nbVisitedNodes=2067329 nbRestartNogoods=206
326.47 => wckTime=325.459 cpuTime=325.24 mem=17M22
483.55
483.55 search
483.55 run=26 nbConstraintChecks=3458538930 nbPropagations=114018383 nbRevisions=1837628890
483.55 nbUselessRevisions=1517440859 nbAssignments=1799618 nbFailedAssignments=662879 nbBacktracks=1136305
483.55 nbVisitedNodes=3046806 nbRestartNogoods=217
483.55 => wckTime=482.534 cpuTime=482.26 mem=17M22
740.77
740.77 search
740.77 run=27 nbConstraintChecks=5320695084 nbPropagations=171716229 nbRevisions=2773191729
740.77 nbUselessRevisions=2289898102 nbAssignments=2731363 nbFailedAssignments=1026461 nbBacktracks=1704457
740.77 nbVisitedNodes=4646112 nbRestartNogoods=225
740.77 => wckTime=739.752 cpuTime=739.38 mem=17M22
1084.99
1084.99 search
1084.99 run=28 nbConstraintChecks=7789212980 nbPropagations=256653528 nbRevisions=4142463732
1084.99 nbUselessRevisions=3419896753 nbAssignments=4049824 nbFailedAssignments=1492684 nbBacktracks=2556685
1084.99 nbVisitedNodes=6858693 nbRestartNogoods=242
1084.99 => wckTime=1083.97 cpuTime=1083.46 mem=17M22
1655.72
1655.72 search
1655.72 run=29 nbConstraintChecks=11885754348 nbPropagations=385888408 nbRevisions=6231385537
1655.72 nbUselessRevisions=5144066444 nbAssignments=6124610 nbFailedAssignments=2289117 nbBacktracks=3835026
1655.72 nbVisitedNodes=10407195 nbRestartNogoods=251
1655.72 => wckTime=1654.709 cpuTime=1653.98 mem=17M22
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node23/watcher-203576-1168161717 -o ROOT/results/node23/solver-203576-1168161717 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203576-1168161717/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.00 1.01 1.25 2/78 14794
/proc/meminfo: memFree=1780800/2055920 swapFree=4191880/4192956
[pid=14793] ppid=14791 vsize=172 CPUtime=0
/proc/14793/stat : 14793 (java) R 14791 14793 13388 0 -1 0 217 0 0 0 0 0 0 0 19 0 1 0 164566094 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 2494763 0 0 4096 0 0 0 0 17 0 0 0
/proc/14793/statm: 43 24 18 14 0 3 0
[startup+0.103408 s]
/proc/loadavg: 1.00 1.01 1.25 2/78 14794
/proc/meminfo: memFree=1780800/2055920 swapFree=4191880/4192956
[pid=14793] ppid=14791 vsize=914988 CPUtime=0.08
/proc/14793/stat : 14793 (java) R 14791 14793 13388 0 -1 0 3050 0 1 0 7 1 0 0 23 0 8 0 164566094 936947712 2796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14793/statm: 228747 2796 1447 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511492 s]
/proc/loadavg: 1.00 1.01 1.25 2/78 14794
/proc/meminfo: memFree=1780800/2055920 swapFree=4191880/4192956
[pid=14793] ppid=14791 vsize=915328 CPUtime=0.45
/proc/14793/stat : 14793 (java) R 14791 14793 13388 0 -1 0 6617 0 9 0 40 5 0 0 16 0 8 0 164566094 937295872 6364 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073564256 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14793/statm: 228832 6364 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 915328
[startup+1.33364 s]
/proc/loadavg: 1.00 1.01 1.25 2/85 14801
/proc/meminfo: memFree=1745672/2055920 swapFree=4191880/4192956
[pid=14793] ppid=14791 vsize=915560 CPUtime=1.26
/proc/14793/stat : 14793 (java) R 14791 14793 13388 0 -1 0 10913 0 9 0 117 9 0 0 17 0 8 0 164566094 937533440 10659 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073865529 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14793/statm: 228890 10659 2524 14 0 215360 0
[pid=14793/tid=14795] ppid=14791 vsize=915560 CPUtime=0.03
/proc/14793/task/14795/stat : 14795 (java) S 14791 14793 13388 0 -1 64 531 0 0 0 3 0 0 0 16 0 8 0 164566098 937533440 10659 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14796] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14796/stat : 14796 (java) S 14791 14793 13388 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164566098 937533440 10659 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14797] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14797/stat : 14797 (java) S 14791 14793 13388 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164566099 937533440 10659 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14798] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14798/stat : 14798 (java) S 14791 14793 13388 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 164566102 937533440 10659 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14799] ppid=14791 vsize=915560 CPUtime=0.21
/proc/14793/task/14799/stat : 14799 (java) S 14791 14793 13388 0 -1 64 391 0 0 0 20 1 0 0 15 0 8 0 164566102 937533440 10659 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14800] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14800/stat : 14800 (java) S 14791 14793 13388 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 164566102 937533440 10659 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14801] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14801/stat : 14801 (java) S 14791 14793 13388 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164566102 937533440 10659 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 915560
[startup+2.98096 s]
/proc/loadavg: 1.00 1.01 1.25 2/85 14801
/proc/meminfo: memFree=1745544/2055920 swapFree=4191880/4192956
[pid=14793] ppid=14791 vsize=915560 CPUtime=2.9
/proc/14793/stat : 14793 (java) R 14791 14793 13388 0 -1 0 10930 0 9 0 281 9 0 0 18 0 8 0 164566094 937533440 10674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073865403 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14793/statm: 228890 10674 2524 14 0 215360 0
[pid=14793/tid=14795] ppid=14791 vsize=915560 CPUtime=0.03
/proc/14793/task/14795/stat : 14795 (java) S 14791 14793 13388 0 -1 64 531 0 0 0 3 0 0 0 17 0 8 0 164566098 937533440 10674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14796] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14796/stat : 14796 (java) S 14791 14793 13388 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164566098 937533440 10674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14797] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14797/stat : 14797 (java) S 14791 14793 13388 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164566099 937533440 10674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14798] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14798/stat : 14798 (java) S 14791 14793 13388 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 164566102 937533440 10674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14799] ppid=14791 vsize=915560 CPUtime=0.24
/proc/14793/task/14799/stat : 14799 (java) S 14791 14793 13388 0 -1 64 407 0 0 0 23 1 0 0 16 0 8 0 164566102 937533440 10674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14800] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14800/stat : 14800 (java) S 14791 14793 13388 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 164566102 937533440 10674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14801] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14801/stat : 14801 (java) S 14791 14793 13388 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164566102 937533440 10674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 915560
[startup+6.2646 s]
/proc/loadavg: 1.00 1.01 1.25 2/85 14801
/proc/meminfo: memFree=1745416/2055920 swapFree=4191880/4192956
[pid=14793] ppid=14791 vsize=915560 CPUtime=6.18
/proc/14793/stat : 14793 (java) R 14791 14793 13388 0 -1 0 10931 0 9 0 609 9 0 0 25 0 8 0 164566094 937533440 10674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073862550 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14793/statm: 228890 10674 2524 14 0 215360 0
[pid=14793/tid=14795] ppid=14791 vsize=915560 CPUtime=0.03
/proc/14793/task/14795/stat : 14795 (java) S 14791 14793 13388 0 -1 64 531 0 0 0 3 0 0 0 16 0 8 0 164566098 937533440 10674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14796] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14796/stat : 14796 (java) S 14791 14793 13388 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164566098 937533440 10674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14797] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14797/stat : 14797 (java) S 14791 14793 13388 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164566099 937533440 10674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14798] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14798/stat : 14798 (java) S 14791 14793 13388 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 164566102 937533440 10674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14799] ppid=14791 vsize=915560 CPUtime=0.24
/proc/14793/task/14799/stat : 14799 (java) S 14791 14793 13388 0 -1 64 407 0 0 0 23 1 0 0 16 0 8 0 164566102 937533440 10674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14800] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14800/stat : 14800 (java) S 14791 14793 13388 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 164566102 937533440 10674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14801] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14801/stat : 14801 (java) S 14791 14793 13388 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164566102 937533440 10674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915560
[startup+12.7478 s]
/proc/loadavg: 1.00 1.01 1.24 2/85 14801
/proc/meminfo: memFree=1745424/2055920 swapFree=4191880/4192956
[pid=14793] ppid=14791 vsize=915560 CPUtime=12.66
/proc/14793/stat : 14793 (java) R 14791 14793 13388 0 -1 0 10931 0 9 0 1257 9 0 0 25 0 8 0 164566094 937533440 10674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073882164 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14793/statm: 228890 10674 2524 14 0 215360 0
[pid=14793/tid=14795] ppid=14791 vsize=915560 CPUtime=0.03
/proc/14793/task/14795/stat : 14795 (java) S 14791 14793 13388 0 -1 64 531 0 0 0 3 0 0 0 16 0 8 0 164566098 937533440 10674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14796] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14796/stat : 14796 (java) S 14791 14793 13388 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164566098 937533440 10674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14797] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14797/stat : 14797 (java) S 14791 14793 13388 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164566099 937533440 10674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14798] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14798/stat : 14798 (java) S 14791 14793 13388 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 164566102 937533440 10674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14799] ppid=14791 vsize=915560 CPUtime=0.24
/proc/14793/task/14799/stat : 14799 (java) S 14791 14793 13388 0 -1 64 407 0 0 0 23 1 0 0 16 0 8 0 164566102 937533440 10674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14800] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14800/stat : 14800 (java) S 14791 14793 13388 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 164566102 937533440 10674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14801] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14801/stat : 14801 (java) S 14791 14793 13388 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164566102 937533440 10674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915560
[startup+25.5833 s]
/proc/loadavg: 1.00 1.01 1.24 2/85 14801
/proc/meminfo: memFree=1745552/2055920 swapFree=4191880/4192956
[pid=14793] ppid=14791 vsize=915560 CPUtime=25.49
/proc/14793/stat : 14793 (java) R 14791 14793 13388 0 -1 0 10932 0 9 0 2540 9 0 0 25 0 8 0 164566094 937533440 10675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073861507 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14793/statm: 228890 10675 2524 14 0 215360 0
[pid=14793/tid=14795] ppid=14791 vsize=915560 CPUtime=0.03
/proc/14793/task/14795/stat : 14795 (java) S 14791 14793 13388 0 -1 64 531 0 0 0 3 0 0 0 16 0 8 0 164566098 937533440 10675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14796] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14796/stat : 14796 (java) S 14791 14793 13388 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164566098 937533440 10675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14797] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14797/stat : 14797 (java) S 14791 14793 13388 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164566099 937533440 10675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14798] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14798/stat : 14798 (java) S 14791 14793 13388 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 164566102 937533440 10675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14799] ppid=14791 vsize=915560 CPUtime=0.24
/proc/14793/task/14799/stat : 14799 (java) S 14791 14793 13388 0 -1 64 408 0 0 0 23 1 0 0 16 0 8 0 164566102 937533440 10675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14800] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14800/stat : 14800 (java) S 14791 14793 13388 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 164566102 937533440 10675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14801] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14801/stat : 14801 (java) S 14791 14793 13388 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164566102 937533440 10675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 915560
[startup+51.2793 s]
/proc/loadavg: 1.00 1.01 1.23 2/85 14801
/proc/meminfo: memFree=1745616/2055920 swapFree=4191880/4192956
[pid=14793] ppid=14791 vsize=915560 CPUtime=51.18
/proc/14793/stat : 14793 (java) R 14791 14793 13388 0 -1 0 10932 0 9 0 5108 10 0 0 25 0 8 0 164566094 937533440 10675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918504 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14793/statm: 228890 10675 2524 14 0 215360 0
[pid=14793/tid=14795] ppid=14791 vsize=915560 CPUtime=0.03
/proc/14793/task/14795/stat : 14795 (java) S 14791 14793 13388 0 -1 64 531 0 0 0 3 0 0 0 16 0 8 0 164566098 937533440 10675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14796] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14796/stat : 14796 (java) S 14791 14793 13388 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164566098 937533440 10675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14797] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14797/stat : 14797 (java) S 14791 14793 13388 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164566099 937533440 10675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14798] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14798/stat : 14798 (java) S 14791 14793 13388 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 164566102 937533440 10675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14799] ppid=14791 vsize=915560 CPUtime=0.24
/proc/14793/task/14799/stat : 14799 (java) S 14791 14793 13388 0 -1 64 408 0 0 0 23 1 0 0 16 0 8 0 164566102 937533440 10675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14800] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14800/stat : 14800 (java) S 14791 14793 13388 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 164566102 937533440 10675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14801] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14801/stat : 14801 (java) S 14791 14793 13388 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164566102 937533440 10675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.18
Current children cumulated vsize (KiB) 915560
[startup+102.564 s]
/proc/loadavg: 1.14 1.04 1.23 2/85 14801
/proc/meminfo: memFree=1745552/2055920 swapFree=4191880/4192956
[pid=14793] ppid=14791 vsize=915560 CPUtime=102.45
/proc/14793/stat : 14793 (java) R 14791 14793 13388 0 -1 0 10934 0 9 0 10235 10 0 0 25 0 8 0 164566094 937533440 10676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073865526 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14793/statm: 228890 10676 2524 14 0 215360 0
[pid=14793/tid=14795] ppid=14791 vsize=915560 CPUtime=0.03
/proc/14793/task/14795/stat : 14795 (java) S 14791 14793 13388 0 -1 64 531 0 0 0 3 0 0 0 16 0 8 0 164566098 937533440 10676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14796] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14796/stat : 14796 (java) S 14791 14793 13388 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164566098 937533440 10676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14797] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14797/stat : 14797 (java) S 14791 14793 13388 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164566099 937533440 10676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14798] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14798/stat : 14798 (java) S 14791 14793 13388 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 164566102 937533440 10676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14799] ppid=14791 vsize=915560 CPUtime=0.24
/proc/14793/task/14799/stat : 14799 (java) S 14791 14793 13388 0 -1 64 409 0 0 0 23 1 0 0 16 0 8 0 164566102 937533440 10676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14800] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14800/stat : 14800 (java) S 14791 14793 13388 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 164566102 937533440 10676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14801] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14801/stat : 14801 (java) S 14791 14793 13388 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164566102 937533440 10676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.45
Current children cumulated vsize (KiB) 915560
[startup+162.585 s]
/proc/loadavg: 1.08 1.04 1.22 2/85 14801
/proc/meminfo: memFree=1745424/2055920 swapFree=4191880/4192956
[pid=14793] ppid=14791 vsize=915560 CPUtime=162.44
/proc/14793/stat : 14793 (java) R 14791 14793 13388 0 -1 0 10934 0 9 0 16234 10 0 0 25 0 8 0 164566094 937533440 10676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073861505 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1422.41
Current children cumulated vsize (KiB) 915560
[startup+1483.07 s]
/proc/loadavg: 1.00 1.00 1.03 2/85 14801
/proc/meminfo: memFree=1743952/2055920 swapFree=4191880/4192956
[pid=14793] ppid=14791 vsize=915560 CPUtime=1482.42
/proc/14793/stat : 14793 (java) R 14791 14793 13388 0 -1 0 10935 0 9 0 148229 13 0 0 25 0 8 0 164566094 937533440 10676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073858672 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14793/statm: 228890 10676 2524 14 0 215360 0
[pid=14793/tid=14795] ppid=14791 vsize=915560 CPUtime=0.03
/proc/14793/task/14795/stat : 14795 (java) S 14791 14793 13388 0 -1 64 531 0 0 0 3 0 0 0 16 0 8 0 164566098 937533440 10676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14796] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14796/stat : 14796 (java) S 14791 14793 13388 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164566098 937533440 10676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14797] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14797/stat : 14797 (java) S 14791 14793 13388 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164566099 937533440 10676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14798] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14798/stat : 14798 (java) S 14791 14793 13388 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 164566102 937533440 10676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14799] ppid=14791 vsize=915560 CPUtime=0.24
/proc/14793/task/14799/stat : 14799 (java) S 14791 14793 13388 0 -1 64 409 0 0 0 23 1 0 0 16 0 8 0 164566102 937533440 10676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14800] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14800/stat : 14800 (java) S 14791 14793 13388 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 164566102 937533440 10676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14801] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14801/stat : 14801 (java) S 14791 14793 13388 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164566102 937533440 10676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1482.42
Current children cumulated vsize (KiB) 915560
[startup+1543.09 s]
/proc/loadavg: 1.00 1.00 1.03 2/85 14801
/proc/meminfo: memFree=1743888/2055920 swapFree=4191880/4192956
[pid=14793] ppid=14791 vsize=915560 CPUtime=1542.41
/proc/14793/stat : 14793 (java) R 14791 14793 13388 0 -1 0 10935 0 9 0 154228 13 0 0 25 0 8 0 164566094 937533440 10676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073883312 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14793/statm: 228890 10676 2524 14 0 215360 0
[pid=14793/tid=14795] ppid=14791 vsize=915560 CPUtime=0.03
/proc/14793/task/14795/stat : 14795 (java) S 14791 14793 13388 0 -1 64 531 0 0 0 3 0 0 0 16 0 8 0 164566098 937533440 10676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14796] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14796/stat : 14796 (java) S 14791 14793 13388 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164566098 937533440 10676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14797] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14797/stat : 14797 (java) S 14791 14793 13388 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164566099 937533440 10676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14798] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14798/stat : 14798 (java) S 14791 14793 13388 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 164566102 937533440 10676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14799] ppid=14791 vsize=915560 CPUtime=0.24
/proc/14793/task/14799/stat : 14799 (java) S 14791 14793 13388 0 -1 64 409 0 0 0 23 1 0 0 16 0 8 0 164566102 937533440 10676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14800] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14800/stat : 14800 (java) S 14791 14793 13388 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 164566102 937533440 10676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14801] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14801/stat : 14801 (java) S 14791 14793 13388 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164566102 937533440 10676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1542.41
Current children cumulated vsize (KiB) 915560
[startup+1603.11 s]
/proc/loadavg: 1.00 1.00 1.02 2/85 14801
/proc/meminfo: memFree=1743760/2055920 swapFree=4191880/4192956
[pid=14793] ppid=14791 vsize=915560 CPUtime=1602.42
/proc/14793/stat : 14793 (java) R 14791 14793 13388 0 -1 0 10935 0 9 0 160229 13 0 0 25 0 8 0 164566094 937533440 10676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073862550 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14793/statm: 228890 10676 2524 14 0 215360 0
[pid=14793/tid=14795] ppid=14791 vsize=915560 CPUtime=0.03
/proc/14793/task/14795/stat : 14795 (java) S 14791 14793 13388 0 -1 64 531 0 0 0 3 0 0 0 16 0 8 0 164566098 937533440 10676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14796] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14796/stat : 14796 (java) S 14791 14793 13388 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164566098 937533440 10676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14797] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14797/stat : 14797 (java) S 14791 14793 13388 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164566099 937533440 10676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14798] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14798/stat : 14798 (java) S 14791 14793 13388 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 164566102 937533440 10676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14799] ppid=14791 vsize=915560 CPUtime=0.24
/proc/14793/task/14799/stat : 14799 (java) S 14791 14793 13388 0 -1 64 409 0 0 0 23 1 0 0 16 0 8 0 164566102 937533440 10676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14800] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14800/stat : 14800 (java) S 14791 14793 13388 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 164566102 937533440 10676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14801] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14801/stat : 14801 (java) S 14791 14793 13388 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164566102 937533440 10676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1602.42
Current children cumulated vsize (KiB) 915560
[startup+1663.13 s]
/proc/loadavg: 1.00 1.00 1.01 2/85 14801
/proc/meminfo: memFree=1743760/2055920 swapFree=4191880/4192956
[pid=14793] ppid=14791 vsize=915560 CPUtime=1662.41
/proc/14793/stat : 14793 (java) R 14791 14793 13388 0 -1 0 10935 0 9 0 166228 13 0 0 25 0 8 0 164566094 937533440 10676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073855238 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14793/statm: 228890 10676 2524 14 0 215360 0
[pid=14793/tid=14795] ppid=14791 vsize=915560 CPUtime=0.03
/proc/14793/task/14795/stat : 14795 (java) S 14791 14793 13388 0 -1 64 531 0 0 0 3 0 0 0 16 0 8 0 164566098 937533440 10676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14796] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14796/stat : 14796 (java) S 14791 14793 13388 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164566098 937533440 10676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14797] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14797/stat : 14797 (java) S 14791 14793 13388 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164566099 937533440 10676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14798] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14798/stat : 14798 (java) S 14791 14793 13388 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 164566102 937533440 10676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14799] ppid=14791 vsize=915560 CPUtime=0.24
/proc/14793/task/14799/stat : 14799 (java) S 14791 14793 13388 0 -1 64 409 0 0 0 23 1 0 0 16 0 8 0 164566102 937533440 10676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14800] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14800/stat : 14800 (java) S 14791 14793 13388 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 164566102 937533440 10676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14801] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14801/stat : 14801 (java) S 14791 14793 13388 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164566102 937533440 10676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1662.41
Current children cumulated vsize (KiB) 915560
[startup+1723.14 s]
/proc/loadavg: 1.00 1.00 1.01 2/85 14801
/proc/meminfo: memFree=1743696/2055920 swapFree=4191880/4192956
[pid=14793] ppid=14791 vsize=915560 CPUtime=1722.39
/proc/14793/stat : 14793 (java) R 14791 14793 13388 0 -1 0 10935 0 9 0 172226 13 0 0 25 0 8 0 164566094 937533440 10676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073865513 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14793/statm: 228890 10676 2524 14 0 215360 0
[pid=14793/tid=14795] ppid=14791 vsize=915560 CPUtime=0.03
/proc/14793/task/14795/stat : 14795 (java) S 14791 14793 13388 0 -1 64 531 0 0 0 3 0 0 0 16 0 8 0 164566098 937533440 10676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14796] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14796/stat : 14796 (java) S 14791 14793 13388 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164566098 937533440 10676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14797] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14797/stat : 14797 (java) S 14791 14793 13388 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164566099 937533440 10676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14798] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14798/stat : 14798 (java) S 14791 14793 13388 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 164566102 937533440 10676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14799] ppid=14791 vsize=915560 CPUtime=0.24
/proc/14793/task/14799/stat : 14799 (java) S 14791 14793 13388 0 -1 64 409 0 0 0 23 1 0 0 16 0 8 0 164566102 937533440 10676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14800] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14800/stat : 14800 (java) S 14791 14793 13388 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 164566102 937533440 10676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14801] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14801/stat : 14801 (java) S 14791 14793 13388 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164566102 937533440 10676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1722.39
Current children cumulated vsize (KiB) 915560
[startup+1783.16 s]
/proc/loadavg: 1.04 1.01 1.01 2/85 14801
/proc/meminfo: memFree=1743696/2055920 swapFree=4191880/4192956
[pid=14793] ppid=14791 vsize=915560 CPUtime=1782.39
/proc/14793/stat : 14793 (java) R 14791 14793 13388 0 -1 0 10935 0 9 0 178226 13 0 0 25 0 8 0 164566094 937533440 10676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073874332 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14793/statm: 228890 10676 2524 14 0 215360 0
[pid=14793/tid=14795] ppid=14791 vsize=915560 CPUtime=0.03
/proc/14793/task/14795/stat : 14795 (java) S 14791 14793 13388 0 -1 64 531 0 0 0 3 0 0 0 16 0 8 0 164566098 937533440 10676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14796] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14796/stat : 14796 (java) S 14791 14793 13388 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164566098 937533440 10676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14797] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14797/stat : 14797 (java) S 14791 14793 13388 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164566099 937533440 10676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14798] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14798/stat : 14798 (java) S 14791 14793 13388 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 164566102 937533440 10676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14799] ppid=14791 vsize=915560 CPUtime=0.24
/proc/14793/task/14799/stat : 14799 (java) S 14791 14793 13388 0 -1 64 409 0 0 0 23 1 0 0 16 0 8 0 164566102 937533440 10676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14800] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14800/stat : 14800 (java) S 14791 14793 13388 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 164566102 937533440 10676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14801] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14801/stat : 14801 (java) S 14791 14793 13388 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164566102 937533440 10676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1782.39
Current children cumulated vsize (KiB) 915560
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.85 s]
/proc/loadavg: 1.03 1.01 1.01 2/85 14801
/proc/meminfo: memFree=1743632/2055920 swapFree=4191880/4192956
[pid=14793] ppid=14791 vsize=915560 CPUtime=1800.07
/proc/14793/stat : 14793 (java) R 14791 14793 13388 0 -1 0 10935 0 9 0 179994 13 0 0 25 0 8 0 164566094 937533440 10676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073857056 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14793/statm: 228890 10676 2524 14 0 215360 0
[pid=14793/tid=14795] ppid=14791 vsize=915560 CPUtime=0.03
/proc/14793/task/14795/stat : 14795 (java) S 14791 14793 13388 0 -1 64 531 0 0 0 3 0 0 0 16 0 8 0 164566098 937533440 10676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14796] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14796/stat : 14796 (java) S 14791 14793 13388 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164566098 937533440 10676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14797] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14797/stat : 14797 (java) S 14791 14793 13388 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164566099 937533440 10676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14798] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14798/stat : 14798 (java) S 14791 14793 13388 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 164566102 937533440 10676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14799] ppid=14791 vsize=915560 CPUtime=0.24
/proc/14793/task/14799/stat : 14799 (java) S 14791 14793 13388 0 -1 64 409 0 0 0 23 1 0 0 16 0 8 0 164566102 937533440 10676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14800] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14800/stat : 14800 (java) S 14791 14793 13388 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 164566102 937533440 10676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14793/tid=14801] ppid=14791 vsize=915560 CPUtime=0
/proc/14793/task/14801/stat : 14801 (java) S 14791 14793 13388 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164566102 937533440 10676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 915560
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1800.88
CPU time (s): 1800.1
CPU user time (s): 1799.96
CPU system time (s): 0.144977
CPU usage (%): 99.9571
Max. virtual memory (cumulated for all children) (KiB): 915560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.96
system time used= 0.144977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10953
page faults= 9
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37382
involuntary context switches= 76620
runsolver used 1.86871 s user time and 4.51931 s system time
The end
Begin job on node23 on Sun Jan 7 09:21:57 UTC 2007
IDJOB= 203576
IDBENCH= 3970
FILE ID= node23/203576-1168161717
PBS_JOBID= 3478509
Free space on /tmp= 66553 MiB
BENCH NAME= HOME/pub/bench/CPAI06/frb/frb59-26/frb59-26-1-mgd_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203576-1168161717/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node23/watcher-203576-1168161717 -o ROOT/results/node23/solver-203576-1168161717 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203576-1168161717/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 1b4e9245956d4dd7e01759785be77f79
RANDOM SEED= 704005685
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: 1781216 kB
Buffers: 57204 kB
Cached: 107656 kB
SwapCached: 448 kB
Active: 119548 kB
Inactive: 101308 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1781216 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 2292 kB
Writeback: 0 kB
Mapped: 73580 kB
Slab: 39228 kB
Committed_AS: 3268808 kB
PageTables: 1920 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66553 MiB
End job on node23 on Sun Jan 7 09:51:58 UTC 2007