0.36
0.36 Abscon 109 (November, 2006)
0.36
0.36 configuration
0.36 name=pfc.xml
0.39
0.39 instance
0.39 name=/tmp/evaluation/278264-1169284606/unknown.xml
0.42
0.42 domains being loaded...
0.42
0.42 variables being loaded...
0.45 nbVariables=40 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.45 => wckTime=0.088 cpuTime=0.08 mem=6M910
0.45
0.45 relations being loaded...
0.47
0.47 constraints being loaded...
0.70 nbConstraints=2125 nbRelationTypes=46 nbExtensionStructures=46 nbSharedExtensionStructures=2079
0.70 nbConflictsStructures=46 nbSharedConflictsStructures=2079 nbSharedBinaryRepresentations=0 maxDegree=182
0.70 maxArity=3
0.70 => wckTime=0.342 cpuTime=0.21 mem=12M777
0.75
0.75 solver LocalSearchSolver being built...
0.79 => wckTime=0.432 cpuTime=0.27 mem=6M488
0.80
0.80 s SATISFIABLE
0.80 o 1839
0.80 c 286
0.80 o 1843
0.80 c 282
0.80 o 1845
0.80 c 280
0.80 o 1853
0.80 c 272
0.80 o 1858
0.80 c 267
0.80 o 1863
0.81 c 262
0.81 o 1871
0.81 c 254
0.81 o 1881
0.81 c 244
0.81 o 1887
0.81 c 238
0.81 o 1888
0.81 c 237
0.81 o 1892
0.81 c 233
0.81 o 1896
0.81 c 229
0.81 o 1898
0.81 c 227
0.81 o 1904
0.81 c 221
0.82 o 1911
0.82 c 214
0.91 o 1915
0.91 c 210
1.25 o 1916
1.25 c 209
1.45 o 1917
1.45 c 208
2.12 o 1918
2.12 c 207
2.13 o 1919
2.13 c 206
2.86 o 1922
2.86 c 203
2.86 o 1925
2.86 c 200
2.86 o 1926
2.86 c 199
6.61 o 1928
6.61 c 197
8.29
8.29 search
8.29 run=0 nbConstraintChecks=46439326 nbAssignments=10000
8.29 => wckTime=7.497 cpuTime=7.42 mem=6M488
15.72
15.72 search
15.72 run=1 nbConstraintChecks=94209990 nbAssignments=20000
15.72 => wckTime=14.934 cpuTime=14.83 mem=6M488
23.00
23.00 search
23.00 run=2 nbConstraintChecks=140664588 nbAssignments=30000
23.00 => wckTime=22.208 cpuTime=22.07 mem=6M488
30.41
30.41 search
30.41 run=3 nbConstraintChecks=188401772 nbAssignments=40000
30.41 => wckTime=29.618 cpuTime=29.45 mem=6M488
36.77
36.77 search
36.77 run=4 nbConstraintChecks=228965543 nbAssignments=48762
36.77 => wckTime=35.978 cpuTime=35.79 mem=6M488
36.77
36.77 global
36.77 nbConstraintChecks=228965543 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
36.77 solvingWckTime=35.977 solvingCpuTime=35.78 expiredTime=no totalExploration=no nbFoundSolutions=0
36.77 globalCpuTime=36.09
36.77 => wckTime=36.41 cpuTime=36.05 mem=6M488
36.77
36.77 solver IterativeSystematicSolver being built...
36.96 => wckTime=36.598 cpuTime=36.2 mem=28M164
36.98
36.98 preprocessing
36.98 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
36.98 detectedInconsistency=no
36.98 => wckTime=0.019 cpuTime=0.01 mem=29M139
37.13
37.14 search
37.14 run=0 nbConstraintChecks=40902 nbValidityChecks=94205 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
37.14 nbAssignments=41 nbFailedAssignments=7 nbBacktracks=10 nbVisitedNodes=59 nbRestartNogoods=0
37.14 => wckTime=0.175 cpuTime=0.14 mem=29M139
37.29
37.29 search
37.29 run=1 nbConstraintChecks=88005 nbValidityChecks=220876 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
37.29 nbAssignments=87 nbFailedAssignments=15 nbBacktracks=25 nbVisitedNodes=128 nbRestartNogoods=2
37.29 => wckTime=0.333 cpuTime=0.28 mem=29M139
37.50
37.51 search
37.51 run=2 nbConstraintChecks=161307 nbValidityChecks=434319 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
37.51 nbAssignments=151 nbFailedAssignments=34 nbBacktracks=47 nbVisitedNodes=233 nbRestartNogoods=5
37.51 => wckTime=0.545 cpuTime=0.49 mem=29M139
37.79
37.79 search
37.79 run=3 nbConstraintChecks=263162 nbValidityChecks=743423 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
37.79 nbAssignments=229 nbFailedAssignments=59 nbBacktracks=80 nbVisitedNodes=369 nbRestartNogoods=7
37.79 => wckTime=0.83 cpuTime=0.77 mem=29M139
38.18
38.18 search
38.18 run=4 nbConstraintChecks=412004 nbValidityChecks=1189721 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
38.18 nbAssignments=336 nbFailedAssignments=92 nbBacktracks=130 nbVisitedNodes=559 nbRestartNogoods=8
38.18 => wckTime=1.224 cpuTime=1.16 mem=29M139
38.83
38.83 search
38.83 run=5 nbConstraintChecks=659172 nbValidityChecks=1918352 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
38.83 nbAssignments=500 nbFailedAssignments=160 nbBacktracks=205 nbVisitedNodes=866 nbRestartNogoods=10
38.83 => wckTime=1.866 cpuTime=1.8 mem=29M139
39.75
39.75 search
39.75 run=6 nbConstraintChecks=1015086 nbValidityChecks=3038384 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
39.75 nbAssignments=733 nbFailedAssignments=260 nbBacktracks=318 nbVisitedNodes=1312 nbRestartNogoods=14
39.75 => wckTime=2.79 cpuTime=2.72 mem=29M139
41.09
41.09 search
41.09 run=7 nbConstraintChecks=1522641 nbValidityChecks=4613480 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
41.09 nbAssignments=1061 nbFailedAssignments=396 nbBacktracks=489 nbVisitedNodes=1947 nbRestartNogoods=19
41.09 => wckTime=4.135 cpuTime=4.06 mem=29M139
42.98
42.98 search
42.98 run=8 nbConstraintChecks=2280021 nbValidityChecks=6889941 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
42.98 nbAssignments=1533 nbFailedAssignments=589 nbBacktracks=745 nbVisitedNodes=2868 nbRestartNogoods=23
42.98 => wckTime=6.023 cpuTime=5.92 mem=29M139
45.94
45.94 search
45.94 run=9 nbConstraintChecks=3376918 nbValidityChecks=10424609 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
45.94 nbAssignments=2248 nbFailedAssignments=901 nbBacktracks=1129 nbVisitedNodes=4279 nbRestartNogoods=26
45.94 => wckTime=8.979 cpuTime=8.85 mem=29M139
50.76
50.76 search
50.76 run=10 nbConstraintChecks=5056125 nbValidityChecks=16086514 nbPropagations=0 nbRevisions=0
50.76 nbUselessRevisions=0 nbAssignments=3346 nbFailedAssignments=1400 nbBacktracks=1705 nbVisitedNodes=6452
50.76 nbRestartNogoods=29
50.76 => wckTime=13.799 cpuTime=13.65 mem=29M139
57.85
57.85 search
57.85 run=11 nbConstraintChecks=7499851 nbValidityChecks=24327080 nbPropagations=0 nbRevisions=0
57.85 nbUselessRevisions=0 nbAssignments=4965 nbFailedAssignments=2134 nbBacktracks=2569 nbVisitedNodes=9669
57.85 nbRestartNogoods=33
57.85 => wckTime=20.891 cpuTime=20.68 mem=29M139
68.53
68.53 search
68.53 run=12 nbConstraintChecks=11078935 nbValidityChecks=36687560 nbPropagations=0 nbRevisions=0
68.53 nbUselessRevisions=0 nbAssignments=7321 nbFailedAssignments=3174 nbBacktracks=3866 nbVisitedNodes=14362
68.53 nbRestartNogoods=37
68.53 => wckTime=31.575 cpuTime=31.34 mem=29M139
84.67
84.67 search
84.67 run=13 nbConstraintChecks=16198890 nbValidityChecks=55237476 nbPropagations=0 nbRevisions=0
84.67 nbUselessRevisions=0 nbAssignments=10823 nbFailedAssignments=4711 nbBacktracks=5812 nbVisitedNodes=21347
84.67 nbRestartNogoods=44
84.67 => wckTime=47.71 cpuTime=47.4 mem=29M139
106.48
106.48 search
106.48 run=14 nbConstraintChecks=24533986 nbValidityChecks=81911965 nbPropagations=0 nbRevisions=0
106.48 nbUselessRevisions=0 nbAssignments=15914 nbFailedAssignments=6860 nbBacktracks=8731 nbVisitedNodes=31506
106.48 nbRestartNogoods=50
106.48 => wckTime=69.521 cpuTime=69.11 mem=29M139
143.13
143.13 search
143.13 run=15 nbConstraintChecks=35912083 nbValidityChecks=123839734 nbPropagations=0 nbRevisions=0
143.13 nbUselessRevisions=0 nbAssignments=23814 nbFailedAssignments=10363 nbBacktracks=13109 nbVisitedNodes=47287
143.14 nbRestartNogoods=55
143.14 => wckTime=106.175 cpuTime=105.59 mem=29M139
195.10
195.10 search
195.10 run=16 nbConstraintChecks=53210167 nbValidityChecks=185085624 nbPropagations=0 nbRevisions=0
195.10 nbUselessRevisions=0 nbAssignments=35361 nbFailedAssignments=15324 nbBacktracks=19677 nbVisitedNodes=70363
195.10 nbRestartNogoods=61
195.10 => wckTime=158.136 cpuTime=157.32 mem=29M139
282.08
282.08 search
282.08 run=17 nbConstraintChecks=78502332 nbValidityChecks=284195094 nbPropagations=0 nbRevisions=0
282.08 nbUselessRevisions=0 nbAssignments=53625 nbFailedAssignments=23721 nbBacktracks=29529 nbVisitedNodes=106876
282.08 nbRestartNogoods=66
282.08 => wckTime=245.125 cpuTime=243.9 mem=29M139
404.94
404.94 search
404.94 run=18 nbConstraintChecks=118128161 nbValidityChecks=427749265 nbPropagations=0 nbRevisions=0
404.94 nbUselessRevisions=0 nbAssignments=80039 nbFailedAssignments=35335 nbBacktracks=44307 nbVisitedNodes=159672
404.94 nbRestartNogoods=77
404.94 => wckTime=367.981 cpuTime=366.21 mem=29M139
593.20
593.20 search
593.20 run=19 nbConstraintChecks=171965694 nbValidityChecks=643717870 nbPropagations=0 nbRevisions=0
593.20 nbUselessRevisions=0 nbAssignments=119255 nbFailedAssignments=52367 nbBacktracks=66475 nbVisitedNodes=237842
593.20 nbRestartNogoods=83
593.20 => wckTime=556.239 cpuTime=553.6 mem=29M139
860.08
860.08 search
860.08 run=20 nbConstraintChecks=255787371 nbValidityChecks=957513349 nbPropagations=0 nbRevisions=0
860.08 nbUselessRevisions=0 nbAssignments=176063 nbFailedAssignments=75905 nbBacktracks=99728 nbVisitedNodes=351434
860.08 nbRestartNogoods=91
860.08 => wckTime=823.118 cpuTime=819.28 mem=29M139
1291.47
1291.47 search
1291.47 run=21 nbConstraintChecks=383503161 nbValidityChecks=1454240826 nbPropagations=0 nbRevisions=0
1291.47 nbUselessRevisions=0 nbAssignments=266298 nbFailedAssignments=116246 nbBacktracks=149606 nbVisitedNodes=531613
1291.47 nbRestartNogoods=99
1291.47 => wckTime=1254.509 cpuTime=1250.07 mem=29M139
1918.24
1918.24 search
1918.24 run=22 nbConstraintChecks=571032269 nbValidityChecks=2180776366 nbPropagations=0 nbRevisions=0
1918.24 nbUselessRevisions=0 nbAssignments=399199 nbFailedAssignments=174312 nbBacktracks=224425 nbVisitedNodes=796685
1918.24 nbRestartNogoods=104
1918.24 => wckTime=1881.282 cpuTime=1876.22 mem=29M139
2405.73 v 1 1 1 1 0 1 0 1 1 0 0 0 1 1 0 0 0 1 1 1 1 1 0 1 1 1 1 0 1 1 1 0 1 0 1 1 1 1 0 1
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node7/watcher-278264-1169284606 -o ROOT/results/node7/solver-278264-1169284606 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278264-1169284606/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: 0.93 1.22 1.60 6/85 22399
/proc/meminfo: memFree=1334304/2055920 swapFree=4192812/4192956
[pid=22398] ppid=22394 vsize=1784 CPUtime=0
/proc/22398/stat : 22398 (java) R 22394 22398 22257 0 -1 0 194 0 0 0 0 0 0 0 18 0 1 0 276856078 1826816 160 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/22398/statm: 446 160 125 14 0 91 0
[startup+0.103636 s]
/proc/loadavg: 0.93 1.22 1.60 6/85 22399
/proc/meminfo: memFree=1334304/2055920 swapFree=4192812/4192956
[pid=22398] ppid=22394 vsize=907676 CPUtime=0.02
/proc/22398/stat : 22398 (java) R 22394 22398 22257 0 -1 0 2212 0 1 0 2 0 0 0 20 0 4 0 276856078 929460224 1959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153985270 0 4 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/22398/statm: 226919 1961 1115 14 0 214502 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 907676
[startup+0.511673 s]
/proc/loadavg: 0.93 1.22 1.60 6/85 22399
/proc/meminfo: memFree=1334304/2055920 swapFree=4192812/4192956
[pid=22398] ppid=22394 vsize=915332 CPUtime=0.43
/proc/22398/stat : 22398 (java) R 22394 22398 22257 0 -1 0 6145 0 1 0 39 4 0 0 18 0 8 0 276856078 937299968 5884 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073573679 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22398/statm: 228833 5884 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 915332
[startup+1.33276 s]
/proc/loadavg: 1.09 1.25 1.60 3/95 22430
/proc/meminfo: memFree=1309648/2055920 swapFree=4192812/4192956
[pid=22398] ppid=22394 vsize=915444 CPUtime=1.24
/proc/22398/stat : 22398 (java) R 22394 22398 22257 0 -1 0 8471 0 1 0 116 8 0 0 24 0 8 0 276856078 937414656 8209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073817731 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22398/statm: 228861 8209 2474 14 0 215331 0
[pid=22398/tid=22400] ppid=22394 vsize=915444 CPUtime=0.03
/proc/22398/task/22400/stat : 22400 (java) S 22394 22398 22257 0 -1 64 395 0 0 0 3 0 0 0 16 0 8 0 276856088 937414656 8209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22401] ppid=22394 vsize=915444 CPUtime=0
/proc/22398/task/22401/stat : 22401 (java) S 22394 22398 22257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276856089 937414656 8209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22402] ppid=22394 vsize=915444 CPUtime=0
/proc/22398/task/22402/stat : 22402 (java) S 22394 22398 22257 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276856089 937414656 8209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22403] ppid=22394 vsize=915444 CPUtime=0
/proc/22398/task/22403/stat : 22403 (java) S 22394 22398 22257 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 276856092 937414656 8209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22404] ppid=22394 vsize=915444 CPUtime=0.17
/proc/22398/task/22404/stat : 22404 (java) S 22394 22398 22257 0 -1 64 368 0 0 0 16 1 0 0 15 0 8 0 276856092 937414656 8209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22405] ppid=22394 vsize=915448 CPUtime=0
/proc/22398/task/22405/stat : 22405 (java) S 22394 22398 22257 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276856092 937418752 8209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22406] ppid=22394 vsize=915444 CPUtime=0
/proc/22398/task/22406/stat : 22406 (java) S 22394 22398 22257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276856092 937414656 8209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 915444
[startup+2.96993 s]
/proc/loadavg: 1.09 1.25 1.60 3/95 22430
/proc/meminfo: memFree=1309584/2055920 swapFree=4192812/4192956
[pid=22398] ppid=22394 vsize=915444 CPUtime=2.88
/proc/22398/stat : 22398 (java) R 22394 22398 22257 0 -1 0 8478 0 1 0 270 18 0 0 25 0 8 0 276856078 937414656 8215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073470035 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22398/statm: 228861 8215 2476 14 0 215331 0
[pid=22398/tid=22400] ppid=22394 vsize=915444 CPUtime=0.03
/proc/22398/task/22400/stat : 22400 (java) S 22394 22398 22257 0 -1 64 395 0 0 0 3 0 0 0 16 0 8 0 276856088 937414656 8215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22401] ppid=22394 vsize=915444 CPUtime=0
/proc/22398/task/22401/stat : 22401 (java) S 22394 22398 22257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276856089 937414656 8215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22402] ppid=22394 vsize=915448 CPUtime=0
/proc/22398/task/22402/stat : 22402 (java) S 22394 22398 22257 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276856089 937418752 8215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22403] ppid=22394 vsize=915444 CPUtime=0
/proc/22398/task/22403/stat : 22403 (java) S 22394 22398 22257 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 276856092 937414656 8215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22404] ppid=22394 vsize=915444 CPUtime=0.18
/proc/22398/task/22404/stat : 22404 (java) S 22394 22398 22257 0 -1 64 374 0 0 0 17 1 0 0 15 0 8 0 276856092 937414656 8215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22405] ppid=22394 vsize=915444 CPUtime=0
/proc/22398/task/22405/stat : 22405 (java) S 22394 22398 22257 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276856092 937414656 8215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22406] ppid=22394 vsize=915444 CPUtime=0
/proc/22398/task/22406/stat : 22406 (java) S 22394 22398 22257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276856092 937414656 8215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 915444
[startup+6.17827 s]
/proc/loadavg: 1.09 1.25 1.60 3/95 22430
/proc/meminfo: memFree=1309584/2055920 swapFree=4192812/4192956
[pid=22398] ppid=22394 vsize=915444 CPUtime=6.07
/proc/22398/stat : 22398 (java) R 22394 22398 22257 0 -1 0 8478 0 1 0 572 35 0 0 25 0 8 0 276856078 937414656 8215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22398/statm: 228861 8215 2476 14 0 215331 0
[pid=22398/tid=22400] ppid=22394 vsize=915444 CPUtime=0.03
/proc/22398/task/22400/stat : 22400 (java) S 22394 22398 22257 0 -1 64 395 0 0 0 3 0 0 0 16 0 8 0 276856088 937414656 8215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22401] ppid=22394 vsize=915444 CPUtime=0
/proc/22398/task/22401/stat : 22401 (java) S 22394 22398 22257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276856089 937414656 8215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22402] ppid=22394 vsize=915444 CPUtime=0
/proc/22398/task/22402/stat : 22402 (java) S 22394 22398 22257 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276856089 937414656 8215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22403] ppid=22394 vsize=915444 CPUtime=0
/proc/22398/task/22403/stat : 22403 (java) S 22394 22398 22257 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 276856092 937414656 8215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22404] ppid=22394 vsize=915444 CPUtime=0.18
/proc/22398/task/22404/stat : 22404 (java) S 22394 22398 22257 0 -1 64 374 0 0 0 17 1 0 0 15 0 8 0 276856092 937414656 8215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22405] ppid=22394 vsize=915444 CPUtime=0
/proc/22398/task/22405/stat : 22405 (java) S 22394 22398 22257 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276856092 937414656 8215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22406] ppid=22394 vsize=915444 CPUtime=0
/proc/22398/task/22406/stat : 22406 (java) S 22394 22398 22257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276856092 937414656 8215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.07
Current children cumulated vsize (KiB) 915444
[startup+12.646 s]
/proc/loadavg: 1.23 1.27 1.61 3/95 22430
/proc/meminfo: memFree=1309584/2055920 swapFree=4192812/4192956
[pid=22398] ppid=22394 vsize=915444 CPUtime=12.49
/proc/22398/stat : 22398 (java) R 22394 22398 22257 0 -1 0 8482 0 1 0 1177 72 0 0 25 0 8 0 276856078 937414656 8219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073817552 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22398/statm: 228861 8219 2476 14 0 215331 0
[pid=22398/tid=22400] ppid=22394 vsize=915444 CPUtime=0.03
/proc/22398/task/22400/stat : 22400 (java) S 22394 22398 22257 0 -1 64 395 0 0 0 3 0 0 0 16 0 8 0 276856088 937414656 8219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22401] ppid=22394 vsize=915444 CPUtime=0
/proc/22398/task/22401/stat : 22401 (java) S 22394 22398 22257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276856089 937414656 8219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22402] ppid=22394 vsize=915444 CPUtime=0
/proc/22398/task/22402/stat : 22402 (java) S 22394 22398 22257 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276856089 937414656 8219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22403] ppid=22394 vsize=915444 CPUtime=0
/proc/22398/task/22403/stat : 22403 (java) S 22394 22398 22257 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 276856092 937414656 8219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22404] ppid=22394 vsize=915444 CPUtime=0.18
/proc/22398/task/22404/stat : 22404 (java) S 22394 22398 22257 0 -1 64 377 0 0 0 17 1 0 0 17 0 8 0 276856092 937414656 8219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22405] ppid=22394 vsize=915444 CPUtime=0
/proc/22398/task/22405/stat : 22405 (java) S 22394 22398 22257 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276856092 937414656 8219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22406] ppid=22394 vsize=915444 CPUtime=0
/proc/22398/task/22406/stat : 22406 (java) S 22394 22398 22257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276856092 937414656 8219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 915444
[startup+25.5053 s]
/proc/loadavg: 1.35 1.30 1.61 3/95 22430
/proc/meminfo: memFree=1309648/2055920 swapFree=4192812/4192956
[pid=22398] ppid=22394 vsize=915444 CPUtime=25.3
/proc/22398/stat : 22398 (java) R 22394 22398 22257 0 -1 0 8482 0 1 0 2387 143 0 0 25 0 8 0 276856078 937414656 8219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22398/statm: 228861 8219 2476 14 0 215331 0
[pid=22398/tid=22400] ppid=22394 vsize=915444 CPUtime=0.03
/proc/22398/task/22400/stat : 22400 (java) S 22394 22398 22257 0 -1 64 395 0 0 0 3 0 0 0 16 0 8 0 276856088 937414656 8219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22401] ppid=22394 vsize=915444 CPUtime=0
/proc/22398/task/22401/stat : 22401 (java) S 22394 22398 22257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276856089 937414656 8219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22402] ppid=22394 vsize=915444 CPUtime=0
/proc/22398/task/22402/stat : 22402 (java) S 22394 22398 22257 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276856089 937414656 8219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22403] ppid=22394 vsize=915444 CPUtime=0
/proc/22398/task/22403/stat : 22403 (java) S 22394 22398 22257 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 276856092 937414656 8219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22404] ppid=22394 vsize=915444 CPUtime=0.18
/proc/22398/task/22404/stat : 22404 (java) S 22394 22398 22257 0 -1 64 377 0 0 0 17 1 0 0 17 0 8 0 276856092 937414656 8219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22405] ppid=22394 vsize=915444 CPUtime=0
/proc/22398/task/22405/stat : 22405 (java) S 22394 22398 22257 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276856092 937414656 8219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22406] ppid=22394 vsize=915444 CPUtime=0
/proc/22398/task/22406/stat : 22406 (java) S 22394 22398 22257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276856092 937414656 8219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 915444
[startup+51.126 s]
/proc/loadavg: 1.67 1.38 1.63 3/94 22431
/proc/meminfo: memFree=1294104/2055920 swapFree=4192812/4192956
[pid=22398] ppid=22394 vsize=915444 CPUtime=50.81
/proc/22398/stat : 22398 (java) R 22394 22398 22257 0 -1 0 12182 0 1 0 4870 211 0 0 25 0 8 0 276856078 937414656 11912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073912970 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22398/statm: 228861 11912 2530 14 0 215331 0
[pid=22398/tid=22400] ppid=22394 vsize=915444 CPUtime=0.03
/proc/22398/task/22400/stat : 22400 (java) S 22394 22398 22257 0 -1 64 396 0 0 0 3 0 0 0 16 0 8 0 276856088 937414656 11912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22401] ppid=22394 vsize=915444 CPUtime=0
/proc/22398/task/22401/stat : 22401 (java) S 22394 22398 22257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276856089 937414656 11912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22402] ppid=22394 vsize=915444 CPUtime=0
/proc/22398/task/22402/stat : 22402 (java) S 22394 22398 22257 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276856089 937414656 11912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22403] ppid=22394 vsize=915444 CPUtime=0
/proc/22398/task/22403/stat : 22403 (java) S 22394 22398 22257 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 276856092 937414656 11912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22404] ppid=22394 vsize=915444 CPUtime=0.31
/proc/22398/task/22404/stat : 22404 (java) S 22394 22398 22257 0 -1 64 442 0 0 0 29 2 0 0 16 0 8 0 276856092 937414656 11912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22405] ppid=22394 vsize=915444 CPUtime=0
/proc/22398/task/22405/stat : 22405 (java) S 22394 22398 22257 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276856092 937414656 11912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22406] ppid=22394 vsize=915444 CPUtime=0
/proc/22398/task/22406/stat : 22406 (java) S 22394 22398 22257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276856092 937414656 11912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.81
Current children cumulated vsize (KiB) 915444
[startup+102.369 s]
/proc/loadavg: 1.86 1.47 1.65 3/94 22431
/proc/meminfo: memFree=1294040/2055920 swapFree=4192812/4192956
[pid=22398] ppid=22394 vsize=915444 CPUtime=101.8
/proc/22398/stat : 22398 (java) R 22394 22398 22257 0 -1 0 12191 0 1 0 9969 211 0 0 25 0 8 0 276856078 937414656 11921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073978829 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22398/statm: 228861 11921 2530 14 0 215331 0
[pid=22398/tid=22400] ppid=22394 vsize=915444 CPUtime=0.03
/proc/22398/task/22400/stat : 22400 (java) S 22394 22398 22257 0 -1 64 396 0 0 0 3 0 0 0 16 0 8 0 276856088 937414656 11921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22401] ppid=22394 vsize=915444 CPUtime=0
/proc/22398/task/22401/stat : 22401 (java) S 22394 22398 22257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276856089 937414656 11921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22402] ppid=22394 vsize=915444 CPUtime=0
/proc/22398/task/22402/stat : 22402 (java) S 22394 22398 22257 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276856089 937414656 11921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22403] ppid=22394 vsize=915444 CPUtime=0
/proc/22398/task/22403/stat : 22403 (java) S 22394 22398 22257 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 276856092 937414656 11921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22404] ppid=22394 vsize=915444 CPUtime=0.31
/proc/22398/task/22404/stat : 22404 (java) S 22394 22398 22257 0 -1 64 443 0 0 0 29 2 0 0 16 0 8 0 276856092 937414656 11921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22405] ppid=22394 vsize=915444 CPUtime=0
/proc/22398/task/22405/stat : 22405 (java) S 22394 22398 22257 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276856092 937414656 11921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22406] ppid=22394 vsize=915444 CPUtime=0
/proc/22398/task/22406/stat : 22406 (java) S 22394 22398 22257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276856092 937414656 11921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.8
Current children cumulated vsize (KiB) 915444
[startup+162.46 s]
/proc/loadavg: 1.94 1.56 1.66 3/94 22431
/proc/meminfo: memFree=1294040/2055920 swapFree=4192812/4192956
[pid=22398] ppid=22394 vsize=915444 CPUtime=161.63
/proc/22398/stat : 22398 (java) R 22394 22398 22257 0 -1 0 12196 0 1 0 15952 211 0 0 25 0 8 0 276856078 937414656 11926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074014548 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2018.52
Current children cumulated vsize (KiB) 915444
[startup+2083.86 s]
/proc/loadavg: 2.02 2.01 1.92 3/101 22519
/proc/meminfo: memFree=1287328/2055920 swapFree=4192812/4192956
[pid=22398] ppid=22394 vsize=915444 CPUtime=2078.46
/proc/22398/stat : 22398 (java) R 22394 22398 22257 0 -1 0 12216 0 1 0 207626 220 0 0 25 0 8 0 276856078 937414656 11946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074014351 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22398/statm: 228861 11946 2530 14 0 215331 0
[pid=22398/tid=22400] ppid=22394 vsize=915444 CPUtime=0.03
/proc/22398/task/22400/stat : 22400 (java) S 22394 22398 22257 0 -1 64 396 0 0 0 3 0 0 0 16 0 8 0 276856088 937414656 11946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22401] ppid=22394 vsize=915444 CPUtime=0
/proc/22398/task/22401/stat : 22401 (java) S 22394 22398 22257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276856089 937414656 11946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22402] ppid=22394 vsize=915444 CPUtime=0
/proc/22398/task/22402/stat : 22402 (java) S 22394 22398 22257 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276856089 937414656 11946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22403] ppid=22394 vsize=915444 CPUtime=0
/proc/22398/task/22403/stat : 22403 (java) S 22394 22398 22257 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 276856092 937414656 11946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22404] ppid=22394 vsize=915444 CPUtime=0.31
/proc/22398/task/22404/stat : 22404 (java) S 22394 22398 22257 0 -1 64 445 0 0 0 29 2 0 0 16 0 8 0 276856092 937414656 11946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22405] ppid=22394 vsize=915444 CPUtime=0
/proc/22398/task/22405/stat : 22405 (java) S 22394 22398 22257 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276856092 937414656 11946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22406] ppid=22394 vsize=915444 CPUtime=0
/proc/22398/task/22406/stat : 22406 (java) S 22394 22398 22257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276856092 937414656 11946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2078.46
Current children cumulated vsize (KiB) 915444
[startup+2143.86 s]
/proc/loadavg: 2.00 2.00 1.92 3/101 22519
/proc/meminfo: memFree=1287328/2055920 swapFree=4192812/4192956
[pid=22398] ppid=22394 vsize=915444 CPUtime=2138.41
/proc/22398/stat : 22398 (java) R 22394 22398 22257 0 -1 0 12216 0 1 0 213621 220 0 0 25 0 8 0 276856078 937414656 11946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073835569 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22398/statm: 228861 11946 2530 14 0 215331 0
[pid=22398/tid=22400] ppid=22394 vsize=915444 CPUtime=0.03
/proc/22398/task/22400/stat : 22400 (java) S 22394 22398 22257 0 -1 64 396 0 0 0 3 0 0 0 16 0 8 0 276856088 937414656 11946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22401] ppid=22394 vsize=915444 CPUtime=0
/proc/22398/task/22401/stat : 22401 (java) S 22394 22398 22257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276856089 937414656 11946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22402] ppid=22394 vsize=915444 CPUtime=0
/proc/22398/task/22402/stat : 22402 (java) S 22394 22398 22257 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276856089 937414656 11946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22403] ppid=22394 vsize=915444 CPUtime=0
/proc/22398/task/22403/stat : 22403 (java) S 22394 22398 22257 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 276856092 937414656 11946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22404] ppid=22394 vsize=915444 CPUtime=0.31
/proc/22398/task/22404/stat : 22404 (java) S 22394 22398 22257 0 -1 64 445 0 0 0 29 2 0 0 16 0 8 0 276856092 937414656 11946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22405] ppid=22394 vsize=915444 CPUtime=0
/proc/22398/task/22405/stat : 22405 (java) S 22394 22398 22257 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276856092 937414656 11946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22406] ppid=22394 vsize=915444 CPUtime=0
/proc/22398/task/22406/stat : 22406 (java) S 22394 22398 22257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276856092 937414656 11946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2138.41
Current children cumulated vsize (KiB) 915444
[startup+2203.89 s]
/proc/loadavg: 2.00 2.00 1.92 3/101 22519
/proc/meminfo: memFree=1287328/2055920 swapFree=4192812/4192956
[pid=22398] ppid=22394 vsize=915444 CPUtime=2198.38
/proc/22398/stat : 22398 (java) R 22394 22398 22257 0 -1 0 12216 0 1 0 219618 220 0 0 25 0 8 0 276856078 937414656 11946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073952559 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22398/statm: 228861 11946 2530 14 0 215331 0
[pid=22398/tid=22400] ppid=22394 vsize=915444 CPUtime=0.03
/proc/22398/task/22400/stat : 22400 (java) S 22394 22398 22257 0 -1 64 396 0 0 0 3 0 0 0 16 0 8 0 276856088 937414656 11946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22401] ppid=22394 vsize=915444 CPUtime=0
/proc/22398/task/22401/stat : 22401 (java) S 22394 22398 22257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276856089 937414656 11946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22402] ppid=22394 vsize=915444 CPUtime=0
/proc/22398/task/22402/stat : 22402 (java) S 22394 22398 22257 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276856089 937414656 11946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22403] ppid=22394 vsize=915444 CPUtime=0
/proc/22398/task/22403/stat : 22403 (java) S 22394 22398 22257 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 276856092 937414656 11946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22404] ppid=22394 vsize=915444 CPUtime=0.31
/proc/22398/task/22404/stat : 22404 (java) S 22394 22398 22257 0 -1 64 445 0 0 0 29 2 0 0 16 0 8 0 276856092 937414656 11946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22405] ppid=22394 vsize=915444 CPUtime=0
/proc/22398/task/22405/stat : 22405 (java) S 22394 22398 22257 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276856092 937414656 11946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22406] ppid=22394 vsize=915444 CPUtime=0
/proc/22398/task/22406/stat : 22406 (java) S 22394 22398 22257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276856092 937414656 11946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2198.38
Current children cumulated vsize (KiB) 915444
[startup+2263.9 s]
/proc/loadavg: 2.13 2.04 1.94 3/101 22519
/proc/meminfo: memFree=1287328/2055920 swapFree=4192812/4192956
[pid=22398] ppid=22394 vsize=915444 CPUtime=2258.32
/proc/22398/stat : 22398 (java) R 22394 22398 22257 0 -1 0 12216 0 1 0 225612 220 0 0 25 0 8 0 276856078 937414656 11946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073981042 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22398/statm: 228861 11946 2530 14 0 215331 0
[pid=22398/tid=22400] ppid=22394 vsize=915444 CPUtime=0.03
/proc/22398/task/22400/stat : 22400 (java) S 22394 22398 22257 0 -1 64 396 0 0 0 3 0 0 0 16 0 8 0 276856088 937414656 11946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22401] ppid=22394 vsize=915444 CPUtime=0
/proc/22398/task/22401/stat : 22401 (java) S 22394 22398 22257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276856089 937414656 11946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22402] ppid=22394 vsize=915444 CPUtime=0
/proc/22398/task/22402/stat : 22402 (java) S 22394 22398 22257 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276856089 937414656 11946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22403] ppid=22394 vsize=915444 CPUtime=0
/proc/22398/task/22403/stat : 22403 (java) S 22394 22398 22257 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 276856092 937414656 11946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22404] ppid=22394 vsize=915444 CPUtime=0.31
/proc/22398/task/22404/stat : 22404 (java) S 22394 22398 22257 0 -1 64 445 0 0 0 29 2 0 0 16 0 8 0 276856092 937414656 11946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22405] ppid=22394 vsize=915444 CPUtime=0
/proc/22398/task/22405/stat : 22405 (java) S 22394 22398 22257 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276856092 937414656 11946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22406] ppid=22394 vsize=915444 CPUtime=0
/proc/22398/task/22406/stat : 22406 (java) S 22394 22398 22257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276856092 937414656 11946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2258.32
Current children cumulated vsize (KiB) 915444
[startup+2323.9 s]
/proc/loadavg: 2.13 2.06 1.95 3/101 22519
/proc/meminfo: memFree=1287328/2055920 swapFree=4192812/4192956
[pid=22398] ppid=22394 vsize=915444 CPUtime=2318.27
/proc/22398/stat : 22398 (java) R 22394 22398 22257 0 -1 0 12216 0 1 0 231606 221 0 0 25 0 8 0 276856078 937414656 11946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073954777 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22398/statm: 228861 11946 2530 14 0 215331 0
[pid=22398/tid=22400] ppid=22394 vsize=915444 CPUtime=0.03
/proc/22398/task/22400/stat : 22400 (java) S 22394 22398 22257 0 -1 64 396 0 0 0 3 0 0 0 16 0 8 0 276856088 937414656 11946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22401] ppid=22394 vsize=915444 CPUtime=0
/proc/22398/task/22401/stat : 22401 (java) S 22394 22398 22257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276856089 937414656 11946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22402] ppid=22394 vsize=915444 CPUtime=0
/proc/22398/task/22402/stat : 22402 (java) S 22394 22398 22257 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276856089 937414656 11946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22403] ppid=22394 vsize=915444 CPUtime=0
/proc/22398/task/22403/stat : 22403 (java) S 22394 22398 22257 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 276856092 937414656 11946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22404] ppid=22394 vsize=915444 CPUtime=0.31
/proc/22398/task/22404/stat : 22404 (java) S 22394 22398 22257 0 -1 64 445 0 0 0 29 2 0 0 16 0 8 0 276856092 937414656 11946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22405] ppid=22394 vsize=915444 CPUtime=0
/proc/22398/task/22405/stat : 22405 (java) S 22394 22398 22257 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276856092 937414656 11946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22406] ppid=22394 vsize=915444 CPUtime=0
/proc/22398/task/22406/stat : 22406 (java) S 22394 22398 22257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276856092 937414656 11946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2318.27
Current children cumulated vsize (KiB) 915444
[startup+2383.91 s]
/proc/loadavg: 2.09 2.06 1.95 3/101 22519
/proc/meminfo: memFree=1287328/2055920 swapFree=4192812/4192956
[pid=22398] ppid=22394 vsize=915444 CPUtime=2378.22
/proc/22398/stat : 22398 (java) R 22394 22398 22257 0 -1 0 12216 0 1 0 237601 221 0 0 25 0 8 0 276856078 937414656 11946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073986947 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22398/statm: 228861 11946 2530 14 0 215331 0
[pid=22398/tid=22400] ppid=22394 vsize=915444 CPUtime=0.03
/proc/22398/task/22400/stat : 22400 (java) S 22394 22398 22257 0 -1 64 396 0 0 0 3 0 0 0 16 0 8 0 276856088 937414656 11946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22401] ppid=22394 vsize=915444 CPUtime=0
/proc/22398/task/22401/stat : 22401 (java) S 22394 22398 22257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276856089 937414656 11946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22402] ppid=22394 vsize=915444 CPUtime=0
/proc/22398/task/22402/stat : 22402 (java) S 22394 22398 22257 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276856089 937414656 11946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22403] ppid=22394 vsize=915444 CPUtime=0
/proc/22398/task/22403/stat : 22403 (java) S 22394 22398 22257 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 276856092 937414656 11946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22404] ppid=22394 vsize=915444 CPUtime=0.31
/proc/22398/task/22404/stat : 22404 (java) S 22394 22398 22257 0 -1 64 445 0 0 0 29 2 0 0 16 0 8 0 276856092 937414656 11946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22405] ppid=22394 vsize=915444 CPUtime=0
/proc/22398/task/22405/stat : 22405 (java) S 22394 22398 22257 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276856092 937414656 11946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22406] ppid=22394 vsize=915444 CPUtime=0
/proc/22398/task/22406/stat : 22406 (java) S 22394 22398 22257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276856092 937414656 11946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2378.22
Current children cumulated vsize (KiB) 915444
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2405.72 s]
/proc/loadavg: 2.06 2.06 1.95 3/101 22519
/proc/meminfo: memFree=1287264/2055920 swapFree=4192812/4192956
[pid=22398] ppid=22394 vsize=915444 CPUtime=2400.01
/proc/22398/stat : 22398 (java) R 22394 22398 22257 0 -1 0 12216 0 1 0 239780 221 0 0 25 0 8 0 276856078 937414656 11946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074014364 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22398/statm: 228861 11946 2530 14 0 215331 0
[pid=22398/tid=22400] ppid=22394 vsize=915444 CPUtime=0.03
/proc/22398/task/22400/stat : 22400 (java) S 22394 22398 22257 0 -1 64 396 0 0 0 3 0 0 0 16 0 8 0 276856088 937414656 11946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22401] ppid=22394 vsize=915444 CPUtime=0
/proc/22398/task/22401/stat : 22401 (java) S 22394 22398 22257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276856089 937414656 11946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22402] ppid=22394 vsize=915444 CPUtime=0
/proc/22398/task/22402/stat : 22402 (java) S 22394 22398 22257 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276856089 937414656 11946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22403] ppid=22394 vsize=915444 CPUtime=0
/proc/22398/task/22403/stat : 22403 (java) S 22394 22398 22257 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 276856092 937414656 11946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22404] ppid=22394 vsize=915444 CPUtime=0.31
/proc/22398/task/22404/stat : 22404 (java) S 22394 22398 22257 0 -1 64 445 0 0 0 29 2 0 0 16 0 8 0 276856092 937414656 11946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22405] ppid=22394 vsize=915444 CPUtime=0
/proc/22398/task/22405/stat : 22405 (java) S 22394 22398 22257 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276856092 937414656 11946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22398/tid=22406] ppid=22394 vsize=915444 CPUtime=0
/proc/22398/task/22406/stat : 22406 (java) S 22394 22398 22257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276856092 937414656 11946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 915444
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2405.8
CPU time (s): 2400.09
CPU user time (s): 2397.86
CPU system time (s): 2.22366
CPU usage (%): 99.7627
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.86
system time used= 2.22366
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12237
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= 50065
involuntary context switches= 75091
runsolver used 2.40063 s user time and 8.35673 s system time
The end
Begin job on node7 on Sat Jan 20 09:16:46 UTC 2007
IDJOB= 278264
IDBENCH= 8185
IDSOLVER= 69
FILE ID= node7/278264-1169284606
PBS_JOBID= 3609501
Free space on /tmp= 66560 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/3-40-2100-3000/cnf-3-40-2400-421721_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278264-1169284606/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-278264-1169284606 -o ROOT/results/node7/solver-278264-1169284606 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278264-1169284606/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 2ca86061780cf99023cba95368888b8c
RANDOM SEED= 881116468
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.220
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.220
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: 1335136 kB
Buffers: 54488 kB
Cached: 524260 kB
SwapCached: 0 kB
Active: 213608 kB
Inactive: 425376 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1335136 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4568 kB
Writeback: 0 kB
Mapped: 79220 kB
Slab: 66652 kB
Committed_AS: 8337200 kB
PageTables: 2192 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= 66563 MiB
End job on node7 on Sat Jan 20 09:56:52 UTC 2007