Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
absconPseudo 102 | ? (TO) | 1800.12 | 1800.8 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_14.opb |
MD5SUM | 308ce6e771b8240fefc971d6e27a7575 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 153 |
Best CPU time to get the best result obtained on this benchmark | 1782.74 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 142 |
Optimality of the best value was proved | NO |
Number of variables | 3297 |
Total number of constraints | 6383 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 6383 |
Minimum length of a constraint | 16 |
Maximum length of a constraint | 33 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 256 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 1411 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
1800.02/1800.71 s UNKNOWN
ERROR: no interpretation found !
/tmp/evaluation/354484-1176717001/instance-354484-1176717001.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node55/watcher-354484-1176717001 -o ROOT/results/node55/solver-354484-1176717001 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -Xms1600M -Xmx1600M -jar absconPseudo1.jar configuration.xml 1 pseudo /tmp/evaluation/354484-1176717001/instance-354484-1176717001.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: 1.00 1.02 1.00 2/64 14468 /proc/meminfo: memFree=1838812/2055920 swapFree=4184636/4192956 [pid=14468] ppid=14466 vsize=18568 CPUtime=0 /proc/14468/stat : 14468 (runsolver) R 14466 14468 13496 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 119610143 19013632 292 18446744073709551615 4194304 4296420 548682068880 18446744073709551615 248761609511 0 2147483391 4096 24578 0 0 0 17 0 0 0 /proc/14468/statm: 4642 292 257 24 0 2626 0 [startup+0.084988 s] /proc/loadavg: 1.00 1.02 1.00 2/64 14468 /proc/meminfo: memFree=1838812/2055920 swapFree=4184636/4192956 [pid=14468] ppid=14466 vsize=1783732 CPUtime=0.01 /proc/14468/stat : 14468 (java) S 14466 14468 13496 0 -1 0 1743 0 37 0 0 1 0 0 18 0 2 0 119610143 1826541568 1512 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0 /proc/14468/statm: 445933 1512 378 9 0 440935 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1783732 [startup+0.103999 s] /proc/loadavg: 1.00 1.02 1.00 2/64 14468 /proc/meminfo: memFree=1838812/2055920 swapFree=4184636/4192956 [pid=14468] ppid=14466 vsize=1783732 CPUtime=0.02 /proc/14468/stat : 14468 (java) S 14466 14468 13496 0 -1 0 1869 0 44 0 0 2 0 0 18 0 2 0 119610143 1826541568 1643 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0 /proc/14468/statm: 445933 1643 463 9 0 440935 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1783732 [startup+0.301956 s] /proc/loadavg: 1.00 1.02 1.00 2/64 14468 /proc/meminfo: memFree=1838812/2055920 swapFree=4184636/4192956 [pid=14468] ppid=14466 vsize=1790264 CPUtime=0.14 /proc/14468/stat : 14468 (java) S 14466 14468 13496 0 -1 0 4258 0 74 0 8 6 0 0 18 0 9 0 119610143 1833230336 3769 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14468/statm: 447566 3769 1715 9 0 442158 0 Current children cumulated CPU time (s) 0.14 Current children cumulated vsize (KiB) 1790264 [startup+0.701997 s] /proc/loadavg: 1.00 1.02 1.00 2/64 14468 /proc/meminfo: memFree=1838812/2055920 swapFree=4184636/4192956 [pid=14468] ppid=14466 vsize=1790292 CPUtime=0.5 /proc/14468/stat : 14468 (java) S 14466 14468 13496 0 -1 0 15358 0 76 0 38 12 0 0 18 0 9 0 119610143 1833259008 14845 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14468/statm: 447573 14845 1847 9 0 442158 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 1790292 [startup+1.50106 s] /proc/loadavg: 1.00 1.02 1.00 2/73 14477 /proc/meminfo: memFree=1661012/2055920 swapFree=4184636/4192956 [pid=14468] ppid=14466 vsize=1790292 CPUtime=1.3 /proc/14468/stat : 14468 (java) S 14466 14468 13496 0 -1 0 50002 0 77 0 105 25 0 0 18 0 9 0 119610143 1833259008 49483 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14468/statm: 447573 49483 1870 9 0 442158 0 [pid=14468/tid=14470] ppid=14466 vsize=1790292 CPUtime=1.02 /proc/14468/task/14470/stat : 14470 (java) R 14466 14468 13496 0 -1 64 29013 0 41 0 86 16 0 0 18 0 9 0 119610149 1833259008 49483 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4126627785 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14468/tid=14471] ppid=14466 vsize=1790292 CPUtime=0.17 /proc/14468/task/14471/stat : 14471 (java) S 14466 14468 13496 0 -1 64 19990 0 0 0 10 7 0 0 17 0 9 0 119610154 1833259008 49483 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14472] ppid=14466 vsize=1790292 CPUtime=0 /proc/14468/task/14472/stat : 14472 (java) S 14466 14468 13496 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 119610156 1833259008 49483 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14473] ppid=14466 vsize=1790292 CPUtime=0 /proc/14468/task/14473/stat : 14473 (java) S 14466 14468 13496 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 119610157 1833259008 49483 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14474] ppid=14466 vsize=1790292 CPUtime=0 /proc/14468/task/14474/stat : 14474 (java) S 14466 14468 13496 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 119610161 1833259008 49483 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14475] ppid=14466 vsize=1790292 CPUtime=0.07 /proc/14468/task/14475/stat : 14475 (java) S 14466 14468 13496 0 -1 64 307 0 2 0 7 0 0 0 16 0 9 0 119610161 1833259008 49483 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14476] ppid=14466 vsize=1790292 CPUtime=0 /proc/14468/task/14476/stat : 14476 (java) S 14466 14468 13496 0 -1 64 0 0 0 0 0 0 0 0 20 0 9 0 119610161 1833259008 49483 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14477] ppid=14466 vsize=1790292 CPUtime=0 /proc/14468/task/14477/stat : 14477 (java) S 14466 14468 13496 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 119610161 1833259008 49483 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1.3 Current children cumulated vsize (KiB) 1790292 [startup+3.10122 s] /proc/loadavg: 1.00 1.02 1.00 2/73 14477 /proc/meminfo: memFree=1629460/2055920 swapFree=4184636/4192956 [pid=14468] ppid=14466 vsize=1790424 CPUtime=2.97 /proc/14468/stat : 14468 (java) S 14466 14468 13496 0 -1 0 50196 0 77 0 271 26 0 0 18 0 9 0 119610143 1833394176 49664 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14468/statm: 447606 49664 1886 9 0 442191 0 [pid=14468/tid=14470] ppid=14466 vsize=1790424 CPUtime=2.63 /proc/14468/task/14470/stat : 14470 (java) R 14466 14468 13496 0 -1 64 29120 0 41 0 246 17 0 0 24 0 9 0 119610149 1833394176 49664 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4126783895 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14468/tid=14471] ppid=14466 vsize=1790424 CPUtime=0.17 /proc/14468/task/14471/stat : 14471 (java) S 14466 14468 13496 0 -1 64 19990 0 0 0 10 7 0 0 16 0 9 0 119610154 1833394176 49664 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14472] ppid=14466 vsize=1790424 CPUtime=0 /proc/14468/task/14472/stat : 14472 (java) S 14466 14468 13496 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 119610156 1833394176 49664 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14473] ppid=14466 vsize=1790424 CPUtime=0 /proc/14468/task/14473/stat : 14473 (java) S 14466 14468 13496 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 119610157 1833394176 49664 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14474] ppid=14466 vsize=1790424 CPUtime=0 /proc/14468/task/14474/stat : 14474 (java) S 14466 14468 13496 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 119610161 1833394176 49664 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14475] ppid=14466 vsize=1790424 CPUtime=0.14 /proc/14468/task/14475/stat : 14475 (java) S 14466 14468 13496 0 -1 64 394 0 2 0 14 0 0 0 16 0 9 0 119610161 1833394176 49664 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14476] ppid=14466 vsize=1790424 CPUtime=0 /proc/14468/task/14476/stat : 14476 (java) S 14466 14468 13496 0 -1 64 0 0 0 0 0 0 0 0 20 0 9 0 119610161 1833394176 49664 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14477] ppid=14466 vsize=1790424 CPUtime=0 /proc/14468/task/14477/stat : 14477 (java) S 14466 14468 13496 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 119610161 1833394176 49664 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2.97 Current children cumulated vsize (KiB) 1790424 [startup+6.30252 s] /proc/loadavg: 1.00 1.02 1.00 2/73 14477 /proc/meminfo: memFree=1628500/2055920 swapFree=4184636/4192956 [pid=14468] ppid=14466 vsize=1790424 CPUtime=6.17 /proc/14468/stat : 14468 (java) S 14466 14468 13496 0 -1 0 50202 0 77 0 591 26 0 0 18 0 9 0 119610143 1833394176 49665 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14468/statm: 447606 49665 1887 9 0 442191 0 [pid=14468/tid=14470] ppid=14466 vsize=1790424 CPUtime=5.83 /proc/14468/task/14470/stat : 14470 (java) R 14466 14468 13496 0 -1 64 29123 0 41 0 566 17 0 0 25 0 9 0 119610149 1833394176 49665 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4126789454 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14468/tid=14471] ppid=14466 vsize=1790424 CPUtime=0.17 /proc/14468/task/14471/stat : 14471 (java) S 14466 14468 13496 0 -1 64 19990 0 0 0 10 7 0 0 16 0 9 0 119610154 1833394176 49665 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14472] ppid=14466 vsize=1790424 CPUtime=0 /proc/14468/task/14472/stat : 14472 (java) S 14466 14468 13496 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 119610156 1833394176 49665 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14473] ppid=14466 vsize=1790424 CPUtime=0 /proc/14468/task/14473/stat : 14473 (java) S 14466 14468 13496 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 119610157 1833394176 49665 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14474] ppid=14466 vsize=1790424 CPUtime=0 /proc/14468/task/14474/stat : 14474 (java) S 14466 14468 13496 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 119610161 1833394176 49665 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14475] ppid=14466 vsize=1790424 CPUtime=0.14 /proc/14468/task/14475/stat : 14475 (java) S 14466 14468 13496 0 -1 64 396 0 2 0 14 0 0 0 16 0 9 0 119610161 1833394176 49665 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14476] ppid=14466 vsize=1790424 CPUtime=0 /proc/14468/task/14476/stat : 14476 (java) S 14466 14468 13496 0 -1 64 0 0 0 0 0 0 0 0 20 0 9 0 119610161 1833394176 49665 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14477] ppid=14466 vsize=1790424 CPUtime=0 /proc/14468/task/14477/stat : 14477 (java) S 14466 14468 13496 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 119610161 1833394176 49665 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 6.17 Current children cumulated vsize (KiB) 1790424 [startup+12.7011 s] /proc/loadavg: 1.00 1.02 1.00 2/73 14477 /proc/meminfo: memFree=1628452/2055920 swapFree=4184636/4192956 [pid=14468] ppid=14466 vsize=1790424 CPUtime=12.58 /proc/14468/stat : 14468 (java) S 14466 14468 13496 0 -1 0 50210 0 77 0 1232 26 0 0 18 0 9 0 119610143 1833394176 49670 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14468/statm: 447606 49670 1887 9 0 442191 0 [pid=14468/tid=14470] ppid=14466 vsize=1790424 CPUtime=12.22 /proc/14468/task/14470/stat : 14470 (java) R 14466 14468 13496 0 -1 64 29125 0 41 0 1205 17 0 0 18 0 9 0 119610149 1833394176 49670 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4126793184 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14468/tid=14471] ppid=14466 vsize=1790424 CPUtime=0.17 /proc/14468/task/14471/stat : 14471 (java) S 14466 14468 13496 0 -1 64 19990 0 0 0 10 7 0 0 16 0 9 0 119610154 1833394176 49670 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14472] ppid=14466 vsize=1790424 CPUtime=0 /proc/14468/task/14472/stat : 14472 (java) S 14466 14468 13496 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 119610156 1833394176 49670 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14473] ppid=14466 vsize=1790424 CPUtime=0 /proc/14468/task/14473/stat : 14473 (java) S 14466 14468 13496 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 119610157 1833394176 49670 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14474] ppid=14466 vsize=1790424 CPUtime=0 /proc/14468/task/14474/stat : 14474 (java) S 14466 14468 13496 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 119610161 1833394176 49670 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14475] ppid=14466 vsize=1790424 CPUtime=0.15 /proc/14468/task/14475/stat : 14475 (java) S 14466 14468 13496 0 -1 64 402 0 2 0 15 0 0 0 16 0 9 0 119610161 1833394176 49670 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14476] ppid=14466 vsize=1790424 CPUtime=0 /proc/14468/task/14476/stat : 14476 (java) S 14466 14468 13496 0 -1 64 0 0 0 0 0 0 0 0 20 0 9 0 119610161 1833394176 49670 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14477] ppid=14466 vsize=1790424 CPUtime=0 /proc/14468/task/14477/stat : 14477 (java) S 14466 14468 13496 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 119610161 1833394176 49670 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 12.58 Current children cumulated vsize (KiB) 1790424 [startup+25.5023 s] /proc/loadavg: 1.00 1.02 1.00 2/73 14477 /proc/meminfo: memFree=1628516/2055920 swapFree=4184636/4192956 [pid=14468] ppid=14466 vsize=1790424 CPUtime=25.38 /proc/14468/stat : 14468 (java) S 14466 14468 13496 0 -1 0 50217 0 77 0 2512 26 0 0 18 0 9 0 119610143 1833394176 49674 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14468/statm: 447606 49674 1887 9 0 442191 0 [pid=14468/tid=14470] ppid=14466 vsize=1790424 CPUtime=25.02 /proc/14468/task/14470/stat : 14470 (java) R 14466 14468 13496 0 -1 64 29127 0 41 0 2485 17 0 0 25 0 9 0 119610149 1833394176 49674 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4126799513 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14468/tid=14471] ppid=14466 vsize=1790424 CPUtime=0.17 /proc/14468/task/14471/stat : 14471 (java) S 14466 14468 13496 0 -1 64 19990 0 0 0 10 7 0 0 16 0 9 0 119610154 1833394176 49674 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14472] ppid=14466 vsize=1790424 CPUtime=0 /proc/14468/task/14472/stat : 14472 (java) S 14466 14468 13496 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 119610156 1833394176 49674 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14473] ppid=14466 vsize=1790424 CPUtime=0 /proc/14468/task/14473/stat : 14473 (java) S 14466 14468 13496 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 119610157 1833394176 49674 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14474] ppid=14466 vsize=1790424 CPUtime=0 /proc/14468/task/14474/stat : 14474 (java) S 14466 14468 13496 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 119610161 1833394176 49674 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14475] ppid=14466 vsize=1790424 CPUtime=0.16 /proc/14468/task/14475/stat : 14475 (java) S 14466 14468 13496 0 -1 64 407 0 2 0 16 0 0 0 16 0 9 0 119610161 1833394176 49674 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14476] ppid=14466 vsize=1790424 CPUtime=0 /proc/14468/task/14476/stat : 14476 (java) S 14466 14468 13496 0 -1 64 0 0 0 0 0 0 0 0 20 0 9 0 119610161 1833394176 49674 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14477] ppid=14466 vsize=1790424 CPUtime=0 /proc/14468/task/14477/stat : 14477 (java) S 14466 14468 13496 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 119610161 1833394176 49674 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 25.38 Current children cumulated vsize (KiB) 1790424 [startup+51.1028 s] /proc/loadavg: 1.00 1.01 1.00 2/73 14477 /proc/meminfo: memFree=1628516/2055920 swapFree=4184636/4192956 [pid=14468] ppid=14466 vsize=1790424 CPUtime=50.98 /proc/14468/stat : 14468 (java) S 14466 14468 13496 0 -1 0 50218 0 77 0 5072 26 0 0 18 0 9 0 119610143 1833394176 49674 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14468/statm: 447606 49674 1887 9 0 442191 0 [pid=14468/tid=14470] ppid=14466 vsize=1790424 CPUtime=50.61 /proc/14468/task/14470/stat : 14470 (java) R 14466 14468 13496 0 -1 64 29128 0 41 0 5044 17 0 0 25 0 9 0 119610149 1833394176 49674 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4126801007 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14468/tid=14471] ppid=14466 vsize=1790424 CPUtime=0.17 /proc/14468/task/14471/stat : 14471 (java) S 14466 14468 13496 0 -1 64 19990 0 0 0 10 7 0 0 16 0 9 0 119610154 1833394176 49674 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14472] ppid=14466 vsize=1790424 CPUtime=0 /proc/14468/task/14472/stat : 14472 (java) S 14466 14468 13496 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 119610156 1833394176 49674 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14473] ppid=14466 vsize=1790424 CPUtime=0 /proc/14468/task/14473/stat : 14473 (java) S 14466 14468 13496 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 119610157 1833394176 49674 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14474] ppid=14466 vsize=1790424 CPUtime=0 /proc/14468/task/14474/stat : 14474 (java) S 14466 14468 13496 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 119610161 1833394176 49674 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14475] ppid=14466 vsize=1790424 CPUtime=0.16 /proc/14468/task/14475/stat : 14475 (java) S 14466 14468 13496 0 -1 64 407 0 2 0 16 0 0 0 16 0 9 0 119610161 1833394176 49674 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14476] ppid=14466 vsize=1790424 CPUtime=0 ################ # More data... # ################ /proc/14468/task/14473/stat : 14473 (java) S 14466 14468 13496 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 119610157 1833394176 49676 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14474] ppid=14466 vsize=1790424 CPUtime=0 /proc/14468/task/14474/stat : 14474 (java) S 14466 14468 13496 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 119610161 1833394176 49676 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14475] ppid=14466 vsize=1790424 CPUtime=0.16 /proc/14468/task/14475/stat : 14475 (java) S 14466 14468 13496 0 -1 64 409 0 2 0 16 0 0 0 16 0 9 0 119610161 1833394176 49676 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14476] ppid=14466 vsize=1790424 CPUtime=0 /proc/14468/task/14476/stat : 14476 (java) S 14466 14468 13496 0 -1 64 0 0 0 0 0 0 0 0 20 0 9 0 119610161 1833394176 49676 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14477] ppid=14466 vsize=1790424 CPUtime=0 /proc/14468/task/14477/stat : 14477 (java) S 14466 14468 13496 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 119610161 1833394176 49676 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1541.68 Current children cumulated vsize (KiB) 1790424 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/73 14675 /proc/meminfo: memFree=1627876/2055920 swapFree=4184636/4192956 [pid=14468] ppid=14466 vsize=1790424 CPUtime=1601.66 /proc/14468/stat : 14468 (java) S 14466 14468 13496 0 -1 0 50220 0 77 0 160137 29 0 0 18 0 9 0 119610143 1833394176 49676 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14468/statm: 447606 49676 1887 9 0 442191 0 [pid=14468/tid=14470] ppid=14466 vsize=1790424 CPUtime=1601.29 /proc/14468/task/14470/stat : 14470 (java) R 14466 14468 13496 0 -1 64 29128 0 41 0 160109 20 0 0 25 0 9 0 119610149 1833394176 49676 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4126801368 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14468/tid=14471] ppid=14466 vsize=1790424 CPUtime=0.17 /proc/14468/task/14471/stat : 14471 (java) S 14466 14468 13496 0 -1 64 19990 0 0 0 10 7 0 0 16 0 9 0 119610154 1833394176 49676 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14472] ppid=14466 vsize=1790424 CPUtime=0 /proc/14468/task/14472/stat : 14472 (java) S 14466 14468 13496 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 119610156 1833394176 49676 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14473] ppid=14466 vsize=1790424 CPUtime=0 /proc/14468/task/14473/stat : 14473 (java) S 14466 14468 13496 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 119610157 1833394176 49676 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14474] ppid=14466 vsize=1790424 CPUtime=0 /proc/14468/task/14474/stat : 14474 (java) S 14466 14468 13496 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 119610161 1833394176 49676 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14475] ppid=14466 vsize=1790424 CPUtime=0.16 /proc/14468/task/14475/stat : 14475 (java) S 14466 14468 13496 0 -1 64 409 0 2 0 16 0 0 0 16 0 9 0 119610161 1833394176 49676 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14476] ppid=14466 vsize=1790424 CPUtime=0 /proc/14468/task/14476/stat : 14476 (java) S 14466 14468 13496 0 -1 64 0 0 0 0 0 0 0 0 20 0 9 0 119610161 1833394176 49676 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14477] ppid=14466 vsize=1790424 CPUtime=0 /proc/14468/task/14477/stat : 14477 (java) S 14466 14468 13496 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 119610161 1833394176 49676 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1601.66 Current children cumulated vsize (KiB) 1790424 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/73 14675 /proc/meminfo: memFree=1627812/2055920 swapFree=4184636/4192956 [pid=14468] ppid=14466 vsize=1790424 CPUtime=1661.65 /proc/14468/stat : 14468 (java) S 14466 14468 13496 0 -1 0 50220 0 77 0 166135 30 0 0 18 0 9 0 119610143 1833394176 49676 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14468/statm: 447606 49676 1887 9 0 442191 0 [pid=14468/tid=14470] ppid=14466 vsize=1790424 CPUtime=1661.27 /proc/14468/task/14470/stat : 14470 (java) R 14466 14468 13496 0 -1 64 29128 0 41 0 166107 20 0 0 25 0 9 0 119610149 1833394176 49676 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4126778180 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14468/tid=14471] ppid=14466 vsize=1790424 CPUtime=0.17 /proc/14468/task/14471/stat : 14471 (java) S 14466 14468 13496 0 -1 64 19990 0 0 0 10 7 0 0 16 0 9 0 119610154 1833394176 49676 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14472] ppid=14466 vsize=1790424 CPUtime=0 /proc/14468/task/14472/stat : 14472 (java) S 14466 14468 13496 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 119610156 1833394176 49676 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14473] ppid=14466 vsize=1790424 CPUtime=0 /proc/14468/task/14473/stat : 14473 (java) S 14466 14468 13496 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 119610157 1833394176 49676 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14474] ppid=14466 vsize=1790424 CPUtime=0 /proc/14468/task/14474/stat : 14474 (java) S 14466 14468 13496 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 119610161 1833394176 49676 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14475] ppid=14466 vsize=1790424 CPUtime=0.16 /proc/14468/task/14475/stat : 14475 (java) S 14466 14468 13496 0 -1 64 409 0 2 0 16 0 0 0 16 0 9 0 119610161 1833394176 49676 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14476] ppid=14466 vsize=1790424 CPUtime=0 /proc/14468/task/14476/stat : 14476 (java) S 14466 14468 13496 0 -1 64 0 0 0 0 0 0 0 0 20 0 9 0 119610161 1833394176 49676 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14477] ppid=14466 vsize=1790424 CPUtime=0 /proc/14468/task/14477/stat : 14477 (java) S 14466 14468 13496 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 119610161 1833394176 49676 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1661.65 Current children cumulated vsize (KiB) 1790424 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/73 14675 /proc/meminfo: memFree=1627812/2055920 swapFree=4184636/4192956 [pid=14468] ppid=14466 vsize=1790424 CPUtime=1721.64 /proc/14468/stat : 14468 (java) S 14466 14468 13496 0 -1 0 50220 0 77 0 172134 30 0 0 18 0 9 0 119610143 1833394176 49676 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14468/statm: 447606 49676 1887 9 0 442191 0 [pid=14468/tid=14470] ppid=14466 vsize=1790424 CPUtime=1721.26 /proc/14468/task/14470/stat : 14470 (java) R 14466 14468 13496 0 -1 64 29128 0 41 0 172106 20 0 0 25 0 9 0 119610149 1833394176 49676 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4126778010 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14468/tid=14471] ppid=14466 vsize=1790424 CPUtime=0.17 /proc/14468/task/14471/stat : 14471 (java) S 14466 14468 13496 0 -1 64 19990 0 0 0 10 7 0 0 16 0 9 0 119610154 1833394176 49676 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14472] ppid=14466 vsize=1790424 CPUtime=0 /proc/14468/task/14472/stat : 14472 (java) S 14466 14468 13496 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 119610156 1833394176 49676 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14473] ppid=14466 vsize=1790424 CPUtime=0 /proc/14468/task/14473/stat : 14473 (java) S 14466 14468 13496 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 119610157 1833394176 49676 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14474] ppid=14466 vsize=1790424 CPUtime=0 /proc/14468/task/14474/stat : 14474 (java) S 14466 14468 13496 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 119610161 1833394176 49676 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14475] ppid=14466 vsize=1790424 CPUtime=0.16 /proc/14468/task/14475/stat : 14475 (java) S 14466 14468 13496 0 -1 64 409 0 2 0 16 0 0 0 16 0 9 0 119610161 1833394176 49676 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14476] ppid=14466 vsize=1790424 CPUtime=0 /proc/14468/task/14476/stat : 14476 (java) S 14466 14468 13496 0 -1 64 0 0 0 0 0 0 0 0 20 0 9 0 119610161 1833394176 49676 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14477] ppid=14466 vsize=1790424 CPUtime=0 /proc/14468/task/14477/stat : 14477 (java) S 14466 14468 13496 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 119610161 1833394176 49676 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1721.64 Current children cumulated vsize (KiB) 1790424 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/73 14675 /proc/meminfo: memFree=1627812/2055920 swapFree=4184636/4192956 [pid=14468] ppid=14466 vsize=1790424 CPUtime=1781.62 /proc/14468/stat : 14468 (java) S 14466 14468 13496 0 -1 0 50220 0 77 0 178132 30 0 0 18 0 9 0 119610143 1833394176 49676 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14468/statm: 447606 49676 1887 9 0 442191 0 [pid=14468/tid=14470] ppid=14466 vsize=1790424 CPUtime=1781.25 /proc/14468/task/14470/stat : 14470 (java) R 14466 14468 13496 0 -1 64 29128 0 41 0 178104 21 0 0 25 0 9 0 119610149 1833394176 49676 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4126788626 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14468/tid=14471] ppid=14466 vsize=1790424 CPUtime=0.17 /proc/14468/task/14471/stat : 14471 (java) S 14466 14468 13496 0 -1 64 19990 0 0 0 10 7 0 0 16 0 9 0 119610154 1833394176 49676 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14472] ppid=14466 vsize=1790424 CPUtime=0 /proc/14468/task/14472/stat : 14472 (java) S 14466 14468 13496 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 119610156 1833394176 49676 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14473] ppid=14466 vsize=1790424 CPUtime=0 /proc/14468/task/14473/stat : 14473 (java) S 14466 14468 13496 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 119610157 1833394176 49676 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14474] ppid=14466 vsize=1790424 CPUtime=0 /proc/14468/task/14474/stat : 14474 (java) S 14466 14468 13496 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 119610161 1833394176 49676 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14475] ppid=14466 vsize=1790424 CPUtime=0.16 /proc/14468/task/14475/stat : 14475 (java) S 14466 14468 13496 0 -1 64 409 0 2 0 16 0 0 0 16 0 9 0 119610161 1833394176 49676 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14476] ppid=14466 vsize=1790424 CPUtime=0 /proc/14468/task/14476/stat : 14476 (java) S 14466 14468 13496 0 -1 64 0 0 0 0 0 0 0 0 20 0 9 0 119610161 1833394176 49676 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14477] ppid=14466 vsize=1790424 CPUtime=0 /proc/14468/task/14477/stat : 14477 (java) S 14466 14468 13496 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 119610161 1833394176 49676 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1781.62 Current children cumulated vsize (KiB) 1790424 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/73 14675 /proc/meminfo: memFree=1627812/2055920 swapFree=4184636/4192956 [pid=14468] ppid=14466 vsize=1790424 CPUtime=1800.02 /proc/14468/stat : 14468 (java) S 14466 14468 13496 0 -1 0 50220 0 77 0 179972 30 0 0 18 0 9 0 119610143 1833394176 49676 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14468/statm: 447606 49676 1887 9 0 442191 0 [pid=14468/tid=14470] ppid=14466 vsize=1790424 CPUtime=1799.65 /proc/14468/task/14470/stat : 14470 (java) R 14466 14468 13496 0 -1 64 29128 0 41 0 179944 21 0 0 25 0 9 0 119610149 1833394176 49676 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4126795816 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14468/tid=14471] ppid=14466 vsize=1790424 CPUtime=0.17 /proc/14468/task/14471/stat : 14471 (java) S 14466 14468 13496 0 -1 64 19990 0 0 0 10 7 0 0 16 0 9 0 119610154 1833394176 49676 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14472] ppid=14466 vsize=1790424 CPUtime=0 /proc/14468/task/14472/stat : 14472 (java) S 14466 14468 13496 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 119610156 1833394176 49676 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14473] ppid=14466 vsize=1790424 CPUtime=0 /proc/14468/task/14473/stat : 14473 (java) S 14466 14468 13496 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 119610157 1833394176 49676 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14474] ppid=14466 vsize=1790424 CPUtime=0 /proc/14468/task/14474/stat : 14474 (java) S 14466 14468 13496 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 119610161 1833394176 49676 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14475] ppid=14466 vsize=1790424 CPUtime=0.16 /proc/14468/task/14475/stat : 14475 (java) S 14466 14468 13496 0 -1 64 409 0 2 0 16 0 0 0 16 0 9 0 119610161 1833394176 49676 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14476] ppid=14466 vsize=1790424 CPUtime=0 /proc/14468/task/14476/stat : 14476 (java) S 14466 14468 13496 0 -1 64 0 0 0 0 0 0 0 0 20 0 9 0 119610161 1833394176 49676 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14477] ppid=14466 vsize=1790424 CPUtime=0 /proc/14468/task/14477/stat : 14477 (java) R 14466 14468 13496 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 119610161 1833394176 49676 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1790424 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/73 14675 /proc/meminfo: memFree=1627812/2055920 swapFree=4184636/4192956 [pid=14468] ppid=14466 vsize=1790424 CPUtime=1800.02 /proc/14468/stat : 14468 (java) S 14466 14468 13496 0 -1 0 50220 0 77 0 179972 30 0 0 18 0 9 0 119610143 1833394176 49676 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14468/statm: 447606 49676 1887 9 0 442191 0 [pid=14468/tid=14470] ppid=14466 vsize=1790424 CPUtime=1799.65 /proc/14468/task/14470/stat : 14470 (java) R 14466 14468 13496 0 -1 64 29128 0 41 0 179944 21 0 0 25 0 9 0 119610149 1833394176 49676 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4126795816 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14468/tid=14471] ppid=14466 vsize=1790424 CPUtime=0.17 /proc/14468/task/14471/stat : 14471 (java) S 14466 14468 13496 0 -1 64 19990 0 0 0 10 7 0 0 16 0 9 0 119610154 1833394176 49676 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14472] ppid=14466 vsize=1790424 CPUtime=0 /proc/14468/task/14472/stat : 14472 (java) S 14466 14468 13496 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 119610156 1833394176 49676 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14473] ppid=14466 vsize=1790424 CPUtime=0 /proc/14468/task/14473/stat : 14473 (java) S 14466 14468 13496 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 119610157 1833394176 49676 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14474] ppid=14466 vsize=1790424 CPUtime=0 /proc/14468/task/14474/stat : 14474 (java) S 14466 14468 13496 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 119610161 1833394176 49676 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14475] ppid=14466 vsize=1790424 CPUtime=0.16 /proc/14468/task/14475/stat : 14475 (java) S 14466 14468 13496 0 -1 64 409 0 2 0 16 0 0 0 16 0 9 0 119610161 1833394176 49676 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14476] ppid=14466 vsize=1790424 CPUtime=0 /proc/14468/task/14476/stat : 14476 (java) S 14466 14468 13496 0 -1 64 0 0 0 0 0 0 0 0 20 0 9 0 119610161 1833394176 49676 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14468/tid=14477] ppid=14466 vsize=1790424 CPUtime=0 /proc/14468/task/14477/stat : 14477 (java) R 14466 14468 13496 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 119610161 1833394176 49676 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1790424 Child status: 143 Real time (s): 1800.8 CPU time (s): 1800.12 CPU user time (s): 1799.78 CPU system time (s): 0.333949 CPU usage (%): 99.9623 Max. virtual memory (cumulated for all children) (KiB): 1790424 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.78 system time used= 0.333949 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 50237 page faults= 77 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 37125 involuntary context switches= 3917 runsolver used 1.9617 second user time and 4.6053 second system time The end
Begin job on node55 on Mon Apr 16 09:50:01 UTC 2007 IDJOB= 354484 IDBENCH= 2631 IDSOLVER= 155 FILE ID= node55/354484-1176717001 PBS_JOBID= 4560083 Free space on /tmp= 66514 MiB SOLVER NAME= absconPseudo 102 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_14.opb COMMAND LINE= java -Xms1600M -Xmx1600M -jar absconPseudo1.jar configuration.xml 1 pseudo /tmp/evaluation/354484-1176717001/instance-354484-1176717001.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node55/convwatcher-354484-1176717001 -o ROOT/results/node55/conversion-354484-1176717001 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/354484-1176717001/instance-354484-1176717001.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node55/watcher-354484-1176717001 -o ROOT/results/node55/solver-354484-1176717001 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -Xms1600M -Xmx1600M -jar absconPseudo1.jar configuration.xml 1 pseudo /tmp/evaluation/354484-1176717001/instance-354484-1176717001.opb META MD5SUM SOLVER= af6648fa1ac31d79961ee160b5e03dc5 MD5SUM BENCH= 308ce6e771b8240fefc971d6e27a7575 RANDOM SEED= 576858524 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node55.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.216 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.216 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: 1839220 kB Buffers: 4984 kB Cached: 137812 kB SwapCached: 2384 kB Active: 28944 kB Inactive: 124968 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1839220 kB SwapTotal: 4192956 kB SwapFree: 4184636 kB Dirty: 3352 kB Writeback: 0 kB Mapped: 17808 kB Slab: 48816 kB Committed_AS: 1034228 kB PageTables: 1384 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= 66514 MiB End job on node55 on Mon Apr 16 10:20:04 UTC 2007