0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=epfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/278290-1169285345/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.09 cpuTime=0.08 mem=6M887
0.41
0.41 relations being loaded...
0.44
0.44 constraints being loaded...
0.69 nbConstraints=2354 nbRelationTypes=60 nbExtensionStructures=60 nbSharedExtensionStructures=2294
0.69 nbConflictsStructures=60 nbSharedConflictsStructures=2294 nbSharedBinaryRepresentations=0 maxDegree=201
0.69 maxArity=3
0.69 => wckTime=0.367 cpuTime=0.24 mem=13M713
0.74
0.74 solver LocalSearchSolver being built...
0.78 => wckTime=0.464 cpuTime=0.29 mem=6M623
0.79
0.79 s SATISFIABLE
0.79 o 2050
0.79 c 304
0.79 o 2061
0.79 c 293
0.79 o 2071
0.79 c 283
0.80 o 2083
0.80 c 271
0.80 o 2087
0.80 c 267
0.80 o 2092
0.80 c 262
0.80 o 2095
0.80 c 259
0.80 o 2104
0.80 c 250
0.80 o 2113
0.80 c 241
0.80 o 2118
0.80 c 236
1.32 o 2122
1.32 c 232
1.98 o 2123
1.98 c 231
3.58 o 2124
3.58 c 230
8.78 o 2125
8.78 c 229
10.86
10.86 search
10.86 run=0 nbConstraintChecks=56687975 nbAssignments=10000
10.86 => wckTime=10.078 cpuTime=9.97 mem=6M623
13.67 o 2127
13.67 c 227
20.81
20.81 search
20.81 run=1 nbConstraintChecks=114682662 nbAssignments=20000
20.81 => wckTime=20.031 cpuTime=19.83 mem=6M623
25.05 o 2129
25.05 c 225
30.61
30.61 search
30.61 run=2 nbConstraintChecks=171377419 nbAssignments=30000
30.61 => wckTime=29.826 cpuTime=29.55 mem=6M623
40.38
40.38 search
40.38 run=3 nbConstraintChecks=229306475 nbAssignments=40000
40.38 => wckTime=39.595 cpuTime=39.25 mem=6M623
50.20
50.20 search
50.20 run=4 nbConstraintChecks=285980636 nbAssignments=50000
50.20 => wckTime=49.421 cpuTime=48.99 mem=6M623
55.31
55.31 search
55.31 run=5 nbConstraintChecks=315567476 nbAssignments=55106
55.31 => wckTime=54.523 cpuTime=54.05 mem=6M623
55.31
55.31 global
55.31 nbConstraintChecks=315567476 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
55.31 solvingWckTime=54.522 solvingCpuTime=54.04 expiredTime=no totalExploration=no nbFoundSolutions=0
55.31 globalCpuTime=54.37
55.31 => wckTime=54.988 cpuTime=54.33 mem=6M623
55.31
55.31 solver IterativeSystematicSolver being built...
55.52 => wckTime=55.199 cpuTime=54.5 mem=30M216
55.68
55.68 preprocessing
55.68 nbConstraintChecks=20955 nbValidityChecks=50982 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
55.68 nbRemovedValues=0 detectedInconsistency=no
55.68 => wckTime=0.163 cpuTime=0.14 mem=30M216
55.84
55.84 search
55.84 run=0 nbConstraintChecks=51083 nbValidityChecks=122735 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
55.84 nbAssignments=43 nbFailedAssignments=7 nbBacktracks=11 nbVisitedNodes=62 nbRestartNogoods=0
55.84 => wckTime=0.324 cpuTime=0.28 mem=30M216
56.04
56.04 search
56.04 run=1 nbConstraintChecks=116384 nbValidityChecks=287232 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
56.04 nbAssignments=93 nbFailedAssignments=18 nbBacktracks=26 nbVisitedNodes=138 nbRestartNogoods=1
56.04 => wckTime=0.521 cpuTime=0.47 mem=30M216
56.30
56.30 search
56.30 run=2 nbConstraintChecks=199988 nbValidityChecks=532762 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
56.30 nbAssignments=155 nbFailedAssignments=37 nbBacktracks=48 nbVisitedNodes=240 nbRestartNogoods=3
56.30 => wckTime=0.777 cpuTime=0.72 mem=30M216
56.61
56.61 search
56.61 run=3 nbConstraintChecks=310624 nbValidityChecks=850587 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
56.61 nbAssignments=230 nbFailedAssignments=58 nbBacktracks=81 nbVisitedNodes=368 nbRestartNogoods=6
56.61 => wckTime=1.092 cpuTime=1.03 mem=30M216
57.14
57.14 search
57.14 run=4 nbConstraintChecks=492450 nbValidityChecks=1377930 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
57.14 nbAssignments=344 nbFailedAssignments=101 nbBacktracks=131 nbVisitedNodes=574 nbRestartNogoods=7
57.14 => wckTime=1.617 cpuTime=1.55 mem=30M216
57.89
57.89 search
57.89 run=5 nbConstraintChecks=748880 nbValidityChecks=2148038 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
57.89 nbAssignments=504 nbFailedAssignments=165 nbBacktracks=206 nbVisitedNodes=865 nbRestartNogoods=10
57.89 => wckTime=2.374 cpuTime=2.3 mem=30M216
58.95
58.95 search
58.95 run=6 nbConstraintChecks=1122768 nbValidityChecks=3239929 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
58.95 nbAssignments=718 nbFailedAssignments=247 nbBacktracks=319 nbVisitedNodes=1272 nbRestartNogoods=13
58.95 => wckTime=3.426 cpuTime=3.33 mem=30M216
60.47
60.47 search
60.47 run=7 nbConstraintChecks=1734093 nbValidityChecks=4896420 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
60.47 nbAssignments=1039 nbFailedAssignments=375 nbBacktracks=489 nbVisitedNodes=1885 nbRestartNogoods=17
60.47 => wckTime=4.946 cpuTime=4.83 mem=30M216
62.81
62.81 search
62.81 run=8 nbConstraintChecks=2549714 nbValidityChecks=7342762 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
62.81 nbAssignments=1500 nbFailedAssignments=560 nbBacktracks=745 nbVisitedNodes=2776 nbRestartNogoods=21
62.81 => wckTime=7.29 cpuTime=7.14 mem=30M216
66.50
66.50 search
66.50 run=9 nbConstraintChecks=3774814 nbValidityChecks=11299252 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
66.50 nbAssignments=2211 nbFailedAssignments=869 nbBacktracks=1129 nbVisitedNodes=4163 nbRestartNogoods=25
66.50 => wckTime=10.978 cpuTime=10.78 mem=30M216
71.86
71.86 search
71.86 run=10 nbConstraintChecks=5512416 nbValidityChecks=17073331 nbPropagations=0 nbRevisions=0
71.86 nbUselessRevisions=0 nbAssignments=3240 nbFailedAssignments=1302 nbBacktracks=1705 nbVisitedNodes=6191
71.86 nbRestartNogoods=30
71.86 => wckTime=16.343 cpuTime=16.09 mem=30M216
80.22
80.22 search
80.22 run=11 nbConstraintChecks=8242269 nbValidityChecks=26044395 nbPropagations=0 nbRevisions=0
80.22 nbUselessRevisions=0 nbAssignments=4823 nbFailedAssignments=1998 nbBacktracks=2570 nbVisitedNodes=9308
80.22 nbRestartNogoods=36
80.22 => wckTime=24.705 cpuTime=24.37 mem=30M216
92.16
92.16 search
92.16 run=12 nbConstraintChecks=12146522 nbValidityChecks=39060155 nbPropagations=0 nbRevisions=0
92.16 nbUselessRevisions=0 nbAssignments=7118 nbFailedAssignments=2977 nbBacktracks=3867 nbVisitedNodes=13827
92.16 nbRestartNogoods=39
92.16 => wckTime=36.638 cpuTime=36.19 mem=30M216
110.03
110.03 search
110.03 run=13 nbConstraintChecks=18165574 nbValidityChecks=58642137 nbPropagations=0 nbRevisions=0
110.03 nbUselessRevisions=0 nbAssignments=10577 nbFailedAssignments=4469 nbBacktracks=5813 nbVisitedNodes=20640
110.03 nbRestartNogoods=43
110.03 => wckTime=54.515 cpuTime=53.9 mem=30M216
137.83
137.83 search
137.83 run=14 nbConstraintChecks=26790571 nbValidityChecks=88306161 nbPropagations=0 nbRevisions=0
137.83 nbUselessRevisions=0 nbAssignments=15683 nbFailedAssignments=6637 nbBacktracks=8732 nbVisitedNodes=30748
137.83 nbRestartNogoods=47
137.83 => wckTime=82.309 cpuTime=81.45 mem=30M216
181.06
181.06 search
181.06 run=15 nbConstraintChecks=39531882 nbValidityChecks=133896912 nbPropagations=0 nbRevisions=0
181.06 nbUselessRevisions=0 nbAssignments=23427 nbFailedAssignments=9987 nbBacktracks=13110 nbVisitedNodes=46088
181.06 nbRestartNogoods=54
181.06 => wckTime=125.54 cpuTime=124.28 mem=30M216
245.16
245.16 search
245.16 run=16 nbConstraintChecks=59329503 nbValidityChecks=203578885 nbPropagations=0 nbRevisions=0
245.17 nbUselessRevisions=0 nbAssignments=35267 nbFailedAssignments=15242 nbBacktracks=19679 nbVisitedNodes=69531
245.17 nbRestartNogoods=60
245.17 => wckTime=189.645 cpuTime=187.78 mem=30M216
346.60
346.60 search
346.60 run=17 nbConstraintChecks=86588357 nbValidityChecks=308178931 nbPropagations=0 nbRevisions=0
346.60 nbUselessRevisions=0 nbAssignments=53238 nbFailedAssignments=23343 nbBacktracks=29531 nbVisitedNodes=105056
346.60 nbRestartNogoods=63
346.60 => wckTime=291.079 cpuTime=288.28 mem=30M216
494.14
494.14 search
494.14 run=18 nbConstraintChecks=128075812 nbValidityChecks=462468782 nbPropagations=0 nbRevisions=0
494.14 nbUselessRevisions=0 nbAssignments=79258 nbFailedAssignments=34569 nbBacktracks=44309 nbVisitedNodes=156531
494.14 nbRestartNogoods=69
494.14 => wckTime=438.621 cpuTime=434.46 mem=30M216
715.20
715.20 search
715.20 run=19 nbConstraintChecks=192238500 nbValidityChecks=699766255 nbPropagations=0 nbRevisions=0
715.20 nbUselessRevisions=0 nbAssignments=118930 nbFailedAssignments=52055 nbBacktracks=66478 nbVisitedNodes=235115
715.20 nbRestartNogoods=75
715.20 => wckTime=659.679 cpuTime=653.49 mem=30M216
1053.55
1053.55 search
1053.55 run=20 nbConstraintChecks=284104923 nbValidityChecks=1057048165 nbPropagations=0 nbRevisions=0
1053.55 nbUselessRevisions=0 nbAssignments=177835 nbFailedAssignments=77693 nbBacktracks=99730 nbVisitedNodes=351772
1053.55 nbRestartNogoods=84
1053.55 => wckTime=998.034 cpuTime=988.71 mem=30M216
1549.37
1549.37 search
1549.37 run=21 nbConstraintChecks=425408380 nbValidityChecks=1591862337 nbPropagations=0 nbRevisions=0
1549.37 nbUselessRevisions=0 nbAssignments=265989 nbFailedAssignments=115953 nbBacktracks=149608 nbVisitedNodes=526081
1549.37 nbRestartNogoods=90
1549.37 => wckTime=1493.851 cpuTime=1479.96 mem=30M216
2318.60
2318.60 search
2318.60 run=22 nbConstraintChecks=628671018 nbValidityChecks=2386343714 nbPropagations=0 nbRevisions=0
2318.60 nbUselessRevisions=0 nbAssignments=396640 nbFailedAssignments=171768 nbBacktracks=224426 nbVisitedNodes=784551
2318.60 nbRestartNogoods=98
2318.60 => wckTime=2263.082 cpuTime=2241.87 mem=30M216
2422.57 v 0 1 1 0 1 1 1 0 0 1 1 0 1 1 1 1 0 1 1 0 1 0 1 1 0 1 0 0 0 1 0 1 1 1 0 0 0 1 1 0
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node2/watcher-278290-1169285345 -o ROOT/results/node2/solver-278290-1169285345 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278290-1169285345/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.96 4/87 21612
/proc/meminfo: memFree=1187008/2055920 swapFree=4180552/4192956
[pid=21611] ppid=21609 vsize=47892 CPUtime=0
/proc/21611/stat : 21611 (java) D 21609 21611 20457 0 -1 0 1219 0 1 0 0 0 0 0 17 0 1 0 276930180 49041408 968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/21611/statm: 11973 968 766 14 0 1707 0
[startup+0.107759 s]
/proc/loadavg: 2.00 2.00 1.96 4/87 21612
/proc/meminfo: memFree=1187008/2055920 swapFree=4180552/4192956
[pid=21611] ppid=21609 vsize=914988 CPUtime=0.08
/proc/21611/stat : 21611 (java) R 21609 21611 20457 0 -1 0 2992 0 1 0 7 1 0 0 18 0 8 0 276930180 936947712 2738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155582179 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21611/statm: 228747 2738 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.518836 s]
/proc/loadavg: 2.00 2.00 1.96 4/87 21612
/proc/meminfo: memFree=1187008/2055920 swapFree=4180552/4192956
[pid=21611] ppid=21609 vsize=915332 CPUtime=0.49
/proc/21611/stat : 21611 (java) R 21609 21611 20457 0 -1 0 6349 0 1 0 46 3 0 0 18 0 8 0 276930180 937299968 6088 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072917395 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21611/statm: 228833 6088 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.34499 s]
/proc/loadavg: 2.00 2.00 1.96 3/94 21619
/proc/meminfo: memFree=1163016/2055920 swapFree=4180552/4192956
[pid=21611] ppid=21609 vsize=915444 CPUtime=1.31
/proc/21611/stat : 21611 (java) R 21609 21611 20457 0 -1 0 8675 0 1 0 123 8 0 0 25 0 8 0 276930180 937414656 8413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073818884 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21611/statm: 228861 8413 2477 14 0 215331 0
[pid=21611/tid=21613] ppid=21609 vsize=915444 CPUtime=0.04
/proc/21611/task/21613/stat : 21613 (java) S 21609 21611 20457 0 -1 64 429 0 0 0 4 0 0 0 16 0 8 0 276930184 937414656 8413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21614] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21614/stat : 21614 (java) S 21609 21611 20457 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276930184 937414656 8413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21615] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21615/stat : 21615 (java) S 21609 21611 20457 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276930184 937414656 8413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21616] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21616/stat : 21616 (java) S 21609 21611 20457 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 276930188 937414656 8413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21617] ppid=21609 vsize=915444 CPUtime=0.17
/proc/21611/task/21617/stat : 21617 (java) S 21609 21611 20457 0 -1 64 368 0 0 0 17 0 0 0 16 0 8 0 276930188 937414656 8413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21618] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21618/stat : 21618 (java) S 21609 21611 20457 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276930188 937414656 8413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21619] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21619/stat : 21619 (java) S 21609 21611 20457 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276930188 937414656 8413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915444
[startup+2.98229 s]
/proc/loadavg: 2.00 2.00 1.96 3/94 21619
/proc/meminfo: memFree=1163016/2055920 swapFree=4180552/4192956
[pid=21611] ppid=21609 vsize=915444 CPUtime=2.93
/proc/21611/stat : 21611 (java) R 21609 21611 20457 0 -1 0 8682 0 1 0 278 15 0 0 25 0 8 0 276930180 937414656 8419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073820867 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21611/statm: 228861 8419 2479 14 0 215331 0
[pid=21611/tid=21613] ppid=21609 vsize=915444 CPUtime=0.04
/proc/21611/task/21613/stat : 21613 (java) S 21609 21611 20457 0 -1 64 429 0 0 0 4 0 0 0 16 0 8 0 276930184 937414656 8419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21614] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21614/stat : 21614 (java) S 21609 21611 20457 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276930184 937414656 8419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21615] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21615/stat : 21615 (java) S 21609 21611 20457 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276930184 937414656 8419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21616] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21616/stat : 21616 (java) S 21609 21611 20457 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 276930188 937414656 8419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21617] ppid=21609 vsize=915444 CPUtime=0.18
/proc/21611/task/21617/stat : 21617 (java) S 21609 21611 20457 0 -1 64 374 0 0 0 18 0 0 0 16 0 8 0 276930188 937414656 8419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21618] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21618/stat : 21618 (java) S 21609 21611 20457 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276930188 937414656 8419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21619] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21619/stat : 21619 (java) S 21609 21611 20457 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276930188 937414656 8419 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.2839 s]
/proc/loadavg: 2.00 2.00 1.96 4/94 21619
/proc/meminfo: memFree=1163016/2055920 swapFree=4180552/4192956
[pid=21611] ppid=21609 vsize=915444 CPUtime=6.2
/proc/21611/stat : 21611 (java) R 21609 21611 20457 0 -1 0 8682 0 1 0 588 32 0 0 25 0 8 0 276930180 937414656 8419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819808 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21611/statm: 228861 8419 2479 14 0 215331 0
[pid=21611/tid=21613] ppid=21609 vsize=915444 CPUtime=0.04
/proc/21611/task/21613/stat : 21613 (java) S 21609 21611 20457 0 -1 64 429 0 0 0 4 0 0 0 16 0 8 0 276930184 937414656 8419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21614] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21614/stat : 21614 (java) S 21609 21611 20457 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276930184 937414656 8419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21615] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21615/stat : 21615 (java) S 21609 21611 20457 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276930184 937414656 8419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21616] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21616/stat : 21616 (java) S 21609 21611 20457 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 276930188 937414656 8419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21617] ppid=21609 vsize=915444 CPUtime=0.18
/proc/21611/task/21617/stat : 21617 (java) S 21609 21611 20457 0 -1 64 374 0 0 0 18 0 0 0 16 0 8 0 276930188 937414656 8419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21618] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21618/stat : 21618 (java) S 21609 21611 20457 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276930188 937414656 8419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21619] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21619/stat : 21619 (java) S 21609 21611 20457 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276930188 937414656 8419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915444
[startup+12.7611 s]
/proc/loadavg: 2.00 2.00 1.96 3/94 21619
/proc/meminfo: memFree=1162952/2055920 swapFree=4180552/4192956
[pid=21611] ppid=21609 vsize=915444 CPUtime=12.62
/proc/21611/stat : 21611 (java) R 21609 21611 20457 0 -1 0 8685 0 1 0 1198 64 0 0 25 0 8 0 276930180 937414656 8422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819831 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21611/statm: 228861 8422 2479 14 0 215331 0
[pid=21611/tid=21613] ppid=21609 vsize=915444 CPUtime=0.04
/proc/21611/task/21613/stat : 21613 (java) R 21609 21611 20457 0 -1 64 429 0 0 0 4 0 0 0 16 0 8 0 276930184 937414656 8422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21614] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21614/stat : 21614 (java) S 21609 21611 20457 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276930184 937414656 8422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21615] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21615/stat : 21615 (java) S 21609 21611 20457 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276930184 937414656 8422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21616] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21616/stat : 21616 (java) S 21609 21611 20457 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 276930188 937414656 8422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21617] ppid=21609 vsize=915444 CPUtime=0.19
/proc/21611/task/21617/stat : 21617 (java) S 21609 21611 20457 0 -1 64 377 0 0 0 19 0 0 0 17 0 8 0 276930188 937414656 8422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21618] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21618/stat : 21618 (java) S 21609 21611 20457 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276930188 937414656 8422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21619] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21619/stat : 21619 (java) S 21609 21611 20457 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276930188 937414656 8422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915444
[startup+25.6195 s]
/proc/loadavg: 2.00 2.00 1.96 3/94 21619
/proc/meminfo: memFree=1162952/2055920 swapFree=4180552/4192956
[pid=21611] ppid=21609 vsize=915444 CPUtime=25.37
/proc/21611/stat : 21611 (java) R 21609 21611 20457 0 -1 0 8685 0 1 0 2418 119 0 0 25 0 8 0 276930180 937414656 8422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073817552 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21611/statm: 228861 8422 2479 14 0 215331 0
[pid=21611/tid=21613] ppid=21609 vsize=915444 CPUtime=0.04
/proc/21611/task/21613/stat : 21613 (java) S 21609 21611 20457 0 -1 64 429 0 0 0 4 0 0 0 16 0 8 0 276930184 937414656 8422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21614] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21614/stat : 21614 (java) S 21609 21611 20457 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276930184 937414656 8422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21615] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21615/stat : 21615 (java) S 21609 21611 20457 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276930184 937414656 8422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21616] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21616/stat : 21616 (java) S 21609 21611 20457 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 276930188 937414656 8422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21617] ppid=21609 vsize=915444 CPUtime=0.19
/proc/21611/task/21617/stat : 21617 (java) S 21609 21611 20457 0 -1 64 377 0 0 0 19 0 0 0 17 0 8 0 276930188 937414656 8422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21618] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21618/stat : 21618 (java) S 21609 21611 20457 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276930188 937414656 8422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21619] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21619/stat : 21619 (java) S 21609 21611 20457 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276930188 937414656 8422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915444
[startup+51.2322 s]
/proc/loadavg: 2.00 2.00 1.96 3/100 21691
/proc/meminfo: memFree=1190616/2055920 swapFree=4180552/4192956
[pid=21611] ppid=21609 vsize=915444 CPUtime=50.77
/proc/21611/stat : 21611 (java) R 21609 21611 20457 0 -1 0 8685 0 1 0 4845 232 0 0 25 0 8 0 276930180 937414656 8422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073820791 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21611/statm: 228861 8422 2479 14 0 215331 0
[pid=21611/tid=21613] ppid=21609 vsize=915444 CPUtime=0.04
/proc/21611/task/21613/stat : 21613 (java) S 21609 21611 20457 0 -1 64 429 0 0 0 4 0 0 0 16 0 8 0 276930184 937414656 8422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21614] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21614/stat : 21614 (java) S 21609 21611 20457 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276930184 937414656 8422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21615] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21615/stat : 21615 (java) S 21609 21611 20457 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276930184 937414656 8422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21616] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21616/stat : 21616 (java) S 21609 21611 20457 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 276930188 937414656 8422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21617] ppid=21609 vsize=915444 CPUtime=0.19
/proc/21611/task/21617/stat : 21617 (java) S 21609 21611 20457 0 -1 64 377 0 0 0 19 0 0 0 17 0 8 0 276930188 937414656 8422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21618] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21618/stat : 21618 (java) S 21609 21611 20457 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276930188 937414656 8422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21619] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21619/stat : 21619 (java) S 21609 21611 20457 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276930188 937414656 8422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.77
Current children cumulated vsize (KiB) 915444
[startup+102.495 s]
/proc/loadavg: 2.00 2.00 1.96 3/100 21691
/proc/meminfo: memFree=1160736/2055920 swapFree=4180552/4192956
[pid=21611] ppid=21609 vsize=915444 CPUtime=101.56
/proc/21611/stat : 21611 (java) R 21609 21611 20457 0 -1 0 12525 0 1 0 9899 257 0 0 25 0 8 0 276930180 937414656 12252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073951945 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21611/statm: 228861 12252 2535 14 0 215331 0
[pid=21611/tid=21613] ppid=21609 vsize=915444 CPUtime=0.04
/proc/21611/task/21613/stat : 21613 (java) S 21609 21611 20457 0 -1 64 430 0 0 0 4 0 0 0 16 0 8 0 276930184 937414656 12252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21614] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21614/stat : 21614 (java) S 21609 21611 20457 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276930184 937414656 12252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21615] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21615/stat : 21615 (java) S 21609 21611 20457 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276930184 937414656 12252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21616] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21616/stat : 21616 (java) S 21609 21611 20457 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 276930188 937414656 12252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21617] ppid=21609 vsize=915444 CPUtime=0.32
/proc/21611/task/21617/stat : 21617 (java) S 21609 21611 20457 0 -1 64 446 0 0 0 31 1 0 0 16 0 8 0 276930188 937414656 12252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21618] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21618/stat : 21618 (java) S 21609 21611 20457 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276930188 937414656 12252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21619] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21619/stat : 21619 (java) S 21609 21611 20457 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276930188 937414656 12252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.56
Current children cumulated vsize (KiB) 915444
[startup+162.498 s]
/proc/loadavg: 2.00 2.00 1.96 3/100 21691
/proc/meminfo: memFree=1160608/2055920 swapFree=4180552/4192956
[pid=21611] ppid=21609 vsize=915444 CPUtime=161.01
/proc/21611/stat : 21611 (java) R 21609 21611 20457 0 -1 0 12530 0 1 0 15843 258 0 0 25 0 8 0 276930180 937414656 12257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073951945 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2004.25
Current children cumulated vsize (KiB) 915444
[startup+2083.13 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 21889
/proc/meminfo: memFree=1159904/2055920 swapFree=4180552/4192956
[pid=21611] ppid=21609 vsize=915444 CPUtime=2063.71
/proc/21611/stat : 21611 (java) R 21609 21611 20457 0 -1 0 12550 0 1 0 206099 272 0 0 25 0 8 0 276930180 937414656 12277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073973420 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21611/statm: 228861 12277 2535 14 0 215331 0
[pid=21611/tid=21613] ppid=21609 vsize=915444 CPUtime=0.04
/proc/21611/task/21613/stat : 21613 (java) S 21609 21611 20457 0 -1 64 430 0 0 0 4 0 0 0 16 0 8 0 276930184 937414656 12277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21614] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21614/stat : 21614 (java) S 21609 21611 20457 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276930184 937414656 12277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21615] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21615/stat : 21615 (java) S 21609 21611 20457 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276930184 937414656 12277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21616] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21616/stat : 21616 (java) S 21609 21611 20457 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 276930188 937414656 12277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21617] ppid=21609 vsize=915444 CPUtime=0.32
/proc/21611/task/21617/stat : 21617 (java) S 21609 21611 20457 0 -1 64 448 0 0 0 31 1 0 0 16 0 8 0 276930188 937414656 12277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21618] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21618/stat : 21618 (java) S 21609 21611 20457 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276930188 937414656 12277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21619] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21619/stat : 21619 (java) S 21609 21611 20457 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276930188 937414656 12277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2063.71
Current children cumulated vsize (KiB) 915444
[startup+2143.14 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 21889
/proc/meminfo: memFree=1159904/2055920 swapFree=4180552/4192956
[pid=21611] ppid=21609 vsize=915444 CPUtime=2123.17
/proc/21611/stat : 21611 (java) R 21609 21611 20457 0 -1 0 12550 0 1 0 212044 273 0 0 25 0 8 0 276930180 937414656 12277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073836336 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21611/statm: 228861 12277 2535 14 0 215331 0
[pid=21611/tid=21613] ppid=21609 vsize=915444 CPUtime=0.04
/proc/21611/task/21613/stat : 21613 (java) S 21609 21611 20457 0 -1 64 430 0 0 0 4 0 0 0 16 0 8 0 276930184 937414656 12277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21614] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21614/stat : 21614 (java) S 21609 21611 20457 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276930184 937414656 12277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21615] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21615/stat : 21615 (java) S 21609 21611 20457 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276930184 937414656 12277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21616] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21616/stat : 21616 (java) S 21609 21611 20457 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 276930188 937414656 12277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21617] ppid=21609 vsize=915444 CPUtime=0.32
/proc/21611/task/21617/stat : 21617 (java) S 21609 21611 20457 0 -1 64 448 0 0 0 31 1 0 0 16 0 8 0 276930188 937414656 12277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21618] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21618/stat : 21618 (java) S 21609 21611 20457 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276930188 937414656 12277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21619] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21619/stat : 21619 (java) S 21609 21611 20457 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276930188 937414656 12277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2123.17
Current children cumulated vsize (KiB) 915444
[startup+2203.16 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 21889
/proc/meminfo: memFree=1159968/2055920 swapFree=4180552/4192956
[pid=21611] ppid=21609 vsize=915444 CPUtime=2182.63
/proc/21611/stat : 21611 (java) R 21609 21611 20457 0 -1 0 12550 0 1 0 217990 273 0 0 25 0 8 0 276930180 937414656 12277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073956502 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21611/statm: 228861 12277 2535 14 0 215331 0
[pid=21611/tid=21613] ppid=21609 vsize=915444 CPUtime=0.04
/proc/21611/task/21613/stat : 21613 (java) S 21609 21611 20457 0 -1 64 430 0 0 0 4 0 0 0 16 0 8 0 276930184 937414656 12277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21614] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21614/stat : 21614 (java) S 21609 21611 20457 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276930184 937414656 12277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21615] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21615/stat : 21615 (java) S 21609 21611 20457 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276930184 937414656 12277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21616] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21616/stat : 21616 (java) S 21609 21611 20457 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 276930188 937414656 12277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21617] ppid=21609 vsize=915444 CPUtime=0.32
/proc/21611/task/21617/stat : 21617 (java) S 21609 21611 20457 0 -1 64 448 0 0 0 31 1 0 0 16 0 8 0 276930188 937414656 12277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21618] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21618/stat : 21618 (java) S 21609 21611 20457 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276930188 937414656 12277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21619] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21619/stat : 21619 (java) S 21609 21611 20457 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276930188 937414656 12277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2182.63
Current children cumulated vsize (KiB) 915444
[startup+2263.18 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 21889
/proc/meminfo: memFree=1160032/2055920 swapFree=4180552/4192956
[pid=21611] ppid=21609 vsize=915444 CPUtime=2242.1
/proc/21611/stat : 21611 (java) R 21609 21611 20457 0 -1 0 12550 0 1 0 223936 274 0 0 25 0 8 0 276930180 937414656 12277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073956502 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21611/statm: 228861 12277 2535 14 0 215331 0
[pid=21611/tid=21613] ppid=21609 vsize=915444 CPUtime=0.04
/proc/21611/task/21613/stat : 21613 (java) S 21609 21611 20457 0 -1 64 430 0 0 0 4 0 0 0 16 0 8 0 276930184 937414656 12277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21614] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21614/stat : 21614 (java) S 21609 21611 20457 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276930184 937414656 12277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21615] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21615/stat : 21615 (java) S 21609 21611 20457 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276930184 937414656 12277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21616] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21616/stat : 21616 (java) S 21609 21611 20457 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 276930188 937414656 12277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21617] ppid=21609 vsize=915444 CPUtime=0.32
/proc/21611/task/21617/stat : 21617 (java) S 21609 21611 20457 0 -1 64 448 0 0 0 31 1 0 0 16 0 8 0 276930188 937414656 12277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21618] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21618/stat : 21618 (java) S 21609 21611 20457 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276930188 937414656 12277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21619] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21619/stat : 21619 (java) S 21609 21611 20457 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276930188 937414656 12277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2242.1
Current children cumulated vsize (KiB) 915444
[startup+2323.21 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 21889
/proc/meminfo: memFree=1159968/2055920 swapFree=4180552/4192956
[pid=21611] ppid=21609 vsize=915444 CPUtime=2301.57
/proc/21611/stat : 21611 (java) R 21609 21611 20457 0 -1 0 12552 0 1 0 229883 274 0 0 25 0 8 0 276930180 937414656 12279 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074022421 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21611/statm: 228861 12279 2535 14 0 215331 0
[pid=21611/tid=21613] ppid=21609 vsize=915444 CPUtime=0.04
/proc/21611/task/21613/stat : 21613 (java) S 21609 21611 20457 0 -1 64 430 0 0 0 4 0 0 0 16 0 8 0 276930184 937414656 12279 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21614] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21614/stat : 21614 (java) S 21609 21611 20457 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276930184 937414656 12279 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21615] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21615/stat : 21615 (java) S 21609 21611 20457 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276930184 937414656 12279 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21616] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21616/stat : 21616 (java) S 21609 21611 20457 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 276930188 937414656 12279 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21617] ppid=21609 vsize=915444 CPUtime=0.32
/proc/21611/task/21617/stat : 21617 (java) S 21609 21611 20457 0 -1 64 448 0 0 0 31 1 0 0 16 0 8 0 276930188 937414656 12279 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21618] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21618/stat : 21618 (java) S 21609 21611 20457 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276930188 937414656 12279 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21619] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21619/stat : 21619 (java) S 21609 21611 20457 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276930188 937414656 12279 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2301.57
Current children cumulated vsize (KiB) 915444
[startup+2383.23 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 21889
/proc/meminfo: memFree=1160032/2055920 swapFree=4180552/4192956
[pid=21611] ppid=21609 vsize=915444 CPUtime=2361.04
/proc/21611/stat : 21611 (java) R 21609 21611 20457 0 -1 0 12552 0 1 0 235829 275 0 0 25 0 8 0 276930180 937414656 12279 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073980284 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21611/statm: 228861 12279 2535 14 0 215331 0
[pid=21611/tid=21613] ppid=21609 vsize=915444 CPUtime=0.04
/proc/21611/task/21613/stat : 21613 (java) S 21609 21611 20457 0 -1 64 430 0 0 0 4 0 0 0 16 0 8 0 276930184 937414656 12279 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21614] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21614/stat : 21614 (java) S 21609 21611 20457 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276930184 937414656 12279 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21615] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21615/stat : 21615 (java) S 21609 21611 20457 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276930184 937414656 12279 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21616] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21616/stat : 21616 (java) S 21609 21611 20457 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 276930188 937414656 12279 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21617] ppid=21609 vsize=915444 CPUtime=0.32
/proc/21611/task/21617/stat : 21617 (java) S 21609 21611 20457 0 -1 64 448 0 0 0 31 1 0 0 16 0 8 0 276930188 937414656 12279 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21618] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21618/stat : 21618 (java) S 21609 21611 20457 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276930188 937414656 12279 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21619] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21619/stat : 21619 (java) S 21609 21611 20457 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276930188 937414656 12279 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2361.04
Current children cumulated vsize (KiB) 915444
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2422.55 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 21889
/proc/meminfo: memFree=1160032/2055920 swapFree=4180552/4192956
[pid=21611] ppid=21609 vsize=915444 CPUtime=2400
/proc/21611/stat : 21611 (java) R 21609 21611 20457 0 -1 0 12552 0 1 0 239725 275 0 0 25 0 8 0 276930180 937414656 12279 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073993014 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21611/statm: 228861 12279 2535 14 0 215331 0
[pid=21611/tid=21613] ppid=21609 vsize=915444 CPUtime=0.04
/proc/21611/task/21613/stat : 21613 (java) S 21609 21611 20457 0 -1 64 430 0 0 0 4 0 0 0 16 0 8 0 276930184 937414656 12279 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21614] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21614/stat : 21614 (java) S 21609 21611 20457 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276930184 937414656 12279 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21615] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21615/stat : 21615 (java) S 21609 21611 20457 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276930184 937414656 12279 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21616] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21616/stat : 21616 (java) S 21609 21611 20457 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 276930188 937414656 12279 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21617] ppid=21609 vsize=915444 CPUtime=0.32
/proc/21611/task/21617/stat : 21617 (java) S 21609 21611 20457 0 -1 64 448 0 0 0 31 1 0 0 16 0 8 0 276930188 937414656 12279 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21618] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21618/stat : 21618 (java) S 21609 21611 20457 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276930188 937414656 12279 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21611/tid=21619] ppid=21609 vsize=915444 CPUtime=0
/proc/21611/task/21619/stat : 21619 (java) S 21609 21611 20457 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276930188 937414656 12279 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 915444
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2422.59
CPU time (s): 2400.04
CPU user time (s): 2397.27
CPU system time (s): 2.76258
CPU usage (%): 99.0689
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.27
system time used= 2.76258
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12574
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= 50346
involuntary context switches= 121510
runsolver used 2.34064 s user time and 8.41172 s system time
The end
Begin job on node2 on Sat Jan 20 09:29:05 UTC 2007
IDJOB= 278290
IDBENCH= 8221
IDSOLVER= 68
FILE ID= node2/278290-1169285345
PBS_JOBID= 3609487
Free space on /tmp= 66560 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/3-40-2100-3000/cnf-3-40-2700-598821_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278290-1169285345/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-278290-1169285345 -o ROOT/results/node2/solver-278290-1169285345 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278290-1169285345/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 8c0ea99edaee45f6068f2a6f6fb766f7
RANDOM SEED= 539967740
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.259
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 : 5931.00
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.259
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: 1187488 kB
Buffers: 47420 kB
Cached: 644180 kB
SwapCached: 572 kB
Active: 258416 kB
Inactive: 536412 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1187488 kB
SwapTotal: 4192956 kB
SwapFree: 4180552 kB
Dirty: 1932 kB
Writeback: 0 kB
Mapped: 115924 kB
Slab: 58132 kB
Committed_AS: 7530520 kB
PageTables: 2500 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 node2 on Sat Jan 20 10:09:28 UTC 2007