0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=mac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/194491-1168069372/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=50 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.39 => wckTime=0.097 cpuTime=0.07 mem=6M951
0.39
0.39 relations being loaded...
0.53
0.53 constraints being loaded...
0.66 nbConstraints=455 nbRelationTypes=455 nbExtensionStructures=455 nbSharedExtensionStructures=0
0.66 nbConflictsStructures=455 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2269 maxDegree=25
0.66 maxArity=2
0.66 => wckTime=0.366 cpuTime=0.27 mem=16M902
0.71
0.71 solver IterativeSystematicSolver being built...
0.85 => wckTime=0.553 cpuTime=0.39 mem=15M344
0.86
0.86 preprocessing
0.86 nbConstraintChecks=0 nbPropagations=50 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.86 detectedInconsistency=no
0.86 => wckTime=0.0080 cpuTime=0.0 mem=15M344
0.91
0.91 search
0.91 run=0 nbConstraintChecks=44237 nbPropagations=597 nbRevisions=6799 nbUselessRevisions=5765 nbAssignments=31
0.91 nbFailedAssignments=7 nbBacktracks=12 nbVisitedNodes=45 nbRestartNogoods=0 mapSize=9 nbInferences=0
0.91 nbTooLargeKeys=0
0.91 => wckTime=0.055 cpuTime=0.03 mem=15M344
0.93
0.93 search
0.93 run=1 nbConstraintChecks=101910 nbPropagations=1902 nbRevisions=22679 nbUselessRevisions=19129
0.93 nbAssignments=68 nbFailedAssignments=18 nbBacktracks=28 nbVisitedNodes=102 nbRestartNogoods=3 mapSize=23
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.08 cpuTime=0.05 mem=15M344
0.95
0.95 search
0.95 run=2 nbConstraintChecks=179146 nbPropagations=4188 nbRevisions=51439 nbUselessRevisions=43014
0.95 nbAssignments=120 nbFailedAssignments=35 nbBacktracks=51 nbVisitedNodes=185 nbRestartNogoods=4 mapSize=41
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.1 cpuTime=0.06 mem=15M344
0.98
0.98 search
0.98 run=3 nbConstraintChecks=300845 nbPropagations=7921 nbRevisions=101083 nbUselessRevisions=84108
0.98 nbAssignments=200 nbFailedAssignments=67 nbBacktracks=87 nbVisitedNodes=315 nbRestartNogoods=8 mapSize=74
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.126 cpuTime=0.08 mem=15M344
1.01
1.01 search
1.01 run=4 nbConstraintChecks=453259 nbPropagations=13577 nbRevisions=176802 nbUselessRevisions=146609
1.01 nbAssignments=295 nbFailedAssignments=99 nbBacktracks=138 nbVisitedNodes=473 nbRestartNogoods=13 mapSize=123
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.155 cpuTime=0.11 mem=15M344
1.05
1.05 search
1.05 run=5 nbConstraintChecks=670996 nbPropagations=22089 nbRevisions=293551 nbUselessRevisions=242688
1.05 nbAssignments=432 nbFailedAssignments=149 nbBacktracks=216 nbVisitedNodes=706 nbRestartNogoods=15 mapSize=193
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.197 cpuTime=0.15 mem=15M344
1.11
1.11 search
1.11 run=6 nbConstraintChecks=1011546 nbPropagations=34690 nbRevisions=471042 nbUselessRevisions=388026
1.11 nbAssignments=635 nbFailedAssignments=228 nbBacktracks=329 nbVisitedNodes=1056 nbRestartNogoods=17 mapSize=289
1.11 nbInferences=0 nbTooLargeKeys=0
1.11 => wckTime=0.257 cpuTime=0.21 mem=15M344
1.19
1.19 search
1.19 run=7 nbConstraintChecks=1450211 nbPropagations=52758 nbRevisions=731024 nbUselessRevisions=601491
1.19 nbAssignments=917 nbFailedAssignments=331 nbBacktracks=499 nbVisitedNodes=1533 nbRestartNogoods=26 mapSize=427
1.19 nbInferences=0 nbTooLargeKeys=0
1.19 => wckTime=0.34 cpuTime=0.29 mem=15M344
1.30
1.30 search
1.30 run=8 nbConstraintChecks=2005258 nbPropagations=77986 nbRevisions=1097470 nbUselessRevisions=903088
1.30 nbAssignments=1328 nbFailedAssignments=475 nbBacktracks=758 nbVisitedNodes=2214 nbRestartNogoods=30
1.30 mapSize=625 nbInferences=0 nbTooLargeKeys=0
1.30 => wckTime=0.448 cpuTime=0.39 mem=15M344
1.48
1.48 search
1.48 run=9 nbConstraintChecks=3017932 nbPropagations=116331 nbRevisions=1657944 nbUselessRevisions=1364440
1.48 nbAssignments=1993 nbFailedAssignments=743 nbBacktracks=1143 nbVisitedNodes=3357 nbRestartNogoods=34
1.48 mapSize=963 nbInferences=0 nbTooLargeKeys=0
1.48 => wckTime=0.627 cpuTime=0.55 mem=15M344
1.51
1.51 INFO : Stopping hyperNogood (mapSize=1013, nbTooLargekeys=0, mem=15M344)
1.70
1.70 search
1.70 run=10 nbConstraintChecks=4406175 nbPropagations=171937 nbRevisions=2475904 nbUselessRevisions=2036459
1.70 nbAssignments=2924 nbFailedAssignments=1085 nbBacktracks=1719 nbVisitedNodes=4907 nbRestartNogoods=38
1.70 => wckTime=0.845 cpuTime=0.76 mem=15M344
2.04
2.04 search
2.04 run=11 nbConstraintChecks=6702929 nbPropagations=257035 nbRevisions=3741564 nbUselessRevisions=3076601
2.04 nbAssignments=4392 nbFailedAssignments=1678 nbBacktracks=2584 nbVisitedNodes=7484 nbRestartNogoods=44
2.04 => wckTime=1.187 cpuTime=1.1 mem=15M344
2.56
2.56 search
2.56 run=12 nbConstraintChecks=10155040 nbPropagations=385978 nbRevisions=5679408 nbUselessRevisions=4669033
2.56 nbAssignments=6628 nbFailedAssignments=2603 nbBacktracks=3881 nbVisitedNodes=11380 nbRestartNogoods=52
2.56 => wckTime=1.709 cpuTime=1.61 mem=15M344
3.31
3.31 search
3.31 run=13 nbConstraintChecks=15282492 nbPropagations=578607 nbRevisions=8582041 nbUselessRevisions=7052614
3.31 nbAssignments=9914 nbFailedAssignments=3933 nbBacktracks=5827 nbVisitedNodes=17043 nbRestartNogoods=62
3.31 => wckTime=2.455 cpuTime=2.36 mem=15M344
4.36
4.37 search
4.37 run=14 nbConstraintChecks=22223886 nbPropagations=862618 nbRevisions=12862428 nbUselessRevisions=10571309
4.37 nbAssignments=14734 nbFailedAssignments=5822 nbBacktracks=8747 nbVisitedNodes=25351 nbRestartNogoods=68
4.37 => wckTime=3.512 cpuTime=3.41 mem=15M344
5.96
5.96 search
5.96 run=15 nbConstraintChecks=33091451 nbPropagations=1280982 nbRevisions=19227654 nbUselessRevisions=15807944
5.96 nbAssignments=21837 nbFailedAssignments=8536 nbBacktracks=13126 nbVisitedNodes=37526 nbRestartNogoods=75
5.96 => wckTime=5.11 cpuTime=4.99 mem=15M344
8.49
8.49 search
8.49 run=16 nbConstraintChecks=50456037 nbPropagations=1910991 nbRevisions=28836061 nbUselessRevisions=23703390
8.49 nbAssignments=32612 nbFailedAssignments=12730 nbBacktracks=19694 nbVisitedNodes=56012 nbRestartNogoods=83
8.49 => wckTime=7.634 cpuTime=7.49 mem=15M344
12.17
12.17 search
12.17 run=17 nbConstraintChecks=75574259 nbPropagations=2853968 nbRevisions=43220711 nbUselessRevisions=35518943
12.17 nbAssignments=48774 nbFailedAssignments=19030 nbBacktracks=29546 nbVisitedNodes=83778 nbRestartNogoods=91
12.17 => wckTime=11.319 cpuTime=11.15 mem=15M344
17.61
17.61 search
17.61 run=18 nbConstraintChecks=113429743 nbPropagations=4250593 nbRevisions=64682508 nbUselessRevisions=53162970
17.61 nbAssignments=72450 nbFailedAssignments=27919 nbBacktracks=44325 nbVisitedNodes=124023 nbRestartNogoods=107
17.61 => wckTime=16.756 cpuTime=16.54 mem=15M344
25.82
25.82 search
25.82 run=19 nbConstraintChecks=169492661 nbPropagations=6348818 nbRevisions=96788353 nbUselessRevisions=79545088
25.82 nbAssignments=108566 nbFailedAssignments=41857 nbBacktracks=66493 nbVisitedNodes=186100 nbRestartNogoods=118
25.82 => wckTime=24.967 cpuTime=24.69 mem=15M344
38.62
38.62 search
38.62 run=20 nbConstraintChecks=258114674 nbPropagations=9527131 nbRevisions=145418963 nbUselessRevisions=119479506
38.62 nbAssignments=163437 nbFailedAssignments=63464 nbBacktracks=99746 nbVisitedNodes=280452 nbRestartNogoods=132
38.62 => wckTime=37.767 cpuTime=37.39 mem=15M344
58.50
58.50 search
58.50 run=21 nbConstraintChecks=399058851 nbPropagations=14349010 nbRevisions=219539029 nbUselessRevisions=180331739
58.50 nbAssignments=245128 nbFailedAssignments=95266 nbBacktracks=149625 nbVisitedNodes=420854 nbRestartNogoods=144
58.50 => wckTime=57.65 cpuTime=57.11 mem=15M344
87.30
87.30 search
87.30 run=22 nbConstraintChecks=599482691 nbPropagations=21605938 nbRevisions=330907799 nbUselessRevisions=271754729
87.30 nbAssignments=367817 nbFailedAssignments=143124 nbBacktracks=224445 nbVisitedNodes=632141 nbRestartNogoods=157
87.30 => wckTime=86.446 cpuTime=85.65 mem=15M344
128.59
128.59 search
128.59 run=23 nbConstraintChecks=881378521 nbPropagations=32373760 nbRevisions=495881821 nbUselessRevisions=407236358
128.59 nbAssignments=550234 nbFailedAssignments=213304 nbBacktracks=336672 nbVisitedNodes=944519 nbRestartNogoods=170
128.59 => wckTime=127.737 cpuTime=126.63 mem=15M344
193.10
193.10 search
193.10 run=24 nbConstraintChecks=1326461400 nbPropagations=48549945 nbRevisions=745104980 nbUselessRevisions=612222601
193.10 nbAssignments=823153 nbFailedAssignments=317870 nbBacktracks=505013 nbVisitedNodes=1414621 nbRestartNogoods=191
193.10 => wckTime=192.248 cpuTime=190.62 mem=15M344
289.54
289.54 search
289.54 run=25 nbConstraintChecks=1989660047 nbPropagations=72922441 nbRevisions=1119966405
289.54 nbUselessRevisions=920543100 nbAssignments=1238909 nbFailedAssignments=481102 nbBacktracks=757525
289.54 nbVisitedNodes=2132227 nbRestartNogoods=206
289.54 => wckTime=288.686 cpuTime=286.29 mem=15M344
429.77
429.77 search
429.77 run=26 nbConstraintChecks=2949425837 nbPropagations=109201374 nbRevisions=1677667811
429.77 nbUselessRevisions=1379375606 nbAssignments=1851322 nbFailedAssignments=714739 nbBacktracks=1136292
429.77 nbVisitedNodes=3181906 nbRestartNogoods=211
429.77 => wckTime=428.92 cpuTime=425.39 mem=15M344
653.10
653.10 search
653.10 run=27 nbConstraintChecks=4444512438 nbPropagations=163548168 nbRevisions=2513089704
653.10 nbUselessRevisions=2066318806 nbAssignments=2769950 nbFailedAssignments=1065205 nbBacktracks=1704443
653.10 nbVisitedNodes=4749871 nbRestartNogoods=222
653.10 => wckTime=652.249 cpuTime=648.19 mem=15M344
994.54
994.54 search
994.54 run=28 nbConstraintChecks=6681541823 nbPropagations=245371073 nbRevisions=3768851738
994.54 nbUselessRevisions=3098467046 nbAssignments=4170864 nbFailedAssignments=1613881 nbBacktracks=2556669
994.54 nbVisitedNodes=7160616 nbRestartNogoods=237
994.54 => wckTime=993.684 cpuTime=989.54 mem=15M344
1507.25
1507.25 search
1507.25 run=29 nbConstraintChecks=10055542362 nbPropagations=367865145 nbRevisions=5657651667
1507.25 nbUselessRevisions=4652580680 nbAssignments=6236421 nbFailedAssignments=2401087 nbBacktracks=3835010
1507.25 nbVisitedNodes=10698053 nbRestartNogoods=257
1507.25 => wckTime=1506.394 cpuTime=1502.02 mem=15M344
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node41/watcher-194491-1168069372 -o ROOT/results/node41/solver-194491-1168069372 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/194491-1168069372/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 0.18 0.74 1.31 4/80 6003
/proc/meminfo: memFree=1637360/2055920 swapFree=4192812/4192956
[pid=6002] ppid=6000 vsize=18540 CPUtime=0
/proc/6002/stat : 6002 (runsolver) R 6000 6002 5434 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 155337377 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 238390144295 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/6002/statm: 4635 279 244 17 0 2626 0
[startup+0.106985 s]
/proc/loadavg: 0.18 0.74 1.31 4/80 6003
/proc/meminfo: memFree=1637360/2055920 swapFree=4192812/4192956
[pid=6002] ppid=6000 vsize=914988 CPUtime=0.09
/proc/6002/stat : 6002 (java) R 6000 6002 5434 0 -1 0 3071 0 1 0 8 1 0 0 22 0 8 0 155337377 936947712 2817 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155582909 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6002/statm: 228747 2817 1453 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.51502 s]
/proc/loadavg: 0.18 0.74 1.31 4/80 6003
/proc/meminfo: memFree=1637360/2055920 swapFree=4192812/4192956
[pid=6002] ppid=6000 vsize=915328 CPUtime=0.48
/proc/6002/stat : 6002 (java) R 6000 6002 5434 0 -1 0 7257 0 1 0 44 4 0 0 25 0 8 0 155337377 937295872 6996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6002/statm: 228832 6996 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.34109 s]
/proc/loadavg: 0.18 0.74 1.31 3/87 6010
/proc/meminfo: memFree=1610040/2055920 swapFree=4192812/4192956
[pid=6002] ppid=6000 vsize=915460 CPUtime=1.3
/proc/6002/stat : 6002 (java) R 6000 6002 5434 0 -1 0 9569 0 1 0 124 6 0 0 25 0 8 0 155337377 937431040 9307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073816600 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6002/statm: 228865 9307 2513 14 0 215335 0
[pid=6002/tid=6004] ppid=6000 vsize=915460 CPUtime=0.03
/proc/6002/task/6004/stat : 6004 (java) S 6000 6002 5434 0 -1 64 401 0 0 0 3 0 0 0 16 0 8 0 155337381 937431040 9307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6005] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6005/stat : 6005 (java) S 6000 6002 5434 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155337382 937431040 9307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6006] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6006/stat : 6006 (java) S 6000 6002 5434 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155337382 937431040 9307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6007] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6007/stat : 6007 (java) S 6000 6002 5434 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155337385 937431040 9307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6008] ppid=6000 vsize=915460 CPUtime=0.21
/proc/6002/task/6008/stat : 6008 (java) S 6000 6002 5434 0 -1 64 381 0 0 0 20 1 0 0 15 0 8 0 155337385 937431040 9307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6009] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6009/stat : 6009 (java) S 6000 6002 5434 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155337385 937431040 9307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6010] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6010/stat : 6010 (java) S 6000 6002 5434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155337385 937431040 9307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915460
[startup+2.99323 s]
/proc/loadavg: 0.18 0.74 1.31 3/87 6010
/proc/meminfo: memFree=1609976/2055920 swapFree=4192812/4192956
[pid=6002] ppid=6000 vsize=915460 CPUtime=2.95
/proc/6002/stat : 6002 (java) R 6000 6002 5434 0 -1 0 9583 0 1 0 288 7 0 0 25 0 8 0 155337377 937431040 9320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073815326 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6002/statm: 228865 9320 2513 14 0 215335 0
[pid=6002/tid=6004] ppid=6000 vsize=915460 CPUtime=0.03
/proc/6002/task/6004/stat : 6004 (java) S 6000 6002 5434 0 -1 64 401 0 0 0 3 0 0 0 16 0 8 0 155337381 937431040 9320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6005] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6005/stat : 6005 (java) S 6000 6002 5434 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155337382 937431040 9320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6006] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6006/stat : 6006 (java) S 6000 6002 5434 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155337382 937431040 9320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6007] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6007/stat : 6007 (java) S 6000 6002 5434 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155337385 937431040 9320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6008] ppid=6000 vsize=915460 CPUtime=0.23
/proc/6002/task/6008/stat : 6008 (java) S 6000 6002 5434 0 -1 64 395 0 0 0 22 1 0 0 15 0 8 0 155337385 937431040 9320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6009] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6009/stat : 6009 (java) S 6000 6002 5434 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155337385 937431040 9320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6010] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6010/stat : 6010 (java) S 6000 6002 5434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155337385 937431040 9320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915460
[startup+6.27252 s]
/proc/loadavg: 0.33 0.76 1.32 3/87 6010
/proc/meminfo: memFree=1609976/2055920 swapFree=4192812/4192956
[pid=6002] ppid=6000 vsize=915460 CPUtime=6.2
/proc/6002/stat : 6002 (java) R 6000 6002 5434 0 -1 0 9583 0 1 0 613 7 0 0 25 0 8 0 155337377 937431040 9320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073817273 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6002/statm: 228865 9320 2513 14 0 215335 0
[pid=6002/tid=6004] ppid=6000 vsize=915460 CPUtime=0.03
/proc/6002/task/6004/stat : 6004 (java) S 6000 6002 5434 0 -1 64 401 0 0 0 3 0 0 0 16 0 8 0 155337381 937431040 9320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6005] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6005/stat : 6005 (java) S 6000 6002 5434 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155337382 937431040 9320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6006] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6006/stat : 6006 (java) S 6000 6002 5434 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155337382 937431040 9320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6007] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6007/stat : 6007 (java) S 6000 6002 5434 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155337385 937431040 9320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6008] ppid=6000 vsize=915460 CPUtime=0.23
/proc/6002/task/6008/stat : 6008 (java) S 6000 6002 5434 0 -1 64 395 0 0 0 22 1 0 0 15 0 8 0 155337385 937431040 9320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6009] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6009/stat : 6009 (java) S 6000 6002 5434 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155337385 937431040 9320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6010] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6010/stat : 6010 (java) S 6000 6002 5434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155337385 937431040 9320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915460
[startup+12.7571 s]
/proc/loadavg: 0.46 0.78 1.32 3/87 6010
/proc/meminfo: memFree=1609976/2055920 swapFree=4192812/4192956
[pid=6002] ppid=6000 vsize=915460 CPUtime=12.64
/proc/6002/stat : 6002 (java) R 6000 6002 5434 0 -1 0 9583 0 1 0 1257 7 0 0 25 0 8 0 155337377 937431040 9320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073840569 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6002/statm: 228865 9320 2513 14 0 215335 0
[pid=6002/tid=6004] ppid=6000 vsize=915460 CPUtime=0.03
/proc/6002/task/6004/stat : 6004 (java) S 6000 6002 5434 0 -1 64 401 0 0 0 3 0 0 0 16 0 8 0 155337381 937431040 9320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6005] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6005/stat : 6005 (java) S 6000 6002 5434 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155337382 937431040 9320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6006] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6006/stat : 6006 (java) S 6000 6002 5434 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155337382 937431040 9320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6007] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6007/stat : 6007 (java) S 6000 6002 5434 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155337385 937431040 9320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6008] ppid=6000 vsize=915460 CPUtime=0.23
/proc/6002/task/6008/stat : 6008 (java) S 6000 6002 5434 0 -1 64 395 0 0 0 22 1 0 0 15 0 8 0 155337385 937431040 9320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6009] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6009/stat : 6009 (java) S 6000 6002 5434 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155337385 937431040 9320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6010] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6010/stat : 6010 (java) S 6000 6002 5434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155337385 937431040 9320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 915460
[startup+25.5892 s]
/proc/loadavg: 0.80 0.84 1.33 3/87 6010
/proc/meminfo: memFree=1609976/2055920 swapFree=4192812/4192956
[pid=6002] ppid=6000 vsize=915460 CPUtime=25.36
/proc/6002/stat : 6002 (java) R 6000 6002 5434 0 -1 0 9584 0 1 0 2529 7 0 0 25 0 8 0 155337377 937431040 9321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918517 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6002/statm: 228865 9321 2513 14 0 215335 0
[pid=6002/tid=6004] ppid=6000 vsize=915460 CPUtime=0.03
/proc/6002/task/6004/stat : 6004 (java) S 6000 6002 5434 0 -1 64 401 0 0 0 3 0 0 0 16 0 8 0 155337381 937431040 9321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6005] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6005/stat : 6005 (java) S 6000 6002 5434 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155337382 937431040 9321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6006] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6006/stat : 6006 (java) S 6000 6002 5434 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155337382 937431040 9321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6007] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6007/stat : 6007 (java) S 6000 6002 5434 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155337385 937431040 9321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6008] ppid=6000 vsize=915460 CPUtime=0.23
/proc/6002/task/6008/stat : 6008 (java) S 6000 6002 5434 0 -1 64 396 0 0 0 22 1 0 0 16 0 8 0 155337385 937431040 9321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6009] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6009/stat : 6009 (java) S 6000 6002 5434 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155337385 937431040 9321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6010] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6010/stat : 6010 (java) S 6000 6002 5434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155337385 937431040 9321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915460
[startup+51.2844 s]
/proc/loadavg: 1.21 0.93 1.35 3/87 6010
/proc/meminfo: memFree=1610040/2055920 swapFree=4192812/4192956
[pid=6002] ppid=6000 vsize=915460 CPUtime=50.85
/proc/6002/stat : 6002 (java) R 6000 6002 5434 0 -1 0 9585 0 1 0 5078 7 0 0 25 0 8 0 155337377 937431040 9321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073827669 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6002/statm: 228865 9321 2513 14 0 215335 0
[pid=6002/tid=6004] ppid=6000 vsize=915460 CPUtime=0.03
/proc/6002/task/6004/stat : 6004 (java) S 6000 6002 5434 0 -1 64 401 0 0 0 3 0 0 0 16 0 8 0 155337381 937431040 9321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6005] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6005/stat : 6005 (java) S 6000 6002 5434 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155337382 937431040 9321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6006] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6006/stat : 6006 (java) S 6000 6002 5434 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155337382 937431040 9321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6007] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6007/stat : 6007 (java) S 6000 6002 5434 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155337385 937431040 9321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6008] ppid=6000 vsize=915460 CPUtime=0.23
/proc/6002/task/6008/stat : 6008 (java) S 6000 6002 5434 0 -1 64 396 0 0 0 22 1 0 0 16 0 8 0 155337385 937431040 9321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6009] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6009/stat : 6009 (java) S 6000 6002 5434 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155337385 937431040 9321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6010] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6010/stat : 6010 (java) R 6000 6002 5434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155337385 937431040 9321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.85
Current children cumulated vsize (KiB) 915460
[startup+102.567 s]
/proc/loadavg: 1.65 1.09 1.38 3/87 6010
/proc/meminfo: memFree=1610104/2055920 swapFree=4192812/4192956
[pid=6002] ppid=6000 vsize=915460 CPUtime=101.72
/proc/6002/stat : 6002 (java) R 6000 6002 5434 0 -1 0 9586 0 1 0 10165 7 0 0 25 0 8 0 155337377 937431040 9322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073816423 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6002/statm: 228865 9322 2513 14 0 215335 0
[pid=6002/tid=6004] ppid=6000 vsize=915460 CPUtime=0.03
/proc/6002/task/6004/stat : 6004 (java) S 6000 6002 5434 0 -1 64 401 0 0 0 3 0 0 0 16 0 8 0 155337381 937431040 9322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6005] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6005/stat : 6005 (java) S 6000 6002 5434 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155337382 937431040 9322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6006] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6006/stat : 6006 (java) S 6000 6002 5434 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155337382 937431040 9322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6007] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6007/stat : 6007 (java) S 6000 6002 5434 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155337385 937431040 9322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6008] ppid=6000 vsize=915460 CPUtime=0.23
/proc/6002/task/6008/stat : 6008 (java) S 6000 6002 5434 0 -1 64 397 0 0 0 22 1 0 0 16 0 8 0 155337385 937431040 9322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6009] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6009/stat : 6009 (java) S 6000 6002 5434 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155337385 937431040 9322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6010] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6010/stat : 6010 (java) S 6000 6002 5434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155337385 937431040 9322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.72
Current children cumulated vsize (KiB) 915460
[startup+162.587 s]
/proc/loadavg: 1.87 1.25 1.42 3/87 6010
/proc/meminfo: memFree=1610040/2055920 swapFree=4192812/4192956
[pid=6002] ppid=6000 vsize=915460 CPUtime=161.26
/proc/6002/stat : 6002 (java) R 6000 6002 5434 0 -1 0 9586 0 1 0 16119 7 0 0 25 0 8 0 155337377 937431040 9322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073804330 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1419.66
Current children cumulated vsize (KiB) 915460
[startup+1484.04 s]
/proc/loadavg: 1.05 1.04 1.18 2/72 6222
/proc/meminfo: memFree=1645240/2055920 swapFree=4192812/4192956
[pid=6002] ppid=6000 vsize=915460 CPUtime=1479.73
/proc/6002/stat : 6002 (java) R 6000 6002 5434 0 -1 0 9586 0 1 0 147964 9 0 0 25 0 8 0 155337377 937431040 9322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073815143 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6002/statm: 228865 9322 2513 14 0 215335 0
[pid=6002/tid=6004] ppid=6000 vsize=915460 CPUtime=0.03
/proc/6002/task/6004/stat : 6004 (java) S 6000 6002 5434 0 -1 64 401 0 0 0 3 0 0 0 16 0 8 0 155337381 937431040 9322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6005] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6005/stat : 6005 (java) S 6000 6002 5434 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155337382 937431040 9322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6006] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6006/stat : 6006 (java) S 6000 6002 5434 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155337382 937431040 9322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6007] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6007/stat : 6007 (java) S 6000 6002 5434 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155337385 937431040 9322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6008] ppid=6000 vsize=915460 CPUtime=0.23
/proc/6002/task/6008/stat : 6008 (java) S 6000 6002 5434 0 -1 64 397 0 0 0 22 1 0 0 16 0 8 0 155337385 937431040 9322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6009] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6009/stat : 6009 (java) S 6000 6002 5434 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155337385 937431040 9322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6010] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6010/stat : 6010 (java) R 6000 6002 5434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155337385 937431040 9322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1479.73
Current children cumulated vsize (KiB) 915460
[startup+1544.11 s]
/proc/loadavg: 1.02 1.03 1.17 2/72 6222
/proc/meminfo: memFree=1645240/2055920 swapFree=4192812/4192956
[pid=6002] ppid=6000 vsize=915460 CPUtime=1539.79
/proc/6002/stat : 6002 (java) R 6000 6002 5434 0 -1 0 9587 0 1 0 153970 9 0 0 25 0 8 0 155337377 937431040 9323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073825733 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6002/statm: 228865 9323 2513 14 0 215335 0
[pid=6002/tid=6004] ppid=6000 vsize=915460 CPUtime=0.03
/proc/6002/task/6004/stat : 6004 (java) S 6000 6002 5434 0 -1 64 401 0 0 0 3 0 0 0 16 0 8 0 155337381 937431040 9323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6005] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6005/stat : 6005 (java) S 6000 6002 5434 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155337382 937431040 9323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6006] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6006/stat : 6006 (java) S 6000 6002 5434 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155337382 937431040 9323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6007] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6007/stat : 6007 (java) S 6000 6002 5434 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155337385 937431040 9323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6008] ppid=6000 vsize=915460 CPUtime=0.23
/proc/6002/task/6008/stat : 6008 (java) S 6000 6002 5434 0 -1 64 398 0 0 0 22 1 0 0 16 0 8 0 155337385 937431040 9323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6009] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6009/stat : 6009 (java) S 6000 6002 5434 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155337385 937431040 9323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6010] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6010/stat : 6010 (java) S 6000 6002 5434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155337385 937431040 9323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1539.79
Current children cumulated vsize (KiB) 915460
[startup+1604.19 s]
/proc/loadavg: 1.00 1.02 1.16 3/72 6222
/proc/meminfo: memFree=1645240/2055920 swapFree=4192812/4192956
[pid=6002] ppid=6000 vsize=915460 CPUtime=1599.86
/proc/6002/stat : 6002 (java) R 6000 6002 5434 0 -1 0 9587 0 1 0 159977 9 0 0 25 0 8 0 155337377 937431040 9323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073817281 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6002/statm: 228865 9323 2513 14 0 215335 0
[pid=6002/tid=6004] ppid=6000 vsize=915460 CPUtime=0.03
/proc/6002/task/6004/stat : 6004 (java) S 6000 6002 5434 0 -1 64 401 0 0 0 3 0 0 0 16 0 8 0 155337381 937431040 9323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6005] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6005/stat : 6005 (java) S 6000 6002 5434 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155337382 937431040 9323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6006] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6006/stat : 6006 (java) S 6000 6002 5434 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155337382 937431040 9323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6007] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6007/stat : 6007 (java) S 6000 6002 5434 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155337385 937431040 9323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6008] ppid=6000 vsize=915460 CPUtime=0.23
/proc/6002/task/6008/stat : 6008 (java) S 6000 6002 5434 0 -1 64 398 0 0 0 22 1 0 0 16 0 8 0 155337385 937431040 9323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6009] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6009/stat : 6009 (java) S 6000 6002 5434 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155337385 937431040 9323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6010] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6010/stat : 6010 (java) S 6000 6002 5434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155337385 937431040 9323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1599.86
Current children cumulated vsize (KiB) 915460
[startup+1664.27 s]
/proc/loadavg: 1.00 1.02 1.15 2/72 6222
/proc/meminfo: memFree=1645304/2055920 swapFree=4192812/4192956
[pid=6002] ppid=6000 vsize=915460 CPUtime=1659.92
/proc/6002/stat : 6002 (java) R 6000 6002 5434 0 -1 0 9587 0 1 0 165983 9 0 0 25 0 8 0 155337377 937431040 9323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073840697 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6002/statm: 228865 9323 2513 14 0 215335 0
[pid=6002/tid=6004] ppid=6000 vsize=915460 CPUtime=0.03
/proc/6002/task/6004/stat : 6004 (java) S 6000 6002 5434 0 -1 64 401 0 0 0 3 0 0 0 16 0 8 0 155337381 937431040 9323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6005] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6005/stat : 6005 (java) S 6000 6002 5434 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155337382 937431040 9323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6006] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6006/stat : 6006 (java) S 6000 6002 5434 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155337382 937431040 9323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6007] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6007/stat : 6007 (java) S 6000 6002 5434 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155337385 937431040 9323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6008] ppid=6000 vsize=915460 CPUtime=0.23
/proc/6002/task/6008/stat : 6008 (java) S 6000 6002 5434 0 -1 64 398 0 0 0 22 1 0 0 16 0 8 0 155337385 937431040 9323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6009] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6009/stat : 6009 (java) S 6000 6002 5434 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155337385 937431040 9323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6010] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6010/stat : 6010 (java) S 6000 6002 5434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155337385 937431040 9323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1659.92
Current children cumulated vsize (KiB) 915460
[startup+1724.35 s]
/proc/loadavg: 1.04 1.03 1.14 2/72 6222
/proc/meminfo: memFree=1645304/2055920 swapFree=4192812/4192956
[pid=6002] ppid=6000 vsize=915460 CPUtime=1719.99
/proc/6002/stat : 6002 (java) R 6000 6002 5434 0 -1 0 9587 0 1 0 171990 9 0 0 25 0 8 0 155337377 937431040 9323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073804333 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6002/statm: 228865 9323 2513 14 0 215335 0
[pid=6002/tid=6004] ppid=6000 vsize=915460 CPUtime=0.03
/proc/6002/task/6004/stat : 6004 (java) S 6000 6002 5434 0 -1 64 401 0 0 0 3 0 0 0 16 0 8 0 155337381 937431040 9323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6005] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6005/stat : 6005 (java) S 6000 6002 5434 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155337382 937431040 9323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6006] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6006/stat : 6006 (java) S 6000 6002 5434 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155337382 937431040 9323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6007] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6007/stat : 6007 (java) S 6000 6002 5434 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155337385 937431040 9323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6008] ppid=6000 vsize=915460 CPUtime=0.23
/proc/6002/task/6008/stat : 6008 (java) S 6000 6002 5434 0 -1 64 398 0 0 0 22 1 0 0 16 0 8 0 155337385 937431040 9323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6009] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6009/stat : 6009 (java) S 6000 6002 5434 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155337385 937431040 9323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6010] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6010/stat : 6010 (java) S 6000 6002 5434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155337385 937431040 9323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1719.99
Current children cumulated vsize (KiB) 915460
[startup+1784.43 s]
/proc/loadavg: 1.02 1.02 1.13 2/72 6222
/proc/meminfo: memFree=1645304/2055920 swapFree=4192812/4192956
[pid=6002] ppid=6000 vsize=915460 CPUtime=1780.05
/proc/6002/stat : 6002 (java) R 6000 6002 5434 0 -1 0 9587 0 1 0 177996 9 0 0 25 0 8 0 155337377 937431040 9323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073826662 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6002/statm: 228865 9323 2513 14 0 215335 0
[pid=6002/tid=6004] ppid=6000 vsize=915460 CPUtime=0.03
/proc/6002/task/6004/stat : 6004 (java) S 6000 6002 5434 0 -1 64 401 0 0 0 3 0 0 0 16 0 8 0 155337381 937431040 9323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6005] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6005/stat : 6005 (java) S 6000 6002 5434 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155337382 937431040 9323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6006] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6006/stat : 6006 (java) S 6000 6002 5434 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155337382 937431040 9323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6007] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6007/stat : 6007 (java) S 6000 6002 5434 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155337385 937431040 9323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6008] ppid=6000 vsize=915460 CPUtime=0.23
/proc/6002/task/6008/stat : 6008 (java) S 6000 6002 5434 0 -1 64 398 0 0 0 22 1 0 0 16 0 8 0 155337385 937431040 9323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6009] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6009/stat : 6009 (java) S 6000 6002 5434 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155337385 937431040 9323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6010] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6010/stat : 6010 (java) S 6000 6002 5434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155337385 937431040 9323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1780.05
Current children cumulated vsize (KiB) 915460
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1804.45 s]
/proc/loadavg: 1.01 1.02 1.12 2/72 6222
/proc/meminfo: memFree=1645304/2055920 swapFree=4192812/4192956
[pid=6002] ppid=6000 vsize=915460 CPUtime=1800.07
/proc/6002/stat : 6002 (java) R 6000 6002 5434 0 -1 0 9587 0 1 0 179998 9 0 0 25 0 8 0 155337377 937431040 9323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073804176 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6002/statm: 228865 9323 2513 14 0 215335 0
[pid=6002/tid=6004] ppid=6000 vsize=915460 CPUtime=0.03
/proc/6002/task/6004/stat : 6004 (java) S 6000 6002 5434 0 -1 64 401 0 0 0 3 0 0 0 16 0 8 0 155337381 937431040 9323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6005] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6005/stat : 6005 (java) S 6000 6002 5434 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155337382 937431040 9323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6006] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6006/stat : 6006 (java) S 6000 6002 5434 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155337382 937431040 9323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6007] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6007/stat : 6007 (java) S 6000 6002 5434 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155337385 937431040 9323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6008] ppid=6000 vsize=915460 CPUtime=0.23
/proc/6002/task/6008/stat : 6008 (java) S 6000 6002 5434 0 -1 64 398 0 0 0 22 1 0 0 16 0 8 0 155337385 937431040 9323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6009] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6009/stat : 6009 (java) S 6000 6002 5434 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155337385 937431040 9323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6002/tid=6010] ppid=6000 vsize=915460 CPUtime=0
/proc/6002/task/6010/stat : 6010 (java) R 6000 6002 5434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155337385 937431040 9323 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) 915460
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1804.51
CPU time (s): 1800.14
CPU user time (s): 1800.04
CPU system time (s): 0.100984
CPU usage (%): 99.7575
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.04
system time used= 0.100984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9606
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= 37636
involuntary context switches= 24604
runsolver used 1.75773 s user time and 4.64629 s system time
The end
Begin job on node41 on Sat Jan 6 07:42:57 UTC 2007
IDJOB= 194491
IDBENCH= 3217
FILE ID= node41/194491-1168069372
PBS_JOBID= 3475927
Free space on /tmp= 66529 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23/rand-2-50-23-587-230-12_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/194491-1168069372/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node41/watcher-194491-1168069372 -o ROOT/results/node41/solver-194491-1168069372 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/194491-1168069372/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 64e6f847c96104277628cca066acf87f
RANDOM SEED= 231304144
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.234
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.234
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: 1637968 kB
Buffers: 31984 kB
Cached: 262388 kB
SwapCached: 0 kB
Active: 84612 kB
Inactive: 257644 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1637968 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4216 kB
Writeback: 0 kB
Mapped: 68136 kB
Slab: 60916 kB
Committed_AS: 3307656 kB
PageTables: 1972 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= 66531 MiB
End job on node41 on Sat Jan 6 08:13:08 UTC 2007