0.39
0.39 Abscon 109 (November, 2006)
0.39
0.39 configuration
0.39 name=mac.xml
0.42
0.42 instance
0.42 name=/tmp/evaluation/238928-1168083651/unknown.xml
0.45
0.45 domains being loaded...
0.46
0.46 variables being loaded...
0.52 nbVariables=208 nbDomainTypes=4 minDomainSize=1 maxDomainSize=52
0.52 => wckTime=0.131 cpuTime=0.11 mem=7M927
0.52
0.52 relations being loaded...
0.55
0.55 constraints being loaded...
0.85 nbConstraints=4217 nbRelationTypes=9 nbSingletonDomainVariables=3 nbDisconnectedVariables=1
0.85 nbExtensionStructures=9 nbSharedExtensionStructures=4208 nbConflictsStructures=9
0.85 nbSharedConflictsStructures=4208 nbSharedBinaryRepresentations=372 maxDegree=104 maxArity=2
0.85 => wckTime=0.456 cpuTime=0.33 mem=19M678
0.91
0.91 solver IterativeSystematicSolver being built...
1.09 => wckTime=0.696 cpuTime=0.46 mem=16M668
1.14
1.14 preprocessing
1.14 nbConstraintChecks=313825 nbPropagations=244 nbRevisions=6967 nbUselessRevisions=6648 nbRemovedValues=793
1.14 detectedInconsistency=no
1.14 => wckTime=0.043 cpuTime=0.03 mem=16M668
1.38
1.38 search
1.38 run=0 nbConstraintChecks=4132542 nbPropagations=3602 nbRevisions=98113 nbUselessRevisions=93358
1.38 nbAssignments=55 nbFailedAssignments=6 nbBacktracks=10 nbVisitedNodes=69 nbRestartNogoods=0 mapSize=10
1.38 nbInferences=1 nbTooLargeKeys=0
1.38 => wckTime=0.286 cpuTime=0.24 mem=17M693
1.55
1.55 search
1.55 run=1 nbConstraintChecks=8211324 nbPropagations=10431 nbRevisions=286024 nbUselessRevisions=272438
1.55 nbAssignments=117 nbFailedAssignments=14 nbBacktracks=25 nbVisitedNodes=148 nbRestartNogoods=2 mapSize=25
1.55 nbInferences=2 nbTooLargeKeys=0
1.55 => wckTime=0.459 cpuTime=0.41 mem=17M693
1.74
1.74 search
1.74 run=2 nbConstraintChecks=12665442 nbPropagations=20954 nbRevisions=572342 nbUselessRevisions=545008
1.74 nbAssignments=188 nbFailedAssignments=21 nbBacktracks=48 nbVisitedNodes=237 nbRestartNogoods=4 mapSize=38
1.74 nbInferences=6 nbTooLargeKeys=0
1.74 => wckTime=0.646 cpuTime=0.6 mem=17M693
1.91
1.91 search
1.91 run=3 nbConstraintChecks=16765138 nbPropagations=34660 nbRevisions=948928 nbUselessRevisions=903836
1.91 nbAssignments=282 nbFailedAssignments=36 nbBacktracks=91 nbVisitedNodes=360 nbRestartNogoods=7 mapSize=65
1.91 nbInferences=7 nbTooLargeKeys=0
1.91 => wckTime=0.817 cpuTime=0.77 mem=17M693
2.20
2.20 search
2.20 run=4 nbConstraintChecks=23717945 nbPropagations=55038 nbRevisions=1482509 nbUselessRevisions=1409995
2.20 nbAssignments=406 nbFailedAssignments=57 nbBacktracks=142 nbVisitedNodes=541 nbRestartNogoods=8 mapSize=109
2.20 nbInferences=20 nbTooLargeKeys=0
2.20 => wckTime=1.106 cpuTime=1.05 mem=17M693
2.44
2.44 search
2.44 run=5 nbConstraintChecks=29376571 nbPropagations=80157 nbRevisions=2142533 nbUselessRevisions=2036500
2.45 nbAssignments=565 nbFailedAssignments=91 nbBacktracks=226 nbVisitedNodes=775 nbRestartNogoods=11 mapSize=175
2.45 nbInferences=27 nbTooLargeKeys=0
2.45 => wckTime=1.352 cpuTime=1.29 mem=17M693
2.87
2.87 search
2.87 run=6 nbConstraintChecks=39936286 nbPropagations=115761 nbRevisions=3043353 nbUselessRevisions=2887939
2.87 nbAssignments=791 nbFailedAssignments=141 nbBacktracks=343 nbVisitedNodes=1125 nbRestartNogoods=12 mapSize=275
2.87 nbInferences=49 nbTooLargeKeys=0
2.88 => wckTime=1.782 cpuTime=1.72 mem=17M693
3.41
3.41 search
3.41 run=7 nbConstraintChecks=52835821 nbPropagations=164908 nbRevisions=4240943 nbUselessRevisions=4015887
3.41 nbAssignments=1129 nbFailedAssignments=238 nbBacktracks=514 nbVisitedNodes=1677 nbRestartNogoods=14
3.41 mapSize=430 nbInferences=83 nbTooLargeKeys=0
3.41 => wckTime=2.32 cpuTime=2.25 mem=17M693
3.95
3.95 search
3.95 run=8 nbConstraintChecks=65226434 nbPropagations=225728 nbRevisions=5720333 nbUselessRevisions=5410588
3.95 nbAssignments=1617 nbFailedAssignments=373 nbBacktracks=773 nbVisitedNodes=2481 nbRestartNogoods=19
3.95 mapSize=659 nbInferences=140 nbTooLargeKeys=0
3.95 => wckTime=2.853 cpuTime=2.77 mem=18M668
5.06
5.06 search
5.06 run=9 nbConstraintChecks=91859431 nbPropagations=316609 nbRevisions=7818703 nbUselessRevisions=7379936
5.06 nbAssignments=2400 nbFailedAssignments=498 nbBacktracks=1157 nbVisitedNodes=3738 nbRestartNogoods=23
5.06 mapSize=963 nbInferences=375 nbTooLargeKeys=0
5.06 => wckTime=3.967 cpuTime=3.86 mem=18M668
6.21
6.21 search
6.21 run=10 nbConstraintChecks=119561671 nbPropagations=436721 nbRevisions=10558435 nbUselessRevisions=9952038
6.21 nbAssignments=3523 nbFailedAssignments=903 nbBacktracks=1734 nbVisitedNodes=5636 nbRestartNogoods=29
6.21 mapSize=1472 nbInferences=476 nbTooLargeKeys=0
6.21 => wckTime=5.113 cpuTime=4.99 mem=19M643
7.73
7.73 search
7.73 run=11 nbConstraintChecks=156474526 nbPropagations=596161 nbRevisions=14155115 nbUselessRevisions=13326504
7.73 nbAssignments=5087 nbFailedAssignments=1391 nbBacktracks=2598 nbVisitedNodes=8215 nbRestartNogoods=35
7.73 mapSize=2132 nbInferences=653 nbTooLargeKeys=0
7.73 => wckTime=6.637 cpuTime=6.5 mem=19M643
10.03
10.03 search
10.03 run=12 nbConstraintChecks=213390276 nbPropagations=815999 nbRevisions=19077250 nbUselessRevisions=17949274
10.03 nbAssignments=7483 nbFailedAssignments=2193 nbBacktracks=3896 nbVisitedNodes=12221 nbRestartNogoods=41
10.03 mapSize=3184 nbInferences=914 nbTooLargeKeys=0
10.03 => wckTime=8.934 cpuTime=8.77 mem=20M618
11.45
11.45 search
11.45 run=13 nbConstraintChecks=244991025 nbPropagations=1069616 nbRevisions=24739620 nbUselessRevisions=23264330
11.45 nbAssignments=10178 nbFailedAssignments=2472 nbBacktracks=5844 nbVisitedNodes=15789 nbRestartNogoods=48
11.45 mapSize=3831 nbInferences=1337 nbTooLargeKeys=0
11.45 => wckTime=10.353 cpuTime=10.17 mem=22M569
16.42
16.42 search
16.43 run=14 nbConstraintChecks=365873855 nbPropagations=1459768 nbRevisions=33237176 nbUselessRevisions=31218145
16.43 nbAssignments=15272 nbFailedAssignments=3589 nbBacktracks=8769 nbVisitedNodes=23836 nbRestartNogoods=55
16.43 mapSize=5781 nbInferences=2347 nbTooLargeKeys=0
16.43 => wckTime=15.332 cpuTime=15.11 mem=24M519
29.14
29.14 search
29.14 run=15 nbConstraintChecks=683345287 nbPropagations=2229964 nbRevisions=49076491 nbUselessRevisions=46048722
29.14 nbAssignments=24131 nbFailedAssignments=5137 nbBacktracks=13147 nbVisitedNodes=38390 nbRestartNogoods=61
29.14 mapSize=9105 nbInferences=5239 nbTooLargeKeys=0
29.14 => wckTime=28.043 cpuTime=27.7 mem=30M370
36.56
36.56 search
36.56 run=16 nbConstraintChecks=856146697 nbPropagations=3157486 nbRevisions=69093925 nbUselessRevisions=64877414
36.56 nbAssignments=36804 nbFailedAssignments=7544 nbBacktracks=19715 nbVisitedNodes=58981 nbRestartNogoods=72
36.56 mapSize=14338 nbInferences=8876 nbTooLargeKeys=0
36.56 => wckTime=35.468 cpuTime=35.05 mem=37M196
55.32
55.32 search
55.32 run=17 nbConstraintChecks=1313135856 nbPropagations=4565857 nbRevisions=99943290 nbUselessRevisions=93949514
55.32 nbAssignments=58467 nbFailedAssignments=13203 nbBacktracks=29571 nbVisitedNodes=96308 nbRestartNogoods=82
55.32 mapSize=22713 nbInferences=14985 nbTooLargeKeys=0
55.32 => wckTime=54.229 cpuTime=53.64 mem=48M898
81.02
81.02 search
81.02 run=18 nbConstraintChecks=1917597861 nbPropagations=6644848 nbRevisions=145237128 nbUselessRevisions=136641465
81.02 nbAssignments=86960 nbFailedAssignments=20703 nbBacktracks=44349 nbVisitedNodes=143294 nbRestartNogoods=86
81.02 mapSize=33814 nbInferences=21161 nbTooLargeKeys=0
81.02 => wckTime=79.924 cpuTime=79.03 mem=35M732
112.30
112.30 search
112.30 run=19 nbConstraintChecks=2652803593 nbPropagations=9604015 nbRevisions=208153521 nbUselessRevisions=195814229
112.30 nbAssignments=127627 nbFailedAssignments=29933 nbBacktracks=66519 nbVisitedNodes=208285 nbRestartNogoods=101
112.30 mapSize=47266 nbInferences=30383 nbTooLargeKeys=0
112.30 => wckTime=111.203 cpuTime=110.03 mem=56M621
172.41
172.41 search
172.41 run=20 nbConstraintChecks=4190585758 nbPropagations=14296031 nbRevisions=306945665 nbUselessRevisions=288823201
172.41 nbAssignments=193310 nbFailedAssignments=36875 nbBacktracks=99771 nbVisitedNodes=312819 nbRestartNogoods=108
172.41 mapSize=68786 nbInferences=55828 nbTooLargeKeys=0
172.41 => wckTime=171.317 cpuTime=169.82 mem=69M617
270.91
270.91 search
270.91 run=21 nbConstraintChecks=6804083253 nbPropagations=22138014 nbRevisions=467826420 nbUselessRevisions=439965956
270.91 nbAssignments=297609 nbFailedAssignments=64887 nbBacktracks=149649 nbVisitedNodes=490691 nbRestartNogoods=122
270.91 mapSize=107908 nbInferences=82199 nbTooLargeKeys=0
270.91 => wckTime=269.817 cpuTime=268.15 mem=101M679
356.09
356.09 search
356.09 run=22 nbConstraintChecks=9015771026 nbPropagations=32331104 nbRevisions=681126998 nbUselessRevisions=640705308
356.09 nbAssignments=432083 nbFailedAssignments=88395 nbBacktracks=224467 nbVisitedNodes=702219 nbRestartNogoods=131
356.09 mapSize=158145 nbInferences=118279 nbTooLargeKeys=0
356.09 => wckTime=354.993 cpuTime=353.03 mem=122M691
475.64
475.64 search
475.64 run=23 nbConstraintChecks=12090838662 nbPropagations=46161540 nbRevisions=968672993
475.64 nbUselessRevisions=911057468 nbAssignments=617993 nbFailedAssignments=126316 nbBacktracks=336697
475.64 nbVisitedNodes=994692 nbRestartNogoods=151 mapSize=234805 nbInferences=153991 nbTooLargeKeys=0
475.64 => wckTime=474.547 cpuTime=472.24 mem=177M68
643.77
643.77 search
643.77 run=24 nbConstraintChecks=16481645083 nbPropagations=64827260 nbRevisions=1360390040
643.77 nbUselessRevisions=1280033698 nbAssignments=927035 nbFailedAssignments=169048 nbBacktracks=505038
643.77 nbVisitedNodes=1479284 nbRestartNogoods=166 mapSize=339041 nbInferences=251894 nbTooLargeKeys=0
643.77 => wckTime=642.673 cpuTime=639.93 mem=262M188
858.50
858.50 search
858.50 run=25 nbConstraintChecks=21907874031 nbPropagations=89027863 nbRevisions=1882100348
858.50 nbUselessRevisions=1772798520 nbAssignments=1373877 nbFailedAssignments=235375 nbBacktracks=757551
858.50 nbVisitedNodes=2172511 nbRestartNogoods=183 mapSize=518445 nbInferences=379839 nbTooLargeKeys=0
858.50 => wckTime=857.412 cpuTime=853.92 mem=393M871
1330.18
1330.18 search
1330.18 run=26 nbConstraintChecks=34401852054 nbPropagations=124492113 nbRevisions=2693886045
1330.18 nbUselessRevisions=2543325970 nbAssignments=2165321 nbFailedAssignments=349738 nbBacktracks=1136318
1330.18 nbVisitedNodes=3463674 nbRestartNogoods=193 mapSize=784975 nbInferences=678103 nbTooLargeKeys=0
1330.18 => wckTime=1329.086 cpuTime=1323.81 mem=564M14
1361.88
1361.88 INFO : Stopping hyperNogood (mapSize=807641, nbTooLargekeys=0, mem=601M20)
1763.97
1763.97 search
1763.97 run=27 nbConstraintChecks=45625275852 nbPropagations=172635192 nbRevisions=3787197750
1763.97 nbUselessRevisions=3578662999 nbAssignments=2986378 nbFailedAssignments=589776 nbBacktracks=1704469
1763.97 nbVisitedNodes=4740335 nbRestartNogoods=209
1763.97 => wckTime=1762.881 cpuTime=1755.63 mem=601M20
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node51/watcher-238928-1168083651 -o ROOT/results/node51/solver-238928-1168083651 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/238928-1168083651/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
/proc/loadavg: 2.01 2.02 1.89 4/80 1473
/proc/meminfo: memFree=1313632/2055920 swapFree=4192812/4192956
[pid=1472] ppid=1470 vsize=18540 CPUtime=0
/proc/1472/stat : 1472 (runsolver) R 1470 387 387 0 -1 4194368 10 0 0 0 0 0 0 0 20 0 1 0 156763687 18984960 277 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 235371131634 0 0 4096 24578 0 0 0 17 1 0 0
/proc/1472/statm: 4635 277 242 17 0 2626 0
Current StackSize limit: 10240 KiB
[startup+0.108247 s]
/proc/loadavg: 2.01 2.02 1.89 4/80 1473
/proc/meminfo: memFree=1313632/2055920 swapFree=4192812/4192956
[pid=1472] ppid=1470 vsize=907808 CPUtime=0.05
/proc/1472/stat : 1472 (java) D 1470 1472 387 0 -1 0 2505 0 1 0 4 1 0 0 17 0 4 0 156763687 929595392 2252 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/1472/statm: 226952 2252 1232 14 0 214535 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 907808
[startup+0.518323 s]
/proc/loadavg: 2.01 2.02 1.89 4/80 1473
/proc/meminfo: memFree=1313632/2055920 swapFree=4192812/4192956
[pid=1472] ppid=1470 vsize=915328 CPUtime=0.41
/proc/1472/stat : 1472 (java) R 1470 1472 387 0 -1 0 6221 0 1 0 38 3 0 0 18 0 8 0 156763687 937295872 5960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073552013 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1472/statm: 228832 5960 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 915328
[startup+1.33946 s]
/proc/loadavg: 2.09 2.03 1.89 3/87 1480
/proc/meminfo: memFree=1282280/2055920 swapFree=4192812/4192956
[pid=1472] ppid=1470 vsize=915572 CPUtime=1.22
/proc/1472/stat : 1472 (java) R 1470 1472 387 0 -1 0 10539 0 1 0 115 7 0 0 23 0 8 0 156763687 937545728 10277 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072942247 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1472/statm: 228893 10277 2511 14 0 215363 0
[pid=1472/tid=1474] ppid=1470 vsize=915572 CPUtime=0.05
/proc/1472/task/1474/stat : 1474 (java) S 1470 1472 387 0 -1 64 718 0 0 0 5 0 0 0 16 0 8 0 156763692 937545728 10277 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1475] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1475/stat : 1475 (java) S 1470 1472 387 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156763692 937545728 10277 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1476] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1476/stat : 1476 (java) S 1470 1472 387 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156763692 937545728 10277 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1477] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1477/stat : 1477 (java) S 1470 1472 387 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156763703 937545728 10277 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1478] ppid=1470 vsize=915572 CPUtime=0.25
/proc/1472/task/1478/stat : 1478 (java) S 1470 1472 387 0 -1 64 408 0 0 0 24 1 0 0 16 0 8 0 156763703 937545728 10277 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1479] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1479/stat : 1479 (java) S 1470 1472 387 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156763703 937545728 10277 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1480] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1480/stat : 1480 (java) S 1470 1472 387 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156763703 937545728 10277 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 915572
[startup+2.97673 s]
/proc/loadavg: 2.09 2.03 1.89 3/87 1480
/proc/meminfo: memFree=1282152/2055920 swapFree=4192812/4192956
[pid=1472] ppid=1470 vsize=915572 CPUtime=2.84
/proc/1472/stat : 1472 (java) R 1470 1472 387 0 -1 0 10551 0 1 0 277 7 0 0 25 0 8 0 156763687 937545728 10288 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073935992 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1472/statm: 228893 10288 2514 14 0 215363 0
[pid=1472/tid=1474] ppid=1470 vsize=915572 CPUtime=0.05
/proc/1472/task/1474/stat : 1474 (java) S 1470 1472 387 0 -1 64 718 0 0 0 5 0 0 0 17 0 8 0 156763692 937545728 10288 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1475] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1475/stat : 1475 (java) S 1470 1472 387 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156763692 937545728 10288 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1476] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1476/stat : 1476 (java) S 1470 1472 387 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156763692 937545728 10288 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1477] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1477/stat : 1477 (java) S 1470 1472 387 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156763703 937545728 10288 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1478] ppid=1470 vsize=915572 CPUtime=0.26
/proc/1472/task/1478/stat : 1478 (java) S 1470 1472 387 0 -1 64 414 0 0 0 25 1 0 0 15 0 8 0 156763703 937545728 10288 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1479] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1479/stat : 1479 (java) S 1470 1472 387 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156763703 937545728 10288 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1480] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1480/stat : 1480 (java) S 1470 1472 387 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156763703 937545728 10288 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 915572
[startup+6.2763 s]
/proc/loadavg: 2.08 2.03 1.89 3/87 1480
/proc/meminfo: memFree=1282024/2055920 swapFree=4192812/4192956
[pid=1472] ppid=1470 vsize=915572 CPUtime=6.11
/proc/1472/stat : 1472 (java) R 1470 1472 387 0 -1 0 10569 0 1 0 604 7 0 0 25 0 8 0 156763687 937545728 10302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073928513 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1472/statm: 228893 10302 2514 14 0 215363 0
[pid=1472/tid=1474] ppid=1470 vsize=915572 CPUtime=0.05
/proc/1472/task/1474/stat : 1474 (java) S 1470 1472 387 0 -1 64 718 0 0 0 5 0 0 0 17 0 8 0 156763692 937545728 10302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1475] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1475/stat : 1475 (java) S 1470 1472 387 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156763692 937545728 10302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1476] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1476/stat : 1476 (java) S 1470 1472 387 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156763692 937545728 10302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1477] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1477/stat : 1477 (java) S 1470 1472 387 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156763703 937545728 10302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1478] ppid=1470 vsize=915572 CPUtime=0.29
/proc/1472/task/1478/stat : 1478 (java) S 1470 1472 387 0 -1 64 428 0 0 0 28 1 0 0 16 0 8 0 156763703 937545728 10302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1479] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1479/stat : 1479 (java) S 1470 1472 387 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156763703 937545728 10302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1480] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1480/stat : 1480 (java) S 1470 1472 387 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156763703 937545728 10302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 915572
[startup+12.7534 s]
/proc/loadavg: 2.07 2.03 1.89 3/87 1480
/proc/meminfo: memFree=1281896/2055920 swapFree=4192812/4192956
[pid=1472] ppid=1470 vsize=915572 CPUtime=12.53
/proc/1472/stat : 1472 (java) R 1470 1472 387 0 -1 0 10629 0 1 0 1245 8 0 0 25 0 8 0 156763687 937545728 10362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073945850 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1472/statm: 228893 10362 2514 14 0 215363 0
[pid=1472/tid=1474] ppid=1470 vsize=915572 CPUtime=0.05
/proc/1472/task/1474/stat : 1474 (java) S 1470 1472 387 0 -1 64 718 0 0 0 5 0 0 0 16 0 8 0 156763692 937545728 10362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1475] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1475/stat : 1475 (java) S 1470 1472 387 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156763692 937545728 10362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1476] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1476/stat : 1476 (java) S 1470 1472 387 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156763692 937545728 10362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1477] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1477/stat : 1477 (java) S 1470 1472 387 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156763703 937545728 10362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1478] ppid=1470 vsize=915572 CPUtime=0.3
/proc/1472/task/1478/stat : 1478 (java) S 1470 1472 387 0 -1 64 431 0 0 0 29 1 0 0 15 0 8 0 156763703 937545728 10362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1479] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1479/stat : 1479 (java) S 1470 1472 387 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156763703 937545728 10362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1480] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1480/stat : 1480 (java) S 1470 1472 387 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156763703 937545728 10362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 915572
[startup+25.6166 s]
/proc/loadavg: 2.06 2.03 1.89 3/87 1480
/proc/meminfo: memFree=1276584/2055920 swapFree=4192812/4192956
[pid=1472] ppid=1470 vsize=915572 CPUtime=25.27
/proc/1472/stat : 1472 (java) R 1470 1472 387 0 -1 0 12020 0 1 0 2519 8 0 0 25 0 8 0 156763687 937545728 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073923622 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1472/statm: 228893 11753 2514 14 0 215363 0
[pid=1472/tid=1474] ppid=1470 vsize=915572 CPUtime=0.05
/proc/1472/task/1474/stat : 1474 (java) S 1470 1472 387 0 -1 64 718 0 0 0 5 0 0 0 16 0 8 0 156763692 937545728 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1475] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1475/stat : 1475 (java) S 1470 1472 387 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156763692 937545728 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1476] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1476/stat : 1476 (java) S 1470 1472 387 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156763692 937545728 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1477] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1477/stat : 1477 (java) S 1470 1472 387 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156763703 937545728 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1478] ppid=1470 vsize=915572 CPUtime=0.3
/proc/1472/task/1478/stat : 1478 (java) S 1470 1472 387 0 -1 64 431 0 0 0 29 1 0 0 15 0 8 0 156763703 937545728 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1479] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1479/stat : 1479 (java) S 1470 1472 387 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156763703 937545728 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1480] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1480/stat : 1480 (java) S 1470 1472 387 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156763703 937545728 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 915572
[startup+51.2279 s]
/proc/loadavg: 2.10 2.04 1.90 3/87 1480
/proc/meminfo: memFree=1259368/2055920 swapFree=4192812/4192956
[pid=1472] ppid=1470 vsize=915572 CPUtime=50.65
/proc/1472/stat : 1472 (java) R 1470 1472 387 0 -1 0 16289 0 1 0 5055 10 0 0 25 0 8 0 156763687 937545728 16022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073928472 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1472/statm: 228893 16022 2514 14 0 215363 0
[pid=1472/tid=1474] ppid=1470 vsize=915572 CPUtime=0.05
/proc/1472/task/1474/stat : 1474 (java) S 1470 1472 387 0 -1 64 718 0 0 0 5 0 0 0 16 0 8 0 156763692 937545728 16022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1475] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1475/stat : 1475 (java) S 1470 1472 387 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156763692 937545728 16022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1476] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1476/stat : 1476 (java) S 1470 1472 387 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156763692 937545728 16022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1477] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1477/stat : 1477 (java) S 1470 1472 387 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156763703 937545728 16022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1478] ppid=1470 vsize=915572 CPUtime=0.3
/proc/1472/task/1478/stat : 1478 (java) S 1470 1472 387 0 -1 64 431 0 0 0 29 1 0 0 15 0 8 0 156763703 937545728 16022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1479] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1479/stat : 1479 (java) S 1470 1472 387 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156763703 937545728 16022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1480] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1480/stat : 1480 (java) S 1470 1472 387 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156763703 937545728 16022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 915572
[startup+102.442 s]
/proc/loadavg: 2.04 2.03 1.91 3/87 1480
/proc/meminfo: memFree=1234792/2055920 swapFree=4192812/4192956
[pid=1472] ppid=1470 vsize=915572 CPUtime=101.39
/proc/1472/stat : 1472 (java) R 1470 1472 387 0 -1 0 22388 0 1 0 10128 11 0 0 25 0 8 0 156763687 937545728 22120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073923635 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1472/statm: 228893 22120 2518 14 0 215363 0
[pid=1472/tid=1474] ppid=1470 vsize=915572 CPUtime=0.11
/proc/1472/task/1474/stat : 1474 (java) S 1470 1472 387 0 -1 64 5361 0 0 0 10 1 0 0 16 0 8 0 156763692 937545728 22120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1475] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1475/stat : 1475 (java) S 1470 1472 387 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156763692 937545728 22120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1476] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1476/stat : 1476 (java) S 1470 1472 387 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156763692 937545728 22120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1477] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1477/stat : 1477 (java) S 1470 1472 387 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156763703 937545728 22120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1478] ppid=1470 vsize=915572 CPUtime=0.3
/proc/1472/task/1478/stat : 1478 (java) S 1470 1472 387 0 -1 64 431 0 0 0 29 1 0 0 15 0 8 0 156763703 937545728 22120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1479] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1479/stat : 1479 (java) S 1470 1472 387 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156763703 937545728 22120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1480] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1480/stat : 1480 (java) S 1470 1472 387 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156763703 937545728 22120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.39
Current children cumulated vsize (KiB) 915572
[startup+162.512 s]
/proc/loadavg: 1.97 2.01 1.91 3/87 1572
/proc/meminfo: memFree=1307344/2055920 swapFree=4192812/4192956
[pid=1472] ppid=1470 vsize=915572 CPUtime=161.16
/proc/1472/stat : 1472 (java) R 1470 1472 387 0 -1 0 29241 0 1 0 16102 14 0 0 25 0 8 0 156763687 937545728 28972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073923456 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1420.57
Current children cumulated vsize (KiB) 915572
[startup+1483.99 s]
/proc/loadavg: 2.01 2.02 1.94 3/87 1776
/proc/meminfo: memFree=274448/2055920 swapFree=4192812/4192956
[pid=1472] ppid=1470 vsize=915572 CPUtime=1480.33
/proc/1472/stat : 1472 (java) R 1470 1472 387 0 -1 0 154778 0 1 0 147965 68 0 0 25 0 8 0 156763687 937545728 154486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073947497 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1472/statm: 228893 154486 2518 14 0 215363 0
[pid=1472/tid=1474] ppid=1470 vsize=915572 CPUtime=2.39
/proc/1472/task/1474/stat : 1474 (java) S 1470 1472 387 0 -1 64 137727 0 0 0 195 44 0 0 16 0 8 0 156763692 937545728 154486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1472/tid=1475] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1475/stat : 1475 (java) S 1470 1472 387 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156763692 937545728 154486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1476] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1476/stat : 1476 (java) S 1470 1472 387 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156763692 937545728 154486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1477] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1477/stat : 1477 (java) S 1470 1472 387 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156763703 937545728 154486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1478] ppid=1470 vsize=915572 CPUtime=0.3
/proc/1472/task/1478/stat : 1478 (java) S 1470 1472 387 0 -1 64 431 0 0 0 29 1 0 0 16 0 8 0 156763703 937545728 154486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1472/tid=1479] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1479/stat : 1479 (java) S 1470 1472 387 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156763703 937545728 154486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1480] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1480/stat : 1480 (java) S 1470 1472 387 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156763703 937545728 154486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1480.33
Current children cumulated vsize (KiB) 915572
[startup+1544.02 s]
/proc/loadavg: 2.00 2.01 1.94 3/87 1776
/proc/meminfo: memFree=253840/2055920 swapFree=4192812/4192956
[pid=1472] ppid=1470 vsize=915572 CPUtime=1540.06
/proc/1472/stat : 1472 (java) R 1470 1472 387 0 -1 0 154778 0 1 0 153938 68 0 0 25 0 8 0 156763687 937545728 154486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073944823 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1472/statm: 228893 154486 2518 14 0 215363 0
[pid=1472/tid=1474] ppid=1470 vsize=915572 CPUtime=2.39
/proc/1472/task/1474/stat : 1474 (java) S 1470 1472 387 0 -1 64 137727 0 0 0 195 44 0 0 16 0 8 0 156763692 937545728 154486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1472/tid=1475] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1475/stat : 1475 (java) S 1470 1472 387 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156763692 937545728 154486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1476] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1476/stat : 1476 (java) S 1470 1472 387 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156763692 937545728 154486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1477] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1477/stat : 1477 (java) S 1470 1472 387 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156763703 937545728 154486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1478] ppid=1470 vsize=915572 CPUtime=0.3
/proc/1472/task/1478/stat : 1478 (java) S 1470 1472 387 0 -1 64 431 0 0 0 29 1 0 0 16 0 8 0 156763703 937545728 154486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1472/tid=1479] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1479/stat : 1479 (java) S 1470 1472 387 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156763703 937545728 154486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1480] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1480/stat : 1480 (java) S 1470 1472 387 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156763703 937545728 154486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1540.06
Current children cumulated vsize (KiB) 915572
[startup+1604.05 s]
/proc/loadavg: 2.00 2.01 1.94 3/87 1776
/proc/meminfo: memFree=234704/2055920 swapFree=4192812/4192956
[pid=1472] ppid=1470 vsize=915572 CPUtime=1599.83
/proc/1472/stat : 1472 (java) R 1470 1472 387 0 -1 0 154778 0 1 0 159914 69 0 0 25 0 8 0 156763687 937545728 154486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073928502 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1472/statm: 228893 154486 2518 14 0 215363 0
[pid=1472/tid=1474] ppid=1470 vsize=915572 CPUtime=2.39
/proc/1472/task/1474/stat : 1474 (java) S 1470 1472 387 0 -1 64 137727 0 0 0 195 44 0 0 16 0 8 0 156763692 937545728 154486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1472/tid=1475] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1475/stat : 1475 (java) S 1470 1472 387 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156763692 937545728 154486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1476] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1476/stat : 1476 (java) S 1470 1472 387 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156763692 937545728 154486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1477] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1477/stat : 1477 (java) S 1470 1472 387 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156763703 937545728 154486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1478] ppid=1470 vsize=915572 CPUtime=0.3
/proc/1472/task/1478/stat : 1478 (java) S 1470 1472 387 0 -1 64 431 0 0 0 29 1 0 0 16 0 8 0 156763703 937545728 154486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1472/tid=1479] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1479/stat : 1479 (java) S 1470 1472 387 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156763703 937545728 154486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1480] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1480/stat : 1480 (java) S 1470 1472 387 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156763703 937545728 154486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1599.83
Current children cumulated vsize (KiB) 915572
[startup+1664.08 s]
/proc/loadavg: 2.06 2.03 1.95 3/87 1776
/proc/meminfo: memFree=234648/2055920 swapFree=4192812/4192956
[pid=1472] ppid=1470 vsize=915572 CPUtime=1659.6
/proc/1472/stat : 1472 (java) R 1470 1472 387 0 -1 0 154778 0 1 0 165891 69 0 0 25 0 8 0 156763687 937545728 154486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073965714 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1472/statm: 228893 154486 2518 14 0 215363 0
[pid=1472/tid=1474] ppid=1470 vsize=915572 CPUtime=2.39
/proc/1472/task/1474/stat : 1474 (java) S 1470 1472 387 0 -1 64 137727 0 0 0 195 44 0 0 16 0 8 0 156763692 937545728 154486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1472/tid=1475] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1475/stat : 1475 (java) S 1470 1472 387 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156763692 937545728 154486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1476] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1476/stat : 1476 (java) S 1470 1472 387 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156763692 937545728 154486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1477] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1477/stat : 1477 (java) S 1470 1472 387 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156763703 937545728 154486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1478] ppid=1470 vsize=915572 CPUtime=0.3
/proc/1472/task/1478/stat : 1478 (java) S 1470 1472 387 0 -1 64 431 0 0 0 29 1 0 0 16 0 8 0 156763703 937545728 154486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1472/tid=1479] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1479/stat : 1479 (java) S 1470 1472 387 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156763703 937545728 154486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1480] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1480/stat : 1480 (java) S 1470 1472 387 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156763703 937545728 154486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1659.6
Current children cumulated vsize (KiB) 915572
[startup+1724.12 s]
/proc/loadavg: 2.02 2.02 1.95 3/87 1776
/proc/meminfo: memFree=234712/2055920 swapFree=4192812/4192956
[pid=1472] ppid=1470 vsize=915572 CPUtime=1719.35
/proc/1472/stat : 1472 (java) R 1470 1472 387 0 -1 0 154778 0 1 0 171866 69 0 0 25 0 8 0 156763687 937545728 154486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073923632 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1472/statm: 228893 154486 2518 14 0 215363 0
[pid=1472/tid=1474] ppid=1470 vsize=915572 CPUtime=2.39
/proc/1472/task/1474/stat : 1474 (java) S 1470 1472 387 0 -1 64 137727 0 0 0 195 44 0 0 16 0 8 0 156763692 937545728 154486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1472/tid=1475] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1475/stat : 1475 (java) S 1470 1472 387 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156763692 937545728 154486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1476] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1476/stat : 1476 (java) S 1470 1472 387 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156763692 937545728 154486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1477] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1477/stat : 1477 (java) S 1470 1472 387 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156763703 937545728 154486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1478] ppid=1470 vsize=915572 CPUtime=0.3
/proc/1472/task/1478/stat : 1478 (java) S 1470 1472 387 0 -1 64 431 0 0 0 29 1 0 0 16 0 8 0 156763703 937545728 154486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1472/tid=1479] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1479/stat : 1479 (java) S 1470 1472 387 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156763703 937545728 154486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1480] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1480/stat : 1480 (java) S 1470 1472 387 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156763703 937545728 154486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1719.35
Current children cumulated vsize (KiB) 915572
[startup+1784.16 s]
/proc/loadavg: 2.01 2.02 1.95 3/87 1776
/proc/meminfo: memFree=234712/2055920 swapFree=4192812/4192956
[pid=1472] ppid=1470 vsize=915572 CPUtime=1779.12
/proc/1472/stat : 1472 (java) R 1470 1472 387 0 -1 0 154779 0 1 0 177843 69 0 0 25 0 8 0 156763687 937545728 154486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073928400 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1472/statm: 228893 154486 2518 14 0 215363 0
[pid=1472/tid=1474] ppid=1470 vsize=915572 CPUtime=2.39
/proc/1472/task/1474/stat : 1474 (java) S 1470 1472 387 0 -1 64 137727 0 0 0 195 44 0 0 16 0 8 0 156763692 937545728 154486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1472/tid=1475] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1475/stat : 1475 (java) S 1470 1472 387 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156763692 937545728 154486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1476] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1476/stat : 1476 (java) S 1470 1472 387 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156763692 937545728 154486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1477] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1477/stat : 1477 (java) S 1470 1472 387 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156763703 937545728 154486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1478] ppid=1470 vsize=915572 CPUtime=0.3
/proc/1472/task/1478/stat : 1478 (java) S 1470 1472 387 0 -1 64 431 0 0 0 29 1 0 0 16 0 8 0 156763703 937545728 154486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1472/tid=1479] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1479/stat : 1479 (java) S 1470 1472 387 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156763703 937545728 154486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1480] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1480/stat : 1480 (java) S 1470 1472 387 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156763703 937545728 154486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1779.12
Current children cumulated vsize (KiB) 915572
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1805.13 s]
/proc/loadavg: 2.00 2.02 1.95 3/87 1776
/proc/meminfo: memFree=234648/2055920 swapFree=4192812/4192956
[pid=1472] ppid=1470 vsize=915572 CPUtime=1800
/proc/1472/stat : 1472 (java) R 1470 1472 387 0 -1 0 154779 0 1 0 179931 69 0 0 25 0 8 0 156763687 937545728 154486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073961124 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1472/statm: 228893 154486 2518 14 0 215363 0
[pid=1472/tid=1474] ppid=1470 vsize=915572 CPUtime=2.39
/proc/1472/task/1474/stat : 1474 (java) S 1470 1472 387 0 -1 64 137727 0 0 0 195 44 0 0 16 0 8 0 156763692 937545728 154486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1472/tid=1475] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1475/stat : 1475 (java) S 1470 1472 387 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156763692 937545728 154486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1476] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1476/stat : 1476 (java) S 1470 1472 387 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156763692 937545728 154486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1477] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1477/stat : 1477 (java) S 1470 1472 387 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156763703 937545728 154486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1478] ppid=1470 vsize=915572 CPUtime=0.3
/proc/1472/task/1478/stat : 1478 (java) S 1470 1472 387 0 -1 64 431 0 0 0 29 1 0 0 16 0 8 0 156763703 937545728 154486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1472/tid=1479] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1479/stat : 1479 (java) S 1470 1472 387 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156763703 937545728 154486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1472/tid=1480] ppid=1470 vsize=915572 CPUtime=0
/proc/1472/task/1480/stat : 1480 (java) S 1470 1472 387 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156763703 937545728 154486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 915572
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1805.25
CPU time (s): 1800.12
CPU user time (s): 1799.34
CPU system time (s): 0.78488
CPU usage (%): 99.7161
Max. virtual memory (cumulated for all children) (KiB): 915572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.34
system time used= 0.78488
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154795
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= 37983
involuntary context switches= 20699
runsolver used 2.14567 s user time and 5.41418 s system time
The end
Begin job on node51 on Sat Jan 6 11:40:51 UTC 2007
IDJOB= 238928
IDBENCH= 7028
FILE ID= node51/238928-1168083651
PBS_JOBID= 3476153
Free space on /tmp= 66545 MiB
BENCH NAME= HOME/pub/bench/CPAI06/blackHole/BH-4-13/BlackHole-4-13-m-2_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/238928-1168083651/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node51/watcher-238928-1168083651 -o ROOT/results/node51/solver-238928-1168083651 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/238928-1168083651/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 788076105474c4514c48ffcdd90f49b4
RANDOM SEED= 347597540
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.277
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.277
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: 1314048 kB
Buffers: 33792 kB
Cached: 476616 kB
SwapCached: 0 kB
Active: 208360 kB
Inactive: 463412 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1314048 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2032 kB
Writeback: 0 kB
Mapped: 181620 kB
Slab: 55232 kB
Committed_AS: 3893392 kB
PageTables: 2100 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= 66545 MiB
End job on node51 on Sat Jan 6 12:11:01 UTC 2007