Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
sat4jPseudoCP 2007-03-23 | SAT | 34.3838 | 31.3576 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900557568.opb |
MD5SUM | 59e4a9510e1c8d59c823fb03c84d0b7d |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 0.017996 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 231 |
Total number of constraints | 2707 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 585 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.08/0.13 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.08/0.13 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.08/0.13 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.08/0.14 c no version file found!!! 0.08/0.14 c sun.arch.data.model 32 0.08/0.14 c java.version 1.6.0 0.08/0.14 c os.name Linux 0.08/0.14 c os.version 2.6.9-22.EL.rootsmp 0.08/0.14 c os.arch i386 0.08/0.14 c Free memory 1651659224 0.08/0.14 c Max memory 1654456320 0.08/0.14 c Total memory 1654456320 0.08/0.14 c Number of processors 2 0.08/0.19 c Cutting planes based inference (org.sat4j.minisat.constraints.pb.PBSolver) 0.08/0.19 --- Begin Solver configuration --- 0.08/0.19 c Stops conflict analysis at the first Unique Implication Point 0.08/0.19 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.08/0.19 c Learn all clauses as in MiniSAT 0.08/0.19 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=10000.0 initConflictBound=100 0.08/0.19 c VSIDS like heuristics from MiniSAT using a heap 0.08/0.19 c No reason simplification 0.08/0.19 c --- End Solver configuration --- 0.08/0.19 c solving /tmp/evaluation/359486-1176931688/instance-359486-1176931688.opb 0.08/0.19 c reading problem ... 1.06/0.89 c ... done. Wall clock time 0.697s. 1.06/0.89 c CPU time (experimental) 0.59s. 1.06/0.89 c #vars 231 1.06/0.89 c #constraints 2707 34.25/31.29 c starts : 2 34.25/31.29 c conflicts : 3210 34.25/31.29 c decisions : 19563 34.25/31.29 c propagations : 110652 34.25/31.29 c inspects : 5593139 34.25/31.29 c learnt literals : 0 34.25/31.29 c learnt binary clauses : 0 34.25/31.29 c learnt ternary clauses : 0 34.25/31.29 c learnt clauses : 3210 34.25/31.29 c root simplifications : 0 34.25/31.29 c removed literals (reason simplification) : 0 34.25/31.29 c reason swapping (by a shorter reason) : 0 34.25/31.29 c Calls to reduceDB : 0 34.25/31.29 c speed (decisions/second) : 643.6679498568749 34.25/31.29 c non guided choices 121 34.25/31.29 s SATISFIABLE 34.25/31.29 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 -x21 -x22 -x23 -x24 -x25 x26 -x27 -x28 -x29 34.25/31.29 v -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 34.25/31.29 v -x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 x78 -x79 -x80 -x81 34.25/31.29 v -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 34.25/31.29 v -x106 -x107 -x108 -x109 x110 -x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 x125 -x126 34.25/31.29 v -x127 -x128 -x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 x147 34.25/31.29 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 34.25/31.29 v -x169 -x170 x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 34.25/31.29 v -x190 -x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 34.25/31.29 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 x227 -x228 -x229 -x230 -x231 34.25/31.29 c Total wall clock time (ms): 31.096
OK 0
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node59/watcher-359486-1176931688 -o ROOT/results/node59/solver-359486-1176931688 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/359486-1176931688/sat4jPseudoCP.jar /tmp/evaluation/359486-1176931688/instance-359486-1176931688.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.88 0.94 0.94 2/64 7638 /proc/meminfo: memFree=1816888/2055920 swapFree=4184736/4192956 [pid=7638] ppid=7636 vsize=152 CPUtime=0 /proc/7638/stat : 7638 (java) R 7636 7638 5578 0 -1 0 41 0 0 0 0 0 0 0 20 0 1 0 141078436 155648 26 18446744073709551615 134512640 134550740 4294956560 18446744073709551615 9285931 0 0 4096 0 0 0 0 17 1 0 0 /proc/7638/statm: 38 26 19 9 0 4 0 [startup+0.0942999 s] /proc/loadavg: 0.88 0.94 0.94 2/64 7638 /proc/meminfo: memFree=1816888/2055920 swapFree=4184736/4192956 [pid=7638] ppid=7636 vsize=1780108 CPUtime=0.08 /proc/7638/stat : 7638 (java) S 7636 7638 5578 0 -1 0 3959 0 1 0 6 2 0 0 18 0 12 0 141078436 1822830592 3701 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7638/statm: 445027 3701 1122 9 0 442646 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1780108 [startup+0.101301 s] /proc/loadavg: 0.88 0.94 0.94 2/64 7638 /proc/meminfo: memFree=1816888/2055920 swapFree=4184736/4192956 [pid=7638] ppid=7636 vsize=1780256 CPUtime=0.08 /proc/7638/stat : 7638 (java) S 7636 7638 5578 0 -1 0 4006 0 1 0 6 2 0 0 18 0 12 0 141078436 1822982144 3748 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7638/statm: 445064 3748 1124 9 0 442683 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1780256 [startup+0.301343 s] /proc/loadavg: 0.88 0.94 0.94 2/64 7638 /proc/meminfo: memFree=1816888/2055920 swapFree=4184736/4192956 [pid=7638] ppid=7636 vsize=1782444 CPUtime=0.32 /proc/7638/stat : 7638 (java) S 7636 7638 5578 0 -1 0 5160 0 1 0 29 3 0 0 18 0 12 0 141078436 1825222656 4899 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7638/statm: 445611 4900 1263 9 0 443223 0 Current children cumulated CPU time (s) 0.32 Current children cumulated vsize (KiB) 1782444 [startup+0.701416 s] /proc/loadavg: 0.88 0.94 0.94 2/64 7638 /proc/meminfo: memFree=1816888/2055920 swapFree=4184736/4192956 [pid=7638] ppid=7636 vsize=1783244 CPUtime=0.89 /proc/7638/stat : 7638 (java) S 7636 7638 5578 0 -1 0 6775 0 1 0 85 4 0 0 18 0 12 0 141078436 1826041856 6275 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7638/statm: 445811 6275 1301 9 0 443423 0 Current children cumulated CPU time (s) 0.89 Current children cumulated vsize (KiB) 1783244 [startup+1.50257 s] /proc/loadavg: 0.88 0.94 0.94 4/77 7651 /proc/meminfo: memFree=1792144/2055920 swapFree=4184736/4192956 [pid=7638] ppid=7636 vsize=1787624 CPUtime=2.35 /proc/7638/stat : 7638 (java) S 7636 7638 5578 0 -1 0 15808 0 1 0 227 8 0 0 18 0 13 0 141078436 1830526976 12052 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7638/statm: 446906 12052 1312 9 0 444518 0 [pid=7638/tid=7640] ppid=7636 vsize=1787624 CPUtime=0.89 /proc/7638/task/7640/stat : 7640 (java) R 7636 7638 5578 0 -1 64 9785 0 1 0 85 4 0 0 21 0 13 0 141078437 1830526976 12052 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109185917 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7641] ppid=7636 vsize=1787624 CPUtime=0 /proc/7638/task/7641/stat : 7641 (java) S 7636 7638 5578 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 141078438 1830526976 12052 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7642] ppid=7636 vsize=1787624 CPUtime=0 /proc/7638/task/7642/stat : 7642 (java) S 7636 7638 5578 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 141078438 1830526976 12052 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7638/tid=7643] ppid=7636 vsize=1787624 CPUtime=0 /proc/7638/task/7643/stat : 7643 (java) S 7636 7638 5578 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 141078440 1830526976 12052 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=7638/tid=7644] ppid=7636 vsize=1787624 CPUtime=0 /proc/7638/task/7644/stat : 7644 (java) S 7636 7638 5578 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 141078441 1830526976 12052 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7645] ppid=7636 vsize=1787624 CPUtime=0 /proc/7638/task/7645/stat : 7645 (java) S 7636 7638 5578 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 141078441 1830526976 12052 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7646] ppid=7636 vsize=1787624 CPUtime=0 /proc/7638/task/7646/stat : 7646 (java) S 7636 7638 5578 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 141078445 1830526976 12052 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7647] ppid=7636 vsize=1787624 CPUtime=0.8 /proc/7638/task/7647/stat : 7647 (java) R 7636 7638 5578 0 -1 64 3216 0 0 0 79 1 0 0 19 0 13 0 141078445 1830526976 12052 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 105432638 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7638/tid=7648] ppid=7636 vsize=1787624 CPUtime=0.62 /proc/7638/task/7648/stat : 7648 (java) S 7636 7638 5578 0 -1 64 2081 0 0 0 62 0 0 0 16 0 13 0 141078445 1830526976 12052 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7649] ppid=7636 vsize=1787624 CPUtime=0 /proc/7638/task/7649/stat : 7649 (java) S 7636 7638 5578 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 141078445 1830526976 12052 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7650] ppid=7636 vsize=1787624 CPUtime=0 /proc/7638/task/7650/stat : 7650 (java) R 7636 7638 5578 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 141078445 1830526976 12052 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7651] ppid=7636 vsize=1787624 CPUtime=0 /proc/7638/task/7651/stat : 7651 (java) S 7636 7638 5578 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 141078526 1830526976 12052 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2.35 Current children cumulated vsize (KiB) 1787624 [startup+3.10287 s] /proc/loadavg: 1.05 0.98 0.95 4/77 7651 /proc/meminfo: memFree=1718736/2055920 swapFree=4184736/4192956 [pid=7638] ppid=7636 vsize=1796880 CPUtime=5.29 /proc/7638/stat : 7638 (java) S 7636 7638 5578 0 -1 0 52086 0 1 0 505 24 0 0 18 0 13 0 141078436 1840005120 42682 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7638/statm: 449220 42682 1325 9 0 446832 0 [pid=7638/tid=7640] ppid=7636 vsize=1796880 CPUtime=1.98 /proc/7638/task/7640/stat : 7640 (java) R 7636 7638 5578 0 -1 64 37722 0 1 0 181 17 0 0 21 0 13 0 141078437 1840005120 42682 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109669915 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7641] ppid=7636 vsize=1796880 CPUtime=0 /proc/7638/task/7641/stat : 7641 (java) S 7636 7638 5578 0 -1 64 177 0 0 0 0 0 0 0 16 0 13 0 141078438 1840005120 42682 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7642] ppid=7636 vsize=1796880 CPUtime=0 /proc/7638/task/7642/stat : 7642 (java) S 7636 7638 5578 0 -1 64 144 0 0 0 0 0 0 0 16 0 13 0 141078438 1840005120 42682 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7638/tid=7643] ppid=7636 vsize=1796880 CPUtime=0 /proc/7638/task/7643/stat : 7643 (java) S 7636 7638 5578 0 -1 64 8 0 0 0 0 0 0 0 17 0 13 0 141078440 1840005120 42682 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7644] ppid=7636 vsize=1796880 CPUtime=0 /proc/7638/task/7644/stat : 7644 (java) S 7636 7638 5578 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 141078441 1840005120 42682 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7645] ppid=7636 vsize=1796880 CPUtime=0 /proc/7638/task/7645/stat : 7645 (java) S 7636 7638 5578 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 141078441 1840005120 42682 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7646] ppid=7636 vsize=1796880 CPUtime=0 /proc/7638/task/7646/stat : 7646 (java) S 7636 7638 5578 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 141078445 1840005120 42682 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7647] ppid=7636 vsize=1796880 CPUtime=1.51 /proc/7638/task/7647/stat : 7647 (java) R 7636 7638 5578 0 -1 64 6261 0 0 0 149 2 0 0 16 0 13 0 141078445 1840005120 42682 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 103060130 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7638/tid=7648] ppid=7636 vsize=1796880 CPUtime=1.75 /proc/7638/task/7648/stat : 7648 (java) S 7636 7638 5578 0 -1 64 7051 0 0 0 172 3 0 0 17 0 13 0 141078445 1840005120 42682 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7649] ppid=7636 vsize=1796880 CPUtime=0 /proc/7638/task/7649/stat : 7649 (java) S 7636 7638 5578 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 141078445 1840005120 42682 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7650] ppid=7636 vsize=1796880 CPUtime=0 /proc/7638/task/7650/stat : 7650 (java) S 7636 7638 5578 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 141078445 1840005120 42682 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7651] ppid=7636 vsize=1796880 CPUtime=0 /proc/7638/task/7651/stat : 7651 (java) S 7636 7638 5578 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 141078526 1840005120 42682 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 5.29 Current children cumulated vsize (KiB) 1796880 [startup+6.30249 s] /proc/loadavg: 1.05 0.98 0.95 2/77 7651 /proc/meminfo: memFree=1647696/2055920 swapFree=4184736/4192956 [pid=7638] ppid=7636 vsize=1796696 CPUtime=8.65 /proc/7638/stat : 7638 (java) S 7636 7638 5578 0 -1 0 56341 0 1 0 839 26 0 0 18 0 13 0 141078436 1839816704 46000 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7638/statm: 449174 46000 1325 9 0 446786 0 [pid=7638/tid=7640] ppid=7636 vsize=1796696 CPUtime=5.05 /proc/7638/task/7640/stat : 7640 (java) R 7636 7638 5578 0 -1 64 39207 0 1 0 488 17 0 0 22 0 13 0 141078437 1839816704 46000 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109784157 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7641] ppid=7636 vsize=1796696 CPUtime=0.06 /proc/7638/task/7641/stat : 7641 (java) S 7636 7638 5578 0 -1 64 1555 0 0 0 6 0 0 0 16 0 13 0 141078438 1839816704 46000 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7642] ppid=7636 vsize=1796696 CPUtime=0.06 /proc/7638/task/7642/stat : 7642 (java) S 7636 7638 5578 0 -1 64 1515 0 0 0 6 0 0 0 16 0 13 0 141078438 1839816704 46000 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7638/tid=7643] ppid=7636 vsize=1796696 CPUtime=0 /proc/7638/task/7643/stat : 7643 (java) S 7636 7638 5578 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 141078440 1839816704 46000 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7644] ppid=7636 vsize=1796696 CPUtime=0 /proc/7638/task/7644/stat : 7644 (java) S 7636 7638 5578 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 141078441 1839816704 46000 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7645] ppid=7636 vsize=1796696 CPUtime=0 /proc/7638/task/7645/stat : 7645 (java) S 7636 7638 5578 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 141078441 1839816704 46000 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7646] ppid=7636 vsize=1796696 CPUtime=0 /proc/7638/task/7646/stat : 7646 (java) S 7636 7638 5578 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 141078445 1839816704 46000 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7647] ppid=7636 vsize=1796696 CPUtime=1.59 /proc/7638/task/7647/stat : 7647 (java) S 7636 7638 5578 0 -1 64 6261 0 0 0 157 2 0 0 17 0 13 0 141078445 1839816704 46000 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7638/tid=7648] ppid=7636 vsize=1796696 CPUtime=1.82 /proc/7638/task/7648/stat : 7648 (java) S 7636 7638 5578 0 -1 64 7051 0 0 0 179 3 0 0 16 0 13 0 141078445 1839816704 46000 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7649] ppid=7636 vsize=1796696 CPUtime=0 /proc/7638/task/7649/stat : 7649 (java) S 7636 7638 5578 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 141078445 1839816704 46000 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7650] ppid=7636 vsize=1796696 CPUtime=0 /proc/7638/task/7650/stat : 7650 (java) S 7636 7638 5578 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 141078445 1839816704 46000 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7651] ppid=7636 vsize=1796696 CPUtime=0 /proc/7638/task/7651/stat : 7651 (java) S 7636 7638 5578 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 141078526 1839816704 46000 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 8.65 Current children cumulated vsize (KiB) 1796696 [startup+12.7027 s] /proc/loadavg: 1.04 0.98 0.95 2/77 7651 /proc/meminfo: memFree=1601312/2055920 swapFree=4184736/4192956 [pid=7638] ppid=7636 vsize=1796336 CPUtime=15.28 /proc/7638/stat : 7638 (java) S 7636 7638 5578 0 -1 0 65906 0 1 0 1498 30 0 0 18 0 13 0 141078436 1839448064 54936 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7638/statm: 449084 54936 1326 9 0 446696 0 [pid=7638/tid=7640] ppid=7636 vsize=1796336 CPUtime=11.28 /proc/7638/task/7640/stat : 7640 (java) R 7636 7638 5578 0 -1 64 43001 0 1 0 1109 19 0 0 25 0 13 0 141078437 1839448064 54936 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109671507 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7638/tid=7641] ppid=7636 vsize=1796336 CPUtime=0.18 /proc/7638/task/7641/stat : 7641 (java) S 7636 7638 5578 0 -1 64 4721 0 0 0 16 2 0 0 16 0 13 0 141078438 1839448064 54936 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7642] ppid=7636 vsize=1796336 CPUtime=0.18 /proc/7638/task/7642/stat : 7642 (java) S 7636 7638 5578 0 -1 64 4113 0 0 0 17 1 0 0 16 0 13 0 141078438 1839448064 54936 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7638/tid=7643] ppid=7636 vsize=1796336 CPUtime=0 /proc/7638/task/7643/stat : 7643 (java) S 7636 7638 5578 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 141078440 1839448064 54936 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=7638/tid=7644] ppid=7636 vsize=1796336 CPUtime=0 /proc/7638/task/7644/stat : 7644 (java) S 7636 7638 5578 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 141078441 1839448064 54936 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7645] ppid=7636 vsize=1796336 CPUtime=0 /proc/7638/task/7645/stat : 7645 (java) S 7636 7638 5578 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 141078441 1839448064 54936 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7646] ppid=7636 vsize=1796336 CPUtime=0 /proc/7638/task/7646/stat : 7646 (java) S 7636 7638 5578 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 141078445 1839448064 54936 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7647] ppid=7636 vsize=1796336 CPUtime=1.68 /proc/7638/task/7647/stat : 7647 (java) S 7636 7638 5578 0 -1 64 6264 0 0 0 166 2 0 0 16 0 13 0 141078445 1839448064 54936 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7638/tid=7648] ppid=7636 vsize=1796336 CPUtime=1.89 /proc/7638/task/7648/stat : 7648 (java) S 7636 7638 5578 0 -1 64 7055 0 0 0 186 3 0 0 15 0 13 0 141078445 1839448064 54936 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7649] ppid=7636 vsize=1796336 CPUtime=0 /proc/7638/task/7649/stat : 7649 (java) S 7636 7638 5578 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 141078445 1839448064 54936 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7650] ppid=7636 vsize=1796336 CPUtime=0 /proc/7638/task/7650/stat : 7650 (java) S 7636 7638 5578 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 141078445 1839448064 54936 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7651] ppid=7636 vsize=1796336 CPUtime=0 /proc/7638/task/7651/stat : 7651 (java) S 7636 7638 5578 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 141078526 1839448064 54936 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 15.28 Current children cumulated vsize (KiB) 1796336 [startup+25.5011 s] /proc/loadavg: 1.04 0.98 0.95 2/77 7651 /proc/meminfo: memFree=1589280/2055920 swapFree=4184736/4192956 [pid=7638] ppid=7636 vsize=1798384 CPUtime=28.49 /proc/7638/stat : 7638 (java) S 7636 7638 5578 0 -1 0 70527 0 1 0 2817 32 0 0 18 0 13 0 141078436 1841545216 57983 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7638/statm: 449596 57983 1333 9 0 447208 0 [pid=7638/tid=7640] ppid=7636 vsize=1798384 CPUtime=23.92 /proc/7638/task/7640/stat : 7640 (java) R 7636 7638 5578 0 -1 64 43015 0 1 0 2373 19 0 0 22 0 13 0 141078437 1841545216 57983 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109780805 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7638/tid=7641] ppid=7636 vsize=1798384 CPUtime=0.31 /proc/7638/task/7641/stat : 7641 (java) S 7636 7638 5578 0 -1 64 6526 0 0 0 29 2 0 0 17 0 13 0 141078438 1841545216 57983 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7642] ppid=7636 vsize=1798384 CPUtime=0.32 /proc/7638/task/7642/stat : 7642 (java) S 7636 7638 5578 0 -1 64 5632 0 0 0 30 2 0 0 17 0 13 0 141078438 1841545216 57983 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7643] ppid=7636 vsize=1798384 CPUtime=0 /proc/7638/task/7643/stat : 7643 (java) S 7636 7638 5578 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 141078440 1841545216 57983 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7644] ppid=7636 vsize=1798384 CPUtime=0 /proc/7638/task/7644/stat : 7644 (java) S 7636 7638 5578 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 141078441 1841545216 57983 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7645] ppid=7636 vsize=1798384 CPUtime=0 /proc/7638/task/7645/stat : 7645 (java) S 7636 7638 5578 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 141078441 1841545216 57983 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7646] ppid=7636 vsize=1798384 CPUtime=0 /proc/7638/task/7646/stat : 7646 (java) S 7636 7638 5578 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 141078445 1841545216 57983 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7647] ppid=7636 vsize=1798384 CPUtime=1.78 /proc/7638/task/7647/stat : 7647 (java) S 7636 7638 5578 0 -1 64 6280 0 0 0 176 2 0 0 17 0 13 0 141078445 1841545216 57983 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7638/tid=7648] ppid=7636 vsize=1798384 CPUtime=2.11 /proc/7638/task/7648/stat : 7648 (java) S 7636 7638 5578 0 -1 64 8320 0 0 0 207 4 0 0 16 0 13 0 141078445 1841545216 57983 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7649] ppid=7636 vsize=1798384 CPUtime=0 /proc/7638/task/7649/stat : 7649 (java) S 7636 7638 5578 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 141078445 1841545216 57983 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7650] ppid=7636 vsize=1798384 CPUtime=0 /proc/7638/task/7650/stat : 7650 (java) S 7636 7638 5578 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 141078445 1841545216 57983 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7651] ppid=7636 vsize=1798384 CPUtime=0 /proc/7638/task/7651/stat : 7651 (java) S 7636 7638 5578 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 141078526 1841545216 57983 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 28.49 Current children cumulated vsize (KiB) 1798384 Solver just ended. Dumping a history of the last processes samples [startup+28.7027 s] /proc/loadavg: 1.03 0.98 0.95 2/77 7651 /proc/meminfo: memFree=1591840/2055920 swapFree=4184736/4192956 [pid=7638] ppid=7636 vsize=1798384 CPUtime=31.72 /proc/7638/stat : 7638 (java) S 7636 7638 5578 0 -1 0 71254 0 1 0 3140 32 0 0 18 0 13 0 141078436 1841545216 57305 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7638/statm: 449596 57305 1333 9 0 447208 0 [pid=7638/tid=7640] ppid=7636 vsize=1798384 CPUtime=27.08 /proc/7638/task/7640/stat : 7640 (java) R 7636 7638 5578 0 -1 64 43018 0 1 0 2689 19 0 0 22 0 13 0 141078437 1841545216 57305 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109665363 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7638/tid=7641] ppid=7636 vsize=1798384 CPUtime=0.34 /proc/7638/task/7641/stat : 7641 (java) S 7636 7638 5578 0 -1 64 6980 0 0 0 31 3 0 0 16 0 13 0 141078438 1841545216 57305 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7642] ppid=7636 vsize=1798384 CPUtime=0.35 /proc/7638/task/7642/stat : 7642 (java) S 7636 7638 5578 0 -1 64 5902 0 0 0 33 2 0 0 16 0 13 0 141078438 1841545216 57305 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7638/tid=7643] ppid=7636 vsize=1798384 CPUtime=0 /proc/7638/task/7643/stat : 7643 (java) S 7636 7638 5578 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 141078440 1841545216 57305 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7644] ppid=7636 vsize=1798384 CPUtime=0 /proc/7638/task/7644/stat : 7644 (java) S 7636 7638 5578 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 141078441 1841545216 57305 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7645] ppid=7636 vsize=1798384 CPUtime=0 /proc/7638/task/7645/stat : 7645 (java) S 7636 7638 5578 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 141078441 1841545216 57305 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7646] ppid=7636 vsize=1798384 CPUtime=0 /proc/7638/task/7646/stat : 7646 (java) S 7636 7638 5578 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 141078445 1841545216 57305 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7647] ppid=7636 vsize=1798384 CPUtime=1.78 /proc/7638/task/7647/stat : 7647 (java) S 7636 7638 5578 0 -1 64 6280 0 0 0 176 2 0 0 17 0 13 0 141078445 1841545216 57305 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7638/tid=7648] ppid=7636 vsize=1798384 CPUtime=2.11 /proc/7638/task/7648/stat : 7648 (java) S 7636 7638 5578 0 -1 64 8320 0 0 0 207 4 0 0 16 0 13 0 141078445 1841545216 57305 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7649] ppid=7636 vsize=1798384 CPUtime=0 /proc/7638/task/7649/stat : 7649 (java) S 7636 7638 5578 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 141078445 1841545216 57305 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7650] ppid=7636 vsize=1798384 CPUtime=0 /proc/7638/task/7650/stat : 7650 (java) S 7636 7638 5578 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 141078445 1841545216 57305 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7651] ppid=7636 vsize=1798384 CPUtime=0 /proc/7638/task/7651/stat : 7651 (java) S 7636 7638 5578 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 141078526 1841545216 57305 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 31.72 Current children cumulated vsize (KiB) 1798384 [startup+30.301 s] /proc/loadavg: 1.03 0.98 0.95 3/77 7651 /proc/meminfo: memFree=1593568/2055920 swapFree=4184736/4192956 [pid=7638] ppid=7636 vsize=1798384 CPUtime=33.34 /proc/7638/stat : 7638 (java) S 7636 7638 5578 0 -1 0 71675 0 1 0 3301 33 0 0 18 0 13 0 141078436 1841545216 56863 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7638/statm: 449596 56863 1333 9 0 447208 0 [pid=7638/tid=7640] ppid=7636 vsize=1798384 CPUtime=28.66 /proc/7638/task/7640/stat : 7640 (java) R 7636 7638 5578 0 -1 64 43020 0 1 0 2847 19 0 0 19 0 13 0 141078437 1841545216 56863 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109682859 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7638/tid=7641] ppid=7636 vsize=1798384 CPUtime=0.36 /proc/7638/task/7641/stat : 7641 (java) S 7636 7638 5578 0 -1 64 7251 0 0 0 33 3 0 0 16 0 13 0 141078438 1841545216 56863 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7642] ppid=7636 vsize=1798384 CPUtime=0.37 /proc/7638/task/7642/stat : 7642 (java) S 7636 7638 5578 0 -1 64 6050 0 0 0 35 2 0 0 17 0 13 0 141078438 1841545216 56863 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7643] ppid=7636 vsize=1798384 CPUtime=0 /proc/7638/task/7643/stat : 7643 (java) S 7636 7638 5578 0 -1 64 31 0 0 0 0 0 0 0 15 0 13 0 141078440 1841545216 56863 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7644] ppid=7636 vsize=1798384 CPUtime=0 /proc/7638/task/7644/stat : 7644 (java) S 7636 7638 5578 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 141078441 1841545216 56863 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7645] ppid=7636 vsize=1798384 CPUtime=0 /proc/7638/task/7645/stat : 7645 (java) S 7636 7638 5578 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 141078441 1841545216 56863 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7646] ppid=7636 vsize=1798384 CPUtime=0 /proc/7638/task/7646/stat : 7646 (java) S 7636 7638 5578 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 141078445 1841545216 56863 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7647] ppid=7636 vsize=1798384 CPUtime=1.78 /proc/7638/task/7647/stat : 7647 (java) S 7636 7638 5578 0 -1 64 6280 0 0 0 176 2 0 0 17 0 13 0 141078445 1841545216 56863 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7638/tid=7648] ppid=7636 vsize=1798384 CPUtime=2.11 /proc/7638/task/7648/stat : 7648 (java) S 7636 7638 5578 0 -1 64 8320 0 0 0 207 4 0 0 16 0 13 0 141078445 1841545216 56863 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7649] ppid=7636 vsize=1798384 CPUtime=0 /proc/7638/task/7649/stat : 7649 (java) S 7636 7638 5578 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 141078445 1841545216 56863 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7650] ppid=7636 vsize=1798384 CPUtime=0 /proc/7638/task/7650/stat : 7650 (java) S 7636 7638 5578 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 141078445 1841545216 56863 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7651] ppid=7636 vsize=1798384 CPUtime=0 /proc/7638/task/7651/stat : 7651 (java) S 7636 7638 5578 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 141078526 1841545216 56863 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 33.34 Current children cumulated vsize (KiB) 1798384 [startup+31.1022 s] /proc/loadavg: 1.03 0.98 0.95 2/77 7651 /proc/meminfo: memFree=1593568/2055920 swapFree=4184736/4192956 [pid=7638] ppid=7636 vsize=1798384 CPUtime=34.15 /proc/7638/stat : 7638 (java) S 7636 7638 5578 0 -1 0 71847 0 1 0 3382 33 0 0 18 0 13 0 141078436 1841545216 56497 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7638/statm: 449596 56497 1333 9 0 447208 0 [pid=7638/tid=7640] ppid=7636 vsize=1798384 CPUtime=29.45 /proc/7638/task/7640/stat : 7640 (java) R 7636 7638 5578 0 -1 64 43021 0 1 0 2926 19 0 0 17 0 13 0 141078437 1841545216 56497 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109682594 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7638/tid=7641] ppid=7636 vsize=1798384 CPUtime=0.37 /proc/7638/task/7641/stat : 7641 (java) S 7636 7638 5578 0 -1 64 7340 0 0 0 34 3 0 0 17 0 13 0 141078438 1841545216 56497 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7642] ppid=7636 vsize=1798384 CPUtime=0.37 /proc/7638/task/7642/stat : 7642 (java) S 7636 7638 5578 0 -1 64 6132 0 0 0 35 2 0 0 17 0 13 0 141078438 1841545216 56497 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7643] ppid=7636 vsize=1798384 CPUtime=0 /proc/7638/task/7643/stat : 7643 (java) S 7636 7638 5578 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 141078440 1841545216 56497 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7644] ppid=7636 vsize=1798384 CPUtime=0 /proc/7638/task/7644/stat : 7644 (java) S 7636 7638 5578 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 141078441 1841545216 56497 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7645] ppid=7636 vsize=1798384 CPUtime=0 /proc/7638/task/7645/stat : 7645 (java) S 7636 7638 5578 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 141078441 1841545216 56497 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7646] ppid=7636 vsize=1798384 CPUtime=0 /proc/7638/task/7646/stat : 7646 (java) S 7636 7638 5578 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 141078445 1841545216 56497 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7647] ppid=7636 vsize=1798384 CPUtime=1.78 /proc/7638/task/7647/stat : 7647 (java) S 7636 7638 5578 0 -1 64 6280 0 0 0 176 2 0 0 17 0 13 0 141078445 1841545216 56497 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7638/tid=7648] ppid=7636 vsize=1798384 CPUtime=2.11 /proc/7638/task/7648/stat : 7648 (java) S 7636 7638 5578 0 -1 64 8320 0 0 0 207 4 0 0 16 0 13 0 141078445 1841545216 56497 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7649] ppid=7636 vsize=1798384 CPUtime=0 /proc/7638/task/7649/stat : 7649 (java) S 7636 7638 5578 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 141078445 1841545216 56497 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7650] ppid=7636 vsize=1798384 CPUtime=0 /proc/7638/task/7650/stat : 7650 (java) S 7636 7638 5578 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 141078445 1841545216 56497 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7651] ppid=7636 vsize=1798384 CPUtime=0 /proc/7638/task/7651/stat : 7651 (java) S 7636 7638 5578 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 141078526 1841545216 56497 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 34.15 Current children cumulated vsize (KiB) 1798384 [startup+31.3022 s] /proc/loadavg: 1.03 0.98 0.95 2/77 7651 /proc/meminfo: memFree=1593568/2055920 swapFree=4184736/4192956 [pid=7638] ppid=7636 vsize=1798384 CPUtime=34.34 /proc/7638/stat : 7638 (java) S 7636 7638 5578 0 -1 0 71852 0 1 0 3401 33 0 0 18 0 12 0 141078436 1841545216 56502 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7638/statm: 449596 56502 1334 9 0 447208 0 [pid=7638/tid=7640] ppid=7636 vsize=1798384 CPUtime=29.64 /proc/7638/task/7640/stat : 7640 (java) S 7636 7638 5578 0 -1 64 43025 0 1 0 2945 19 0 0 20 0 12 0 141078437 1841545216 56502 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7638/tid=7641] ppid=7636 vsize=1798384 CPUtime=0.37 /proc/7638/task/7641/stat : 7641 (java) S 7636 7638 5578 0 -1 64 7340 0 0 0 34 3 0 0 17 0 12 0 141078438 1841545216 56502 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7642] ppid=7636 vsize=1798384 CPUtime=0.37 /proc/7638/task/7642/stat : 7642 (java) S 7636 7638 5578 0 -1 64 6132 0 0 0 35 2 0 0 17 0 12 0 141078438 1841545216 56502 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7643] ppid=7636 vsize=1798384 CPUtime=0 /proc/7638/task/7643/stat : 7643 (java) S 7636 7638 5578 0 -1 64 31 0 0 0 0 0 0 0 16 0 12 0 141078440 1841545216 56502 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7644] ppid=7636 vsize=1798384 CPUtime=0 /proc/7638/task/7644/stat : 7644 (java) S 7636 7638 5578 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 141078441 1841545216 56502 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7645] ppid=7636 vsize=1798384 CPUtime=0 /proc/7638/task/7645/stat : 7645 (java) S 7636 7638 5578 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 141078441 1841545216 56502 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7646] ppid=7636 vsize=1798384 CPUtime=0 /proc/7638/task/7646/stat : 7646 (java) S 7636 7638 5578 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 141078445 1841545216 56502 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7647] ppid=7636 vsize=1798384 CPUtime=1.78 /proc/7638/task/7647/stat : 7647 (java) S 7636 7638 5578 0 -1 64 6280 0 0 0 176 2 0 0 17 0 12 0 141078445 1841545216 56502 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7638/tid=7648] ppid=7636 vsize=1798384 CPUtime=2.11 /proc/7638/task/7648/stat : 7648 (java) S 7636 7638 5578 0 -1 64 8320 0 0 0 207 4 0 0 16 0 12 0 141078445 1841545216 56502 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7649] ppid=7636 vsize=1798384 CPUtime=0 /proc/7638/task/7649/stat : 7649 (java) S 7636 7638 5578 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 141078445 1841545216 56502 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7638/tid=7650] ppid=7636 vsize=1798384 CPUtime=0 /proc/7638/task/7650/stat : 7650 (java) S 7636 7638 5578 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 141078445 1841545216 56502 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 34.34 Current children cumulated vsize (KiB) 1798384 Child status: 10 Real time (s): 31.3576 CPU time (s): 34.3838 CPU user time (s): 34.0168 CPU system time (s): 0.366944 CPU usage (%): 109.65 Max. virtual memory (cumulated for all children) (KiB): 1798920 getrusage(RUSAGE_CHILDREN,...) data: user time used= 34.0168 system time used= 0.366944 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 71853 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= 1689 involuntary context switches= 1063 runsolver used 0.031995 second user time and 0.091986 second system time The end
Begin job on node59 on Wed Apr 18 21:28:08 UTC 2007 IDJOB= 359486 IDBENCH= 1295 IDSOLVER= 160 FILE ID= node59/359486-1176931688 PBS_JOBID= 4605659 Free space on /tmp= 66328 MiB SOLVER NAME= sat4jPseudoCP 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900557568.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/359486-1176931688/sat4jPseudoCP.jar /tmp/evaluation/359486-1176931688/instance-359486-1176931688.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node59/watcher-359486-1176931688 -o ROOT/results/node59/solver-359486-1176931688 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/359486-1176931688/sat4jPseudoCP.jar /tmp/evaluation/359486-1176931688/instance-359486-1176931688.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 59e4a9510e1c8d59c823fb03c84d0b7d RANDOM SEED= 897912614 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node59.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.268 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.268 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: 1817232 kB Buffers: 13388 kB Cached: 161596 kB SwapCached: 1952 kB Active: 52848 kB Inactive: 132184 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1817232 kB SwapTotal: 4192956 kB SwapFree: 4184736 kB Dirty: 3836 kB Writeback: 0 kB Mapped: 17320 kB Slab: 39548 kB Committed_AS: 1662660 kB PageTables: 1472 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= 66328 MiB End job on node59 on Wed Apr 18 21:28:40 UTC 2007