Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
absconPseudo 102 | ? (TO) | 1800.08 | 1800.68 |
Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_60_5_80.opb |
MD5SUM | d5640996c15a8815d620b5d6c220fea1 |
Bench Category | SATUNSAT-SMALLINT-NLC (no optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 1000 |
Total number of constraints | 1502 |
Number of constraints which are clauses | 500 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 1000 |
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 | 80 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 75000 |
Sum of products size (including duplicates) | 150000 |
Number of different products | 37500 |
Sum of products size | 75000 |
1800.00/1800.61 s UNKNOWN
ERROR: no interpretation found !
Linearizing /tmp/evaluation/456874-1178364013/instance-456874-1178364013.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node43/watcher-456874-1178364013 -o ROOT/results/node43/solver-456874-1178364013 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -Xms1600M -Xmx1600M -jar absconPseudo1.jar configuration.xml 1 pseudo /tmp/evaluation/456874-1178364013/instance-456874-1178364013.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.91 0.95 0.81 2/77 24300 /proc/meminfo: memFree=1462032/2055920 swapFree=4158628/4192956 [pid=24300] ppid=24298 vsize=18528 CPUtime=0 /proc/24300/stat : 24300 (runsolver) R 24298 24300 23985 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 284313401 18972672 284 18446744073709551615 4194304 4255128 548682068880 18446744073709551615 216849247527 0 2147483391 4096 24578 0 0 0 17 1 0 0 /proc/24300/statm: 4632 284 249 14 0 2626 0 [startup+0.0872379 s] /proc/loadavg: 0.91 0.95 0.81 2/77 24300 /proc/meminfo: memFree=1462032/2055920 swapFree=4158628/4192956 [pid=24300] ppid=24298 vsize=10476 CPUtime=0.01 /proc/24300/stat : 24300 (java) D 24298 24300 23985 0 -1 0 650 0 26 0 0 1 0 0 18 0 1 0 284313401 10727424 464 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 102715344 0 0 4096 0 18446744071563479169 0 0 17 0 0 0 /proc/24300/statm: 2619 464 188 9 0 1147 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 10476 [startup+0.102235 s] /proc/loadavg: 0.91 0.95 0.81 2/77 24300 /proc/meminfo: memFree=1462032/2055920 swapFree=4158628/4192956 [pid=24300] ppid=24298 vsize=11040 CPUtime=0.01 /proc/24300/stat : 24300 (java) S 24298 24300 23985 0 -1 0 810 0 27 0 0 1 0 0 18 0 2 0 284313401 11304960 575 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 0 0 0 /proc/24300/statm: 2760 575 276 9 0 1242 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11040 [startup+0.302257 s] /proc/loadavg: 0.91 0.95 0.81 2/77 24300 /proc/meminfo: memFree=1462032/2055920 swapFree=4158628/4192956 [pid=24300] ppid=24298 vsize=1788288 CPUtime=0.13 /proc/24300/stat : 24300 (java) S 24298 24300 23985 0 -1 0 3669 0 65 0 6 7 0 0 18 0 9 0 284313401 1831206912 3192 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/24300/statm: 447072 3193 1271 9 0 442042 0 Current children cumulated CPU time (s) 0.13 Current children cumulated vsize (KiB) 1788288 [startup+0.702289 s] /proc/loadavg: 0.91 0.95 0.81 2/77 24300 /proc/meminfo: memFree=1462032/2055920 swapFree=4158628/4192956 [pid=24300] ppid=24298 vsize=1790152 CPUtime=0.46 /proc/24300/stat : 24300 (java) S 24298 24300 23985 0 -1 0 12296 0 78 0 34 12 0 0 18 0 9 0 284313401 1833115648 11788 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/24300/statm: 447538 11789 1849 9 0 442123 0 Current children cumulated CPU time (s) 0.46 Current children cumulated vsize (KiB) 1790152 [startup+1.50237 s] /proc/loadavg: 0.92 0.95 0.82 2/86 24309 /proc/meminfo: memFree=1294280/2055920 swapFree=4158628/4192956 [pid=24300] ppid=24298 vsize=1790152 CPUtime=1.27 /proc/24300/stat : 24300 (java) S 24298 24300 23985 0 -1 0 69406 0 78 0 92 35 0 0 18 0 9 0 284313401 1833115648 68895 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/24300/statm: 447538 68895 1863 9 0 442123 0 [pid=24300/tid=24302] ppid=24298 vsize=1790152 CPUtime=0.82 /proc/24300/task/24302/stat : 24302 (java) S 24298 24300 23985 0 -1 64 29016 0 49 0 66 16 0 0 18 0 9 0 284313410 1833115648 68895 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24300/tid=24303] ppid=24298 vsize=1790152 CPUtime=0.33 /proc/24300/task/24303/stat : 24303 (java) R 24298 24300 23985 0 -1 64 39374 0 0 0 18 15 0 0 17 0 9 0 284313418 1833115648 68895 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 102603587 0 0 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24304] ppid=24298 vsize=1790152 CPUtime=0 /proc/24300/task/24304/stat : 24304 (java) S 24298 24300 23985 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 284313419 1833115648 68895 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24305] ppid=24298 vsize=1790152 CPUtime=0 /proc/24300/task/24305/stat : 24305 (java) S 24298 24300 23985 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 284313420 1833115648 68895 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24306] ppid=24298 vsize=1790152 CPUtime=0 /proc/24300/task/24306/stat : 24306 (java) S 24298 24300 23985 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 284313423 1833115648 68895 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24307] ppid=24298 vsize=1790152 CPUtime=0.08 /proc/24300/task/24307/stat : 24307 (java) S 24298 24300 23985 0 -1 64 320 0 2 0 7 1 0 0 16 0 9 0 284313423 1833115648 68895 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24308] ppid=24298 vsize=1790152 CPUtime=0 /proc/24300/task/24308/stat : 24308 (java) S 24298 24300 23985 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 284313423 1833115648 68895 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24309] ppid=24298 vsize=1790152 CPUtime=0 /proc/24300/task/24309/stat : 24309 (java) S 24298 24300 23985 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 284313423 1833115648 68895 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1.27 Current children cumulated vsize (KiB) 1790152 [startup+3.10149 s] /proc/loadavg: 0.92 0.95 0.82 4/86 24309 /proc/meminfo: memFree=1141320/2055920 swapFree=4158628/4192956 [pid=24300] ppid=24298 vsize=1790284 CPUtime=2.94 /proc/24300/stat : 24300 (java) S 24298 24300 23985 0 -1 0 82663 0 78 0 253 41 0 0 18 0 9 0 284313401 1833250816 82138 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/24300/statm: 447571 82138 1880 9 0 442156 0 [pid=24300/tid=24302] ppid=24298 vsize=1790284 CPUtime=2.01 /proc/24300/task/24302/stat : 24302 (java) R 24298 24300 23985 0 -1 64 29107 0 49 0 184 17 0 0 18 0 9 0 284313410 1833250816 82138 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4125953829 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24300/tid=24303] ppid=24298 vsize=1790284 CPUtime=0.74 /proc/24300/task/24303/stat : 24303 (java) S 24298 24300 23985 0 -1 64 52435 0 0 0 54 20 0 0 18 0 9 0 284313418 1833250816 82138 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24304] ppid=24298 vsize=1790284 CPUtime=0 /proc/24300/task/24304/stat : 24304 (java) S 24298 24300 23985 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 284313419 1833250816 82138 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24305] ppid=24298 vsize=1790284 CPUtime=0 /proc/24300/task/24305/stat : 24305 (java) S 24298 24300 23985 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 284313420 1833250816 82138 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24306] ppid=24298 vsize=1790284 CPUtime=0 /proc/24300/task/24306/stat : 24306 (java) S 24298 24300 23985 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 284313423 1833250816 82138 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24307] ppid=24298 vsize=1790284 CPUtime=0.14 /proc/24300/task/24307/stat : 24307 (java) R 24298 24300 23985 0 -1 64 425 0 2 0 13 1 0 0 16 0 9 0 284313423 1833250816 82138 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24308] ppid=24298 vsize=1790284 CPUtime=0 /proc/24300/task/24308/stat : 24308 (java) S 24298 24300 23985 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 284313423 1833250816 82138 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24309] ppid=24298 vsize=1790284 CPUtime=0 /proc/24300/task/24309/stat : 24309 (java) S 24298 24300 23985 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 284313423 1833250816 82138 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2.94 Current children cumulated vsize (KiB) 1790284 [startup+6.30175 s] /proc/loadavg: 0.92 0.95 0.82 3/86 24309 /proc/meminfo: memFree=1119944/2055920 swapFree=4158628/4192956 [pid=24300] ppid=24298 vsize=1790284 CPUtime=6.15 /proc/24300/stat : 24300 (java) S 24298 24300 23985 0 -1 0 82681 0 78 0 574 41 0 0 18 0 9 0 284313401 1833250816 82155 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/24300/statm: 447571 82155 1881 9 0 442156 0 [pid=24300/tid=24302] ppid=24298 vsize=1790284 CPUtime=5.21 /proc/24300/task/24302/stat : 24302 (java) R 24298 24300 23985 0 -1 64 29111 0 49 0 504 17 0 0 25 0 9 0 284313410 1833250816 82155 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4126826204 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24300/tid=24303] ppid=24298 vsize=1790284 CPUtime=0.74 /proc/24300/task/24303/stat : 24303 (java) S 24298 24300 23985 0 -1 64 52435 0 0 0 54 20 0 0 16 0 9 0 284313418 1833250816 82155 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24304] ppid=24298 vsize=1790284 CPUtime=0 /proc/24300/task/24304/stat : 24304 (java) S 24298 24300 23985 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 284313419 1833250816 82155 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24305] ppid=24298 vsize=1790284 CPUtime=0 /proc/24300/task/24305/stat : 24305 (java) S 24298 24300 23985 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 284313420 1833250816 82155 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24306] ppid=24298 vsize=1790284 CPUtime=0 /proc/24300/task/24306/stat : 24306 (java) S 24298 24300 23985 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 284313423 1833250816 82155 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24307] ppid=24298 vsize=1790284 CPUtime=0.17 /proc/24300/task/24307/stat : 24307 (java) S 24298 24300 23985 0 -1 64 438 0 2 0 15 2 0 0 15 0 9 0 284313423 1833250816 82155 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24308] ppid=24298 vsize=1790284 CPUtime=0 /proc/24300/task/24308/stat : 24308 (java) S 24298 24300 23985 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 284313423 1833250816 82155 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24309] ppid=24298 vsize=1790284 CPUtime=0 /proc/24300/task/24309/stat : 24309 (java) S 24298 24300 23985 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 284313423 1833250816 82155 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 6.15 Current children cumulated vsize (KiB) 1790284 [startup+12.7013 s] /proc/loadavg: 0.93 0.96 0.82 2/86 24309 /proc/meminfo: memFree=1119944/2055920 swapFree=4158628/4192956 [pid=24300] ppid=24298 vsize=1790284 CPUtime=12.55 /proc/24300/stat : 24300 (java) S 24298 24300 23985 0 -1 0 82688 0 78 0 1214 41 0 0 18 0 9 0 284313401 1833250816 82157 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/24300/statm: 447571 82157 1881 9 0 442156 0 [pid=24300/tid=24302] ppid=24298 vsize=1790284 CPUtime=11.61 /proc/24300/task/24302/stat : 24302 (java) R 24298 24300 23985 0 -1 64 29115 0 49 0 1144 17 0 0 25 0 9 0 284313410 1833250816 82157 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4126832019 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24300/tid=24303] ppid=24298 vsize=1790284 CPUtime=0.74 /proc/24300/task/24303/stat : 24303 (java) S 24298 24300 23985 0 -1 64 52435 0 0 0 54 20 0 0 16 0 9 0 284313418 1833250816 82157 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24304] ppid=24298 vsize=1790284 CPUtime=0 /proc/24300/task/24304/stat : 24304 (java) S 24298 24300 23985 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 284313419 1833250816 82157 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24305] ppid=24298 vsize=1790284 CPUtime=0 /proc/24300/task/24305/stat : 24305 (java) S 24298 24300 23985 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 284313420 1833250816 82157 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24306] ppid=24298 vsize=1790284 CPUtime=0 /proc/24300/task/24306/stat : 24306 (java) S 24298 24300 23985 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 284313423 1833250816 82157 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24307] ppid=24298 vsize=1790284 CPUtime=0.17 /proc/24300/task/24307/stat : 24307 (java) S 24298 24300 23985 0 -1 64 441 0 2 0 15 2 0 0 15 0 9 0 284313423 1833250816 82157 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24308] ppid=24298 vsize=1790284 CPUtime=0 /proc/24300/task/24308/stat : 24308 (java) S 24298 24300 23985 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 284313423 1833250816 82157 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24309] ppid=24298 vsize=1790284 CPUtime=0 /proc/24300/task/24309/stat : 24309 (java) S 24298 24300 23985 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 284313423 1833250816 82157 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 12.55 Current children cumulated vsize (KiB) 1790284 [startup+25.5024 s] /proc/loadavg: 0.94 0.96 0.82 2/86 24309 /proc/meminfo: memFree=1120072/2055920 swapFree=4158628/4192956 [pid=24300] ppid=24298 vsize=1790284 CPUtime=25.35 /proc/24300/stat : 24300 (java) S 24298 24300 23985 0 -1 0 82689 0 78 0 2494 41 0 0 18 0 9 0 284313401 1833250816 82157 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/24300/statm: 447571 82157 1881 9 0 442156 0 [pid=24300/tid=24302] ppid=24298 vsize=1790284 CPUtime=24.4 /proc/24300/task/24302/stat : 24302 (java) R 24298 24300 23985 0 -1 64 29116 0 49 0 2423 17 0 0 25 0 9 0 284313410 1833250816 82157 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4126854850 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24300/tid=24303] ppid=24298 vsize=1790284 CPUtime=0.74 /proc/24300/task/24303/stat : 24303 (java) S 24298 24300 23985 0 -1 64 52435 0 0 0 54 20 0 0 16 0 9 0 284313418 1833250816 82157 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24304] ppid=24298 vsize=1790284 CPUtime=0 /proc/24300/task/24304/stat : 24304 (java) S 24298 24300 23985 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 284313419 1833250816 82157 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24305] ppid=24298 vsize=1790284 CPUtime=0 /proc/24300/task/24305/stat : 24305 (java) S 24298 24300 23985 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 284313420 1833250816 82157 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24306] ppid=24298 vsize=1790284 CPUtime=0 /proc/24300/task/24306/stat : 24306 (java) S 24298 24300 23985 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 284313423 1833250816 82157 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24307] ppid=24298 vsize=1790284 CPUtime=0.17 /proc/24300/task/24307/stat : 24307 (java) S 24298 24300 23985 0 -1 64 441 0 2 0 15 2 0 0 16 0 9 0 284313423 1833250816 82157 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24308] ppid=24298 vsize=1790284 CPUtime=0 /proc/24300/task/24308/stat : 24308 (java) S 24298 24300 23985 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 284313423 1833250816 82157 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24309] ppid=24298 vsize=1790284 CPUtime=0 /proc/24300/task/24309/stat : 24309 (java) S 24298 24300 23985 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 284313423 1833250816 82157 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 25.35 Current children cumulated vsize (KiB) 1790284 [startup+51.1025 s] /proc/loadavg: 0.96 0.96 0.82 2/86 24309 /proc/meminfo: memFree=1120072/2055920 swapFree=4158628/4192956 [pid=24300] ppid=24298 vsize=1790284 CPUtime=50.95 /proc/24300/stat : 24300 (java) S 24298 24300 23985 0 -1 0 82697 0 78 0 5054 41 0 0 18 0 9 0 284313401 1833250816 82162 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/24300/statm: 447571 82162 1881 9 0 442156 0 [pid=24300/tid=24302] ppid=24298 vsize=1790284 CPUtime=49.99 /proc/24300/task/24302/stat : 24302 (java) R 24298 24300 23985 0 -1 64 29118 0 49 0 4982 17 0 0 25 0 9 0 284313410 1833250816 82162 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4126600202 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24300/tid=24303] ppid=24298 vsize=1790284 CPUtime=0.74 /proc/24300/task/24303/stat : 24303 (java) S 24298 24300 23985 0 -1 64 52435 0 0 0 54 20 0 0 16 0 9 0 284313418 1833250816 82162 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24304] ppid=24298 vsize=1790284 CPUtime=0 /proc/24300/task/24304/stat : 24304 (java) S 24298 24300 23985 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 284313419 1833250816 82162 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24305] ppid=24298 vsize=1790284 CPUtime=0 /proc/24300/task/24305/stat : 24305 (java) S 24298 24300 23985 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 284313420 1833250816 82162 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24306] ppid=24298 vsize=1790284 CPUtime=0 /proc/24300/task/24306/stat : 24306 (java) S 24298 24300 23985 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 284313423 1833250816 82162 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24307] ppid=24298 vsize=1790284 CPUtime=0.18 /proc/24300/task/24307/stat : 24307 (java) S 24298 24300 23985 0 -1 64 447 0 2 0 16 2 0 0 16 0 9 0 284313423 1833250816 82162 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24308] ppid=24298 vsize=1790284 CPUtime=0 ################ # More data... # ################ /proc/24300/task/24305/stat : 24305 (java) S 24298 24300 23985 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 284313420 1833250816 82168 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24306] ppid=24298 vsize=1790284 CPUtime=0 /proc/24300/task/24306/stat : 24306 (java) S 24298 24300 23985 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 284313423 1833250816 82168 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24307] ppid=24298 vsize=1790284 CPUtime=0.19 /proc/24300/task/24307/stat : 24307 (java) S 24298 24300 23985 0 -1 64 453 0 2 0 17 2 0 0 16 0 9 0 284313423 1833250816 82168 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24308] ppid=24298 vsize=1790284 CPUtime=0 /proc/24300/task/24308/stat : 24308 (java) S 24298 24300 23985 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 284313423 1833250816 82168 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24309] ppid=24298 vsize=1790284 CPUtime=0 /proc/24300/task/24309/stat : 24309 (java) S 24298 24300 23985 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 284313423 1833250816 82168 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 1790284 [startup+1542.3 s] /proc/loadavg: 1.04 1.00 0.91 2/86 24311 /proc/meminfo: memFree=1119816/2055920 swapFree=4158628/4192956 [pid=24300] ppid=24298 vsize=1790284 CPUtime=1541.77 /proc/24300/stat : 24300 (java) S 24298 24300 23985 0 -1 0 82706 0 78 0 154124 53 0 0 18 0 9 0 284313401 1833250816 82168 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/24300/statm: 447571 82168 1881 9 0 442156 0 [pid=24300/tid=24302] ppid=24298 vsize=1790284 CPUtime=1540.79 /proc/24300/task/24302/stat : 24302 (java) R 24298 24300 23985 0 -1 64 29121 0 49 0 154051 28 0 0 25 0 9 0 284313410 1833250816 82168 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4126801303 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24300/tid=24303] ppid=24298 vsize=1790284 CPUtime=0.74 /proc/24300/task/24303/stat : 24303 (java) S 24298 24300 23985 0 -1 64 52435 0 0 0 54 20 0 0 16 0 9 0 284313418 1833250816 82168 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24304] ppid=24298 vsize=1790284 CPUtime=0 /proc/24300/task/24304/stat : 24304 (java) S 24298 24300 23985 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 284313419 1833250816 82168 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24305] ppid=24298 vsize=1790284 CPUtime=0 /proc/24300/task/24305/stat : 24305 (java) S 24298 24300 23985 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 284313420 1833250816 82168 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24306] ppid=24298 vsize=1790284 CPUtime=0 /proc/24300/task/24306/stat : 24306 (java) S 24298 24300 23985 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 284313423 1833250816 82168 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24307] ppid=24298 vsize=1790284 CPUtime=0.19 /proc/24300/task/24307/stat : 24307 (java) S 24298 24300 23985 0 -1 64 453 0 2 0 17 2 0 0 16 0 9 0 284313423 1833250816 82168 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24308] ppid=24298 vsize=1790284 CPUtime=0 /proc/24300/task/24308/stat : 24308 (java) S 24298 24300 23985 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 284313423 1833250816 82168 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24309] ppid=24298 vsize=1790284 CPUtime=0 /proc/24300/task/24309/stat : 24309 (java) S 24298 24300 23985 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 284313423 1833250816 82168 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 1790284 [startup+1602.3 s] /proc/loadavg: 1.19 1.06 0.94 2/86 24311 /proc/meminfo: memFree=1119880/2055920 swapFree=4158628/4192956 [pid=24300] ppid=24298 vsize=1790284 CPUtime=1601.75 /proc/24300/stat : 24300 (java) S 24298 24300 23985 0 -1 0 82706 0 78 0 160122 53 0 0 18 0 9 0 284313401 1833250816 82168 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/24300/statm: 447571 82168 1881 9 0 442156 0 [pid=24300/tid=24302] ppid=24298 vsize=1790284 CPUtime=1600.78 /proc/24300/task/24302/stat : 24302 (java) R 24298 24300 23985 0 -1 64 29121 0 49 0 160049 29 0 0 25 0 9 0 284313410 1833250816 82168 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4126826204 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24300/tid=24303] ppid=24298 vsize=1790284 CPUtime=0.74 /proc/24300/task/24303/stat : 24303 (java) S 24298 24300 23985 0 -1 64 52435 0 0 0 54 20 0 0 16 0 9 0 284313418 1833250816 82168 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24304] ppid=24298 vsize=1790284 CPUtime=0 /proc/24300/task/24304/stat : 24304 (java) S 24298 24300 23985 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 284313419 1833250816 82168 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24305] ppid=24298 vsize=1790284 CPUtime=0 /proc/24300/task/24305/stat : 24305 (java) S 24298 24300 23985 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 284313420 1833250816 82168 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24306] ppid=24298 vsize=1790284 CPUtime=0 /proc/24300/task/24306/stat : 24306 (java) S 24298 24300 23985 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 284313423 1833250816 82168 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24307] ppid=24298 vsize=1790284 CPUtime=0.19 /proc/24300/task/24307/stat : 24307 (java) S 24298 24300 23985 0 -1 64 453 0 2 0 17 2 0 0 16 0 9 0 284313423 1833250816 82168 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24308] ppid=24298 vsize=1790284 CPUtime=0 /proc/24300/task/24308/stat : 24308 (java) S 24298 24300 23985 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 284313423 1833250816 82168 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24309] ppid=24298 vsize=1790284 CPUtime=0 /proc/24300/task/24309/stat : 24309 (java) S 24298 24300 23985 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 284313423 1833250816 82168 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 1790284 [startup+1662.3 s] /proc/loadavg: 1.07 1.04 0.94 2/86 24311 /proc/meminfo: memFree=1119880/2055920 swapFree=4158628/4192956 [pid=24300] ppid=24298 vsize=1790284 CPUtime=1661.73 /proc/24300/stat : 24300 (java) S 24298 24300 23985 0 -1 0 82706 0 78 0 166120 53 0 0 18 0 9 0 284313401 1833250816 82168 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/24300/statm: 447571 82168 1881 9 0 442156 0 [pid=24300/tid=24302] ppid=24298 vsize=1790284 CPUtime=1660.76 /proc/24300/task/24302/stat : 24302 (java) R 24298 24300 23985 0 -1 64 29121 0 49 0 166047 29 0 0 25 0 9 0 284313410 1833250816 82168 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4126826204 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24300/tid=24303] ppid=24298 vsize=1790284 CPUtime=0.74 /proc/24300/task/24303/stat : 24303 (java) S 24298 24300 23985 0 -1 64 52435 0 0 0 54 20 0 0 16 0 9 0 284313418 1833250816 82168 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24304] ppid=24298 vsize=1790284 CPUtime=0 /proc/24300/task/24304/stat : 24304 (java) S 24298 24300 23985 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 284313419 1833250816 82168 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24305] ppid=24298 vsize=1790284 CPUtime=0 /proc/24300/task/24305/stat : 24305 (java) S 24298 24300 23985 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 284313420 1833250816 82168 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24306] ppid=24298 vsize=1790284 CPUtime=0 /proc/24300/task/24306/stat : 24306 (java) S 24298 24300 23985 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 284313423 1833250816 82168 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24307] ppid=24298 vsize=1790284 CPUtime=0.19 /proc/24300/task/24307/stat : 24307 (java) S 24298 24300 23985 0 -1 64 453 0 2 0 17 2 0 0 16 0 9 0 284313423 1833250816 82168 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24308] ppid=24298 vsize=1790284 CPUtime=0 /proc/24300/task/24308/stat : 24308 (java) S 24298 24300 23985 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 284313423 1833250816 82168 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24309] ppid=24298 vsize=1790284 CPUtime=0 /proc/24300/task/24309/stat : 24309 (java) S 24298 24300 23985 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 284313423 1833250816 82168 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 1790284 [startup+1722.3 s] /proc/loadavg: 1.02 1.03 0.94 2/86 24311 /proc/meminfo: memFree=1119880/2055920 swapFree=4158628/4192956 [pid=24300] ppid=24298 vsize=1790284 CPUtime=1721.72 /proc/24300/stat : 24300 (java) S 24298 24300 23985 0 -1 0 82706 0 78 0 172118 54 0 0 18 0 9 0 284313401 1833250816 82168 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/24300/statm: 447571 82168 1881 9 0 442156 0 [pid=24300/tid=24302] ppid=24298 vsize=1790284 CPUtime=1720.75 /proc/24300/task/24302/stat : 24302 (java) R 24298 24300 23985 0 -1 64 29121 0 49 0 172045 30 0 0 25 0 9 0 284313410 1833250816 82168 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4126801222 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24300/tid=24303] ppid=24298 vsize=1790284 CPUtime=0.74 /proc/24300/task/24303/stat : 24303 (java) S 24298 24300 23985 0 -1 64 52435 0 0 0 54 20 0 0 16 0 9 0 284313418 1833250816 82168 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24304] ppid=24298 vsize=1790284 CPUtime=0 /proc/24300/task/24304/stat : 24304 (java) S 24298 24300 23985 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 284313419 1833250816 82168 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24305] ppid=24298 vsize=1790284 CPUtime=0 /proc/24300/task/24305/stat : 24305 (java) S 24298 24300 23985 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 284313420 1833250816 82168 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24306] ppid=24298 vsize=1790284 CPUtime=0 /proc/24300/task/24306/stat : 24306 (java) S 24298 24300 23985 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 284313423 1833250816 82168 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24307] ppid=24298 vsize=1790284 CPUtime=0.19 /proc/24300/task/24307/stat : 24307 (java) S 24298 24300 23985 0 -1 64 453 0 2 0 17 2 0 0 16 0 9 0 284313423 1833250816 82168 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24308] ppid=24298 vsize=1790284 CPUtime=0 /proc/24300/task/24308/stat : 24308 (java) S 24298 24300 23985 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 284313423 1833250816 82168 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24309] ppid=24298 vsize=1790284 CPUtime=0 /proc/24300/task/24309/stat : 24309 (java) S 24298 24300 23985 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 284313423 1833250816 82168 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1721.72 Current children cumulated vsize (KiB) 1790284 [startup+1782.3 s] /proc/loadavg: 1.01 1.03 0.94 2/86 24311 /proc/meminfo: memFree=1119816/2055920 swapFree=4158628/4192956 [pid=24300] ppid=24298 vsize=1790284 CPUtime=1781.7 /proc/24300/stat : 24300 (java) S 24298 24300 23985 0 -1 0 82706 0 78 0 178116 54 0 0 18 0 9 0 284313401 1833250816 82168 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/24300/statm: 447571 82168 1881 9 0 442156 0 [pid=24300/tid=24302] ppid=24298 vsize=1790284 CPUtime=1780.73 /proc/24300/task/24302/stat : 24302 (java) R 24298 24300 23985 0 -1 64 29121 0 49 0 178043 30 0 0 25 0 9 0 284313410 1833250816 82168 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4126844982 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24300/tid=24303] ppid=24298 vsize=1790284 CPUtime=0.74 /proc/24300/task/24303/stat : 24303 (java) S 24298 24300 23985 0 -1 64 52435 0 0 0 54 20 0 0 16 0 9 0 284313418 1833250816 82168 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24304] ppid=24298 vsize=1790284 CPUtime=0 /proc/24300/task/24304/stat : 24304 (java) S 24298 24300 23985 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 284313419 1833250816 82168 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24305] ppid=24298 vsize=1790284 CPUtime=0 /proc/24300/task/24305/stat : 24305 (java) S 24298 24300 23985 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 284313420 1833250816 82168 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24306] ppid=24298 vsize=1790284 CPUtime=0 /proc/24300/task/24306/stat : 24306 (java) S 24298 24300 23985 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 284313423 1833250816 82168 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24307] ppid=24298 vsize=1790284 CPUtime=0.19 /proc/24300/task/24307/stat : 24307 (java) S 24298 24300 23985 0 -1 64 453 0 2 0 17 2 0 0 16 0 9 0 284313423 1833250816 82168 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24308] ppid=24298 vsize=1790284 CPUtime=0 /proc/24300/task/24308/stat : 24308 (java) S 24298 24300 23985 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 284313423 1833250816 82168 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24309] ppid=24298 vsize=1790284 CPUtime=0 /proc/24300/task/24309/stat : 24309 (java) S 24298 24300 23985 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 284313423 1833250816 82168 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 1790284 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.02 0.94 2/86 24311 /proc/meminfo: memFree=1119816/2055920 swapFree=4158628/4192956 [pid=24300] ppid=24298 vsize=1790284 CPUtime=1800 /proc/24300/stat : 24300 (java) S 24298 24300 23985 0 -1 0 82706 0 78 0 179946 54 0 0 18 0 9 0 284313401 1833250816 82168 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/24300/statm: 447571 82168 1881 9 0 442156 0 [pid=24300/tid=24302] ppid=24298 vsize=1790284 CPUtime=1799.03 /proc/24300/task/24302/stat : 24302 (java) R 24298 24300 23985 0 -1 64 29121 0 49 0 179873 30 0 0 25 0 9 0 284313410 1833250816 82168 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4126832019 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24300/tid=24303] ppid=24298 vsize=1790284 CPUtime=0.74 /proc/24300/task/24303/stat : 24303 (java) S 24298 24300 23985 0 -1 64 52435 0 0 0 54 20 0 0 16 0 9 0 284313418 1833250816 82168 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24304] ppid=24298 vsize=1790284 CPUtime=0 /proc/24300/task/24304/stat : 24304 (java) S 24298 24300 23985 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 284313419 1833250816 82168 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24305] ppid=24298 vsize=1790284 CPUtime=0 /proc/24300/task/24305/stat : 24305 (java) S 24298 24300 23985 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 284313420 1833250816 82168 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24306] ppid=24298 vsize=1790284 CPUtime=0 /proc/24300/task/24306/stat : 24306 (java) S 24298 24300 23985 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 284313423 1833250816 82168 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24307] ppid=24298 vsize=1790284 CPUtime=0.19 /proc/24300/task/24307/stat : 24307 (java) S 24298 24300 23985 0 -1 64 453 0 2 0 17 2 0 0 16 0 9 0 284313423 1833250816 82168 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24308] ppid=24298 vsize=1790284 CPUtime=0 /proc/24300/task/24308/stat : 24308 (java) S 24298 24300 23985 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 284313423 1833250816 82168 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24300/tid=24309] ppid=24298 vsize=1790284 CPUtime=0 /proc/24300/task/24309/stat : 24309 (java) S 24298 24300 23985 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 284313423 1833250816 82168 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1790284 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1800.68 CPU time (s): 1800.08 CPU user time (s): 1799.48 CPU system time (s): 0.600908 CPU usage (%): 99.9671 Max. virtual memory (cumulated for all children) (KiB): 1790284 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.48 system time used= 0.600908 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 82722 page faults= 78 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 37235 involuntary context switches= 38617 runsolver used 1.71374 second user time and 4.84826 second system time The end
Begin job on node43 on Sat May 5 11:20:14 UTC 2007 IDJOB= 456874 IDBENCH= 48304 IDSOLVER= 155 FILE ID= node43/456874-1178364013 PBS_JOBID= 5189186 Free space on /tmp= 66560 MiB SOLVER NAME= absconPseudo 102 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_500_60_5_80.opb COMMAND LINE= java -Xms1600M -Xmx1600M -jar absconPseudo1.jar configuration.xml 1 pseudo /tmp/evaluation/456874-1178364013/instance-456874-1178364013.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node43/convwatcher-456874-1178364013 -o ROOT/results/node43/conversion-456874-1178364013 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/456874-1178364013/instance-456874-1178364013.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-456874-1178364013 -o ROOT/results/node43/solver-456874-1178364013 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -Xms1600M -Xmx1600M -jar absconPseudo1.jar configuration.xml 1 pseudo /tmp/evaluation/456874-1178364013/instance-456874-1178364013.opb META MD5SUM SOLVER= af6648fa1ac31d79961ee160b5e03dc5 MD5SUM BENCH= d5640996c15a8815d620b5d6c220fea1 RANDOM SEED= 462744339 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node43.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.218 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.218 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: 1462632 kB Buffers: 50760 kB Cached: 419676 kB SwapCached: 3456 kB Active: 172348 kB Inactive: 322824 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1462632 kB SwapTotal: 4192956 kB SwapFree: 4158628 kB Dirty: 5204 kB Writeback: 0 kB Mapped: 31524 kB Slab: 83512 kB Committed_AS: 8171712 kB PageTables: 1896 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= 66558 MiB End job on node43 on Sat May 5 11:50:19 UTC 2007