0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=epfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/276571-1169240992/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=180 maxDomainSize=180
0.42 => wckTime=0.103 cpuTime=0.09 mem=6M887
0.42
0.42 relations being loaded...
0.78
0.78 constraints being loaded...
0.92 nbConstraints=84 nbRelationTypes=84 nbExtensionStructures=84 nbSharedExtensionStructures=0
0.92 nbConflictsStructures=84 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=9 maxArity=2
0.92 => wckTime=0.601 cpuTime=0.54 mem=36M312
0.97
0.97 solver LocalSearchSolver being built...
1.02 => wckTime=0.701 cpuTime=0.58 mem=7M503
1.03
1.03 s SATISFIABLE
1.03 o 12
1.03 c 72
1.03 o 16
1.03 c 68
1.03 o 19
1.04 c 65
1.04 o 22
1.04 c 62
1.04 o 25
1.04 c 59
1.04 o 28
1.04 c 56
1.04 o 30
1.04 c 54
1.04 o 32
1.05 c 52
1.05 o 34
1.05 c 50
1.05 o 36
1.05 c 48
1.05 o 38
1.05 c 46
1.05 o 40
1.05 c 44
1.05 o 42
1.05 c 42
1.06 o 44
1.06 c 40
1.06 o 46
1.06 c 38
1.06 o 48
1.06 c 36
1.06 o 50
1.06 c 34
1.06 o 52
1.06 c 32
1.06 o 54
1.06 c 30
1.06 o 56
1.06 c 28
1.07 o 57
1.07 c 27
1.07 o 59
1.07 c 25
1.07 o 60
1.07 c 24
1.07 o 61
1.07 c 23
1.07 o 62
1.07 c 22
1.10 o 63
1.10 c 21
1.10 o 64
1.10 c 20
1.10 o 65
1.10 c 19
1.10 o 66
1.10 c 18
1.10 o 67
1.10 c 17
1.12 o 68
1.12 c 16
1.13 o 69
1.13 c 15
1.13 o 71
1.13 c 13
1.13 o 72
1.13 c 12
1.13 o 73
1.13 c 11
1.21 o 74
1.21 c 10
1.37 o 75
1.37 c 9
1.37 o 76
1.37 c 8
1.42 o 77
1.42 c 7
2.16 o 78
2.16 c 6
2.16 o 79
2.16 c 5
2.32 o 80
2.32 c 4
11.09
11.09 search
11.09 run=0 nbConstraintChecks=85386720 nbAssignments=10000
11.09 => wckTime=10.073 cpuTime=10.0 mem=7M503
21.93
21.93 search
21.93 run=1 nbConstraintChecks=175095205 nbAssignments=20000
21.93 => wckTime=20.913 cpuTime=20.78 mem=7M503
32.16
32.16 search
32.16 run=2 nbConstraintChecks=259206283 nbAssignments=30000
32.16 => wckTime=31.148 cpuTime=30.97 mem=7M503
32.47
32.47 search
32.47 run=3 nbConstraintChecks=261652811 nbAssignments=30481
32.47 => wckTime=31.455 cpuTime=31.28 mem=7M503
32.47
32.47 global
32.47 nbConstraintChecks=261652811 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.47 solvingWckTime=31.45 solvingCpuTime=31.27 expiredTime=no totalExploration=no nbFoundSolutions=0
32.47 globalCpuTime=31.91
32.47 => wckTime=32.155 cpuTime=31.86 mem=7M503
32.47
32.47 solver IterativeSystematicSolver being built...
32.60 => wckTime=32.285 cpuTime=31.96 mem=18M287
32.77
32.77 preprocessing
32.77 nbConstraintChecks=524226 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
32.77 detectedInconsistency=no
32.77 => wckTime=0.165 cpuTime=0.14 mem=18M287
35.94
35.95 search
35.95 run=0 nbConstraintChecks=22818857 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=811
35.95 nbFailedAssignments=789 nbBacktracks=10 nbVisitedNodes=1611 nbRestartNogoods=0
35.95 => wckTime=3.341 cpuTime=3.28 mem=18M287
42.14
42.14 search
42.14 run=1 nbConstraintChecks=76773922 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2496
42.14 nbFailedAssignments=2453 nbBacktracks=25 nbVisitedNodes=4975 nbRestartNogoods=227
42.14 => wckTime=9.538 cpuTime=9.42 mem=18M287
45.47
45.47 search
45.47 run=2 nbConstraintChecks=99122061 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3327
45.47 nbFailedAssignments=3254 nbBacktracks=47 nbVisitedNodes=6629 nbRestartNogoods=229
45.47 => wckTime=12.868 cpuTime=12.73 mem=18M287
52.95
52.95 search
52.95 run=3 nbConstraintChecks=157031688 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5097
52.95 nbFailedAssignments=4980 nbBacktracks=80 nbVisitedNodes=10158 nbRestartNogoods=342
52.95 => wckTime=20.349 cpuTime=20.17 mem=18M287
64.49
64.49 search
64.49 run=4 nbConstraintChecks=259001725 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8769
64.49 nbFailedAssignments=8592 nbBacktracks=130 nbVisitedNodes=17492 nbRestartNogoods=497
64.49 => wckTime=31.891 cpuTime=31.66 mem=18M287
77.33
77.33 search
77.33 run=5 nbConstraintChecks=363379733 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=12436
77.33 nbFailedAssignments=12177 nbBacktracks=205 nbVisitedNodes=24819 nbRestartNogoods=897
77.33 => wckTime=44.728 cpuTime=44.43 mem=18M287
97.33
97.33 search
97.33 run=6 nbConstraintChecks=532990621 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=18166
97.33 nbFailedAssignments=17783 nbBacktracks=318 nbVisitedNodes=36268 nbRestartNogoods=919
97.33 => wckTime=64.729 cpuTime=64.34 mem=18M287
110.42
110.42 search
110.42 run=7 nbConstraintChecks=646441138 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=23037
110.42 nbFailedAssignments=22470 nbBacktracks=488 nbVisitedNodes=45996 nbRestartNogoods=1130
110.42 => wckTime=77.822 cpuTime=77.38 mem=18M287
143.65
143.65 search
143.65 run=8 nbConstraintChecks=853700015 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=31006
143.65 nbFailedAssignments=30169 nbBacktracks=744 nbVisitedNodes=61918 nbRestartNogoods=1491
143.65 => wckTime=111.049 cpuTime=110.45 mem=18M287
173.49
173.49 search
173.49 run=9 nbConstraintChecks=1044808263 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=38437
173.49 nbFailedAssignments=37206 nbBacktracks=1128 nbVisitedNodes=76766 nbRestartNogoods=1661
173.49 => wckTime=140.889 cpuTime=140.15 mem=18M287
208.90
208.90 search
208.90 run=10 nbConstraintChecks=1282208777 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=48063
208.90 nbFailedAssignments=46249 nbBacktracks=1704 nbVisitedNodes=95998 nbRestartNogoods=1672
208.90 => wckTime=176.294 cpuTime=175.38 mem=18M287
252.38
252.38 search
252.38 run=11 nbConstraintChecks=1525464784 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=57942
252.38 nbFailedAssignments=55260 nbBacktracks=2568 nbVisitedNodes=115719 nbRestartNogoods=1683
252.38 => wckTime=219.778 cpuTime=218.66 mem=18M287
322.71
322.71 search
322.71 run=12 nbConstraintChecks=1948484110 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=73571
322.71 nbFailedAssignments=69584 nbBacktracks=3865 nbVisitedNodes=146885 nbRestartNogoods=1689
322.71 => wckTime=290.107 cpuTime=288.66 mem=18M287
400.61
400.61 search
400.61 run=13 nbConstraintChecks=2325892171 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=87786
400.61 nbFailedAssignments=81842 nbBacktracks=5811 nbVisitedNodes=175216 nbRestartNogoods=1716
400.61 => wckTime=368.008 cpuTime=366.2 mem=18M287
487.38
487.38 search
487.38 run=14 nbConstraintChecks=2737133081 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=103405
487.38 nbFailedAssignments=94530 nbBacktracks=8730 nbVisitedNodes=205892 nbRestartNogoods=1775
487.38 => wckTime=454.777 cpuTime=452.93 mem=18M287
621.18
621.18 search
621.18 run=15 nbConstraintChecks=3391493381 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=128516
621.18 nbFailedAssignments=115256 nbBacktracks=13108 nbVisitedNodes=255388 nbRestartNogoods=1803
621.18 => wckTime=588.577 cpuTime=586.7 mem=18M287
800.90 o 81
800.90 c 3
817.90
817.90 search
817.90 run=16 nbConstraintChecks=4447814644 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=173183
817.90 nbFailedAssignments=153349 nbBacktracks=19676 nbVisitedNodes=344044 nbRestartNogoods=1838
817.90 => wckTime=785.298 cpuTime=783.37 mem=18M287
1081.94
1081.94 search
1081.94 run=17 nbConstraintChecks=5595173222 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=215929
1081.94 nbFailedAssignments=186236 nbBacktracks=29529 nbVisitedNodes=427111 nbRestartNogoods=1890
1081.94 => wckTime=1049.336 cpuTime=1047.34 mem=18M287
1255.48 o 82
1255.48 c 2
1444.25
1444.25 search
1444.25 run=18 nbConstraintChecks=7240825646 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=284497
1444.25 nbFailedAssignments=240017 nbBacktracks=44307 nbVisitedNodes=559359 nbRestartNogoods=1953
1444.25 => wckTime=1411.646 cpuTime=1409.56 mem=18M287
1947.73
1947.74 search
1947.74 run=19 nbConstraintChecks=9591012102 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=385018
1947.74 nbFailedAssignments=318366 nbBacktracks=66475 nbVisitedNodes=753232 nbRestartNogoods=1980
1947.74 => wckTime=1915.133 cpuTime=1912.91 mem=18M287
1965.61 o 83
1965.61 c 1
2381.80
2381.80 search
2381.80 run=20 nbConstraintChecks=11175721216 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=460036
2381.80 nbFailedAssignments=360126 nbBacktracks=99727 nbVisitedNodes=877494 nbRestartNogoods=2032
2381.80 => wckTime=2349.2 cpuTime=2346.75 mem=19M259
2402.83 v 114 23 163 131 133 68 140 0 175 141 9 159 87 137 147 127 62 8 70 0 26 78 55 159 142 32 5 31 96 61 130 4 23 35 11 119 70 136 24 121
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node17/watcher-276571-1169240992 -o ROOT/results/node17/solver-276571-1169240992 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276571-1169240992/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.92 1.98 1.99 2/87 8718
/proc/meminfo: memFree=1361680/2055920 swapFree=4192812/4192956
[pid=8717] ppid=8715 vsize=18540 CPUtime=0
/proc/8717/stat : 8717 (runsolver) R 8715 8717 8312 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 272494008 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 245482712359 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/8717/statm: 4635 279 244 17 0 2626 0
[startup+0.102621 s]
/proc/loadavg: 1.92 1.98 1.99 2/87 8718
/proc/meminfo: memFree=1361680/2055920 swapFree=4192812/4192956
[pid=8717] ppid=8715 vsize=914988 CPUtime=0.07
/proc/8717/stat : 8717 (java) R 8715 8717 8312 0 -1 0 2952 0 1 0 6 1 0 0 17 0 8 0 272494008 936947712 2698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155090219 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8717/statm: 228747 2698 1413 14 0 215242 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914988
[startup+0.51066 s]
/proc/loadavg: 1.92 1.98 1.99 2/87 8718
/proc/meminfo: memFree=1361680/2055920 swapFree=4192812/4192956
[pid=8717] ppid=8715 vsize=915332 CPUtime=0.48
/proc/8717/stat : 8717 (java) R 8715 8717 8312 0 -1 0 7289 0 1 0 45 3 0 0 18 0 8 0 272494008 937299968 7028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073585095 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8717/statm: 228833 7028 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.33174 s]
/proc/loadavg: 1.92 1.98 1.99 3/94 8725
/proc/meminfo: memFree=1315224/2055920 swapFree=4192812/4192956
[pid=8717] ppid=8715 vsize=915444 CPUtime=1.29
/proc/8717/stat : 8717 (java) R 8715 8717 8312 0 -1 0 14249 0 1 0 119 10 0 0 24 0 8 0 272494008 937414656 13987 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073677676 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8717/statm: 228861 13987 2479 14 0 215331 0
[pid=8717/tid=8719] ppid=8715 vsize=915444 CPUtime=0.04
/proc/8717/task/8719/stat : 8719 (java) S 8715 8717 8312 0 -1 64 616 0 0 0 4 0 0 0 17 0 8 0 272494013 937414656 13987 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8720] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8720/stat : 8720 (java) S 8715 8717 8312 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272494013 937414656 13987 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8721] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8721/stat : 8721 (java) S 8715 8717 8312 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272494013 937414656 13987 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8722] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8722/stat : 8722 (java) S 8715 8717 8312 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272494017 937414656 13987 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8723] ppid=8715 vsize=915444 CPUtime=0.12
/proc/8717/task/8723/stat : 8723 (java) S 8715 8717 8312 0 -1 64 329 0 0 0 12 0 0 0 16 0 8 0 272494017 937414656 13987 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8724] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8724/stat : 8724 (java) S 8715 8717 8312 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272494017 937414656 13987 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8725] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8725/stat : 8725 (java) S 8715 8717 8312 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272494017 937414656 13987 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915444
[startup+2.97791 s]
/proc/loadavg: 1.92 1.98 1.99 3/94 8725
/proc/meminfo: memFree=1315160/2055920 swapFree=4192812/4192956
[pid=8717] ppid=8715 vsize=915444 CPUtime=2.93
/proc/8717/stat : 8717 (java) R 8715 8717 8312 0 -1 0 14255 0 1 0 276 17 0 0 25 0 8 0 272494008 937414656 13992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073682515 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8717/statm: 228861 13992 2479 14 0 215331 0
[pid=8717/tid=8719] ppid=8715 vsize=915444 CPUtime=0.04
/proc/8717/task/8719/stat : 8719 (java) S 8715 8717 8312 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272494013 937414656 13992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8720] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8720/stat : 8720 (java) S 8715 8717 8312 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272494013 937414656 13992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8721] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8721/stat : 8721 (java) S 8715 8717 8312 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272494013 937414656 13992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8722] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8722/stat : 8722 (java) S 8715 8717 8312 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272494017 937414656 13992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8723] ppid=8715 vsize=915444 CPUtime=0.13
/proc/8717/task/8723/stat : 8723 (java) S 8715 8717 8312 0 -1 64 334 0 0 0 13 0 0 0 15 0 8 0 272494017 937414656 13992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8724] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8724/stat : 8724 (java) S 8715 8717 8312 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272494017 937414656 13992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8725] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8725/stat : 8725 (java) S 8715 8717 8312 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272494017 937414656 13992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915444
[startup+6.17925 s]
/proc/loadavg: 2.01 2.00 2.00 3/94 8725
/proc/meminfo: memFree=1315168/2055920 swapFree=4192812/4192956
[pid=8717] ppid=8715 vsize=915444 CPUtime=6.12
/proc/8717/stat : 8717 (java) R 8715 8717 8312 0 -1 0 14255 0 1 0 581 31 0 0 25 0 8 0 272494008 937414656 13992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073677472 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8717/statm: 228861 13992 2479 14 0 215331 0
[pid=8717/tid=8719] ppid=8715 vsize=915444 CPUtime=0.04
/proc/8717/task/8719/stat : 8719 (java) S 8715 8717 8312 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272494013 937414656 13992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8720] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8720/stat : 8720 (java) S 8715 8717 8312 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272494013 937414656 13992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8721] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8721/stat : 8721 (java) S 8715 8717 8312 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272494013 937414656 13992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8722] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8722/stat : 8722 (java) S 8715 8717 8312 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272494017 937414656 13992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8723] ppid=8715 vsize=915444 CPUtime=0.13
/proc/8717/task/8723/stat : 8723 (java) S 8715 8717 8312 0 -1 64 334 0 0 0 13 0 0 0 15 0 8 0 272494017 937414656 13992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8724] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8724/stat : 8724 (java) S 8715 8717 8312 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272494017 937414656 13992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8725] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8725/stat : 8725 (java) S 8715 8717 8312 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272494017 937414656 13992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 915444
[startup+12.6549 s]
/proc/loadavg: 2.01 2.00 2.00 3/94 8725
/proc/meminfo: memFree=1315168/2055920 swapFree=4192812/4192956
[pid=8717] ppid=8715 vsize=915444 CPUtime=12.56
/proc/8717/stat : 8717 (java) R 8715 8717 8312 0 -1 0 14257 0 1 0 1200 56 0 0 25 0 8 0 272494008 937414656 13994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073683684 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8717/statm: 228861 13994 2479 14 0 215331 0
[pid=8717/tid=8719] ppid=8715 vsize=915444 CPUtime=0.04
/proc/8717/task/8719/stat : 8719 (java) S 8715 8717 8312 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272494013 937414656 13994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8720] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8720/stat : 8720 (java) S 8715 8717 8312 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272494013 937414656 13994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8721] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8721/stat : 8721 (java) S 8715 8717 8312 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272494013 937414656 13994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8722] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8722/stat : 8722 (java) S 8715 8717 8312 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272494017 937414656 13994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8723] ppid=8715 vsize=915444 CPUtime=0.13
/proc/8717/task/8723/stat : 8723 (java) S 8715 8717 8312 0 -1 64 336 0 0 0 13 0 0 0 16 0 8 0 272494017 937414656 13994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8724] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8724/stat : 8724 (java) S 8715 8717 8312 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272494017 937414656 13994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8725] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8725/stat : 8725 (java) S 8715 8717 8312 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272494017 937414656 13994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 915444
[startup+25.5053 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 8725
/proc/meminfo: memFree=1315296/2055920 swapFree=4192812/4192956
[pid=8717] ppid=8715 vsize=915444 CPUtime=25.35
/proc/8717/stat : 8717 (java) R 8715 8717 8312 0 -1 0 14257 0 1 0 2432 103 0 0 25 0 8 0 272494008 937414656 13994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073683787 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8717/statm: 228861 13994 2479 14 0 215331 0
[pid=8717/tid=8719] ppid=8715 vsize=915444 CPUtime=0.04
/proc/8717/task/8719/stat : 8719 (java) S 8715 8717 8312 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272494013 937414656 13994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8720] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8720/stat : 8720 (java) S 8715 8717 8312 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272494013 937414656 13994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8721] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8721/stat : 8721 (java) S 8715 8717 8312 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272494013 937414656 13994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8722] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8722/stat : 8722 (java) S 8715 8717 8312 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272494017 937414656 13994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8723] ppid=8715 vsize=915444 CPUtime=0.13
/proc/8717/task/8723/stat : 8723 (java) S 8715 8717 8312 0 -1 64 336 0 0 0 13 0 0 0 16 0 8 0 272494017 937414656 13994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8724] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8724/stat : 8724 (java) S 8715 8717 8312 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272494017 937414656 13994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8725] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8725/stat : 8725 (java) S 8715 8717 8312 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272494017 937414656 13994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915444
[startup+51.1199 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 8725
/proc/meminfo: memFree=1314976/2055920 swapFree=4192812/4192956
[pid=8717] ppid=8715 vsize=915444 CPUtime=50.85
/proc/8717/stat : 8717 (java) R 8715 8717 8312 0 -1 0 14417 0 1 0 4956 129 0 0 25 0 8 0 272494008 937414656 14145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793627 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8717/statm: 228861 14145 2532 14 0 215331 0
[pid=8717/tid=8719] ppid=8715 vsize=915444 CPUtime=0.04
/proc/8717/task/8719/stat : 8719 (java) S 8715 8717 8312 0 -1 64 617 0 0 0 4 0 0 0 16 0 8 0 272494013 937414656 14145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8720] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8720/stat : 8720 (java) S 8715 8717 8312 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272494013 937414656 14145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8721] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8721/stat : 8721 (java) S 8715 8717 8312 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272494013 937414656 14145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8722] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8722/stat : 8722 (java) S 8715 8717 8312 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272494017 937414656 14145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8723] ppid=8715 vsize=915444 CPUtime=0.23
/proc/8717/task/8723/stat : 8723 (java) S 8715 8717 8312 0 -1 64 390 0 0 0 23 0 0 0 16 0 8 0 272494017 937414656 14145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8724] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8724/stat : 8724 (java) S 8715 8717 8312 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272494017 937414656 14145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8725] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8725/stat : 8725 (java) S 8715 8717 8312 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272494017 937414656 14145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.85
Current children cumulated vsize (KiB) 915444
[startup+102.343 s]
/proc/loadavg: 2.15 2.03 2.01 3/94 8725
/proc/meminfo: memFree=1315040/2055920 swapFree=4192812/4192956
[pid=8717] ppid=8715 vsize=915444 CPUtime=101.83
/proc/8717/stat : 8717 (java) R 8715 8717 8312 0 -1 0 14420 0 1 0 10054 129 0 0 25 0 8 0 272494008 937414656 14148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073810881 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8717/statm: 228861 14148 2532 14 0 215331 0
[pid=8717/tid=8719] ppid=8715 vsize=915444 CPUtime=0.04
/proc/8717/task/8719/stat : 8719 (java) S 8715 8717 8312 0 -1 64 617 0 0 0 4 0 0 0 16 0 8 0 272494013 937414656 14148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8720] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8720/stat : 8720 (java) S 8715 8717 8312 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272494013 937414656 14148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8721] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8721/stat : 8721 (java) S 8715 8717 8312 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272494013 937414656 14148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8722] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8722/stat : 8722 (java) S 8715 8717 8312 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272494017 937414656 14148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8723] ppid=8715 vsize=915444 CPUtime=0.24
/proc/8717/task/8723/stat : 8723 (java) S 8715 8717 8312 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 272494017 937414656 14148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8724] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8724/stat : 8724 (java) S 8715 8717 8312 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272494017 937414656 14148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8725] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8725/stat : 8725 (java) S 8715 8717 8312 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272494017 937414656 14148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 915444
[startup+162.405 s]
/proc/loadavg: 2.05 2.02 2.00 3/94 8725
/proc/meminfo: memFree=1314976/2055920 swapFree=4192812/4192956
[pid=8717] ppid=8715 vsize=915444 CPUtime=161.61
/proc/8717/stat : 8717 (java) R 8715 8717 8312 0 -1 0 14422 0 1 0 16031 130 0 0 25 0 8 0 272494008 937414656 14148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073835484 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2022.74
Current children cumulated vsize (KiB) 915444
[startup+2085.18 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 8727
/proc/meminfo: memFree=1314912/2055920 swapFree=4192812/4192956
[pid=8717] ppid=8715 vsize=915444 CPUtime=2082.82
/proc/8717/stat : 8717 (java) R 8715 8717 8312 0 -1 0 14427 0 1 0 208135 147 0 0 25 0 8 0 272494008 937414656 14151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073675392 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8717/statm: 228861 14151 2532 14 0 215331 0
[pid=8717/tid=8719] ppid=8715 vsize=915444 CPUtime=0.04
/proc/8717/task/8719/stat : 8719 (java) S 8715 8717 8312 0 -1 64 617 0 0 0 4 0 0 0 16 0 8 0 272494013 937414656 14151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8720] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8720/stat : 8720 (java) S 8715 8717 8312 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272494013 937414656 14151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8721] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8721/stat : 8721 (java) S 8715 8717 8312 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272494013 937414656 14151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8722] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8722/stat : 8722 (java) S 8715 8717 8312 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272494017 937414656 14151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8723] ppid=8715 vsize=915444 CPUtime=0.25
/proc/8717/task/8723/stat : 8723 (java) S 8715 8717 8312 0 -1 64 397 0 0 0 24 1 0 0 16 0 8 0 272494017 937414656 14151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8724] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8724/stat : 8724 (java) S 8715 8717 8312 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272494017 937414656 14151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8725] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8725/stat : 8725 (java) S 8715 8717 8312 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272494017 937414656 14151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2082.82
Current children cumulated vsize (KiB) 915444
[startup+2145.27 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 8727
/proc/meminfo: memFree=1314848/2055920 swapFree=4192812/4192956
[pid=8717] ppid=8715 vsize=915444 CPUtime=2142.9
/proc/8717/stat : 8717 (java) R 8715 8717 8312 0 -1 0 14427 0 1 0 214143 147 0 0 25 0 8 0 272494008 937414656 14151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073810839 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8717/statm: 228861 14151 2532 14 0 215331 0
[pid=8717/tid=8719] ppid=8715 vsize=915444 CPUtime=0.04
/proc/8717/task/8719/stat : 8719 (java) S 8715 8717 8312 0 -1 64 617 0 0 0 4 0 0 0 16 0 8 0 272494013 937414656 14151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8720] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8720/stat : 8720 (java) S 8715 8717 8312 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272494013 937414656 14151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8721] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8721/stat : 8721 (java) S 8715 8717 8312 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272494013 937414656 14151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8722] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8722/stat : 8722 (java) S 8715 8717 8312 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272494017 937414656 14151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8723] ppid=8715 vsize=915444 CPUtime=0.25
/proc/8717/task/8723/stat : 8723 (java) S 8715 8717 8312 0 -1 64 397 0 0 0 24 1 0 0 16 0 8 0 272494017 937414656 14151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8724] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8724/stat : 8724 (java) S 8715 8717 8312 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272494017 937414656 14151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8725] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8725/stat : 8725 (java) S 8715 8717 8312 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272494017 937414656 14151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2142.9
Current children cumulated vsize (KiB) 915444
[startup+2205.37 s]
/proc/loadavg: 2.07 2.02 2.00 3/94 8727
/proc/meminfo: memFree=1314848/2055920 swapFree=4192812/4192956
[pid=8717] ppid=8715 vsize=915444 CPUtime=2202.98
/proc/8717/stat : 8717 (java) R 8715 8717 8312 0 -1 0 14427 0 1 0 220150 148 0 0 25 0 8 0 272494008 937414656 14151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073675403 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8717/statm: 228861 14151 2532 14 0 215331 0
[pid=8717/tid=8719] ppid=8715 vsize=915444 CPUtime=0.04
/proc/8717/task/8719/stat : 8719 (java) S 8715 8717 8312 0 -1 64 617 0 0 0 4 0 0 0 16 0 8 0 272494013 937414656 14151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8720] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8720/stat : 8720 (java) S 8715 8717 8312 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272494013 937414656 14151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8721] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8721/stat : 8721 (java) S 8715 8717 8312 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272494013 937414656 14151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8722] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8722/stat : 8722 (java) S 8715 8717 8312 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272494017 937414656 14151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8723] ppid=8715 vsize=915444 CPUtime=0.25
/proc/8717/task/8723/stat : 8723 (java) S 8715 8717 8312 0 -1 64 397 0 0 0 24 1 0 0 16 0 8 0 272494017 937414656 14151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8724] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8724/stat : 8724 (java) S 8715 8717 8312 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272494017 937414656 14151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8725] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8725/stat : 8725 (java) S 8715 8717 8312 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272494017 937414656 14151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2202.98
Current children cumulated vsize (KiB) 915444
[startup+2265.46 s]
/proc/loadavg: 2.02 2.01 2.00 3/94 8727
/proc/meminfo: memFree=1314848/2055920 swapFree=4192812/4192956
[pid=8717] ppid=8715 vsize=915444 CPUtime=2263.05
/proc/8717/stat : 8717 (java) R 8715 8717 8312 0 -1 0 14427 0 1 0 226157 148 0 0 25 0 8 0 272494008 937414656 14151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336182 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8717/statm: 228861 14151 2532 14 0 215331 0
[pid=8717/tid=8719] ppid=8715 vsize=915444 CPUtime=0.04
/proc/8717/task/8719/stat : 8719 (java) S 8715 8717 8312 0 -1 64 617 0 0 0 4 0 0 0 16 0 8 0 272494013 937414656 14151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8720] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8720/stat : 8720 (java) S 8715 8717 8312 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272494013 937414656 14151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8721] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8721/stat : 8721 (java) S 8715 8717 8312 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272494013 937414656 14151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8722] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8722/stat : 8722 (java) S 8715 8717 8312 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272494017 937414656 14151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8723] ppid=8715 vsize=915444 CPUtime=0.25
/proc/8717/task/8723/stat : 8723 (java) S 8715 8717 8312 0 -1 64 397 0 0 0 24 1 0 0 16 0 8 0 272494017 937414656 14151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8724] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8724/stat : 8724 (java) S 8715 8717 8312 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272494017 937414656 14151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8725] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8725/stat : 8725 (java) S 8715 8717 8312 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272494017 937414656 14151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2263.05
Current children cumulated vsize (KiB) 915444
[startup+2325.55 s]
/proc/loadavg: 2.01 2.00 2.00 3/94 8727
/proc/meminfo: memFree=1314848/2055920 swapFree=4192812/4192956
[pid=8717] ppid=8715 vsize=915444 CPUtime=2323.14
/proc/8717/stat : 8717 (java) R 8715 8717 8312 0 -1 0 14427 0 1 0 232165 149 0 0 25 0 8 0 272494008 937414656 14151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073790266 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8717/statm: 228861 14151 2532 14 0 215331 0
[pid=8717/tid=8719] ppid=8715 vsize=915444 CPUtime=0.04
/proc/8717/task/8719/stat : 8719 (java) S 8715 8717 8312 0 -1 64 617 0 0 0 4 0 0 0 16 0 8 0 272494013 937414656 14151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8720] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8720/stat : 8720 (java) S 8715 8717 8312 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272494013 937414656 14151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8721] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8721/stat : 8721 (java) S 8715 8717 8312 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272494013 937414656 14151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8722] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8722/stat : 8722 (java) S 8715 8717 8312 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272494017 937414656 14151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8723] ppid=8715 vsize=915444 CPUtime=0.25
/proc/8717/task/8723/stat : 8723 (java) S 8715 8717 8312 0 -1 64 397 0 0 0 24 1 0 0 16 0 8 0 272494017 937414656 14151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8724] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8724/stat : 8724 (java) S 8715 8717 8312 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272494017 937414656 14151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8725] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8725/stat : 8725 (java) S 8715 8717 8312 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272494017 937414656 14151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2323.14
Current children cumulated vsize (KiB) 915444
[startup+2385.64 s]
/proc/loadavg: 1.96 1.99 1.99 3/94 8850
/proc/meminfo: memFree=1284456/2055920 swapFree=4192812/4192956
[pid=8717] ppid=8715 vsize=915444 CPUtime=2383.08
/proc/8717/stat : 8717 (java) R 8715 8717 8312 0 -1 0 14427 0 1 0 238158 150 0 0 25 0 8 0 272494008 937414656 14151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073812308 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8717/statm: 228861 14151 2532 14 0 215331 0
[pid=8717/tid=8719] ppid=8715 vsize=915444 CPUtime=0.04
/proc/8717/task/8719/stat : 8719 (java) S 8715 8717 8312 0 -1 64 617 0 0 0 4 0 0 0 16 0 8 0 272494013 937414656 14151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8720] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8720/stat : 8720 (java) S 8715 8717 8312 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272494013 937414656 14151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8721] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8721/stat : 8721 (java) S 8715 8717 8312 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272494013 937414656 14151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8722] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8722/stat : 8722 (java) S 8715 8717 8312 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272494017 937414656 14151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8723] ppid=8715 vsize=915444 CPUtime=0.25
/proc/8717/task/8723/stat : 8723 (java) S 8715 8717 8312 0 -1 64 397 0 0 0 24 1 0 0 16 0 8 0 272494017 937414656 14151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8724] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8724/stat : 8724 (java) S 8715 8717 8312 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272494017 937414656 14151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8725] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8725/stat : 8725 (java) S 8715 8717 8312 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272494017 937414656 14151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2383.08
Current children cumulated vsize (KiB) 915444
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2402.82 s]
/proc/loadavg: 1.97 1.99 1.99 3/94 8850
/proc/meminfo: memFree=1279720/2055920 swapFree=4192812/4192956
[pid=8717] ppid=8715 vsize=915444 CPUtime=2400.1
/proc/8717/stat : 8717 (java) R 8715 8717 8312 0 -1 0 14427 0 1 0 239860 150 0 0 25 0 8 0 272494008 937414656 14151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073876011 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8717/statm: 228861 14151 2532 14 0 215331 0
[pid=8717/tid=8719] ppid=8715 vsize=915444 CPUtime=0.04
/proc/8717/task/8719/stat : 8719 (java) S 8715 8717 8312 0 -1 64 617 0 0 0 4 0 0 0 16 0 8 0 272494013 937414656 14151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8720] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8720/stat : 8720 (java) S 8715 8717 8312 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272494013 937414656 14151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8721] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8721/stat : 8721 (java) S 8715 8717 8312 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272494013 937414656 14151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8722] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8722/stat : 8722 (java) S 8715 8717 8312 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272494017 937414656 14151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8723] ppid=8715 vsize=915444 CPUtime=0.25
/proc/8717/task/8723/stat : 8723 (java) S 8715 8717 8312 0 -1 64 397 0 0 0 24 1 0 0 16 0 8 0 272494017 937414656 14151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8724] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8724/stat : 8724 (java) S 8715 8717 8312 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272494017 937414656 14151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8725] ppid=8715 vsize=915444 CPUtime=0
/proc/8717/task/8725/stat : 8725 (java) S 8715 8717 8312 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272494017 937414656 14151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.1
Current children cumulated vsize (KiB) 915444
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2402.88
CPU time (s): 2400.16
CPU user time (s): 2398.64
CPU system time (s): 1.51777
CPU usage (%): 99.8867
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.64
system time used= 1.51777
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14447
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= 49758
involuntary context switches= 97163
runsolver used 2.78758 s user time and 7.85181 s system time
The end
Begin job on node17 on Fri Jan 19 21:09:52 UTC 2007
IDJOB= 276571
IDBENCH= 5870
IDSOLVER= 68
FILE ID= node17/276571-1169240992
PBS_JOBID= 3589021
Free space on /tmp= 66554 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.9/rand-2-40-180-84-900-16_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276571-1169240992/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-276571-1169240992 -o ROOT/results/node17/solver-276571-1169240992 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276571-1169240992/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 34410238574fa0d1b325633cee1e3577
RANDOM SEED= 996216563
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: 1362160 kB
Buffers: 45432 kB
Cached: 499316 kB
SwapCached: 0 kB
Active: 268480 kB
Inactive: 350052 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1362160 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3480 kB
Writeback: 0 kB
Mapped: 93916 kB
Slab: 59972 kB
Committed_AS: 7896508 kB
PageTables: 2292 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= 66555 MiB
End job on node17 on Fri Jan 19 21:49:55 UTC 2007