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/282727-1169321992/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=14 nbDomainTypes=1 minDomainSize=44 maxDomainSize=44
0.42 => wckTime=0.098 cpuTime=0.09 mem=6M887
0.42
0.42 relations being loaded...
0.51
0.51 constraints being loaded...
0.62 nbConstraints=300 nbRelationTypes=80 nbExtensionStructures=80 nbSharedExtensionStructures=220
0.62 nbConflictsStructures=80 nbSharedConflictsStructures=220 nbSharedBinaryRepresentations=6197 maxDegree=52
0.62 maxArity=2
0.62 => wckTime=0.304 cpuTime=0.24 mem=12M742
0.66
0.66 solver LocalSearchSolver being built...
0.71 => wckTime=0.391 cpuTime=0.28 mem=5M636
0.72
0.72 s SATISFIABLE
0.72 o 191
0.72 c 109
0.72 o 195
0.72 c 105
0.72 o 201
0.72 c 99
0.73 o 203
0.73 c 97
0.73 o 210
0.73 c 90
0.73 o 211
0.73 c 89
0.73 o 223
0.73 c 77
0.73 o 228
0.73 c 72
0.73 o 239
0.73 c 61
0.74 o 248
0.74 c 52
0.74 o 254
0.74 c 46
0.74 o 260
0.74 c 40
0.74 o 264
0.74 c 36
0.74 o 268
0.74 c 32
0.75 o 272
0.75 c 28
0.75 o 273
0.75 c 27
0.79 o 274
0.79 c 26
0.79 o 277
0.79 c 23
1.22 o 278
1.22 c 22
16.86
16.86 search
16.86 run=0 nbConstraintChecks=140199445 nbAssignments=10000
16.86 => wckTime=16.15 cpuTime=15.99 mem=5M636
31.53
31.53 search
31.53 run=1 nbConstraintChecks=269712375 nbAssignments=19115
31.53 => wckTime=30.818 cpuTime=30.51 mem=5M636
31.53
31.53 global
31.53 nbConstraintChecks=269712375 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.53 solvingWckTime=30.816 solvingCpuTime=30.51 expiredTime=no totalExploration=no nbFoundSolutions=0
31.53 globalCpuTime=30.84
31.53 => wckTime=31.21 cpuTime=30.79 mem=5M636
31.53
31.53 solver IterativeSystematicSolver being built...
31.66 => wckTime=31.338 cpuTime=30.89 mem=16M511
31.72
31.72 preprocessing
31.72 nbConstraintChecks=123977 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.72 detectedInconsistency=no
31.72 => wckTime=0.065 cpuTime=0.04 mem=16M511
31.87
31.87 search
31.87 run=0 nbConstraintChecks=705341 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=47
31.87 nbFailedAssignments=34 nbBacktracks=10 nbVisitedNodes=92 nbRestartNogoods=0
31.87 => wckTime=0.207 cpuTime=0.17 mem=16M511
32.31
32.31 search
32.31 run=1 nbConstraintChecks=3487387 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=240
32.31 nbFailedAssignments=208 nbBacktracks=25 nbVisitedNodes=474 nbRestartNogoods=3
32.31 => wckTime=0.652 cpuTime=0.6 mem=16M511
33.19
33.19 search
33.19 run=2 nbConstraintChecks=9496972 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=629
33.19 nbFailedAssignments=572 nbBacktracks=47 nbVisitedNodes=1249 nbRestartNogoods=11
33.19 => wckTime=1.53 cpuTime=1.47 mem=16M511
34.66
34.66 search
34.66 run=3 nbConstraintChecks=19645769 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1294
34.66 nbFailedAssignments=1201 nbBacktracks=80 nbVisitedNodes=2576 nbRestartNogoods=13
34.66 => wckTime=3.007 cpuTime=2.93 mem=16M511
36.39
36.39 search
36.39 run=4 nbConstraintChecks=31118607 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2057
36.39 nbFailedAssignments=1910 nbBacktracks=130 nbVisitedNodes=4098 nbRestartNogoods=46
36.39 => wckTime=4.733 cpuTime=4.62 mem=16M511
39.33
39.33 search
39.33 run=5 nbConstraintChecks=51447359 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3391
39.33 nbFailedAssignments=3166 nbBacktracks=205 nbVisitedNodes=6763 nbRestartNogoods=88
39.33 => wckTime=7.671 cpuTime=7.52 mem=16M511
41.48
41.48 search
41.48 run=6 nbConstraintChecks=65621063 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4368
41.48 nbFailedAssignments=4026 nbBacktracks=318 nbVisitedNodes=8713 nbRestartNogoods=112
41.48 => wckTime=9.826 cpuTime=9.66 mem=16M511
45.02
45.02 search
45.02 run=7 nbConstraintChecks=90305428 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6153
45.02 nbFailedAssignments=5638 nbBacktracks=488 nbVisitedNodes=12280 nbRestartNogoods=118
45.02 => wckTime=13.36 cpuTime=13.16 mem=16M511
53.95
53.96 search
53.96 run=8 nbConstraintChecks=149698559 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10118
53.96 nbFailedAssignments=9345 nbBacktracks=744 nbVisitedNodes=20208 nbRestartNogoods=128
53.96 => wckTime=22.298 cpuTime=22.02 mem=16M511
64.54
64.54 search
64.54 run=9 nbConstraintChecks=221589051 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=15087
64.54 nbFailedAssignments=13927 nbBacktracks=1128 nbVisitedNodes=30143 nbRestartNogoods=185
64.54 => wckTime=32.883 cpuTime=32.51 mem=16M511
85.80
85.80 search
85.80 run=10 nbConstraintChecks=365098271 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=24555
85.80 nbFailedAssignments=22817 nbBacktracks=1704 nbVisitedNodes=49076 nbRestartNogoods=193
85.80 => wckTime=54.138 cpuTime=53.56 mem=16M511
102.49
102.49 search
102.49 run=11 nbConstraintChecks=478944454 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=32402
102.49 nbFailedAssignments=29797 nbBacktracks=2568 nbVisitedNodes=64767 nbRestartNogoods=231
102.49 => wckTime=70.829 cpuTime=70.1 mem=16M511
124.09
124.09 search
124.09 run=12 nbConstraintChecks=624576837 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=42818
124.09 nbFailedAssignments=38913 nbBacktracks=3865 nbVisitedNodes=85594 nbRestartNogoods=253
124.09 => wckTime=92.429 cpuTime=91.5 mem=16M511
153.48
153.48 search
153.48 run=13 nbConstraintChecks=818688776 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=56503
153.48 nbFailedAssignments=50649 nbBacktracks=5811 nbVisitedNodes=112961 nbRestartNogoods=275
153.48 => wckTime=121.827 cpuTime=120.63 mem=16M511
192.90
192.90 search
192.90 run=14 nbConstraintChecks=1067801422 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=73934
192.90 nbFailedAssignments=65156 nbBacktracks=8730 nbVisitedNodes=147808 nbRestartNogoods=295
192.90 => wckTime=161.244 cpuTime=159.68 mem=16M511
265.40
265.40 search
265.40 run=15 nbConstraintChecks=1524070415 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=105358
265.40 nbFailedAssignments=92199 nbBacktracks=13108 nbVisitedNodes=210633 nbRestartNogoods=314
265.40 => wckTime=233.744 cpuTime=231.51 mem=16M511
354.37
354.37 search
354.37 run=16 nbConstraintChecks=2084570420 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=146856
354.37 nbFailedAssignments=127125 nbBacktracks=19676 nbVisitedNodes=293598 nbRestartNogoods=331
354.37 => wckTime=322.714 cpuTime=319.67 mem=16M511
478.61
478.61 search
478.61 run=17 nbConstraintChecks=2862138323 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=206797
478.61 nbFailedAssignments=177210 nbBacktracks=29528 nbVisitedNodes=413447 nbRestartNogoods=368
478.61 => wckTime=446.956 cpuTime=442.77 mem=16M511
554.97
554.97 search
554.97 run=18 nbConstraintChecks=3334990475 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=240602
554.97 nbFailedAssignments=207275 nbBacktracks=33269 nbVisitedNodes=481040 nbRestartNogoods=402
554.97 => wckTime=523.317 cpuTime=518.43 mem=16M511
554.98
554.98 global
554.98 nbConstraintChecks=3335114452 nbRestartNogoods=402 solvingWckTime=523.319 solvingCpuTime=518.43 expiredTime=no
554.98 totalExploration=yes nbFoundSolutions=0 globalCpuTime=549.37
554.98 => wckTime=554.658 cpuTime=549.32 mem=16M511
554.98
554.98 s OPTIMUM FOUND
554.98 v 0 0 5 42 43 23 5 17 18 43 42 42 35 0
554.98
554.98 totalWckTime=554.74 totalCpuTime=549.37
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node12/watcher-282727-1169321992 -o ROOT/results/node12/solver-282727-1169321992 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282727-1169321992/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.83 1.94 1.95 4/94 16266
/proc/meminfo: memFree=1335784/2055920 swapFree=4160348/4192956
[pid=16265] ppid=16263 vsize=18540 CPUtime=0
/proc/16265/stat : 16265 (runsolver) R 16263 16265 16063 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 280594279 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 252429528359 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/16265/statm: 4635 279 244 17 0 2626 0
[startup+0.108915 s]
/proc/loadavg: 1.83 1.94 1.95 4/94 16266
/proc/meminfo: memFree=1335784/2055920 swapFree=4160348/4192956
[pid=16265] ppid=16263 vsize=914988 CPUtime=0.09
/proc/16265/stat : 16265 (java) R 16263 16265 16063 0 -1 0 3038 0 1 0 8 1 0 0 17 0 8 0 280594279 936947712 2784 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153860766 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16265/statm: 228747 2784 1443 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.516989 s]
/proc/loadavg: 1.83 1.94 1.95 4/94 16266
/proc/meminfo: memFree=1335784/2055920 swapFree=4160348/4192956
[pid=16265] ppid=16263 vsize=915332 CPUtime=0.49
/proc/16265/stat : 16265 (java) R 16263 16265 16063 0 -1 0 7181 0 1 0 45 4 0 0 18 0 8 0 280594279 937299968 6920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073328002 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16265/statm: 228833 6920 2143 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33813 s]
/proc/loadavg: 1.83 1.94 1.95 3/101 16273
/proc/meminfo: memFree=1313648/2055920 swapFree=4160348/4192956
[pid=16265] ppid=16263 vsize=915464 CPUtime=1.3
/proc/16265/stat : 16265 (java) R 16263 16265 16063 0 -1 0 8221 0 1 0 122 8 0 0 21 0 8 0 280594279 937435136 7959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073727654 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16265/statm: 228866 7959 2479 14 0 215336 0
[pid=16265/tid=16267] ppid=16263 vsize=915464 CPUtime=0.03
/proc/16265/task/16267/stat : 16267 (java) S 16263 16265 16063 0 -1 64 188 0 0 0 3 0 0 0 16 0 8 0 280594282 937435136 7959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16268] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16268/stat : 16268 (java) S 16263 16265 16063 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 280594283 937435136 7959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16269] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16269/stat : 16269 (java) S 16263 16265 16063 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280594283 937435136 7959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16270] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16270/stat : 16270 (java) S 16263 16265 16063 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280594286 937435136 7959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16271] ppid=16263 vsize=915464 CPUtime=0.13
/proc/16265/task/16271/stat : 16271 (java) S 16263 16265 16063 0 -1 64 342 0 0 0 13 0 0 0 19 0 8 0 280594286 937435136 7959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16272] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16272/stat : 16272 (java) S 16263 16265 16063 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280594286 937435136 7959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16273] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16273/stat : 16273 (java) S 16263 16265 16063 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280594286 937435136 7959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915464
[startup+2.97543 s]
/proc/loadavg: 1.83 1.94 1.95 3/101 16273
/proc/meminfo: memFree=1313584/2055920 swapFree=4160348/4192956
[pid=16265] ppid=16263 vsize=915464 CPUtime=2.93
/proc/16265/stat : 16265 (java) R 16263 16265 16063 0 -1 0 8222 0 1 0 282 11 0 0 25 0 8 0 280594279 937435136 7959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073727607 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16265/statm: 228866 7959 2479 14 0 215336 0
[pid=16265/tid=16267] ppid=16263 vsize=915464 CPUtime=0.03
/proc/16265/task/16267/stat : 16267 (java) S 16263 16265 16063 0 -1 64 188 0 0 0 3 0 0 0 16 0 8 0 280594282 937435136 7959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16268] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16268/stat : 16268 (java) S 16263 16265 16063 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 280594283 937435136 7959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16269] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16269/stat : 16269 (java) S 16263 16265 16063 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280594283 937435136 7959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16270] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16270/stat : 16270 (java) S 16263 16265 16063 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280594286 937435136 7959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16271] ppid=16263 vsize=915464 CPUtime=0.13
/proc/16265/task/16271/stat : 16271 (java) S 16263 16265 16063 0 -1 64 342 0 0 0 13 0 0 0 16 0 8 0 280594286 937435136 7959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16272] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16272/stat : 16272 (java) S 16263 16265 16063 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280594286 937435136 7959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16273] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16273/stat : 16273 (java) S 16263 16265 16063 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280594286 937435136 7959 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) 915464
[startup+6.27502 s]
/proc/loadavg: 1.84 1.94 1.95 4/101 16273
/proc/meminfo: memFree=1313584/2055920 swapFree=4160348/4192956
[pid=16265] ppid=16263 vsize=915464 CPUtime=6.19
/proc/16265/stat : 16265 (java) R 16263 16265 16063 0 -1 0 8225 0 1 0 601 18 0 0 25 0 8 0 280594279 937435136 7962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073727788 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16265/statm: 228866 7962 2479 14 0 215336 0
[pid=16265/tid=16267] ppid=16263 vsize=915464 CPUtime=0.03
/proc/16265/task/16267/stat : 16267 (java) S 16263 16265 16063 0 -1 64 188 0 0 0 3 0 0 0 16 0 8 0 280594282 937435136 7962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16268] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16268/stat : 16268 (java) S 16263 16265 16063 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 280594283 937435136 7962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16269] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16269/stat : 16269 (java) S 16263 16265 16063 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280594283 937435136 7962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16270] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16270/stat : 16270 (java) S 16263 16265 16063 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280594286 937435136 7962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16271] ppid=16263 vsize=915464 CPUtime=0.13
/proc/16265/task/16271/stat : 16271 (java) S 16263 16265 16063 0 -1 64 345 0 0 0 13 0 0 0 16 0 8 0 280594286 937435136 7962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16272] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16272/stat : 16272 (java) S 16263 16265 16063 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280594286 937435136 7962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16273] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16273/stat : 16273 (java) S 16263 16265 16063 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280594286 937435136 7962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915464
[startup+12.7502 s]
/proc/loadavg: 1.85 1.94 1.95 3/101 16273
/proc/meminfo: memFree=1313648/2055920 swapFree=4160348/4192956
[pid=16265] ppid=16263 vsize=915464 CPUtime=12.61
/proc/16265/stat : 16265 (java) R 16263 16265 16063 0 -1 0 8225 0 1 0 1227 34 0 0 25 0 8 0 280594279 937435136 7962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073730871 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16265/statm: 228866 7962 2479 14 0 215336 0
[pid=16265/tid=16267] ppid=16263 vsize=915464 CPUtime=0.03
/proc/16265/task/16267/stat : 16267 (java) S 16263 16265 16063 0 -1 64 188 0 0 0 3 0 0 0 16 0 8 0 280594282 937435136 7962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16268] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16268/stat : 16268 (java) S 16263 16265 16063 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 280594283 937435136 7962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16269] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16269/stat : 16269 (java) S 16263 16265 16063 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280594283 937435136 7962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16270] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16270/stat : 16270 (java) S 16263 16265 16063 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280594286 937435136 7962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16271] ppid=16263 vsize=915464 CPUtime=0.13
/proc/16265/task/16271/stat : 16271 (java) S 16263 16265 16063 0 -1 64 345 0 0 0 13 0 0 0 16 0 8 0 280594286 937435136 7962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16272] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16272/stat : 16272 (java) S 16263 16265 16063 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280594286 937435136 7962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16273] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16273/stat : 16273 (java) S 16263 16265 16063 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280594286 937435136 7962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915464
[startup+25.6095 s]
/proc/loadavg: 1.89 1.94 1.95 3/101 16273
/proc/meminfo: memFree=1313712/2055920 swapFree=4160348/4192956
[pid=16265] ppid=16263 vsize=915464 CPUtime=25.35
/proc/16265/stat : 16265 (java) R 16263 16265 16063 0 -1 0 8227 0 1 0 2470 65 0 0 25 0 8 0 280594279 937435136 7964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073727654 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16265/statm: 228866 7964 2479 14 0 215336 0
[pid=16265/tid=16267] ppid=16263 vsize=915464 CPUtime=0.03
/proc/16265/task/16267/stat : 16267 (java) S 16263 16265 16063 0 -1 64 188 0 0 0 3 0 0 0 16 0 8 0 280594282 937435136 7964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16268] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16268/stat : 16268 (java) S 16263 16265 16063 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 280594283 937435136 7964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16269] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16269/stat : 16269 (java) S 16263 16265 16063 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280594283 937435136 7964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16270] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16270/stat : 16270 (java) S 16263 16265 16063 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280594286 937435136 7964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16271] ppid=16263 vsize=915464 CPUtime=0.13
/proc/16265/task/16271/stat : 16271 (java) S 16263 16265 16063 0 -1 64 347 0 0 0 13 0 0 0 16 0 8 0 280594286 937435136 7964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16272] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16272/stat : 16272 (java) S 16263 16265 16063 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280594286 937435136 7964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16273] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16273/stat : 16273 (java) S 16263 16265 16063 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280594286 937435136 7964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915464
[startup+51.2181 s]
/proc/loadavg: 1.92 1.95 1.95 3/101 16273
/proc/meminfo: memFree=1310704/2055920 swapFree=4160348/4192956
[pid=16265] ppid=16263 vsize=915464 CPUtime=50.72
/proc/16265/stat : 16265 (java) R 16263 16265 16063 0 -1 0 9040 0 1 0 4990 82 0 0 25 0 8 0 280594279 937435136 8769 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073851226 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16265/statm: 228866 8769 2532 14 0 215336 0
[pid=16265/tid=16267] ppid=16263 vsize=915464 CPUtime=0.03
/proc/16265/task/16267/stat : 16267 (java) S 16263 16265 16063 0 -1 64 189 0 0 0 3 0 0 0 16 0 8 0 280594282 937435136 8769 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16268] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16268/stat : 16268 (java) S 16263 16265 16063 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 280594283 937435136 8769 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16269] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16269/stat : 16269 (java) S 16263 16265 16063 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280594283 937435136 8769 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16270] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16270/stat : 16270 (java) S 16263 16265 16063 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280594286 937435136 8769 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16271] ppid=16263 vsize=915464 CPUtime=0.24
/proc/16265/task/16271/stat : 16271 (java) S 16263 16265 16063 0 -1 64 403 0 0 0 23 1 0 0 16 0 8 0 280594286 937435136 8769 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16272] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16272/stat : 16272 (java) S 16263 16265 16063 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280594286 937435136 8769 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16273] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16273/stat : 16273 (java) S 16263 16265 16063 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280594286 937435136 8769 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 915464
[startup+102.425 s]
/proc/loadavg: 2.04 1.97 1.96 3/101 16273
/proc/meminfo: memFree=1310640/2055920 swapFree=4160348/4192956
[pid=16265] ppid=16263 vsize=915464 CPUtime=101.46
/proc/16265/stat : 16265 (java) R 16263 16265 16063 0 -1 0 9052 0 1 0 10064 82 0 0 25 0 8 0 280594279 937435136 8779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827269 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16265/statm: 228866 8779 2532 14 0 215336 0
[pid=16265/tid=16267] ppid=16263 vsize=915464 CPUtime=0.03
/proc/16265/task/16267/stat : 16267 (java) S 16263 16265 16063 0 -1 64 189 0 0 0 3 0 0 0 16 0 8 0 280594282 937435136 8779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16268] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16268/stat : 16268 (java) S 16263 16265 16063 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 280594283 937435136 8779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16269] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16269/stat : 16269 (java) S 16263 16265 16063 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280594283 937435136 8779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16270] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16270/stat : 16270 (java) S 16263 16265 16063 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280594286 937435136 8779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16271] ppid=16263 vsize=915464 CPUtime=0.25
/proc/16265/task/16271/stat : 16271 (java) S 16263 16265 16063 0 -1 64 406 0 0 0 24 1 0 0 16 0 8 0 280594286 937435136 8779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16272] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16272/stat : 16272 (java) S 16263 16265 16063 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280594286 937435136 8779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16273] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16273/stat : 16273 (java) S 16263 16265 16063 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280594286 937435136 8779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.46
Current children cumulated vsize (KiB) 915464
[startup+162.517 s]
/proc/loadavg: 2.01 1.97 1.96 3/101 16273
/proc/meminfo: memFree=1310640/2055920 swapFree=4160348/4192956
[pid=16265] ppid=16263 vsize=915464 CPUtime=161.01
/proc/16265/stat : 16265 (java) R 16263 16265 16063 0 -1 0 9060 0 1 0 16018 83 0 0 25 0 8 0 280594279 937435136 8786 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073826874 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16265/statm: 228866 8786 2532 14 0 215336 0
[pid=16265/tid=16267] ppid=16263 vsize=915464 CPUtime=0.03
/proc/16265/task/16267/stat : 16267 (java) S 16263 16265 16063 0 -1 64 189 0 0 0 3 0 0 0 16 0 8 0 280594282 937435136 8786 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16268] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16268/stat : 16268 (java) S 16263 16265 16063 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 280594283 937435136 8786 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16269] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16269/stat : 16269 (java) S 16263 16265 16063 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280594283 937435136 8786 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16270] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16270/stat : 16270 (java) S 16263 16265 16063 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280594286 937435136 8786 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16271] ppid=16263 vsize=915464 CPUtime=0.25
/proc/16265/task/16271/stat : 16271 (java) S 16263 16265 16063 0 -1 64 406 0 0 0 24 1 0 0 16 0 8 0 280594286 937435136 8786 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16272] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16272/stat : 16272 (java) S 16263 16265 16063 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280594286 937435136 8786 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16273] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16273/stat : 16273 (java) S 16263 16265 16063 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280594286 937435136 8786 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.01
Current children cumulated vsize (KiB) 915464
[startup+222.599 s]
/proc/loadavg: 2.00 1.97 1.96 3/101 16273
/proc/meminfo: memFree=1310576/2055920 swapFree=4160348/4192956
[pid=16265] ppid=16263 vsize=915464 CPUtime=220.53
/proc/16265/stat : 16265 (java) R 16263 16265 16063 0 -1 0 9062 0 1 0 21970 83 0 0 25 0 8 0 280594279 937435136 8788 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073848317 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16265/statm: 228866 8788 2532 14 0 215336 0
[pid=16265/tid=16267] ppid=16263 vsize=915464 CPUtime=0.03
/proc/16265/task/16267/stat : 16267 (java) S 16263 16265 16063 0 -1 64 189 0 0 0 3 0 0 0 16 0 8 0 280594282 937435136 8788 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16268] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16268/stat : 16268 (java) S 16263 16265 16063 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 280594283 937435136 8788 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16269] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16269/stat : 16269 (java) S 16263 16265 16063 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280594283 937435136 8788 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16270] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16270/stat : 16270 (java) S 16263 16265 16063 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280594286 937435136 8788 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16271] ppid=16263 vsize=915464 CPUtime=0.25
/proc/16265/task/16271/stat : 16271 (java) S 16263 16265 16063 0 -1 64 406 0 0 0 24 1 0 0 16 0 8 0 280594286 937435136 8788 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16272] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16272/stat : 16272 (java) S 16263 16265 16063 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280594286 937435136 8788 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16273] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16273/stat : 16273 (java) S 16263 16265 16063 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280594286 937435136 8788 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.53
Current children cumulated vsize (KiB) 915464
[startup+282.681 s]
/proc/loadavg: 2.00 1.97 1.96 3/101 16273
/proc/meminfo: memFree=1310640/2055920 swapFree=4160348/4192956
[pid=16265] ppid=16263 vsize=915464 CPUtime=280.07
/proc/16265/stat : 16265 (java) R 16263 16265 16063 0 -1 0 9065 0 1 0 27923 84 0 0 25 0 8 0 280594279 937435136 8791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827012 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16265/statm: 228866 8791 2532 14 0 215336 0
[pid=16265/tid=16267] ppid=16263 vsize=915464 CPUtime=0.03
/proc/16265/task/16267/stat : 16267 (java) S 16263 16265 16063 0 -1 64 189 0 0 0 3 0 0 0 16 0 8 0 280594282 937435136 8791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16268] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16268/stat : 16268 (java) S 16263 16265 16063 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 280594283 937435136 8791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16269] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16269/stat : 16269 (java) S 16263 16265 16063 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280594283 937435136 8791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16270] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16270/stat : 16270 (java) S 16263 16265 16063 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280594286 937435136 8791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16271] ppid=16263 vsize=915464 CPUtime=0.25
/proc/16265/task/16271/stat : 16271 (java) S 16263 16265 16063 0 -1 64 406 0 0 0 24 1 0 0 16 0 8 0 280594286 937435136 8791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16272] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16272/stat : 16272 (java) S 16263 16265 16063 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280594286 937435136 8791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16273] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16273/stat : 16273 (java) S 16263 16265 16063 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280594286 937435136 8791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 280.07
Current children cumulated vsize (KiB) 915464
[startup+342.766 s]
/proc/loadavg: 2.00 1.97 1.96 3/101 16273
/proc/meminfo: memFree=1310640/2055920 swapFree=4160348/4192956
[pid=16265] ppid=16263 vsize=915464 CPUtime=339.6
/proc/16265/stat : 16265 (java) R 16263 16265 16063 0 -1 0 9065 0 1 0 33876 84 0 0 25 0 8 0 280594279 937435136 8791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073891947 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16265/statm: 228866 8791 2532 14 0 215336 0
[pid=16265/tid=16267] ppid=16263 vsize=915464 CPUtime=0.03
/proc/16265/task/16267/stat : 16267 (java) S 16263 16265 16063 0 -1 64 189 0 0 0 3 0 0 0 16 0 8 0 280594282 937435136 8791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16268] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16268/stat : 16268 (java) S 16263 16265 16063 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 280594283 937435136 8791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16269] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16269/stat : 16269 (java) S 16263 16265 16063 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280594283 937435136 8791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16270] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16270/stat : 16270 (java) S 16263 16265 16063 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280594286 937435136 8791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16271] ppid=16263 vsize=915464 CPUtime=0.25
/proc/16265/task/16271/stat : 16271 (java) S 16263 16265 16063 0 -1 64 406 0 0 0 24 1 0 0 16 0 8 0 280594286 937435136 8791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16272] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16272/stat : 16272 (java) S 16263 16265 16063 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280594286 937435136 8791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16273] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16273/stat : 16273 (java) S 16263 16265 16063 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280594286 937435136 8791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 339.6
Current children cumulated vsize (KiB) 915464
[startup+402.827 s]
/proc/loadavg: 2.00 1.97 1.96 3/101 16273
/proc/meminfo: memFree=1310576/2055920 swapFree=4160348/4192956
[pid=16265] ppid=16263 vsize=915464 CPUtime=399.11
/proc/16265/stat : 16265 (java) R 16263 16265 16063 0 -1 0 9067 0 1 0 39827 84 0 0 25 0 8 0 280594279 937435136 8793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831647 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16265/statm: 228866 8793 2532 14 0 215336 0
[pid=16265/tid=16267] ppid=16263 vsize=915464 CPUtime=0.03
/proc/16265/task/16267/stat : 16267 (java) S 16263 16265 16063 0 -1 64 189 0 0 0 3 0 0 0 16 0 8 0 280594282 937435136 8793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16268] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16268/stat : 16268 (java) S 16263 16265 16063 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 280594283 937435136 8793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16269] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16269/stat : 16269 (java) S 16263 16265 16063 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280594283 937435136 8793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16270] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16270/stat : 16270 (java) S 16263 16265 16063 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280594286 937435136 8793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16271] ppid=16263 vsize=915464 CPUtime=0.25
/proc/16265/task/16271/stat : 16271 (java) S 16263 16265 16063 0 -1 64 406 0 0 0 24 1 0 0 16 0 8 0 280594286 937435136 8793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16272] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16272/stat : 16272 (java) S 16263 16265 16063 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280594286 937435136 8793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16273] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16273/stat : 16273 (java) S 16263 16265 16063 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280594286 937435136 8793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 399.11
Current children cumulated vsize (KiB) 915464
[startup+462.88 s]
/proc/loadavg: 2.00 1.97 1.96 3/101 16273
/proc/meminfo: memFree=1310576/2055920 swapFree=4160348/4192956
[pid=16265] ppid=16263 vsize=915464 CPUtime=458.61
/proc/16265/stat : 16265 (java) R 16263 16265 16063 0 -1 0 9067 0 1 0 45776 85 0 0 25 0 8 0 280594279 937435136 8793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073851330 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16265/statm: 228866 8793 2532 14 0 215336 0
[pid=16265/tid=16267] ppid=16263 vsize=915464 CPUtime=0.03
/proc/16265/task/16267/stat : 16267 (java) S 16263 16265 16063 0 -1 64 189 0 0 0 3 0 0 0 16 0 8 0 280594282 937435136 8793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16268] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16268/stat : 16268 (java) S 16263 16265 16063 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 280594283 937435136 8793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16269] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16269/stat : 16269 (java) S 16263 16265 16063 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280594283 937435136 8793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16270] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16270/stat : 16270 (java) S 16263 16265 16063 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280594286 937435136 8793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16271] ppid=16263 vsize=915464 CPUtime=0.25
/proc/16265/task/16271/stat : 16271 (java) S 16263 16265 16063 0 -1 64 406 0 0 0 24 1 0 0 16 0 8 0 280594286 937435136 8793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16272] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16272/stat : 16272 (java) S 16263 16265 16063 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280594286 937435136 8793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16273] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16273/stat : 16273 (java) S 16263 16265 16063 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280594286 937435136 8793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 458.61
Current children cumulated vsize (KiB) 915464
[startup+522.94 s]
/proc/loadavg: 2.00 1.97 1.96 3/101 16273
/proc/meminfo: memFree=1310576/2055920 swapFree=4160348/4192956
[pid=16265] ppid=16263 vsize=915464 CPUtime=518.12
/proc/16265/stat : 16265 (java) R 16263 16265 16063 0 -1 0 9070 0 1 0 51727 85 0 0 25 0 8 0 280594279 937435136 8796 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827162 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16265/statm: 228866 8796 2532 14 0 215336 0
[pid=16265/tid=16267] ppid=16263 vsize=915464 CPUtime=0.03
/proc/16265/task/16267/stat : 16267 (java) S 16263 16265 16063 0 -1 64 189 0 0 0 3 0 0 0 16 0 8 0 280594282 937435136 8796 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16268] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16268/stat : 16268 (java) S 16263 16265 16063 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 280594283 937435136 8796 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16269] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16269/stat : 16269 (java) S 16263 16265 16063 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280594283 937435136 8796 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16270] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16270/stat : 16270 (java) S 16263 16265 16063 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280594286 937435136 8796 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16271] ppid=16263 vsize=915464 CPUtime=0.25
/proc/16265/task/16271/stat : 16271 (java) S 16263 16265 16063 0 -1 64 406 0 0 0 24 1 0 0 16 0 8 0 280594286 937435136 8796 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16272] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16272/stat : 16272 (java) S 16263 16265 16063 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280594286 937435136 8796 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16265/tid=16273] ppid=16263 vsize=915464 CPUtime=0
/proc/16265/task/16273/stat : 16273 (java) S 16263 16265 16063 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280594286 937435136 8796 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 518.12
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 555.005
CPU time (s): 549.88
CPU user time (s): 549.013
CPU system time (s): 0.867868
CPU usage (%): 99.0766
Max. virtual memory (cumulated for all children) (KiB): 915468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 549.013
system time used= 0.867868
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9167
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= 12218
involuntary context switches= 32006
runsolver used 0.59191 s user time and 1.87471 s system time
The end
Begin job on node12 on Sat Jan 20 19:39:52 UTC 2007
IDJOB= 282727
IDBENCH= 12883
IDSOLVER= 68
FILE ID= node12/282727-1169321992
PBS_JOBID= 3610088
Free space on /tmp= 66562 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/celar/subs6/scenw-6-sub1_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282727-1169321992/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-282727-1169321992 -o ROOT/results/node12/solver-282727-1169321992 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282727-1169321992/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 9fd2c9f754995ee8b76fff9abf5039b7
RANDOM SEED= 952945004
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.265
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.265
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: 1336264 kB
Buffers: 62664 kB
Cached: 534552 kB
SwapCached: 5332 kB
Active: 286608 kB
Inactive: 356076 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1336264 kB
SwapTotal: 4192956 kB
SwapFree: 4160348 kB
Dirty: 2004 kB
Writeback: 0 kB
Mapped: 62100 kB
Slab: 61628 kB
Committed_AS: 8752184 kB
PageTables: 2180 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= 66562 MiB
End job on node12 on Sat Jan 20 19:49:08 UTC 2007