0.36
0.36 Abscon 109 (November, 2006)
0.36
0.36 configuration
0.36 name=mac.xml
0.47
0.47 instance
0.47 name=/tmp/evaluation/206307-1168073546/unknown.xml
0.50
0.50 domains being loaded...
0.50
0.50 variables being loaded...
0.53 nbVariables=28 nbDomainTypes=1 minDomainSize=28 maxDomainSize=28
0.53 => wckTime=0.166 cpuTime=0.09 mem=6M951
0.53
0.53 relations being loaded...
1.62
1.62 constraints being loaded...
2.30 nbConstraints=93 nbRelationTypes=93 nbExtensionStructures=93 nbSharedExtensionStructures=0
2.30 nbConflictsStructures=93 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=15 maxArity=3
2.30 => wckTime=1.933 cpuTime=1.51 mem=59M109
2.46
2.46 solver IterativeSystematicSolver being built...
2.61 => wckTime=2.246 cpuTime=1.64 mem=66M390
2.62
2.62 preprocessing
2.62 nbConstraintChecks=0 nbPropagations=28 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
2.62 detectedInconsistency=no
2.62 => wckTime=0.0030 cpuTime=0.01 mem=66M390
2.79
2.79 search
2.79 run=0 nbConstraintChecks=57919 nbValidityChecks=105877 nbPropagations=493 nbRevisions=5668
2.79 nbUselessRevisions=4577 nbAssignments=48 nbFailedAssignments=31 nbBacktracks=10 nbVisitedNodes=89
2.79 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
2.79 => wckTime=0.168 cpuTime=0.13 mem=66M390
2.95
2.95 search
2.95 run=1 nbConstraintChecks=148507 nbValidityChecks=279360 nbPropagations=1583 nbRevisions=19591
2.95 nbUselessRevisions=15876 nbAssignments=105 nbFailedAssignments=65 nbBacktracks=29 nbVisitedNodes=189
2.95 nbRestartNogoods=10 mapSize=25 nbInferences=0 nbTooLargeKeys=0
2.95 => wckTime=0.331 cpuTime=0.29 mem=66M390
3.07
3.07 search
3.07 run=2 nbConstraintChecks=214214 nbValidityChecks=410382 nbPropagations=3209 nbRevisions=39964
3.07 nbUselessRevisions=32355 nbAssignments=161 nbFailedAssignments=92 nbBacktracks=52 nbVisitedNodes=280
3.07 nbRestartNogoods=11 mapSize=38 nbInferences=0 nbTooLargeKeys=0
3.07 => wckTime=0.458 cpuTime=0.4 mem=66M390
3.26
3.26 search
3.26 run=3 nbConstraintChecks=323312 nbValidityChecks=640052 nbPropagations=5715 nbRevisions=71515
3.26 nbUselessRevisions=57846 nbAssignments=251 nbFailedAssignments=143 nbBacktracks=85 nbVisitedNodes=441
3.26 nbRestartNogoods=19 mapSize=66 nbInferences=0 nbTooLargeKeys=0
3.26 => wckTime=0.639 cpuTime=0.58 mem=66M390
3.53
3.53 search
3.53 run=4 nbConstraintChecks=481809 nbValidityChecks=952121 nbPropagations=9594 nbRevisions=120366
3.53 nbUselessRevisions=96945 nbAssignments=359 nbFailedAssignments=193 nbBacktracks=135 nbVisitedNodes=632
3.53 nbRestartNogoods=22 mapSize=110 nbInferences=0 nbTooLargeKeys=0
3.53 => wckTime=0.908 cpuTime=0.85 mem=66M390
4.06
4.06 search
4.06 run=5 nbConstraintChecks=795554 nbValidityChecks=1582278 nbPropagations=16004 nbRevisions=201011
4.06 nbUselessRevisions=161346 nbAssignments=556 nbFailedAssignments=304 nbBacktracks=214 nbVisitedNodes=991
4.06 nbRestartNogoods=31 mapSize=177 nbInferences=0 nbTooLargeKeys=0
4.06 => wckTime=1.44 cpuTime=1.38 mem=66M390
4.83
4.83 search
4.83 run=6 nbConstraintChecks=1271407 nbValidityChecks=2522723 nbPropagations=25982 nbRevisions=331985
4.83 nbUselessRevisions=266550 nbAssignments=852 nbFailedAssignments=480 nbBacktracks=328 nbVisitedNodes=1535
4.83 nbRestartNogoods=40 mapSize=273 nbInferences=0 nbTooLargeKeys=0
4.83 => wckTime=2.21 cpuTime=2.14 mem=66M390
5.94
5.94 search
5.94 run=7 nbConstraintChecks=1941353 nbValidityChecks=3846761 nbPropagations=41144 nbRevisions=528126
5.94 nbUselessRevisions=423300 nbAssignments=1252 nbFailedAssignments=705 nbBacktracks=498 nbVisitedNodes=2273
5.94 nbRestartNogoods=54 mapSize=417 nbInferences=0 nbTooLargeKeys=0
5.94 => wckTime=3.322 cpuTime=3.25 mem=66M390
7.09
7.09 search
7.09 run=8 nbConstraintChecks=2639928 nbValidityChecks=5256971 nbPropagations=62464 nbRevisions=804018
7.09 nbUselessRevisions=644548 nbAssignments=1754 nbFailedAssignments=945 nbBacktracks=754 nbVisitedNodes=3159
7.09 nbRestartNogoods=61 mapSize=625 nbInferences=0 nbTooLargeKeys=0
7.09 => wckTime=4.477 cpuTime=4.39 mem=66M390
10.15
10.15 search
10.15 run=9 nbConstraintChecks=4516501 nbValidityChecks=9049850 nbPropagations=97801 nbRevisions=1257948
10.15 nbUselessRevisions=1006370 nbAssignments=2903 nbFailedAssignments=1704 nbBacktracks=1138 nbVisitedNodes=5340
10.15 nbRestartNogoods=71 mapSize=949 nbInferences=0 nbTooLargeKeys=0
10.15 => wckTime=7.528 cpuTime=7.43 mem=67M381
10.68
10.68 INFO : Stopping hyperNogood (mapSize=1041, nbTooLargekeys=0, mem=67M381)
12.89
12.89 search
12.89 run=10 nbConstraintChecks=6249228 nbValidityChecks=12637139 nbPropagations=148033 nbRevisions=1907896
12.89 nbUselessRevisions=1528292 nbAssignments=4178 nbFailedAssignments=2395 nbBacktracks=1714 nbVisitedNodes=7632
12.89 nbRestartNogoods=91
12.89 => wckTime=10.269 cpuTime=10.16 mem=67M381
17.15
17.15 search
17.15 run=11 nbConstraintChecks=8991422 nbValidityChecks=18228234 nbPropagations=221763 nbRevisions=2853994
17.15 nbUselessRevisions=2286994 nbAssignments=6301 nbFailedAssignments=3648 nbBacktracks=2578 nbVisitedNodes=11531
17.15 nbRestartNogoods=104
17.15 => wckTime=14.53 cpuTime=14.4 mem=67M381
24.20
24.20 search
24.20 run=12 nbConstraintChecks=13539886 nbValidityChecks=27638289 nbPropagations=333994 nbRevisions=4303699
24.20 nbUselessRevisions=3453745 nbAssignments=9648 nbFailedAssignments=5691 nbBacktracks=3876 nbVisitedNodes=17688
24.20 nbRestartNogoods=111
24.20 => wckTime=21.587 cpuTime=21.45 mem=67M381
37.03
37.03 search
37.03 run=13 nbConstraintChecks=21468932 nbValidityChecks=43653803 nbPropagations=507816 nbRevisions=6528316
37.03 nbUselessRevisions=5238280 nbAssignments=14278 nbFailedAssignments=8369 nbBacktracks=5823 nbVisitedNodes=26346
37.03 nbRestartNogoods=125
37.03 => wckTime=34.411 cpuTime=34.26 mem=67M381
50.22
50.22 search
50.22 run=14 nbConstraintChecks=29944346 nbValidityChecks=60885651 nbPropagations=752152 nbRevisions=9664786
50.22 nbUselessRevisions=7758558 nbAssignments=20492 nbFailedAssignments=11656 nbBacktracks=8745 nbVisitedNodes=37488
50.22 nbRestartNogoods=141
50.22 => wckTime=47.601 cpuTime=47.44 mem=67M381
71.67
71.67 search
71.67 run=15 nbConstraintChecks=43694851 nbValidityChecks=87880031 nbPropagations=1111517 nbRevisions=14198721
71.67 nbUselessRevisions=11394550 nbAssignments=29527 nbFailedAssignments=16307 nbBacktracks=13123
71.67 nbVisitedNodes=53828 nbRestartNogoods=152
71.67 => wckTime=69.056 cpuTime=68.86 mem=67M381
107.82
107.82 search
107.82 run=16 nbConstraintChecks=67057634 nbValidityChecks=134122382 nbPropagations=1654113 nbRevisions=21210279
107.82 nbUselessRevisions=17032231 nbAssignments=44061 nbFailedAssignments=24266 nbBacktracks=19692
107.82 nbVisitedNodes=80612 nbRestartNogoods=175
107.82 => wckTime=105.199 cpuTime=104.97 mem=67M381
163.57
163.57 search
163.57 run=17 nbConstraintChecks=102832048 nbValidityChecks=207230831 nbPropagations=2512920 nbRevisions=32249362
163.57 nbUselessRevisions=25887413 nbAssignments=71417 nbFailedAssignments=41763 nbBacktracks=29544
163.57 nbVisitedNodes=132157 nbRestartNogoods=184
163.57 => wckTime=160.95 cpuTime=160.67 mem=67M381
238.91
238.91 search
238.91 run=18 nbConstraintChecks=151464981 nbValidityChecks=305625740 nbPropagations=3773858 nbRevisions=48564373
238.91 nbUselessRevisions=39001243 nbAssignments=105622 nbFailedAssignments=61181 nbBacktracks=44325
238.91 nbVisitedNodes=194440 nbRestartNogoods=211
238.91 => wckTime=236.297 cpuTime=235.95 mem=67M381
357.92
357.92 search
357.92 run=19 nbConstraintChecks=227157791 nbValidityChecks=455655490 nbPropagations=5653917 nbRevisions=72481654
357.92 nbUselessRevisions=58173907 nbAssignments=153953 nbFailedAssignments=87341 nbBacktracks=66493
357.92 nbVisitedNodes=282556 nbRestartNogoods=233
357.92 => wckTime=355.302 cpuTime=354.84 mem=67M381
527.92
527.92 search
527.92 run=20 nbConstraintChecks=337090412 nbValidityChecks=676836837 nbPropagations=8436482 nbRevisions=108335379
527.92 nbUselessRevisions=86990902 nbAssignments=229748 nbFailedAssignments=129874 nbBacktracks=99747
527.92 nbVisitedNodes=420744 nbRestartNogoods=242
527.92 => wckTime=525.307 cpuTime=524.65 mem=67M381
829.35
829.35 search
829.35 run=21 nbConstraintChecks=528097699 nbValidityChecks=1057343398 nbPropagations=12716719 nbRevisions=163661074
829.35 nbUselessRevisions=131442945 nbAssignments=346677 nbFailedAssignments=196920 nbBacktracks=149625
829.35 nbVisitedNodes=637425 nbRestartNogoods=267
829.35 => wckTime=826.73 cpuTime=825.71 mem=67M381
1223.04
1223.04 search
1223.04 run=22 nbConstraintChecks=781511576 nbValidityChecks=1568128519 nbPropagations=19120900 nbRevisions=246098241
1223.04 nbUselessRevisions=197639896 nbAssignments=525914 nbFailedAssignments=301332 nbBacktracks=224443
1223.04 nbVisitedNodes=967945 nbRestartNogoods=291
1223.04 => wckTime=1220.422 cpuTime=1219.04 mem=67M381
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node47/watcher-206307-1168073546 -o ROOT/results/node47/solver-206307-1168073546 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206307-1168073546/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.52 1.91 1.86 3/69 2261
/proc/meminfo: memFree=1771592/2055920 swapFree=4192812/4192956
[pid=2260] ppid=2256 vsize=164 CPUtime=0
/proc/2260/stat : 2260 (java) R 2256 2260 1670 0 -1 0 196 0 0 0 0 0 0 0 20 0 1 0 155754163 167936 3 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2260/statm: 42 18 13 14 0 2 0
[startup+0.104443 s]
/proc/loadavg: 1.52 1.91 1.86 3/69 2261
/proc/meminfo: memFree=1771592/2055920 swapFree=4192812/4192956
[pid=2260] ppid=2256 vsize=911488 CPUtime=0.07
/proc/2260/stat : 2260 (java) R 2256 2260 1670 0 -1 0 2587 0 1 0 5 2 0 0 22 0 8 0 155754163 933363712 2334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155839970 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2260/statm: 227872 2334 1272 14 0 215051 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 911488
[startup+0.513672 s]
/proc/loadavg: 1.52 1.91 1.86 3/69 2261
/proc/meminfo: memFree=1771592/2055920 swapFree=4192812/4192956
[pid=2260] ppid=2256 vsize=915328 CPUtime=0.38
/proc/2260/stat : 2260 (java) R 2256 2260 1670 0 -1 0 5895 0 1 0 31 7 0 0 17 0 8 0 155754163 937295872 5634 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155717505 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2260/statm: 228832 5634 2121 14 0 215302 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 915328
[startup+1.33477 s]
/proc/loadavg: 1.52 1.91 1.86 2/75 2294
/proc/meminfo: memFree=1692880/2055920 swapFree=4192812/4192956
[pid=2260] ppid=2256 vsize=915328 CPUtime=1.19
/proc/2260/stat : 2260 (java) R 2256 2260 1670 0 -1 0 19098 0 1 0 107 12 0 0 17 0 8 0 155754163 937295872 18835 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073561021 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2260/statm: 228832 18835 2149 14 0 215302 0
[pid=2260/tid=2262] ppid=2256 vsize=915328 CPUtime=0.05
/proc/2260/task/2262/stat : 2262 (java) S 2256 2260 1670 0 -1 64 2682 0 0 0 4 1 0 0 16 0 8 0 155754167 937295872 18835 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2263] ppid=2256 vsize=915328 CPUtime=0
/proc/2260/task/2263/stat : 2263 (java) S 2256 2260 1670 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155754167 937295872 18835 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2260/tid=2264] ppid=2256 vsize=915328 CPUtime=0
/proc/2260/task/2264/stat : 2264 (java) S 2256 2260 1670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155754167 937295872 18835 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2260/tid=2265] ppid=2256 vsize=915328 CPUtime=0
/proc/2260/task/2265/stat : 2265 (java) S 2256 2260 1670 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155754173 937295872 18835 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2266] ppid=2256 vsize=915328 CPUtime=0.06
/proc/2260/task/2266/stat : 2266 (java) S 2256 2260 1670 0 -1 64 307 0 0 0 6 0 0 0 16 0 8 0 155754173 937295872 18835 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2267] ppid=2256 vsize=915328 CPUtime=0
/proc/2260/task/2267/stat : 2267 (java) S 2256 2260 1670 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155754173 937295872 18835 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2268] ppid=2256 vsize=915328 CPUtime=0
/proc/2260/task/2268/stat : 2268 (java) S 2256 2260 1670 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155754173 937295872 18835 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 915328
[startup+2.97194 s]
/proc/loadavg: 1.56 1.91 1.86 3/87 2306
/proc/meminfo: memFree=1598064/2055920 swapFree=4192812/4192956
[pid=2260] ppid=2256 vsize=915424 CPUtime=2.83
/proc/2260/stat : 2260 (java) R 2256 2260 1670 0 -1 0 32676 0 1 0 264 19 0 0 25 0 8 0 155754163 937394176 32409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918484 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2260/statm: 228856 32409 2521 14 0 215326 0
[pid=2260/tid=2262] ppid=2256 vsize=915424 CPUtime=0.42
/proc/2260/task/2262/stat : 2262 (java) S 2256 2260 1670 0 -1 64 15714 0 0 0 37 5 0 0 16 0 8 0 155754167 937394176 32409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2263] ppid=2256 vsize=915424 CPUtime=0
/proc/2260/task/2263/stat : 2263 (java) S 2256 2260 1670 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155754167 937394176 32409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2264] ppid=2256 vsize=915424 CPUtime=0
/proc/2260/task/2264/stat : 2264 (java) S 2256 2260 1670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155754167 937394176 32409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2265] ppid=2256 vsize=915424 CPUtime=0
/proc/2260/task/2265/stat : 2265 (java) S 2256 2260 1670 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155754173 937394176 32409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2266] ppid=2256 vsize=915424 CPUtime=0.17
/proc/2260/task/2266/stat : 2266 (java) S 2256 2260 1670 0 -1 64 366 0 0 0 16 1 0 0 15 0 8 0 155754173 937394176 32409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2267] ppid=2256 vsize=915424 CPUtime=0
/proc/2260/task/2267/stat : 2267 (java) S 2256 2260 1670 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155754173 937394176 32409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2268] ppid=2256 vsize=915424 CPUtime=0
/proc/2260/task/2268/stat : 2268 (java) S 2256 2260 1670 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155754173 937394176 32409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 915424
[startup+6.2693 s]
/proc/loadavg: 1.56 1.91 1.86 3/87 2306
/proc/meminfo: memFree=1518000/2055920 swapFree=4192812/4192956
[pid=2260] ppid=2256 vsize=915424 CPUtime=6.12
/proc/2260/stat : 2260 (java) R 2256 2260 1670 0 -1 0 32689 0 1 0 593 19 0 0 25 0 8 0 155754163 937394176 32419 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634858 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2260/statm: 228856 32419 2521 14 0 215326 0
[pid=2260/tid=2262] ppid=2256 vsize=915424 CPUtime=0.42
/proc/2260/task/2262/stat : 2262 (java) S 2256 2260 1670 0 -1 64 15714 0 0 0 37 5 0 0 17 0 8 0 155754167 937394176 32419 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2263] ppid=2256 vsize=915424 CPUtime=0
/proc/2260/task/2263/stat : 2263 (java) S 2256 2260 1670 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155754167 937394176 32419 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2264] ppid=2256 vsize=915424 CPUtime=0
/proc/2260/task/2264/stat : 2264 (java) S 2256 2260 1670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155754167 937394176 32419 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2265] ppid=2256 vsize=915424 CPUtime=0
/proc/2260/task/2265/stat : 2265 (java) S 2256 2260 1670 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155754173 937394176 32419 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2266] ppid=2256 vsize=915424 CPUtime=0.2
/proc/2260/task/2266/stat : 2266 (java) S 2256 2260 1670 0 -1 64 377 0 0 0 19 1 0 0 15 0 8 0 155754173 937394176 32419 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2267] ppid=2256 vsize=915424 CPUtime=0
/proc/2260/task/2267/stat : 2267 (java) S 2256 2260 1670 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155754173 937394176 32419 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2268] ppid=2256 vsize=915424 CPUtime=0
/proc/2260/task/2268/stat : 2268 (java) S 2256 2260 1670 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155754173 937394176 32419 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 915424
[startup+12.749 s]
/proc/loadavg: 1.63 1.91 1.86 3/87 2306
/proc/meminfo: memFree=1518000/2055920 swapFree=4192812/4192956
[pid=2260] ppid=2256 vsize=915424 CPUtime=12.6
/proc/2260/stat : 2260 (java) R 2256 2260 1670 0 -1 0 32706 0 1 0 1241 19 0 0 25 0 8 0 155754163 937394176 32433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073767156 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2260/statm: 228856 32433 2521 14 0 215326 0
[pid=2260/tid=2262] ppid=2256 vsize=915424 CPUtime=0.42
/proc/2260/task/2262/stat : 2262 (java) S 2256 2260 1670 0 -1 64 15714 0 0 0 37 5 0 0 16 0 8 0 155754167 937394176 32433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2263] ppid=2256 vsize=915424 CPUtime=0
/proc/2260/task/2263/stat : 2263 (java) S 2256 2260 1670 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155754167 937394176 32433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2264] ppid=2256 vsize=915424 CPUtime=0
/proc/2260/task/2264/stat : 2264 (java) S 2256 2260 1670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155754167 937394176 32433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2265] ppid=2256 vsize=915424 CPUtime=0
/proc/2260/task/2265/stat : 2265 (java) S 2256 2260 1670 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155754173 937394176 32433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2266] ppid=2256 vsize=915424 CPUtime=0.24
/proc/2260/task/2266/stat : 2266 (java) S 2256 2260 1670 0 -1 64 392 0 0 0 22 2 0 0 16 0 8 0 155754173 937394176 32433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2267] ppid=2256 vsize=915424 CPUtime=0
/proc/2260/task/2267/stat : 2267 (java) S 2256 2260 1670 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155754173 937394176 32433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2268] ppid=2256 vsize=915424 CPUtime=0
/proc/2260/task/2268/stat : 2268 (java) S 2256 2260 1670 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155754173 937394176 32433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915424
[startup+25.6354 s]
/proc/loadavg: 1.68 1.92 1.86 3/87 2306
/proc/meminfo: memFree=1518128/2055920 swapFree=4192812/4192956
[pid=2260] ppid=2256 vsize=915424 CPUtime=25.46
/proc/2260/stat : 2260 (java) R 2256 2260 1670 0 -1 0 32706 0 1 0 2527 19 0 0 25 0 8 0 155754163 937394176 32433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2260/statm: 228856 32433 2521 14 0 215326 0
[pid=2260/tid=2262] ppid=2256 vsize=915424 CPUtime=0.42
/proc/2260/task/2262/stat : 2262 (java) S 2256 2260 1670 0 -1 64 15714 0 0 0 37 5 0 0 16 0 8 0 155754167 937394176 32433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2263] ppid=2256 vsize=915424 CPUtime=0
/proc/2260/task/2263/stat : 2263 (java) S 2256 2260 1670 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155754167 937394176 32433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2264] ppid=2256 vsize=915424 CPUtime=0
/proc/2260/task/2264/stat : 2264 (java) S 2256 2260 1670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155754167 937394176 32433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2265] ppid=2256 vsize=915424 CPUtime=0
/proc/2260/task/2265/stat : 2265 (java) S 2256 2260 1670 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155754173 937394176 32433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2266] ppid=2256 vsize=915424 CPUtime=0.24
/proc/2260/task/2266/stat : 2266 (java) S 2256 2260 1670 0 -1 64 392 0 0 0 22 2 0 0 16 0 8 0 155754173 937394176 32433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2267] ppid=2256 vsize=915424 CPUtime=0
/proc/2260/task/2267/stat : 2267 (java) S 2256 2260 1670 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155754173 937394176 32433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2268] ppid=2256 vsize=915424 CPUtime=0
/proc/2260/task/2268/stat : 2268 (java) S 2256 2260 1670 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155754173 937394176 32433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 915424
[startup+51.2651 s]
/proc/loadavg: 1.79 1.92 1.87 3/87 2306
/proc/meminfo: memFree=1518256/2055920 swapFree=4192812/4192956
[pid=2260] ppid=2256 vsize=915424 CPUtime=51.06
/proc/2260/stat : 2260 (java) R 2256 2260 1670 0 -1 0 32706 0 1 0 5086 20 0 0 25 0 8 0 155754163 937394176 32433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073776709 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2260/statm: 228856 32433 2521 14 0 215326 0
[pid=2260/tid=2262] ppid=2256 vsize=915424 CPUtime=0.42
/proc/2260/task/2262/stat : 2262 (java) S 2256 2260 1670 0 -1 64 15714 0 0 0 37 5 0 0 16 0 8 0 155754167 937394176 32433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2263] ppid=2256 vsize=915424 CPUtime=0
/proc/2260/task/2263/stat : 2263 (java) S 2256 2260 1670 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155754167 937394176 32433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2264] ppid=2256 vsize=915424 CPUtime=0
/proc/2260/task/2264/stat : 2264 (java) S 2256 2260 1670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155754167 937394176 32433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2265] ppid=2256 vsize=915424 CPUtime=0
/proc/2260/task/2265/stat : 2265 (java) S 2256 2260 1670 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155754173 937394176 32433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2266] ppid=2256 vsize=915424 CPUtime=0.24
/proc/2260/task/2266/stat : 2266 (java) S 2256 2260 1670 0 -1 64 392 0 0 0 22 2 0 0 16 0 8 0 155754173 937394176 32433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2267] ppid=2256 vsize=915424 CPUtime=0
/proc/2260/task/2267/stat : 2267 (java) S 2256 2260 1670 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155754173 937394176 32433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2268] ppid=2256 vsize=915424 CPUtime=0
/proc/2260/task/2268/stat : 2268 (java) S 2256 2260 1670 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155754173 937394176 32433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 915424
[startup+102.522 s]
/proc/loadavg: 1.91 1.93 1.87 3/87 2306
/proc/meminfo: memFree=1518320/2055920 swapFree=4192812/4192956
[pid=2260] ppid=2256 vsize=915424 CPUtime=102.27
/proc/2260/stat : 2260 (java) R 2256 2260 1670 0 -1 0 32708 0 1 0 10207 20 0 0 25 0 8 0 155754163 937394176 32434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2260/statm: 228856 32434 2521 14 0 215326 0
[pid=2260/tid=2262] ppid=2256 vsize=915424 CPUtime=0.42
/proc/2260/task/2262/stat : 2262 (java) S 2256 2260 1670 0 -1 64 15714 0 0 0 37 5 0 0 16 0 8 0 155754167 937394176 32434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2263] ppid=2256 vsize=915424 CPUtime=0
/proc/2260/task/2263/stat : 2263 (java) S 2256 2260 1670 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155754167 937394176 32434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2264] ppid=2256 vsize=915424 CPUtime=0
/proc/2260/task/2264/stat : 2264 (java) S 2256 2260 1670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155754167 937394176 32434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2265] ppid=2256 vsize=915424 CPUtime=0
/proc/2260/task/2265/stat : 2265 (java) S 2256 2260 1670 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155754173 937394176 32434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2266] ppid=2256 vsize=915424 CPUtime=0.24
/proc/2260/task/2266/stat : 2266 (java) S 2256 2260 1670 0 -1 64 393 0 0 0 22 2 0 0 16 0 8 0 155754173 937394176 32434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2267] ppid=2256 vsize=915424 CPUtime=0
/proc/2260/task/2267/stat : 2267 (java) S 2256 2260 1670 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155754173 937394176 32434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2268] ppid=2256 vsize=915424 CPUtime=0
/proc/2260/task/2268/stat : 2268 (java) S 2256 2260 1670 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155754173 937394176 32434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 915424
[startup+162.528 s]
/proc/loadavg: 1.97 1.94 1.88 3/87 2306
/proc/meminfo: memFree=1518320/2055920 swapFree=4192812/4192956
[pid=2260] ppid=2256 vsize=915424 CPUtime=162.21
/proc/2260/stat : 2260 (java) R 2256 2260 1670 0 -1 0 32708 0 1 0 16201 20 0 0 25 0 8 0 155754163 937394176 32434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1421.08
Current children cumulated vsize (KiB) 915424
[startup+1482.7 s]
/proc/loadavg: 2.00 2.01 1.94 3/87 2504
/proc/meminfo: memFree=1517872/2055920 swapFree=4192812/4192956
[pid=2260] ppid=2256 vsize=915424 CPUtime=1481.03
/proc/2260/stat : 2260 (java) R 2256 2260 1670 0 -1 0 32709 0 1 0 148062 41 0 0 25 0 8 0 155754163 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073792473 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2260/statm: 228856 32435 2521 14 0 215326 0
[pid=2260/tid=2262] ppid=2256 vsize=915424 CPUtime=0.42
/proc/2260/task/2262/stat : 2262 (java) S 2256 2260 1670 0 -1 64 15714 0 0 0 37 5 0 0 16 0 8 0 155754167 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2263] ppid=2256 vsize=915424 CPUtime=0
/proc/2260/task/2263/stat : 2263 (java) S 2256 2260 1670 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155754167 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2264] ppid=2256 vsize=915424 CPUtime=0
/proc/2260/task/2264/stat : 2264 (java) S 2256 2260 1670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155754167 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2265] ppid=2256 vsize=915424 CPUtime=0
/proc/2260/task/2265/stat : 2265 (java) S 2256 2260 1670 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155754173 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2266] ppid=2256 vsize=915424 CPUtime=0.24
/proc/2260/task/2266/stat : 2266 (java) S 2256 2260 1670 0 -1 64 394 0 0 0 22 2 0 0 16 0 8 0 155754173 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2267] ppid=2256 vsize=915424 CPUtime=0
/proc/2260/task/2267/stat : 2267 (java) S 2256 2260 1670 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155754173 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2268] ppid=2256 vsize=915424 CPUtime=0
/proc/2260/task/2268/stat : 2268 (java) S 2256 2260 1670 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155754173 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1481.03
Current children cumulated vsize (KiB) 915424
[startup+1542.71 s]
/proc/loadavg: 2.00 2.01 1.94 3/87 2506
/proc/meminfo: memFree=1517672/2055920 swapFree=4192812/4192956
[pid=2260] ppid=2256 vsize=915424 CPUtime=1540.98
/proc/2260/stat : 2260 (java) R 2256 2260 1670 0 -1 0 32709 0 1 0 154057 41 0 0 25 0 8 0 155754163 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073785625 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2260/statm: 228856 32435 2521 14 0 215326 0
[pid=2260/tid=2262] ppid=2256 vsize=915424 CPUtime=0.42
/proc/2260/task/2262/stat : 2262 (java) S 2256 2260 1670 0 -1 64 15714 0 0 0 37 5 0 0 16 0 8 0 155754167 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2263] ppid=2256 vsize=915424 CPUtime=0
/proc/2260/task/2263/stat : 2263 (java) S 2256 2260 1670 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155754167 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2264] ppid=2256 vsize=915424 CPUtime=0
/proc/2260/task/2264/stat : 2264 (java) S 2256 2260 1670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155754167 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2265] ppid=2256 vsize=915424 CPUtime=0
/proc/2260/task/2265/stat : 2265 (java) S 2256 2260 1670 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155754173 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2266] ppid=2256 vsize=915424 CPUtime=0.24
/proc/2260/task/2266/stat : 2266 (java) S 2256 2260 1670 0 -1 64 394 0 0 0 22 2 0 0 16 0 8 0 155754173 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2267] ppid=2256 vsize=915424 CPUtime=0
/proc/2260/task/2267/stat : 2267 (java) S 2256 2260 1670 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155754173 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2268] ppid=2256 vsize=915424 CPUtime=0
/proc/2260/task/2268/stat : 2268 (java) S 2256 2260 1670 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155754173 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1540.98
Current children cumulated vsize (KiB) 915424
[startup+1602.71 s]
/proc/loadavg: 2.00 2.00 1.94 3/87 2506
/proc/meminfo: memFree=1517744/2055920 swapFree=4192812/4192956
[pid=2260] ppid=2256 vsize=915424 CPUtime=1600.91
/proc/2260/stat : 2260 (java) R 2256 2260 1670 0 -1 0 32709 0 1 0 160050 41 0 0 25 0 8 0 155754163 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336182 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2260/statm: 228856 32435 2521 14 0 215326 0
[pid=2260/tid=2262] ppid=2256 vsize=915424 CPUtime=0.42
/proc/2260/task/2262/stat : 2262 (java) S 2256 2260 1670 0 -1 64 15714 0 0 0 37 5 0 0 16 0 8 0 155754167 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2263] ppid=2256 vsize=915424 CPUtime=0
/proc/2260/task/2263/stat : 2263 (java) S 2256 2260 1670 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155754167 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2264] ppid=2256 vsize=915424 CPUtime=0
/proc/2260/task/2264/stat : 2264 (java) S 2256 2260 1670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155754167 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2265] ppid=2256 vsize=915424 CPUtime=0
/proc/2260/task/2265/stat : 2265 (java) S 2256 2260 1670 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155754173 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2266] ppid=2256 vsize=915424 CPUtime=0.24
/proc/2260/task/2266/stat : 2266 (java) S 2256 2260 1670 0 -1 64 394 0 0 0 22 2 0 0 16 0 8 0 155754173 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2267] ppid=2256 vsize=915424 CPUtime=0
/proc/2260/task/2267/stat : 2267 (java) S 2256 2260 1670 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155754173 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2268] ppid=2256 vsize=915424 CPUtime=0
/proc/2260/task/2268/stat : 2268 (java) S 2256 2260 1670 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155754173 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1600.91
Current children cumulated vsize (KiB) 915424
[startup+1662.73 s]
/proc/loadavg: 2.00 2.00 1.94 3/87 2506
/proc/meminfo: memFree=1517744/2055920 swapFree=4192812/4192956
[pid=2260] ppid=2256 vsize=915424 CPUtime=1660.87
/proc/2260/stat : 2260 (java) R 2256 2260 1670 0 -1 0 32709 0 1 0 166046 41 0 0 25 0 8 0 155754163 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073767156 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2260/statm: 228856 32435 2521 14 0 215326 0
[pid=2260/tid=2262] ppid=2256 vsize=915424 CPUtime=0.42
/proc/2260/task/2262/stat : 2262 (java) S 2256 2260 1670 0 -1 64 15714 0 0 0 37 5 0 0 16 0 8 0 155754167 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2263] ppid=2256 vsize=915424 CPUtime=0
/proc/2260/task/2263/stat : 2263 (java) S 2256 2260 1670 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155754167 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2264] ppid=2256 vsize=915424 CPUtime=0
/proc/2260/task/2264/stat : 2264 (java) S 2256 2260 1670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155754167 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2265] ppid=2256 vsize=915424 CPUtime=0
/proc/2260/task/2265/stat : 2265 (java) S 2256 2260 1670 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155754173 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2266] ppid=2256 vsize=915424 CPUtime=0.24
/proc/2260/task/2266/stat : 2266 (java) S 2256 2260 1670 0 -1 64 394 0 0 0 22 2 0 0 16 0 8 0 155754173 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2267] ppid=2256 vsize=915424 CPUtime=0
/proc/2260/task/2267/stat : 2267 (java) S 2256 2260 1670 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155754173 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2268] ppid=2256 vsize=915424 CPUtime=0
/proc/2260/task/2268/stat : 2268 (java) S 2256 2260 1670 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155754173 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1660.87
Current children cumulated vsize (KiB) 915424
[startup+1722.73 s]
/proc/loadavg: 2.11 2.03 1.95 3/87 2506
/proc/meminfo: memFree=1517744/2055920 swapFree=4192812/4192956
[pid=2260] ppid=2256 vsize=915424 CPUtime=1720.84
/proc/2260/stat : 2260 (java) R 2256 2260 1670 0 -1 0 32709 0 1 0 172042 42 0 0 25 0 8 0 155754163 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2260/statm: 228856 32435 2521 14 0 215326 0
[pid=2260/tid=2262] ppid=2256 vsize=915424 CPUtime=0.42
/proc/2260/task/2262/stat : 2262 (java) S 2256 2260 1670 0 -1 64 15714 0 0 0 37 5 0 0 16 0 8 0 155754167 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2263] ppid=2256 vsize=915424 CPUtime=0
/proc/2260/task/2263/stat : 2263 (java) S 2256 2260 1670 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155754167 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2264] ppid=2256 vsize=915424 CPUtime=0
/proc/2260/task/2264/stat : 2264 (java) S 2256 2260 1670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155754167 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2265] ppid=2256 vsize=915424 CPUtime=0
/proc/2260/task/2265/stat : 2265 (java) S 2256 2260 1670 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155754173 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2266] ppid=2256 vsize=915424 CPUtime=0.24
/proc/2260/task/2266/stat : 2266 (java) S 2256 2260 1670 0 -1 64 394 0 0 0 22 2 0 0 16 0 8 0 155754173 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2267] ppid=2256 vsize=915424 CPUtime=0
/proc/2260/task/2267/stat : 2267 (java) S 2256 2260 1670 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155754173 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2268] ppid=2256 vsize=915424 CPUtime=0
/proc/2260/task/2268/stat : 2268 (java) S 2256 2260 1670 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155754173 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1720.84
Current children cumulated vsize (KiB) 915424
[startup+1782.74 s]
/proc/loadavg: 2.04 2.02 1.95 3/87 2506
/proc/meminfo: memFree=1517744/2055920 swapFree=4192812/4192956
[pid=2260] ppid=2256 vsize=915424 CPUtime=1780.77
/proc/2260/stat : 2260 (java) R 2256 2260 1670 0 -1 0 32709 0 1 0 178035 42 0 0 25 0 8 0 155754163 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073767159 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2260/statm: 228856 32435 2521 14 0 215326 0
[pid=2260/tid=2262] ppid=2256 vsize=915424 CPUtime=0.42
/proc/2260/task/2262/stat : 2262 (java) S 2256 2260 1670 0 -1 64 15714 0 0 0 37 5 0 0 16 0 8 0 155754167 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2263] ppid=2256 vsize=915424 CPUtime=0
/proc/2260/task/2263/stat : 2263 (java) S 2256 2260 1670 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155754167 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2264] ppid=2256 vsize=915424 CPUtime=0
/proc/2260/task/2264/stat : 2264 (java) S 2256 2260 1670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155754167 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2265] ppid=2256 vsize=915424 CPUtime=0
/proc/2260/task/2265/stat : 2265 (java) S 2256 2260 1670 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155754173 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2266] ppid=2256 vsize=915424 CPUtime=0.24
/proc/2260/task/2266/stat : 2266 (java) S 2256 2260 1670 0 -1 64 394 0 0 0 22 2 0 0 16 0 8 0 155754173 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2267] ppid=2256 vsize=915424 CPUtime=0
/proc/2260/task/2267/stat : 2267 (java) S 2256 2260 1670 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155754173 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2268] ppid=2256 vsize=915424 CPUtime=0
/proc/2260/task/2268/stat : 2268 (java) S 2256 2260 1670 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155754173 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1780.77
Current children cumulated vsize (KiB) 915424
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.98 s]
/proc/loadavg: 2.09 2.04 1.96 3/87 2506
/proc/meminfo: memFree=1517744/2055920 swapFree=4192812/4192956
[pid=2260] ppid=2256 vsize=915424 CPUtime=1800.01
/proc/2260/stat : 2260 (java) R 2256 2260 1670 0 -1 0 32709 0 1 0 179959 42 0 0 25 0 8 0 155754163 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2260/statm: 228856 32435 2521 14 0 215326 0
[pid=2260/tid=2262] ppid=2256 vsize=915424 CPUtime=0.42
/proc/2260/task/2262/stat : 2262 (java) S 2256 2260 1670 0 -1 64 15714 0 0 0 37 5 0 0 16 0 8 0 155754167 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2263] ppid=2256 vsize=915424 CPUtime=0
/proc/2260/task/2263/stat : 2263 (java) S 2256 2260 1670 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155754167 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2264] ppid=2256 vsize=915424 CPUtime=0
/proc/2260/task/2264/stat : 2264 (java) S 2256 2260 1670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155754167 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2265] ppid=2256 vsize=915424 CPUtime=0
/proc/2260/task/2265/stat : 2265 (java) S 2256 2260 1670 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155754173 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2266] ppid=2256 vsize=915424 CPUtime=0.24
/proc/2260/task/2266/stat : 2266 (java) S 2256 2260 1670 0 -1 64 394 0 0 0 22 2 0 0 16 0 8 0 155754173 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2267] ppid=2256 vsize=915424 CPUtime=0
/proc/2260/task/2267/stat : 2267 (java) S 2256 2260 1670 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155754173 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2260/tid=2268] ppid=2256 vsize=915424 CPUtime=0
/proc/2260/task/2268/stat : 2268 (java) S 2256 2260 1670 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155754173 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 915424
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1802.07
CPU time (s): 1800.09
CPU user time (s): 1799.65
CPU system time (s): 0.443932
CPU usage (%): 99.8903
Max. virtual memory (cumulated for all children) (KiB): 915424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.65
system time used= 0.443932
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32724
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= 37542
involuntary context switches= 10169
runsolver used 2.6116 s user time and 5.37118 s system time
The end
Begin job on node47 on Sat Jan 6 08:52:28 UTC 2007
IDJOB= 206307
IDBENCH= 4198
FILE ID= node47/206307-1168073546
PBS_JOBID= 3475958
Free space on /tmp= 66528 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-28-28/rand-3-28-28-93-632-26_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206307-1168073546/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node47/watcher-206307-1168073546 -o ROOT/results/node47/solver-206307-1168073546 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206307-1168073546/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 6f13657e5d44fa8a25fe138d9baf7b97
RANDOM SEED= 806318075
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.240
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.240
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: 1772528 kB
Buffers: 25980 kB
Cached: 164692 kB
SwapCached: 0 kB
Active: 72212 kB
Inactive: 139756 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1772528 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 7608 kB
Writeback: 0 kB
Mapped: 31484 kB
Slab: 57160 kB
Committed_AS: 2768012 kB
PageTables: 1664 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= 66521 MiB
End job on node47 on Sat Jan 6 09:22:31 UTC 2007