0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/212754-1168077277/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.59 nbVariables=3862 nbDomainTypes=2 minDomainSize=1 maxDomainSize=2
0.59 => wckTime=0.277 cpuTime=0.19 mem=13M729
0.59
0.59 predicates being loaded...
0.60
0.60 constraints being loaded...
2.48 nbConstraints=13028 nbMergedConstraints=3006 nbSingletonDomainVariables=355 nbConvertedConstraints=6115
2.48 nbConvertConstraintsChecks=361 nbExtensionStructures=8 nbSharedExtensionStructures=6107 nbConflictsStructures=19
2.48 nbSharedConflictsStructures=13009 nbSharedBinaryRepresentations=22 nbEvaluationManagers=11
2.48 nbSharedEvaluationManagers=6902 maxDegree=29 maxArity=8
2.48 => wckTime=2.167 cpuTime=1.8 mem=18M925
2.60
2.60 solver IterativeSystematicSolver being built...
3.06 => wckTime=2.743 cpuTime=2.16 mem=34M720
3.13
3.13 preprocessing
3.13 nbConstraintChecks=1683 nbValidityChecks=73 nbPropagations=4358 nbRevisions=1294 nbUselessRevisions=787
3.13 nbRemovedValues=507 detectedInconsistency=no
3.13 => wckTime=0.06 cpuTime=0.04 mem=34M720
4.22
4.22 search
4.22 run=0 nbConstraintChecks=11356 nbValidityChecks=1679 nbPropagations=6164 nbRevisions=12674
4.22 nbUselessRevisions=10379 nbAssignments=242 nbFailedAssignments=3 nbBacktracks=35 nbVisitedNodes=249
4.22 nbRestartNogoods=0 mapSize=4 nbInferences=0 nbTooLargeKeys=0
4.22 => wckTime=1.156 cpuTime=1.09 mem=35M752
5.19
5.19 search
5.19 run=1 nbConstraintChecks=17498 nbValidityChecks=5663 nbPropagations=13816 nbRevisions=34158
5.19 nbUselessRevisions=28145 nbAssignments=478 nbFailedAssignments=4 nbBacktracks=52 nbVisitedNodes=487
5.19 nbRestartNogoods=2 mapSize=5 nbInferences=0 nbTooLargeKeys=0
5.19 => wckTime=2.126 cpuTime=2.05 mem=36M767
6.34
6.34 search
6.34 run=2 nbConstraintChecks=25173 nbValidityChecks=10258 nbPropagations=23181 nbRevisions=66393
6.34 nbUselessRevisions=54995 nbAssignments=740 nbFailedAssignments=6 nbBacktracks=110 nbVisitedNodes=753
6.34 nbRestartNogoods=3 mapSize=8 nbInferences=0 nbTooLargeKeys=0
6.34 => wckTime=3.274 cpuTime=3.19 mem=36M767
7.51
7.51 search
7.51 run=3 nbConstraintChecks=32820 nbValidityChecks=15031 nbPropagations=34277 nbRevisions=109536
7.51 nbUselessRevisions=91068 nbAssignments=1006 nbFailedAssignments=8 nbBacktracks=144 nbVisitedNodes=1023
7.51 nbRestartNogoods=4 mapSize=10 nbInferences=0 nbTooLargeKeys=0
7.51 => wckTime=4.446 cpuTime=4.34 mem=36M767
8.84
8.84 search
8.84 run=4 nbConstraintChecks=41006 nbValidityChecks=19939 nbPropagations=47172 nbRevisions=164229
8.84 nbUselessRevisions=136940 nbAssignments=1295 nbFailedAssignments=10 nbBacktracks=200 nbVisitedNodes=1316
8.84 nbRestartNogoods=6 mapSize=12 nbInferences=0 nbTooLargeKeys=0
8.84 => wckTime=5.773 cpuTime=5.65 mem=37M783
10.12
10.12 search
10.12 run=5 nbConstraintChecks=50855 nbValidityChecks=25226 nbPropagations=62020 nbRevisions=232603
10.12 nbUselessRevisions=194537 nbAssignments=1583 nbFailedAssignments=14 nbBacktracks=286 nbVisitedNodes=1612
10.12 nbRestartNogoods=8 mapSize=19 nbInferences=0 nbTooLargeKeys=0
10.12 => wckTime=7.058 cpuTime=6.91 mem=37M783
11.08
11.08 search
11.08 run=6 nbConstraintChecks=70809 nbValidityChecks=35266 nbPropagations=80499 nbRevisions=328559
11.08 nbUselessRevisions=275926 nbAssignments=1850 nbFailedAssignments=27 nbBacktracks=404 nbVisitedNodes=1901
11.08 nbRestartNogoods=9 mapSize=40 nbInferences=0 nbTooLargeKeys=0
11.08 => wckTime=8.01 cpuTime=7.85 mem=38M799
13.03
13.03 search
13.03 run=7 nbConstraintChecks=84172 nbValidityChecks=42195 nbPropagations=101339 nbRevisions=441743
13.03 nbUselessRevisions=372099 nbAssignments=2267 nbFailedAssignments=35 nbBacktracks=584 nbVisitedNodes=2335
13.03 nbRestartNogoods=10 mapSize=55 nbInferences=0 nbTooLargeKeys=0
13.03 => wckTime=9.968 cpuTime=9.79 mem=38M799
15.18
15.18 search
15.18 run=8 nbConstraintChecks=106595 nbValidityChecks=52430 nbPropagations=125729 nbRevisions=584152
15.18 nbUselessRevisions=493692 nbAssignments=2728 nbFailedAssignments=52 nbBacktracks=841 nbVisitedNodes=2830
15.18 nbRestartNogoods=12 mapSize=88 nbInferences=0 nbTooLargeKeys=0
15.18 => wckTime=12.115 cpuTime=11.91 mem=39M814
18.58
18.58 search
18.58 run=9 nbConstraintChecks=130113 nbValidityChecks=63847 nbPropagations=153947 nbRevisions=757448
18.58 nbUselessRevisions=642080 nbAssignments=3362 nbFailedAssignments=69 nbBacktracks=1232 nbVisitedNodes=3499
18.58 nbRestartNogoods=13 mapSize=122 nbInferences=0 nbTooLargeKeys=0
18.58 => wckTime=15.516 cpuTime=15.28 mem=40M830
25.07
25.07 search
25.07 run=10 nbConstraintChecks=174828 nbValidityChecks=88197 nbPropagations=190156 nbRevisions=995013
25.07 nbUselessRevisions=846207 nbAssignments=4325 nbFailedAssignments=97 nbBacktracks=1834 nbVisitedNodes=4522
25.07 nbRestartNogoods=14 mapSize=176 nbInferences=0 nbTooLargeKeys=0
25.07 => wckTime=22.008 cpuTime=21.7 mem=42M861
33.87
33.87 search
33.87 run=11 nbConstraintChecks=265848 nbValidityChecks=137078 nbPropagations=241679 nbRevisions=1364084
33.87 nbUselessRevisions=1164849 nbAssignments=5681 nbFailedAssignments=222 nbBacktracks=2711 nbVisitedNodes=6067
33.87 nbRestartNogoods=20 mapSize=352 nbInferences=0 nbTooLargeKeys=0
33.87 => wckTime=30.801 cpuTime=30.41 mem=44M893
46.57
46.57 search
46.57 run=12 nbConstraintChecks=366269 nbValidityChecks=190640 nbPropagations=310910 nbRevisions=1869887
46.57 nbUselessRevisions=1601091 nbAssignments=7454 nbFailedAssignments=295 nbBacktracks=4024 nbVisitedNodes=7994
46.57 nbRestartNogoods=27 mapSize=499 nbInferences=0 nbTooLargeKeys=0
46.57 => wckTime=43.508 cpuTime=43.0 mem=46M924
57.78
57.78 search
57.78 run=13 nbConstraintChecks=548673 nbValidityChecks=288199 nbPropagations=414666 nbRevisions=2636428
57.78 nbUselessRevisions=2260713 nbAssignments=9777 nbFailedAssignments=463 nbBacktracks=5998 nbVisitedNodes=10635
57.78 nbRestartNogoods=34 mapSize=813 nbInferences=0 nbTooLargeKeys=0
57.79 => wckTime=54.719 cpuTime=54.1 mem=49M971
66.41
66.41 INFO : Stopping hyperNogood (mapSize=1001, nbTooLargekeys=0, mem=53M18)
67.81
67.81 search
67.81 run=14 nbConstraintChecks=823664 nbValidityChecks=439580 nbPropagations=574325 nbRevisions=3802337
67.81 nbUselessRevisions=3261442 nbAssignments=13139 nbFailedAssignments=646 nbBacktracks=8927 nbVisitedNodes=14345
67.81 nbRestartNogoods=38
67.81 => wckTime=64.745 cpuTime=64.04 mem=53M18
73.00
73.00 search
73.00 run=15 nbConstraintChecks=1293492 nbValidityChecks=697762 nbPropagations=825084 nbRevisions=5667454
73.00 nbUselessRevisions=4865935 nbAssignments=17867 nbFailedAssignments=902 nbBacktracks=13367 nbVisitedNodes=19581
73.00 nbRestartNogoods=43
73.00 => wckTime=69.937 cpuTime=69.19 mem=53M18
80.05
80.05 search
80.05 run=16 nbConstraintChecks=1665564 nbValidityChecks=902309 nbPropagations=1141135 nbRevisions=8061439
80.05 nbUselessRevisions=6928759 nbAssignments=25447 nbFailedAssignments=1227 nbBacktracks=19982 nbVisitedNodes=27818
80.05 nbRestartNogoods=44
80.05 => wckTime=76.981 cpuTime=76.17 mem=53M18
90.42
90.42 search
90.42 run=17 nbConstraintChecks=2392993 nbValidityChecks=1302955 nbPropagations=1589424 nbRevisions=11472666
90.42 nbUselessRevisions=9866478 nbAssignments=36416 nbFailedAssignments=1678 nbBacktracks=29876 nbVisitedNodes=39716
90.42 nbRestartNogoods=57
90.42 => wckTime=87.354 cpuTime=86.44 mem=53M18
108.32
108.33 search
108.33 run=18 nbConstraintChecks=4136405 nbValidityChecks=2280873 nbPropagations=2350692 nbRevisions=17588733
108.33 nbUselessRevisions=15170053 nbAssignments=52972 nbFailedAssignments=3109 nbBacktracks=44655
108.33 nbVisitedNodes=58775 nbRestartNogoods=68
108.33 => wckTime=105.259 cpuTime=104.18 mem=53M18
136.43
136.43 search
136.43 run=19 nbConstraintChecks=7036775 nbValidityChecks=3855487 nbPropagations=3660468 nbRevisions=28157053
136.43 nbUselessRevisions=24344917 nbAssignments=77158 nbFailedAssignments=4926 nbBacktracks=66842
136.43 nbVisitedNodes=86246 nbRestartNogoods=78
136.43 => wckTime=133.365 cpuTime=132.03 mem=53M18
178.21
178.21 search
178.21 run=20 nbConstraintChecks=11277950 nbValidityChecks=6218615 nbPropagations=5788320 nbRevisions=45360514
178.21 nbUselessRevisions=39277006 nbAssignments=113491 nbFailedAssignments=7938 nbBacktracks=100102
178.21 nbVisitedNodes=128123 nbRestartNogoods=92
178.21 => wckTime=175.145 cpuTime=173.43 mem=53M18
237.49
237.49 search
237.49 run=21 nbConstraintChecks=19303419 nbValidityChecks=10442174 nbPropagations=9337996 nbRevisions=74670383
237.49 nbUselessRevisions=64793951 nbAssignments=169318 nbFailedAssignments=13270 nbBacktracks=150002
237.49 nbVisitedNodes=192980 nbRestartNogoods=99
237.49 => wckTime=234.428 cpuTime=232.49 mem=53M18
326.66
326.66 search
326.66 run=22 nbConstraintChecks=30952700 nbValidityChecks=16652519 nbPropagations=14918424 nbRevisions=121632797
326.66 nbUselessRevisions=105762597 nbAssignments=252021 nbFailedAssignments=20791 nbBacktracks=224851
326.66 nbVisitedNodes=289048 nbRestartNogoods=109
326.66 => wckTime=323.592 cpuTime=321.56 mem=53M18
454.47
454.47 search
454.47 run=23 nbConstraintChecks=43535538 nbValidityChecks=24339050 nbPropagations=23147248 nbRevisions=189846359
454.47 nbUselessRevisions=165208777 nbAssignments=372997 nbFailedAssignments=29351 nbBacktracks=337088
454.47 nbVisitedNodes=424943 nbRestartNogoods=122
454.47 => wckTime=451.402 cpuTime=449.21 mem=53M18
646.31
646.31 search
646.31 run=24 nbConstraintChecks=63410649 nbValidityChecks=35416578 nbPropagations=35232368 nbRevisions=289369473
646.31 nbUselessRevisions=251922053 nbAssignments=556417 nbFailedAssignments=44289 nbBacktracks=505429
646.31 nbVisitedNodes=634710 nbRestartNogoods=133
646.31 => wckTime=643.243 cpuTime=640.86 mem=53M18
938.90
938.90 search
938.90 run=25 nbConstraintChecks=99710670 nbValidityChecks=54638594 nbPropagations=53894187 nbRevisions=444026053
938.90 nbUselessRevisions=386747192 nbAssignments=830928 nbFailedAssignments=65998 nbBacktracks=757944
938.90 nbVisitedNodes=948529 nbRestartNogoods=143
938.90 => wckTime=935.832 cpuTime=933.15 mem=53M18
1380.70
1380.71 search
1380.71 run=26 nbConstraintChecks=153502325 nbValidityChecks=84244579 nbPropagations=82555579 nbRevisions=682517022
1380.71 nbUselessRevisions=594678661 nbAssignments=1244516 nbFailedAssignments=100400 nbBacktracks=1136731
1380.71 nbVisitedNodes=1423962 nbRestartNogoods=164
1380.71 => wckTime=1377.639 cpuTime=1374.53 mem=53M18
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node41/watcher-212754-1168077277 -o ROOT/results/node41/solver-212754-1168077277 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/212754-1168077277/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.03 1.99 1.82 4/80 7441
/proc/meminfo: memFree=1582936/2055920 swapFree=4192812/4192956
[pid=7440] ppid=7438 vsize=11820 CPUtime=0
/proc/7440/stat : 7440 (java) D 7438 7440 7071 0 -1 0 760 0 1 0 0 0 0 0 16 0 1 0 156127026 12103680 510 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 1962788 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/7440/statm: 2955 510 421 14 0 1602 0
[startup+0.104208 s]
/proc/loadavg: 2.03 1.99 1.82 4/80 7441
/proc/meminfo: memFree=1582936/2055920 swapFree=4192812/4192956
[pid=7440] ppid=7438 vsize=914988 CPUtime=0.09
/proc/7440/stat : 7440 (java) R 7438 7440 7071 0 -1 0 2995 0 1 0 7 2 0 0 17 0 8 0 156127026 936947712 2741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072925084 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7440/statm: 228747 2741 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.512241 s]
/proc/loadavg: 2.03 1.99 1.82 4/80 7441
/proc/meminfo: memFree=1582936/2055920 swapFree=4192812/4192956
[pid=7440] ppid=7438 vsize=915328 CPUtime=0.49
/proc/7440/stat : 7440 (java) R 7438 7440 7071 0 -1 0 6557 0 1 0 45 4 0 0 18 0 8 0 156127026 937295872 6296 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072932851 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7440/statm: 228832 6296 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33732 s]
/proc/loadavg: 2.03 1.99 1.82 3/87 7448
/proc/meminfo: memFree=1521376/2055920 swapFree=4192812/4192956
[pid=7440] ppid=7438 vsize=915640 CPUtime=1.3
/proc/7440/stat : 7440 (java) R 7438 7440 7071 0 -1 0 17801 0 1 0 118 12 0 0 25 0 8 0 156127026 937615360 17539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7440/statm: 228910 17539 2178 14 0 215380 0
[pid=7440/tid=7442] ppid=7438 vsize=915640 CPUtime=0.05
/proc/7440/task/7442/stat : 7442 (java) S 7438 7440 7071 0 -1 64 1190 0 0 0 5 0 0 0 17 0 8 0 156127030 937615360 17539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7443] ppid=7438 vsize=915640 CPUtime=0
/proc/7440/task/7443/stat : 7443 (java) S 7438 7440 7071 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156127030 937615360 17539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7444] ppid=7438 vsize=915640 CPUtime=0
/proc/7440/task/7444/stat : 7444 (java) S 7438 7440 7071 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156127030 937615360 17539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7445] ppid=7438 vsize=915640 CPUtime=0
/proc/7440/task/7445/stat : 7445 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156127034 937615360 17539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7446] ppid=7438 vsize=915640 CPUtime=0.17
/proc/7440/task/7446/stat : 7446 (java) S 7438 7440 7071 0 -1 64 418 0 0 0 17 0 0 0 16 0 8 0 156127034 937615360 17539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7447] ppid=7438 vsize=915640 CPUtime=0
/proc/7440/task/7447/stat : 7447 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156127034 937615360 17539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7448] ppid=7438 vsize=915640 CPUtime=0
/proc/7440/task/7448/stat : 7448 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156127034 937615360 17539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915640
[startup+2.98346 s]
/proc/loadavg: 2.03 1.99 1.82 4/87 7448
/proc/meminfo: memFree=1513120/2055920 swapFree=4192812/4192956
[pid=7440] ppid=7438 vsize=915740 CPUtime=2.94
/proc/7440/stat : 7440 (java) R 7438 7440 7071 0 -1 0 23339 0 1 0 228 66 0 0 25 0 8 0 156127026 937717760 23051 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074021037 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7440/statm: 228935 23051 2521 14 0 215405 0
[pid=7440/tid=7442] ppid=7438 vsize=915740 CPUtime=0.3
/proc/7440/task/7442/stat : 7442 (java) S 7438 7440 7071 0 -1 64 6272 0 0 0 28 2 0 0 16 0 8 0 156127030 937717760 23051 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7443] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7443/stat : 7443 (java) S 7438 7440 7071 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156127030 937717760 23051 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7444] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7444/stat : 7444 (java) S 7438 7440 7071 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156127030 937717760 23051 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7445] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7445/stat : 7445 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156127034 937717760 23051 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7446] ppid=7438 vsize=915740 CPUtime=0.28
/proc/7440/task/7446/stat : 7446 (java) S 7438 7440 7071 0 -1 64 478 0 0 0 27 1 0 0 16 0 8 0 156127034 937717760 23051 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7447] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7447/stat : 7447 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156127034 937717760 23051 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7448] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7448/stat : 7448 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156127034 937717760 23051 18446744073709551615 134512640 134570532 4294956480 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) 915740
[startup+6.26274 s]
/proc/loadavg: 2.03 1.99 1.82 3/87 7448
/proc/meminfo: memFree=1500064/2055920 swapFree=4192812/4192956
[pid=7440] ppid=7438 vsize=915740 CPUtime=6.19
/proc/7440/stat : 7440 (java) R 7438 7440 7071 0 -1 0 23408 0 1 0 552 67 0 0 25 0 8 0 156127026 937717760 23117 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074108442 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7440/statm: 228935 23117 2537 14 0 215405 0
[pid=7440/tid=7442] ppid=7438 vsize=915740 CPUtime=0.3
/proc/7440/task/7442/stat : 7442 (java) S 7438 7440 7071 0 -1 64 6273 0 0 0 28 2 0 0 16 0 8 0 156127030 937717760 23117 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7443] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7443/stat : 7443 (java) S 7438 7440 7071 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156127030 937717760 23117 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7444] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7444/stat : 7444 (java) S 7438 7440 7071 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156127030 937717760 23117 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7445] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7445/stat : 7445 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156127034 937717760 23117 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7446] ppid=7438 vsize=915740 CPUtime=0.34
/proc/7440/task/7446/stat : 7446 (java) S 7438 7440 7071 0 -1 64 511 0 0 0 33 1 0 0 16 0 8 0 156127034 937717760 23117 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7447] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7447/stat : 7447 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156127034 937717760 23117 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7448] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7448/stat : 7448 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156127034 937717760 23117 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915740
[startup+12.7573 s]
/proc/loadavg: 2.03 1.99 1.82 3/87 7448
/proc/meminfo: memFree=1500072/2055920 swapFree=4192812/4192956
[pid=7440] ppid=7438 vsize=915740 CPUtime=12.62
/proc/7440/stat : 7440 (java) R 7438 7440 7071 0 -1 0 23423 0 1 0 1195 67 0 0 25 0 8 0 156127026 937717760 23128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074108607 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7440/statm: 228935 23128 2537 14 0 215405 0
[pid=7440/tid=7442] ppid=7438 vsize=915740 CPUtime=0.3
/proc/7440/task/7442/stat : 7442 (java) S 7438 7440 7071 0 -1 64 6273 0 0 0 28 2 0 0 16 0 8 0 156127030 937717760 23128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7443] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7443/stat : 7443 (java) S 7438 7440 7071 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156127030 937717760 23128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7444] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7444/stat : 7444 (java) S 7438 7440 7071 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156127030 937717760 23128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7445] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7445/stat : 7445 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156127034 937717760 23128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7446] ppid=7438 vsize=915740 CPUtime=0.36
/proc/7440/task/7446/stat : 7446 (java) S 7438 7440 7071 0 -1 64 523 0 0 0 35 1 0 0 16 0 8 0 156127034 937717760 23128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7447] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7447/stat : 7447 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156127034 937717760 23128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7448] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7448/stat : 7448 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156127034 937717760 23128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915740
[startup+25.6164 s]
/proc/loadavg: 2.02 1.99 1.82 3/87 7448
/proc/meminfo: memFree=1500200/2055920 swapFree=4192812/4192956
[pid=7440] ppid=7438 vsize=915740 CPUtime=25.36
/proc/7440/stat : 7440 (java) R 7438 7440 7071 0 -1 0 23432 0 1 0 2469 67 0 0 25 0 8 0 156127026 937717760 23134 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918603 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7440/statm: 228935 23134 2537 14 0 215405 0
[pid=7440/tid=7442] ppid=7438 vsize=915740 CPUtime=0.3
/proc/7440/task/7442/stat : 7442 (java) S 7438 7440 7071 0 -1 64 6273 0 0 0 28 2 0 0 17 0 8 0 156127030 937717760 23134 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7443] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7443/stat : 7443 (java) S 7438 7440 7071 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156127030 937717760 23134 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7444] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7444/stat : 7444 (java) S 7438 7440 7071 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156127030 937717760 23134 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7445] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7445/stat : 7445 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156127034 937717760 23134 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7446] ppid=7438 vsize=915740 CPUtime=0.38
/proc/7440/task/7446/stat : 7446 (java) S 7438 7440 7071 0 -1 64 529 0 0 0 37 1 0 0 16 0 8 0 156127034 937717760 23134 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7447] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7447/stat : 7447 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156127034 937717760 23134 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7448] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7448/stat : 7448 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156127034 937717760 23134 18446744073709551615 134512640 134570532 4294956480 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) 915740
[startup+51.2447 s]
/proc/loadavg: 2.01 1.99 1.83 4/87 7448
/proc/meminfo: memFree=1500264/2055920 swapFree=4192812/4192956
[pid=7440] ppid=7438 vsize=915740 CPUtime=50.75
/proc/7440/stat : 7440 (java) R 7438 7440 7071 0 -1 0 23434 0 1 0 5008 67 0 0 25 0 8 0 156127026 937717760 23134 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074133157 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7440/statm: 228935 23134 2537 14 0 215405 0
[pid=7440/tid=7442] ppid=7438 vsize=915740 CPUtime=0.3
/proc/7440/task/7442/stat : 7442 (java) S 7438 7440 7071 0 -1 64 6273 0 0 0 28 2 0 0 16 0 8 0 156127030 937717760 23134 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7443] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7443/stat : 7443 (java) S 7438 7440 7071 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156127030 937717760 23134 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7444] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7444/stat : 7444 (java) S 7438 7440 7071 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156127030 937717760 23134 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7445] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7445/stat : 7445 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156127034 937717760 23134 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7446] ppid=7438 vsize=915740 CPUtime=0.38
/proc/7440/task/7446/stat : 7446 (java) S 7438 7440 7071 0 -1 64 529 0 0 0 37 1 0 0 16 0 8 0 156127034 937717760 23134 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7447] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7447/stat : 7447 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156127034 937717760 23134 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7448] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7448/stat : 7448 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156127034 937717760 23134 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 915740
[startup+102.495 s]
/proc/loadavg: 2.00 1.99 1.83 3/87 7448
/proc/meminfo: memFree=1500328/2055920 swapFree=4192812/4192956
[pid=7440] ppid=7438 vsize=915740 CPUtime=101.54
/proc/7440/stat : 7440 (java) R 7438 7440 7071 0 -1 0 23439 0 1 0 10086 68 0 0 25 0 8 0 156127026 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074243966 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7440/statm: 228935 23137 2537 14 0 215405 0
[pid=7440/tid=7442] ppid=7438 vsize=915740 CPUtime=0.3
/proc/7440/task/7442/stat : 7442 (java) S 7438 7440 7071 0 -1 64 6273 0 0 0 28 2 0 0 16 0 8 0 156127030 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7443] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7443/stat : 7443 (java) S 7438 7440 7071 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156127030 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7444] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7444/stat : 7444 (java) S 7438 7440 7071 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156127030 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7445] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7445/stat : 7445 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156127034 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7446] ppid=7438 vsize=915740 CPUtime=0.38
/proc/7440/task/7446/stat : 7446 (java) S 7438 7440 7071 0 -1 64 531 0 0 0 37 1 0 0 16 0 8 0 156127034 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7447] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7447/stat : 7447 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156127034 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7448] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7448/stat : 7448 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156127034 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.54
Current children cumulated vsize (KiB) 915740
[startup+162.596 s]
/proc/loadavg: 2.00 1.99 1.84 3/87 7448
/proc/meminfo: memFree=1500328/2055920 swapFree=4192812/4192956
[pid=7440] ppid=7438 vsize=915740 CPUtime=161.1
/proc/7440/stat : 7440 (java) R 7438 7440 7071 0 -1 0 23439 0 1 0 16042 68 0 0 25 0 8 0 156127026 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074099776 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1420.31
Current children cumulated vsize (KiB) 915740
[startup+1483.43 s]
/proc/loadavg: 2.02 2.01 1.92 3/87 7706
/proc/meminfo: memFree=1485224/2055920 swapFree=4192812/4192956
[pid=7440] ppid=7438 vsize=915740 CPUtime=1480.29
/proc/7440/stat : 7440 (java) R 7438 7440 7071 0 -1 0 23439 0 1 0 147942 87 0 0 25 0 8 0 156127026 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074243982 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7440/statm: 228935 23137 2537 14 0 215405 0
[pid=7440/tid=7442] ppid=7438 vsize=915740 CPUtime=0.3
/proc/7440/task/7442/stat : 7442 (java) S 7438 7440 7071 0 -1 64 6273 0 0 0 28 2 0 0 16 0 8 0 156127030 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7443] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7443/stat : 7443 (java) S 7438 7440 7071 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156127030 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7444] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7444/stat : 7444 (java) S 7438 7440 7071 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156127030 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7445] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7445/stat : 7445 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156127034 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7446] ppid=7438 vsize=915740 CPUtime=0.39
/proc/7440/task/7446/stat : 7446 (java) S 7438 7440 7071 0 -1 64 531 0 0 0 38 1 0 0 16 0 8 0 156127034 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7440/tid=7447] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7447/stat : 7447 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156127034 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7448] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7448/stat : 7448 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156127034 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1480.29
Current children cumulated vsize (KiB) 915740
[startup+1543.46 s]
/proc/loadavg: 2.00 2.00 1.92 3/87 7706
/proc/meminfo: memFree=1485224/2055920 swapFree=4192812/4192956
[pid=7440] ppid=7438 vsize=915740 CPUtime=1540.28
/proc/7440/stat : 7440 (java) R 7438 7440 7071 0 -1 0 23439 0 1 0 153941 87 0 0 25 0 8 0 156127026 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074243927 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7440/statm: 228935 23137 2537 14 0 215405 0
[pid=7440/tid=7442] ppid=7438 vsize=915740 CPUtime=0.3
/proc/7440/task/7442/stat : 7442 (java) S 7438 7440 7071 0 -1 64 6273 0 0 0 28 2 0 0 16 0 8 0 156127030 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7443] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7443/stat : 7443 (java) S 7438 7440 7071 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156127030 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7444] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7444/stat : 7444 (java) S 7438 7440 7071 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156127030 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7445] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7445/stat : 7445 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156127034 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7446] ppid=7438 vsize=915740 CPUtime=0.39
/proc/7440/task/7446/stat : 7446 (java) S 7438 7440 7071 0 -1 64 531 0 0 0 38 1 0 0 16 0 8 0 156127034 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7440/tid=7447] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7447/stat : 7447 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156127034 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7448] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7448/stat : 7448 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156127034 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1540.28
Current children cumulated vsize (KiB) 915740
[startup+1603.49 s]
/proc/loadavg: 2.00 2.00 1.92 3/87 7706
/proc/meminfo: memFree=1485160/2055920 swapFree=4192812/4192956
[pid=7440] ppid=7438 vsize=915740 CPUtime=1600.23
/proc/7440/stat : 7440 (java) R 7438 7440 7071 0 -1 0 23439 0 1 0 159936 87 0 0 25 0 8 0 156127026 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074251139 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7440/statm: 228935 23137 2537 14 0 215405 0
[pid=7440/tid=7442] ppid=7438 vsize=915740 CPUtime=0.3
/proc/7440/task/7442/stat : 7442 (java) S 7438 7440 7071 0 -1 64 6273 0 0 0 28 2 0 0 16 0 8 0 156127030 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7443] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7443/stat : 7443 (java) S 7438 7440 7071 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156127030 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7444] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7444/stat : 7444 (java) S 7438 7440 7071 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156127030 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7445] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7445/stat : 7445 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156127034 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7446] ppid=7438 vsize=915740 CPUtime=0.39
/proc/7440/task/7446/stat : 7446 (java) S 7438 7440 7071 0 -1 64 531 0 0 0 38 1 0 0 16 0 8 0 156127034 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7440/tid=7447] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7447/stat : 7447 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156127034 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7448] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7448/stat : 7448 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156127034 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1600.23
Current children cumulated vsize (KiB) 915740
[startup+1663.53 s]
/proc/loadavg: 2.00 2.00 1.92 3/87 7706
/proc/meminfo: memFree=1485160/2055920 swapFree=4192812/4192956
[pid=7440] ppid=7438 vsize=915740 CPUtime=1660.22
/proc/7440/stat : 7440 (java) R 7438 7440 7071 0 -1 0 23439 0 1 0 165934 88 0 0 25 0 8 0 156127026 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074134634 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7440/statm: 228935 23137 2537 14 0 215405 0
[pid=7440/tid=7442] ppid=7438 vsize=915740 CPUtime=0.3
/proc/7440/task/7442/stat : 7442 (java) S 7438 7440 7071 0 -1 64 6273 0 0 0 28 2 0 0 16 0 8 0 156127030 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7443] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7443/stat : 7443 (java) S 7438 7440 7071 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156127030 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7444] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7444/stat : 7444 (java) S 7438 7440 7071 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156127030 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7445] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7445/stat : 7445 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156127034 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7446] ppid=7438 vsize=915740 CPUtime=0.39
/proc/7440/task/7446/stat : 7446 (java) S 7438 7440 7071 0 -1 64 531 0 0 0 38 1 0 0 16 0 8 0 156127034 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7440/tid=7447] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7447/stat : 7447 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156127034 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7448] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7448/stat : 7448 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156127034 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1660.22
Current children cumulated vsize (KiB) 915740
[startup+1723.56 s]
/proc/loadavg: 2.00 2.00 1.92 3/87 7706
/proc/meminfo: memFree=1485160/2055920 swapFree=4192812/4192956
[pid=7440] ppid=7438 vsize=915740 CPUtime=1720.21
/proc/7440/stat : 7440 (java) R 7438 7440 7071 0 -1 0 23439 0 1 0 171933 88 0 0 25 0 8 0 156127026 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074132999 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7440/statm: 228935 23137 2537 14 0 215405 0
[pid=7440/tid=7442] ppid=7438 vsize=915740 CPUtime=0.3
/proc/7440/task/7442/stat : 7442 (java) S 7438 7440 7071 0 -1 64 6273 0 0 0 28 2 0 0 16 0 8 0 156127030 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7443] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7443/stat : 7443 (java) S 7438 7440 7071 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156127030 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7444] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7444/stat : 7444 (java) S 7438 7440 7071 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156127030 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7445] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7445/stat : 7445 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156127034 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7446] ppid=7438 vsize=915740 CPUtime=0.39
/proc/7440/task/7446/stat : 7446 (java) S 7438 7440 7071 0 -1 64 531 0 0 0 38 1 0 0 16 0 8 0 156127034 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7440/tid=7447] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7447/stat : 7447 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156127034 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7448] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7448/stat : 7448 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156127034 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1720.21
Current children cumulated vsize (KiB) 915740
[startup+1783.6 s]
/proc/loadavg: 2.03 2.01 1.93 3/87 7706
/proc/meminfo: memFree=1485160/2055920 swapFree=4192812/4192956
[pid=7440] ppid=7438 vsize=915740 CPUtime=1780.17
/proc/7440/stat : 7440 (java) R 7438 7440 7071 0 -1 0 23439 0 1 0 177929 88 0 0 25 0 8 0 156127026 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074130468 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7440/statm: 228935 23137 2537 14 0 215405 0
[pid=7440/tid=7442] ppid=7438 vsize=915740 CPUtime=0.3
/proc/7440/task/7442/stat : 7442 (java) S 7438 7440 7071 0 -1 64 6273 0 0 0 28 2 0 0 16 0 8 0 156127030 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7443] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7443/stat : 7443 (java) S 7438 7440 7071 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156127030 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7444] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7444/stat : 7444 (java) S 7438 7440 7071 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156127030 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7445] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7445/stat : 7445 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156127034 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7446] ppid=7438 vsize=915740 CPUtime=0.39
/proc/7440/task/7446/stat : 7446 (java) S 7438 7440 7071 0 -1 64 531 0 0 0 38 1 0 0 16 0 8 0 156127034 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7440/tid=7447] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7447/stat : 7447 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156127034 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7448] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7448/stat : 7448 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156127034 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1780.17
Current children cumulated vsize (KiB) 915740
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1803.53 s]
/proc/loadavg: 2.02 2.01 1.93 3/87 7706
/proc/meminfo: memFree=1485096/2055920 swapFree=4192812/4192956
[pid=7440] ppid=7438 vsize=915740 CPUtime=1800.1
/proc/7440/stat : 7440 (java) R 7438 7440 7071 0 -1 0 23439 0 1 0 179922 88 0 0 25 0 8 0 156127026 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074138129 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7440/statm: 228935 23137 2537 14 0 215405 0
[pid=7440/tid=7442] ppid=7438 vsize=915740 CPUtime=0.3
/proc/7440/task/7442/stat : 7442 (java) S 7438 7440 7071 0 -1 64 6273 0 0 0 28 2 0 0 16 0 8 0 156127030 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7443] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7443/stat : 7443 (java) S 7438 7440 7071 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156127030 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7444] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7444/stat : 7444 (java) S 7438 7440 7071 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156127030 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7445] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7445/stat : 7445 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156127034 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7446] ppid=7438 vsize=915740 CPUtime=0.39
/proc/7440/task/7446/stat : 7446 (java) S 7438 7440 7071 0 -1 64 531 0 0 0 38 1 0 0 16 0 8 0 156127034 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7440/tid=7447] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7447/stat : 7447 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156127034 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7448] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7448/stat : 7448 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156127034 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 915740
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1803.58
CPU time (s): 1800.15
CPU user time (s): 1799.26
CPU system time (s): 0.895863
CPU usage (%): 99.8097
Max. virtual memory (cumulated for all children) (KiB): 915960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.26
system time used= 0.895863
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23454
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= 38213
involuntary context switches= 49740
runsolver used 2.27965 s user time and 4.47032 s system time
The end
Begin job on node41 on Sat Jan 6 09:54:38 UTC 2007
IDJOB= 212754
IDBENCH= 4795
FILE ID= node41/212754-1168077277
PBS_JOBID= 3476046
Free space on /tmp= 66527 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/primesDimacs/hanoi5.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/212754-1168077277/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node41/watcher-212754-1168077277 -o ROOT/results/node41/solver-212754-1168077277 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/212754-1168077277/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= ab2361f6e7b80549959dd1fae73f3a41
RANDOM SEED= 92586963
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.234
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.234
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: 1583416 kB
Buffers: 33612 kB
Cached: 278508 kB
SwapCached: 0 kB
Active: 129936 kB
Inactive: 266724 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1583416 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3848 kB
Writeback: 0 kB
Mapped: 104792 kB
Slab: 61044 kB
Committed_AS: 3344516 kB
PageTables: 2048 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= 66527 MiB
End job on node41 on Sat Jan 6 10:24:41 UTC 2007