0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/238124-1168353849/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.58 nbVariables=1600 nbDomainTypes=1 minDomainSize=40 maxDomainSize=40
0.58 => wckTime=0.264 cpuTime=0.18 mem=10M788
0.58
0.58 predicates being loaded...
0.59
0.59 constraints being loaded...
4.27 nbConstraints=31239 nbConvertedConstraints=31239 nbConvertConstraintsChecks=6400 nbExtensionStructures=4
4.27 nbSharedExtensionStructures=31235 nbConflictsStructures=4 nbSharedConflictsStructures=31235
4.27 nbSharedBinaryRepresentations=239 maxDegree=40 maxArity=2
4.27 => wckTime=3.952 cpuTime=3.47 mem=53M581
4.49
4.49 solver IterativeSystematicSolver being built...
4.79 => wckTime=4.476 cpuTime=3.69 mem=46M235
6.37
6.37 preprocessing
6.37 nbConstraintChecks=1136289 nbPropagations=42564 nbRevisions=43563 nbUselessRevisions=3855 nbSingletonTests=1860
6.37 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
6.37 => wckTime=1.558 cpuTime=1.51 mem=46M235
6.71
6.71 search
6.71 run=0 nbConstraintChecks=125137 nbPropagations=46550 nbRevisions=47594 nbUselessRevisions=3957
6.71 nbAssignments=132 nbFailedAssignments=10 nbBacktracks=10 nbVisitedNodes=153 nbRestartNogoods=0 mapSize=10
6.71 nbInferences=0 nbTooLargeKeys=0
6.71 => wckTime=1.906 cpuTime=1.84 mem=48M253
6.90
6.90 search
6.90 run=1 nbConstraintChecks=249772 nbPropagations=97130 nbRevisions=99254 nbUselessRevisions=8004
6.90 nbAssignments=274 nbFailedAssignments=24 nbBacktracks=25 nbVisitedNodes=323 nbRestartNogoods=4 mapSize=25
6.90 nbInferences=0 nbTooLargeKeys=0
6.90 => wckTime=2.097 cpuTime=2.02 mem=49M245
7.10
7.10 search
7.10 run=2 nbConstraintChecks=374647 nbPropagations=151805 nbRevisions=155054 nbUselessRevisions=12146
7.10 nbAssignments=429 nbFailedAssignments=44 nbBacktracks=47 nbVisitedNodes=518 nbRestartNogoods=7 mapSize=47
7.10 nbInferences=0 nbTooLargeKeys=0
7.10 => wckTime=2.294 cpuTime=2.21 mem=50M237
7.30
7.30 search
7.30 run=3 nbConstraintChecks=499866 nbPropagations=210657 nbRevisions=215076 nbUselessRevisions=16385
7.30 nbAssignments=603 nbFailedAssignments=71 nbBacktracks=80 nbVisitedNodes=747 nbRestartNogoods=12 mapSize=80
7.30 nbInferences=1 nbTooLargeKeys=0
7.30 => wckTime=2.499 cpuTime=2.42 mem=51M230
7.53
7.53 search
7.53 run=4 nbConstraintChecks=625525 nbPropagations=273812 nbRevisions=279443 nbUselessRevisions=20721
7.53 nbAssignments=805 nbFailedAssignments=108 nbBacktracks=131 nbVisitedNodes=1026 nbRestartNogoods=16 mapSize=129
7.53 nbInferences=4 nbTooLargeKeys=0
7.53 => wckTime=2.726 cpuTime=2.64 mem=52M222
7.79
7.79 search
7.79 run=5 nbConstraintChecks=751875 nbPropagations=341507 nbRevisions=348366 nbUselessRevisions=25155
7.79 nbAssignments=1058 nbFailedAssignments=157 nbBacktracks=208 nbVisitedNodes=1394 nbRestartNogoods=21
7.79 mapSize=204 nbInferences=21 nbTooLargeKeys=0
7.79 => wckTime=2.989 cpuTime=2.9 mem=54M207
8.12
8.12 search
8.12 run=6 nbConstraintChecks=879078 nbPropagations=414057 nbRevisions=422151 nbUselessRevisions=29690
8.12 nbAssignments=1379 nbFailedAssignments=231 nbBacktracks=321 nbVisitedNodes=1885 nbRestartNogoods=23
8.12 mapSize=316 nbInferences=43 nbTooLargeKeys=0
8.12 => wckTime=3.315 cpuTime=3.21 mem=56M192
8.51
8.51 search
8.51 run=7 nbConstraintChecks=1007672 nbPropagations=491967 nbRevisions=501265 nbUselessRevisions=34328
8.51 nbAssignments=1810 nbFailedAssignments=338 nbBacktracks=491 nbVisitedNodes=2572 nbRestartNogoods=30
8.51 mapSize=486 nbInferences=85 nbTooLargeKeys=0
8.51 => wckTime=3.707 cpuTime=3.6 mem=59M169
9.02
9.02 search
9.02 run=8 nbConstraintChecks=1138407 nbPropagations=576020 nbRevisions=586414 nbUselessRevisions=39073
9.02 nbAssignments=2411 nbFailedAssignments=489 nbBacktracks=747 nbVisitedNodes=3558 nbRestartNogoods=38
9.02 mapSize=742 nbInferences=168 nbTooLargeKeys=0
9.02 => wckTime=4.218 cpuTime=4.1 mem=63M139
9.73
9.73 search
9.73 run=9 nbConstraintChecks=1272663 nbPropagations=667499 nbRevisions=678735 nbUselessRevisions=43926
9.73 nbAssignments=3281 nbFailedAssignments=707 nbBacktracks=1131 nbVisitedNodes=5020 nbRestartNogoods=45
9.73 mapSize=1126 nbInferences=324 nbTooLargeKeys=0
9.73 => wckTime=4.927 cpuTime=4.8 mem=69M93
10.78
10.78 search
10.78 run=10 nbConstraintChecks=1412132 nbPropagations=768404 nbRevisions=779943 nbUselessRevisions=48889
10.78 nbAssignments=4578 nbFailedAssignments=1017 nbBacktracks=1708 nbVisitedNodes=7238 nbRestartNogoods=50
10.78 mapSize=1703 nbInferences=625 nbTooLargeKeys=0
10.78 => wckTime=5.979 cpuTime=5.8 mem=49M95
12.33
12.33 search
12.33 run=11 nbConstraintChecks=1561718 nbPropagations=882272 nbRevisions=893127 nbUselessRevisions=54078
12.33 nbAssignments=6590 nbFailedAssignments=1434 nbBacktracks=2572 nbVisitedNodes=10704 nbRestartNogoods=53
12.33 mapSize=2567 nbInferences=1245 nbTooLargeKeys=0
12.33 => wckTime=7.53 cpuTime=7.35 mem=65M85
15.15
15.15 search
15.15 run=12 nbConstraintChecks=1983498 nbPropagations=1023534 nbRevisions=1031534 nbUselessRevisions=59835
15.15 nbAssignments=10072 nbFailedAssignments=1977 nbBacktracks=3870 nbVisitedNodes=16362 nbRestartNogoods=69
15.15 mapSize=3864 nbInferences=2557 nbTooLargeKeys=0
15.15 => wckTime=10.346 cpuTime=10.08 mem=69M330
18.73
18.73 search
18.73 run=13 nbConstraintChecks=2172674 nbPropagations=1190884 nbRevisions=1192854 nbUselessRevisions=65923
18.73 nbAssignments=14738 nbFailedAssignments=2825 nbBacktracks=5817 nbVisitedNodes=24492 nbRestartNogoods=71
18.73 mapSize=5806 nbInferences=4325 nbTooLargeKeys=0
18.73 => wckTime=13.927 cpuTime=13.63 mem=108M305
22.99
22.99 search
22.99 run=14 nbConstraintChecks=2373698 nbPropagations=1390253 nbRevisions=1383268 nbUselessRevisions=72171
22.99 nbAssignments=20863 nbFailedAssignments=4417 nbBacktracks=8737 nbVisitedNodes=35325 nbRestartNogoods=74
22.99 mapSize=8716 nbInferences=5849 nbTooLargeKeys=0
22.99 => wckTime=18.192 cpuTime=17.81 mem=126M590
29.32
29.32 search
29.32 run=15 nbConstraintChecks=3005393 nbPropagations=1665116 nbRevisions=1638939 nbUselessRevisions=80175
29.32 nbAssignments=32994 nbFailedAssignments=5998 nbBacktracks=13115 nbVisitedNodes=56574 nbRestartNogoods=82
29.32 mapSize=12991 nbInferences=11895 nbTooLargeKeys=0
29.32 => wckTime=24.521 cpuTime=24.08 mem=138M797
42.01
42.04 search
42.04 run=16 nbConstraintChecks=3681042 nbPropagations=2044688 nbRevisions=1983319 nbUselessRevisions=90024
42.04 nbAssignments=51088 nbFailedAssignments=8280 nbBacktracks=19683 nbVisitedNodes=88110 nbRestartNogoods=96
42.04 mapSize=19507 nbInferences=20882 nbTooLargeKeys=0
42.04 => wckTime=37.212 cpuTime=36.51 mem=172M198
66.93
66.93 search
66.93 run=17 nbConstraintChecks=4886332 nbPropagations=2615016 nbRevisions=2484732 nbUselessRevisions=102619
66.93 nbAssignments=82439 nbFailedAssignments=10906 nbBacktracks=29536 nbVisitedNodes=142689 nbRestartNogoods=110
66.93 mapSize=29315 nbInferences=39233 nbTooLargeKeys=0
66.93 => wckTime=62.123 cpuTime=61.01 mem=288M841
106.64
106.64 search
106.64 run=18 nbConstraintChecks=6568782 nbPropagations=3481276 nbRevisions=3225936 nbUselessRevisions=119138
106.64 nbAssignments=131448 nbFailedAssignments=14315 nbBacktracks=44314 nbVisitedNodes=228130 nbRestartNogoods=126
106.64 mapSize=44055 nbInferences=69376 nbTooLargeKeys=0
106.65 => wckTime=101.842 cpuTime=100.03 mem=414M321
151.32
151.32 INFO : Stopping hyperNogood (mapSize=60040, nbTooLargekeys=0, mem=602M307)
155.08
155.08 search
155.08 run=19 nbConstraintChecks=8329026 nbPropagations=4721131 nbRevisions=4276380 nbUselessRevisions=140421
155.08 nbAssignments=196433 nbFailedAssignments=21806 nbBacktracks=66482 nbVisitedNodes=342400 nbRestartNogoods=145
155.08 => wckTime=150.281 cpuTime=147.68 mem=602M307
175.27
175.28 search
175.28 run=20 nbConstraintChecks=9251635 nbPropagations=6220596 nbRevisions=5586874 nbUselessRevisions=162266
175.28 nbAssignments=252773 nbFailedAssignments=44609 nbBacktracks=99734 nbVisitedNodes=444202 nbRestartNogoods=163
175.28 => wckTime=170.472 cpuTime=167.69 mem=602M307
205.35
205.35 search
205.35 run=21 nbConstraintChecks=10843243 nbPropagations=8112162 nbRevisions=7292568 nbUselessRevisions=187212
205.35 nbAssignments=337114 nbFailedAssignments=78885 nbBacktracks=149612 nbVisitedNodes=597094 nbRestartNogoods=168
205.35 => wckTime=200.552 cpuTime=197.5 mem=602M307
250.03
250.03 search
250.03 run=22 nbConstraintChecks=12787117 nbPropagations=10583997 nbRevisions=9580180 nbUselessRevisions=213950
250.03 nbAssignments=463962 nbFailedAssignments=130587 nbBacktracks=224430 nbVisitedNodes=827206 nbRestartNogoods=183
250.03 => wckTime=245.224 cpuTime=241.79 mem=602M307
316.93
316.93 search
316.93 run=23 nbConstraintChecks=15656602 nbPropagations=13923795 nbRevisions=12739153 nbUselessRevisions=244224
316.93 nbAssignments=654212 nbFailedAssignments=208269 nbBacktracks=336657 nbVisitedNodes=1172666 nbRestartNogoods=198
316.93 => wckTime=312.123 cpuTime=308.09 mem=602M307
416.61
416.61 search
416.61 run=24 nbConstraintChecks=19401727 nbPropagations=18551199 nbRevisions=17187967 nbUselessRevisions=276917
416.61 nbAssignments=939365 nbFailedAssignments=324734 nbBacktracks=505000 nbVisitedNodes=1690587 nbRestartNogoods=216
416.61 => wckTime=411.808 cpuTime=406.9 mem=602M307
566.05
566.05 search
566.05 run=25 nbConstraintChecks=24924771 nbPropagations=25097622 nbRevisions=23559796 nbUselessRevisions=313752
566.05 nbAssignments=1365221 nbFailedAssignments=497730 nbBacktracks=757511 nbVisitedNodes=2462269
566.05 nbRestartNogoods=236
566.05 => wckTime=561.246 cpuTime=555.02 mem=602M307
786.30
786.30 search
786.30 run=26 nbConstraintChecks=33003700 nbPropagations=34530084 nbRevisions=32831622 nbUselessRevisions=361094
786.30 nbAssignments=2006190 nbFailedAssignments=759262 nbBacktracks=1136279 nbVisitedNodes=3625856
786.30 nbRestartNogoods=264
786.30 => wckTime=781.499 cpuTime=773.34 mem=602M307
1117.72
1117.72 search
1117.72 run=27 nbConstraintChecks=44663424 nbPropagations=48277431 nbRevisions=46422055 nbUselessRevisions=412597
1117.72 nbAssignments=2967461 nbFailedAssignments=1151568 nbBacktracks=1704430 nbVisitedNodes=5371143
1117.72 nbRestartNogoods=290
1117.72 => wckTime=1112.917 cpuTime=1101.64 mem=602M307
1609.75
1609.75 search
1609.75 run=28 nbConstraintChecks=61896945 nbPropagations=68503228 nbRevisions=66503336 nbUselessRevisions=473549
1609.75 nbAssignments=4411981 nbFailedAssignments=1742655 nbBacktracks=2556657 nbVisitedNodes=7996850
1609.75 nbRestartNogoods=309
1609.75 => wckTime=1604.947 cpuTime=1589.33 mem=602M307
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node16/watcher-238124-1168353849 -o ROOT/results/node16/solver-238124-1168353849 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/238124-1168353849/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.89 1.97 1.99 4/93 20035
/proc/meminfo: memFree=1579256/2055920 swapFree=4191880/4192956
[pid=20034] ppid=20032 vsize=1784 CPUtime=0
/proc/20034/stat : 20034 (java) R 20032 20034 19207 0 -1 0 169 0 0 0 0 0 0 0 19 0 1 0 183779806 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/20034/statm: 446 140 106 14 0 91 0
[startup+0.106072 s]
/proc/loadavg: 1.89 1.97 1.99 4/93 20035
/proc/meminfo: memFree=1579256/2055920 swapFree=4191880/4192956
[pid=20034] ppid=20032 vsize=914988 CPUtime=0.08
/proc/20034/stat : 20034 (java) R 20032 20034 19207 0 -1 0 3004 0 1 0 7 1 0 0 20 0 8 0 183779806 936947712 2750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155184942 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20034/statm: 228747 2750 1430 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.513996 s]
/proc/loadavg: 1.89 1.97 1.99 4/93 20035
/proc/meminfo: memFree=1579256/2055920 swapFree=4191880/4192956
[pid=20034] ppid=20032 vsize=915328 CPUtime=0.48
/proc/20034/stat : 20034 (java) R 20032 20034 19207 0 -1 0 6589 0 1 0 44 4 0 0 18 0 8 0 183779806 937295872 6328 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072925707 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20034/statm: 228832 6328 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33485 s]
/proc/loadavg: 1.90 1.97 1.99 3/100 20042
/proc/meminfo: memFree=1516352/2055920 swapFree=4191880/4192956
[pid=20034] ppid=20032 vsize=915644 CPUtime=1.3
/proc/20034/stat : 20034 (java) R 20032 20034 19207 0 -1 0 18070 0 1 0 120 10 0 0 25 0 8 0 183779806 937619456 17808 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073598347 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20034/statm: 228911 17808 2160 14 0 215381 0
[pid=20034/tid=20036] ppid=20032 vsize=915644 CPUtime=0.05
/proc/20034/task/20036/stat : 20036 (java) S 20032 20034 19207 0 -1 64 1531 0 0 0 5 0 0 0 17 0 8 0 183779810 937619456 17808 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20037] ppid=20032 vsize=915644 CPUtime=0
/proc/20034/task/20037/stat : 20037 (java) S 20032 20034 19207 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183779811 937619456 17808 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20038] ppid=20032 vsize=915644 CPUtime=0
/proc/20034/task/20038/stat : 20038 (java) S 20032 20034 19207 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183779811 937619456 17808 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20039] ppid=20032 vsize=915644 CPUtime=0
/proc/20034/task/20039/stat : 20039 (java) S 20032 20034 19207 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183779814 937619456 17808 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20040] ppid=20032 vsize=915644 CPUtime=0.15
/proc/20034/task/20040/stat : 20040 (java) S 20032 20034 19207 0 -1 64 406 0 0 0 15 0 0 0 16 0 8 0 183779814 937619456 17808 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20041] ppid=20032 vsize=915644 CPUtime=0
/proc/20034/task/20041/stat : 20041 (java) S 20032 20034 19207 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183779814 937619456 17808 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20042] ppid=20032 vsize=915644 CPUtime=0
/proc/20034/task/20042/stat : 20042 (java) S 20032 20034 19207 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183779814 937619456 17808 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915644
[startup+2.97655 s]
/proc/loadavg: 1.90 1.97 1.99 3/100 20042
/proc/meminfo: memFree=1506048/2055920 swapFree=4191880/4192956
[pid=20034] ppid=20032 vsize=915648 CPUtime=2.93
/proc/20034/stat : 20034 (java) R 20032 20034 19207 0 -1 0 22210 0 1 0 227 66 0 0 25 0 8 0 183779806 937623552 21945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20034/statm: 228912 21945 2180 14 0 215382 0
[pid=20034/tid=20036] ppid=20032 vsize=915648 CPUtime=0.26
/proc/20034/task/20036/stat : 20036 (java) S 20032 20034 19207 0 -1 64 5584 0 0 0 25 1 0 0 17 0 8 0 183779810 937623552 21945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20037] ppid=20032 vsize=915648 CPUtime=0
/proc/20034/task/20037/stat : 20037 (java) S 20032 20034 19207 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183779811 937623552 21945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20038] ppid=20032 vsize=915648 CPUtime=0
/proc/20034/task/20038/stat : 20038 (java) S 20032 20034 19207 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183779811 937623552 21945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20039] ppid=20032 vsize=915648 CPUtime=0
/proc/20034/task/20039/stat : 20039 (java) S 20032 20034 19207 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183779814 937623552 21945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20040] ppid=20032 vsize=915648 CPUtime=0.2
/proc/20034/task/20040/stat : 20040 (java) S 20032 20034 19207 0 -1 64 430 0 0 0 19 1 0 0 16 0 8 0 183779814 937623552 21945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20041] ppid=20032 vsize=915648 CPUtime=0
/proc/20034/task/20041/stat : 20041 (java) S 20032 20034 19207 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183779814 937623552 21945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20042] ppid=20032 vsize=915648 CPUtime=0
/proc/20034/task/20042/stat : 20042 (java) S 20032 20034 19207 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183779814 937623552 21945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915648
[startup+6.18396 s]
/proc/loadavg: 1.91 1.97 1.99 3/100 20042
/proc/meminfo: memFree=1487040/2055920 swapFree=4191880/4192956
[pid=20034] ppid=20032 vsize=915868 CPUtime=6.1
/proc/20034/stat : 20034 (java) R 20032 20034 19207 0 -1 0 25830 0 1 0 473 137 0 0 25 0 8 0 183779806 937848832 25506 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074145369 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20034/statm: 228967 25506 2544 14 0 215437 0
[pid=20034/tid=20036] ppid=20032 vsize=915868 CPUtime=0.47
/proc/20034/task/20036/stat : 20036 (java) S 20032 20034 19207 0 -1 64 8665 0 0 0 45 2 0 0 17 0 8 0 183779810 937848832 25506 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20037] ppid=20032 vsize=915868 CPUtime=0
/proc/20034/task/20037/stat : 20037 (java) S 20032 20034 19207 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183779811 937848832 25506 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20038] ppid=20032 vsize=915868 CPUtime=0
/proc/20034/task/20038/stat : 20038 (java) S 20032 20034 19207 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183779811 937848832 25506 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20039] ppid=20032 vsize=915868 CPUtime=0
/proc/20034/task/20039/stat : 20039 (java) S 20032 20034 19207 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183779814 937848832 25506 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20040] ppid=20032 vsize=915868 CPUtime=0.34
/proc/20034/task/20040/stat : 20040 (java) S 20032 20034 19207 0 -1 64 510 0 0 0 33 1 0 0 16 0 8 0 183779814 937848832 25506 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20041] ppid=20032 vsize=915868 CPUtime=0
/proc/20034/task/20041/stat : 20041 (java) S 20032 20034 19207 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183779814 937848832 25506 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20042] ppid=20032 vsize=915868 CPUtime=0
/proc/20034/task/20042/stat : 20042 (java) S 20032 20034 19207 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183779814 937848832 25506 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915868
[startup+12.6578 s]
/proc/loadavg: 1.92 1.97 1.99 3/100 20042
/proc/meminfo: memFree=1435584/2055920 swapFree=4191880/4192956
[pid=20034] ppid=20032 vsize=915868 CPUtime=12.51
/proc/20034/stat : 20034 (java) R 20032 20034 19207 0 -1 0 29095 0 1 0 1112 139 0 0 25 0 8 0 183779806 937848832 28765 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074135808 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20034/statm: 228967 28765 2545 14 0 215437 0
[pid=20034/tid=20036] ppid=20032 vsize=915868 CPUtime=0.5
/proc/20034/task/20036/stat : 20036 (java) S 20032 20034 19207 0 -1 64 11897 0 0 0 47 3 0 0 16 0 8 0 183779810 937848832 28765 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20037] ppid=20032 vsize=915868 CPUtime=0
/proc/20034/task/20037/stat : 20037 (java) S 20032 20034 19207 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 183779811 937848832 28765 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20038] ppid=20032 vsize=915868 CPUtime=0
/proc/20034/task/20038/stat : 20038 (java) S 20032 20034 19207 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183779811 937848832 28765 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20039] ppid=20032 vsize=915868 CPUtime=0
/proc/20034/task/20039/stat : 20039 (java) S 20032 20034 19207 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183779814 937848832 28765 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20040] ppid=20032 vsize=915868 CPUtime=0.39
/proc/20034/task/20040/stat : 20040 (java) S 20032 20034 19207 0 -1 64 535 0 0 0 38 1 0 0 16 0 8 0 183779814 937848832 28765 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20041] ppid=20032 vsize=915868 CPUtime=0
/proc/20034/task/20041/stat : 20041 (java) S 20032 20034 19207 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183779814 937848832 28765 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20042] ppid=20032 vsize=915868 CPUtime=0
/proc/20034/task/20042/stat : 20042 (java) S 20032 20034 19207 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183779814 937848832 28765 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 915868
[startup+25.5194 s]
/proc/loadavg: 1.93 1.97 1.99 3/100 20042
/proc/meminfo: memFree=1385344/2055920 swapFree=4191880/4192956
[pid=20034] ppid=20032 vsize=915868 CPUtime=25.26
/proc/20034/stat : 20034 (java) R 20032 20034 19207 0 -1 0 41637 0 1 0 2382 144 0 0 25 0 8 0 183779806 937848832 41303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074150743 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20034/statm: 228967 41303 2545 14 0 215437 0
[pid=20034/tid=20036] ppid=20032 vsize=915868 CPUtime=0.6
/proc/20034/task/20036/stat : 20036 (java) S 20032 20034 19207 0 -1 64 24435 0 0 0 52 8 0 0 16 0 8 0 183779810 937848832 41303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20037] ppid=20032 vsize=915868 CPUtime=0
/proc/20034/task/20037/stat : 20037 (java) S 20032 20034 19207 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 183779811 937848832 41303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20038] ppid=20032 vsize=915868 CPUtime=0
/proc/20034/task/20038/stat : 20038 (java) S 20032 20034 19207 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183779811 937848832 41303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20039] ppid=20032 vsize=915868 CPUtime=0
/proc/20034/task/20039/stat : 20039 (java) S 20032 20034 19207 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183779814 937848832 41303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20040] ppid=20032 vsize=915868 CPUtime=0.39
/proc/20034/task/20040/stat : 20040 (java) S 20032 20034 19207 0 -1 64 535 0 0 0 38 1 0 0 16 0 8 0 183779814 937848832 41303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20041] ppid=20032 vsize=915868 CPUtime=0
/proc/20034/task/20041/stat : 20041 (java) S 20032 20034 19207 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183779814 937848832 41303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20042] ppid=20032 vsize=915868 CPUtime=0
/proc/20034/task/20042/stat : 20042 (java) S 20032 20034 19207 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183779814 937848832 41303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 915868
[startup+51.1327 s]
/proc/loadavg: 1.96 1.97 1.99 3/100 20042
/proc/meminfo: memFree=1255808/2055920 swapFree=4191880/4192956
[pid=20034] ppid=20032 vsize=915868 CPUtime=50.65
/proc/20034/stat : 20034 (java) R 20032 20034 19207 0 -1 0 68257 0 1 0 4910 155 0 0 25 0 8 0 183779806 937848832 67918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074223960 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20034/statm: 228967 67918 2545 14 0 215437 0
[pid=20034/tid=20036] ppid=20032 vsize=915868 CPUtime=0.83
/proc/20034/task/20036/stat : 20036 (java) S 20032 20034 19207 0 -1 64 51050 0 0 0 65 18 0 0 16 0 8 0 183779810 937848832 67918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20037] ppid=20032 vsize=915868 CPUtime=0
/proc/20034/task/20037/stat : 20037 (java) S 20032 20034 19207 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 183779811 937848832 67918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20038] ppid=20032 vsize=915868 CPUtime=0
/proc/20034/task/20038/stat : 20038 (java) S 20032 20034 19207 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183779811 937848832 67918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20039] ppid=20032 vsize=915868 CPUtime=0
/proc/20034/task/20039/stat : 20039 (java) S 20032 20034 19207 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183779814 937848832 67918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20040] ppid=20032 vsize=915868 CPUtime=0.39
/proc/20034/task/20040/stat : 20040 (java) S 20032 20034 19207 0 -1 64 535 0 0 0 38 1 0 0 16 0 8 0 183779814 937848832 67918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20041] ppid=20032 vsize=915868 CPUtime=0
/proc/20034/task/20041/stat : 20041 (java) S 20032 20034 19207 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183779814 937848832 67918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20042] ppid=20032 vsize=915868 CPUtime=0
/proc/20034/task/20042/stat : 20042 (java) S 20032 20034 19207 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183779814 937848832 67918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 915868
[startup+102.366 s]
/proc/loadavg: 1.98 1.97 1.99 3/100 20042
/proc/meminfo: memFree=947712/2055920 swapFree=4191880/4192956
[pid=20034] ppid=20032 vsize=915868 CPUtime=101.42
/proc/20034/stat : 20034 (java) R 20032 20034 19207 0 -1 0 114547 0 1 0 9969 173 0 0 25 0 8 0 183779806 937848832 114196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074125930 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20034/statm: 228967 114196 2545 14 0 215437 0
[pid=20034/tid=20036] ppid=20032 vsize=915868 CPUtime=1.25
/proc/20034/task/20036/stat : 20036 (java) S 20032 20034 19207 0 -1 64 97326 0 0 0 89 36 0 0 16 0 8 0 183779810 937848832 114196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20037] ppid=20032 vsize=915868 CPUtime=0
/proc/20034/task/20037/stat : 20037 (java) S 20032 20034 19207 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 183779811 937848832 114196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20038] ppid=20032 vsize=915868 CPUtime=0
/proc/20034/task/20038/stat : 20038 (java) S 20032 20034 19207 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183779811 937848832 114196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20039] ppid=20032 vsize=915868 CPUtime=0
/proc/20034/task/20039/stat : 20039 (java) S 20032 20034 19207 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183779814 937848832 114196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20040] ppid=20032 vsize=915868 CPUtime=0.39
/proc/20034/task/20040/stat : 20040 (java) S 20032 20034 19207 0 -1 64 537 0 0 0 38 1 0 0 16 0 8 0 183779814 937848832 114196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20041] ppid=20032 vsize=915868 CPUtime=0
/proc/20034/task/20041/stat : 20041 (java) S 20032 20034 19207 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183779814 937848832 114196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20042] ppid=20032 vsize=915868 CPUtime=0
/proc/20034/task/20042/stat : 20042 (java) S 20032 20034 19207 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183779814 937848832 114196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.42
Current children cumulated vsize (KiB) 915868
[startup+162.433 s]
/proc/loadavg: 2.03 1.99 1.99 3/100 20042
/proc/meminfo: memFree=658816/2055920 swapFree=4191880/4192956
[pid=20034] ppid=20032 vsize=915868 CPUtime=160.96
/proc/20034/stat : 20034 (java) R 20032 20034 19207 0 -1 0 156676 0 1 0 15905 191 0 0 25 0 8 0 183779806 937848832 156313 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074149936 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1410.77
Current children cumulated vsize (KiB) 915868
[startup+1483.6 s]
/proc/loadavg: 2.06 2.02 2.00 3/100 20240
/proc/meminfo: memFree=535168/2055920 swapFree=4191880/4192956
[pid=20034] ppid=20032 vsize=915868 CPUtime=1470.29
/proc/20034/stat : 20034 (java) R 20032 20034 19207 0 -1 0 156677 0 1 0 146828 201 0 0 25 0 8 0 183779806 937848832 156314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074211003 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20034/statm: 228967 156314 2545 14 0 215437 0
[pid=20034/tid=20036] ppid=20032 vsize=915868 CPUtime=1.64
/proc/20034/task/20036/stat : 20036 (java) S 20032 20034 19207 0 -1 64 139443 0 0 0 110 54 0 0 16 0 8 0 183779810 937848832 156314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20037] ppid=20032 vsize=915868 CPUtime=0
/proc/20034/task/20037/stat : 20037 (java) S 20032 20034 19207 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 183779811 937848832 156314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20038] ppid=20032 vsize=915868 CPUtime=0
/proc/20034/task/20038/stat : 20038 (java) S 20032 20034 19207 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183779811 937848832 156314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20039] ppid=20032 vsize=915868 CPUtime=0
/proc/20034/task/20039/stat : 20039 (java) S 20032 20034 19207 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183779814 937848832 156314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20040] ppid=20032 vsize=915868 CPUtime=0.39
/proc/20034/task/20040/stat : 20040 (java) S 20032 20034 19207 0 -1 64 538 0 0 0 38 1 0 0 16 0 8 0 183779814 937848832 156314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20041] ppid=20032 vsize=915868 CPUtime=0
/proc/20034/task/20041/stat : 20041 (java) S 20032 20034 19207 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183779814 937848832 156314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20042] ppid=20032 vsize=915868 CPUtime=0
/proc/20034/task/20042/stat : 20042 (java) S 20032 20034 19207 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183779814 937848832 156314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1470.29
Current children cumulated vsize (KiB) 915868
[startup+1543.65 s]
/proc/loadavg: 2.06 2.02 2.00 3/100 20240
/proc/meminfo: memFree=535104/2055920 swapFree=4191880/4192956
[pid=20034] ppid=20032 vsize=915868 CPUtime=1529.81
/proc/20034/stat : 20034 (java) R 20032 20034 19207 0 -1 0 156677 0 1 0 152780 201 0 0 25 0 8 0 183779806 937848832 156314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074149988 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20034/statm: 228967 156314 2545 14 0 215437 0
[pid=20034/tid=20036] ppid=20032 vsize=915868 CPUtime=1.64
/proc/20034/task/20036/stat : 20036 (java) S 20032 20034 19207 0 -1 64 139443 0 0 0 110 54 0 0 16 0 8 0 183779810 937848832 156314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20037] ppid=20032 vsize=915868 CPUtime=0
/proc/20034/task/20037/stat : 20037 (java) S 20032 20034 19207 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 183779811 937848832 156314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20038] ppid=20032 vsize=915868 CPUtime=0
/proc/20034/task/20038/stat : 20038 (java) S 20032 20034 19207 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183779811 937848832 156314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20039] ppid=20032 vsize=915868 CPUtime=0
/proc/20034/task/20039/stat : 20039 (java) S 20032 20034 19207 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183779814 937848832 156314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20040] ppid=20032 vsize=915868 CPUtime=0.39
/proc/20034/task/20040/stat : 20040 (java) S 20032 20034 19207 0 -1 64 538 0 0 0 38 1 0 0 16 0 8 0 183779814 937848832 156314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20041] ppid=20032 vsize=915868 CPUtime=0
/proc/20034/task/20041/stat : 20041 (java) S 20032 20034 19207 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183779814 937848832 156314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20042] ppid=20032 vsize=915868 CPUtime=0
/proc/20034/task/20042/stat : 20042 (java) S 20032 20034 19207 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183779814 937848832 156314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1529.81
Current children cumulated vsize (KiB) 915868
[startup+1603.7 s]
/proc/loadavg: 2.02 2.02 2.00 3/100 20240
/proc/meminfo: memFree=535104/2055920 swapFree=4191880/4192956
[pid=20034] ppid=20032 vsize=915868 CPUtime=1589.33
/proc/20034/stat : 20034 (java) R 20032 20034 19207 0 -1 0 156677 0 1 0 158731 202 0 0 25 0 8 0 183779806 937848832 156314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074149988 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20034/statm: 228967 156314 2545 14 0 215437 0
[pid=20034/tid=20036] ppid=20032 vsize=915868 CPUtime=1.64
/proc/20034/task/20036/stat : 20036 (java) S 20032 20034 19207 0 -1 64 139443 0 0 0 110 54 0 0 16 0 8 0 183779810 937848832 156314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20037] ppid=20032 vsize=915868 CPUtime=0
/proc/20034/task/20037/stat : 20037 (java) S 20032 20034 19207 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 183779811 937848832 156314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20038] ppid=20032 vsize=915868 CPUtime=0
/proc/20034/task/20038/stat : 20038 (java) S 20032 20034 19207 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183779811 937848832 156314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20039] ppid=20032 vsize=915868 CPUtime=0
/proc/20034/task/20039/stat : 20039 (java) S 20032 20034 19207 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183779814 937848832 156314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20040] ppid=20032 vsize=915868 CPUtime=0.39
/proc/20034/task/20040/stat : 20040 (java) S 20032 20034 19207 0 -1 64 538 0 0 0 38 1 0 0 16 0 8 0 183779814 937848832 156314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20041] ppid=20032 vsize=915868 CPUtime=0
/proc/20034/task/20041/stat : 20041 (java) S 20032 20034 19207 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183779814 937848832 156314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20042] ppid=20032 vsize=915868 CPUtime=0
/proc/20034/task/20042/stat : 20042 (java) S 20032 20034 19207 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183779814 937848832 156314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1589.33
Current children cumulated vsize (KiB) 915868
[startup+1663.76 s]
/proc/loadavg: 2.07 2.03 2.00 3/100 20240
/proc/meminfo: memFree=535040/2055920 swapFree=4191880/4192956
[pid=20034] ppid=20032 vsize=915868 CPUtime=1648.86
/proc/20034/stat : 20034 (java) R 20032 20034 19207 0 -1 0 156677 0 1 0 164684 202 0 0 25 0 8 0 183779806 937848832 156314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074172506 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20034/statm: 228967 156314 2545 14 0 215437 0
[pid=20034/tid=20036] ppid=20032 vsize=915868 CPUtime=1.64
/proc/20034/task/20036/stat : 20036 (java) S 20032 20034 19207 0 -1 64 139443 0 0 0 110 54 0 0 16 0 8 0 183779810 937848832 156314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20037] ppid=20032 vsize=915868 CPUtime=0
/proc/20034/task/20037/stat : 20037 (java) S 20032 20034 19207 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 183779811 937848832 156314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20038] ppid=20032 vsize=915868 CPUtime=0
/proc/20034/task/20038/stat : 20038 (java) S 20032 20034 19207 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183779811 937848832 156314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20039] ppid=20032 vsize=915868 CPUtime=0
/proc/20034/task/20039/stat : 20039 (java) S 20032 20034 19207 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183779814 937848832 156314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20040] ppid=20032 vsize=915868 CPUtime=0.39
/proc/20034/task/20040/stat : 20040 (java) S 20032 20034 19207 0 -1 64 538 0 0 0 38 1 0 0 16 0 8 0 183779814 937848832 156314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20041] ppid=20032 vsize=915868 CPUtime=0
/proc/20034/task/20041/stat : 20041 (java) S 20032 20034 19207 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183779814 937848832 156314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20042] ppid=20032 vsize=915868 CPUtime=0
/proc/20034/task/20042/stat : 20042 (java) S 20032 20034 19207 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183779814 937848832 156314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1648.86
Current children cumulated vsize (KiB) 915868
[startup+1723.81 s]
/proc/loadavg: 2.02 2.02 2.00 3/100 20240
/proc/meminfo: memFree=534976/2055920 swapFree=4191880/4192956
[pid=20034] ppid=20032 vsize=915868 CPUtime=1708.38
/proc/20034/stat : 20034 (java) R 20032 20034 19207 0 -1 0 156677 0 1 0 170635 203 0 0 25 0 8 0 183779806 937848832 156314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074172551 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20034/statm: 228967 156314 2545 14 0 215437 0
[pid=20034/tid=20036] ppid=20032 vsize=915868 CPUtime=1.64
/proc/20034/task/20036/stat : 20036 (java) S 20032 20034 19207 0 -1 64 139443 0 0 0 110 54 0 0 16 0 8 0 183779810 937848832 156314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20037] ppid=20032 vsize=915868 CPUtime=0
/proc/20034/task/20037/stat : 20037 (java) S 20032 20034 19207 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 183779811 937848832 156314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20038] ppid=20032 vsize=915868 CPUtime=0
/proc/20034/task/20038/stat : 20038 (java) S 20032 20034 19207 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183779811 937848832 156314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20039] ppid=20032 vsize=915868 CPUtime=0
/proc/20034/task/20039/stat : 20039 (java) S 20032 20034 19207 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183779814 937848832 156314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20040] ppid=20032 vsize=915868 CPUtime=0.39
/proc/20034/task/20040/stat : 20040 (java) S 20032 20034 19207 0 -1 64 538 0 0 0 38 1 0 0 16 0 8 0 183779814 937848832 156314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20041] ppid=20032 vsize=915868 CPUtime=0
/proc/20034/task/20041/stat : 20041 (java) S 20032 20034 19207 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183779814 937848832 156314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20042] ppid=20032 vsize=915868 CPUtime=0
/proc/20034/task/20042/stat : 20042 (java) S 20032 20034 19207 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183779814 937848832 156314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1708.38
Current children cumulated vsize (KiB) 915868
[startup+1783.88 s]
/proc/loadavg: 1.97 2.00 1.99 3/105 20294
/proc/meminfo: memFree=1012944/2055920 swapFree=4191880/4192956
[pid=20034] ppid=20032 vsize=915868 CPUtime=1767.92
/proc/20034/stat : 20034 (java) R 20032 20034 19207 0 -1 0 156677 0 1 0 176588 204 0 0 25 0 8 0 183779806 937848832 156314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074172551 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20034/statm: 228967 156314 2545 14 0 215437 0
[pid=20034/tid=20036] ppid=20032 vsize=915868 CPUtime=1.64
/proc/20034/task/20036/stat : 20036 (java) S 20032 20034 19207 0 -1 64 139443 0 0 0 110 54 0 0 16 0 8 0 183779810 937848832 156314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20037] ppid=20032 vsize=915868 CPUtime=0
/proc/20034/task/20037/stat : 20037 (java) S 20032 20034 19207 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 183779811 937848832 156314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20038] ppid=20032 vsize=915868 CPUtime=0
/proc/20034/task/20038/stat : 20038 (java) S 20032 20034 19207 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183779811 937848832 156314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20039] ppid=20032 vsize=915868 CPUtime=0
/proc/20034/task/20039/stat : 20039 (java) S 20032 20034 19207 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183779814 937848832 156314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20040] ppid=20032 vsize=915868 CPUtime=0.39
/proc/20034/task/20040/stat : 20040 (java) S 20032 20034 19207 0 -1 64 538 0 0 0 38 1 0 0 16 0 8 0 183779814 937848832 156314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20041] ppid=20032 vsize=915868 CPUtime=0
/proc/20034/task/20041/stat : 20041 (java) S 20032 20034 19207 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183779814 937848832 156314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20042] ppid=20032 vsize=915868 CPUtime=0
/proc/20034/task/20042/stat : 20042 (java) S 20032 20034 19207 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183779814 937848832 156314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1767.92
Current children cumulated vsize (KiB) 915868
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1816.4 s]
/proc/loadavg: 1.98 2.00 1.99 3/105 20294
/proc/meminfo: memFree=1012944/2055920 swapFree=4191880/4192956
[pid=20034] ppid=20032 vsize=915868 CPUtime=1800.09
/proc/20034/stat : 20034 (java) R 20032 20034 19207 0 -1 0 156677 0 1 0 179805 204 0 0 25 0 8 0 183779806 937848832 156314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20034/statm: 228967 156314 2545 14 0 215437 0
[pid=20034/tid=20036] ppid=20032 vsize=915868 CPUtime=1.64
/proc/20034/task/20036/stat : 20036 (java) S 20032 20034 19207 0 -1 64 139443 0 0 0 110 54 0 0 16 0 8 0 183779810 937848832 156314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20037] ppid=20032 vsize=915868 CPUtime=0
/proc/20034/task/20037/stat : 20037 (java) S 20032 20034 19207 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 183779811 937848832 156314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20038] ppid=20032 vsize=915868 CPUtime=0
/proc/20034/task/20038/stat : 20038 (java) S 20032 20034 19207 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183779811 937848832 156314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20039] ppid=20032 vsize=915868 CPUtime=0
/proc/20034/task/20039/stat : 20039 (java) S 20032 20034 19207 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183779814 937848832 156314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20040] ppid=20032 vsize=915868 CPUtime=0.39
/proc/20034/task/20040/stat : 20040 (java) S 20032 20034 19207 0 -1 64 538 0 0 0 38 1 0 0 16 0 8 0 183779814 937848832 156314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20041] ppid=20032 vsize=915868 CPUtime=0
/proc/20034/task/20041/stat : 20041 (java) S 20032 20034 19207 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183779814 937848832 156314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20034/tid=20042] ppid=20032 vsize=915868 CPUtime=0
/proc/20034/task/20042/stat : 20042 (java) S 20032 20034 19207 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183779814 937848832 156314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 915868
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1816.51
CPU time (s): 1800.21
CPU user time (s): 1798.07
CPU system time (s): 2.14367
CPU usage (%): 99.1027
Max. virtual memory (cumulated for all children) (KiB): 916004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.07
system time used= 2.14367
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 156695
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= 38688
involuntary context switches= 76415
runsolver used 2.20766 s user time and 5.9161 s system time
The end
Begin job on node16 on Tue Jan 9 14:44:10 UTC 2007
IDJOB= 238124
IDBENCH= 6984
FILE ID= node16/238124-1168353849
PBS_JOBID= 3503711
Free space on /tmp= 66516 MiB
BENCH NAME= HOME/pub/bench/CPAI06/haystacks/haystacks_40.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/238124-1168353849/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-238124-1168353849 -o ROOT/results/node16/solver-238124-1168353849 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/238124-1168353849/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 8b5182a49a250a29e8348f72e42d7007
RANDOM SEED= 737170433
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.220
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.220
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: 1579736 kB
Buffers: 36124 kB
Cached: 159744 kB
SwapCached: 448 kB
Active: 331804 kB
Inactive: 91608 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1579736 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 6064 kB
Writeback: 0 kB
Mapped: 255764 kB
Slab: 36956 kB
Committed_AS: 6106864 kB
PageTables: 2752 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= 66516 MiB
End job on node16 on Tue Jan 9 15:14:26 UTC 2007