0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=epfc.xml
0.32
0.32 instance
0.33 name=/tmp/evaluation/277147-1169258019/unknown.xml
0.35
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=40 nbDomainTypes=1 minDomainSize=16 maxDomainSize=16
0.39 => wckTime=0.095 cpuTime=0.08 mem=6M887
0.39
0.39 relations being loaded...
0.47
0.47 constraints being loaded...
0.57 nbConstraints=250 nbRelationTypes=250 nbExtensionStructures=250 nbSharedExtensionStructures=0
0.57 nbConflictsStructures=250 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1324 maxDegree=18
0.57 maxArity=2
0.57 => wckTime=0.27 cpuTime=0.2 mem=11M763
0.61
0.61 solver LocalSearchSolver being built...
0.65 => wckTime=0.355 cpuTime=0.24 mem=5M873
0.66
0.66 s SATISFIABLE
0.66 o 178
0.66 c 72
0.66 o 183
0.66 c 67
0.66 o 188
0.66 c 62
0.66 o 193
0.66 c 57
0.66 o 197
0.66 c 53
0.66 o 202
0.66 c 48
0.66 o 206
0.66 c 44
0.66 o 210
0.66 c 40
0.66 o 213
0.66 c 37
0.67 o 216
0.67 c 34
0.67 o 217
0.67 c 33
0.67 o 219
0.67 c 31
0.67 o 222
0.67 c 28
0.67 o 224
0.67 c 26
0.67 o 225
0.67 c 25
0.67 o 226
0.67 c 24
0.67 o 228
0.67 c 22
0.67 o 229
0.67 c 21
0.67 o 231
0.67 c 19
0.67 o 233
0.67 c 17
0.68 o 234
0.68 c 16
0.68 o 235
0.68 c 15
0.69 o 236
0.69 c 14
0.69 o 238
0.69 c 12
0.69 o 239
0.69 c 11
0.71 o 240
0.71 c 10
0.71 o 241
0.71 c 9
0.71 o 242
0.71 c 8
0.71 o 243
0.71 c 7
0.71 o 244
0.71 c 6
0.71 o 245
0.71 c 5
0.71 o 246
0.71 c 4
0.71 o 247
0.71 c 3
0.85 o 248
0.85 c 2
2.92
2.92 search
2.92 run=0 nbConstraintChecks=15678468 nbAssignments=10000
2.92 => wckTime=2.267 cpuTime=2.24 mem=5M873
5.22
5.22 search
5.22 run=1 nbConstraintChecks=32097439 nbAssignments=20000
5.22 => wckTime=4.573 cpuTime=4.52 mem=5M873
6.44 o 249
6.44 c 1
6.44
6.44 search
6.44 run=2 nbConstraintChecks=40644329 nbAssignments=25640
6.44 => wckTime=5.795 cpuTime=5.74 mem=5M873
6.45
6.45 global
6.45 nbConstraintChecks=40644329 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
6.45 solvingWckTime=5.793 solvingCpuTime=5.75 expiredTime=no totalExploration=no nbFoundSolutions=0
6.45 globalCpuTime=6.03
6.45 => wckTime=6.15 cpuTime=5.99 mem=5M873
6.45
6.45 solver IterativeSystematicSolver being built...
6.57 => wckTime=6.273 cpuTime=6.08 mem=16M846
6.65
6.65 preprocessing
6.65 nbConstraintChecks=109513 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
6.65 detectedInconsistency=no
6.65 => wckTime=0.079 cpuTime=0.05 mem=16M846
6.71
6.71 search
6.71 run=0 nbConstraintChecks=175736 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=37
6.71 nbFailedAssignments=23 nbBacktracks=10 nbVisitedNodes=71 nbRestartNogoods=0
6.71 => wckTime=0.134 cpuTime=0.11 mem=16M846
6.77
6.77 search
6.77 run=1 nbConstraintChecks=409169 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=89
6.77 nbFailedAssignments=56 nbBacktracks=25 nbVisitedNodes=170 nbRestartNogoods=8
6.77 => wckTime=0.2 cpuTime=0.16 mem=16M846
6.86
6.86 search
6.86 run=2 nbConstraintChecks=737017 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=180
6.86 nbFailedAssignments=119 nbBacktracks=47 nbVisitedNodes=345 nbRestartNogoods=14
6.86 => wckTime=0.286 cpuTime=0.24 mem=16M846
6.95
6.95 search
6.95 run=3 nbConstraintChecks=1132517 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=271
6.95 nbFailedAssignments=171 nbBacktracks=80 nbVisitedNodes=521 nbRestartNogoods=19
6.95 => wckTime=0.378 cpuTime=0.33 mem=16M846
7.10
7.10 search
7.10 run=4 nbConstraintChecks=1750277 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=410
7.10 nbFailedAssignments=255 nbBacktracks=130 nbVisitedNodes=789 nbRestartNogoods=41
7.10 => wckTime=0.527 cpuTime=0.48 mem=16M846
7.30
7.30 search
7.30 run=5 nbConstraintChecks=2727969 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=639
7.30 nbFailedAssignments=404 nbBacktracks=205 nbVisitedNodes=1238 nbRestartNogoods=53
7.31 => wckTime=0.734 cpuTime=0.68 mem=16M846
7.61
7.61 search
7.61 run=6 nbConstraintChecks=4122830 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=965
7.61 nbFailedAssignments=611 nbBacktracks=318 nbVisitedNodes=1879 nbRestartNogoods=66
7.61 => wckTime=1.041 cpuTime=0.99 mem=16M846
8.06
8.06 search
8.06 run=7 nbConstraintChecks=6112178 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1455
8.06 nbFailedAssignments=923 nbBacktracks=488 nbVisitedNodes=2841 nbRestartNogoods=90
8.06 => wckTime=1.494 cpuTime=1.42 mem=16M846
8.79
8.79 search
8.79 run=8 nbConstraintChecks=9282251 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2165
8.79 nbFailedAssignments=1373 nbBacktracks=744 nbVisitedNodes=4228 nbRestartNogoods=103
8.79 => wckTime=2.218 cpuTime=2.14 mem=16M846
9.72
9.72 search
9.72 run=9 nbConstraintChecks=13482982 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3187
9.72 nbFailedAssignments=2005 nbBacktracks=1128 nbVisitedNodes=6244 nbRestartNogoods=130
9.72 => wckTime=3.152 cpuTime=3.06 mem=16M846
11.26
11.26 search
11.26 run=10 nbConstraintChecks=20261366 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4711
11.26 nbFailedAssignments=2947 nbBacktracks=1704 nbVisitedNodes=9185 nbRestartNogoods=151
11.26 => wckTime=4.685 cpuTime=4.59 mem=16M846
13.73
13.73 search
13.73 run=11 nbConstraintChecks=30938100 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6990
13.73 nbFailedAssignments=4358 nbBacktracks=2568 nbVisitedNodes=13526 nbRestartNogoods=159
13.73 => wckTime=7.16 cpuTime=7.04 mem=16M846
17.08
17.08 search
17.08 run=12 nbConstraintChecks=44877881 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10228
17.08 nbFailedAssignments=6294 nbBacktracks=3865 nbVisitedNodes=19618 nbRestartNogoods=188
17.08 => wckTime=10.507 cpuTime=10.37 mem=16M846
21.60
21.60 search
21.60 run=13 nbConstraintChecks=64583844 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=14882
21.60 nbFailedAssignments=8998 nbBacktracks=5811 nbVisitedNodes=28063 nbRestartNogoods=202
21.60 => wckTime=15.034 cpuTime=14.88 mem=16M846
28.14
28.14 search
28.14 run=14 nbConstraintChecks=91350461 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=21125
28.14 nbFailedAssignments=12316 nbBacktracks=8732 nbVisitedNodes=38906 nbRestartNogoods=219
28.14 => wckTime=21.57 cpuTime=21.39 mem=16M846
37.12
37.12 search
37.12 run=15 nbConstraintChecks=128212360 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=30011
37.12 nbFailedAssignments=16821 nbBacktracks=13110 nbVisitedNodes=53843 nbRestartNogoods=236
37.12 => wckTime=30.549 cpuTime=30.31 mem=16M846
49.65
49.65 search
49.65 run=16 nbConstraintChecks=180112500 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=42811
49.65 nbFailedAssignments=23048 nbBacktracks=19679 nbVisitedNodes=74804 nbRestartNogoods=255
49.65 => wckTime=43.079 cpuTime=42.78 mem=16M846
67.13
67.13 search
67.13 run=17 nbConstraintChecks=251314968 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=60657
67.13 nbFailedAssignments=31035 nbBacktracks=29531 nbVisitedNodes=103013 nbRestartNogoods=302
67.13 => wckTime=60.557 cpuTime=60.19 mem=16M846
92.25
92.25 search
92.25 run=18 nbConstraintChecks=354127762 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=87120
92.25 nbFailedAssignments=42714 nbBacktracks=44310 nbVisitedNodes=144688 nbRestartNogoods=331
92.25 => wckTime=85.679 cpuTime=85.17 mem=16M846
133.08
133.08 search
133.08 run=19 nbConstraintChecks=521161885 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=128529
133.08 nbFailedAssignments=61952 nbBacktracks=66478 nbVisitedNodes=211070 nbRestartNogoods=342
133.08 => wckTime=126.512 cpuTime=125.78 mem=16M846
190.02
190.02 search
190.02 run=20 nbConstraintChecks=751638516 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=187431
190.02 nbFailedAssignments=87597 nbBacktracks=99731 nbVisitedNodes=302981 nbRestartNogoods=399
190.02 => wckTime=183.446 cpuTime=182.41 mem=16M846
277.48
277.48 search
277.48 run=21 nbConstraintChecks=1107964311 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=277610
277.48 nbFailedAssignments=127894 nbBacktracks=149609 nbVisitedNodes=445019 nbRestartNogoods=418
277.48 => wckTime=270.907 cpuTime=269.4 mem=16M846
409.55
409.55 search
409.55 run=22 nbConstraintChecks=1638898555 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=411249
409.55 nbFailedAssignments=186710 nbBacktracks=224428 nbVisitedNodes=654368 nbRestartNogoods=455
409.55 => wckTime=402.975 cpuTime=400.75 mem=16M846
444.77
444.77 search
444.77 run=23 nbConstraintChecks=1777684214 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=446571
444.77 nbFailedAssignments=201816 nbBacktracks=244645 nbVisitedNodes=708979 nbRestartNogoods=466
444.77 => wckTime=438.203 cpuTime=435.78 mem=16M846
444.77
444.77 global
444.77 nbConstraintChecks=1777793727 nbRestartNogoods=466 solvingWckTime=438.204 solvingCpuTime=435.78 expiredTime=no
444.77 totalExploration=yes nbFoundSolutions=0 globalCpuTime=441.9
444.77 => wckTime=444.478 cpuTime=441.86 mem=16M846
444.78
444.78 s OPTIMUM FOUND
444.78 v 14 8 4 12 15 14 11 11 12 4 3 6 5 9 3 0 9 1 6 7 15 7 12 11 4 9 6 14 11 6 5 9 9 7 12 13 5 0 3 5
444.78
444.78 totalWckTime=444.556 totalCpuTime=441.9
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node15/watcher-277147-1169258019 -o ROOT/results/node15/solver-277147-1169258019 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277147-1169258019/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 0.92 0.98 1.04 4/86 12341
/proc/meminfo: memFree=1438176/2055920 swapFree=4173628/4192956
[pid=12340] ppid=12335 vsize=168 CPUtime=0
/proc/12340/stat : 12340 (java) R 12335 12340 12202 0 -1 0 39 0 0 0 0 0 0 0 20 0 1 0 274196791 172032 23 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 7512868 0 0 4096 0 0 0 0 17 1 0 0
/proc/12340/statm: 42 23 18 14 0 2 0
[startup+0.108166 s]
/proc/loadavg: 0.92 0.98 1.04 4/86 12341
/proc/meminfo: memFree=1438176/2055920 swapFree=4173628/4192956
[pid=12340] ppid=12335 vsize=914988 CPUtime=0.08
/proc/12340/stat : 12340 (java) R 12335 12340 12202 0 -1 0 3050 0 1 0 7 1 0 0 25 0 8 0 274196791 936947712 2796 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154020604 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12340/statm: 228747 2796 1447 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.516241 s]
/proc/loadavg: 0.92 0.98 1.04 4/86 12341
/proc/meminfo: memFree=1438176/2055920 swapFree=4173628/4192956
[pid=12340] ppid=12335 vsize=915332 CPUtime=0.5
/proc/12340/stat : 12340 (java) R 12335 12340 12202 0 -1 0 6924 0 1 0 46 4 0 0 25 0 8 0 274196791 937299968 6663 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12340/statm: 228833 6663 2150 14 0 215303 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332
[startup+1.33737 s]
/proc/loadavg: 0.92 0.98 1.04 3/100 12355
/proc/meminfo: memFree=1396392/2055920 swapFree=4173628/4192956
[pid=12340] ppid=12335 vsize=915464 CPUtime=1.3
/proc/12340/stat : 12340 (java) R 12335 12340 12202 0 -1 0 7906 0 1 0 111 19 0 0 25 0 8 0 274196791 937435136 7644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073732283 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12340/statm: 228866 7644 2479 14 0 215336 0
[pid=12340/tid=12343] ppid=12335 vsize=915464 CPUtime=0.02
/proc/12340/task/12343/stat : 12343 (java) S 12335 12340 12202 0 -1 64 247 0 0 0 2 0 0 0 16 0 8 0 274196795 937435136 7644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12346] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12346/stat : 12346 (java) S 12335 12340 12202 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274196796 937435136 7644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12347] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12347/stat : 12347 (java) S 12335 12340 12202 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274196796 937435136 7644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12352] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12352/stat : 12352 (java) S 12335 12340 12202 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 274196799 937435136 7644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12353] ppid=12335 vsize=915464 CPUtime=0.13
/proc/12340/task/12353/stat : 12353 (java) S 12335 12340 12202 0 -1 64 346 0 0 0 13 0 0 0 16 0 8 0 274196799 937435136 7644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12354] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12354/stat : 12354 (java) S 12335 12340 12202 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 274196799 937435136 7644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12355] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12355/stat : 12355 (java) S 12335 12340 12202 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274196799 937435136 7644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915464
[startup+2.97866 s]
/proc/loadavg: 1.01 1.00 1.04 3/100 12355
/proc/meminfo: memFree=1396392/2055920 swapFree=4173628/4192956
[pid=12340] ppid=12335 vsize=915464 CPUtime=2.94
/proc/12340/stat : 12340 (java) R 12335 12340 12202 0 -1 0 7909 0 1 0 249 45 0 0 25 0 8 0 274196791 937435136 7646 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073731751 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12340/statm: 228866 7646 2479 14 0 215336 0
[pid=12340/tid=12343] ppid=12335 vsize=915464 CPUtime=0.02
/proc/12340/task/12343/stat : 12343 (java) S 12335 12340 12202 0 -1 64 247 0 0 0 2 0 0 0 16 0 8 0 274196795 937435136 7646 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12346] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12346/stat : 12346 (java) S 12335 12340 12202 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274196796 937435136 7646 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12347] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12347/stat : 12347 (java) S 12335 12340 12202 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274196796 937435136 7646 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12352] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12352/stat : 12352 (java) S 12335 12340 12202 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 274196799 937435136 7646 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12353] ppid=12335 vsize=915464 CPUtime=0.14
/proc/12340/task/12353/stat : 12353 (java) S 12335 12340 12202 0 -1 64 348 0 0 0 14 0 0 0 16 0 8 0 274196799 937435136 7646 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12354] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12354/stat : 12354 (java) S 12335 12340 12202 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 274196799 937435136 7646 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12355] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12355/stat : 12355 (java) S 12335 12340 12202 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274196799 937435136 7646 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915464
[startup+6.27022 s]
/proc/loadavg: 1.01 1.00 1.04 6/100 12355
/proc/meminfo: memFree=1396200/2055920 swapFree=4173628/4192956
[pid=12340] ppid=12335 vsize=915464 CPUtime=6.22
/proc/12340/stat : 12340 (java) R 12335 12340 12202 0 -1 0 7909 0 1 0 523 99 0 0 25 0 8 0 274196791 937435136 7646 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073730051 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12340/statm: 228866 7646 2479 14 0 215336 0
[pid=12340/tid=12343] ppid=12335 vsize=915464 CPUtime=0.02
/proc/12340/task/12343/stat : 12343 (java) S 12335 12340 12202 0 -1 64 247 0 0 0 2 0 0 0 16 0 8 0 274196795 937435136 7646 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12346] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12346/stat : 12346 (java) S 12335 12340 12202 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274196796 937435136 7646 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12347] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12347/stat : 12347 (java) S 12335 12340 12202 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274196796 937435136 7646 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12352] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12352/stat : 12352 (java) S 12335 12340 12202 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 274196799 937435136 7646 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12353] ppid=12335 vsize=915464 CPUtime=0.14
/proc/12340/task/12353/stat : 12353 (java) S 12335 12340 12202 0 -1 64 348 0 0 0 14 0 0 0 16 0 8 0 274196799 937435136 7646 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12354] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12354/stat : 12354 (java) S 12335 12340 12202 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 274196799 937435136 7646 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12355] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12355/stat : 12355 (java) R 12335 12340 12202 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274196799 937435136 7646 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915464
[startup+12.7473 s]
/proc/loadavg: 1.16 1.03 1.05 3/100 12355
/proc/meminfo: memFree=1387048/2055920 swapFree=4173628/4192956
[pid=12340] ppid=12335 vsize=915464 CPUtime=12.66
/proc/12340/stat : 12340 (java) R 12335 12340 12202 0 -1 0 9131 0 1 0 1163 103 0 0 25 0 8 0 274196791 937435136 8863 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073842011 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12340/statm: 228866 8863 2532 14 0 215336 0
[pid=12340/tid=12343] ppid=12335 vsize=915464 CPUtime=0.02
/proc/12340/task/12343/stat : 12343 (java) S 12335 12340 12202 0 -1 64 248 0 0 0 2 0 0 0 17 0 8 0 274196795 937435136 8863 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12346] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12346/stat : 12346 (java) S 12335 12340 12202 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274196796 937435136 8863 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12347] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12347/stat : 12347 (java) S 12335 12340 12202 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274196796 937435136 8863 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12352] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12352/stat : 12352 (java) S 12335 12340 12202 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 274196799 937435136 8863 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12353] ppid=12335 vsize=915464 CPUtime=0.24
/proc/12340/task/12353/stat : 12353 (java) S 12335 12340 12202 0 -1 64 403 0 0 0 23 1 0 0 16 0 8 0 274196799 937435136 8863 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12354] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12354/stat : 12354 (java) S 12335 12340 12202 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 274196799 937435136 8863 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12355] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12355/stat : 12355 (java) S 12335 12340 12202 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274196799 937435136 8863 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915464
[startup+25.6015 s]
/proc/loadavg: 1.29 1.06 1.06 3/100 12355
/proc/meminfo: memFree=1386984/2055920 swapFree=4173628/4192956
[pid=12340] ppid=12335 vsize=915464 CPUtime=25.44
/proc/12340/stat : 12340 (java) R 12335 12340 12202 0 -1 0 9141 0 1 0 2441 103 0 0 25 0 8 0 274196791 937435136 8871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073840416 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12340/statm: 228866 8871 2532 14 0 215336 0
[pid=12340/tid=12343] ppid=12335 vsize=915464 CPUtime=0.02
/proc/12340/task/12343/stat : 12343 (java) S 12335 12340 12202 0 -1 64 248 0 0 0 2 0 0 0 16 0 8 0 274196795 937435136 8871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12346] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12346/stat : 12346 (java) S 12335 12340 12202 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274196796 937435136 8871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12347] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12347/stat : 12347 (java) S 12335 12340 12202 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274196796 937435136 8871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12352] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12352/stat : 12352 (java) S 12335 12340 12202 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 274196799 937435136 8871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12353] ppid=12335 vsize=915464 CPUtime=0.24
/proc/12340/task/12353/stat : 12353 (java) S 12335 12340 12202 0 -1 64 403 0 0 0 23 1 0 0 16 0 8 0 274196799 937435136 8871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12354] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12354/stat : 12354 (java) S 12335 12340 12202 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 274196799 937435136 8871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12355] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12355/stat : 12355 (java) S 12335 12340 12202 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274196799 937435136 8871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 915464
[startup+51.302 s]
/proc/loadavg: 1.53 1.14 1.09 3/100 12355
/proc/meminfo: memFree=1386984/2055920 swapFree=4173628/4192956
[pid=12340] ppid=12335 vsize=915464 CPUtime=51.02
/proc/12340/stat : 12340 (java) R 12335 12340 12202 0 -1 0 9150 0 1 0 4998 104 0 0 25 0 8 0 274196791 937435136 8879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073846613 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12340/statm: 228866 8879 2532 14 0 215336 0
[pid=12340/tid=12343] ppid=12335 vsize=915464 CPUtime=0.02
/proc/12340/task/12343/stat : 12343 (java) S 12335 12340 12202 0 -1 64 248 0 0 0 2 0 0 0 16 0 8 0 274196795 937435136 8879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12346] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12346/stat : 12346 (java) S 12335 12340 12202 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274196796 937435136 8879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12347] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12347/stat : 12347 (java) S 12335 12340 12202 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274196796 937435136 8879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12352] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12352/stat : 12352 (java) S 12335 12340 12202 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 274196799 937435136 8879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12353] ppid=12335 vsize=915464 CPUtime=0.24
/proc/12340/task/12353/stat : 12353 (java) S 12335 12340 12202 0 -1 64 404 0 0 0 23 1 0 0 16 0 8 0 274196799 937435136 8879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12354] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12354/stat : 12354 (java) S 12335 12340 12202 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 274196799 937435136 8879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12355] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12355/stat : 12355 (java) S 12335 12340 12202 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274196799 937435136 8879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 915464
[startup+102.595 s]
/proc/loadavg: 1.81 1.28 1.14 3/100 12355
/proc/meminfo: memFree=1386984/2055920 swapFree=4173628/4192956
[pid=12340] ppid=12335 vsize=915464 CPUtime=102.06
/proc/12340/stat : 12340 (java) R 12335 12340 12202 0 -1 0 9156 0 1 0 10102 104 0 0 25 0 8 0 274196791 937435136 8885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073841222 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12340/statm: 228866 8885 2532 14 0 215336 0
[pid=12340/tid=12343] ppid=12335 vsize=915464 CPUtime=0.02
/proc/12340/task/12343/stat : 12343 (java) S 12335 12340 12202 0 -1 64 248 0 0 0 2 0 0 0 16 0 8 0 274196795 937435136 8885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12346] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12346/stat : 12346 (java) S 12335 12340 12202 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274196796 937435136 8885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12347] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12347/stat : 12347 (java) S 12335 12340 12202 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274196796 937435136 8885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12352] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12352/stat : 12352 (java) S 12335 12340 12202 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 274196799 937435136 8885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12353] ppid=12335 vsize=915464 CPUtime=0.24
/proc/12340/task/12353/stat : 12353 (java) S 12335 12340 12202 0 -1 64 405 0 0 0 23 1 0 0 16 0 8 0 274196799 937435136 8885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12354] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12354/stat : 12354 (java) S 12335 12340 12202 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 274196799 937435136 8885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12355] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12355/stat : 12355 (java) S 12335 12340 12202 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274196799 937435136 8885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.06
Current children cumulated vsize (KiB) 915464
[startup+162.632 s]
/proc/loadavg: 2.01 1.43 1.19 3/101 12517
/proc/meminfo: memFree=1404568/2055920 swapFree=4173628/4192956
[pid=12340] ppid=12335 vsize=915464 CPUtime=161.77
/proc/12340/stat : 12340 (java) R 12335 12340 12202 0 -1 0 9159 0 1 0 16072 105 0 0 25 0 8 0 274196791 937435136 8887 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073840491 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12340/statm: 228866 8887 2532 14 0 215336 0
[pid=12340/tid=12343] ppid=12335 vsize=915464 CPUtime=0.03
/proc/12340/task/12343/stat : 12343 (java) S 12335 12340 12202 0 -1 64 248 0 0 0 3 0 0 0 16 0 8 0 274196795 937435136 8887 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12346] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12346/stat : 12346 (java) S 12335 12340 12202 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274196796 937435136 8887 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12347] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12347/stat : 12347 (java) S 12335 12340 12202 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274196796 937435136 8887 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12352] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12352/stat : 12352 (java) S 12335 12340 12202 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 274196799 937435136 8887 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12353] ppid=12335 vsize=915464 CPUtime=0.24
/proc/12340/task/12353/stat : 12353 (java) S 12335 12340 12202 0 -1 64 405 0 0 0 23 1 0 0 16 0 8 0 274196799 937435136 8887 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12354] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12354/stat : 12354 (java) S 12335 12340 12202 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 274196799 937435136 8887 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12355] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12355/stat : 12355 (java) S 12335 12340 12202 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274196799 937435136 8887 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 161.77
Current children cumulated vsize (KiB) 915464
[startup+222.66 s]
/proc/loadavg: 2.00 1.52 1.24 3/101 12517
/proc/meminfo: memFree=1404568/2055920 swapFree=4173628/4192956
[pid=12340] ppid=12335 vsize=915464 CPUtime=221.48
/proc/12340/stat : 12340 (java) R 12335 12340 12202 0 -1 0 9162 0 1 0 22042 106 0 0 25 0 8 0 274196791 937435136 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073840471 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12340/statm: 228866 8890 2532 14 0 215336 0
[pid=12340/tid=12343] ppid=12335 vsize=915464 CPUtime=0.03
/proc/12340/task/12343/stat : 12343 (java) S 12335 12340 12202 0 -1 64 248 0 0 0 3 0 0 0 16 0 8 0 274196795 937435136 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12346] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12346/stat : 12346 (java) S 12335 12340 12202 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274196796 937435136 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12347] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12347/stat : 12347 (java) S 12335 12340 12202 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274196796 937435136 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12352] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12352/stat : 12352 (java) S 12335 12340 12202 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 274196799 937435136 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12353] ppid=12335 vsize=915464 CPUtime=0.24
/proc/12340/task/12353/stat : 12353 (java) S 12335 12340 12202 0 -1 64 405 0 0 0 23 1 0 0 16 0 8 0 274196799 937435136 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12354] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12354/stat : 12354 (java) S 12335 12340 12202 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 274196799 937435136 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12355] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12355/stat : 12355 (java) S 12335 12340 12202 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274196799 937435136 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 221.48
Current children cumulated vsize (KiB) 915464
[startup+282.689 s]
/proc/loadavg: 2.00 1.61 1.29 3/101 12517
/proc/meminfo: memFree=1404632/2055920 swapFree=4173628/4192956
[pid=12340] ppid=12335 vsize=915464 CPUtime=281.19
/proc/12340/stat : 12340 (java) R 12335 12340 12202 0 -1 0 9164 0 1 0 28013 106 0 0 25 0 8 0 274196791 937435136 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073841127 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12340/statm: 228866 8892 2532 14 0 215336 0
[pid=12340/tid=12343] ppid=12335 vsize=915464 CPUtime=0.03
/proc/12340/task/12343/stat : 12343 (java) S 12335 12340 12202 0 -1 64 248 0 0 0 3 0 0 0 16 0 8 0 274196795 937435136 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12346] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12346/stat : 12346 (java) S 12335 12340 12202 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274196796 937435136 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12347] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12347/stat : 12347 (java) S 12335 12340 12202 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274196796 937435136 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12352] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12352/stat : 12352 (java) S 12335 12340 12202 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 274196799 937435136 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12353] ppid=12335 vsize=915464 CPUtime=0.24
/proc/12340/task/12353/stat : 12353 (java) S 12335 12340 12202 0 -1 64 405 0 0 0 23 1 0 0 16 0 8 0 274196799 937435136 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12354] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12354/stat : 12354 (java) S 12335 12340 12202 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 274196799 937435136 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12355] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12355/stat : 12355 (java) S 12335 12340 12202 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274196799 937435136 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 281.19
Current children cumulated vsize (KiB) 915464
[startup+342.724 s]
/proc/loadavg: 2.05 1.69 1.33 3/101 12517
/proc/meminfo: memFree=1404568/2055920 swapFree=4173628/4192956
[pid=12340] ppid=12335 vsize=915464 CPUtime=340.9
/proc/12340/stat : 12340 (java) R 12335 12340 12202 0 -1 0 9164 0 1 0 33984 106 0 0 25 0 8 0 274196791 937435136 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073736038 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12340/statm: 228866 8892 2532 14 0 215336 0
[pid=12340/tid=12343] ppid=12335 vsize=915464 CPUtime=0.03
/proc/12340/task/12343/stat : 12343 (java) S 12335 12340 12202 0 -1 64 248 0 0 0 3 0 0 0 16 0 8 0 274196795 937435136 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12346] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12346/stat : 12346 (java) S 12335 12340 12202 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274196796 937435136 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12347] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12347/stat : 12347 (java) S 12335 12340 12202 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274196796 937435136 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12352] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12352/stat : 12352 (java) S 12335 12340 12202 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 274196799 937435136 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12353] ppid=12335 vsize=915464 CPUtime=0.24
/proc/12340/task/12353/stat : 12353 (java) S 12335 12340 12202 0 -1 64 405 0 0 0 23 1 0 0 16 0 8 0 274196799 937435136 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12354] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12354/stat : 12354 (java) S 12335 12340 12202 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 274196799 937435136 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12355] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12355/stat : 12355 (java) S 12335 12340 12202 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274196799 937435136 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 340.9
Current children cumulated vsize (KiB) 915464
[startup+402.764 s]
/proc/loadavg: 2.05 1.76 1.38 3/101 12517
/proc/meminfo: memFree=1404568/2055920 swapFree=4173628/4192956
[pid=12340] ppid=12335 vsize=915464 CPUtime=400.6
/proc/12340/stat : 12340 (java) R 12335 12340 12202 0 -1 0 9164 0 1 0 39954 106 0 0 25 0 8 0 274196791 937435136 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073735850 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12340/statm: 228866 8892 2532 14 0 215336 0
[pid=12340/tid=12343] ppid=12335 vsize=915464 CPUtime=0.03
/proc/12340/task/12343/stat : 12343 (java) S 12335 12340 12202 0 -1 64 248 0 0 0 3 0 0 0 16 0 8 0 274196795 937435136 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12346] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12346/stat : 12346 (java) S 12335 12340 12202 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274196796 937435136 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12347] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12347/stat : 12347 (java) S 12335 12340 12202 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274196796 937435136 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12352] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12352/stat : 12352 (java) S 12335 12340 12202 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 274196799 937435136 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12353] ppid=12335 vsize=915464 CPUtime=0.24
/proc/12340/task/12353/stat : 12353 (java) S 12335 12340 12202 0 -1 64 405 0 0 0 23 1 0 0 16 0 8 0 274196799 937435136 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12354] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12354/stat : 12354 (java) S 12335 12340 12202 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 274196799 937435136 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12355] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12355/stat : 12355 (java) S 12335 12340 12202 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274196799 937435136 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 400.6
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 444.824
CPU time (s): 442.404
CPU user time (s): 441.323
CPU system time (s): 1.08083
CPU usage (%): 99.4559
Max. virtual memory (cumulated for all children) (KiB): 915980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 441.323
system time used= 1.08083
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9264
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= 10214
involuntary context switches= 17810
runsolver used 0.560914 s user time and 1.3268 s system time
The end
Begin job on node15 on Sat Jan 20 01:53:39 UTC 2007
IDJOB= 277147
IDBENCH= 6292
IDSOLVER= 68
FILE ID= node15/277147-1169258019
PBS_JOBID= 3607276
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.35/rand-2-40-16-250-350-15_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277147-1169258019/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-277147-1169258019 -o ROOT/results/node15/solver-277147-1169258019 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277147-1169258019/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 4435b4c97eb385afb53b1b633cff6f92
RANDOM SEED= 831522496
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.276
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.276
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: 1439392 kB
Buffers: 52328 kB
Cached: 455476 kB
SwapCached: 5936 kB
Active: 189112 kB
Inactive: 353520 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1439392 kB
SwapTotal: 4192956 kB
SwapFree: 4173628 kB
Dirty: 3868 kB
Writeback: 0 kB
Mapped: 44500 kB
Slab: 58932 kB
Committed_AS: 8359768 kB
PageTables: 2264 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66563 MiB
End job on node15 on Sat Jan 20 02:01:04 UTC 2007