0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=pfc.xml
0.34
0.35 instance
0.35 name=/tmp/evaluation/278318-1169286864/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=40 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.41 => wckTime=0.092 cpuTime=0.09 mem=6M910
0.41
0.41 relations being loaded...
0.43
0.43 constraints being loaded...
0.68 nbConstraints=2281 nbRelationTypes=50 nbExtensionStructures=50 nbSharedExtensionStructures=2231
0.68 nbConflictsStructures=50 nbSharedConflictsStructures=2231 nbSharedBinaryRepresentations=0 maxDegree=196
0.68 maxArity=3
0.68 => wckTime=0.37 cpuTime=0.23 mem=13M736
0.74
0.74 solver LocalSearchSolver being built...
0.78 => wckTime=0.467 cpuTime=0.28 mem=6M571
0.79
0.79 s SATISFIABLE
0.79 o 1979
0.79 c 302
0.79 o 1992
0.79 c 289
0.79 o 1993
0.79 c 288
0.79 o 1994
0.79 c 287
0.79 o 2001
0.79 c 280
0.80 o 2005
0.80 c 276
0.80 o 2011
0.80 c 270
0.80 o 2015
0.80 c 266
0.80 o 2023
0.80 c 258
0.80 o 2027
0.80 c 254
0.80 o 2030
0.80 c 251
0.81 o 2031
0.81 c 250
0.81 o 2036
0.81 c 245
0.81 o 2038
0.81 c 243
0.81 o 2044
0.81 c 237
0.96 o 2047
0.96 c 234
0.96 o 2049
0.96 c 232
0.96 o 2053
0.96 c 228
1.31 o 2054
1.31 c 227
1.57 o 2055
1.57 c 226
2.32 o 2058
2.32 c 223
7.96 o 2059
7.96 c 222
9.35
9.35 search
9.35 run=0 nbConstraintChecks=51150492 nbAssignments=10000
9.35 => wckTime=8.567 cpuTime=8.5 mem=6M571
17.95
17.95 search
17.95 run=1 nbConstraintChecks=103848328 nbAssignments=20000
17.95 => wckTime=17.172 cpuTime=17.06 mem=6M571
26.30
26.30 search
26.30 run=2 nbConstraintChecks=155028437 nbAssignments=30000
26.30 => wckTime=25.52 cpuTime=25.36 mem=6M571
34.86
34.86 search
34.86 run=3 nbConstraintChecks=207677540 nbAssignments=40000
34.86 => wckTime=34.085 cpuTime=33.89 mem=6M571
38.10
38.10 search
38.10 run=4 nbConstraintChecks=227317466 nbAssignments=43975
38.10 => wckTime=37.32 cpuTime=37.12 mem=6M571
38.10
38.10 global
38.10 nbConstraintChecks=227317466 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
38.10 solvingWckTime=37.319 solvingCpuTime=37.12 expiredTime=no totalExploration=no nbFoundSolutions=0
38.10 globalCpuTime=37.44
38.10 => wckTime=37.788 cpuTime=37.4 mem=6M571
38.10
38.10 solver IterativeSystematicSolver being built...
38.30 => wckTime=37.991 cpuTime=37.56 mem=29M198
38.33
38.33 preprocessing
38.33 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
38.33 detectedInconsistency=no
38.33 => wckTime=0.022 cpuTime=0.02 mem=29M198
38.51
38.51 search
38.51 run=0 nbConstraintChecks=48631 nbValidityChecks=101319 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
38.51 nbAssignments=42 nbFailedAssignments=6 nbBacktracks=11 nbVisitedNodes=60 nbRestartNogoods=0
38.51 => wckTime=0.202 cpuTime=0.17 mem=30M173
38.71
38.71 search
38.71 run=1 nbConstraintChecks=109694 nbValidityChecks=261209 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
38.71 nbAssignments=94 nbFailedAssignments=17 nbBacktracks=27 nbVisitedNodes=139 nbRestartNogoods=2
38.71 => wckTime=0.407 cpuTime=0.36 mem=30M173
38.95
38.95 search
38.95 run=2 nbConstraintChecks=192343 nbValidityChecks=485618 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
38.95 nbAssignments=157 nbFailedAssignments=34 nbBacktracks=50 nbVisitedNodes=242 nbRestartNogoods=4
38.95 => wckTime=0.648 cpuTime=0.59 mem=30M173
39.26
39.26 search
39.26 run=3 nbConstraintChecks=313893 nbValidityChecks=799886 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
39.26 nbAssignments=237 nbFailedAssignments=58 nbBacktracks=83 nbVisitedNodes=379 nbRestartNogoods=7
39.26 => wckTime=0.957 cpuTime=0.9 mem=30M173
39.75
39.75 search
39.75 run=4 nbConstraintChecks=498594 nbValidityChecks=1307753 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
39.75 nbAssignments=352 nbFailedAssignments=99 nbBacktracks=134 nbVisitedNodes=586 nbRestartNogoods=10
39.75 => wckTime=1.442 cpuTime=1.38 mem=30M173
40.47
40.47 search
40.47 run=5 nbConstraintChecks=771119 nbValidityChecks=2101896 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
40.47 nbAssignments=515 nbFailedAssignments=165 nbBacktracks=209 nbVisitedNodes=890 nbRestartNogoods=13
40.47 => wckTime=2.163 cpuTime=2.09 mem=30M173
41.41
41.41 search
41.41 run=6 nbConstraintChecks=1146400 nbValidityChecks=3154245 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
41.41 nbAssignments=727 nbFailedAssignments=242 nbBacktracks=322 nbVisitedNodes=1292 nbRestartNogoods=17
41.41 => wckTime=3.104 cpuTime=3.02 mem=30M173
42.82
42.82 search
42.82 run=7 nbConstraintChecks=1699946 nbValidityChecks=4733297 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
42.82 nbAssignments=1037 nbFailedAssignments=362 nbBacktracks=492 nbVisitedNodes=1892 nbRestartNogoods=22
42.82 => wckTime=4.513 cpuTime=4.42 mem=30M173
45.22
45.23 search
45.23 run=8 nbConstraintChecks=2541176 nbValidityChecks=7370805 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
45.23 nbAssignments=1533 nbFailedAssignments=584 nbBacktracks=748 nbVisitedNodes=2866 nbRestartNogoods=24
45.23 => wckTime=6.921 cpuTime=6.8 mem=30M173
48.70
48.70 search
48.70 run=9 nbConstraintChecks=3763060 nbValidityChecks=11187564 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
48.70 nbAssignments=2238 nbFailedAssignments=882 nbBacktracks=1132 nbVisitedNodes=4253 nbRestartNogoods=29
48.70 => wckTime=10.395 cpuTime=10.24 mem=30M173
53.70
53.70 search
53.70 run=10 nbConstraintChecks=5524092 nbValidityChecks=16810338 nbPropagations=0 nbRevisions=0
53.70 nbUselessRevisions=0 nbAssignments=3257 nbFailedAssignments=1305 nbBacktracks=1708 nbVisitedNodes=6271
53.70 nbRestartNogoods=31
53.70 => wckTime=15.396 cpuTime=15.22 mem=30M173
61.78
61.78 search
61.78 run=11 nbConstraintChecks=8274269 nbValidityChecks=25613030 nbPropagations=0 nbRevisions=0
61.78 nbUselessRevisions=0 nbAssignments=4844 nbFailedAssignments=2009 nbBacktracks=2572 nbVisitedNodes=9426
61.78 nbRestartNogoods=33
61.78 => wckTime=23.472 cpuTime=23.25 mem=30M173
73.53
73.53 search
73.53 run=12 nbConstraintChecks=12181684 nbValidityChecks=38537247 nbPropagations=0 nbRevisions=0
73.53 nbUselessRevisions=0 nbAssignments=7146 nbFailedAssignments=2997 nbBacktracks=3869 nbVisitedNodes=14013
73.53 nbRestartNogoods=39
73.53 => wckTime=35.227 cpuTime=34.95 mem=30M173
91.03
91.03 search
91.03 run=13 nbConstraintChecks=17871150 nbValidityChecks=57501440 nbPropagations=0 nbRevisions=0
91.03 nbUselessRevisions=0 nbAssignments=10527 nbFailedAssignments=4410 nbBacktracks=5815 nbVisitedNodes=20753
91.03 nbRestartNogoods=45
91.03 => wckTime=52.729 cpuTime=52.37 mem=30M173
118.61
118.61 search
118.61 run=14 nbConstraintChecks=26903973 nbValidityChecks=88016655 nbPropagations=0 nbRevisions=0
118.61 nbUselessRevisions=0 nbAssignments=15879 nbFailedAssignments=6824 nbBacktracks=8734 nbVisitedNodes=31438
118.61 nbRestartNogoods=48
118.61 => wckTime=80.309 cpuTime=79.81 mem=30M173
157.89
157.89 search
157.89 run=15 nbConstraintChecks=39796909 nbValidityChecks=132441894 nbPropagations=0 nbRevisions=0
157.89 nbUselessRevisions=0 nbAssignments=23716 nbFailedAssignments=10265 nbBacktracks=13113 nbVisitedNodes=47095
157.89 nbRestartNogoods=55
157.89 => wckTime=119.582 cpuTime=118.9 mem=30M173
216.48
216.48 search
216.48 run=16 nbConstraintChecks=59058945 nbValidityChecks=200390211 nbPropagations=0 nbRevisions=0
216.48 nbUselessRevisions=0 nbAssignments=35395 nbFailedAssignments=15357 nbBacktracks=19681 nbVisitedNodes=70434
216.48 nbRestartNogoods=64
216.48 => wckTime=178.177 cpuTime=177.22 mem=30M173
306.12
306.12 search
306.12 run=17 nbConstraintChecks=89147315 nbValidityChecks=304094254 nbPropagations=0 nbRevisions=0
306.12 nbUselessRevisions=0 nbAssignments=52987 nbFailedAssignments=23074 nbBacktracks=29534 nbVisitedNodes=105596
306.12 nbRestartNogoods=70
306.12 => wckTime=267.817 cpuTime=266.44 mem=30M173
438.88
438.88 search
438.88 run=18 nbConstraintChecks=132384441 nbValidityChecks=458092259 nbPropagations=0 nbRevisions=0
438.88 nbUselessRevisions=0 nbAssignments=79241 nbFailedAssignments=34529 nbBacktracks=44313 nbVisitedNodes=158084
438.88 nbRestartNogoods=74
438.88 => wckTime=400.577 cpuTime=398.49 mem=30M173
642.41
642.41 search
642.41 run=19 nbConstraintChecks=195619876 nbValidityChecks=690998777 nbPropagations=0 nbRevisions=0
642.41 nbUselessRevisions=0 nbAssignments=118922 nbFailedAssignments=52024 nbBacktracks=66482 nbVisitedNodes=237429
642.41 nbRestartNogoods=81
642.41 => wckTime=604.11 cpuTime=601.52 mem=30M173
950.88
950.88 search
950.88 run=20 nbConstraintChecks=287044421 nbValidityChecks=1038378735 nbPropagations=0 nbRevisions=0
950.88 nbUselessRevisions=0 nbAssignments=178256 nbFailedAssignments=78089 nbBacktracks=99734 nbVisitedNodes=356033
950.88 nbRestartNogoods=87
950.88 => wckTime=912.58 cpuTime=909.67 mem=30M173
1411.77
1411.77 search
1411.77 run=21 nbConstraintChecks=428546735 nbValidityChecks=1551276157 nbPropagations=0 nbRevisions=0
1411.77 nbUselessRevisions=0 nbAssignments=269263 nbFailedAssignments=119198 nbBacktracks=149614 nbVisitedNodes=537902
1411.77 nbRestartNogoods=96
1411.77 => wckTime=1373.463 cpuTime=1370.18 mem=30M173
2056.45
2056.45 search
2056.45 run=22 nbConstraintChecks=658070099 nbValidityChecks=2292253296 nbPropagations=0 nbRevisions=0
2056.45 nbUselessRevisions=0 nbAssignments=404444 nbFailedAssignments=179541 nbBacktracks=224432 nbVisitedNodes=807932
2056.45 nbRestartNogoods=102
2056.45 => wckTime=2018.149 cpuTime=2014.66 mem=30M173
2403.92 v 0 1 1 1 0 1 1 1 0 0 1 1 1 1 0 1 0 1 0 0 0 0 1 0 0 0 0 1 1 1 0 1 1 1 1 1 0 1 1 0
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node17/watcher-278318-1169286864 -o ROOT/results/node17/solver-278318-1169286864 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278318-1169286864/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.00 2.00 1.84 4/87 18636
/proc/meminfo: memFree=1351576/2055920 swapFree=4192812/4192956
[pid=18635] ppid=18633 vsize=907676 CPUtime=0.02
/proc/18635/stat : 18635 (java) S 18633 18635 17988 0 -1 0 2171 0 1 0 2 0 0 0 19 0 4 0 277081184 929460224 1920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/18635/statm: 226919 1920 1089 14 0 214502 0
[pid=18635/tid=18637] ppid=18633 vsize=907676 CPUtime=0
/proc/18635/task/18637/stat : 18637 (java) S 18633 18635 17988 0 -1 64 6 0 0 0 0 0 0 0 19 0 4 0 277081187 929460224 1920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[pid=18635/tid=18638] ppid=18633 vsize=907676 CPUtime=0
/proc/18635/task/18638/stat : 18638 (java) S 18633 18635 17988 0 -1 64 10 0 0 0 0 0 0 0 19 0 4 0 277081188 929460224 1920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 0 0 0 -1 1 0 0
[pid=18635/tid=18639] ppid=18633 vsize=907676 CPUtime=0
/proc/18635/task/18639/stat : 18639 (java) R 18633 18635 17988 0 -1 64 0 0 0 0 0 0 0 0 20 0 4 0 277081188 929460224 1920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 3706840 0 4 0 7368 0 0 0 -1 1 0 0
[startup+0.102628 s]
/proc/loadavg: 2.00 2.00 1.84 4/87 18636
/proc/meminfo: memFree=1351576/2055920 swapFree=4192812/4192956
[pid=18635] ppid=18633 vsize=914988 CPUtime=0.08
/proc/18635/stat : 18635 (java) R 18633 18635 17988 0 -1 0 2980 0 1 0 7 1 0 0 17 0 8 0 277081184 936947712 2726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155717508 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18635/statm: 228747 2726 1423 14 0 215242 0
[pid=18635/tid=18637] ppid=18633 vsize=914988 CPUtime=0
/proc/18635/task/18637/stat : 18637 (java) S 18633 18635 17988 0 -1 64 6 0 0 0 0 0 0 0 19 0 8 0 277081187 936947712 2726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18638] ppid=18633 vsize=914988 CPUtime=0
/proc/18635/task/18638/stat : 18638 (java) S 18633 18635 17988 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 277081188 936947712 2726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18639] ppid=18633 vsize=914988 CPUtime=0
/proc/18635/task/18639/stat : 18639 (java) S 18633 18635 17988 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 277081188 936947712 2726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.514667 s]
/proc/loadavg: 2.00 2.00 1.84 4/87 18636
/proc/meminfo: memFree=1351576/2055920 swapFree=4192812/4192956
[pid=18635] ppid=18633 vsize=915332 CPUtime=0.49
/proc/18635/stat : 18635 (java) R 18633 18635 17988 0 -1 0 6332 0 1 0 45 4 0 0 18 0 8 0 277081184 937299968 6071 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073582116 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18635/statm: 228833 6071 2139 14 0 215303 0
[pid=18635/tid=18637] ppid=18633 vsize=915332 CPUtime=0
/proc/18635/task/18637/stat : 18637 (java) S 18633 18635 17988 0 -1 64 6 0 0 0 0 0 0 0 19 0 8 0 277081187 937299968 6071 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18638] ppid=18633 vsize=915332 CPUtime=0
/proc/18635/task/18638/stat : 18638 (java) S 18633 18635 17988 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 277081188 937299968 6071 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18639] ppid=18633 vsize=915332 CPUtime=0
/proc/18635/task/18639/stat : 18639 (java) S 18633 18635 17988 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 277081188 937299968 6071 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.34376 s]
/proc/loadavg: 2.00 2.00 1.84 3/94 18643
/proc/meminfo: memFree=1327840/2055920 swapFree=4192812/4192956
[pid=18635] ppid=18633 vsize=915448 CPUtime=1.31
/proc/18635/stat : 18635 (java) R 18633 18635 17988 0 -1 0 8596 0 1 0 122 9 0 0 25 0 8 0 277081184 937418752 8334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18635/statm: 228862 8334 2474 14 0 215332 0
[pid=18635/tid=18637] ppid=18633 vsize=915448 CPUtime=0.04
/proc/18635/task/18637/stat : 18637 (java) S 18633 18635 17988 0 -1 64 416 0 0 0 4 0 0 0 16 0 8 0 277081187 937418752 8334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18638] ppid=18633 vsize=915448 CPUtime=0
/proc/18635/task/18638/stat : 18638 (java) S 18633 18635 17988 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277081188 937418752 8334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18639] ppid=18633 vsize=915448 CPUtime=0
/proc/18635/task/18639/stat : 18639 (java) S 18633 18635 17988 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277081188 937418752 8334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18640] ppid=18633 vsize=915448 CPUtime=0
/proc/18635/task/18640/stat : 18640 (java) S 18633 18635 17988 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277081191 937418752 8334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18641] ppid=18633 vsize=915448 CPUtime=0.19
/proc/18635/task/18641/stat : 18641 (java) S 18633 18635 17988 0 -1 64 368 0 0 0 18 1 0 0 16 0 8 0 277081191 937418752 8334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18642] ppid=18633 vsize=915448 CPUtime=0
/proc/18635/task/18642/stat : 18642 (java) S 18633 18635 17988 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277081191 937418752 8334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18643] ppid=18633 vsize=915448 CPUtime=0
/proc/18635/task/18643/stat : 18643 (java) S 18633 18635 17988 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277081191 937418752 8334 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) 915448
[startup+2.99392 s]
/proc/loadavg: 2.00 2.00 1.84 3/94 18643
/proc/meminfo: memFree=1327840/2055920 swapFree=4192812/4192956
[pid=18635] ppid=18633 vsize=915444 CPUtime=2.96
/proc/18635/stat : 18635 (java) R 18633 18635 17988 0 -1 0 8603 0 1 0 278 18 0 0 25 0 8 0 277081184 937414656 8340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073817908 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18635/statm: 228861 8340 2476 14 0 215331 0
[pid=18635/tid=18637] ppid=18633 vsize=915444 CPUtime=0.04
/proc/18635/task/18637/stat : 18637 (java) S 18633 18635 17988 0 -1 64 416 0 0 0 4 0 0 0 16 0 8 0 277081187 937414656 8340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18638] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18638/stat : 18638 (java) S 18633 18635 17988 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277081188 937414656 8340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18639] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18639/stat : 18639 (java) S 18633 18635 17988 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277081188 937414656 8340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18640] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18640/stat : 18640 (java) S 18633 18635 17988 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277081191 937414656 8340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18641] ppid=18633 vsize=915444 CPUtime=0.2
/proc/18635/task/18641/stat : 18641 (java) S 18633 18635 17988 0 -1 64 374 0 0 0 19 1 0 0 16 0 8 0 277081191 937414656 8340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18642] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18642/stat : 18642 (java) S 18633 18635 17988 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277081191 937414656 8340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18643] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18643/stat : 18643 (java) S 18633 18635 17988 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277081191 937414656 8340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915444
[startup+6.27326 s]
/proc/loadavg: 2.00 2.00 1.84 3/94 18643
/proc/meminfo: memFree=1327848/2055920 swapFree=4192812/4192956
[pid=18635] ppid=18633 vsize=915444 CPUtime=6.21
/proc/18635/stat : 18635 (java) R 18633 18635 17988 0 -1 0 8603 0 1 0 587 34 0 0 25 0 8 0 277081184 937414656 8340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073817908 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18635/statm: 228861 8340 2476 14 0 215331 0
[pid=18635/tid=18637] ppid=18633 vsize=915444 CPUtime=0.04
/proc/18635/task/18637/stat : 18637 (java) S 18633 18635 17988 0 -1 64 416 0 0 0 4 0 0 0 16 0 8 0 277081187 937414656 8340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18638] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18638/stat : 18638 (java) S 18633 18635 17988 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277081188 937414656 8340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18639] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18639/stat : 18639 (java) S 18633 18635 17988 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277081188 937414656 8340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18640] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18640/stat : 18640 (java) S 18633 18635 17988 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277081191 937414656 8340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18641] ppid=18633 vsize=915444 CPUtime=0.2
/proc/18635/task/18641/stat : 18641 (java) S 18633 18635 17988 0 -1 64 374 0 0 0 19 1 0 0 16 0 8 0 277081191 937414656 8340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18642] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18642/stat : 18642 (java) S 18633 18635 17988 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277081191 937414656 8340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18643] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18643/stat : 18643 (java) S 18633 18635 17988 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277081191 937414656 8340 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.7629 s]
/proc/loadavg: 2.00 2.00 1.84 3/94 18643
/proc/meminfo: memFree=1327784/2055920 swapFree=4192812/4192956
[pid=18635] ppid=18633 vsize=915444 CPUtime=12.68
/proc/18635/stat : 18635 (java) R 18633 18635 17988 0 -1 0 8607 0 1 0 1202 66 0 0 25 0 8 0 277081184 937414656 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073817958 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18635/statm: 228861 8344 2476 14 0 215331 0
[pid=18635/tid=18637] ppid=18633 vsize=915444 CPUtime=0.04
/proc/18635/task/18637/stat : 18637 (java) S 18633 18635 17988 0 -1 64 416 0 0 0 4 0 0 0 16 0 8 0 277081187 937414656 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18638] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18638/stat : 18638 (java) S 18633 18635 17988 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277081188 937414656 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18639] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18639/stat : 18639 (java) S 18633 18635 17988 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277081188 937414656 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18640] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18640/stat : 18640 (java) S 18633 18635 17988 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277081191 937414656 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18641] ppid=18633 vsize=915444 CPUtime=0.2
/proc/18635/task/18641/stat : 18641 (java) S 18633 18635 17988 0 -1 64 377 0 0 0 19 1 0 0 17 0 8 0 277081191 937414656 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18642] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18642/stat : 18642 (java) S 18633 18635 17988 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277081191 937414656 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18643] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18643/stat : 18643 (java) S 18633 18635 17988 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277081191 937414656 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915444
[startup+25.6083 s]
/proc/loadavg: 2.00 2.00 1.84 3/94 18643
/proc/meminfo: memFree=1327784/2055920 swapFree=4192812/4192956
[pid=18635] ppid=18633 vsize=915444 CPUtime=25.46
/proc/18635/stat : 18635 (java) R 18633 18635 17988 0 -1 0 8607 0 1 0 2412 134 0 0 25 0 8 0 277081184 937414656 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073821187 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18635/statm: 228861 8344 2476 14 0 215331 0
[pid=18635/tid=18637] ppid=18633 vsize=915444 CPUtime=0.04
/proc/18635/task/18637/stat : 18637 (java) S 18633 18635 17988 0 -1 64 416 0 0 0 4 0 0 0 16 0 8 0 277081187 937414656 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18638] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18638/stat : 18638 (java) S 18633 18635 17988 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277081188 937414656 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18639] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18639/stat : 18639 (java) S 18633 18635 17988 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277081188 937414656 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18640] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18640/stat : 18640 (java) S 18633 18635 17988 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277081191 937414656 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18641] ppid=18633 vsize=915444 CPUtime=0.2
/proc/18635/task/18641/stat : 18641 (java) S 18633 18635 17988 0 -1 64 377 0 0 0 19 1 0 0 17 0 8 0 277081191 937414656 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18642] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18642/stat : 18642 (java) S 18633 18635 17988 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277081191 937414656 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18643] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18643/stat : 18643 (java) S 18633 18635 17988 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277081191 937414656 8344 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.238 s]
/proc/loadavg: 2.00 2.00 1.84 3/94 18643
/proc/meminfo: memFree=1312936/2055920 swapFree=4192812/4192956
[pid=18635] ppid=18633 vsize=915444 CPUtime=50.96
/proc/18635/stat : 18635 (java) R 18633 18635 17988 0 -1 0 12399 0 1 0 4897 199 0 0 25 0 8 0 277081184 937414656 12127 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073734487 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18635/statm: 228861 12127 2530 14 0 215331 0
[pid=18635/tid=18637] ppid=18633 vsize=915444 CPUtime=0.04
/proc/18635/task/18637/stat : 18637 (java) S 18633 18635 17988 0 -1 64 417 0 0 0 4 0 0 0 16 0 8 0 277081187 937414656 12127 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18638] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18638/stat : 18638 (java) S 18633 18635 17988 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277081188 937414656 12127 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18639] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18639/stat : 18639 (java) S 18633 18635 17988 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277081188 937414656 12127 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18640] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18640/stat : 18640 (java) S 18633 18635 17988 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277081191 937414656 12127 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18641] ppid=18633 vsize=915444 CPUtime=0.33
/proc/18635/task/18641/stat : 18641 (java) S 18633 18635 17988 0 -1 64 445 0 0 0 32 1 0 0 16 0 8 0 277081191 937414656 12127 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18642] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18642/stat : 18642 (java) S 18633 18635 17988 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277081191 937414656 12127 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18643] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18643/stat : 18643 (java) S 18633 18635 17988 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277081191 937414656 12127 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 915444
[startup+102.501 s]
/proc/loadavg: 2.12 2.03 1.86 3/94 18643
/proc/meminfo: memFree=1312872/2055920 swapFree=4192812/4192956
[pid=18635] ppid=18633 vsize=915444 CPUtime=101.99
/proc/18635/stat : 18635 (java) R 18633 18635 17988 0 -1 0 12411 0 1 0 9999 200 0 0 25 0 8 0 277081184 937414656 12139 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073973168 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18635/statm: 228861 12139 2530 14 0 215331 0
[pid=18635/tid=18637] ppid=18633 vsize=915444 CPUtime=0.04
/proc/18635/task/18637/stat : 18637 (java) S 18633 18635 17988 0 -1 64 417 0 0 0 4 0 0 0 16 0 8 0 277081187 937414656 12139 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18638] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18638/stat : 18638 (java) S 18633 18635 17988 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277081188 937414656 12139 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2020.53
Current children cumulated vsize (KiB) 915444
[startup+2084.15 s]
/proc/loadavg: 1.00 1.06 1.37 2/88 19121
/proc/meminfo: memFree=1328800/2055920 swapFree=4192812/4192956
[pid=18635] ppid=18633 vsize=915444 CPUtime=2080.54
/proc/18635/stat : 18635 (java) R 18633 18635 17988 0 -1 0 12436 0 1 0 207831 223 0 0 25 0 8 0 277081184 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074014165 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18635/statm: 228861 12164 2530 14 0 215331 0
[pid=18635/tid=18637] ppid=18633 vsize=915444 CPUtime=0.04
/proc/18635/task/18637/stat : 18637 (java) S 18633 18635 17988 0 -1 64 417 0 0 0 4 0 0 0 16 0 8 0 277081187 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18638] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18638/stat : 18638 (java) S 18633 18635 17988 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277081188 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18639] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18639/stat : 18639 (java) S 18633 18635 17988 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277081188 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18640] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18640/stat : 18640 (java) S 18633 18635 17988 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277081191 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18641] ppid=18633 vsize=915444 CPUtime=0.34
/proc/18635/task/18641/stat : 18641 (java) S 18633 18635 17988 0 -1 64 449 0 0 0 33 1 0 0 16 0 8 0 277081191 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18635/tid=18642] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18642/stat : 18642 (java) S 18633 18635 17988 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277081191 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18643] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18643/stat : 18643 (java) S 18633 18635 17988 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277081191 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2080.54
Current children cumulated vsize (KiB) 915444
[startup+2144.19 s]
/proc/loadavg: 1.32 1.13 1.37 3/95 19208
/proc/meminfo: memFree=1325416/2055920 swapFree=4192812/4192956
[pid=18635] ppid=18633 vsize=915444 CPUtime=2140.55
/proc/18635/stat : 18635 (java) R 18633 18635 17988 0 -1 0 12436 0 1 0 213831 224 0 0 25 0 8 0 277081184 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073835847 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18635/statm: 228861 12164 2530 14 0 215331 0
[pid=18635/tid=18637] ppid=18633 vsize=915444 CPUtime=0.04
/proc/18635/task/18637/stat : 18637 (java) S 18633 18635 17988 0 -1 64 417 0 0 0 4 0 0 0 16 0 8 0 277081187 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18638] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18638/stat : 18638 (java) S 18633 18635 17988 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277081188 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18639] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18639/stat : 18639 (java) S 18633 18635 17988 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277081188 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18640] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18640/stat : 18640 (java) S 18633 18635 17988 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277081191 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18641] ppid=18633 vsize=915444 CPUtime=0.34
/proc/18635/task/18641/stat : 18641 (java) S 18633 18635 17988 0 -1 64 449 0 0 0 33 1 0 0 16 0 8 0 277081191 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18635/tid=18642] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18642/stat : 18642 (java) S 18633 18635 17988 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277081191 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18643] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18643/stat : 18643 (java) S 18633 18635 17988 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277081191 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2140.55
Current children cumulated vsize (KiB) 915444
[startup+2204.24 s]
/proc/loadavg: 1.20 1.12 1.35 2/88 19305
/proc/meminfo: memFree=1327200/2055920 swapFree=4192812/4192956
[pid=18635] ppid=18633 vsize=915444 CPUtime=2200.54
/proc/18635/stat : 18635 (java) R 18633 18635 17988 0 -1 0 12436 0 1 0 219828 226 0 0 25 0 8 0 277081184 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073956943 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18635/statm: 228861 12164 2530 14 0 215331 0
[pid=18635/tid=18637] ppid=18633 vsize=915444 CPUtime=0.04
/proc/18635/task/18637/stat : 18637 (java) S 18633 18635 17988 0 -1 64 417 0 0 0 4 0 0 0 16 0 8 0 277081187 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18638] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18638/stat : 18638 (java) S 18633 18635 17988 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277081188 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18639] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18639/stat : 18639 (java) S 18633 18635 17988 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277081188 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18640] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18640/stat : 18640 (java) S 18633 18635 17988 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277081191 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18641] ppid=18633 vsize=915444 CPUtime=0.34
/proc/18635/task/18641/stat : 18641 (java) S 18633 18635 17988 0 -1 64 449 0 0 0 33 1 0 0 16 0 8 0 277081191 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18635/tid=18642] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18642/stat : 18642 (java) S 18633 18635 17988 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277081191 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18643] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18643/stat : 18643 (java) S 18633 18635 17988 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277081191 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2200.54
Current children cumulated vsize (KiB) 915444
[startup+2264.29 s]
/proc/loadavg: 1.41 1.18 1.36 4/100 19371
/proc/meminfo: memFree=1309952/2055920 swapFree=4192812/4192956
[pid=18635] ppid=18633 vsize=915444 CPUtime=2260.53
/proc/18635/stat : 18635 (java) R 18633 18635 17988 0 -1 0 12436 0 1 0 225826 227 0 0 25 0 8 0 277081184 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073956952 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18635/statm: 228861 12164 2530 14 0 215331 0
[pid=18635/tid=18637] ppid=18633 vsize=915444 CPUtime=0.04
/proc/18635/task/18637/stat : 18637 (java) S 18633 18635 17988 0 -1 64 417 0 0 0 4 0 0 0 16 0 8 0 277081187 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18638] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18638/stat : 18638 (java) S 18633 18635 17988 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277081188 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18639] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18639/stat : 18639 (java) S 18633 18635 17988 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277081188 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18640] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18640/stat : 18640 (java) S 18633 18635 17988 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277081191 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18641] ppid=18633 vsize=915444 CPUtime=0.34
/proc/18635/task/18641/stat : 18641 (java) S 18633 18635 17988 0 -1 64 449 0 0 0 33 1 0 0 16 0 8 0 277081191 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18635/tid=18642] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18642/stat : 18642 (java) S 18633 18635 17988 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277081191 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18643] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18643/stat : 18643 (java) S 18633 18635 17988 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277081191 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2260.53
Current children cumulated vsize (KiB) 915444
[startup+2324.33 s]
/proc/loadavg: 1.78 1.32 1.39 4/100 19371
/proc/meminfo: memFree=1302656/2055920 swapFree=4192812/4192956
[pid=18635] ppid=18633 vsize=915444 CPUtime=2320.52
/proc/18635/stat : 18635 (java) R 18633 18635 17988 0 -1 0 12436 0 1 0 231824 228 0 0 25 0 8 0 277081184 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073954491 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18635/statm: 228861 12164 2530 14 0 215331 0
[pid=18635/tid=18637] ppid=18633 vsize=915444 CPUtime=0.04
/proc/18635/task/18637/stat : 18637 (java) S 18633 18635 17988 0 -1 64 417 0 0 0 4 0 0 0 16 0 8 0 277081187 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18638] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18638/stat : 18638 (java) S 18633 18635 17988 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277081188 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18639] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18639/stat : 18639 (java) S 18633 18635 17988 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277081188 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18640] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18640/stat : 18640 (java) S 18633 18635 17988 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277081191 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18641] ppid=18633 vsize=915444 CPUtime=0.34
/proc/18635/task/18641/stat : 18641 (java) S 18633 18635 17988 0 -1 64 449 0 0 0 33 1 0 0 16 0 8 0 277081191 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18635/tid=18642] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18642/stat : 18642 (java) S 18633 18635 17988 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277081191 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18643] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18643/stat : 18643 (java) S 18633 18635 17988 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277081191 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2320.52
Current children cumulated vsize (KiB) 915444
[startup+2384.38 s]
/proc/loadavg: 1.92 1.44 1.43 3/100 19371
/proc/meminfo: memFree=1302592/2055920 swapFree=4192812/4192956
[pid=18635] ppid=18633 vsize=915444 CPUtime=2380.5
/proc/18635/stat : 18635 (java) R 18633 18635 17988 0 -1 0 12436 0 1 0 237822 228 0 0 25 0 8 0 277081184 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073956822 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18635/statm: 228861 12164 2530 14 0 215331 0
[pid=18635/tid=18637] ppid=18633 vsize=915444 CPUtime=0.04
/proc/18635/task/18637/stat : 18637 (java) S 18633 18635 17988 0 -1 64 417 0 0 0 4 0 0 0 16 0 8 0 277081187 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18638] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18638/stat : 18638 (java) S 18633 18635 17988 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277081188 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18639] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18639/stat : 18639 (java) S 18633 18635 17988 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277081188 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18640] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18640/stat : 18640 (java) S 18633 18635 17988 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277081191 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18641] ppid=18633 vsize=915444 CPUtime=0.34
/proc/18635/task/18641/stat : 18641 (java) S 18633 18635 17988 0 -1 64 449 0 0 0 33 1 0 0 16 0 8 0 277081191 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18635/tid=18642] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18642/stat : 18642 (java) S 18633 18635 17988 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277081191 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18643] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18643/stat : 18643 (java) S 18633 18635 17988 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277081191 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2380.5
Current children cumulated vsize (KiB) 915444
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2403.92 s]
/proc/loadavg: 1.94 1.48 1.44 3/100 19371
/proc/meminfo: memFree=1302592/2055920 swapFree=4192812/4192956
[pid=18635] ppid=18633 vsize=915444 CPUtime=2400.03
/proc/18635/stat : 18635 (java) R 18633 18635 17988 0 -1 0 12436 0 1 0 239775 228 0 0 25 0 8 0 277081184 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073977872 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18635/statm: 228861 12164 2530 14 0 215331 0
[pid=18635/tid=18637] ppid=18633 vsize=915444 CPUtime=0.04
/proc/18635/task/18637/stat : 18637 (java) S 18633 18635 17988 0 -1 64 417 0 0 0 4 0 0 0 16 0 8 0 277081187 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18638] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18638/stat : 18638 (java) S 18633 18635 17988 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277081188 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18639] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18639/stat : 18639 (java) S 18633 18635 17988 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277081188 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18640] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18640/stat : 18640 (java) S 18633 18635 17988 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277081191 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18641] ppid=18633 vsize=915444 CPUtime=0.34
/proc/18635/task/18641/stat : 18641 (java) S 18633 18635 17988 0 -1 64 449 0 0 0 33 1 0 0 16 0 8 0 277081191 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18635/tid=18642] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18642/stat : 18642 (java) S 18633 18635 17988 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277081191 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18643] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18643/stat : 18643 (java) R 18633 18635 17988 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277081191 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 915444
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2403.99
CPU time (s): 2400.1
CPU user time (s): 2397.81
CPU system time (s): 2.28865
CPU usage (%): 99.8383
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.81
system time used= 2.28865
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12458
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= 50002
involuntary context switches= 30981
runsolver used 2.46362 s user time and 7.45487 s system time
The end
Begin job on node17 on Sat Jan 20 09:54:24 UTC 2007
IDJOB= 278318
IDBENCH= 8266
IDSOLVER= 69
FILE ID= node17/278318-1169286864
PBS_JOBID= 3609505
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/3-40-2100-3000/cnf-3-40-2600-873121_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278318-1169286864/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-278318-1169286864 -o ROOT/results/node17/solver-278318-1169286864 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278318-1169286864/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 1b8072ed34ab74d9c0e3089fed88ba6c
RANDOM SEED= 898482526
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.236
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.236
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1352056 kB
Buffers: 47892 kB
Cached: 505492 kB
SwapCached: 0 kB
Active: 276548 kB
Inactive: 351172 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1352056 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1920 kB
Writeback: 0 kB
Mapped: 94508 kB
Slab: 60904 kB
Committed_AS: 8550988 kB
PageTables: 2288 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 node17 on Sat Jan 20 10:34:30 UTC 2007