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/194832-1168107318/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=50 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.42 => wckTime=0.103 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
0.57
0.57 constraints being loaded...
0.71 nbConstraints=463 nbRelationTypes=463 nbExtensionStructures=463 nbSharedExtensionStructures=0
0.71 nbConflictsStructures=463 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2321 maxDegree=27
0.71 maxArity=2
0.71 => wckTime=0.397 cpuTime=0.3 mem=17M695
0.76
0.76 solver IterativeSystematicSolver being built...
0.92 => wckTime=0.608 cpuTime=0.43 mem=15M575
0.98
0.98 preprocessing
0.98 nbConstraintChecks=103798 nbPropagations=1145 nbRevisions=9661 nbUselessRevisions=8269 nbSingletonTests=62
0.98 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
0.98 => wckTime=0.058 cpuTime=0.03 mem=15M575
1.02
1.02 search
1.02 run=0 nbConstraintChecks=50912 nbPropagations=1774 nbRevisions=17270 nbUselessRevisions=14602 nbAssignments=28
1.02 nbFailedAssignments=7 nbBacktracks=10 nbVisitedNodes=41 nbRestartNogoods=0 mapSize=9 nbInferences=0
1.02 nbTooLargeKeys=0
1.02 => wckTime=0.09 cpuTime=0.06 mem=15M575
1.04
1.04 search
1.04 run=1 nbConstraintChecks=107072 nbPropagations=4238 nbRevisions=43239 nbUselessRevisions=36446
1.04 nbAssignments=64 nbFailedAssignments=16 nbBacktracks=25 nbVisitedNodes=94 nbRestartNogoods=2 mapSize=21
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.111 cpuTime=0.07 mem=15M575
1.05
1.05 search
1.05 run=2 nbConstraintChecks=162939 nbPropagations=7429 nbRevisions=78143 nbUselessRevisions=65651
1.05 nbAssignments=106 nbFailedAssignments=26 nbBacktracks=48 nbVisitedNodes=157 nbRestartNogoods=5 mapSize=39
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.129 cpuTime=0.08 mem=15M575
1.07
1.07 search
1.07 run=3 nbConstraintChecks=252190 nbPropagations=11721 nbRevisions=128282 nbUselessRevisions=107294
1.07 nbAssignments=168 nbFailedAssignments=44 nbBacktracks=85 nbVisitedNodes=254 nbRestartNogoods=6 mapSize=66
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.149 cpuTime=0.1 mem=15M575
1.10
1.10 search
1.10 run=4 nbConstraintChecks=406342 nbPropagations=17716 nbRevisions=202332 nbUselessRevisions=168088
1.10 nbAssignments=255 nbFailedAssignments=70 nbBacktracks=136 nbVisitedNodes=391 nbRestartNogoods=7 mapSize=98
1.10 nbInferences=0 nbTooLargeKeys=0
1.11 => wckTime=0.178 cpuTime=0.13 mem=15M575
1.15
1.15 search
1.15 run=5 nbConstraintChecks=608825 nbPropagations=26304 nbRevisions=310155 nbUselessRevisions=256736
1.15 nbAssignments=397 nbFailedAssignments=109 nbBacktracks=214 nbVisitedNodes=595 nbRestartNogoods=15 mapSize=159
1.15 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.227 cpuTime=0.17 mem=15M575
1.21
1.21 search
1.21 run=6 nbConstraintChecks=949186 nbPropagations=39033 nbRevisions=481031 nbUselessRevisions=397096
1.21 nbAssignments=604 nbFailedAssignments=192 nbBacktracks=327 nbVisitedNodes=947 nbRestartNogoods=18 mapSize=258
1.21 nbInferences=0 nbTooLargeKeys=0
1.21 => wckTime=0.289 cpuTime=0.23 mem=15M575
1.27
1.27 search
1.27 run=7 nbConstraintChecks=1259050 nbPropagations=55771 nbRevisions=709312 nbUselessRevisions=584660
1.27 nbAssignments=851 nbFailedAssignments=256 nbBacktracks=502 nbVisitedNodes=1329 nbRestartNogoods=21 mapSize=374
1.27 nbInferences=0 nbTooLargeKeys=0
1.27 => wckTime=0.348 cpuTime=0.3 mem=15M575
1.38
1.38 search
1.38 run=8 nbConstraintChecks=1796835 nbPropagations=79809 nbRevisions=1044794 nbUselessRevisions=860507
1.38 nbAssignments=1245 nbFailedAssignments=381 nbBacktracks=761 nbVisitedNodes=1986 nbRestartNogoods=24
1.38 mapSize=572 nbInferences=0 nbTooLargeKeys=0
1.38 => wckTime=0.457 cpuTime=0.4 mem=15M575
1.57
1.57 search
1.57 run=9 nbConstraintChecks=2815726 nbPropagations=116350 nbRevisions=1569208 nbUselessRevisions=1290998
1.57 nbAssignments=1890 nbFailedAssignments=626 nbBacktracks=1151 nbVisitedNodes=3087 nbRestartNogoods=32
1.57 mapSize=886 nbInferences=0 nbTooLargeKeys=0
1.57 => wckTime=0.648 cpuTime=0.58 mem=15M575
1.63
1.63 INFO : Stopping hyperNogood (mapSize=1002, nbTooLargekeys=0, mem=15M575)
1.80
1.80 search
1.80 run=10 nbConstraintChecks=4108870 nbPropagations=169872 nbRevisions=2347516 nbUselessRevisions=1930401
1.80 nbAssignments=2806 nbFailedAssignments=958 nbBacktracks=1727 nbVisitedNodes=4643 nbRestartNogoods=36
1.80 => wckTime=0.879 cpuTime=0.79 mem=15M575
2.19
2.19 search
2.19 run=11 nbConstraintChecks=6672795 nbPropagations=252495 nbRevisions=3572414 nbUselessRevisions=2932590
2.19 nbAssignments=4263 nbFailedAssignments=1542 nbBacktracks=2592 nbVisitedNodes=7177 nbRestartNogoods=39
2.19 => wckTime=1.268 cpuTime=1.17 mem=15M575
2.68
2.68 search
2.68 run=12 nbConstraintChecks=9821097 nbPropagations=373094 nbRevisions=5372831 nbUselessRevisions=4405144
2.69 nbAssignments=6263 nbFailedAssignments=2235 nbBacktracks=3890 nbVisitedNodes=10526 nbRestartNogoods=48
2.69 => wckTime=1.76 cpuTime=1.66 mem=15M575
3.40
3.40 search
3.40 run=13 nbConstraintChecks=14349984 nbPropagations=549842 nbRevisions=8004545 nbUselessRevisions=6556986
3.40 nbAssignments=9293 nbFailedAssignments=3308 nbBacktracks=5836 nbVisitedNodes=15589 nbRestartNogoods=53
3.40 => wckTime=2.479 cpuTime=2.37 mem=15M575
4.61
4.61 search
4.61 run=14 nbConstraintChecks=22139681 nbPropagations=820022 nbRevisions=12079342 nbUselessRevisions=9894362
4.61 nbAssignments=14120 nbFailedAssignments=5205 nbBacktracks=8755 nbVisitedNodes=23903 nbRestartNogoods=62
4.61 => wckTime=3.685 cpuTime=3.56 mem=15M575
6.35
6.35 search
6.35 run=15 nbConstraintChecks=33328892 nbPropagations=1225298 nbRevisions=18248740 nbUselessRevisions=14954873
6.35 nbAssignments=21091 nbFailedAssignments=7786 nbBacktracks=13134 nbVisitedNodes=35817 nbRestartNogoods=69
6.35 => wckTime=5.427 cpuTime=5.29 mem=16M550
8.78
8.78 search
8.78 run=16 nbConstraintChecks=48278179 nbPropagations=1824064 nbRevisions=27323357 nbUselessRevisions=22407890
8.78 nbAssignments=31402 nbFailedAssignments=11499 nbBacktracks=19703 nbVisitedNodes=53270 nbRestartNogoods=76
8.78 => wckTime=7.851 cpuTime=7.7 mem=16M550
12.95
12.95 search
12.95 run=17 nbConstraintChecks=75624916 nbPropagations=2743650 nbRevisions=41291699 nbUselessRevisions=33854055
12.95 nbAssignments=47595 nbFailedAssignments=17811 nbBacktracks=29555 nbVisitedNodes=81094 nbRestartNogoods=91
12.95 => wckTime=12.023 cpuTime=11.83 mem=16M550
18.68
18.68 search
18.68 run=18 nbConstraintChecks=111942435 nbPropagations=4121524 nbRevisions=62176870 nbUselessRevisions=50984142
18.68 nbAssignments=71258 nbFailedAssignments=26685 nbBacktracks=44336 nbVisitedNodes=121446 nbRestartNogoods=100
18.68 => wckTime=17.756 cpuTime=17.51 mem=16M550
27.43
27.43 search
27.43 run=19 nbConstraintChecks=168105185 nbPropagations=6186312 nbRevisions=93499253 nbUselessRevisions=76657741
27.43 nbAssignments=106830 nbFailedAssignments=40076 nbBacktracks=66509 nbVisitedNodes=182211 nbRestartNogoods=111
27.43 => wckTime=26.506 cpuTime=26.17 mem=16M550
39.83
39.83 search
39.83 run=20 nbConstraintChecks=248224068 nbPropagations=9224069 nbRevisions=139504508 nbUselessRevisions=114352874
39.83 nbAssignments=158135 nbFailedAssignments=58122 nbBacktracks=99761 nbVisitedNodes=268742 nbRestartNogoods=119
39.83 => wckTime=38.909 cpuTime=38.46 mem=16M550
59.84
59.84 search
59.84 run=21 nbConstraintChecks=379779297 nbPropagations=13815747 nbRevisions=209127875 nbUselessRevisions=171325091
59.84 nbAssignments=238262 nbFailedAssignments=88360 nbBacktracks=149641 nbVisitedNodes=405407 nbRestartNogoods=130
59.84 => wckTime=58.915 cpuTime=58.29 mem=16M550
88.89
88.89 search
88.89 run=22 nbConstraintChecks=563463841 nbPropagations=20713958 nbRevisions=313599483 nbUselessRevisions=256909520
88.89 nbAssignments=357812 nbFailedAssignments=133078 nbBacktracks=224464 nbVisitedNodes=609523 nbRestartNogoods=138
88.89 => wckTime=87.964 cpuTime=87.07 mem=16M550
132.69
132.69 search
132.69 run=23 nbConstraintChecks=861280436 nbPropagations=31109460 nbRevisions=472051417 nbUselessRevisions=386748966
132.69 nbAssignments=538264 nbFailedAssignments=201293 nbBacktracks=336692 nbVisitedNodes=917414 nbRestartNogoods=155
132.69 => wckTime=131.767 cpuTime=130.59 mem=16M550
192.59
192.59 search
192.59 run=24 nbConstraintChecks=1277548833 nbPropagations=46699667 nbRevisions=709030744 nbUselessRevisions=581026936
192.59 nbAssignments=806591 nbFailedAssignments=301268 nbBacktracks=505034 nbVisitedNodes=1375472 nbRestartNogoods=170
192.59 => wckTime=191.666 cpuTime=190.42 mem=16M550
279.50
279.50 search
279.50 run=25 nbConstraintChecks=1887527194 nbPropagations=69743259 nbRevisions=1059855438
279.50 nbUselessRevisions=868789762 nbAssignments=1203890 nbFailedAssignments=446044 nbBacktracks=757548
279.50 nbVisitedNodes=2046542 nbRestartNogoods=188
279.50 => wckTime=278.573 cpuTime=277.24 mem=16M550
422.28
422.28 search
422.28 run=26 nbConstraintChecks=2880955624 nbPropagations=104887257 nbRevisions=1598675827
422.28 nbUselessRevisions=1311498209 nbAssignments=1819422 nbFailedAssignments=682798 nbBacktracks=1136316
422.28 nbVisitedNodes=3106209 nbRestartNogoods=196
422.28 => wckTime=421.351 cpuTime=419.25 mem=16M550
628.67
628.67 search
628.67 run=27 nbConstraintChecks=4333265975 nbPropagations=157445127 nbRevisions=2405561314
628.67 nbUselessRevisions=1974202585 nbAssignments=2722837 nbFailedAssignments=1018052 nbBacktracks=1704468
628.68 nbVisitedNodes=4644131 nbRestartNogoods=215
628.68 => wckTime=627.75 cpuTime=624.54 mem=16M550
936.44
936.44 search
936.44 run=28 nbConstraintChecks=6482973187 nbPropagations=236262505 nbRevisions=3611393858
936.44 nbUselessRevisions=2964073521 nbAssignments=4078264 nbFailedAssignments=1521245 nbBacktracks=2556694
936.44 nbVisitedNodes=6953301 nbRestartNogoods=235
936.44 => wckTime=935.513 cpuTime=930.62 mem=16M550
1404.19
1404.19 search
1404.19 run=29 nbConstraintChecks=9781490216 nbPropagations=354496981 nbRevisions=5424784453
1404.19 nbUselessRevisions=4452600367 nbAssignments=6118393 nbFailedAssignments=2283022 nbBacktracks=3835034
1404.19 nbVisitedNodes=10426497 nbRestartNogoods=248
1404.19 => wckTime=1403.262 cpuTime=1395.81 mem=16M550
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node17/watcher-194832-1168107318 -o ROOT/results/node17/solver-194832-1168107318 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/194832-1168107318/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: 2.02 2.04 1.97 4/88 23808
/proc/meminfo: memFree=1564952/2055920 swapFree=4192812/4192956
[pid=23807] ppid=23805 vsize=47976 CPUtime=0
/proc/23807/stat : 23807 (java) D 23805 23807 23740 0 -1 0 1223 0 1 0 0 0 0 0 17 0 1 0 159126566 49127424 972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/23807/statm: 11994 972 769 14 0 1707 0
[startup+0.103751 s]
/proc/loadavg: 2.02 2.04 1.97 4/88 23808
/proc/meminfo: memFree=1564952/2055920 swapFree=4192812/4192956
[pid=23807] ppid=23805 vsize=914988 CPUtime=0.08
/proc/23807/stat : 23807 (java) D 23805 23807 23740 0 -1 0 2989 0 1 0 7 1 0 0 17 0 8 0 159126566 936947712 2735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23807/statm: 228747 2735 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511794 s]
/proc/loadavg: 2.02 2.04 1.97 4/88 23808
/proc/meminfo: memFree=1564952/2055920 swapFree=4192812/4192956
[pid=23807] ppid=23805 vsize=915328 CPUtime=0.48
/proc/23807/stat : 23807 (java) R 23805 23807 23740 0 -1 0 6935 0 1 0 44 4 0 0 18 0 8 0 159126566 937295872 6674 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073586805 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23807/statm: 228832 6674 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33488 s]
/proc/loadavg: 2.02 2.04 1.97 3/95 23815
/proc/meminfo: memFree=1537248/2055920 swapFree=4192812/4192956
[pid=23807] ppid=23805 vsize=915460 CPUtime=1.3
/proc/23807/stat : 23807 (java) R 23805 23807 23740 0 -1 0 9628 0 1 0 123 7 0 0 24 0 8 0 159126566 937431040 9366 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072926599 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23807/statm: 228865 9366 2524 14 0 215335 0
[pid=23807/tid=23809] ppid=23805 vsize=915460 CPUtime=0.03
/proc/23807/task/23809/stat : 23809 (java) S 23805 23807 23740 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 159126570 937431040 9366 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23810] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23810/stat : 23810 (java) S 23805 23807 23740 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159126570 937431040 9366 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23811] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23811/stat : 23811 (java) S 23805 23807 23740 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159126570 937431040 9366 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23812] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23812/stat : 23812 (java) S 23805 23807 23740 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159126574 937431040 9366 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23813] ppid=23805 vsize=915460 CPUtime=0.21
/proc/23807/task/23813/stat : 23813 (java) S 23805 23807 23740 0 -1 64 382 0 0 0 21 0 0 0 15 0 8 0 159126574 937431040 9366 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23814] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23814/stat : 23814 (java) S 23805 23807 23740 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159126574 937431040 9366 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23815] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23815/stat : 23815 (java) S 23805 23807 23740 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159126574 937431040 9366 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915460
[startup+2.98804 s]
/proc/loadavg: 2.02 2.04 1.97 3/95 23815
/proc/meminfo: memFree=1537120/2055920 swapFree=4192812/4192956
[pid=23807] ppid=23805 vsize=915460 CPUtime=2.94
/proc/23807/stat : 23807 (java) R 23805 23807 23740 0 -1 0 9645 0 1 0 287 7 0 0 25 0 8 0 159126566 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073833160 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23807/statm: 228865 9382 2524 14 0 215335 0
[pid=23807/tid=23809] ppid=23805 vsize=915460 CPUtime=0.03
/proc/23807/task/23809/stat : 23809 (java) S 23805 23807 23740 0 -1 64 407 0 0 0 3 0 0 0 17 0 8 0 159126570 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23810] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23810/stat : 23810 (java) S 23805 23807 23740 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159126570 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23811] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23811/stat : 23811 (java) S 23805 23807 23740 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159126570 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23812] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23812/stat : 23812 (java) S 23805 23807 23740 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159126574 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23813] ppid=23805 vsize=915460 CPUtime=0.26
/proc/23807/task/23813/stat : 23813 (java) S 23805 23807 23740 0 -1 64 399 0 0 0 25 1 0 0 15 0 8 0 159126574 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23814] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23814/stat : 23814 (java) S 23805 23807 23740 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159126574 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23815] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23815/stat : 23815 (java) S 23805 23807 23740 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159126574 937431040 9382 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) 915460
[startup+6.28439 s]
/proc/loadavg: 2.02 2.04 1.97 4/95 23815
/proc/meminfo: memFree=1537056/2055920 swapFree=4192812/4192956
[pid=23807] ppid=23805 vsize=915460 CPUtime=6.2
/proc/23807/stat : 23807 (java) R 23805 23807 23740 0 -1 0 9646 0 1 0 613 7 0 0 25 0 8 0 159126566 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918529 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23807/statm: 228865 9382 2524 14 0 215335 0
[pid=23807/tid=23809] ppid=23805 vsize=915460 CPUtime=0.03
/proc/23807/task/23809/stat : 23809 (java) S 23805 23807 23740 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 159126570 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23810] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23810/stat : 23810 (java) S 23805 23807 23740 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159126570 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23811] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23811/stat : 23811 (java) S 23805 23807 23740 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159126570 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23812] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23812/stat : 23812 (java) S 23805 23807 23740 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159126574 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23813] ppid=23805 vsize=915460 CPUtime=0.26
/proc/23807/task/23813/stat : 23813 (java) S 23805 23807 23740 0 -1 64 399 0 0 0 25 1 0 0 15 0 8 0 159126574 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23814] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23814/stat : 23814 (java) S 23805 23807 23740 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159126574 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23815] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23815/stat : 23815 (java) S 23805 23807 23740 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159126574 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915460
[startup+12.7691 s]
/proc/loadavg: 2.02 2.04 1.97 3/95 23815
/proc/meminfo: memFree=1537120/2055920 swapFree=4192812/4192956
[pid=23807] ppid=23805 vsize=915460 CPUtime=12.63
/proc/23807/stat : 23807 (java) R 23805 23807 23740 0 -1 0 9647 0 1 0 1256 7 0 0 25 0 8 0 159126566 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073813674 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23807/statm: 228865 9383 2524 14 0 215335 0
[pid=23807/tid=23809] ppid=23805 vsize=915460 CPUtime=0.03
/proc/23807/task/23809/stat : 23809 (java) S 23805 23807 23740 0 -1 64 407 0 0 0 3 0 0 0 17 0 8 0 159126570 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23810] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23810/stat : 23810 (java) S 23805 23807 23740 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159126570 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23811] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23811/stat : 23811 (java) S 23805 23807 23740 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159126570 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23812] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23812/stat : 23812 (java) S 23805 23807 23740 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159126574 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23813] ppid=23805 vsize=915460 CPUtime=0.26
/proc/23807/task/23813/stat : 23813 (java) S 23805 23807 23740 0 -1 64 400 0 0 0 25 1 0 0 16 0 8 0 159126574 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23814] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23814/stat : 23814 (java) S 23805 23807 23740 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159126574 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23815] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23815/stat : 23815 (java) S 23805 23807 23740 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159126574 937431040 9383 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) 915460
[startup+25.6174 s]
/proc/loadavg: 2.01 2.03 1.97 3/95 23815
/proc/meminfo: memFree=1537248/2055920 swapFree=4192812/4192956
[pid=23807] ppid=23805 vsize=915460 CPUtime=25.36
/proc/23807/stat : 23807 (java) R 23805 23807 23740 0 -1 0 9648 0 1 0 2529 7 0 0 25 0 8 0 159126566 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073814084 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23807/statm: 228865 9383 2524 14 0 215335 0
[pid=23807/tid=23809] ppid=23805 vsize=915460 CPUtime=0.03
/proc/23807/task/23809/stat : 23809 (java) S 23805 23807 23740 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 159126570 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23810] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23810/stat : 23810 (java) S 23805 23807 23740 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159126570 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23811] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23811/stat : 23811 (java) S 23805 23807 23740 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159126570 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23812] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23812/stat : 23812 (java) S 23805 23807 23740 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159126574 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23813] ppid=23805 vsize=915460 CPUtime=0.26
/proc/23807/task/23813/stat : 23813 (java) S 23805 23807 23740 0 -1 64 400 0 0 0 25 1 0 0 16 0 8 0 159126574 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23814] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23814/stat : 23814 (java) S 23805 23807 23740 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159126574 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23815] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23815/stat : 23815 (java) S 23805 23807 23740 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159126574 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915460
[startup+51.2351 s]
/proc/loadavg: 2.01 2.03 1.97 3/95 23815
/proc/meminfo: memFree=1537312/2055920 swapFree=4192812/4192956
[pid=23807] ppid=23805 vsize=915460 CPUtime=50.74
/proc/23807/stat : 23807 (java) R 23805 23807 23740 0 -1 0 9648 0 1 0 5067 7 0 0 25 0 8 0 159126566 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819710 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23807/statm: 228865 9383 2524 14 0 215335 0
[pid=23807/tid=23809] ppid=23805 vsize=915460 CPUtime=0.03
/proc/23807/task/23809/stat : 23809 (java) S 23805 23807 23740 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 159126570 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23810] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23810/stat : 23810 (java) S 23805 23807 23740 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159126570 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23811] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23811/stat : 23811 (java) S 23805 23807 23740 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159126570 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23812] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23812/stat : 23812 (java) S 23805 23807 23740 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159126574 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23813] ppid=23805 vsize=915460 CPUtime=0.26
/proc/23807/task/23813/stat : 23813 (java) S 23805 23807 23740 0 -1 64 400 0 0 0 25 1 0 0 16 0 8 0 159126574 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23814] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23814/stat : 23814 (java) S 23805 23807 23740 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159126574 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23815] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23815/stat : 23815 (java) S 23805 23807 23740 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159126574 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 915460
[startup+102.46 s]
/proc/loadavg: 2.06 2.04 1.98 3/95 23815
/proc/meminfo: memFree=1537312/2055920 swapFree=4192812/4192956
[pid=23807] ppid=23805 vsize=915460 CPUtime=101.5
/proc/23807/stat : 23807 (java) R 23805 23807 23740 0 -1 0 9648 0 1 0 10142 8 0 0 25 0 8 0 159126566 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819769 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23807/statm: 228865 9383 2524 14 0 215335 0
[pid=23807/tid=23809] ppid=23805 vsize=915460 CPUtime=0.03
/proc/23807/task/23809/stat : 23809 (java) S 23805 23807 23740 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 159126570 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23810] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23810/stat : 23810 (java) S 23805 23807 23740 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159126570 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23811] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23811/stat : 23811 (java) S 23805 23807 23740 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159126570 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23812] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23812/stat : 23812 (java) S 23805 23807 23740 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159126574 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23813] ppid=23805 vsize=915460 CPUtime=0.26
/proc/23807/task/23813/stat : 23813 (java) S 23805 23807 23740 0 -1 64 400 0 0 0 25 1 0 0 16 0 8 0 159126574 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23814] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23814/stat : 23814 (java) S 23805 23807 23740 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159126574 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23815] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23815/stat : 23815 (java) S 23805 23807 23740 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159126574 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.5
Current children cumulated vsize (KiB) 915460
[startup+162.551 s]
/proc/loadavg: 1.98 2.01 1.97 3/101 23888
/proc/meminfo: memFree=1531120/2055920 swapFree=4192812/4192956
[pid=23807] ppid=23805 vsize=915460 CPUtime=161.41
/proc/23807/stat : 23807 (java) R 23805 23807 23740 0 -1 0 9648 0 1 0 16132 9 0 0 25 0 8 0 159126566 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336175 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1416.07
Current children cumulated vsize (KiB) 915460
[startup+1483.61 s]
/proc/loadavg: 2.01 2.01 1.98 3/101 23890
/proc/meminfo: memFree=1530672/2055920 swapFree=4192812/4192956
[pid=23807] ppid=23805 vsize=915460 CPUtime=1475.8
/proc/23807/stat : 23807 (java) R 23805 23807 23740 0 -1 0 9649 0 1 0 147568 12 0 0 25 0 8 0 159126566 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073826246 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23807/statm: 228865 9384 2524 14 0 215335 0
[pid=23807/tid=23809] ppid=23805 vsize=915460 CPUtime=0.03
/proc/23807/task/23809/stat : 23809 (java) S 23805 23807 23740 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 159126570 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23807/tid=23810] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23810/stat : 23810 (java) S 23805 23807 23740 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159126570 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23811] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23811/stat : 23811 (java) S 23805 23807 23740 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159126570 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23812] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23812/stat : 23812 (java) S 23805 23807 23740 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159126574 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23813] ppid=23805 vsize=915460 CPUtime=0.26
/proc/23807/task/23813/stat : 23813 (java) S 23805 23807 23740 0 -1 64 401 0 0 0 25 1 0 0 16 0 8 0 159126574 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23807/tid=23814] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23814/stat : 23814 (java) S 23805 23807 23740 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159126574 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23815] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23815/stat : 23815 (java) S 23805 23807 23740 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159126574 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1475.8
Current children cumulated vsize (KiB) 915460
[startup+1543.66 s]
/proc/loadavg: 2.00 2.01 1.98 3/101 23890
/proc/meminfo: memFree=1530672/2055920 swapFree=4192812/4192956
[pid=23807] ppid=23805 vsize=915460 CPUtime=1535.51
/proc/23807/stat : 23807 (java) R 23805 23807 23740 0 -1 0 9649 0 1 0 153539 12 0 0 25 0 8 0 159126566 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073872618 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23807/statm: 228865 9384 2524 14 0 215335 0
[pid=23807/tid=23809] ppid=23805 vsize=915460 CPUtime=0.03
/proc/23807/task/23809/stat : 23809 (java) S 23805 23807 23740 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 159126570 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23807/tid=23810] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23810/stat : 23810 (java) S 23805 23807 23740 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159126570 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23811] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23811/stat : 23811 (java) S 23805 23807 23740 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159126570 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23812] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23812/stat : 23812 (java) S 23805 23807 23740 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159126574 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23813] ppid=23805 vsize=915460 CPUtime=0.26
/proc/23807/task/23813/stat : 23813 (java) S 23805 23807 23740 0 -1 64 401 0 0 0 25 1 0 0 16 0 8 0 159126574 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23807/tid=23814] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23814/stat : 23814 (java) S 23805 23807 23740 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159126574 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23815] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23815/stat : 23815 (java) S 23805 23807 23740 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159126574 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1535.51
Current children cumulated vsize (KiB) 915460
[startup+1603.7 s]
/proc/loadavg: 2.09 2.03 2.00 3/101 23890
/proc/meminfo: memFree=1530608/2055920 swapFree=4192812/4192956
[pid=23807] ppid=23805 vsize=915460 CPUtime=1595.2
/proc/23807/stat : 23807 (java) R 23805 23807 23740 0 -1 0 9649 0 1 0 159508 12 0 0 25 0 8 0 159126566 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828249 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23807/statm: 228865 9384 2524 14 0 215335 0
[pid=23807/tid=23809] ppid=23805 vsize=915460 CPUtime=0.03
/proc/23807/task/23809/stat : 23809 (java) S 23805 23807 23740 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 159126570 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23807/tid=23810] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23810/stat : 23810 (java) S 23805 23807 23740 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159126570 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23811] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23811/stat : 23811 (java) S 23805 23807 23740 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159126570 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23812] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23812/stat : 23812 (java) S 23805 23807 23740 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159126574 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23813] ppid=23805 vsize=915460 CPUtime=0.26
/proc/23807/task/23813/stat : 23813 (java) S 23805 23807 23740 0 -1 64 401 0 0 0 25 1 0 0 16 0 8 0 159126574 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23807/tid=23814] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23814/stat : 23814 (java) S 23805 23807 23740 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159126574 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23815] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23815/stat : 23815 (java) S 23805 23807 23740 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159126574 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1595.2
Current children cumulated vsize (KiB) 915460
[startup+1663.74 s]
/proc/loadavg: 2.03 2.03 2.00 3/101 23890
/proc/meminfo: memFree=1530672/2055920 swapFree=4192812/4192956
[pid=23807] ppid=23805 vsize=915460 CPUtime=1654.93
/proc/23807/stat : 23807 (java) R 23805 23807 23740 0 -1 0 9649 0 1 0 165480 13 0 0 25 0 8 0 159126566 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827291 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23807/statm: 228865 9384 2524 14 0 215335 0
[pid=23807/tid=23809] ppid=23805 vsize=915460 CPUtime=0.03
/proc/23807/task/23809/stat : 23809 (java) S 23805 23807 23740 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 159126570 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23807/tid=23810] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23810/stat : 23810 (java) S 23805 23807 23740 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159126570 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23811] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23811/stat : 23811 (java) S 23805 23807 23740 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159126570 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23812] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23812/stat : 23812 (java) S 23805 23807 23740 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159126574 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23813] ppid=23805 vsize=915460 CPUtime=0.26
/proc/23807/task/23813/stat : 23813 (java) S 23805 23807 23740 0 -1 64 401 0 0 0 25 1 0 0 16 0 8 0 159126574 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23807/tid=23814] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23814/stat : 23814 (java) S 23805 23807 23740 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159126574 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23815] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23815/stat : 23815 (java) S 23805 23807 23740 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159126574 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1654.93
Current children cumulated vsize (KiB) 915460
[startup+1723.78 s]
/proc/loadavg: 2.07 2.03 2.00 3/101 23890
/proc/meminfo: memFree=1530608/2055920 swapFree=4192812/4192956
[pid=23807] ppid=23805 vsize=915460 CPUtime=1714.63
/proc/23807/stat : 23807 (java) R 23805 23807 23740 0 -1 0 9649 0 1 0 171450 13 0 0 25 0 8 0 159126566 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073811738 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23807/statm: 228865 9384 2524 14 0 215335 0
[pid=23807/tid=23809] ppid=23805 vsize=915460 CPUtime=0.03
/proc/23807/task/23809/stat : 23809 (java) S 23805 23807 23740 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 159126570 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23807/tid=23810] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23810/stat : 23810 (java) S 23805 23807 23740 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159126570 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23811] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23811/stat : 23811 (java) S 23805 23807 23740 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159126570 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23812] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23812/stat : 23812 (java) S 23805 23807 23740 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159126574 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23813] ppid=23805 vsize=915460 CPUtime=0.26
/proc/23807/task/23813/stat : 23813 (java) S 23805 23807 23740 0 -1 64 401 0 0 0 25 1 0 0 16 0 8 0 159126574 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23807/tid=23814] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23814/stat : 23814 (java) S 23805 23807 23740 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159126574 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23815] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23815/stat : 23815 (java) S 23805 23807 23740 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159126574 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1714.63
Current children cumulated vsize (KiB) 915460
[startup+1783.82 s]
/proc/loadavg: 2.02 2.03 2.00 3/101 23890
/proc/meminfo: memFree=1530544/2055920 swapFree=4192812/4192956
[pid=23807] ppid=23805 vsize=915460 CPUtime=1774.35
/proc/23807/stat : 23807 (java) R 23805 23807 23740 0 -1 0 9649 0 1 0 177422 13 0 0 25 0 8 0 159126566 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073826192 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23807/statm: 228865 9384 2524 14 0 215335 0
[pid=23807/tid=23809] ppid=23805 vsize=915460 CPUtime=0.03
/proc/23807/task/23809/stat : 23809 (java) S 23805 23807 23740 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 159126570 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23807/tid=23810] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23810/stat : 23810 (java) S 23805 23807 23740 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159126570 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23811] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23811/stat : 23811 (java) S 23805 23807 23740 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159126570 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23812] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23812/stat : 23812 (java) S 23805 23807 23740 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159126574 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23813] ppid=23805 vsize=915460 CPUtime=0.26
/proc/23807/task/23813/stat : 23813 (java) S 23805 23807 23740 0 -1 64 401 0 0 0 25 1 0 0 16 0 8 0 159126574 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23807/tid=23814] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23814/stat : 23814 (java) S 23805 23807 23740 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159126574 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23815] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23815/stat : 23815 (java) S 23805 23807 23740 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159126574 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1774.35
Current children cumulated vsize (KiB) 915460
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1809.63 s]
/proc/loadavg: 2.02 2.02 2.00 3/101 23890
/proc/meminfo: memFree=1530608/2055920 swapFree=4192812/4192956
[pid=23807] ppid=23805 vsize=915460 CPUtime=1800.01
/proc/23807/stat : 23807 (java) R 23805 23807 23740 0 -1 0 9649 0 1 0 179988 13 0 0 25 0 8 0 159126566 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073818816 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23807/statm: 228865 9384 2524 14 0 215335 0
[pid=23807/tid=23809] ppid=23805 vsize=915460 CPUtime=0.03
/proc/23807/task/23809/stat : 23809 (java) S 23805 23807 23740 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 159126570 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23807/tid=23810] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23810/stat : 23810 (java) S 23805 23807 23740 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159126570 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23811] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23811/stat : 23811 (java) S 23805 23807 23740 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159126570 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23812] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23812/stat : 23812 (java) S 23805 23807 23740 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159126574 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23813] ppid=23805 vsize=915460 CPUtime=0.26
/proc/23807/task/23813/stat : 23813 (java) S 23805 23807 23740 0 -1 64 401 0 0 0 25 1 0 0 16 0 8 0 159126574 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23807/tid=23814] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23814/stat : 23814 (java) S 23805 23807 23740 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159126574 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23807/tid=23815] ppid=23805 vsize=915460 CPUtime=0
/proc/23807/task/23815/stat : 23815 (java) S 23805 23807 23740 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159126574 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 915460
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1809.65
CPU time (s): 1800.04
CPU user time (s): 1799.9
CPU system time (s): 0.138978
CPU usage (%): 99.4685
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.9
system time used= 0.138978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9666
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= 37741
involuntary context switches= 33877
runsolver used 2.06968 s user time and 5.9471 s system time
The end
Begin job on node17 on Sat Jan 6 18:15:18 UTC 2007
IDJOB= 194832
IDBENCH= 3235
FILE ID= node17/194832-1168107318
PBS_JOBID= 3477077
Free space on /tmp= 66318 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23/rand-2-50-23-587-230-1_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/194832-1168107318/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-194832-1168107318 -o ROOT/results/node17/solver-194832-1168107318 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/194832-1168107318/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= f496bb02a2ab4bed2d7f39934426740a
RANDOM SEED= 195422353
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.236
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.236
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: 1565432 kB
Buffers: 45168 kB
Cached: 289800 kB
SwapCached: 0 kB
Active: 200168 kB
Inactive: 198736 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1565432 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2244 kB
Writeback: 0 kB
Mapped: 84552 kB
Slab: 76392 kB
Committed_AS: 3989172 kB
PageTables: 2284 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= 66319 MiB
End job on node17 on Sat Jan 6 18:45:27 UTC 2007