0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.34 instance
0.35 name=/tmp/evaluation/238966-1168083783/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.45 nbVariables=208 nbDomainTypes=4 minDomainSize=1 maxDomainSize=52
0.45 => wckTime=0.13 cpuTime=0.11 mem=7M927
0.45
0.45 relations being loaded...
0.47
0.47 constraints being loaded...
0.77 nbConstraints=4217 nbRelationTypes=9 nbSingletonDomainVariables=3 nbDisconnectedVariables=1
0.77 nbExtensionStructures=9 nbSharedExtensionStructures=4208 nbConflictsStructures=9
0.77 nbSharedConflictsStructures=4208 nbSharedBinaryRepresentations=372 maxDegree=104 maxArity=2
0.77 => wckTime=0.452 cpuTime=0.32 mem=19M678
0.83
0.83 solver IterativeSystematicSolver being built...
1.01 => wckTime=0.692 cpuTime=0.46 mem=16M668
1.05
1.05 preprocessing
1.05 nbConstraintChecks=316483 nbPropagations=246 nbRevisions=7030 nbUselessRevisions=6711 nbRemovedValues=793
1.05 detectedInconsistency=no
1.05 => wckTime=0.036 cpuTime=0.02 mem=16M668
1.29
1.29 search
1.29 run=0 nbConstraintChecks=4132542 nbPropagations=3604 nbRevisions=98176 nbUselessRevisions=93421
1.29 nbAssignments=55 nbFailedAssignments=6 nbBacktracks=10 nbVisitedNodes=69 nbRestartNogoods=0 mapSize=10
1.29 nbInferences=1 nbTooLargeKeys=0
1.29 => wckTime=0.28 cpuTime=0.23 mem=17M693
1.47
1.47 search
1.47 run=1 nbConstraintChecks=8211324 nbPropagations=10435 nbRevisions=286150 nbUselessRevisions=272564
1.47 nbAssignments=117 nbFailedAssignments=14 nbBacktracks=25 nbVisitedNodes=148 nbRestartNogoods=2 mapSize=25
1.47 nbInferences=2 nbTooLargeKeys=0
1.47 => wckTime=0.455 cpuTime=0.4 mem=17M693
1.65
1.65 search
1.65 run=2 nbConstraintChecks=12665442 nbPropagations=20960 nbRevisions=572531 nbUselessRevisions=545197
1.65 nbAssignments=188 nbFailedAssignments=21 nbBacktracks=48 nbVisitedNodes=237 nbRestartNogoods=4 mapSize=38
1.65 nbInferences=6 nbTooLargeKeys=0
1.65 => wckTime=0.641 cpuTime=0.58 mem=17M693
1.82
1.82 search
1.82 run=3 nbConstraintChecks=16765138 nbPropagations=34668 nbRevisions=949180 nbUselessRevisions=904088
1.82 nbAssignments=282 nbFailedAssignments=36 nbBacktracks=91 nbVisitedNodes=360 nbRestartNogoods=7 mapSize=65
1.82 nbInferences=7 nbTooLargeKeys=0
1.82 => wckTime=0.809 cpuTime=0.75 mem=17M693
2.11
2.11 search
2.11 run=4 nbConstraintChecks=23717945 nbPropagations=55048 nbRevisions=1482824 nbUselessRevisions=1410310
2.11 nbAssignments=406 nbFailedAssignments=57 nbBacktracks=142 nbVisitedNodes=541 nbRestartNogoods=8 mapSize=109
2.11 nbInferences=20 nbTooLargeKeys=0
2.11 => wckTime=1.094 cpuTime=1.03 mem=17M693
2.35
2.35 search
2.35 run=5 nbConstraintChecks=29376571 nbPropagations=80169 nbRevisions=2142911 nbUselessRevisions=2036878
2.35 nbAssignments=565 nbFailedAssignments=91 nbBacktracks=226 nbVisitedNodes=775 nbRestartNogoods=11 mapSize=175
2.35 nbInferences=27 nbTooLargeKeys=0
2.35 => wckTime=1.337 cpuTime=1.27 mem=17M693
2.78
2.78 search
2.78 run=6 nbConstraintChecks=39936286 nbPropagations=115775 nbRevisions=3043794 nbUselessRevisions=2888380
2.78 nbAssignments=791 nbFailedAssignments=141 nbBacktracks=343 nbVisitedNodes=1125 nbRestartNogoods=12 mapSize=275
2.78 nbInferences=49 nbTooLargeKeys=0
2.78 => wckTime=1.764 cpuTime=1.69 mem=17M693
3.30
3.30 search
3.30 run=7 nbConstraintChecks=52835821 nbPropagations=164924 nbRevisions=4241447 nbUselessRevisions=4016391
3.30 nbAssignments=1129 nbFailedAssignments=238 nbBacktracks=514 nbVisitedNodes=1677 nbRestartNogoods=14
3.30 mapSize=430 nbInferences=83 nbTooLargeKeys=0
3.30 => wckTime=2.291 cpuTime=2.21 mem=17M693
3.83
3.83 search
3.83 run=8 nbConstraintChecks=65226434 nbPropagations=225746 nbRevisions=5720900 nbUselessRevisions=5411155
3.83 nbAssignments=1617 nbFailedAssignments=373 nbBacktracks=773 nbVisitedNodes=2481 nbRestartNogoods=19
3.84 mapSize=659 nbInferences=140 nbTooLargeKeys=0
3.84 => wckTime=2.822 cpuTime=2.72 mem=18M668
4.93
4.93 search
4.93 run=9 nbConstraintChecks=91859431 nbPropagations=316629 nbRevisions=7819333 nbUselessRevisions=7380566
4.93 nbAssignments=2400 nbFailedAssignments=498 nbBacktracks=1157 nbVisitedNodes=3738 nbRestartNogoods=23
4.93 mapSize=963 nbInferences=375 nbTooLargeKeys=0
4.93 => wckTime=3.919 cpuTime=3.8 mem=18M668
6.06
6.06 search
6.06 run=10 nbConstraintChecks=119561671 nbPropagations=436743 nbRevisions=10559128 nbUselessRevisions=9952731
6.06 nbAssignments=3523 nbFailedAssignments=903 nbBacktracks=1734 nbVisitedNodes=5636 nbRestartNogoods=29
6.06 mapSize=1472 nbInferences=476 nbTooLargeKeys=0
6.06 => wckTime=5.05 cpuTime=4.91 mem=19M643
7.57
7.57 search
7.57 run=11 nbConstraintChecks=156474526 nbPropagations=596185 nbRevisions=14155871 nbUselessRevisions=13327260
7.57 nbAssignments=5087 nbFailedAssignments=1391 nbBacktracks=2598 nbVisitedNodes=8215 nbRestartNogoods=35
7.57 mapSize=2132 nbInferences=653 nbTooLargeKeys=0
7.57 => wckTime=6.56 cpuTime=6.41 mem=19M643
9.88
9.88 search
9.88 run=12 nbConstraintChecks=213390276 nbPropagations=816025 nbRevisions=19078069 nbUselessRevisions=17950093
9.88 nbAssignments=7483 nbFailedAssignments=2193 nbBacktracks=3896 nbVisitedNodes=12221 nbRestartNogoods=41
9.88 mapSize=3184 nbInferences=914 nbTooLargeKeys=0
9.88 => wckTime=8.87 cpuTime=8.69 mem=20M618
11.30
11.30 search
11.30 run=13 nbConstraintChecks=244991025 nbPropagations=1069644 nbRevisions=24740502 nbUselessRevisions=23265212
11.30 nbAssignments=10178 nbFailedAssignments=2472 nbBacktracks=5844 nbVisitedNodes=15789 nbRestartNogoods=48
11.30 mapSize=3831 nbInferences=1337 nbTooLargeKeys=0
11.30 => wckTime=10.29 cpuTime=10.09 mem=22M569
16.30
16.30 search
16.30 run=14 nbConstraintChecks=365873855 nbPropagations=1459798 nbRevisions=33238121 nbUselessRevisions=31219090
16.30 nbAssignments=15272 nbFailedAssignments=3589 nbBacktracks=8769 nbVisitedNodes=23836 nbRestartNogoods=55
16.30 mapSize=5781 nbInferences=2347 nbTooLargeKeys=0
16.30 => wckTime=15.292 cpuTime=15.05 mem=24M519
28.94
28.94 search
28.94 run=15 nbConstraintChecks=683345287 nbPropagations=2229996 nbRevisions=49077499 nbUselessRevisions=46049730
28.94 nbAssignments=24131 nbFailedAssignments=5137 nbBacktracks=13147 nbVisitedNodes=38390 nbRestartNogoods=61
28.94 mapSize=9105 nbInferences=5239 nbTooLargeKeys=0
28.94 => wckTime=27.925 cpuTime=27.57 mem=30M370
36.42
36.42 search
36.42 run=16 nbConstraintChecks=856146697 nbPropagations=3157520 nbRevisions=69094996 nbUselessRevisions=64878485
36.42 nbAssignments=36804 nbFailedAssignments=7544 nbBacktracks=19715 nbVisitedNodes=58981 nbRestartNogoods=72
36.42 mapSize=14338 nbInferences=8876 nbTooLargeKeys=0
36.42 => wckTime=35.405 cpuTime=34.98 mem=37M196
55.11
55.11 search
55.11 run=17 nbConstraintChecks=1313135856 nbPropagations=4565893 nbRevisions=99944424 nbUselessRevisions=93950648
55.11 nbAssignments=58467 nbFailedAssignments=13203 nbBacktracks=29571 nbVisitedNodes=96308 nbRestartNogoods=82
55.11 mapSize=22713 nbInferences=14985 nbTooLargeKeys=0
55.11 => wckTime=54.098 cpuTime=53.5 mem=48M898
80.67
80.67 search
80.67 run=18 nbConstraintChecks=1917597861 nbPropagations=6644886 nbRevisions=145238325 nbUselessRevisions=136642662
80.67 nbAssignments=86960 nbFailedAssignments=20703 nbBacktracks=44349 nbVisitedNodes=143294 nbRestartNogoods=86
80.67 mapSize=33814 nbInferences=21161 nbTooLargeKeys=0
80.67 => wckTime=79.658 cpuTime=78.76 mem=35M732
111.77
111.77 search
111.77 run=19 nbConstraintChecks=2652803593 nbPropagations=9604055 nbRevisions=208154781 nbUselessRevisions=195815489
111.77 nbAssignments=127627 nbFailedAssignments=29933 nbBacktracks=66519 nbVisitedNodes=208285 nbRestartNogoods=101
111.77 mapSize=47266 nbInferences=30383 nbTooLargeKeys=0
111.77 => wckTime=110.755 cpuTime=109.58 mem=56M621
175.47
175.47 search
175.47 run=20 nbConstraintChecks=4190585758 nbPropagations=14296073 nbRevisions=306946988 nbUselessRevisions=288824524
175.47 nbAssignments=193310 nbFailedAssignments=36875 nbBacktracks=99771 nbVisitedNodes=312819 nbRestartNogoods=108
175.47 mapSize=68786 nbInferences=55828 nbTooLargeKeys=0
175.47 => wckTime=174.454 cpuTime=172.59 mem=69M617
282.71
282.71 search
282.71 run=21 nbConstraintChecks=6804083253 nbPropagations=22138058 nbRevisions=467827806 nbUselessRevisions=439967342
282.71 nbAssignments=297609 nbFailedAssignments=64887 nbBacktracks=149649 nbVisitedNodes=490691 nbRestartNogoods=122
282.71 mapSize=107908 nbInferences=82199 nbTooLargeKeys=0
282.71 => wckTime=281.697 cpuTime=278.76 mem=101M679
375.34
375.34 search
375.34 run=22 nbConstraintChecks=9015771026 nbPropagations=32331150 nbRevisions=681128447 nbUselessRevisions=640706757
375.34 nbAssignments=432083 nbFailedAssignments=88395 nbBacktracks=224467 nbVisitedNodes=702219 nbRestartNogoods=131
375.34 mapSize=158145 nbInferences=118279 nbTooLargeKeys=0
375.34 => wckTime=374.327 cpuTime=370.34 mem=122M691
505.23
505.23 search
505.23 run=23 nbConstraintChecks=12090838662 nbPropagations=46161588 nbRevisions=968674505
505.23 nbUselessRevisions=911058980 nbAssignments=617993 nbFailedAssignments=126316 nbBacktracks=336697
505.23 nbVisitedNodes=994692 nbRestartNogoods=151 mapSize=234805 nbInferences=153991 nbTooLargeKeys=0
505.23 => wckTime=504.219 cpuTime=498.81 mem=177M68
688.74
688.74 search
688.74 run=24 nbConstraintChecks=16481645083 nbPropagations=64827310 nbRevisions=1360391615
688.74 nbUselessRevisions=1280035273 nbAssignments=927035 nbFailedAssignments=169048 nbBacktracks=505038
688.74 nbVisitedNodes=1479284 nbRestartNogoods=166 mapSize=339041 nbInferences=251894 nbTooLargeKeys=0
688.74 => wckTime=687.731 cpuTime=680.37 mem=262M188
923.07
923.07 search
923.07 run=25 nbConstraintChecks=21907874031 nbPropagations=89027915 nbRevisions=1882101986
923.07 nbUselessRevisions=1772800158 nbAssignments=1373877 nbFailedAssignments=235375 nbBacktracks=757551
923.07 nbVisitedNodes=2172511 nbRestartNogoods=183 mapSize=518445 nbInferences=379839 nbTooLargeKeys=0
923.07 => wckTime=922.055 cpuTime=912.0 mem=393M871
1434.28
1434.28 search
1434.28 run=26 nbConstraintChecks=34401852054 nbPropagations=124492167 nbRevisions=2693887746
1434.28 nbUselessRevisions=2543327671 nbAssignments=2165321 nbFailedAssignments=349738 nbBacktracks=1136318
1434.28 nbVisitedNodes=3463674 nbRestartNogoods=193 mapSize=784975 nbInferences=678103 nbTooLargeKeys=0
1434.28 => wckTime=1433.266 cpuTime=1418.81 mem=564M14
1468.01
1468.01 INFO : Stopping hyperNogood (mapSize=807641, nbTooLargekeys=0, mem=601M20)
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node51/watcher-238966-1168083783 -o ROOT/results/node51/solver-238966-1168083783 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/238966-1168083783/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.94 2.01 1.90 4/80 1565
/proc/meminfo: memFree=1375232/2055920 swapFree=4192812/4192956
[pid=1564] ppid=1562 vsize=18540 CPUtime=0
/proc/1564/stat : 1564 (runsolver) R 1562 1564 1497 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 156776834 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 235371293991 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/1564/statm: 4635 279 244 17 0 2626 0
[startup+0.107494 s]
/proc/loadavg: 1.94 2.01 1.90 4/80 1565
/proc/meminfo: memFree=1375232/2055920 swapFree=4192812/4192956
[pid=1564] ppid=1562 vsize=914988 CPUtime=0.07
/proc/1564/stat : 1564 (java) R 1562 1564 1497 0 -1 0 2994 0 1 0 6 1 0 0 17 0 8 0 156776834 936947712 2740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072931671 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1564/statm: 228747 2740 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914988
[startup+0.518563 s]
/proc/loadavg: 1.94 2.01 1.90 4/80 1565
/proc/meminfo: memFree=1375232/2055920 swapFree=4192812/4192956
[pid=1564] ppid=1562 vsize=915328 CPUtime=0.48
/proc/1564/stat : 1564 (java) R 1562 1564 1497 0 -1 0 6422 0 1 0 44 4 0 0 18 0 8 0 156776834 937295872 6161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073647362 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1564/statm: 228832 6161 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.34471 s]
/proc/loadavg: 1.94 2.01 1.90 4/87 1572
/proc/meminfo: memFree=1343816/2055920 swapFree=4192812/4192956
[pid=1564] ppid=1562 vsize=915572 CPUtime=1.3
/proc/1564/stat : 1564 (java) R 1562 1564 1497 0 -1 0 10543 0 1 0 123 7 0 0 24 0 8 0 156776834 937545728 10281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073928472 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1564/statm: 228893 10281 2513 14 0 215363 0
[pid=1564/tid=1566] ppid=1562 vsize=915572 CPUtime=0.05
/proc/1564/task/1566/stat : 1566 (java) S 1562 1564 1497 0 -1 64 719 0 0 0 5 0 0 0 16 0 8 0 156776838 937545728 10281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1567] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1567/stat : 1567 (java) S 1562 1564 1497 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156776838 937545728 10281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1568] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1568/stat : 1568 (java) S 1562 1564 1497 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156776838 937545728 10281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1569] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1569/stat : 1569 (java) S 1562 1564 1497 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156776842 937545728 10281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1570] ppid=1562 vsize=915572 CPUtime=0.25
/proc/1564/task/1570/stat : 1570 (java) S 1562 1564 1497 0 -1 64 409 0 0 0 24 1 0 0 16 0 8 0 156776842 937545728 10281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1571] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1571/stat : 1571 (java) S 1562 1564 1497 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156776842 937545728 10281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1572] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1572/stat : 1572 (java) S 1562 1564 1497 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156776842 937545728 10281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915572
[startup+2.98198 s]
/proc/loadavg: 1.94 2.01 1.90 3/87 1572
/proc/meminfo: memFree=1343688/2055920 swapFree=4192812/4192956
[pid=1564] ppid=1562 vsize=915572 CPUtime=2.93
/proc/1564/stat : 1564 (java) R 1562 1564 1497 0 -1 0 10549 0 1 0 286 7 0 0 25 0 8 0 156776834 937545728 10285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073923464 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1564/statm: 228893 10285 2513 14 0 215363 0
[pid=1564/tid=1566] ppid=1562 vsize=915572 CPUtime=0.05
/proc/1564/task/1566/stat : 1566 (java) S 1562 1564 1497 0 -1 64 719 0 0 0 5 0 0 0 17 0 8 0 156776838 937545728 10285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1567] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1567/stat : 1567 (java) S 1562 1564 1497 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156776838 937545728 10285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1568] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1568/stat : 1568 (java) S 1562 1564 1497 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156776838 937545728 10285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1569] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1569/stat : 1569 (java) S 1562 1564 1497 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156776842 937545728 10285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1570] ppid=1562 vsize=915572 CPUtime=0.25
/proc/1564/task/1570/stat : 1570 (java) S 1562 1564 1497 0 -1 64 413 0 0 0 24 1 0 0 15 0 8 0 156776842 937545728 10285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1571] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1571/stat : 1571 (java) S 1562 1564 1497 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156776842 937545728 10285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1572] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1572/stat : 1572 (java) S 1562 1564 1497 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156776842 937545728 10285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915572
[startup+6.28154 s]
/proc/loadavg: 1.95 2.01 1.90 3/87 1572
/proc/meminfo: memFree=1316168/2055920 swapFree=4192812/4192956
[pid=1564] ppid=1562 vsize=915572 CPUtime=6.19
/proc/1564/stat : 1564 (java) R 1562 1564 1497 0 -1 0 10567 0 1 0 612 7 0 0 25 0 8 0 156776834 937545728 10300 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073928397 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1564/statm: 228893 10300 2514 14 0 215363 0
[pid=1564/tid=1566] ppid=1562 vsize=915572 CPUtime=0.05
/proc/1564/task/1566/stat : 1566 (java) S 1562 1564 1497 0 -1 64 719 0 0 0 5 0 0 0 17 0 8 0 156776838 937545728 10300 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1567] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1567/stat : 1567 (java) S 1562 1564 1497 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156776838 937545728 10300 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1568] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1568/stat : 1568 (java) S 1562 1564 1497 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156776838 937545728 10300 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1569] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1569/stat : 1569 (java) S 1562 1564 1497 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156776842 937545728 10300 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1570] ppid=1562 vsize=915572 CPUtime=0.28
/proc/1564/task/1570/stat : 1570 (java) S 1562 1564 1497 0 -1 64 427 0 0 0 27 1 0 0 16 0 8 0 156776842 937545728 10300 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1571] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1571/stat : 1571 (java) S 1562 1564 1497 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156776842 937545728 10300 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1572] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1572/stat : 1572 (java) S 1562 1564 1497 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156776842 937545728 10300 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915572
[startup+12.7576 s]
/proc/loadavg: 1.95 2.01 1.90 3/87 1572
/proc/meminfo: memFree=1315984/2055920 swapFree=4192812/4192956
[pid=1564] ppid=1562 vsize=915572 CPUtime=12.61
/proc/1564/stat : 1564 (java) R 1562 1564 1497 0 -1 0 10638 0 1 0 1253 8 0 0 25 0 8 0 156776834 937545728 10371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073945831 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1564/statm: 228893 10371 2514 14 0 215363 0
[pid=1564/tid=1566] ppid=1562 vsize=915572 CPUtime=0.05
/proc/1564/task/1566/stat : 1566 (java) S 1562 1564 1497 0 -1 64 719 0 0 0 5 0 0 0 16 0 8 0 156776838 937545728 10371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1567] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1567/stat : 1567 (java) S 1562 1564 1497 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156776838 937545728 10371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1568] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1568/stat : 1568 (java) S 1562 1564 1497 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156776838 937545728 10371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1569] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1569/stat : 1569 (java) S 1562 1564 1497 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156776842 937545728 10371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1570] ppid=1562 vsize=915572 CPUtime=0.29
/proc/1564/task/1570/stat : 1570 (java) S 1562 1564 1497 0 -1 64 430 0 0 0 28 1 0 0 15 0 8 0 156776842 937545728 10371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1571] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1571/stat : 1571 (java) S 1562 1564 1497 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156776842 937545728 10371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1572] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1572/stat : 1572 (java) S 1562 1564 1497 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156776842 937545728 10371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915572
[startup+25.6138 s]
/proc/loadavg: 1.96 2.01 1.91 3/87 1572
/proc/meminfo: memFree=1310608/2055920 swapFree=4192812/4192956
[pid=1564] ppid=1562 vsize=915572 CPUtime=25.35
/proc/1564/stat : 1564 (java) R 1562 1564 1497 0 -1 0 12041 0 1 0 2526 9 0 0 25 0 8 0 156776834 937545728 11774 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073928688 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1564/statm: 228893 11774 2514 14 0 215363 0
[pid=1564/tid=1566] ppid=1562 vsize=915572 CPUtime=0.05
/proc/1564/task/1566/stat : 1566 (java) S 1562 1564 1497 0 -1 64 719 0 0 0 5 0 0 0 16 0 8 0 156776838 937545728 11774 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1567] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1567/stat : 1567 (java) S 1562 1564 1497 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156776838 937545728 11774 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1568] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1568/stat : 1568 (java) S 1562 1564 1497 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156776838 937545728 11774 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1569] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1569/stat : 1569 (java) S 1562 1564 1497 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156776842 937545728 11774 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1570] ppid=1562 vsize=915572 CPUtime=0.29
/proc/1564/task/1570/stat : 1570 (java) S 1562 1564 1497 0 -1 64 430 0 0 0 28 1 0 0 15 0 8 0 156776842 937545728 11774 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1571] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1571/stat : 1571 (java) S 1562 1564 1497 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156776842 937545728 11774 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1572] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1572/stat : 1572 (java) S 1562 1564 1497 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156776842 937545728 11774 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915572
[startup+51.2242 s]
/proc/loadavg: 1.97 2.01 1.91 3/87 1572
/proc/meminfo: memFree=1293456/2055920 swapFree=4192812/4192956
[pid=1564] ppid=1562 vsize=915572 CPUtime=50.72
/proc/1564/stat : 1564 (java) R 1562 1564 1497 0 -1 0 16325 0 1 0 5061 11 0 0 25 0 8 0 156776834 937545728 16058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073940940 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1564/statm: 228893 16058 2514 14 0 215363 0
[pid=1564/tid=1566] ppid=1562 vsize=915572 CPUtime=0.05
/proc/1564/task/1566/stat : 1566 (java) S 1562 1564 1497 0 -1 64 719 0 0 0 5 0 0 0 16 0 8 0 156776838 937545728 16058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1567] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1567/stat : 1567 (java) S 1562 1564 1497 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156776838 937545728 16058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1568] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1568/stat : 1568 (java) S 1562 1564 1497 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156776838 937545728 16058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1569] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1569/stat : 1569 (java) S 1562 1564 1497 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156776842 937545728 16058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1570] ppid=1562 vsize=915572 CPUtime=0.29
/proc/1564/task/1570/stat : 1570 (java) S 1562 1564 1497 0 -1 64 430 0 0 0 28 1 0 0 15 0 8 0 156776842 937545728 16058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1571] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1571/stat : 1571 (java) S 1562 1564 1497 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156776842 937545728 16058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1572] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1572/stat : 1572 (java) S 1562 1564 1497 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156776842 937545728 16058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 915572
[startup+102.441 s]
/proc/loadavg: 2.03 2.02 1.91 3/87 1572
/proc/meminfo: memFree=1246992/2055920 swapFree=4192812/4192956
[pid=1564] ppid=1562 vsize=915572 CPUtime=101.47
/proc/1564/stat : 1564 (java) R 1562 1564 1497 0 -1 0 22386 0 1 0 10134 13 0 0 25 0 8 0 156776834 937545728 22118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073937914 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1564/statm: 228893 22118 2518 14 0 215363 0
[pid=1564/tid=1566] ppid=1562 vsize=915572 CPUtime=0.11
/proc/1564/task/1566/stat : 1566 (java) S 1562 1564 1497 0 -1 64 5362 0 0 0 10 1 0 0 16 0 8 0 156776838 937545728 22118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1567] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1567/stat : 1567 (java) S 1562 1564 1497 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156776838 937545728 22118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1568] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1568/stat : 1568 (java) S 1562 1564 1497 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156776838 937545728 22118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1569] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1569/stat : 1569 (java) S 1562 1564 1497 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156776842 937545728 22118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1570] ppid=1562 vsize=915572 CPUtime=0.29
/proc/1564/task/1570/stat : 1570 (java) S 1562 1564 1497 0 -1 64 430 0 0 0 28 1 0 0 15 0 8 0 156776842 937545728 22118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1571] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1571/stat : 1571 (java) S 1562 1564 1497 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156776842 937545728 22118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1572] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1572/stat : 1572 (java) S 1562 1564 1497 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156776842 937545728 22118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.47
Current children cumulated vsize (KiB) 915572
[startup+162.505 s]
/proc/loadavg: 2.01 2.01 1.91 3/87 1572
/proc/meminfo: memFree=1194128/2055920 swapFree=4192812/4192956
[pid=1564] ppid=1562 vsize=915572 CPUtime=160.99
/proc/1564/stat : 1564 (java) R 1562 1564 1497 0 -1 0 29239 0 1 0 16083 16 0 0 25 0 8 0 156776834 937545728 28970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073928446 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1412.1
Current children cumulated vsize (KiB) 915572
[startup+1484.08 s]
/proc/loadavg: 2.15 2.04 1.95 3/87 1776
/proc/meminfo: memFree=234712/2055920 swapFree=4192812/4192956
[pid=1564] ppid=1562 vsize=915572 CPUtime=1471.88
/proc/1564/stat : 1564 (java) R 1562 1564 1497 0 -1 0 154776 0 1 0 147122 66 0 0 25 0 8 0 156776834 937545728 154484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073923464 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1564/statm: 228893 154484 2518 14 0 215363 0
[pid=1564/tid=1566] ppid=1562 vsize=915572 CPUtime=2.48
/proc/1564/task/1566/stat : 1566 (java) S 1562 1564 1497 0 -1 64 137728 0 0 0 197 51 0 0 16 0 8 0 156776838 937545728 154484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1567] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1567/stat : 1567 (java) S 1562 1564 1497 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156776838 937545728 154484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1568] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1568/stat : 1568 (java) S 1562 1564 1497 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156776838 937545728 154484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1569] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1569/stat : 1569 (java) S 1562 1564 1497 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156776842 937545728 154484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1570] ppid=1562 vsize=915572 CPUtime=0.29
/proc/1564/task/1570/stat : 1570 (java) S 1562 1564 1497 0 -1 64 430 0 0 0 28 1 0 0 16 0 8 0 156776842 937545728 154484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1571] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1571/stat : 1571 (java) S 1562 1564 1497 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156776842 937545728 154484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1572] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1572/stat : 1572 (java) S 1562 1564 1497 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156776842 937545728 154484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1471.88
Current children cumulated vsize (KiB) 915572
[startup+1544.13 s]
/proc/loadavg: 2.05 2.03 1.95 3/87 1776
/proc/meminfo: memFree=234648/2055920 swapFree=4192812/4192956
[pid=1564] ppid=1562 vsize=915572 CPUtime=1531.64
/proc/1564/stat : 1564 (java) R 1562 1564 1497 0 -1 0 154776 0 1 0 153098 66 0 0 25 0 8 0 156776834 937545728 154484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073939872 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1564/statm: 228893 154484 2518 14 0 215363 0
[pid=1564/tid=1566] ppid=1562 vsize=915572 CPUtime=2.48
/proc/1564/task/1566/stat : 1566 (java) S 1562 1564 1497 0 -1 64 137728 0 0 0 197 51 0 0 16 0 8 0 156776838 937545728 154484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1567] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1567/stat : 1567 (java) S 1562 1564 1497 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156776838 937545728 154484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1568] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1568/stat : 1568 (java) S 1562 1564 1497 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156776838 937545728 154484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1569] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1569/stat : 1569 (java) S 1562 1564 1497 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156776842 937545728 154484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1570] ppid=1562 vsize=915572 CPUtime=0.29
/proc/1564/task/1570/stat : 1570 (java) S 1562 1564 1497 0 -1 64 430 0 0 0 28 1 0 0 16 0 8 0 156776842 937545728 154484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1571] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1571/stat : 1571 (java) S 1562 1564 1497 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156776842 937545728 154484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1572] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1572/stat : 1572 (java) S 1562 1564 1497 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156776842 937545728 154484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1531.64
Current children cumulated vsize (KiB) 915572
[startup+1604.18 s]
/proc/loadavg: 2.02 2.02 1.95 3/87 1776
/proc/meminfo: memFree=234712/2055920 swapFree=4192812/4192956
[pid=1564] ppid=1562 vsize=915572 CPUtime=1591.42
/proc/1564/stat : 1564 (java) R 1562 1564 1497 0 -1 0 154776 0 1 0 159075 67 0 0 25 0 8 0 156776834 937545728 154484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073945699 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1564/statm: 228893 154484 2518 14 0 215363 0
[pid=1564/tid=1566] ppid=1562 vsize=915572 CPUtime=2.48
/proc/1564/task/1566/stat : 1566 (java) S 1562 1564 1497 0 -1 64 137728 0 0 0 197 51 0 0 16 0 8 0 156776838 937545728 154484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1567] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1567/stat : 1567 (java) S 1562 1564 1497 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156776838 937545728 154484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1568] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1568/stat : 1568 (java) S 1562 1564 1497 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156776838 937545728 154484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1569] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1569/stat : 1569 (java) S 1562 1564 1497 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156776842 937545728 154484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1570] ppid=1562 vsize=915572 CPUtime=0.29
/proc/1564/task/1570/stat : 1570 (java) S 1562 1564 1497 0 -1 64 430 0 0 0 28 1 0 0 16 0 8 0 156776842 937545728 154484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1571] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1571/stat : 1571 (java) S 1562 1564 1497 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156776842 937545728 154484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1572] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1572/stat : 1572 (java) S 1562 1564 1497 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156776842 937545728 154484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1591.42
Current children cumulated vsize (KiB) 915572
[startup+1664.24 s]
/proc/loadavg: 2.00 2.02 1.95 3/87 1776
/proc/meminfo: memFree=234648/2055920 swapFree=4192812/4192956
[pid=1564] ppid=1562 vsize=915572 CPUtime=1651.19
/proc/1564/stat : 1564 (java) R 1562 1564 1497 0 -1 0 154776 0 1 0 165052 67 0 0 25 0 8 0 156776834 937545728 154484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073928599 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1564/statm: 228893 154484 2518 14 0 215363 0
[pid=1564/tid=1566] ppid=1562 vsize=915572 CPUtime=2.48
/proc/1564/task/1566/stat : 1566 (java) S 1562 1564 1497 0 -1 64 137728 0 0 0 197 51 0 0 16 0 8 0 156776838 937545728 154484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1567] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1567/stat : 1567 (java) S 1562 1564 1497 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156776838 937545728 154484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1568] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1568/stat : 1568 (java) S 1562 1564 1497 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156776838 937545728 154484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1569] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1569/stat : 1569 (java) S 1562 1564 1497 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156776842 937545728 154484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1570] ppid=1562 vsize=915572 CPUtime=0.29
/proc/1564/task/1570/stat : 1570 (java) S 1562 1564 1497 0 -1 64 430 0 0 0 28 1 0 0 16 0 8 0 156776842 937545728 154484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1571] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1571/stat : 1571 (java) S 1562 1564 1497 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156776842 937545728 154484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1572] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1572/stat : 1572 (java) S 1562 1564 1497 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156776842 937545728 154484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1651.19
Current children cumulated vsize (KiB) 915572
[startup+1724.27 s]
/proc/loadavg: 1.40 1.84 1.89 2/75 1787
/proc/meminfo: memFree=846344/2055920 swapFree=4192812/4192956
[pid=1564] ppid=1562 vsize=915572 CPUtime=1711.13
/proc/1564/stat : 1564 (java) R 1562 1564 1497 0 -1 0 154776 0 1 0 171046 67 0 0 25 0 8 0 156776834 937545728 154484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073923431 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1564/statm: 228893 154484 2518 14 0 215363 0
[pid=1564/tid=1566] ppid=1562 vsize=915572 CPUtime=2.48
/proc/1564/task/1566/stat : 1566 (java) S 1562 1564 1497 0 -1 64 137728 0 0 0 197 51 0 0 16 0 8 0 156776838 937545728 154484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1567] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1567/stat : 1567 (java) S 1562 1564 1497 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156776838 937545728 154484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1568] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1568/stat : 1568 (java) S 1562 1564 1497 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156776838 937545728 154484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1569] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1569/stat : 1569 (java) S 1562 1564 1497 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156776842 937545728 154484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1570] ppid=1562 vsize=915572 CPUtime=0.29
/proc/1564/task/1570/stat : 1570 (java) S 1562 1564 1497 0 -1 64 430 0 0 0 28 1 0 0 16 0 8 0 156776842 937545728 154484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1571] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1571/stat : 1571 (java) S 1562 1564 1497 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156776842 937545728 154484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1572] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1572/stat : 1572 (java) S 1562 1564 1497 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156776842 937545728 154484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1711.13
Current children cumulated vsize (KiB) 915572
[startup+1784.29 s]
/proc/loadavg: 1.14 1.69 1.84 2/72 1792
/proc/meminfo: memFree=852456/2055920 swapFree=4192812/4192956
[pid=1564] ppid=1562 vsize=915572 CPUtime=1771.12
/proc/1564/stat : 1564 (java) R 1562 1564 1497 0 -1 0 154776 0 1 0 177044 68 0 0 25 0 8 0 156776834 937545728 154484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073923456 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1564/statm: 228893 154484 2518 14 0 215363 0
[pid=1564/tid=1566] ppid=1562 vsize=915572 CPUtime=2.48
/proc/1564/task/1566/stat : 1566 (java) S 1562 1564 1497 0 -1 64 137728 0 0 0 197 51 0 0 16 0 8 0 156776838 937545728 154484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1567] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1567/stat : 1567 (java) S 1562 1564 1497 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156776838 937545728 154484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1568] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1568/stat : 1568 (java) S 1562 1564 1497 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156776838 937545728 154484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1569] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1569/stat : 1569 (java) S 1562 1564 1497 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156776842 937545728 154484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1570] ppid=1562 vsize=915572 CPUtime=0.29
/proc/1564/task/1570/stat : 1570 (java) S 1562 1564 1497 0 -1 64 430 0 0 0 28 1 0 0 16 0 8 0 156776842 937545728 154484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1571] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1571/stat : 1571 (java) S 1562 1564 1497 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156776842 937545728 154484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1572] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1572/stat : 1572 (java) S 1562 1564 1497 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156776842 937545728 154484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1771.12
Current children cumulated vsize (KiB) 915572
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1813.26 s]
/proc/loadavg: 1.09 1.63 1.81 2/72 1792
/proc/meminfo: memFree=852520/2055920 swapFree=4192812/4192956
[pid=1564] ppid=1562 vsize=915572 CPUtime=1800.08
/proc/1564/stat : 1564 (java) R 1562 1564 1497 0 -1 0 154776 0 1 0 179940 68 0 0 25 0 8 0 156776834 937545728 154484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073928480 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1564/statm: 228893 154484 2518 14 0 215363 0
[pid=1564/tid=1566] ppid=1562 vsize=915572 CPUtime=2.48
/proc/1564/task/1566/stat : 1566 (java) S 1562 1564 1497 0 -1 64 137728 0 0 0 197 51 0 0 16 0 8 0 156776838 937545728 154484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1567] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1567/stat : 1567 (java) S 1562 1564 1497 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156776838 937545728 154484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1568] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1568/stat : 1568 (java) S 1562 1564 1497 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156776838 937545728 154484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1569] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1569/stat : 1569 (java) S 1562 1564 1497 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156776842 937545728 154484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1570] ppid=1562 vsize=915572 CPUtime=0.29
/proc/1564/task/1570/stat : 1570 (java) S 1562 1564 1497 0 -1 64 430 0 0 0 28 1 0 0 16 0 8 0 156776842 937545728 154484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1571] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1571/stat : 1571 (java) S 1562 1564 1497 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156776842 937545728 154484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1564/tid=1572] ppid=1562 vsize=915572 CPUtime=0
/proc/1564/task/1572/stat : 1572 (java) S 1562 1564 1497 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156776842 937545728 154484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 915572
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1813.4
CPU time (s): 1800.23
CPU user time (s): 1799.45
CPU system time (s): 0.778881
CPU usage (%): 99.2737
Max. virtual memory (cumulated for all children) (KiB): 915572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.45
system time used= 0.778881
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154794
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= 38157
involuntary context switches= 94650
runsolver used 2.09368 s user time and 5.82711 s system time
The end
Begin job on node51 on Sat Jan 6 11:43:03 UTC 2007
IDJOB= 238966
IDBENCH= 7030
FILE ID= node51/238966-1168083783
PBS_JOBID= 3476291
Free space on /tmp= 66545 MiB
BENCH NAME= HOME/pub/bench/CPAI06/blackHole/BH-4-13/BlackHole-4-13-m-1_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/238966-1168083783/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node51/watcher-238966-1168083783 -o ROOT/results/node51/solver-238966-1168083783 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/238966-1168083783/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= a1605d2afccf6dc05f53789b17db85a0
RANDOM SEED= 159587645
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: 1375712 kB
Buffers: 33864 kB
Cached: 476748 kB
SwapCached: 0 kB
Active: 146408 kB
Inactive: 463772 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1375712 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2104 kB
Writeback: 0 kB
Mapped: 119860 kB
Slab: 55292 kB
Committed_AS: 3895032 kB
PageTables: 1984 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= 66547 MiB
End job on node51 on Sat Jan 6 12:13:22 UTC 2007