0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=epfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/278326-1169287185/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.39 nbVariables=40 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.39 => wckTime=0.086 cpuTime=0.08 mem=6M887
0.39
0.39 relations being loaded...
0.41
0.41 constraints being loaded...
0.65 nbConstraints=2239 nbRelationTypes=44 nbExtensionStructures=44 nbSharedExtensionStructures=2195
0.65 nbConflictsStructures=44 nbSharedConflictsStructures=2195 nbSharedBinaryRepresentations=0 maxDegree=185
0.65 maxArity=3
0.65 => wckTime=0.339 cpuTime=0.21 mem=13M713
0.70
0.70 solver LocalSearchSolver being built...
0.74 => wckTime=0.43 cpuTime=0.26 mem=6M546
0.75
0.75 s SATISFIABLE
0.75 o 1945
0.75 c 294
0.75 o 1953
0.75 c 286
0.75 o 1961
0.75 c 278
0.75 o 1963
0.75 c 276
0.75 o 1972
0.75 c 267
0.75 o 1978
0.75 c 261
0.75 o 1981
0.75 c 258
0.75 o 1982
0.75 c 257
0.75 o 1989
0.75 c 250
0.76 o 1992
0.76 c 247
0.76 o 1993
0.76 c 246
0.76 o 1997
0.76 c 242
0.76 o 2001
0.76 c 238
0.76 o 2002
0.76 c 237
0.84 o 2003
0.84 c 236
0.84 o 2010
0.84 c 229
0.84 o 2011
0.84 c 228
1.84 o 2012
1.84 c 227
2.10 o 2013
2.10 c 226
2.10 o 2018
2.10 c 221
8.74
8.74 search
8.74 run=0 nbConstraintChecks=51808881 nbAssignments=10000
8.74 => wckTime=8.006 cpuTime=7.94 mem=6M546
16.68
16.68 search
16.68 run=1 nbConstraintChecks=105015461 nbAssignments=20000
16.68 => wckTime=15.947 cpuTime=15.85 mem=6M546
24.49
24.49 search
24.49 run=2 nbConstraintChecks=156881978 nbAssignments=30000
24.49 => wckTime=23.755 cpuTime=23.61 mem=6M546
32.29
32.29 search
32.29 run=3 nbConstraintChecks=208801438 nbAssignments=39768
32.29 => wckTime=31.554 cpuTime=31.35 mem=6M546
32.29
32.29 global
32.29 nbConstraintChecks=208801438 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.29 solvingWckTime=31.553 solvingCpuTime=31.35 expiredTime=no totalExploration=no nbFoundSolutions=0
32.29 globalCpuTime=31.66
32.29 => wckTime=31.985 cpuTime=31.61 mem=6M546
32.29
32.29 solver IterativeSystematicSolver being built...
32.48 => wckTime=32.175 cpuTime=31.75 mem=29M397
32.64
32.64 preprocessing
32.64 nbConstraintChecks=23439 nbValidityChecks=56243 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.64 nbRemovedValues=0 detectedInconsistency=no
32.64 => wckTime=0.157 cpuTime=0.14 mem=29M397
32.76
32.76 search
32.76 run=0 nbConstraintChecks=37230 nbValidityChecks=95842 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.76 nbAssignments=38 nbFailedAssignments=5 nbBacktracks=10 nbVisitedNodes=54 nbRestartNogoods=0
32.76 => wckTime=0.274 cpuTime=0.25 mem=29M397
32.94
32.94 search
32.94 run=1 nbConstraintChecks=101766 nbValidityChecks=257302 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.94 nbAssignments=89 nbFailedAssignments=17 nbBacktracks=25 nbVisitedNodes=131 nbRestartNogoods=1
32.94 => wckTime=0.456 cpuTime=0.43 mem=29M397
33.14
33.14 search
33.14 run=2 nbConstraintChecks=181410 nbValidityChecks=472912 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.14 nbAssignments=149 nbFailedAssignments=33 nbBacktracks=47 nbVisitedNodes=229 nbRestartNogoods=3
33.14 => wckTime=0.662 cpuTime=0.63 mem=29M397
33.44
33.44 search
33.44 run=3 nbConstraintChecks=304248 nbValidityChecks=807219 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.44 nbAssignments=233 nbFailedAssignments=62 nbBacktracks=80 nbVisitedNodes=373 nbRestartNogoods=4
33.44 => wckTime=0.961 cpuTime=0.93 mem=29M397
33.91
33.91 search
33.91 run=4 nbConstraintChecks=493977 nbValidityChecks=1341503 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.91 nbAssignments=353 nbFailedAssignments=108 nbBacktracks=130 nbVisitedNodes=588 nbRestartNogoods=7
33.91 => wckTime=1.423 cpuTime=1.39 mem=29M397
34.52
34.53 search
34.53 run=5 nbConstraintChecks=764332 nbValidityChecks=2064474 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
34.53 nbAssignments=512 nbFailedAssignments=169 nbBacktracks=205 nbVisitedNodes=880 nbRestartNogoods=9
34.53 => wckTime=2.042 cpuTime=2.0 mem=29M397
35.41
35.41 search
35.41 run=6 nbConstraintChecks=1160310 nbValidityChecks=3140447 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
35.41 nbAssignments=741 nbFailedAssignments=260 nbBacktracks=318 nbVisitedNodes=1309 nbRestartNogoods=13
35.41 => wckTime=2.929 cpuTime=2.88 mem=29M397
36.84
36.84 search
36.84 run=7 nbConstraintChecks=1726382 nbValidityChecks=4821315 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
36.84 nbAssignments=1069 nbFailedAssignments=396 nbBacktracks=488 nbVisitedNodes=1939 nbRestartNogoods=16
36.84 => wckTime=4.355 cpuTime=4.3 mem=29M397
38.95
38.95 search
38.95 run=8 nbConstraintChecks=2604353 nbValidityChecks=7349907 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
38.95 nbAssignments=1567 nbFailedAssignments=614 nbBacktracks=744 nbVisitedNodes=2897 nbRestartNogoods=21
38.95 => wckTime=6.466 cpuTime=6.37 mem=29M397
42.00
42.00 search
42.00 run=9 nbConstraintChecks=3815792 nbValidityChecks=11041502 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
42.00 nbAssignments=2276 nbFailedAssignments=915 nbBacktracks=1128 nbVisitedNodes=4278 nbRestartNogoods=23
42.00 => wckTime=9.515 cpuTime=9.4 mem=29M397
46.50
46.50 search
46.50 run=10 nbConstraintChecks=5635883 nbValidityChecks=16565597 nbPropagations=0 nbRevisions=0
46.50 nbUselessRevisions=0 nbAssignments=3333 nbFailedAssignments=1373 nbBacktracks=1704 nbVisitedNodes=6346
46.50 nbRestartNogoods=26
46.50 => wckTime=14.016 cpuTime=13.88 mem=29M397
52.94
52.94 search
52.94 run=11 nbConstraintChecks=8484105 nbValidityChecks=24678764 nbPropagations=0 nbRevisions=0
52.94 nbUselessRevisions=0 nbAssignments=4888 nbFailedAssignments=2044 nbBacktracks=2568 nbVisitedNodes=9407
52.94 nbRestartNogoods=28
52.94 => wckTime=20.46 cpuTime=20.29 mem=29M397
62.95
62.95 search
62.95 run=12 nbConstraintChecks=12468405 nbValidityChecks=37190283 nbPropagations=0 nbRevisions=0
62.95 nbUselessRevisions=0 nbAssignments=7216 nbFailedAssignments=3053 nbBacktracks=3865 nbVisitedNodes=13998
62.95 nbRestartNogoods=31
62.95 => wckTime=30.465 cpuTime=30.24 mem=29M397
78.18
78.18 search
78.18 run=13 nbConstraintChecks=18152205 nbValidityChecks=55823341 nbPropagations=0 nbRevisions=0
78.18 nbUselessRevisions=0 nbAssignments=10596 nbFailedAssignments=4466 nbBacktracks=5811 nbVisitedNodes=20669
78.18 nbRestartNogoods=37
78.18 => wckTime=45.694 cpuTime=45.36 mem=29M397
101.42
101.42 search
101.42 run=14 nbConstraintChecks=26880021 nbValidityChecks=84143487 nbPropagations=0 nbRevisions=0
101.42 nbUselessRevisions=0 nbAssignments=15772 nbFailedAssignments=6707 nbBacktracks=8730 nbVisitedNodes=30909
101.42 nbRestartNogoods=42
101.42 => wckTime=68.941 cpuTime=68.46 mem=29M397
137.56
137.56 search
137.56 run=15 nbConstraintChecks=39935907 nbValidityChecks=128129315 nbPropagations=0 nbRevisions=0
137.56 nbUselessRevisions=0 nbAssignments=23711 nbFailedAssignments=10248 nbBacktracks=13108 nbVisitedNodes=46609
137.56 nbRestartNogoods=51
137.56 => wckTime=105.074 cpuTime=104.36 mem=29M397
191.94
191.94 search
191.94 run=16 nbConstraintChecks=58932869 nbValidityChecks=194253337 nbPropagations=0 nbRevisions=0
191.94 nbUselessRevisions=0 nbAssignments=35547 nbFailedAssignments=15497 nbBacktracks=19677 nbVisitedNodes=69957
191.94 nbRestartNogoods=57
191.94 => wckTime=159.453 cpuTime=158.44 mem=30M372
273.23
273.23 search
273.23 run=17 nbConstraintChecks=87585558 nbValidityChecks=293083951 nbPropagations=0 nbRevisions=0
273.23 nbUselessRevisions=0 nbAssignments=53118 nbFailedAssignments=23194 nbBacktracks=29529 nbVisitedNodes=104743
273.23 nbRestartNogoods=64
273.23 => wckTime=240.745 cpuTime=239.28 mem=30M372
394.21
394.21 search
394.21 run=18 nbConstraintChecks=130387038 nbValidityChecks=440326370 nbPropagations=0 nbRevisions=0
394.21 nbUselessRevisions=0 nbAssignments=78986 nbFailedAssignments=34266 nbBacktracks=44307 nbVisitedNodes=156046
394.21 nbRestartNogoods=71
394.21 => wckTime=361.724 cpuTime=359.59 mem=30M372
576.96
576.96 search
576.96 run=19 nbConstraintChecks=194074618 nbValidityChecks=665658463 nbPropagations=0 nbRevisions=0
576.96 nbUselessRevisions=0 nbAssignments=118331 nbFailedAssignments=51424 nbBacktracks=66475 nbVisitedNodes=233945
576.96 nbRestartNogoods=80
576.96 => wckTime=544.476 cpuTime=541.35 mem=30M372
862.70
862.70 search
862.70 run=20 nbConstraintChecks=287293962 nbValidityChecks=1005567067 nbPropagations=0 nbRevisions=0
862.70 nbUselessRevisions=0 nbAssignments=177416 nbFailedAssignments=77238 nbBacktracks=99727 nbVisitedNodes=350961
862.70 nbRestartNogoods=87
862.70 => wckTime=830.215 cpuTime=825.54 mem=30M372
1288.91
1288.91 search
1288.91 run=21 nbConstraintChecks=427479166 nbValidityChecks=1517324632 nbPropagations=0 nbRevisions=0
1288.91 nbUselessRevisions=0 nbAssignments=265808 nbFailedAssignments=115733 nbBacktracks=149605 nbVisitedNodes=526008
1288.91 nbRestartNogoods=95
1288.91 => wckTime=1256.425 cpuTime=1249.44 mem=30M372
1941.91
1941.91 search
1941.91 run=22 nbConstraintChecks=629689986 nbValidityChecks=2290259309 nbPropagations=0 nbRevisions=0
1941.91 nbUselessRevisions=0 nbAssignments=399397 nbFailedAssignments=174487 nbBacktracks=224423 nbVisitedNodes=790383
1941.91 nbRestartNogoods=102
1941.91 => wckTime=1909.431 cpuTime=1898.86 mem=30M372
2413.32 v 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 1 1 0 1 1 0 0 0 1 0 1 1 1 0 1 1 0 1 0 0 1 0 0
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node4/watcher-278326-1169287185 -o ROOT/results/node4/solver-278326-1169287185 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278326-1169287185/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: 1.08 1.02 1.06 4/83 1799
/proc/meminfo: memFree=1350464/2055920 swapFree=4182144/4192956
[pid=1798] ppid=1792 vsize=1784 CPUtime=0
/proc/1798/stat : 1798 (java) R 1792 1798 1674 0 -1 0 136 0 0 0 0 0 0 0 20 0 1 0 277114095 1826816 108 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 134552944 0 0 4096 0 0 0 0 17 1 0 0
/proc/1798/statm: 446 117 86 14 0 91 0
[startup+0.105423 s]
/proc/loadavg: 1.08 1.02 1.06 4/83 1799
/proc/meminfo: memFree=1350464/2055920 swapFree=4182144/4192956
[pid=1798] ppid=1792 vsize=914988 CPUtime=0.07
/proc/1798/stat : 1798 (java) R 1792 1798 1674 0 -1 0 2965 0 1 0 6 1 0 0 17 0 8 0 277114095 936947712 2711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1798/statm: 228747 2712 1418 14 0 215242 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914988
[startup+0.514458 s]
/proc/loadavg: 1.08 1.02 1.06 4/83 1799
/proc/meminfo: memFree=1350464/2055920 swapFree=4182144/4192956
[pid=1798] ppid=1792 vsize=915332 CPUtime=0.48
/proc/1798/stat : 1798 (java) R 1792 1798 1674 0 -1 0 6492 0 1 0 44 4 0 0 19 0 8 0 277114095 937299968 6231 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1798/statm: 228833 6231 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.34153 s]
/proc/loadavg: 1.08 1.02 1.06 3/101 1822
/proc/meminfo: memFree=1317232/2055920 swapFree=4182144/4192956
[pid=1798] ppid=1792 vsize=915444 CPUtime=1.31
/proc/1798/stat : 1798 (java) R 1792 1798 1674 0 -1 0 8561 0 1 0 122 9 0 0 25 0 8 0 277114095 937414656 8299 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073816556 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1798/statm: 228861 8299 2476 14 0 215331 0
[pid=1798/tid=1806] ppid=1792 vsize=915444 CPUtime=0.03
/proc/1798/task/1806/stat : 1806 (java) S 1792 1798 1674 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 277114100 937414656 8299 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1809] ppid=1792 vsize=915444 CPUtime=0
/proc/1798/task/1809/stat : 1809 (java) S 1792 1798 1674 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277114101 937414656 8299 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1810] ppid=1792 vsize=915444 CPUtime=0
/proc/1798/task/1810/stat : 1810 (java) S 1792 1798 1674 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277114101 937414656 8299 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1811] ppid=1792 vsize=915444 CPUtime=0
/proc/1798/task/1811/stat : 1811 (java) S 1792 1798 1674 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 277114104 937414656 8299 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1813] ppid=1792 vsize=915444 CPUtime=0.18
/proc/1798/task/1813/stat : 1813 (java) S 1792 1798 1674 0 -1 64 367 0 0 0 17 1 0 0 15 0 8 0 277114104 937414656 8299 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1815] ppid=1792 vsize=915444 CPUtime=0
/proc/1798/task/1815/stat : 1815 (java) S 1792 1798 1674 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 277114104 937414656 8299 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1817] ppid=1792 vsize=915444 CPUtime=0
/proc/1798/task/1817/stat : 1817 (java) S 1792 1798 1674 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277114104 937414656 8299 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915444
[startup+2.9877 s]
/proc/loadavg: 1.08 1.02 1.06 3/101 1822
/proc/meminfo: memFree=1316848/2055920 swapFree=4182144/4192956
[pid=1798] ppid=1792 vsize=915444 CPUtime=2.95
/proc/1798/stat : 1798 (java) R 1792 1798 1674 0 -1 0 8568 0 1 0 277 18 0 0 25 0 8 0 277114095 937414656 8305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073817796 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1798/statm: 228861 8305 2478 14 0 215331 0
[pid=1798/tid=1806] ppid=1792 vsize=915444 CPUtime=0.03
/proc/1798/task/1806/stat : 1806 (java) S 1792 1798 1674 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 277114100 937414656 8305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1809] ppid=1792 vsize=915444 CPUtime=0
/proc/1798/task/1809/stat : 1809 (java) S 1792 1798 1674 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277114101 937414656 8305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1810] ppid=1792 vsize=915444 CPUtime=0
/proc/1798/task/1810/stat : 1810 (java) S 1792 1798 1674 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277114101 937414656 8305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1811] ppid=1792 vsize=915448 CPUtime=0
/proc/1798/task/1811/stat : 1811 (java) S 1792 1798 1674 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 277114104 937418752 8305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1813] ppid=1792 vsize=915444 CPUtime=0.18
/proc/1798/task/1813/stat : 1813 (java) S 1792 1798 1674 0 -1 64 373 0 0 0 17 1 0 0 15 0 8 0 277114104 937414656 8305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1815] ppid=1792 vsize=915444 CPUtime=0
/proc/1798/task/1815/stat : 1815 (java) S 1792 1798 1674 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 277114104 937414656 8305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1817] ppid=1792 vsize=915444 CPUtime=0
/proc/1798/task/1817/stat : 1817 (java) S 1792 1798 1674 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277114104 937414656 8305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915444
[startup+6.267 s]
/proc/loadavg: 1.15 1.03 1.07 3/101 1822
/proc/meminfo: memFree=1316784/2055920 swapFree=4182144/4192956
[pid=1798] ppid=1792 vsize=915444 CPUtime=6.21
/proc/1798/stat : 1798 (java) R 1792 1798 1674 0 -1 0 8568 0 1 0 587 34 0 0 25 0 8 0 277114095 937414656 8305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073816550 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1798/statm: 228861 8305 2478 14 0 215331 0
[pid=1798/tid=1806] ppid=1792 vsize=915444 CPUtime=0.03
/proc/1798/task/1806/stat : 1806 (java) S 1792 1798 1674 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 277114100 937414656 8305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1809] ppid=1792 vsize=915444 CPUtime=0
/proc/1798/task/1809/stat : 1809 (java) S 1792 1798 1674 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277114101 937414656 8305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1810] ppid=1792 vsize=915444 CPUtime=0
/proc/1798/task/1810/stat : 1810 (java) S 1792 1798 1674 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277114101 937414656 8305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1811] ppid=1792 vsize=915444 CPUtime=0
/proc/1798/task/1811/stat : 1811 (java) S 1792 1798 1674 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 277114104 937414656 8305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1813] ppid=1792 vsize=915444 CPUtime=0.18
/proc/1798/task/1813/stat : 1813 (java) S 1792 1798 1674 0 -1 64 373 0 0 0 17 1 0 0 15 0 8 0 277114104 937414656 8305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1815] ppid=1792 vsize=915444 CPUtime=0
/proc/1798/task/1815/stat : 1815 (java) S 1792 1798 1674 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 277114104 937414656 8305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1817] ppid=1792 vsize=915448 CPUtime=0
/proc/1798/task/1817/stat : 1817 (java) S 1792 1798 1674 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277114104 937418752 8305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915444
[startup+12.7606 s]
/proc/loadavg: 1.22 1.05 1.07 3/101 1822
/proc/meminfo: memFree=1316464/2055920 swapFree=4182144/4192956
[pid=1798] ppid=1792 vsize=915444 CPUtime=12.67
/proc/1798/stat : 1798 (java) R 1792 1798 1674 0 -1 0 8571 0 1 0 1202 65 0 0 25 0 8 0 277114095 937414656 8308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819702 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1798/statm: 228861 8308 2478 14 0 215331 0
[pid=1798/tid=1806] ppid=1792 vsize=915444 CPUtime=0.03
/proc/1798/task/1806/stat : 1806 (java) S 1792 1798 1674 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 277114100 937414656 8308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1809] ppid=1792 vsize=915444 CPUtime=0
/proc/1798/task/1809/stat : 1809 (java) S 1792 1798 1674 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277114101 937414656 8308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1810] ppid=1792 vsize=915444 CPUtime=0
/proc/1798/task/1810/stat : 1810 (java) S 1792 1798 1674 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277114101 937414656 8308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1811] ppid=1792 vsize=915444 CPUtime=0
/proc/1798/task/1811/stat : 1811 (java) S 1792 1798 1674 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 277114104 937414656 8308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1813] ppid=1792 vsize=915444 CPUtime=0.19
/proc/1798/task/1813/stat : 1813 (java) S 1792 1798 1674 0 -1 64 376 0 0 0 18 1 0 0 17 0 8 0 277114104 937414656 8308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1815] ppid=1792 vsize=915444 CPUtime=0
/proc/1798/task/1815/stat : 1815 (java) S 1792 1798 1674 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 277114104 937414656 8308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1817] ppid=1792 vsize=915444 CPUtime=0
/proc/1798/task/1817/stat : 1817 (java) S 1792 1798 1674 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277114104 937414656 8308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915444
[startup+25.6179 s]
/proc/loadavg: 1.39 1.09 1.09 3/101 1822
/proc/meminfo: memFree=1316528/2055920 swapFree=4182144/4192956
[pid=1798] ppid=1792 vsize=915444 CPUtime=25.46
/proc/1798/stat : 1798 (java) R 1792 1798 1674 0 -1 0 8571 0 1 0 2421 125 0 0 25 0 8 0 277114095 937414656 8308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073818755 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1798/statm: 228861 8308 2478 14 0 215331 0
[pid=1798/tid=1806] ppid=1792 vsize=915444 CPUtime=0.03
/proc/1798/task/1806/stat : 1806 (java) S 1792 1798 1674 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 277114100 937414656 8308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1809] ppid=1792 vsize=915444 CPUtime=0
/proc/1798/task/1809/stat : 1809 (java) S 1792 1798 1674 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277114101 937414656 8308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1810] ppid=1792 vsize=915444 CPUtime=0
/proc/1798/task/1810/stat : 1810 (java) S 1792 1798 1674 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277114101 937414656 8308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1811] ppid=1792 vsize=915444 CPUtime=0
/proc/1798/task/1811/stat : 1811 (java) S 1792 1798 1674 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 277114104 937414656 8308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1813] ppid=1792 vsize=915444 CPUtime=0.19
/proc/1798/task/1813/stat : 1813 (java) S 1792 1798 1674 0 -1 64 376 0 0 0 18 1 0 0 17 0 8 0 277114104 937414656 8308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1815] ppid=1792 vsize=915444 CPUtime=0
/proc/1798/task/1815/stat : 1815 (java) S 1792 1798 1674 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 277114104 937414656 8308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1817] ppid=1792 vsize=915444 CPUtime=0
/proc/1798/task/1817/stat : 1817 (java) S 1792 1798 1674 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277114104 937414656 8308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 915444
[startup+51.2423 s]
/proc/loadavg: 1.60 1.17 1.11 4/101 1822
/proc/meminfo: memFree=1301872/2055920 swapFree=4182144/4192956
[pid=1798] ppid=1792 vsize=915444 CPUtime=50.93
/proc/1798/stat : 1798 (java) R 1792 1798 1674 0 -1 0 12339 0 1 0 4933 160 0 0 25 0 8 0 277114095 937414656 12069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074017540 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1798/statm: 228861 12069 2535 14 0 215331 0
[pid=1798/tid=1806] ppid=1792 vsize=915444 CPUtime=0.03
/proc/1798/task/1806/stat : 1806 (java) S 1792 1798 1674 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 277114100 937414656 12069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1809] ppid=1792 vsize=915444 CPUtime=0
/proc/1798/task/1809/stat : 1809 (java) S 1792 1798 1674 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277114101 937414656 12069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1810] ppid=1792 vsize=915444 CPUtime=0
/proc/1798/task/1810/stat : 1810 (java) S 1792 1798 1674 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277114101 937414656 12069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1811] ppid=1792 vsize=915444 CPUtime=0
/proc/1798/task/1811/stat : 1811 (java) S 1792 1798 1674 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 277114104 937414656 12069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1813] ppid=1792 vsize=915444 CPUtime=0.3
/proc/1798/task/1813/stat : 1813 (java) S 1792 1798 1674 0 -1 64 440 0 0 0 29 1 0 0 15 0 8 0 277114104 937414656 12069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1815] ppid=1792 vsize=915444 CPUtime=0
/proc/1798/task/1815/stat : 1815 (java) S 1792 1798 1674 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 277114104 937414656 12069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1817] ppid=1792 vsize=915444 CPUtime=0
/proc/1798/task/1817/stat : 1817 (java) S 1792 1798 1674 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277114104 937414656 12069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.93
Current children cumulated vsize (KiB) 915444
[startup+102.498 s]
/proc/loadavg: 1.86 1.31 1.16 3/107 1932
/proc/meminfo: memFree=1300352/2055920 swapFree=4182144/4192956
[pid=1798] ppid=1792 vsize=915444 CPUtime=101.87
/proc/1798/stat : 1798 (java) R 1792 1798 1674 0 -1 0 12350 0 1 0 10017 170 0 0 25 0 8 0 277114095 937414656 12080 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074016975 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1798/statm: 228861 12080 2535 14 0 215331 0
[pid=1798/tid=1806] ppid=1792 vsize=915444 CPUtime=0.03
/proc/1798/task/1806/stat : 1806 (java) S 1792 1798 1674 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 277114100 937414656 12080 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1809] ppid=1792 vsize=915444 CPUtime=0
/proc/1798/task/1809/stat : 1809 (java) S 1792 1798 1674 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277114101 937414656 12080 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1810] ppid=1792 vsize=915444 CPUtime=0
/proc/1798/task/1810/stat : 1810 (java) S 1792 1798 1674 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277114101 937414656 12080 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1811] ppid=1792 vsize=915444 CPUtime=0
/proc/1798/task/1811/stat : 1811 (java) S 1792 1798 1674 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 277114104 937414656 12080 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1813] ppid=1792 vsize=915444 CPUtime=0.3
/proc/1798/task/1813/stat : 1813 (java) S 1792 1798 1674 0 -1 64 440 0 0 0 29 1 0 0 16 0 8 0 277114104 937414656 12080 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1815] ppid=1792 vsize=915444 CPUtime=0
/proc/1798/task/1815/stat : 1815 (java) S 1792 1798 1674 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 277114104 937414656 12080 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1817] ppid=1792 vsize=915444 CPUtime=0
/proc/1798/task/1817/stat : 1817 (java) S 1792 1798 1674 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277114104 937414656 12080 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.87
Current children cumulated vsize (KiB) 915444
[startup+162.516 s]
/proc/loadavg: 1.95 1.43 1.21 3/101 2027
/proc/meminfo: memFree=1301296/2055920 swapFree=4182144/4192956
[pid=1798] ppid=1792 vsize=915444 CPUtime=161.52
/proc/1798/stat : 1798 (java) R 1792 1798 1674 0 -1 0 12352 0 1 0 15975 177 0 0 25 0 8 0 277114095 937414656 12082 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073988406 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2012.93
Current children cumulated vsize (KiB) 915444
[startup+2084.08 s]
/proc/loadavg: 2.00 2.01 1.89 3/101 2030
/proc/meminfo: memFree=1301368/2055920 swapFree=4182144/4192956
[pid=1798] ppid=1792 vsize=915444 CPUtime=2072.62
/proc/1798/stat : 1798 (java) R 1792 1798 1674 0 -1 0 12371 0 1 0 207080 182 0 0 25 0 8 0 277114095 937414656 12101 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073948096 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1798/statm: 228861 12101 2535 14 0 215331 0
[pid=1798/tid=1806] ppid=1792 vsize=915444 CPUtime=0.03
/proc/1798/task/1806/stat : 1806 (java) S 1792 1798 1674 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 277114100 937414656 12101 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1809] ppid=1792 vsize=915444 CPUtime=0
/proc/1798/task/1809/stat : 1809 (java) S 1792 1798 1674 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277114101 937414656 12101 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1810] ppid=1792 vsize=915444 CPUtime=0
/proc/1798/task/1810/stat : 1810 (java) S 1792 1798 1674 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277114101 937414656 12101 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1811] ppid=1792 vsize=915444 CPUtime=0
/proc/1798/task/1811/stat : 1811 (java) S 1792 1798 1674 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 277114104 937414656 12101 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1813] ppid=1792 vsize=915444 CPUtime=0.3
/proc/1798/task/1813/stat : 1813 (java) S 1792 1798 1674 0 -1 64 441 0 0 0 29 1 0 0 16 0 8 0 277114104 937414656 12101 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1815] ppid=1792 vsize=915444 CPUtime=0
/proc/1798/task/1815/stat : 1815 (java) S 1792 1798 1674 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 277114104 937414656 12101 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1817] ppid=1792 vsize=915444 CPUtime=0
/proc/1798/task/1817/stat : 1817 (java) S 1792 1798 1674 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277114104 937414656 12101 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2072.62
Current children cumulated vsize (KiB) 915444
[startup+2144.08 s]
/proc/loadavg: 2.00 2.01 1.89 3/101 2030
/proc/meminfo: memFree=1301368/2055920 swapFree=4182144/4192956
[pid=1798] ppid=1792 vsize=915444 CPUtime=2132.3
/proc/1798/stat : 1798 (java) R 1792 1798 1674 0 -1 0 12371 0 1 0 213048 182 0 0 25 0 8 0 277114095 937414656 12101 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073952610 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1798/statm: 228861 12101 2535 14 0 215331 0
[pid=1798/tid=1806] ppid=1792 vsize=915444 CPUtime=0.03
/proc/1798/task/1806/stat : 1806 (java) S 1792 1798 1674 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 277114100 937414656 12101 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1809] ppid=1792 vsize=915444 CPUtime=0
/proc/1798/task/1809/stat : 1809 (java) S 1792 1798 1674 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277114101 937414656 12101 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1810] ppid=1792 vsize=915444 CPUtime=0
/proc/1798/task/1810/stat : 1810 (java) S 1792 1798 1674 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277114101 937414656 12101 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1811] ppid=1792 vsize=915444 CPUtime=0
/proc/1798/task/1811/stat : 1811 (java) S 1792 1798 1674 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 277114104 937414656 12101 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1813] ppid=1792 vsize=915444 CPUtime=0.3
/proc/1798/task/1813/stat : 1813 (java) S 1792 1798 1674 0 -1 64 441 0 0 0 29 1 0 0 16 0 8 0 277114104 937414656 12101 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1815] ppid=1792 vsize=915444 CPUtime=0
/proc/1798/task/1815/stat : 1815 (java) S 1792 1798 1674 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 277114104 937414656 12101 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1817] ppid=1792 vsize=915444 CPUtime=0
/proc/1798/task/1817/stat : 1817 (java) S 1792 1798 1674 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277114104 937414656 12101 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2132.3
Current children cumulated vsize (KiB) 915444
[startup+2204.18 s]
/proc/loadavg: 2.00 2.00 1.90 3/101 2030
/proc/meminfo: memFree=1301304/2055920 swapFree=4182144/4192956
[pid=1798] ppid=1792 vsize=915444 CPUtime=2192.06
/proc/1798/stat : 1798 (java) R 1792 1798 1674 0 -1 0 12371 0 1 0 219024 182 0 0 25 0 8 0 277114095 937414656 12101 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073973490 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1798/statm: 228861 12101 2535 14 0 215331 0
[pid=1798/tid=1806] ppid=1792 vsize=915444 CPUtime=0.03
/proc/1798/task/1806/stat : 1806 (java) S 1792 1798 1674 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 277114100 937414656 12101 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1809] ppid=1792 vsize=915444 CPUtime=0
/proc/1798/task/1809/stat : 1809 (java) S 1792 1798 1674 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277114101 937414656 12101 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1810] ppid=1792 vsize=915444 CPUtime=0
/proc/1798/task/1810/stat : 1810 (java) S 1792 1798 1674 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277114101 937414656 12101 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1811] ppid=1792 vsize=915444 CPUtime=0
/proc/1798/task/1811/stat : 1811 (java) S 1792 1798 1674 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 277114104 937414656 12101 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1813] ppid=1792 vsize=915444 CPUtime=0.3
/proc/1798/task/1813/stat : 1813 (java) S 1792 1798 1674 0 -1 64 441 0 0 0 29 1 0 0 16 0 8 0 277114104 937414656 12101 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1815] ppid=1792 vsize=915444 CPUtime=0
/proc/1798/task/1815/stat : 1815 (java) S 1792 1798 1674 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 277114104 937414656 12101 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1817] ppid=1792 vsize=915444 CPUtime=0
/proc/1798/task/1817/stat : 1817 (java) R 1792 1798 1674 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277114104 937414656 12101 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2192.06
Current children cumulated vsize (KiB) 915444
[startup+2264.29 s]
/proc/loadavg: 2.07 2.02 1.91 3/101 2030
/proc/meminfo: memFree=1301304/2055920 swapFree=4182144/4192956
[pid=1798] ppid=1792 vsize=915444 CPUtime=2251.84
/proc/1798/stat : 1798 (java) R 1792 1798 1674 0 -1 0 12371 0 1 0 225002 182 0 0 25 0 8 0 277114095 937414656 12101 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073950226 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1798/statm: 228861 12101 2535 14 0 215331 0
[pid=1798/tid=1806] ppid=1792 vsize=915444 CPUtime=0.03
/proc/1798/task/1806/stat : 1806 (java) S 1792 1798 1674 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 277114100 937414656 12101 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1809] ppid=1792 vsize=915444 CPUtime=0
/proc/1798/task/1809/stat : 1809 (java) S 1792 1798 1674 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277114101 937414656 12101 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1810] ppid=1792 vsize=915444 CPUtime=0
/proc/1798/task/1810/stat : 1810 (java) S 1792 1798 1674 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277114101 937414656 12101 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1811] ppid=1792 vsize=915444 CPUtime=0
/proc/1798/task/1811/stat : 1811 (java) S 1792 1798 1674 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 277114104 937414656 12101 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1813] ppid=1792 vsize=915444 CPUtime=0.3
/proc/1798/task/1813/stat : 1813 (java) S 1792 1798 1674 0 -1 64 441 0 0 0 29 1 0 0 16 0 8 0 277114104 937414656 12101 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1815] ppid=1792 vsize=915444 CPUtime=0
/proc/1798/task/1815/stat : 1815 (java) S 1792 1798 1674 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 277114104 937414656 12101 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1817] ppid=1792 vsize=915444 CPUtime=0
/proc/1798/task/1817/stat : 1817 (java) S 1792 1798 1674 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277114104 937414656 12101 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2251.84
Current children cumulated vsize (KiB) 915444
[startup+2324.39 s]
/proc/loadavg: 2.02 2.01 1.91 3/101 2030
/proc/meminfo: memFree=1301304/2055920 swapFree=4182144/4192956
[pid=1798] ppid=1792 vsize=915444 CPUtime=2311.61
/proc/1798/stat : 1798 (java) R 1792 1798 1674 0 -1 0 12371 0 1 0 230979 182 0 0 25 0 8 0 277114095 937414656 12101 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073950317 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1798/statm: 228861 12101 2535 14 0 215331 0
[pid=1798/tid=1806] ppid=1792 vsize=915444 CPUtime=0.03
/proc/1798/task/1806/stat : 1806 (java) S 1792 1798 1674 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 277114100 937414656 12101 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1809] ppid=1792 vsize=915444 CPUtime=0
/proc/1798/task/1809/stat : 1809 (java) S 1792 1798 1674 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277114101 937414656 12101 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1810] ppid=1792 vsize=915444 CPUtime=0
/proc/1798/task/1810/stat : 1810 (java) S 1792 1798 1674 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277114101 937414656 12101 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1811] ppid=1792 vsize=915444 CPUtime=0
/proc/1798/task/1811/stat : 1811 (java) S 1792 1798 1674 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 277114104 937414656 12101 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1813] ppid=1792 vsize=915444 CPUtime=0.3
/proc/1798/task/1813/stat : 1813 (java) S 1792 1798 1674 0 -1 64 441 0 0 0 29 1 0 0 16 0 8 0 277114104 937414656 12101 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1815] ppid=1792 vsize=915444 CPUtime=0
/proc/1798/task/1815/stat : 1815 (java) S 1792 1798 1674 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 277114104 937414656 12101 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1817] ppid=1792 vsize=915444 CPUtime=0
/proc/1798/task/1817/stat : 1817 (java) S 1792 1798 1674 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277114104 937414656 12101 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2311.61
Current children cumulated vsize (KiB) 915444
[startup+2384.49 s]
/proc/loadavg: 2.01 2.00 1.91 3/101 2030
/proc/meminfo: memFree=1301304/2055920 swapFree=4182144/4192956
[pid=1798] ppid=1792 vsize=915444 CPUtime=2371.38
/proc/1798/stat : 1798 (java) R 1792 1798 1674 0 -1 0 12371 0 1 0 236955 183 0 0 25 0 8 0 277114095 937414656 12101 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073973490 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1798/statm: 228861 12101 2535 14 0 215331 0
[pid=1798/tid=1806] ppid=1792 vsize=915444 CPUtime=0.03
/proc/1798/task/1806/stat : 1806 (java) S 1792 1798 1674 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 277114100 937414656 12101 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1809] ppid=1792 vsize=915444 CPUtime=0
/proc/1798/task/1809/stat : 1809 (java) S 1792 1798 1674 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277114101 937414656 12101 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1810] ppid=1792 vsize=915444 CPUtime=0
/proc/1798/task/1810/stat : 1810 (java) S 1792 1798 1674 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277114101 937414656 12101 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1811] ppid=1792 vsize=915444 CPUtime=0
/proc/1798/task/1811/stat : 1811 (java) S 1792 1798 1674 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 277114104 937414656 12101 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1813] ppid=1792 vsize=915444 CPUtime=0.3
/proc/1798/task/1813/stat : 1813 (java) S 1792 1798 1674 0 -1 64 441 0 0 0 29 1 0 0 16 0 8 0 277114104 937414656 12101 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1815] ppid=1792 vsize=915444 CPUtime=0
/proc/1798/task/1815/stat : 1815 (java) S 1792 1798 1674 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 277114104 937414656 12101 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1817] ppid=1792 vsize=915444 CPUtime=0
/proc/1798/task/1817/stat : 1817 (java) S 1792 1798 1674 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277114104 937414656 12101 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2371.38
Current children cumulated vsize (KiB) 915444
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2413.31 s]
/proc/loadavg: 2.08 2.02 1.92 3/90 2052
/proc/meminfo: memFree=1311440/2055920 swapFree=4182144/4192956
[pid=1798] ppid=1792 vsize=915444 CPUtime=2400.06
/proc/1798/stat : 1798 (java) R 1792 1798 1674 0 -1 0 12371 0 1 0 239823 183 0 0 25 0 8 0 277114095 937414656 12101 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074016925 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1798/statm: 228861 12101 2535 14 0 215331 0
[pid=1798/tid=1806] ppid=1792 vsize=915444 CPUtime=0.03
/proc/1798/task/1806/stat : 1806 (java) S 1792 1798 1674 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 277114100 937414656 12101 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1809] ppid=1792 vsize=915444 CPUtime=0
/proc/1798/task/1809/stat : 1809 (java) S 1792 1798 1674 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277114101 937414656 12101 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1810] ppid=1792 vsize=915444 CPUtime=0
/proc/1798/task/1810/stat : 1810 (java) S 1792 1798 1674 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277114101 937414656 12101 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1811] ppid=1792 vsize=915444 CPUtime=0
/proc/1798/task/1811/stat : 1811 (java) S 1792 1798 1674 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 277114104 937414656 12101 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1813] ppid=1792 vsize=915444 CPUtime=0.3
/proc/1798/task/1813/stat : 1813 (java) S 1792 1798 1674 0 -1 64 441 0 0 0 29 1 0 0 16 0 8 0 277114104 937414656 12101 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1815] ppid=1792 vsize=915444 CPUtime=0
/proc/1798/task/1815/stat : 1815 (java) S 1792 1798 1674 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 277114104 937414656 12101 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1798/tid=1817] ppid=1792 vsize=915444 CPUtime=0
/proc/1798/task/1817/stat : 1817 (java) S 1792 1798 1674 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277114104 937414656 12101 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 915444
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2413.34
CPU time (s): 2400.09
CPU user time (s): 2398.25
CPU system time (s): 1.84672
CPU usage (%): 99.4513
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.25
system time used= 1.84672
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12393
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= 50187
involuntary context switches= 88883
runsolver used 2.96155 s user time and 7.73882 s system time
The end
Begin job on node4 on Sat Jan 20 09:59:45 UTC 2007
IDJOB= 278326
IDBENCH= 8270
IDSOLVER= 68
FILE ID= node4/278326-1169287185
PBS_JOBID= 3609518
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/3-40-2100-3000/cnf-3-40-2500-147421_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278326-1169287185/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-278326-1169287185 -o ROOT/results/node4/solver-278326-1169287185 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278326-1169287185/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= b8da1be296b9a9adbdf775fbdaf7cb97
RANDOM SEED= 131729746
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.223
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.223
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: 1351208 kB
Buffers: 65700 kB
Cached: 514744 kB
SwapCached: 2180 kB
Active: 196308 kB
Inactive: 425884 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1351208 kB
SwapTotal: 4192956 kB
SwapFree: 4182144 kB
Dirty: 2400 kB
Writeback: 0 kB
Mapped: 51552 kB
Slab: 67412 kB
Committed_AS: 7745568 kB
PageTables: 2276 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 node4 on Sat Jan 20 10:39:59 UTC 2007