0.38
0.38 Abscon 109 (November, 2006)
0.38
0.38 configuration
0.38 name=pfc.xml
0.42
0.42 instance
0.42 name=/tmp/evaluation/278255-1169283938/unknown.xml
0.45
0.45 domains being loaded...
0.45
0.45 variables being loaded...
0.48 nbVariables=40 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.48 => wckTime=0.091 cpuTime=0.08 mem=6M910
0.48
0.48 relations being loaded...
0.50
0.50 constraints being loaded...
0.74 nbConstraints=1889 nbRelationTypes=43 nbExtensionStructures=43 nbSharedExtensionStructures=1846
0.74 nbConflictsStructures=43 nbSharedConflictsStructures=1846 nbSharedBinaryRepresentations=0 maxDegree=172
0.74 maxArity=3
0.74 => wckTime=0.355 cpuTime=0.23 mem=12M769
0.79
0.79 solver LocalSearchSolver being built...
0.83 => wckTime=0.447 cpuTime=0.28 mem=6M363
0.84
0.84 s SATISFIABLE
0.84 o 1641
0.84 c 248
0.84 o 1653
0.84 c 236
0.84 o 1667
0.84 c 222
0.84 o 1675
0.84 c 214
0.85 o 1681
0.85 c 208
0.85 o 1686
0.85 c 203
0.85 o 1695
0.85 c 194
0.85 o 1698
0.85 c 191
0.85 o 1702
0.85 c 187
0.85 o 1703
0.85 c 186
0.85 o 1707
0.85 c 182
0.85 o 1710
0.85 c 179
0.85 o 1712
0.85 c 177
0.85 o 1713
0.85 c 176
1.02 o 1714
1.02 c 175
1.02 o 1715
1.02 c 174
1.37 o 1718
1.37 c 171
1.38 o 1720
1.38 c 169
1.38 o 1721
1.38 c 168
1.38 o 1723
1.38 c 166
2.92 o 1724
2.92 c 165
7.18 o 1725
7.18 c 164
7.96
7.96 search
7.96 run=0 nbConstraintChecks=41799083 nbAssignments=10000
7.96 => wckTime=7.132 cpuTime=7.04 mem=6M363
15.08
15.08 search
15.08 run=1 nbConstraintChecks=84634153 nbAssignments=20000
15.08 => wckTime=14.251 cpuTime=14.1 mem=6M363
22.02
22.02 search
22.02 run=2 nbConstraintChecks=126410294 nbAssignments=30000
22.02 => wckTime=21.186 cpuTime=20.97 mem=6M363
29.07
29.07 search
29.07 run=3 nbConstraintChecks=169216152 nbAssignments=40000
29.07 => wckTime=28.237 cpuTime=27.96 mem=6M363
36.04
36.04 search
36.04 run=4 nbConstraintChecks=211004996 nbAssignments=50000
36.04 => wckTime=35.207 cpuTime=34.88 mem=6M363
37.45
37.45 search
37.45 run=5 nbConstraintChecks=219459142 nbAssignments=51977
37.45 => wckTime=36.622 cpuTime=36.27 mem=6M363
37.46
37.46 global
37.46 nbConstraintChecks=219459142 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
37.46 solvingWckTime=36.621 solvingCpuTime=36.27 expiredTime=no totalExploration=no nbFoundSolutions=0
37.46 globalCpuTime=36.6
37.46 => wckTime=37.069 cpuTime=36.55 mem=6M363
37.46
37.46 solver IterativeSystematicSolver being built...
37.65 => wckTime=37.263 cpuTime=36.71 mem=27M145
37.67
37.67 preprocessing
37.67 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
37.67 detectedInconsistency=no
37.67 => wckTime=0.019 cpuTime=0.01 mem=27M145
37.83
37.83 search
37.83 run=0 nbConstraintChecks=39009 nbValidityChecks=87347 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
37.83 nbAssignments=42 nbFailedAssignments=8 nbBacktracks=10 nbVisitedNodes=61 nbRestartNogoods=0
37.83 => wckTime=0.177 cpuTime=0.15 mem=28M137
38.00
38.00 search
38.00 run=1 nbConstraintChecks=90275 nbValidityChecks=229291 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
38.01 nbAssignments=93 nbFailedAssignments=23 nbBacktracks=25 nbVisitedNodes=142 nbRestartNogoods=3
38.01 => wckTime=0.354 cpuTime=0.31 mem=28M137
38.19
38.19 search
38.19 run=2 nbConstraintChecks=156517 nbValidityChecks=420934 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
38.19 nbAssignments=155 nbFailedAssignments=41 nbBacktracks=48 nbVisitedNodes=245 nbRestartNogoods=4
38.19 => wckTime=0.541 cpuTime=0.5 mem=28M137
38.48
38.48 search
38.48 run=3 nbConstraintChecks=253964 nbValidityChecks=712504 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
38.48 nbAssignments=239 nbFailedAssignments=66 nbBacktracks=84 nbVisitedNodes=390 nbRestartNogoods=8
38.48 => wckTime=0.828 cpuTime=0.77 mem=28M137
38.86
38.86 search
38.86 run=4 nbConstraintChecks=393314 nbValidityChecks=1128165 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
38.86 nbAssignments=352 nbFailedAssignments=106 nbBacktracks=134 nbVisitedNodes=593 nbRestartNogoods=11
38.86 => wckTime=1.208 cpuTime=1.15 mem=28M137
39.40
39.40 search
39.40 run=5 nbConstraintChecks=604339 nbValidityChecks=1750951 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
39.40 nbAssignments=505 nbFailedAssignments=164 nbBacktracks=209 nbVisitedNodes=879 nbRestartNogoods=14
39.40 => wckTime=1.746 cpuTime=1.68 mem=28M137
40.28
40.28 search
40.28 run=6 nbConstraintChecks=882066 nbValidityChecks=2716758 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
40.28 nbAssignments=741 nbFailedAssignments=268 nbBacktracks=322 nbVisitedNodes=1332 nbRestartNogoods=15
40.28 => wckTime=2.634 cpuTime=2.56 mem=28M137
41.54
41.54 search
41.54 run=7 nbConstraintChecks=1308817 nbValidityChecks=4118835 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
41.54 nbAssignments=1067 nbFailedAssignments=404 nbBacktracks=492 nbVisitedNodes=1964 nbRestartNogoods=19
41.54 => wckTime=3.885 cpuTime=3.79 mem=28M137
43.45
43.45 search
43.45 run=8 nbConstraintChecks=1940326 nbValidityChecks=6259831 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
43.45 nbAssignments=1554 nbFailedAssignments=614 nbBacktracks=748 nbVisitedNodes=2917 nbRestartNogoods=23
43.45 => wckTime=5.797 cpuTime=5.67 mem=28M137
46.25
46.25 search
46.25 run=9 nbConstraintChecks=2834521 nbValidityChecks=9331545 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
46.25 nbAssignments=2246 nbFailedAssignments=902 nbBacktracks=1133 nbVisitedNodes=4282 nbRestartNogoods=26
46.25 => wckTime=8.596 cpuTime=8.43 mem=28M137
50.61
50.61 search
50.61 run=10 nbConstraintChecks=4275679 nbValidityChecks=14291550 nbPropagations=0 nbRevisions=0
50.61 nbUselessRevisions=0 nbAssignments=3328 nbFailedAssignments=1390 nbBacktracks=1710 nbVisitedNodes=6429
50.61 nbRestartNogoods=30
50.61 => wckTime=12.964 cpuTime=12.76 mem=28M137
57.31
57.31 search
57.31 run=11 nbConstraintChecks=6355285 nbValidityChecks=21554629 nbPropagations=0 nbRevisions=0
57.31 nbUselessRevisions=0 nbAssignments=4898 nbFailedAssignments=2077 nbBacktracks=2574 nbVisitedNodes=9550
57.31 nbRestartNogoods=36
57.31 => wckTime=19.654 cpuTime=19.38 mem=28M137
66.82
66.82 search
66.82 run=12 nbConstraintChecks=9523489 nbValidityChecks=32295807 nbPropagations=0 nbRevisions=0
66.82 nbUselessRevisions=0 nbAssignments=7229 nbFailedAssignments=3093 nbBacktracks=3871 nbVisitedNodes=14194
66.82 nbRestartNogoods=42
66.82 => wckTime=29.166 cpuTime=28.8 mem=28M137
81.96
81.96 search
81.96 run=13 nbConstraintChecks=14146769 nbValidityChecks=49127888 nbPropagations=0 nbRevisions=0
81.96 nbUselessRevisions=0 nbAssignments=10826 nbFailedAssignments=4726 nbBacktracks=5817 nbVisitedNodes=21370
81.96 nbRestartNogoods=48
81.96 => wckTime=44.313 cpuTime=43.81 mem=28M137
102.45
102.45 search
102.45 run=14 nbConstraintChecks=20974268 nbValidityChecks=72625207 nbPropagations=0 nbRevisions=0
102.45 nbUselessRevisions=0 nbAssignments=15793 nbFailedAssignments=6757 nbBacktracks=8736 nbVisitedNodes=31287
102.45 nbRestartNogoods=54
102.45 => wckTime=64.795 cpuTime=64.11 mem=28M137
134.02
134.03 search
134.03 run=15 nbConstraintChecks=30889060 nbValidityChecks=108161954 nbPropagations=0 nbRevisions=0
134.03 nbUselessRevisions=0 nbAssignments=23323 nbFailedAssignments=9890 nbBacktracks=13115 nbVisitedNodes=46329
134.03 nbRestartNogoods=63
134.03 => wckTime=96.374 cpuTime=95.39 mem=28M137
180.72
180.72 search
180.72 run=16 nbConstraintChecks=46229706 nbValidityChecks=162194250 nbPropagations=0 nbRevisions=0
180.72 nbUselessRevisions=0 nbAssignments=34758 nbFailedAssignments=14739 nbBacktracks=19683 nbVisitedNodes=69181
180.72 nbRestartNogoods=68
180.72 => wckTime=143.068 cpuTime=141.65 mem=28M137
258.93
258.93 search
258.93 run=17 nbConstraintChecks=67142665 nbValidityChecks=246398264 nbPropagations=0 nbRevisions=0
258.93 nbUselessRevisions=0 nbAssignments=52281 nbFailedAssignments=22393 nbBacktracks=29536 nbVisitedNodes=104196
258.93 nbRestartNogoods=75
258.93 => wckTime=221.276 cpuTime=219.14 mem=28M137
378.96
378.97 search
378.97 run=18 nbConstraintChecks=98314454 nbValidityChecks=372475083 nbPropagations=0 nbRevisions=0
378.97 nbUselessRevisions=0 nbAssignments=78876 nbFailedAssignments=34195 nbBacktracks=44314 nbVisitedNodes=157337
378.97 nbRestartNogoods=82
378.97 => wckTime=341.314 cpuTime=338.08 mem=28M137
554.96
554.96 search
554.96 run=19 nbConstraintChecks=147067662 nbValidityChecks=566525263 nbPropagations=0 nbRevisions=0
554.96 nbUselessRevisions=0 nbAssignments=118142 nbFailedAssignments=51278 nbBacktracks=66482 nbVisitedNodes=235846
554.96 nbRestartNogoods=90
554.96 => wckTime=517.31 cpuTime=512.46 mem=28M137
816.68
816.68 search
816.68 run=20 nbConstraintChecks=218894345 nbValidityChecks=852619120 nbPropagations=0 nbRevisions=0
816.68 nbUselessRevisions=0 nbAssignments=176404 nbFailedAssignments=76272 nbBacktracks=99734 nbVisitedNodes=352256
816.68 nbRestartNogoods=98
816.68 => wckTime=779.032 cpuTime=771.77 mem=28M137
1227.02
1227.02 search
1227.02 run=21 nbConstraintChecks=324766925 nbValidityChecks=1281211660 nbPropagations=0 nbRevisions=0
1227.02 nbUselessRevisions=0 nbAssignments=266453 nbFailedAssignments=116426 nbBacktracks=149613 nbVisitedNodes=531888
1227.02 nbRestartNogoods=106
1227.02 => wckTime=1189.369 cpuTime=1178.35 mem=28M137
1812.15
1812.15 search
1812.15 run=22 nbConstraintChecks=489399757 nbValidityChecks=1915511430 nbPropagations=0 nbRevisions=0
1812.15 nbUselessRevisions=0 nbAssignments=400574 nbFailedAssignments=175712 nbBacktracks=224431 nbVisitedNodes=799863
1812.15 nbRestartNogoods=114
1812.15 => wckTime=1774.498 cpuTime=1760.6 mem=28M137
2417.58 v 0 1 1 0 0 0 1 1 1 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 1 1 1 1 0 0 0 0 1 1 0 1
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node19/watcher-278255-1169283938 -o ROOT/results/node19/solver-278255-1169283938 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278255-1169283938/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 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.00 2.00 2.00 4/86 20143
/proc/meminfo: memFree=1167696/2055920 swapFree=4171264/4192956
[pid=20142] ppid=20140 vsize=47416 CPUtime=0
/proc/20142/stat : 20142 (java) D 20140 20142 19032 0 -1 0 1211 0 1 0 0 0 0 0 17 0 1 0 276788411 48553984 960 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/20142/statm: 11854 960 760 14 0 1707 0
[startup+0.103693 s]
/proc/loadavg: 2.00 2.00 2.00 4/86 20143
/proc/meminfo: memFree=1167696/2055920 swapFree=4171264/4192956
[pid=20142] ppid=20140 vsize=907808 CPUtime=0.05
/proc/20142/stat : 20142 (java) D 20140 20142 19032 0 -1 0 2507 0 1 0 4 1 0 0 17 0 4 0 276788411 929595392 2254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/20142/statm: 226952 2254 1232 14 0 214535 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 907808
[startup+0.511768 s]
/proc/loadavg: 2.00 2.00 2.00 4/86 20143
/proc/meminfo: memFree=1167696/2055920 swapFree=4171264/4192956
[pid=20142] ppid=20140 vsize=915332 CPUtime=0.41
/proc/20142/stat : 20142 (java) R 20140 20142 19032 0 -1 0 6070 0 1 0 37 4 0 0 18 0 8 0 276788411 937299968 5809 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20142/statm: 228833 5809 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 915332
[startup+1.33292 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 20150
/proc/meminfo: memFree=1145176/2055920 swapFree=4171264/4192956
[pid=20142] ppid=20140 vsize=915444 CPUtime=1.22
/proc/20142/stat : 20142 (java) R 20140 20142 19032 0 -1 0 8287 0 1 0 113 9 0 0 24 0 8 0 276788411 937414656 8025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073328002 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20142/statm: 228861 8025 2474 14 0 215331 0
[pid=20142/tid=20144] ppid=20140 vsize=915444 CPUtime=0.03
/proc/20142/task/20144/stat : 20144 (java) S 20140 20142 19032 0 -1 64 365 0 0 0 3 0 0 0 16 0 8 0 276788414 937414656 8025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20145] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20145/stat : 20145 (java) S 20140 20142 19032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276788415 937414656 8025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20146] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20146/stat : 20146 (java) S 20140 20142 19032 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276788415 937414656 8025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20147] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20147/stat : 20147 (java) S 20140 20142 19032 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276788426 937414656 8025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20148] ppid=20140 vsize=915444 CPUtime=0.17
/proc/20142/task/20148/stat : 20148 (java) S 20140 20142 19032 0 -1 64 368 0 0 0 17 0 0 0 16 0 8 0 276788426 937414656 8025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20149] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20149/stat : 20149 (java) S 20140 20142 19032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276788426 937414656 8025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20150] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20150/stat : 20150 (java) S 20140 20142 19032 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276788426 937414656 8025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 915444
[startup+2.97523 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 20150
/proc/meminfo: memFree=1145112/2055920 swapFree=4171264/4192956
[pid=20142] ppid=20140 vsize=915444 CPUtime=2.85
/proc/20142/stat : 20142 (java) R 20140 20142 19032 0 -1 0 8294 0 1 0 267 18 0 0 25 0 8 0 276788411 937414656 8031 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20142/statm: 228861 8031 2476 14 0 215331 0
[pid=20142/tid=20144] ppid=20140 vsize=915444 CPUtime=0.03
/proc/20142/task/20144/stat : 20144 (java) S 20140 20142 19032 0 -1 64 365 0 0 0 3 0 0 0 16 0 8 0 276788414 937414656 8031 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20145] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20145/stat : 20145 (java) S 20140 20142 19032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276788415 937414656 8031 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20146] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20146/stat : 20146 (java) S 20140 20142 19032 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276788415 937414656 8031 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20147] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20147/stat : 20147 (java) S 20140 20142 19032 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276788426 937414656 8031 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20148] ppid=20140 vsize=915444 CPUtime=0.18
/proc/20142/task/20148/stat : 20148 (java) S 20140 20142 19032 0 -1 64 374 0 0 0 18 0 0 0 16 0 8 0 276788426 937414656 8031 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20149] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20149/stat : 20149 (java) S 20140 20142 19032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276788426 937414656 8031 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20150] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20150/stat : 20150 (java) S 20140 20142 19032 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276788426 937414656 8031 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 915444
[startup+6.26985 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 20150
/proc/meminfo: memFree=1145112/2055920 swapFree=4171264/4192956
[pid=20142] ppid=20140 vsize=915444 CPUtime=6.11
/proc/20142/stat : 20142 (java) R 20140 20142 19032 0 -1 0 8294 0 1 0 573 38 0 0 25 0 8 0 276788411 937414656 8031 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073816993 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20142/statm: 228861 8031 2476 14 0 215331 0
[pid=20142/tid=20144] ppid=20140 vsize=915444 CPUtime=0.03
/proc/20142/task/20144/stat : 20144 (java) S 20140 20142 19032 0 -1 64 365 0 0 0 3 0 0 0 16 0 8 0 276788414 937414656 8031 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20145] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20145/stat : 20145 (java) S 20140 20142 19032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276788415 937414656 8031 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20146] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20146/stat : 20146 (java) S 20140 20142 19032 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276788415 937414656 8031 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20147] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20147/stat : 20147 (java) S 20140 20142 19032 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276788426 937414656 8031 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20148] ppid=20140 vsize=915444 CPUtime=0.18
/proc/20142/task/20148/stat : 20148 (java) S 20140 20142 19032 0 -1 64 374 0 0 0 18 0 0 0 16 0 8 0 276788426 937414656 8031 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20149] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20149/stat : 20149 (java) S 20140 20142 19032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276788426 937414656 8031 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20150] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20150/stat : 20150 (java) S 20140 20142 19032 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276788426 937414656 8031 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 915444
[startup+12.7471 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 20150
/proc/meminfo: memFree=1145176/2055920 swapFree=4171264/4192956
[pid=20142] ppid=20140 vsize=915444 CPUtime=12.53
/proc/20142/stat : 20142 (java) R 20140 20142 19032 0 -1 0 8298 0 1 0 1171 82 0 0 25 0 8 0 276788411 937414656 8035 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073816998 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20142/statm: 228861 8035 2476 14 0 215331 0
[pid=20142/tid=20144] ppid=20140 vsize=915444 CPUtime=0.03
/proc/20142/task/20144/stat : 20144 (java) S 20140 20142 19032 0 -1 64 365 0 0 0 3 0 0 0 16 0 8 0 276788414 937414656 8035 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20145] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20145/stat : 20145 (java) S 20140 20142 19032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276788415 937414656 8035 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20146] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20146/stat : 20146 (java) S 20140 20142 19032 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276788415 937414656 8035 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20147] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20147/stat : 20147 (java) S 20140 20142 19032 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276788426 937414656 8035 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20148] ppid=20140 vsize=915444 CPUtime=0.18
/proc/20142/task/20148/stat : 20148 (java) S 20140 20142 19032 0 -1 64 377 0 0 0 18 0 0 0 17 0 8 0 276788426 937414656 8035 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20149] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20149/stat : 20149 (java) S 20140 20142 19032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276788426 937414656 8035 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20150] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20150/stat : 20150 (java) S 20140 20142 19032 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276788426 937414656 8035 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 915444
[startup+25.6085 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 20150
/proc/meminfo: memFree=1145176/2055920 swapFree=4171264/4192956
[pid=20142] ppid=20140 vsize=915444 CPUtime=25.28
/proc/20142/stat : 20142 (java) R 20140 20142 19032 0 -1 0 8298 0 1 0 2360 168 0 0 25 0 8 0 276788411 937414656 8035 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20142/statm: 228861 8035 2476 14 0 215331 0
[pid=20142/tid=20144] ppid=20140 vsize=915444 CPUtime=0.03
/proc/20142/task/20144/stat : 20144 (java) S 20140 20142 19032 0 -1 64 365 0 0 0 3 0 0 0 16 0 8 0 276788414 937414656 8035 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20145] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20145/stat : 20145 (java) S 20140 20142 19032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276788415 937414656 8035 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20146] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20146/stat : 20146 (java) S 20140 20142 19032 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276788415 937414656 8035 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20147] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20147/stat : 20147 (java) S 20140 20142 19032 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276788426 937414656 8035 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20148] ppid=20140 vsize=915444 CPUtime=0.18
/proc/20142/task/20148/stat : 20148 (java) S 20140 20142 19032 0 -1 64 377 0 0 0 18 0 0 0 17 0 8 0 276788426 937414656 8035 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20149] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20149/stat : 20149 (java) S 20140 20142 19032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276788426 937414656 8035 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20150] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20150/stat : 20150 (java) S 20140 20142 19032 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276788426 937414656 8035 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 915444
[startup+51.2373 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 20150
/proc/meminfo: memFree=1131224/2055920 swapFree=4171264/4192956
[pid=20142] ppid=20140 vsize=915444 CPUtime=50.68
/proc/20142/stat : 20142 (java) R 20140 20142 19032 0 -1 0 11856 0 1 0 4825 243 0 0 25 0 8 0 276788411 937414656 11584 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073951343 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20142/statm: 228861 11584 2530 14 0 215331 0
[pid=20142/tid=20144] ppid=20140 vsize=915444 CPUtime=0.03
/proc/20142/task/20144/stat : 20144 (java) S 20140 20142 19032 0 -1 64 366 0 0 0 3 0 0 0 16 0 8 0 276788414 937414656 11584 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20145] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20145/stat : 20145 (java) S 20140 20142 19032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276788415 937414656 11584 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20146] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20146/stat : 20146 (java) S 20140 20142 19032 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276788415 937414656 11584 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20147] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20147/stat : 20147 (java) S 20140 20142 19032 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276788426 937414656 11584 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20148] ppid=20140 vsize=915444 CPUtime=0.31
/proc/20142/task/20148/stat : 20148 (java) S 20140 20142 19032 0 -1 64 446 0 0 0 30 1 0 0 17 0 8 0 276788426 937414656 11584 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20149] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20149/stat : 20149 (java) S 20140 20142 19032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276788426 937414656 11584 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20150] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20150/stat : 20150 (java) S 20140 20142 19032 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276788426 937414656 11584 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 915444
[startup+102.495 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 20150
/proc/meminfo: memFree=1131160/2055920 swapFree=4171264/4192956
[pid=20142] ppid=20140 vsize=915444 CPUtime=101.47
/proc/20142/stat : 20142 (java) R 20140 20142 19032 0 -1 0 11868 0 1 0 9904 243 0 0 25 0 8 0 276788411 937414656 11596 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073979354 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20142/statm: 228861 11596 2530 14 0 215331 0
[pid=20142/tid=20144] ppid=20140 vsize=915444 CPUtime=0.03
/proc/20142/task/20144/stat : 20144 (java) S 20140 20142 19032 0 -1 64 366 0 0 0 3 0 0 0 16 0 8 0 276788414 937414656 11596 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20145] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20145/stat : 20145 (java) S 20140 20142 19032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276788415 937414656 11596 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20146] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20146/stat : 20146 (java) S 20140 20142 19032 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276788415 937414656 11596 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20147] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20147/stat : 20147 (java) S 20140 20142 19032 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276788426 937414656 11596 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20148] ppid=20140 vsize=915444 CPUtime=0.32
/proc/20142/task/20148/stat : 20148 (java) S 20140 20142 19032 0 -1 64 448 0 0 0 31 1 0 0 16 0 8 0 276788426 937414656 11596 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20149] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20149/stat : 20149 (java) S 20140 20142 19032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276788426 937414656 11596 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20150] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20150/stat : 20150 (java) S 20140 20142 19032 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276788426 937414656 11596 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.47
Current children cumulated vsize (KiB) 915444
[startup+162.505 s]
/proc/loadavg: 2.07 2.02 2.00 3/93 20150
/proc/meminfo: memFree=1131160/2055920 swapFree=4171264/4192956
[pid=20142] ppid=20140 vsize=915444 CPUtime=160.93
/proc/20142/stat : 20142 (java) R 20140 20142 19032 0 -1 0 11871 0 1 0 15849 244 0 0 25 0 8 0 276788411 937414656 11599 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073953553 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2008.22
Current children cumulated vsize (KiB) 915444
[startup+2083.63 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 20243
/proc/meminfo: memFree=1117456/2055920 swapFree=4171264/4192956
[pid=20142] ppid=20140 vsize=915444 CPUtime=2067.98
/proc/20142/stat : 20142 (java) R 20140 20142 19032 0 -1 0 11890 0 1 0 206539 259 0 0 25 0 8 0 276788411 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073835687 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20142/statm: 228861 11618 2530 14 0 215331 0
[pid=20142/tid=20144] ppid=20140 vsize=915444 CPUtime=0.03
/proc/20142/task/20144/stat : 20144 (java) S 20140 20142 19032 0 -1 64 366 0 0 0 3 0 0 0 16 0 8 0 276788414 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20145] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20145/stat : 20145 (java) S 20140 20142 19032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276788415 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20146] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20146/stat : 20146 (java) S 20140 20142 19032 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276788415 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20147] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20147/stat : 20147 (java) S 20140 20142 19032 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276788426 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20148] ppid=20140 vsize=915444 CPUtime=0.32
/proc/20142/task/20148/stat : 20148 (java) S 20140 20142 19032 0 -1 64 450 0 0 0 31 1 0 0 16 0 8 0 276788426 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20149] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20149/stat : 20149 (java) S 20140 20142 19032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276788426 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20150] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20150/stat : 20150 (java) S 20140 20142 19032 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276788426 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2067.98
Current children cumulated vsize (KiB) 915444
[startup+2143.72 s]
/proc/loadavg: 2.04 2.01 2.00 3/94 20243
/proc/meminfo: memFree=1117456/2055920 swapFree=4171264/4192956
[pid=20142] ppid=20140 vsize=915444 CPUtime=2127.75
/proc/20142/stat : 20142 (java) R 20140 20142 19032 0 -1 0 11890 0 1 0 212515 260 0 0 25 0 8 0 276788411 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074019871 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20142/statm: 228861 11618 2530 14 0 215331 0
[pid=20142/tid=20144] ppid=20140 vsize=915444 CPUtime=0.03
/proc/20142/task/20144/stat : 20144 (java) S 20140 20142 19032 0 -1 64 366 0 0 0 3 0 0 0 16 0 8 0 276788414 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20145] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20145/stat : 20145 (java) S 20140 20142 19032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276788415 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20146] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20146/stat : 20146 (java) S 20140 20142 19032 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276788415 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20147] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20147/stat : 20147 (java) S 20140 20142 19032 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276788426 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20148] ppid=20140 vsize=915444 CPUtime=0.32
/proc/20142/task/20148/stat : 20148 (java) S 20140 20142 19032 0 -1 64 450 0 0 0 31 1 0 0 16 0 8 0 276788426 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20149] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20149/stat : 20149 (java) S 20140 20142 19032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276788426 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20150] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20150/stat : 20150 (java) S 20140 20142 19032 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276788426 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2127.75
Current children cumulated vsize (KiB) 915444
[startup+2203.8 s]
/proc/loadavg: 2.01 2.01 2.00 3/94 20243
/proc/meminfo: memFree=1117456/2055920 swapFree=4171264/4192956
[pid=20142] ppid=20140 vsize=915444 CPUtime=2187.49
/proc/20142/stat : 20142 (java) R 20140 20142 19032 0 -1 0 11890 0 1 0 218489 260 0 0 25 0 8 0 276788411 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073953644 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20142/statm: 228861 11618 2530 14 0 215331 0
[pid=20142/tid=20144] ppid=20140 vsize=915444 CPUtime=0.03
/proc/20142/task/20144/stat : 20144 (java) S 20140 20142 19032 0 -1 64 366 0 0 0 3 0 0 0 16 0 8 0 276788414 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20145] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20145/stat : 20145 (java) S 20140 20142 19032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276788415 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20146] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20146/stat : 20146 (java) S 20140 20142 19032 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276788415 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20147] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20147/stat : 20147 (java) S 20140 20142 19032 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276788426 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20148] ppid=20140 vsize=915444 CPUtime=0.32
/proc/20142/task/20148/stat : 20148 (java) S 20140 20142 19032 0 -1 64 450 0 0 0 31 1 0 0 16 0 8 0 276788426 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20149] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20149/stat : 20149 (java) S 20140 20142 19032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276788426 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20150] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20150/stat : 20150 (java) S 20140 20142 19032 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276788426 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2187.49
Current children cumulated vsize (KiB) 915444
[startup+2263.85 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 20243
/proc/meminfo: memFree=1117456/2055920 swapFree=4171264/4192956
[pid=20142] ppid=20140 vsize=915444 CPUtime=2247.21
/proc/20142/stat : 20142 (java) R 20140 20142 19032 0 -1 0 11890 0 1 0 224461 260 0 0 25 0 8 0 276788411 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073955862 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20142/statm: 228861 11618 2530 14 0 215331 0
[pid=20142/tid=20144] ppid=20140 vsize=915444 CPUtime=0.03
/proc/20142/task/20144/stat : 20144 (java) S 20140 20142 19032 0 -1 64 366 0 0 0 3 0 0 0 16 0 8 0 276788414 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20145] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20145/stat : 20145 (java) S 20140 20142 19032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276788415 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20146] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20146/stat : 20146 (java) S 20140 20142 19032 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276788415 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20147] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20147/stat : 20147 (java) S 20140 20142 19032 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276788426 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20148] ppid=20140 vsize=915444 CPUtime=0.32
/proc/20142/task/20148/stat : 20148 (java) S 20140 20142 19032 0 -1 64 450 0 0 0 31 1 0 0 16 0 8 0 276788426 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20149] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20149/stat : 20149 (java) S 20140 20142 19032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276788426 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20150] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20150/stat : 20150 (java) S 20140 20142 19032 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276788426 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2247.21
Current children cumulated vsize (KiB) 915444
[startup+2323.94 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 20243
/proc/meminfo: memFree=1117456/2055920 swapFree=4171264/4192956
[pid=20142] ppid=20140 vsize=915444 CPUtime=2306.97
/proc/20142/stat : 20142 (java) R 20140 20142 19032 0 -1 0 11890 0 1 0 230437 260 0 0 25 0 8 0 276788411 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073916135 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20142/statm: 228861 11618 2530 14 0 215331 0
[pid=20142/tid=20144] ppid=20140 vsize=915444 CPUtime=0.03
/proc/20142/task/20144/stat : 20144 (java) S 20140 20142 19032 0 -1 64 366 0 0 0 3 0 0 0 16 0 8 0 276788414 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20145] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20145/stat : 20145 (java) S 20140 20142 19032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276788415 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20146] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20146/stat : 20146 (java) S 20140 20142 19032 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276788415 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20147] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20147/stat : 20147 (java) S 20140 20142 19032 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276788426 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20148] ppid=20140 vsize=915444 CPUtime=0.32
/proc/20142/task/20148/stat : 20148 (java) S 20140 20142 19032 0 -1 64 450 0 0 0 31 1 0 0 16 0 8 0 276788426 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20149] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20149/stat : 20149 (java) S 20140 20142 19032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276788426 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20150] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20150/stat : 20150 (java) S 20140 20142 19032 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276788426 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2306.97
Current children cumulated vsize (KiB) 915444
[startup+2384.03 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 20243
/proc/meminfo: memFree=1117456/2055920 swapFree=4171264/4192956
[pid=20142] ppid=20140 vsize=915444 CPUtime=2366.71
/proc/20142/stat : 20142 (java) R 20140 20142 19032 0 -1 0 11890 0 1 0 236411 260 0 0 25 0 8 0 276788411 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073979850 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20142/statm: 228861 11618 2530 14 0 215331 0
[pid=20142/tid=20144] ppid=20140 vsize=915444 CPUtime=0.03
/proc/20142/task/20144/stat : 20144 (java) S 20140 20142 19032 0 -1 64 366 0 0 0 3 0 0 0 16 0 8 0 276788414 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20145] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20145/stat : 20145 (java) S 20140 20142 19032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276788415 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20146] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20146/stat : 20146 (java) S 20140 20142 19032 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276788415 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20147] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20147/stat : 20147 (java) S 20140 20142 19032 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276788426 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20148] ppid=20140 vsize=915444 CPUtime=0.32
/proc/20142/task/20148/stat : 20148 (java) S 20140 20142 19032 0 -1 64 450 0 0 0 31 1 0 0 16 0 8 0 276788426 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20149] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20149/stat : 20149 (java) S 20140 20142 19032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276788426 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20150] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20150/stat : 20150 (java) S 20140 20142 19032 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276788426 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2366.71
Current children cumulated vsize (KiB) 915444
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2417.56 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 20243
/proc/meminfo: memFree=1117392/2055920 swapFree=4171264/4192956
[pid=20142] ppid=20140 vsize=915444 CPUtime=2400.08
/proc/20142/stat : 20142 (java) R 20140 20142 19032 0 -1 0 11890 0 1 0 239748 260 0 0 25 0 8 0 276788411 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073951379 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20142/statm: 228861 11618 2530 14 0 215331 0
[pid=20142/tid=20144] ppid=20140 vsize=915444 CPUtime=0.03
/proc/20142/task/20144/stat : 20144 (java) S 20140 20142 19032 0 -1 64 366 0 0 0 3 0 0 0 16 0 8 0 276788414 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20145] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20145/stat : 20145 (java) S 20140 20142 19032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276788415 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20146] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20146/stat : 20146 (java) S 20140 20142 19032 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276788415 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20147] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20147/stat : 20147 (java) S 20140 20142 19032 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276788426 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20148] ppid=20140 vsize=915444 CPUtime=0.32
/proc/20142/task/20148/stat : 20148 (java) S 20140 20142 19032 0 -1 64 450 0 0 0 31 1 0 0 16 0 8 0 276788426 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20149] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20149/stat : 20149 (java) S 20140 20142 19032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276788426 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20142/tid=20150] ppid=20140 vsize=915444 CPUtime=0
/proc/20142/task/20150/stat : 20150 (java) S 20140 20142 19032 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276788426 937414656 11618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 915444
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2417.64
CPU time (s): 2400.16
CPU user time (s): 2397.54
CPU system time (s): 2.6116
CPU usage (%): 99.2768
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.54
system time used= 2.6116
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11910
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= 50237
involuntary context switches= 91690
runsolver used 2.96455 s user time and 7.46087 s system time
The end
Begin job on node19 on Sat Jan 20 09:05:38 UTC 2007
IDJOB= 278255
IDBENCH= 8183
IDSOLVER= 69
FILE ID= node19/278255-1169283938
PBS_JOBID= 3609480
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/3-40-2100-3000/cnf-3-40-2100-244621_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278255-1169283938/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-278255-1169283938 -o ROOT/results/node19/solver-278255-1169283938 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278255-1169283938/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= dbe6e80b0ee55ab022321ccaba3caf81
RANDOM SEED= 840836833
TIME LIMIT= 2400 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.260
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.260
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: 1168176 kB
Buffers: 62896 kB
Cached: 704208 kB
SwapCached: 11088 kB
Active: 348984 kB
Inactive: 459016 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1168176 kB
SwapTotal: 4192956 kB
SwapFree: 4171264 kB
Dirty: 1804 kB
Writeback: 0 kB
Mapped: 51092 kB
Slab: 64396 kB
Committed_AS: 7661148 kB
PageTables: 2336 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= 66561 MiB
End job on node19 on Sat Jan 20 09:45:55 UTC 2007