0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/215353-1168234474/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.55 nbVariables=1648 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.55 => wckTime=0.233 cpuTime=0.16 mem=8M869
0.55
0.55 predicates being loaded...
0.55
0.55 constraints being loaded...
3.37 nbConstraints=20302 nbConvertedConstraints=19128 nbConvertConstraintsChecks=24 nbExtensionStructures=2
3.37 nbSharedExtensionStructures=19126 nbConflictsStructures=3 nbSharedConflictsStructures=19267
3.37 nbUnbuiltConflictsStructures=1 nbSharedBinaryRepresentations=5 nbEvaluationManagers=2
3.37 nbSharedEvaluationManagers=1172 maxDegree=163 maxArity=32
3.37 => wckTime=3.057 cpuTime=2.67 mem=40M977
3.54
3.54 solver IterativeSystematicSolver being built...
4.03 => wckTime=3.715 cpuTime=3.04 mem=72M387
11.09
11.09 preprocessing
11.09 nbConstraintChecks=124583 nbValidityChecks=471330 nbPropagations=5054 nbRevisions=294406
11.09 nbUselessRevisions=292656 nbSingletonTests=1659 nbEffectiveSingletonTests=0 nbESACBranches=2 nbRemovedValues=0
11.09 detectedInconsistency=no
11.09 => wckTime=7.047 cpuTime=6.93 mem=77M430
11.82
11.82 search
11.82 run=0 nbConstraintChecks=210232 nbValidityChecks=432665 nbPropagations=9477 nbRevisions=623961
11.82 nbUselessRevisions=617828 nbAssignments=216 nbFailedAssignments=2 nbBacktracks=16 nbVisitedNodes=229
11.82 nbRestartNogoods=0 mapSize=11 nbInferences=0 nbTooLargeKeys=0
11.82 => wckTime=7.786 cpuTime=7.64 mem=77M430
12.57
12.57 search
12.57 run=1 nbConstraintChecks=424523 nbValidityChecks=874417 nbPropagations=23868 nbRevisions=1587082
12.57 nbUselessRevisions=1569978 nbAssignments=443 nbFailedAssignments=6 nbBacktracks=36 nbVisitedNodes=467
12.57 nbRestartNogoods=1 mapSize=21 nbInferences=0 nbTooLargeKeys=0
12.57 => wckTime=8.533 cpuTime=8.38 mem=78M438
13.35
13.35 search
13.35 run=2 nbConstraintChecks=685650 nbValidityChecks=1325753 nbPropagations=43692 nbRevisions=2912478
13.35 nbUselessRevisions=2878832 nbAssignments=673 nbFailedAssignments=9 nbBacktracks=62 nbVisitedNodes=712
13.35 nbRestartNogoods=2 mapSize=35 nbInferences=0 nbTooLargeKeys=0
13.35 => wckTime=9.318 cpuTime=9.16 mem=78M438
14.23
14.23 search
14.23 run=3 nbConstraintChecks=1013154 nbValidityChecks=1792839 nbPropagations=70867 nbRevisions=4654652
14.24 nbUselessRevisions=4597108 nbAssignments=917 nbFailedAssignments=14 nbBacktracks=98 nbVisitedNodes=974
14.24 nbRestartNogoods=3 mapSize=52 nbInferences=0 nbTooLargeKeys=0
14.24 => wckTime=10.199 cpuTime=10.03 mem=78M438
15.44
15.44 search
15.44 run=4 nbConstraintChecks=1590145 nbValidityChecks=2312409 nbPropagations=109819 nbRevisions=6960512
15.44 nbUselessRevisions=6867078 nbAssignments=1173 nbFailedAssignments=25 nbBacktracks=148 nbVisitedNodes=1262
15.44 nbRestartNogoods=4 mapSize=83 nbInferences=0 nbTooLargeKeys=0
15.44 => wckTime=11.408 cpuTime=11.22 mem=78M438
17.07
17.07 search
17.07 run=5 nbConstraintChecks=2500290 nbValidityChecks=2900637 nbPropagations=168488 nbRevisions=10056491
17.07 nbUselessRevisions=9907047 nbAssignments=1468 nbFailedAssignments=43 nbBacktracks=224 nbVisitedNodes=1606
17.07 nbRestartNogoods=5 mapSize=130 nbInferences=0 nbTooLargeKeys=0
17.07 => wckTime=13.033 cpuTime=12.83 mem=78M438
19.44
19.44 search
19.44 run=6 nbConstraintChecks=3850736 nbValidityChecks=3644557 nbPropagations=256382 nbRevisions=14264124
19.44 nbUselessRevisions=14028482 nbAssignments=1791 nbFailedAssignments=69 nbBacktracks=340 nbVisitedNodes=2002
19.44 nbRestartNogoods=7 mapSize=201 nbInferences=0 nbTooLargeKeys=0
19.44 => wckTime=15.405 cpuTime=15.17 mem=79M447
24.47
24.47 search
24.47 run=7 nbConstraintChecks=6618873 nbValidityChecks=4928536 nbPropagations=398700 nbRevisions=20583695
24.47 nbUselessRevisions=20204062 nbAssignments=2146 nbFailedAssignments=99 nbBacktracks=514 nbVisitedNodes=2520
24.47 nbRestartNogoods=9 mapSize=363 nbInferences=0 nbTooLargeKeys=0
24.47 => wckTime=20.434 cpuTime=20.16 mem=79M447
31.88
31.88 search
31.88 run=8 nbConstraintChecks=10608549 nbValidityChecks=7060080 nbPropagations=616608 nbRevisions=30104461
31.88 nbUselessRevisions=29498812 nbAssignments=2582 nbFailedAssignments=133 nbBacktracks=775 nbVisitedNodes=3193
31.88 nbRestartNogoods=10 mapSize=598 nbInferences=0 nbTooLargeKeys=0
31.88 => wckTime=27.842 cpuTime=27.49 mem=79M447
44.32
44.32 search
44.32 run=9 nbConstraintChecks=17210779 nbValidityChecks=10507352 nbPropagations=963661 nbRevisions=44907472
44.32 nbUselessRevisions=43935263 nbAssignments=3118 nbFailedAssignments=151 nbBacktracks=1185 nbVisitedNodes=4135
44.32 nbRestartNogoods=12 mapSize=1003 nbInferences=0 nbTooLargeKeys=0
44.32 => wckTime=40.282 cpuTime=39.81 mem=80M455
45.20
45.20 INFO : Stopping hyperNogood (mapSize=1015, nbTooLargekeys=0, mem=80M455)
62.54
62.54 search
62.54 run=10 nbConstraintChecks=26203108 nbValidityChecks=16056938 nbPropagations=1467997 nbRevisions=67062538
62.54 nbUselessRevisions=65550444 nbAssignments=3901 nbFailedAssignments=224 nbBacktracks=1766 nbVisitedNodes=5452
62.54 nbRestartNogoods=13
62.54 => wckTime=58.504 cpuTime=57.85 mem=80M455
95.41
95.41 search
95.41 run=11 nbConstraintChecks=41259319 nbValidityChecks=24816881 nbPropagations=2237312 nbRevisions=101557214
95.41 nbUselessRevisions=99210842 nbAssignments=5088 nbFailedAssignments=403 nbBacktracks=2642 nbVisitedNodes=7447
95.41 nbRestartNogoods=15
95.41 => wckTime=91.376 cpuTime=90.43 mem=80M455
142.00
142.01 search
142.01 run=12 nbConstraintChecks=63019435 nbValidityChecks=36824007 nbPropagations=3371219 nbRevisions=152470603
142.01 nbUselessRevisions=148892443 nbAssignments=6829 nbFailedAssignments=702 nbBacktracks=3940 nbVisitedNodes=10398
142.01 nbRestartNogoods=17
142.01 => wckTime=137.971 cpuTime=136.59 mem=80M455
208.57
208.57 search
208.57 run=13 nbConstraintChecks=94833627 nbValidityChecks=53055991 nbPropagations=5049380 nbRevisions=226917631
208.57 nbUselessRevisions=221519763 nbAssignments=9484 nbFailedAssignments=1265 nbBacktracks=5891 nbVisitedNodes=14866
208.57 nbRestartNogoods=23
208.57 => wckTime=204.536 cpuTime=202.55 mem=80M455
303.22
303.22 search
303.22 run=14 nbConstraintChecks=141158734 nbValidityChecks=76572233 nbPropagations=7551410 nbRevisions=336175316
303.22 nbUselessRevisions=328066613 nbAssignments=13294 nbFailedAssignments=1990 nbBacktracks=8810
303.22 nbVisitedNodes=21309 nbRestartNogoods=26
303.22 => wckTime=299.183 cpuTime=296.32 mem=80M455
449.20
449.20 search
449.20 run=15 nbConstraintChecks=218075422 nbValidityChecks=107761502 nbPropagations=11410929 nbRevisions=500662074
449.20 nbUselessRevisions=488376085 nbAssignments=18836 nbFailedAssignments=3009 nbBacktracks=13189
449.20 nbVisitedNodes=31201 nbRestartNogoods=31
449.20 => wckTime=445.167 cpuTime=440.97 mem=80M455
658.05
658.05 search
658.05 run=16 nbConstraintChecks=325060129 nbValidityChecks=155528411 nbPropagations=17088190 nbRevisions=740831421
658.05 nbUselessRevisions=722404500 nbAssignments=27136 nbFailedAssignments=4592 nbBacktracks=19762
658.05 nbVisitedNodes=45621 nbRestartNogoods=35
658.05 => wckTime=654.017 cpuTime=648.19 mem=80M455
991.38
991.38 search
991.38 run=17 nbConstraintChecks=496800309 nbValidityChecks=234610965 nbPropagations=25787639 nbRevisions=1105501107
991.38 nbUselessRevisions=1077652411 nbAssignments=39779 nbFailedAssignments=7241 nbBacktracks=29614
991.38 nbVisitedNodes=67755 nbRestartNogoods=39
991.38 => wckTime=987.342 cpuTime=979.28 mem=80M455
1503.57
1503.57 search
1503.57 run=18 nbConstraintChecks=746715912 nbValidityChecks=372489358 nbPropagations=38799347 nbRevisions=1660970450
1503.57 nbUselessRevisions=1619016583 nbAssignments=58520 nbFailedAssignments=11061 nbBacktracks=44398
1503.57 nbVisitedNodes=100369 nbRestartNogoods=43
1503.57 => wckTime=1499.538 cpuTime=1486.35 mem=80M455
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node2/watcher-215353-1168234474 -o ROOT/results/node2/solver-215353-1168234474 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/215353-1168234474/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.85 1.98 2.18 2/88 26811
/proc/meminfo: memFree=1784664/2055920 swapFree=4191880/4192956
[pid=26810] ppid=26808 vsize=18540 CPUtime=0
/proc/26810/stat : 26810 (runsolver) R 26808 26810 25829 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 171843183 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 206381313319 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/26810/statm: 4635 279 244 17 0 2626 0
[startup+0.102693 s]
/proc/loadavg: 1.85 1.98 2.18 2/88 26811
/proc/meminfo: memFree=1784664/2055920 swapFree=4191880/4192956
[pid=26810] ppid=26808 vsize=914988 CPUtime=0.08
/proc/26810/stat : 26810 (java) R 26808 26810 25829 0 -1 0 2988 0 1 0 7 1 0 0 20 0 8 0 171843183 936947712 2734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072942248 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26810/statm: 228747 2734 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.510726 s]
/proc/loadavg: 1.85 1.98 2.18 2/88 26811
/proc/meminfo: memFree=1784664/2055920 swapFree=4191880/4192956
[pid=26810] ppid=26808 vsize=915328 CPUtime=0.49
/proc/26810/stat : 26810 (java) R 26808 26810 25829 0 -1 0 6574 0 1 0 44 5 0 0 18 0 8 0 171843183 937295872 6313 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072942936 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26810/statm: 228832 6313 2135 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33388 s]
/proc/loadavg: 1.86 1.98 2.18 3/95 26818
/proc/meminfo: memFree=1724256/2055920 swapFree=4191880/4192956
[pid=26810] ppid=26808 vsize=915648 CPUtime=1.29
/proc/26810/stat : 26810 (java) R 26808 26810 25829 0 -1 0 18462 0 1 0 119 10 0 0 25 0 8 0 171843183 937623552 18198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073720130 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26810/statm: 228912 18198 2157 14 0 215382 0
[pid=26810/tid=26812] ppid=26808 vsize=915648 CPUtime=0.07
/proc/26810/task/26812/stat : 26812 (java) S 26808 26810 25829 0 -1 64 1928 0 0 0 7 0 0 0 16 0 8 0 171843187 937623552 18198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26813] ppid=26808 vsize=915648 CPUtime=0
/proc/26810/task/26813/stat : 26813 (java) S 26808 26810 25829 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171843188 937623552 18198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26814] ppid=26808 vsize=915648 CPUtime=0
/proc/26810/task/26814/stat : 26814 (java) S 26808 26810 25829 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171843188 937623552 18198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26815] ppid=26808 vsize=915648 CPUtime=0
/proc/26810/task/26815/stat : 26815 (java) S 26808 26810 25829 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171843191 937623552 18198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26816] ppid=26808 vsize=915648 CPUtime=0.14
/proc/26810/task/26816/stat : 26816 (java) S 26808 26810 25829 0 -1 64 405 0 0 0 14 0 0 0 16 0 8 0 171843191 937623552 18198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26817] ppid=26808 vsize=915648 CPUtime=0
/proc/26810/task/26817/stat : 26817 (java) S 26808 26810 25829 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171843191 937623552 18198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26818] ppid=26808 vsize=915648 CPUtime=0
/proc/26810/task/26818/stat : 26818 (java) S 26808 26810 25829 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171843191 937623552 18198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915648
[startup+2.97818 s]
/proc/loadavg: 1.86 1.98 2.18 3/95 26818
/proc/meminfo: memFree=1702752/2055920 swapFree=4191880/4192956
[pid=26810] ppid=26808 vsize=915648 CPUtime=2.94
/proc/26810/stat : 26810 (java) R 26808 26810 25829 0 -1 0 22838 0 1 0 210 84 0 0 25 0 8 0 171843183 937623552 22573 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 10861704 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26810/statm: 228912 22573 2178 14 0 215382 0
[pid=26810/tid=26812] ppid=26808 vsize=915648 CPUtime=0.19
/proc/26810/task/26812/stat : 26812 (java) S 26808 26810 25829 0 -1 64 6217 0 0 0 17 2 0 0 18 0 8 0 171843187 937623552 22573 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26813] ppid=26808 vsize=915648 CPUtime=0
/proc/26810/task/26813/stat : 26813 (java) S 26808 26810 25829 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171843188 937623552 22573 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26814] ppid=26808 vsize=915648 CPUtime=0
/proc/26810/task/26814/stat : 26814 (java) S 26808 26810 25829 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171843188 937623552 22573 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26815] ppid=26808 vsize=915648 CPUtime=0
/proc/26810/task/26815/stat : 26815 (java) S 26808 26810 25829 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171843191 937623552 22573 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26816] ppid=26808 vsize=915648 CPUtime=0.18
/proc/26810/task/26816/stat : 26816 (java) S 26808 26810 25829 0 -1 64 428 0 0 0 18 0 0 0 16 0 8 0 171843191 937623552 22573 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26817] ppid=26808 vsize=915648 CPUtime=0
/proc/26810/task/26817/stat : 26817 (java) S 26808 26810 25829 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171843191 937623552 22573 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26818] ppid=26808 vsize=915648 CPUtime=0
/proc/26810/task/26818/stat : 26818 (java) S 26808 26810 25829 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171843191 937623552 22573 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915648
[startup+6.27579 s]
/proc/loadavg: 1.95 2.00 2.18 3/95 26818
/proc/meminfo: memFree=1686368/2055920 swapFree=4191880/4192956
[pid=26810] ppid=26808 vsize=915864 CPUtime=6.19
/proc/26810/stat : 26810 (java) R 26808 26810 25829 0 -1 0 27276 0 1 0 524 95 0 0 25 0 8 0 171843183 937844736 26989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074199472 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26810/statm: 228966 26989 2546 14 0 215436 0
[pid=26810/tid=26812] ppid=26808 vsize=915864 CPUtime=0.37
/proc/26810/task/26812/stat : 26812 (java) S 26808 26810 25829 0 -1 64 10101 0 0 0 34 3 0 0 16 0 8 0 171843187 937844736 26989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26813] ppid=26808 vsize=915864 CPUtime=0
/proc/26810/task/26813/stat : 26813 (java) S 26808 26810 25829 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171843188 937844736 26989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26814] ppid=26808 vsize=915864 CPUtime=0
/proc/26810/task/26814/stat : 26814 (java) S 26808 26810 25829 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171843188 937844736 26989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26815] ppid=26808 vsize=915864 CPUtime=0
/proc/26810/task/26815/stat : 26815 (java) S 26808 26810 25829 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171843191 937844736 26989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26816] ppid=26808 vsize=915864 CPUtime=0.33
/proc/26810/task/26816/stat : 26816 (java) S 26808 26810 25829 0 -1 64 515 0 0 0 32 1 0 0 15 0 8 0 171843191 937844736 26989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26817] ppid=26808 vsize=915864 CPUtime=0
/proc/26810/task/26817/stat : 26817 (java) S 26808 26810 25829 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171843191 937844736 26989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26818] ppid=26808 vsize=915864 CPUtime=0
/proc/26810/task/26818/stat : 26818 (java) S 26808 26810 25829 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171843191 937844736 26989 18446744073709551615 134512640 134570532 4294956464 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) 915864
[startup+12.768 s]
/proc/loadavg: 1.96 2.00 2.18 3/95 26818
/proc/meminfo: memFree=1686432/2055920 swapFree=4191880/4192956
[pid=26810] ppid=26808 vsize=915864 CPUtime=12.63
/proc/26810/stat : 26810 (java) R 26808 26810 25829 0 -1 0 27293 0 1 0 1167 96 0 0 25 0 8 0 171843183 937844736 27003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074138959 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26810/statm: 228966 27003 2547 14 0 215436 0
[pid=26810/tid=26812] ppid=26808 vsize=915864 CPUtime=0.37
/proc/26810/task/26812/stat : 26812 (java) S 26808 26810 25829 0 -1 64 10101 0 0 0 34 3 0 0 17 0 8 0 171843187 937844736 27003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26813] ppid=26808 vsize=915864 CPUtime=0
/proc/26810/task/26813/stat : 26813 (java) S 26808 26810 25829 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171843188 937844736 27003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26814] ppid=26808 vsize=915864 CPUtime=0
/proc/26810/task/26814/stat : 26814 (java) S 26808 26810 25829 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171843188 937844736 27003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26815] ppid=26808 vsize=915864 CPUtime=0
/proc/26810/task/26815/stat : 26815 (java) S 26808 26810 25829 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171843191 937844736 27003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26816] ppid=26808 vsize=915864 CPUtime=0.36
/proc/26810/task/26816/stat : 26816 (java) S 26808 26810 25829 0 -1 64 528 0 0 0 35 1 0 0 16 0 8 0 171843191 937844736 27003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26817] ppid=26808 vsize=915864 CPUtime=0
/proc/26810/task/26817/stat : 26817 (java) S 26808 26810 25829 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171843191 937844736 27003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26818] ppid=26808 vsize=915864 CPUtime=0
/proc/26810/task/26818/stat : 26818 (java) S 26808 26810 25829 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171843191 937844736 27003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915864
[startup+25.6323 s]
/proc/loadavg: 1.96 2.00 2.18 3/95 26818
/proc/meminfo: memFree=1686496/2055920 swapFree=4191880/4192956
[pid=26810] ppid=26808 vsize=915864 CPUtime=25.37
/proc/26810/stat : 26810 (java) R 26808 26810 25829 0 -1 0 27306 0 1 0 2441 96 0 0 25 0 8 0 171843183 937844736 27012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074173472 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26810/statm: 228966 27012 2547 14 0 215436 0
[pid=26810/tid=26812] ppid=26808 vsize=915864 CPUtime=0.37
/proc/26810/task/26812/stat : 26812 (java) S 26808 26810 25829 0 -1 64 10101 0 0 0 34 3 0 0 17 0 8 0 171843187 937844736 27012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26813] ppid=26808 vsize=915864 CPUtime=0
/proc/26810/task/26813/stat : 26813 (java) S 26808 26810 25829 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171843188 937844736 27012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26814] ppid=26808 vsize=915864 CPUtime=0
/proc/26810/task/26814/stat : 26814 (java) S 26808 26810 25829 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171843188 937844736 27012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26815] ppid=26808 vsize=915864 CPUtime=0
/proc/26810/task/26815/stat : 26815 (java) S 26808 26810 25829 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171843191 937844736 27012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26816] ppid=26808 vsize=915864 CPUtime=0.38
/proc/26810/task/26816/stat : 26816 (java) S 26808 26810 25829 0 -1 64 539 0 0 0 37 1 0 0 16 0 8 0 171843191 937844736 27012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26817] ppid=26808 vsize=915864 CPUtime=0
/proc/26810/task/26817/stat : 26817 (java) S 26808 26810 25829 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171843191 937844736 27012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26818] ppid=26808 vsize=915864 CPUtime=0
/proc/26810/task/26818/stat : 26818 (java) S 26808 26810 25829 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171843191 937844736 27012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915864
[startup+51.2701 s]
/proc/loadavg: 1.98 2.00 2.17 3/95 26818
/proc/meminfo: memFree=1686560/2055920 swapFree=4191880/4192956
[pid=26810] ppid=26808 vsize=915864 CPUtime=50.78
/proc/26810/stat : 26810 (java) R 26808 26810 25829 0 -1 0 27311 0 1 0 4981 97 0 0 25 0 8 0 171843183 937844736 27015 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074175866 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26810/statm: 228966 27015 2547 14 0 215436 0
[pid=26810/tid=26812] ppid=26808 vsize=915864 CPUtime=0.37
/proc/26810/task/26812/stat : 26812 (java) S 26808 26810 25829 0 -1 64 10101 0 0 0 34 3 0 0 16 0 8 0 171843187 937844736 27015 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26813] ppid=26808 vsize=915864 CPUtime=0
/proc/26810/task/26813/stat : 26813 (java) S 26808 26810 25829 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171843188 937844736 27015 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26814] ppid=26808 vsize=915864 CPUtime=0
/proc/26810/task/26814/stat : 26814 (java) S 26808 26810 25829 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171843188 937844736 27015 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26815] ppid=26808 vsize=915864 CPUtime=0
/proc/26810/task/26815/stat : 26815 (java) S 26808 26810 25829 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171843191 937844736 27015 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26816] ppid=26808 vsize=915864 CPUtime=0.39
/proc/26810/task/26816/stat : 26816 (java) S 26808 26810 25829 0 -1 64 541 0 0 0 38 1 0 0 15 0 8 0 171843191 937844736 27015 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26817] ppid=26808 vsize=915864 CPUtime=0
/proc/26810/task/26817/stat : 26817 (java) S 26808 26810 25829 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171843191 937844736 27015 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26818] ppid=26808 vsize=915864 CPUtime=0
/proc/26810/task/26818/stat : 26818 (java) S 26808 26810 25829 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171843191 937844736 27015 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.78
Current children cumulated vsize (KiB) 915864
[startup+102.534 s]
/proc/loadavg: 1.99 2.00 2.16 3/95 26818
/proc/meminfo: memFree=1686496/2055920 swapFree=4191880/4192956
[pid=26810] ppid=26808 vsize=915864 CPUtime=101.57
/proc/26810/stat : 26810 (java) R 26808 26810 25829 0 -1 0 27318 0 1 0 10060 97 0 0 25 0 8 0 171843183 937844736 27019 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074178677 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26810/statm: 228966 27019 2547 14 0 215436 0
[pid=26810/tid=26812] ppid=26808 vsize=915864 CPUtime=0.37
/proc/26810/task/26812/stat : 26812 (java) S 26808 26810 25829 0 -1 64 10101 0 0 0 34 3 0 0 16 0 8 0 171843187 937844736 27019 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26813] ppid=26808 vsize=915864 CPUtime=0
/proc/26810/task/26813/stat : 26813 (java) S 26808 26810 25829 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171843188 937844736 27019 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26814] ppid=26808 vsize=915864 CPUtime=0
/proc/26810/task/26814/stat : 26814 (java) S 26808 26810 25829 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171843188 937844736 27019 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26815] ppid=26808 vsize=915864 CPUtime=0
/proc/26810/task/26815/stat : 26815 (java) S 26808 26810 25829 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171843191 937844736 27019 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26816] ppid=26808 vsize=915864 CPUtime=0.39
/proc/26810/task/26816/stat : 26816 (java) S 26808 26810 25829 0 -1 64 547 0 0 0 38 1 0 0 16 0 8 0 171843191 937844736 27019 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26817] ppid=26808 vsize=915864 CPUtime=0
/proc/26810/task/26817/stat : 26817 (java) S 26808 26810 25829 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171843191 937844736 27019 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26818] ppid=26808 vsize=915864 CPUtime=0
/proc/26810/task/26818/stat : 26818 (java) S 26808 26810 25829 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171843191 937844736 27019 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.57
Current children cumulated vsize (KiB) 915864
[startup+162.542 s]
/proc/loadavg: 1.99 2.00 2.15 3/96 26819
/proc/meminfo: memFree=1686424/2055920 swapFree=4191880/4192956
[pid=26810] ppid=26808 vsize=915864 CPUtime=161.03
/proc/26810/stat : 26810 (java) R 26808 26810 25829 0 -1 0 27318 0 1 0 16005 98 0 0 25 0 8 0 171843183 937844736 27019 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074175869 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1411.24
Current children cumulated vsize (KiB) 915864
[startup+1483.65 s]
/proc/loadavg: 1.99 1.96 1.98 3/101 27432
/proc/meminfo: memFree=1573624/2055920 swapFree=4191880/4192956
[pid=26810] ppid=26808 vsize=915864 CPUtime=1470.73
/proc/26810/stat : 26810 (java) R 26808 26810 25829 0 -1 0 27319 0 1 0 146957 116 0 0 25 0 8 0 171843183 937844736 27020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074175924 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26810/statm: 228966 27020 2547 14 0 215436 0
[pid=26810/tid=26812] ppid=26808 vsize=915864 CPUtime=0.37
/proc/26810/task/26812/stat : 26812 (java) S 26808 26810 25829 0 -1 64 10101 0 0 0 34 3 0 0 16 0 8 0 171843187 937844736 27020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26813] ppid=26808 vsize=915864 CPUtime=0
/proc/26810/task/26813/stat : 26813 (java) S 26808 26810 25829 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171843188 937844736 27020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26814] ppid=26808 vsize=915864 CPUtime=0
/proc/26810/task/26814/stat : 26814 (java) S 26808 26810 25829 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171843188 937844736 27020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26815] ppid=26808 vsize=915864 CPUtime=0
/proc/26810/task/26815/stat : 26815 (java) S 26808 26810 25829 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171843191 937844736 27020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26816] ppid=26808 vsize=915864 CPUtime=0.4
/proc/26810/task/26816/stat : 26816 (java) S 26808 26810 25829 0 -1 64 548 0 0 0 39 1 0 0 16 0 8 0 171843191 937844736 27020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26810/tid=26817] ppid=26808 vsize=915864 CPUtime=0
/proc/26810/task/26817/stat : 26817 (java) S 26808 26810 25829 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171843191 937844736 27020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26818] ppid=26808 vsize=915864 CPUtime=0
/proc/26810/task/26818/stat : 26818 (java) S 26808 26810 25829 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171843191 937844736 27020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1470.73
Current children cumulated vsize (KiB) 915864
[startup+1543.75 s]
/proc/loadavg: 1.99 1.96 1.98 3/101 27432
/proc/meminfo: memFree=1573560/2055920 swapFree=4191880/4192956
[pid=26810] ppid=26808 vsize=915864 CPUtime=1530.22
/proc/26810/stat : 26810 (java) R 26808 26810 25829 0 -1 0 27319 0 1 0 152906 116 0 0 25 0 8 0 171843183 937844736 27020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074184074 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26810/statm: 228966 27020 2547 14 0 215436 0
[pid=26810/tid=26812] ppid=26808 vsize=915864 CPUtime=0.37
/proc/26810/task/26812/stat : 26812 (java) S 26808 26810 25829 0 -1 64 10101 0 0 0 34 3 0 0 16 0 8 0 171843187 937844736 27020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26813] ppid=26808 vsize=915864 CPUtime=0
/proc/26810/task/26813/stat : 26813 (java) S 26808 26810 25829 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171843188 937844736 27020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26814] ppid=26808 vsize=915864 CPUtime=0
/proc/26810/task/26814/stat : 26814 (java) S 26808 26810 25829 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171843188 937844736 27020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26815] ppid=26808 vsize=915864 CPUtime=0
/proc/26810/task/26815/stat : 26815 (java) S 26808 26810 25829 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171843191 937844736 27020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26816] ppid=26808 vsize=915864 CPUtime=0.4
/proc/26810/task/26816/stat : 26816 (java) S 26808 26810 25829 0 -1 64 548 0 0 0 39 1 0 0 16 0 8 0 171843191 937844736 27020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26810/tid=26817] ppid=26808 vsize=915864 CPUtime=0
/proc/26810/task/26817/stat : 26817 (java) S 26808 26810 25829 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171843191 937844736 27020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26818] ppid=26808 vsize=915864 CPUtime=0
/proc/26810/task/26818/stat : 26818 (java) S 26808 26810 25829 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171843191 937844736 27020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1530.22
Current children cumulated vsize (KiB) 915864
[startup+1603.84 s]
/proc/loadavg: 1.99 1.97 1.98 3/107 27514
/proc/meminfo: memFree=1571944/2055920 swapFree=4191880/4192956
[pid=26810] ppid=26808 vsize=915864 CPUtime=1589.69
/proc/26810/stat : 26810 (java) R 26808 26810 25829 0 -1 0 27319 0 1 0 158845 124 0 0 25 0 8 0 171843183 937844736 27020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073844618 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26810/statm: 228966 27020 2547 14 0 215436 0
[pid=26810/tid=26812] ppid=26808 vsize=915864 CPUtime=0.37
/proc/26810/task/26812/stat : 26812 (java) S 26808 26810 25829 0 -1 64 10101 0 0 0 34 3 0 0 16 0 8 0 171843187 937844736 27020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26813] ppid=26808 vsize=915864 CPUtime=0
/proc/26810/task/26813/stat : 26813 (java) S 26808 26810 25829 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171843188 937844736 27020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26814] ppid=26808 vsize=915864 CPUtime=0
/proc/26810/task/26814/stat : 26814 (java) S 26808 26810 25829 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171843188 937844736 27020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26815] ppid=26808 vsize=915864 CPUtime=0
/proc/26810/task/26815/stat : 26815 (java) S 26808 26810 25829 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171843191 937844736 27020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26816] ppid=26808 vsize=915864 CPUtime=0.4
/proc/26810/task/26816/stat : 26816 (java) S 26808 26810 25829 0 -1 64 548 0 0 0 39 1 0 0 16 0 8 0 171843191 937844736 27020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26810/tid=26817] ppid=26808 vsize=915864 CPUtime=0
/proc/26810/task/26817/stat : 26817 (java) S 26808 26810 25829 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171843191 937844736 27020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26818] ppid=26808 vsize=915864 CPUtime=0
/proc/26810/task/26818/stat : 26818 (java) S 26808 26810 25829 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171843191 937844736 27020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1589.69
Current children cumulated vsize (KiB) 915864
[startup+1663.85 s]
/proc/loadavg: 1.99 1.97 1.98 3/107 27600
/proc/meminfo: memFree=1522104/2055920 swapFree=4191880/4192956
[pid=26810] ppid=26808 vsize=915864 CPUtime=1649.08
/proc/26810/stat : 26810 (java) R 26808 26810 25829 0 -1 0 27319 0 1 0 164773 135 0 0 25 0 8 0 171843183 937844736 27020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074173548 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26810/statm: 228966 27020 2547 14 0 215436 0
[pid=26810/tid=26812] ppid=26808 vsize=915864 CPUtime=0.37
/proc/26810/task/26812/stat : 26812 (java) S 26808 26810 25829 0 -1 64 10101 0 0 0 34 3 0 0 16 0 8 0 171843187 937844736 27020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26813] ppid=26808 vsize=915864 CPUtime=0
/proc/26810/task/26813/stat : 26813 (java) S 26808 26810 25829 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171843188 937844736 27020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26814] ppid=26808 vsize=915864 CPUtime=0
/proc/26810/task/26814/stat : 26814 (java) S 26808 26810 25829 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171843188 937844736 27020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26815] ppid=26808 vsize=915864 CPUtime=0
/proc/26810/task/26815/stat : 26815 (java) S 26808 26810 25829 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171843191 937844736 27020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26816] ppid=26808 vsize=915864 CPUtime=0.4
/proc/26810/task/26816/stat : 26816 (java) S 26808 26810 25829 0 -1 64 548 0 0 0 39 1 0 0 16 0 8 0 171843191 937844736 27020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26810/tid=26817] ppid=26808 vsize=915864 CPUtime=0
/proc/26810/task/26817/stat : 26817 (java) S 26808 26810 25829 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171843191 937844736 27020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26818] ppid=26808 vsize=915864 CPUtime=0
/proc/26810/task/26818/stat : 26818 (java) S 26808 26810 25829 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171843191 937844736 27020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1649.08
Current children cumulated vsize (KiB) 915864
[startup+1723.89 s]
/proc/loadavg: 1.99 1.97 1.98 3/101 27630
/proc/meminfo: memFree=1523064/2055920 swapFree=4191880/4192956
[pid=26810] ppid=26808 vsize=915864 CPUtime=1708.5
/proc/26810/stat : 26810 (java) R 26808 26810 25829 0 -1 0 27319 0 1 0 170712 138 0 0 25 0 8 0 171843183 937844736 27020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074186969 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26810/statm: 228966 27020 2547 14 0 215436 0
[pid=26810/tid=26812] ppid=26808 vsize=915864 CPUtime=0.37
/proc/26810/task/26812/stat : 26812 (java) S 26808 26810 25829 0 -1 64 10101 0 0 0 34 3 0 0 16 0 8 0 171843187 937844736 27020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26813] ppid=26808 vsize=915864 CPUtime=0
/proc/26810/task/26813/stat : 26813 (java) S 26808 26810 25829 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171843188 937844736 27020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26814] ppid=26808 vsize=915864 CPUtime=0
/proc/26810/task/26814/stat : 26814 (java) S 26808 26810 25829 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171843188 937844736 27020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26815] ppid=26808 vsize=915864 CPUtime=0
/proc/26810/task/26815/stat : 26815 (java) S 26808 26810 25829 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171843191 937844736 27020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26816] ppid=26808 vsize=915864 CPUtime=0.4
/proc/26810/task/26816/stat : 26816 (java) S 26808 26810 25829 0 -1 64 548 0 0 0 39 1 0 0 16 0 8 0 171843191 937844736 27020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26810/tid=26817] ppid=26808 vsize=915864 CPUtime=0
/proc/26810/task/26817/stat : 26817 (java) S 26808 26810 25829 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171843191 937844736 27020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26818] ppid=26808 vsize=915864 CPUtime=0
/proc/26810/task/26818/stat : 26818 (java) S 26808 26810 25829 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171843191 937844736 27020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1708.5
Current children cumulated vsize (KiB) 915864
[startup+1783.98 s]
/proc/loadavg: 1.99 1.97 1.98 3/101 27630
/proc/meminfo: memFree=1523064/2055920 swapFree=4191880/4192956
[pid=26810] ppid=26808 vsize=915864 CPUtime=1768
/proc/26810/stat : 26810 (java) R 26808 26810 25829 0 -1 0 27319 0 1 0 176662 138 0 0 25 0 8 0 171843183 937844736 27020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074175905 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26810/statm: 228966 27020 2547 14 0 215436 0
[pid=26810/tid=26812] ppid=26808 vsize=915864 CPUtime=0.37
/proc/26810/task/26812/stat : 26812 (java) S 26808 26810 25829 0 -1 64 10101 0 0 0 34 3 0 0 16 0 8 0 171843187 937844736 27020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26813] ppid=26808 vsize=915864 CPUtime=0
/proc/26810/task/26813/stat : 26813 (java) S 26808 26810 25829 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171843188 937844736 27020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26814] ppid=26808 vsize=915864 CPUtime=0
/proc/26810/task/26814/stat : 26814 (java) S 26808 26810 25829 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171843188 937844736 27020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26815] ppid=26808 vsize=915864 CPUtime=0
/proc/26810/task/26815/stat : 26815 (java) S 26808 26810 25829 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171843191 937844736 27020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26816] ppid=26808 vsize=915864 CPUtime=0.4
/proc/26810/task/26816/stat : 26816 (java) S 26808 26810 25829 0 -1 64 548 0 0 0 39 1 0 0 16 0 8 0 171843191 937844736 27020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26810/tid=26817] ppid=26808 vsize=915864 CPUtime=0
/proc/26810/task/26817/stat : 26817 (java) S 26808 26810 25829 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171843191 937844736 27020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26818] ppid=26808 vsize=915864 CPUtime=0
/proc/26810/task/26818/stat : 26818 (java) S 26808 26810 25829 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171843191 937844736 27020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1768
Current children cumulated vsize (KiB) 915864
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1816.4 s]
/proc/loadavg: 2.07 1.99 1.98 3/101 27630
/proc/meminfo: memFree=1523064/2055920 swapFree=4191880/4192956
[pid=26810] ppid=26808 vsize=915864 CPUtime=1800.08
/proc/26810/stat : 26810 (java) R 26808 26810 25829 0 -1 0 27319 0 1 0 179870 138 0 0 25 0 8 0 171843183 937844736 27020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074175905 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26810/statm: 228966 27020 2547 14 0 215436 0
[pid=26810/tid=26812] ppid=26808 vsize=915864 CPUtime=0.37
/proc/26810/task/26812/stat : 26812 (java) S 26808 26810 25829 0 -1 64 10101 0 0 0 34 3 0 0 16 0 8 0 171843187 937844736 27020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26813] ppid=26808 vsize=915864 CPUtime=0
/proc/26810/task/26813/stat : 26813 (java) S 26808 26810 25829 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171843188 937844736 27020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26814] ppid=26808 vsize=915864 CPUtime=0
/proc/26810/task/26814/stat : 26814 (java) S 26808 26810 25829 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171843188 937844736 27020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26815] ppid=26808 vsize=915864 CPUtime=0
/proc/26810/task/26815/stat : 26815 (java) S 26808 26810 25829 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171843191 937844736 27020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26816] ppid=26808 vsize=915864 CPUtime=0.4
/proc/26810/task/26816/stat : 26816 (java) S 26808 26810 25829 0 -1 64 548 0 0 0 39 1 0 0 16 0 8 0 171843191 937844736 27020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26810/tid=26817] ppid=26808 vsize=915864 CPUtime=0
/proc/26810/task/26817/stat : 26817 (java) S 26808 26810 25829 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171843191 937844736 27020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26810/tid=26818] ppid=26808 vsize=915864 CPUtime=0
/proc/26810/task/26818/stat : 26818 (java) S 26808 26810 25829 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171843191 937844736 27020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 915864
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1816.48
CPU time (s): 1800.17
CPU user time (s): 1798.76
CPU system time (s): 1.40779
CPU usage (%): 99.1023
Max. virtual memory (cumulated for all children) (KiB): 915864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.76
system time used= 1.40779
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27336
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= 38491
involuntary context switches= 72633
runsolver used 2.24866 s user time and 5.75612 s system time
The end
Begin job on node2 on Mon Jan 8 05:34:35 UTC 2007
IDJOB= 215353
IDBENCH= 4995
FILE ID= node2/215353-1168234474
PBS_JOBID= 3481197
Free space on /tmp= 66335 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/ii/ii-32d3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/215353-1168234474/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-215353-1168234474 -o ROOT/results/node2/solver-215353-1168234474 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/215353-1168234474/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 9db463ea6302d5ac8ebb108d0fad22cd
RANDOM SEED= 403146464
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.259
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 : 5931.00
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.259
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: 1785144 kB
Buffers: 44896 kB
Cached: 95348 kB
SwapCached: 448 kB
Active: 137028 kB
Inactive: 75000 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1785144 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 4640 kB
Writeback: 0 kB
Mapped: 91144 kB
Slab: 43408 kB
Committed_AS: 4324160 kB
PageTables: 2384 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= 66334 MiB
End job on node2 on Mon Jan 8 06:04:52 UTC 2007