0.38
0.38 Abscon 109 (November, 2006)
0.38
0.38 configuration
0.38 name=mac.xml
0.41
0.41 instance
0.41 name=/tmp/evaluation/197994-1168071193/unknown.xml
0.44
0.44 domains being loaded...
0.44
0.45 variables being loaded...
0.48 nbVariables=12 nbDomainTypes=1 minDomainSize=68 maxDomainSize=68
0.48 => wckTime=0.097 cpuTime=0.09 mem=6M951
0.48
0.48 predicates being loaded...
0.48
0.48 constraints being loaded...
0.88 nbConstraints=781 nbMergedConstraints=1210 nbConvertedConstraints=66 nbConvertConstraintsChecks=4624
0.88 nbExtensionStructures=1 nbSharedExtensionStructures=65 nbConflictsStructures=1 nbSharedConflictsStructures=65
0.88 nbUnbuiltConflictsStructures=2 nbSharedBinaryRepresentations=1 nbEvaluationManagers=2
0.88 nbSharedEvaluationManagers=713 maxDegree=231 maxArity=4
0.88 => wckTime=0.498 cpuTime=0.37 mem=21M579
0.92
0.92 solver IterativeSystematicSolver being built...
1.14 => wckTime=0.762 cpuTime=0.55 mem=24M724
1.30
1.30 preprocessing
1.31 nbConstraintChecks=159956 nbValidityChecks=139551 nbPropagations=23 nbRevisions=3312 nbUselessRevisions=3180
1.31 nbRemovedValues=132 detectedInconsistency=no
1.31 => wckTime=0.16 cpuTime=0.14 mem=24M724
2.34
2.34 search
2.34 run=0 nbConstraintChecks=843900 nbValidityChecks=1104341 nbPropagations=344 nbRevisions=79972
2.34 nbUselessRevisions=77079 nbAssignments=81 nbFailedAssignments=65 nbBacktracks=10 nbVisitedNodes=157
2.34 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
2.34 => wckTime=1.197 cpuTime=1.15 mem=24M724
4.17
4.17 search
4.17 run=1 nbConstraintChecks=2357520 nbValidityChecks=3584203 nbPropagations=1166 nbRevisions=284888
4.17 nbUselessRevisions=276810 nbAssignments=174 nbFailedAssignments=138 nbBacktracks=25 nbVisitedNodes=337
4.17 nbRestartNogoods=26 mapSize=25 nbInferences=0 nbTooLargeKeys=0
4.17 => wckTime=3.026 cpuTime=2.95 mem=24M724
6.05
6.05 search
6.05 run=2 nbConstraintChecks=3736492 nbValidityChecks=6746561 nbPropagations=2722 nbRevisions=676084
6.05 nbUselessRevisions=658553 nbAssignments=310 nbFailedAssignments=246 nbBacktracks=47 nbVisitedNodes=603
6.05 nbRestartNogoods=51 mapSize=47 nbInferences=0 nbTooLargeKeys=0
6.05 => wckTime=4.908 cpuTime=4.81 mem=24M724
8.01
8.01 search
8.01 run=3 nbConstraintChecks=5085426 nbValidityChecks=10736829 nbPropagations=5100 nbRevisions=1285646
8.01 nbUselessRevisions=1251461 nbAssignments=475 nbFailedAssignments=373 nbBacktracks=80 nbVisitedNodes=921
8.01 nbRestartNogoods=70 mapSize=79 nbInferences=0 nbTooLargeKeys=0
8.01 => wckTime=6.87 cpuTime=6.75 mem=24M724
10.95
10.95 search
10.95 run=4 nbConstraintChecks=7615596 nbValidityChecks=15352059 nbPropagations=8213 nbRevisions=2063565
10.95 nbUselessRevisions=2010776 nbAssignments=589 nbFailedAssignments=436 nbBacktracks=130 nbVisitedNodes=1128
10.95 nbRestartNogoods=95 mapSize=126 nbInferences=0 nbTooLargeKeys=0
10.95 => wckTime=9.804 cpuTime=9.65 mem=24M724
16.21
16.21 search
16.21 run=5 nbConstraintChecks=12137614 nbValidityChecks=22844870 nbPropagations=12525 nbRevisions=3136467
16.21 nbUselessRevisions=3060793 nbAssignments=775 nbFailedAssignments=544 nbBacktracks=206 nbVisitedNodes=1479
16.21 nbRestartNogoods=97 mapSize=197 nbInferences=0 nbTooLargeKeys=0
16.21 => wckTime=15.07 cpuTime=14.86 mem=24M724
23.54
23.54 search
23.54 run=6 nbConstraintChecks=18227291 nbValidityChecks=34000871 nbPropagations=18638 nbRevisions=4684769
23.54 nbUselessRevisions=4574775 nbAssignments=1116 nbFailedAssignments=770 nbBacktracks=319 nbVisitedNodes=2120
23.54 nbRestartNogoods=107 mapSize=294 nbInferences=0 nbTooLargeKeys=0
23.54 => wckTime=22.4 cpuTime=22.13 mem=24M724
35.17
35.17 search
35.17 run=7 nbConstraintChecks=27264758 nbValidityChecks=54025989 nbPropagations=28306 nbRevisions=7189968
35.17 nbUselessRevisions=7016244 nbAssignments=1824 nbFailedAssignments=1304 nbBacktracks=490 nbVisitedNodes=3471
35.17 nbRestartNogoods=125 mapSize=438 nbInferences=0 nbTooLargeKeys=0
35.17 => wckTime=34.024 cpuTime=33.63 mem=25M700
52.60
52.60 search
52.60 run=8 nbConstraintChecks=40201999 nbValidityChecks=86928387 nbPropagations=44589 nbRevisions=11507581
52.60 nbUselessRevisions=11204836 nbAssignments=3185 nbFailedAssignments=2403 nbBacktracks=746 nbVisitedNodes=6091
52.60 nbRestartNogoods=146 mapSize=641 nbInferences=0 nbTooLargeKeys=0
52.60 => wckTime=51.458 cpuTime=50.89 mem=25M700
76.07
76.07 search
76.07 run=9 nbConstraintChecks=57206744 nbValidityChecks=132378468 nbPropagations=70833 nbRevisions=18540510
76.07 nbUselessRevisions=18009444 nbAssignments=5250 nbFailedAssignments=4081 nbBacktracks=1130 nbVisitedNodes=10074
76.07 nbRestartNogoods=175 mapSize=946 nbInferences=0 nbTooLargeKeys=0
76.07 => wckTime=74.923 cpuTime=74.14 mem=25M700
79.88
79.88 INFO : Stopping hyperNogood (mapSize=1001, nbTooLargekeys=0, mem=25M700)
109.94
109.94 search
109.94 run=10 nbConstraintChecks=82827566 nbValidityChecks=190525647 nbPropagations=110305 nbRevisions=29134893
109.94 nbUselessRevisions=28256493 nbAssignments=7977 nbFailedAssignments=6226 nbBacktracks=1706 nbVisitedNodes=15332
109.94 nbRestartNogoods=202
109.94 => wckTime=108.799 cpuTime=107.7 mem=25M700
143.95
143.95 search
143.95 run=11 nbConstraintChecks=108942816 nbValidityChecks=238079611 nbPropagations=169309 nbRevisions=44120519
143.95 nbUselessRevisions=42794959 nbAssignments=11711 nbFailedAssignments=9090 nbBacktracks=2570 nbVisitedNodes=22606
143.95 nbRestartNogoods=215
143.95 => wckTime=142.809 cpuTime=141.4 mem=25M700
178.82
178.82 search
178.82 run=12 nbConstraintChecks=135702219 nbValidityChecks=287488874 nbPropagations=245859 nbRevisions=63919575
178.82 nbUselessRevisions=62002600 nbAssignments=14897 nbFailedAssignments=10973 nbBacktracks=3868
178.82 nbVisitedNodes=28675 nbRestartNogoods=234
178.82 => wckTime=177.68 cpuTime=176.09 mem=25M700
210.48
210.48 search
210.48 run=13 nbConstraintChecks=160011725 nbValidityChecks=332900386 nbPropagations=347475 nbRevisions=90026670
210.48 nbUselessRevisions=87380846 nbAssignments=19900 nbFailedAssignments=14026 nbBacktracks=5814
210.48 nbVisitedNodes=38155 nbRestartNogoods=249
210.48 => wckTime=209.339 cpuTime=207.72 mem=25M700
279.17
279.17 search
279.17 run=14 nbConstraintChecks=214418604 nbValidityChecks=439634318 nbPropagations=499284 nbRevisions=127995524
279.17 nbUselessRevisions=124274752 nbAssignments=30418 nbFailedAssignments=21620 nbBacktracks=8733
279.17 nbVisitedNodes=58516 nbRestartNogoods=264
279.17 => wckTime=278.024 cpuTime=276.34 mem=25M700
403.91
403.91 search
403.91 run=15 nbConstraintChecks=310569760 nbValidityChecks=641338932 nbPropagations=742338 nbRevisions=188809914
403.91 nbUselessRevisions=183522680 nbAssignments=46676 nbFailedAssignments=33495 nbBacktracks=13111
403.91 nbVisitedNodes=90344 nbRestartNogoods=279
403.91 => wckTime=402.768 cpuTime=400.93 mem=25M700
534.34
534.34 search
534.34 run=16 nbConstraintChecks=415039872 nbValidityChecks=834216702 nbPropagations=1075296 nbRevisions=270829867
534.34 nbUselessRevisions=263223904 nbAssignments=65550 nbFailedAssignments=45795 nbBacktracks=19679
534.34 nbVisitedNodes=126433 nbRestartNogoods=302
534.34 => wckTime=533.198 cpuTime=531.23 mem=25M700
855.99
855.99 search
855.99 run=17 nbConstraintChecks=669623168 nbValidityChecks=1336997691 nbPropagations=1640426 nbRevisions=409741603
855.99 nbUselessRevisions=398713152 nbAssignments=107461 nbFailedAssignments=77847 nbBacktracks=29533
855.99 nbVisitedNodes=208342 nbRestartNogoods=324
855.99 => wckTime=854.845 cpuTime=852.53 mem=25M700
1255.53
1255.53 search
1255.53 run=18 nbConstraintChecks=968255847 nbValidityChecks=1985658319 nbPropagations=2518593 nbRevisions=628521952
1255.53 nbUselessRevisions=612385910 nbAssignments=159193 nbFailedAssignments=114796 nbBacktracks=44311
1255.53 nbVisitedNodes=310659 nbRestartNogoods=341
1255.53 => wckTime=1254.388 cpuTime=1251.63 mem=25M700
1775.88
1775.88 search
1775.88 run=19 nbConstraintChecks=1380297103 nbValidityChecks=2768865762 nbPropagations=3774541 nbRevisions=940737272
1775.88 nbUselessRevisions=917069836 nbAssignments=225706 nbFailedAssignments=159136 nbBacktracks=66479
1775.88 nbVisitedNodes=438169 nbRestartNogoods=370
1775.88 => wckTime=1774.74 cpuTime=1771.36 mem=25M700
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node15/watcher-197994-1168071193 -o ROOT/results/node15/solver-197994-1168071193 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/197994-1168071193/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: 1.78 1.95 1.98 5/93 12829
/proc/meminfo: memFree=1033504/2055920 swapFree=4174172/4192956
[pid=12828] ppid=12826 vsize=18540 CPUtime=0
/proc/12828/stat : 12828 (runsolver) R 12826 12374 12374 0 -1 4194368 12 0 0 0 0 0 0 0 19 0 1 0 155514573 18984960 277 18446744073709551615 4194304 4267372 548682068880 18446744073709551615 240469977247 0 0 4096 24578 0 0 0 17 1 0 0
/proc/12828/statm: 4635 277 242 17 0 2626 0
Current StackSize limit: 10240 KiB
[startup+0.107288 s]
/proc/loadavg: 1.78 1.95 1.98 5/93 12829
/proc/meminfo: memFree=1033504/2055920 swapFree=4174172/4192956
[pid=12828] ppid=12826 vsize=907676 CPUtime=0.03
/proc/12828/stat : 12828 (java) R 12826 12828 12374 0 -1 0 2228 0 1 0 2 1 0 0 16 0 4 0 155514573 929460224 1975 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4072897342 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/12828/statm: 226919 1975 1118 14 0 214502 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 907676
[startup+0.515356 s]
/proc/loadavg: 1.78 1.95 1.98 5/93 12829
/proc/meminfo: memFree=1033504/2055920 swapFree=4174172/4192956
[pid=12828] ppid=12826 vsize=915328 CPUtime=0.42
/proc/12828/stat : 12828 (java) R 12826 12828 12374 0 -1 0 6159 0 1 0 39 3 0 0 18 0 8 0 155514573 937295872 5898 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4072924443 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12828/statm: 228832 5898 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 915328
[startup+1.3385 s]
/proc/loadavg: 1.78 1.95 1.98 3/100 12836
/proc/meminfo: memFree=1001512/2055920 swapFree=4174172/4192956
[pid=12828] ppid=12826 vsize=915760 CPUtime=1.25
/proc/12828/stat : 12828 (java) R 12826 12828 12374 0 -1 0 11179 0 1 0 116 9 0 0 23 0 8 0 155514573 937738240 10917 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073772613 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12828/statm: 228940 10917 2529 14 0 215410 0
[pid=12828/tid=12830] ppid=12826 vsize=915760 CPUtime=0.03
/proc/12828/task/12830/stat : 12830 (java) S 12826 12828 12374 0 -1 64 256 0 0 0 3 0 0 0 16 0 8 0 155514583 937738240 10917 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12831] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12831/stat : 12831 (java) S 12826 12828 12374 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155514584 937738240 10917 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12832] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12832/stat : 12832 (java) S 12826 12828 12374 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155514584 937738240 10917 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12833] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12833/stat : 12833 (java) S 12826 12828 12374 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155514587 937738240 10917 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12834] ppid=12826 vsize=915760 CPUtime=0.24
/proc/12828/task/12834/stat : 12834 (java) S 12826 12828 12374 0 -1 64 460 0 0 0 24 0 0 0 15 0 8 0 155514587 937738240 10917 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12835] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12835/stat : 12835 (java) S 12826 12828 12374 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155514587 937738240 10917 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12836] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12836/stat : 12836 (java) S 12826 12828 12374 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155514587 937738240 10917 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 915760
[startup+2.98778 s]
/proc/loadavg: 1.78 1.95 1.98 3/100 12836
/proc/meminfo: memFree=999464/2055920 swapFree=4174172/4192956
[pid=12828] ppid=12826 vsize=915760 CPUtime=2.88
/proc/12828/stat : 12828 (java) R 12826 12828 12374 0 -1 0 11202 0 1 0 279 9 0 0 25 0 8 0 155514573 937738240 10938 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073943524 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12828/statm: 228940 10938 2533 14 0 215410 0
[pid=12828/tid=12830] ppid=12826 vsize=915760 CPUtime=0.03
/proc/12828/task/12830/stat : 12830 (java) S 12826 12828 12374 0 -1 64 257 0 0 0 3 0 0 0 16 0 8 0 155514583 937738240 10938 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12831] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12831/stat : 12831 (java) S 12826 12828 12374 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155514584 937738240 10938 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12832] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12832/stat : 12832 (java) S 12826 12828 12374 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155514584 937738240 10938 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12833] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12833/stat : 12833 (java) S 12826 12828 12374 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155514587 937738240 10938 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12834] ppid=12826 vsize=915760 CPUtime=0.25
/proc/12828/task/12834/stat : 12834 (java) S 12826 12828 12374 0 -1 64 465 0 0 0 25 0 0 0 15 0 8 0 155514587 937738240 10938 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12835] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12835/stat : 12835 (java) S 12826 12828 12374 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155514587 937738240 10938 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12836] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12836/stat : 12836 (java) S 12826 12828 12374 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155514587 937738240 10938 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 915760
[startup+6.27635 s]
/proc/loadavg: 1.80 1.95 1.98 3/100 12836
/proc/meminfo: memFree=999400/2055920 swapFree=4174172/4192956
[pid=12828] ppid=12826 vsize=915760 CPUtime=6.13
/proc/12828/stat : 12828 (java) R 12826 12828 12374 0 -1 0 11218 0 1 0 604 9 0 0 25 0 8 0 155514573 937738240 10951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073947234 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12828/statm: 228940 10951 2533 14 0 215410 0
[pid=12828/tid=12830] ppid=12826 vsize=915760 CPUtime=0.03
/proc/12828/task/12830/stat : 12830 (java) S 12826 12828 12374 0 -1 64 257 0 0 0 3 0 0 0 17 0 8 0 155514583 937738240 10951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12831] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12831/stat : 12831 (java) S 12826 12828 12374 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155514584 937738240 10951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12832] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12832/stat : 12832 (java) S 12826 12828 12374 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155514584 937738240 10951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12833] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12833/stat : 12833 (java) S 12826 12828 12374 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155514587 937738240 10951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12834] ppid=12826 vsize=915760 CPUtime=0.26
/proc/12828/task/12834/stat : 12834 (java) S 12826 12828 12374 0 -1 64 469 0 0 0 26 0 0 0 15 0 8 0 155514587 937738240 10951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12835] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12835/stat : 12835 (java) S 12826 12828 12374 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155514587 937738240 10951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12836] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12836/stat : 12836 (java) S 12826 12828 12374 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155514587 937738240 10951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 915760
[startup+12.7715 s]
/proc/loadavg: 1.81 1.95 1.98 3/100 12836
/proc/meminfo: memFree=999336/2055920 swapFree=4174172/4192956
[pid=12828] ppid=12826 vsize=915760 CPUtime=12.57
/proc/12828/stat : 12828 (java) R 12826 12828 12374 0 -1 0 11236 0 1 0 1248 9 0 0 25 0 8 0 155514573 937738240 10966 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073772519 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12828/statm: 228940 10966 2533 14 0 215410 0
[pid=12828/tid=12830] ppid=12826 vsize=915760 CPUtime=0.03
/proc/12828/task/12830/stat : 12830 (java) S 12826 12828 12374 0 -1 64 257 0 0 0 3 0 0 0 16 0 8 0 155514583 937738240 10966 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12831] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12831/stat : 12831 (java) S 12826 12828 12374 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155514584 937738240 10966 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12832] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12832/stat : 12832 (java) S 12826 12828 12374 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155514584 937738240 10966 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12833] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12833/stat : 12833 (java) S 12826 12828 12374 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155514587 937738240 10966 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12834] ppid=12826 vsize=915760 CPUtime=0.27
/proc/12828/task/12834/stat : 12834 (java) S 12826 12828 12374 0 -1 64 475 0 0 0 27 0 0 0 16 0 8 0 155514587 937738240 10966 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12835] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12835/stat : 12835 (java) S 12826 12828 12374 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155514587 937738240 10966 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12836] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12836/stat : 12836 (java) S 12826 12828 12374 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155514587 937738240 10966 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 915760
[startup+25.6267 s]
/proc/loadavg: 1.85 1.96 1.98 3/100 12836
/proc/meminfo: memFree=999336/2055920 swapFree=4174172/4192956
[pid=12828] ppid=12826 vsize=915760 CPUtime=25.31
/proc/12828/stat : 12828 (java) R 12826 12828 12374 0 -1 0 11256 0 1 0 2521 10 0 0 25 0 8 0 155514573 937738240 10982 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073773311 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12828/statm: 228940 10982 2533 14 0 215410 0
[pid=12828/tid=12830] ppid=12826 vsize=915760 CPUtime=0.03
/proc/12828/task/12830/stat : 12830 (java) S 12826 12828 12374 0 -1 64 257 0 0 0 3 0 0 0 16 0 8 0 155514583 937738240 10982 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12831] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12831/stat : 12831 (java) S 12826 12828 12374 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155514584 937738240 10982 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12832] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12832/stat : 12832 (java) S 12826 12828 12374 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155514584 937738240 10982 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12833] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12833/stat : 12833 (java) S 12826 12828 12374 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155514587 937738240 10982 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12834] ppid=12826 vsize=915760 CPUtime=0.28
/proc/12828/task/12834/stat : 12834 (java) S 12826 12828 12374 0 -1 64 479 0 0 0 28 0 0 0 16 0 8 0 155514587 937738240 10982 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12835] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12835/stat : 12835 (java) S 12826 12828 12374 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155514587 937738240 10982 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12836] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12836/stat : 12836 (java) S 12826 12828 12374 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155514587 937738240 10982 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 915760
[startup+51.2581 s]
/proc/loadavg: 1.90 1.96 1.98 3/100 12836
/proc/meminfo: memFree=999272/2055920 swapFree=4174172/4192956
[pid=12828] ppid=12826 vsize=915760 CPUtime=50.71
/proc/12828/stat : 12828 (java) R 12826 12828 12374 0 -1 0 11288 0 1 0 5061 10 0 0 25 0 8 0 155514573 937738240 11011 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073771390 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12828/statm: 228940 11011 2533 14 0 215410 0
[pid=12828/tid=12830] ppid=12826 vsize=915760 CPUtime=0.03
/proc/12828/task/12830/stat : 12830 (java) S 12826 12828 12374 0 -1 64 257 0 0 0 3 0 0 0 16 0 8 0 155514583 937738240 11011 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12831] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12831/stat : 12831 (java) S 12826 12828 12374 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155514584 937738240 11011 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12832] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12832/stat : 12832 (java) S 12826 12828 12374 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155514584 937738240 11011 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12833] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12833/stat : 12833 (java) S 12826 12828 12374 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155514587 937738240 11011 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12834] ppid=12826 vsize=915760 CPUtime=0.3
/proc/12828/task/12834/stat : 12834 (java) S 12826 12828 12374 0 -1 64 491 0 0 0 30 0 0 0 16 0 8 0 155514587 937738240 11011 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12835] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12835/stat : 12835 (java) S 12826 12828 12374 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155514587 937738240 11011 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12836] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12836/stat : 12836 (java) S 12826 12828 12374 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155514587 937738240 11011 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 915760
[startup+102.518 s]
/proc/loadavg: 1.96 1.96 1.98 3/100 12836
/proc/meminfo: memFree=999144/2055920 swapFree=4174172/4192956
[pid=12828] ppid=12826 vsize=915760 CPUtime=101.49
/proc/12828/stat : 12828 (java) R 12826 12828 12374 0 -1 0 11321 0 1 0 10139 10 0 0 25 0 8 0 155514573 937738240 11042 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073947191 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12828/statm: 228940 11042 2533 14 0 215410 0
[pid=12828/tid=12830] ppid=12826 vsize=915760 CPUtime=0.03
/proc/12828/task/12830/stat : 12830 (java) S 12826 12828 12374 0 -1 64 257 0 0 0 3 0 0 0 16 0 8 0 155514583 937738240 11042 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12831] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12831/stat : 12831 (java) S 12826 12828 12374 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155514584 937738240 11042 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12832] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12832/stat : 12832 (java) S 12826 12828 12374 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155514584 937738240 11042 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12833] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12833/stat : 12833 (java) S 12826 12828 12374 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155514587 937738240 11042 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12834] ppid=12826 vsize=915760 CPUtime=0.31
/proc/12828/task/12834/stat : 12834 (java) S 12826 12828 12374 0 -1 64 495 0 0 0 31 0 0 0 16 0 8 0 155514587 937738240 11042 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12835] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12835/stat : 12835 (java) S 12826 12828 12374 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155514587 937738240 11042 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12836] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12836/stat : 12836 (java) S 12826 12828 12374 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155514587 937738240 11042 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.49
Current children cumulated vsize (KiB) 915760
[startup+162.615 s]
/proc/loadavg: 1.93 1.96 1.98 2/88 12892
/proc/meminfo: memFree=1027200/2055920 swapFree=4174172/4192956
[pid=12828] ppid=12826 vsize=915760 CPUtime=161.05
/proc/12828/stat : 12828 (java) R 12826 12828 12374 0 -1 0 11326 0 1 0 16093 12 0 0 25 0 8 0 155514573 937738240 11047 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073771356 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1420.85
Current children cumulated vsize (KiB) 915760
[startup+1483.91 s]
/proc/loadavg: 1.96 1.92 1.95 3/100 13724
/proc/meminfo: memFree=994032/2055920 swapFree=4174172/4192956
[pid=12828] ppid=12826 vsize=915760 CPUtime=1480.85
/proc/12828/stat : 12828 (java) R 12826 12828 12374 0 -1 0 11346 0 1 0 148055 30 0 0 25 0 8 0 155514573 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073771431 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12828/statm: 228940 11067 2533 14 0 215410 0
[pid=12828/tid=12830] ppid=12826 vsize=915760 CPUtime=0.03
/proc/12828/task/12830/stat : 12830 (java) S 12826 12828 12374 0 -1 64 257 0 0 0 3 0 0 0 16 0 8 0 155514583 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12831] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12831/stat : 12831 (java) S 12826 12828 12374 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155514584 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12832] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12832/stat : 12832 (java) S 12826 12828 12374 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155514584 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12833] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12833/stat : 12833 (java) S 12826 12828 12374 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155514587 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12834] ppid=12826 vsize=915760 CPUtime=0.31
/proc/12828/task/12834/stat : 12834 (java) S 12826 12828 12374 0 -1 64 496 0 0 0 31 0 0 0 16 0 8 0 155514587 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12828/tid=12835] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12835/stat : 12835 (java) S 12826 12828 12374 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155514587 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12836] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12836/stat : 12836 (java) S 12826 12828 12374 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155514587 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1480.85
Current children cumulated vsize (KiB) 915760
[startup+1543.97 s]
/proc/loadavg: 1.98 1.93 1.95 3/100 13724
/proc/meminfo: memFree=993968/2055920 swapFree=4174172/4192956
[pid=12828] ppid=12826 vsize=915760 CPUtime=1540.86
/proc/12828/stat : 12828 (java) R 12826 12828 12374 0 -1 0 11346 0 1 0 154056 30 0 0 25 0 8 0 155514573 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073771366 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12828/statm: 228940 11067 2533 14 0 215410 0
[pid=12828/tid=12830] ppid=12826 vsize=915760 CPUtime=0.03
/proc/12828/task/12830/stat : 12830 (java) S 12826 12828 12374 0 -1 64 257 0 0 0 3 0 0 0 16 0 8 0 155514583 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12831] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12831/stat : 12831 (java) S 12826 12828 12374 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155514584 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12832] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12832/stat : 12832 (java) S 12826 12828 12374 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155514584 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12833] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12833/stat : 12833 (java) S 12826 12828 12374 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155514587 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12834] ppid=12826 vsize=915760 CPUtime=0.31
/proc/12828/task/12834/stat : 12834 (java) S 12826 12828 12374 0 -1 64 496 0 0 0 31 0 0 0 16 0 8 0 155514587 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12828/tid=12835] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12835/stat : 12835 (java) S 12826 12828 12374 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155514587 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12836] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12836/stat : 12836 (java) S 12826 12828 12374 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155514587 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1540.86
Current children cumulated vsize (KiB) 915760
[startup+1604.03 s]
/proc/loadavg: 1.99 1.94 1.95 3/100 13724
/proc/meminfo: memFree=993968/2055920 swapFree=4174172/4192956
[pid=12828] ppid=12826 vsize=915760 CPUtime=1600.83
/proc/12828/stat : 12828 (java) R 12826 12828 12374 0 -1 0 11346 0 1 0 160053 30 0 0 25 0 8 0 155514573 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073944976 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12828/statm: 228940 11067 2533 14 0 215410 0
[pid=12828/tid=12830] ppid=12826 vsize=915760 CPUtime=0.03
/proc/12828/task/12830/stat : 12830 (java) S 12826 12828 12374 0 -1 64 257 0 0 0 3 0 0 0 16 0 8 0 155514583 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12831] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12831/stat : 12831 (java) S 12826 12828 12374 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155514584 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12832] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12832/stat : 12832 (java) S 12826 12828 12374 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155514584 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12833] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12833/stat : 12833 (java) S 12826 12828 12374 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155514587 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12834] ppid=12826 vsize=915760 CPUtime=0.31
/proc/12828/task/12834/stat : 12834 (java) S 12826 12828 12374 0 -1 64 496 0 0 0 31 0 0 0 16 0 8 0 155514587 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12828/tid=12835] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12835/stat : 12835 (java) S 12826 12828 12374 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155514587 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12836] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12836/stat : 12836 (java) S 12826 12828 12374 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155514587 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1600.83
Current children cumulated vsize (KiB) 915760
[startup+1664.09 s]
/proc/loadavg: 1.99 1.95 1.95 3/100 13724
/proc/meminfo: memFree=994032/2055920 swapFree=4174172/4192956
[pid=12828] ppid=12826 vsize=915760 CPUtime=1660.81
/proc/12828/stat : 12828 (java) R 12826 12828 12374 0 -1 0 11346 0 1 0 166051 30 0 0 25 0 8 0 155514573 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073945093 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12828/statm: 228940 11067 2533 14 0 215410 0
[pid=12828/tid=12830] ppid=12826 vsize=915760 CPUtime=0.03
/proc/12828/task/12830/stat : 12830 (java) S 12826 12828 12374 0 -1 64 257 0 0 0 3 0 0 0 16 0 8 0 155514583 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12831] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12831/stat : 12831 (java) S 12826 12828 12374 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155514584 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12832] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12832/stat : 12832 (java) S 12826 12828 12374 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155514584 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12833] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12833/stat : 12833 (java) S 12826 12828 12374 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155514587 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12834] ppid=12826 vsize=915760 CPUtime=0.31
/proc/12828/task/12834/stat : 12834 (java) S 12826 12828 12374 0 -1 64 496 0 0 0 31 0 0 0 16 0 8 0 155514587 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12828/tid=12835] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12835/stat : 12835 (java) S 12826 12828 12374 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155514587 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12836] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12836/stat : 12836 (java) S 12826 12828 12374 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155514587 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1660.81
Current children cumulated vsize (KiB) 915760
[startup+1724.14 s]
/proc/loadavg: 1.99 1.95 1.95 3/100 13724
/proc/meminfo: memFree=994032/2055920 swapFree=4174172/4192956
[pid=12828] ppid=12826 vsize=915760 CPUtime=1720.82
/proc/12828/stat : 12828 (java) R 12826 12828 12374 0 -1 0 11346 0 1 0 172051 31 0 0 25 0 8 0 155514573 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073947292 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12828/statm: 228940 11067 2533 14 0 215410 0
[pid=12828/tid=12830] ppid=12826 vsize=915760 CPUtime=0.03
/proc/12828/task/12830/stat : 12830 (java) S 12826 12828 12374 0 -1 64 257 0 0 0 3 0 0 0 16 0 8 0 155514583 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12831] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12831/stat : 12831 (java) S 12826 12828 12374 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155514584 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12832] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12832/stat : 12832 (java) S 12826 12828 12374 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155514584 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12833] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12833/stat : 12833 (java) S 12826 12828 12374 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155514587 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12834] ppid=12826 vsize=915760 CPUtime=0.31
/proc/12828/task/12834/stat : 12834 (java) S 12826 12828 12374 0 -1 64 496 0 0 0 31 0 0 0 16 0 8 0 155514587 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12828/tid=12835] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12835/stat : 12835 (java) S 12826 12828 12374 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155514587 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12836] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12836/stat : 12836 (java) S 12826 12828 12374 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155514587 937738240 11067 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1720.82
Current children cumulated vsize (KiB) 915760
[startup+1784.2 s]
/proc/loadavg: 2.04 1.97 1.95 3/100 13724
/proc/meminfo: memFree=993968/2055920 swapFree=4174172/4192956
[pid=12828] ppid=12826 vsize=915760 CPUtime=1780.79
/proc/12828/stat : 12828 (java) R 12826 12828 12374 0 -1 0 11349 0 1 0 178048 31 0 0 25 0 8 0 155514573 937738240 11070 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073942617 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12828/statm: 228940 11070 2533 14 0 215410 0
[pid=12828/tid=12830] ppid=12826 vsize=915760 CPUtime=0.03
/proc/12828/task/12830/stat : 12830 (java) S 12826 12828 12374 0 -1 64 257 0 0 0 3 0 0 0 16 0 8 0 155514583 937738240 11070 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12831] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12831/stat : 12831 (java) S 12826 12828 12374 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155514584 937738240 11070 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12832] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12832/stat : 12832 (java) S 12826 12828 12374 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155514584 937738240 11070 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12833] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12833/stat : 12833 (java) S 12826 12828 12374 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155514587 937738240 11070 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12834] ppid=12826 vsize=915760 CPUtime=0.31
/proc/12828/task/12834/stat : 12834 (java) S 12826 12828 12374 0 -1 64 496 0 0 0 31 0 0 0 16 0 8 0 155514587 937738240 11070 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12828/tid=12835] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12835/stat : 12835 (java) S 12826 12828 12374 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155514587 937738240 11070 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12836] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12836/stat : 12836 (java) S 12826 12828 12374 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155514587 937738240 11070 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1780.79
Current children cumulated vsize (KiB) 915760
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1803.44 s]
/proc/loadavg: 2.03 1.97 1.95 3/100 13724
/proc/meminfo: memFree=993904/2055920 swapFree=4174172/4192956
[pid=12828] ppid=12826 vsize=915760 CPUtime=1800.02
/proc/12828/stat : 12828 (java) R 12826 12828 12374 0 -1 0 11349 0 1 0 179971 31 0 0 25 0 8 0 155514573 937738240 11070 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073944092 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12828/statm: 228940 11070 2533 14 0 215410 0
[pid=12828/tid=12830] ppid=12826 vsize=915760 CPUtime=0.03
/proc/12828/task/12830/stat : 12830 (java) S 12826 12828 12374 0 -1 64 257 0 0 0 3 0 0 0 16 0 8 0 155514583 937738240 11070 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12831] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12831/stat : 12831 (java) S 12826 12828 12374 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155514584 937738240 11070 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12832] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12832/stat : 12832 (java) S 12826 12828 12374 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155514584 937738240 11070 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12833] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12833/stat : 12833 (java) S 12826 12828 12374 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155514587 937738240 11070 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12834] ppid=12826 vsize=915760 CPUtime=0.31
/proc/12828/task/12834/stat : 12834 (java) S 12826 12828 12374 0 -1 64 496 0 0 0 31 0 0 0 16 0 8 0 155514587 937738240 11070 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12828/tid=12835] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12835/stat : 12835 (java) S 12826 12828 12374 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155514587 937738240 11070 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12828/tid=12836] ppid=12826 vsize=915760 CPUtime=0
/proc/12828/task/12836/stat : 12836 (java) S 12826 12828 12374 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155514587 937738240 11070 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 915760
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1803.47
CPU time (s): 1800.05
CPU user time (s): 1799.73
CPU system time (s): 0.319951
CPU usage (%): 99.8108
Max. virtual memory (cumulated for all children) (KiB): 915760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.73
system time used= 0.319951
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11366
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= 37831
involuntary context switches= 43908
runsolver used 2.21666 s user time and 5.73913 s system time
The end
Begin job on node15 on Sat Jan 6 08:13:15 UTC 2007
IDJOB= 197994
IDBENCH= 3527
FILE ID= node15/197994-1168071193
PBS_JOBID= 3475673
Free space on /tmp= 66283 MiB
BENCH NAME= HOME/pub/bench/CPAI06/golombRuler/golombRulerArity4/ruler-67-12-a4.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/197994-1168071193/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-197994-1168071193 -o ROOT/results/node15/solver-197994-1168071193 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/197994-1168071193/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= dcd392d9418262da47d36b69c9910317
RANDOM SEED= 337236386
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.276
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.276
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: 1033984 kB
Buffers: 85024 kB
Cached: 768456 kB
SwapCached: 7128 kB
Active: 361696 kB
Inactive: 556960 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1033984 kB
SwapTotal: 4192956 kB
SwapFree: 4174172 kB
Dirty: 2036 kB
Writeback: 0 kB
Mapped: 83808 kB
Slab: 87900 kB
Committed_AS: 4894284 kB
PageTables: 2496 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= 66283 MiB
End job on node15 on Sat Jan 6 08:43:21 UTC 2007