Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
sat4jPseudoCP 2007-03-23 | SAT | 338.9 | 312.159 |
Name | normalized-PB07/PURE-SAT/SAT07/industrial/ vliw_sat_4.0/9vliw_m_9stages_iq3_C1_bug6.opb |
MD5SUM | 27228c198c2192df96e63350c0547ff0 |
Bench Category | PURE-SAT (instances containing only clauses) |
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 | 338.9 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | NO |
Number of variables | 521192 |
Total number of constraints | 13378781 |
Number of constraints which are clauses | 13378781 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 6689 |
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 | 16 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 6689 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
OK 0
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node27/watcher-419345-1177407394 -o ROOT/results/node27/solver-419345-1177407394 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/419345-1177407394/sat4jPseudoCP.jar /tmp/evaluation/419345-1177407394/instance-419345-1177407394.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: 2.09 1.47 1.22 3/66 5584 /proc/meminfo: memFree=1431904/2055920 swapFree=4145252/4192956 [pid=5584] ppid=5582 vsize=152 CPUtime=0 /proc/5584/stat : 5584 (java) D 5582 5584 4597 0 -1 0 40 0 0 0 0 0 0 0 18 0 1 0 153438143 155648 26 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 1467172 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/5584/statm: 38 26 19 9 0 4 0 [startup+0.015324 s] /proc/loadavg: 2.09 1.47 1.22 3/66 5584 /proc/meminfo: memFree=1431904/2055920 swapFree=4145252/4192956 [pid=5584] ppid=5582 vsize=200 CPUtime=0 /proc/5584/stat : 5584 (java) D 5582 5584 4597 0 -1 0 47 0 0 0 0 0 0 0 18 0 1 0 153438143 204800 33 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 1467172 0 0 4096 0 18446744071563608240 0 0 17 1 0 0 /proc/5584/statm: 50 33 26 9 0 4 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 200 [startup+0.101334 s] /proc/loadavg: 2.09 1.47 1.22 3/66 5584 /proc/meminfo: memFree=1431904/2055920 swapFree=4145252/4192956 [pid=5584] ppid=5582 vsize=200 CPUtime=0 /proc/5584/stat : 5584 (java) D 5582 5584 4597 0 -1 0 47 0 0 0 0 0 0 0 18 0 1 0 153438143 204800 33 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 1467300 0 0 4096 0 18446744071563608240 0 0 17 1 0 0 /proc/5584/statm: 50 33 26 9 0 4 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 200 [startup+0.301355 s] /proc/loadavg: 2.09 1.47 1.22 3/66 5584 /proc/meminfo: memFree=1431904/2055920 swapFree=4145252/4192956 [pid=5584] ppid=5582 vsize=308 CPUtime=0 /proc/5584/stat : 5584 (java) D 5582 5584 4597 0 -1 0 55 0 1 0 0 0 0 0 18 0 1 0 153438143 315392 41 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 1467172 0 0 4096 0 18446744071563608240 0 0 17 0 0 0 /proc/5584/statm: 77 41 31 9 0 6 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 308 [startup+0.701394 s] /proc/loadavg: 2.09 1.47 1.22 3/66 5584 /proc/meminfo: memFree=1431904/2055920 swapFree=4145252/4192956 [pid=5584] ppid=5582 vsize=1800 CPUtime=0 /proc/5584/stat : 5584 (java) D 5582 5584 4597 0 -1 0 148 0 2 0 0 0 0 0 18 0 1 0 153438143 1843200 124 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 2258944 0 0 4096 0 18446744071563479169 0 0 17 1 0 0 /proc/5584/statm: 450 124 88 9 0 92 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1800 [startup+1.50148 s] /proc/loadavg: 2.09 1.47 1.22 1/68 5586 /proc/meminfo: memFree=1425040/2055920 swapFree=4145252/4192956 [pid=5584] ppid=5582 vsize=12584 CPUtime=0.01 /proc/5584/stat : 5584 (java) S 5582 5584 4597 0 -1 0 774 0 35 0 0 1 0 0 18 0 2 0 153438143 12886016 584 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 0 0 0 /proc/5584/statm: 3146 584 271 9 0 1243 0 [pid=5584/tid=5586] ppid=5582 vsize=12584 CPUtime=0 /proc/5584/task/5586/stat : 5586 (java) D 5582 5584 4597 0 -1 64 109 0 3 0 0 0 0 0 18 0 2 0 153438229 12886016 584 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 1467300 0 0 0 7368 18446744071563479169 0 0 -1 0 0 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 12584 [startup+3.10165 s] /proc/loadavg: 2.09 1.47 1.22 1/67 5586 /proc/meminfo: memFree=1425176/2055920 swapFree=4145252/4192956 [pid=5584] ppid=5582 vsize=1782040 CPUtime=0.29 /proc/5584/stat : 5584 (java) S 5582 5584 4597 0 -1 0 9517 0 47 0 21 8 0 0 18 0 12 0 153438143 1824808960 9303 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/5584/statm: 445510 9303 1246 9 0 443122 0 [pid=5584/tid=5586] ppid=5582 vsize=1782040 CPUtime=0.23 /proc/5584/task/5586/stat : 5586 (java) R 5582 5584 4597 0 -1 64 8443 0 15 0 17 6 0 0 18 0 12 0 153438229 1824808960 9303 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109174936 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1782040 [startup+6.30197 s] /proc/loadavg: 2.00 1.47 1.22 2/77 5596 /proc/meminfo: memFree=1249608/2055920 swapFree=4145252/4192956 [pid=5584] ppid=5582 vsize=1786860 CPUtime=4.3 /proc/5584/stat : 5584 (java) S 5582 5584 4597 0 -1 0 54171 0 47 0 401 29 0 0 18 0 12 0 153438143 1829744640 52121 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/5584/statm: 446715 52121 1311 9 0 444327 0 [pid=5584/tid=5586] ppid=5582 vsize=1786860 CPUtime=2.83 /proc/5584/task/5586/stat : 5586 (java) R 5582 5584 4597 0 -1 64 37666 0 15 0 264 19 0 0 17 0 12 0 153438229 1829744640 52121 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109550513 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5584/tid=5587] ppid=5582 vsize=1786860 CPUtime=0.15 /proc/5584/task/5587/stat : 5587 (java) S 5582 5584 4597 0 -1 64 5828 0 0 0 13 2 0 0 16 0 12 0 153438410 1829744640 52121 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5584/tid=5588] ppid=5582 vsize=1786860 CPUtime=0.15 /proc/5584/task/5588/stat : 5588 (java) S 5582 5584 4597 0 -1 64 6911 0 0 0 12 3 0 0 17 0 12 0 153438410 1829744640 52121 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5584/tid=5589] ppid=5582 vsize=1786860 CPUtime=0 /proc/5584/task/5589/stat : 5589 (java) S 5582 5584 4597 0 -1 64 10 0 0 0 0 0 0 0 16 0 12 0 153438414 1829744640 52121 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=5584/tid=5590] ppid=5582 vsize=1786860 CPUtime=0 /proc/5584/task/5590/stat : 5590 (java) S 5582 5584 4597 0 -1 64 11 0 0 0 0 0 0 0 17 0 12 0 153438415 1829744640 52121 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5584/tid=5591] ppid=5582 vsize=1786860 CPUtime=0 /proc/5584/task/5591/stat : 5591 (java) S 5582 5584 4597 0 -1 64 6 0 0 0 0 0 0 0 17 0 12 0 153438415 1829744640 52121 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5584/tid=5592] ppid=5582 vsize=1786860 CPUtime=0 /proc/5584/task/5592/stat : 5592 (java) S 5582 5584 4597 0 -1 64 1 0 0 0 0 0 0 0 19 0 12 0 153438432 1829744640 52121 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5584/tid=5593] ppid=5582 vsize=1786860 CPUtime=0.59 /proc/5584/task/5593/stat : 5593 (java) S 5582 5584 4597 0 -1 64 1860 0 0 0 58 1 0 0 17 0 12 0 153438432 1829744640 52121 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5584/tid=5594] ppid=5582 vsize=1786860 CPUtime=0.5 /proc/5584/task/5594/stat : 5594 (java) S 5582 5584 4597 0 -1 64 1212 0 0 0 50 0 0 0 16 0 12 0 153438432 1829744640 52121 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5584/tid=5595] ppid=5582 vsize=1786860 CPUtime=0 /proc/5584/task/5595/stat : 5595 (java) S 5582 5584 4597 0 -1 64 1 0 0 0 0 0 0 0 21 0 12 0 153438432 1829744640 52121 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5584/tid=5596] ppid=5582 vsize=1786860 CPUtime=0 /proc/5584/task/5596/stat : 5596 (java) S 5582 5584 4597 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 153438432 1829744640 52121 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 4.3 Current children cumulated vsize (KiB) 1786860 [startup+12.7026 s] /proc/loadavg: 1.92 1.46 1.22 2/77 5596 /proc/meminfo: memFree=1186568/2055920 swapFree=4145252/4192956 [pid=5584] ppid=5582 vsize=1791148 CPUtime=11.94 /proc/5584/stat : 5584 (java) S 5582 5584 4597 0 -1 0 65690 0 47 0 1159 35 0 0 18 0 12 0 153438143 1834135552 62165 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/5584/statm: 447787 62165 1319 9 0 445399 0 [pid=5584/tid=5586] ppid=5582 vsize=1791148 CPUtime=7.98 /proc/5584/task/5586/stat : 5586 (java) R 5582 5584 4597 0 -1 64 37674 0 15 0 778 20 0 0 17 0 12 0 153438229 1834135552 62165 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109501043 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5584/tid=5587] ppid=5582 vsize=1791148 CPUtime=1.39 /proc/5584/task/5587/stat : 5587 (java) S 5582 5584 4597 0 -1 64 12087 0 0 0 135 4 0 0 16 0 12 0 153438410 1834135552 62165 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5584/tid=5588] ppid=5582 vsize=1791148 CPUtime=1.38 /proc/5584/task/5588/stat : 5588 (java) S 5582 5584 4597 0 -1 64 12154 0 0 0 133 5 0 0 19 0 12 0 153438410 1834135552 62165 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5584/tid=5589] ppid=5582 vsize=1791148 CPUtime=0 /proc/5584/task/5589/stat : 5589 (java) S 5582 5584 4597 0 -1 64 10 0 0 0 0 0 0 0 16 0 12 0 153438414 1834135552 62165 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5584/tid=5590] ppid=5582 vsize=1791148 CPUtime=0 /proc/5584/task/5590/stat : 5590 (java) S 5582 5584 4597 0 -1 64 11 0 0 0 0 0 0 0 17 0 12 0 153438415 1834135552 62165 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5584/tid=5591] ppid=5582 vsize=1791148 CPUtime=0 /proc/5584/task/5591/stat : 5591 (java) S 5582 5584 4597 0 -1 64 6 0 0 0 0 0 0 0 17 0 12 0 153438415 1834135552 62165 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5584/tid=5592] ppid=5582 vsize=1791148 CPUtime=0 /proc/5584/task/5592/stat : 5592 (java) S 5582 5584 4597 0 -1 64 1 0 0 0 0 0 0 0 19 0 12 0 153438432 1834135552 62165 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5584/tid=5593] ppid=5582 vsize=1791148 CPUtime=0.6 /proc/5584/task/5593/stat : 5593 (java) S 5582 5584 4597 0 -1 64 1868 0 0 0 59 1 0 0 16 0 12 0 153438432 1834135552 62165 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5584/tid=5594] ppid=5582 vsize=1791148 CPUtime=0.51 /proc/5584/task/5594/stat : 5594 (java) S 5582 5584 4597 0 -1 64 1213 0 0 0 51 0 0 0 16 0 12 0 153438432 1834135552 62165 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5584/tid=5595] ppid=5582 vsize=1791148 CPUtime=0 /proc/5584/task/5595/stat : 5595 (java) S 5582 5584 4597 0 -1 64 1 0 0 0 0 0 0 0 21 0 12 0 153438432 1834135552 62165 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5584/tid=5596] ppid=5582 vsize=1791148 CPUtime=0 /proc/5584/task/5596/stat : 5596 (java) S 5582 5584 4597 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 153438432 1834135552 62165 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 11.94 Current children cumulated vsize (KiB) 1791148 [startup+25.5011 s] /proc/loadavg: 1.79 1.45 1.22 2/77 5596 /proc/meminfo: memFree=1095240/2055920 swapFree=4145252/4192956 [pid=5584] ppid=5582 vsize=1791148 CPUtime=26.33 /proc/5584/stat : 5584 (java) S 5582 5584 4597 0 -1 0 90015 0 47 0 2586 47 0 0 18 0 12 0 153438143 1834135552 83606 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/5584/statm: 447787 83606 1319 9 0 445399 0 [pid=5584/tid=5586] ppid=5582 vsize=1791148 CPUtime=19.17 /proc/5584/task/5586/stat : 5586 (java) R 5582 5584 4597 0 -1 64 37692 0 15 0 1893 24 0 0 20 0 12 0 153438229 1834135552 83606 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5584/tid=5587] ppid=5582 vsize=1791148 CPUtime=2.98 /proc/5584/task/5587/stat : 5587 (java) S 5582 5584 4597 0 -1 64 26798 0 0 0 288 10 0 0 17 0 12 0 153438410 1834135552 83606 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5584/tid=5588] ppid=5582 vsize=1791148 CPUtime=2.97 /proc/5584/task/5588/stat : 5588 (java) S 5582 5584 4597 0 -1 64 21742 0 0 0 288 9 0 0 16 0 12 0 153438410 1834135552 83606 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5584/tid=5589] ppid=5582 vsize=1791148 CPUtime=0 /proc/5584/task/5589/stat : 5589 (java) S 5582 5584 4597 0 -1 64 13 0 0 0 0 0 0 0 15 0 12 0 153438414 1834135552 83606 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5584/tid=5590] ppid=5582 vsize=1791148 CPUtime=0 /proc/5584/task/5590/stat : 5590 (java) S 5582 5584 4597 0 -1 64 11 0 0 0 0 0 0 0 17 0 12 0 153438415 1834135552 83606 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5584/tid=5591] ppid=5582 vsize=1791148 CPUtime=0 /proc/5584/task/5591/stat : 5591 (java) S 5582 5584 4597 0 -1 64 6 0 0 0 0 0 0 0 17 0 12 0 153438415 1834135552 83606 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5584/tid=5592] ppid=5582 vsize=1791148 CPUtime=0 /proc/5584/task/5592/stat : 5592 (java) S 5582 5584 4597 0 -1 64 1 0 0 0 0 0 0 0 19 0 12 0 153438432 1834135552 83606 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5584/tid=5593] ppid=5582 vsize=1791148 CPUtime=0.6 /proc/5584/task/5593/stat : 5593 (java) S 5582 5584 4597 0 -1 64 1868 0 0 0 59 1 0 0 16 0 12 0 153438432 1834135552 83606 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5584/tid=5594] ppid=5582 vsize=1791148 CPUtime=0.55 /proc/5584/task/5594/stat : 5594 (java) S 5582 5584 4597 0 -1 64 1218 0 0 0 55 0 0 0 17 0 12 0 153438432 1834135552 83606 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5584/tid=5595] ppid=5582 vsize=1791148 CPUtime=0 /proc/5584/task/5595/stat : 5595 (java) S 5582 5584 4597 0 -1 64 1 0 0 0 0 0 0 0 21 0 12 0 153438432 1834135552 83606 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5584/tid=5596] ppid=5582 vsize=1791148 CPUtime=0 /proc/5584/task/5596/stat : 5596 (java) S 5582 5584 4597 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 153438432 1834135552 83606 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 26.33 Current children cumulated vsize (KiB) 1791148 [startup+51.1017 s] /proc/loadavg: 1.52 1.41 1.22 2/77 5596 /proc/meminfo: memFree=954184/2055920 swapFree=4145252/4192956 [pid=5584] ppid=5582 vsize=1791148 CPUtime=54.35 /proc/5584/stat : 5584 (java) S 5582 5584 4597 0 -1 0 127734 0 47 0 5364 71 0 0 18 0 12 0 153438143 1834135552 120261 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/5584/statm: 447787 120261 1319 9 0 445399 0 [pid=5584/tid=5586] ppid=5582 vsize=1791148 CPUtime=42.13 /proc/5584/task/5586/stat : 5586 (java) R 5582 5584 4597 0 -1 64 37719 0 15 0 4185 28 0 0 18 0 12 0 153438229 1834135552 120261 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109343221 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5584/tid=5587] ppid=5582 vsize=1791148 CPUtime=5.47 /proc/5584/task/5587/stat : 5587 (java) S 5582 5584 4597 0 -1 64 45945 0 0 0 528 19 0 0 16 0 12 0 153438410 1834135552 120261 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5584/tid=5588] ppid=5582 vsize=1791148 CPUtime=5.5 /proc/5584/task/5588/stat : 5588 (java) S 5582 5584 4597 0 -1 64 40283 0 0 0 531 19 0 0 16 0 12 0 153438410 1834135552 120261 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5584/tid=5589] ppid=5582 vsize=1791148 CPUtime=0.01 /proc/5584/task/5589/stat : 5589 (java) S 5582 5584 4597 0 -1 64 17 0 0 0 1 0 0 0 16 0 12 0 153438414 1834135552 120261 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5584/tid=5590] ppid=5582 vsize=1791148 CPUtime=0 /proc/5584/task/5590/stat : 5590 (java) S 5582 5584 4597 0 -1 64 11 0 0 0 0 0 0 0 17 0 12 0 153438415 1834135552 120261 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5584/tid=5591] ppid=5582 vsize=1791148 CPUtime=0 /proc/5584/task/5591/stat : 5591 (java) S 5582 5584 4597 0 -1 64 6 0 0 0 0 0 0 0 17 0 12 0 153438415 1834135552 120261 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5584/tid=5592] ppid=5582 vsize=1791148 CPUtime=0 /proc/5584/task/5592/stat : 5592 (java) S 5582 5584 4597 0 -1 64 1 0 0 0 0 0 0 0 19 0 12 0 153438432 1834135552 120261 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5584/tid=5593] ppid=5582 vsize=1791148 CPUtime=0.62 /proc/5584/task/5593/stat : 5593 (java) S 5582 5584 4597 0 -1 64 1868 0 0 0 61 1 0 0 17 0 12 0 153438432 1834135552 120261 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5584/tid=5594] ppid=5582 vsize=1791148 CPUtime=0.55 /proc/5584/task/5594/stat : 5594 (java) S 5582 5584 4597 0 -1 64 1218 0 0 0 55 0 0 0 16 0 12 0 153438432 1834135552 120261 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5584/tid=5595] ppid=5582 vsize=1791148 CPUtime=0 /proc/5584/task/5595/stat : 5595 (java) S 5582 5584 4597 0 -1 64 1 0 0 0 0 0 0 0 21 0 12 0 153438432 1834135552 120261 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5584/tid=5596] ppid=5582 vsize=1791148 CPUtime=0 /proc/5584/task/5596/stat : 5596 (java) S 5582 5584 4597 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 153438432 1834135552 120261 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 54.35 ################ # More data... # ################ /proc/loadavg: 1.07 1.23 1.18 2/78 5597 /proc/meminfo: memFree=15168/2055920 swapFree=4145260/4192956 [pid=5584] ppid=5582 vsize=1791472 CPUtime=327.31 /proc/5584/stat : 5584 (java) S 5582 5584 4597 0 -1 0 403088 0 54 0 32499 232 0 0 18 0 13 0 153438143 1834467328 384575 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/5584/statm: 447868 384575 1333 9 0 445480 0 [pid=5584/tid=5586] ppid=5582 vsize=1791472 CPUtime=265.9 /proc/5584/task/5586/stat : 5586 (java) R 5582 5584 4597 0 -1 64 37931 0 18 0 26530 60 0 0 25 0 13 0 153438229 1834467328 384575 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109947883 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5584/tid=5587] ppid=5582 vsize=1791472 CPUtime=29.5 /proc/5584/task/5587/stat : 5587 (java) S 5582 5584 4597 0 -1 64 200225 0 0 0 2860 90 0 0 16 0 13 0 153438410 1834467328 384575 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5584/tid=5588] ppid=5582 vsize=1791472 CPUtime=29.52 /proc/5584/task/5588/stat : 5588 (java) S 5582 5584 4597 0 -1 64 159824 0 0 0 2878 74 0 0 16 0 13 0 153438410 1834467328 384575 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5584/tid=5589] ppid=5582 vsize=1791472 CPUtime=0.06 /proc/5584/task/5589/stat : 5589 (java) S 5582 5584 4597 0 -1 64 23 0 0 0 4 2 0 0 16 0 13 0 153438414 1834467328 384575 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5584/tid=5590] ppid=5582 vsize=1791472 CPUtime=0 /proc/5584/task/5590/stat : 5590 (java) S 5582 5584 4597 0 -1 64 11 0 0 0 0 0 0 0 17 0 13 0 153438415 1834467328 384575 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5584/tid=5591] ppid=5582 vsize=1791472 CPUtime=0 /proc/5584/task/5591/stat : 5591 (java) S 5582 5584 4597 0 -1 64 6 0 0 0 0 0 0 0 17 0 13 0 153438415 1834467328 384575 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5584/tid=5592] ppid=5582 vsize=1791472 CPUtime=0 /proc/5584/task/5592/stat : 5592 (java) S 5582 5584 4597 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 153438432 1834467328 384575 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5584/tid=5593] ppid=5582 vsize=1791472 CPUtime=1.18 /proc/5584/task/5593/stat : 5593 (java) S 5582 5584 4597 0 -1 64 3128 0 2 0 117 1 0 0 16 0 13 0 153438432 1834467328 384575 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5584/tid=5594] ppid=5582 vsize=1791472 CPUtime=1.06 /proc/5584/task/5594/stat : 5594 (java) S 5582 5584 4597 0 -1 64 1269 0 2 0 106 0 0 0 17 0 13 0 153438432 1834467328 384575 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5584/tid=5595] ppid=5582 vsize=1791472 CPUtime=0 /proc/5584/task/5595/stat : 5595 (java) S 5582 5584 4597 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 153438432 1834467328 384575 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5584/tid=5596] ppid=5582 vsize=1791472 CPUtime=0 /proc/5584/task/5596/stat : 5596 (java) S 5582 5584 4597 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 153438432 1834467328 384575 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5584/tid=5597] ppid=5582 vsize=1791472 CPUtime=0 /proc/5584/task/5597/stat : 5597 (java) S 5582 5584 4597 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 153459809 1834467328 384575 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 327.31 Current children cumulated vsize (KiB) 1791472 [startup+307.102 s] /proc/loadavg: 1.06 1.22 1.18 2/78 5597 /proc/meminfo: memFree=16320/2055920 swapFree=4145260/4192956 [pid=5584] ppid=5582 vsize=1791472 CPUtime=333.84 /proc/5584/stat : 5584 (java) S 5582 5584 4597 0 -1 0 403573 0 54 0 33152 232 0 0 18 0 13 0 153438143 1834467328 385059 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/5584/statm: 447868 385059 1333 9 0 445480 0 [pid=5584/tid=5586] ppid=5582 vsize=1791472 CPUtime=272.13 /proc/5584/task/5586/stat : 5586 (java) R 5582 5584 4597 0 -1 64 37932 0 18 0 27153 60 0 0 25 0 13 0 153438229 1834467328 385059 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109856503 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5584/tid=5587] ppid=5582 vsize=1791472 CPUtime=29.63 /proc/5584/task/5587/stat : 5587 (java) S 5582 5584 4597 0 -1 64 200709 0 0 0 2873 90 0 0 16 0 13 0 153438410 1834467328 385059 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5584/tid=5588] ppid=5582 vsize=1791472 CPUtime=29.69 /proc/5584/task/5588/stat : 5588 (java) S 5582 5584 4597 0 -1 64 159824 0 0 0 2895 74 0 0 17 0 13 0 153438410 1834467328 385059 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5584/tid=5589] ppid=5582 vsize=1791472 CPUtime=0.06 /proc/5584/task/5589/stat : 5589 (java) S 5582 5584 4597 0 -1 64 23 0 0 0 4 2 0 0 16 0 13 0 153438414 1834467328 385059 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5584/tid=5590] ppid=5582 vsize=1791472 CPUtime=0 /proc/5584/task/5590/stat : 5590 (java) S 5582 5584 4597 0 -1 64 11 0 0 0 0 0 0 0 17 0 13 0 153438415 1834467328 385059 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5584/tid=5591] ppid=5582 vsize=1791472 CPUtime=0 /proc/5584/task/5591/stat : 5591 (java) S 5582 5584 4597 0 -1 64 6 0 0 0 0 0 0 0 17 0 13 0 153438415 1834467328 385059 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5584/tid=5592] ppid=5582 vsize=1791472 CPUtime=0 /proc/5584/task/5592/stat : 5592 (java) S 5582 5584 4597 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 153438432 1834467328 385059 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5584/tid=5593] ppid=5582 vsize=1791472 CPUtime=1.18 /proc/5584/task/5593/stat : 5593 (java) S 5582 5584 4597 0 -1 64 3128 0 2 0 117 1 0 0 16 0 13 0 153438432 1834467328 385059 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5584/tid=5594] ppid=5582 vsize=1791472 CPUtime=1.06 /proc/5584/task/5594/stat : 5594 (java) S 5582 5584 4597 0 -1 64 1269 0 2 0 106 0 0 0 17 0 13 0 153438432 1834467328 385059 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5584/tid=5595] ppid=5582 vsize=1791472 CPUtime=0 /proc/5584/task/5595/stat : 5595 (java) S 5582 5584 4597 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 153438432 1834467328 385059 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5584/tid=5596] ppid=5582 vsize=1791472 CPUtime=0 /proc/5584/task/5596/stat : 5596 (java) S 5582 5584 4597 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 153438432 1834467328 385059 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5584/tid=5597] ppid=5582 vsize=1791472 CPUtime=0 /proc/5584/task/5597/stat : 5597 (java) S 5582 5584 4597 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 153459809 1834467328 385059 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 333.84 Current children cumulated vsize (KiB) 1791472 [startup+310.302 s] /proc/loadavg: 1.06 1.22 1.18 2/78 5597 /proc/meminfo: memFree=16320/2055920 swapFree=4145260/4192956 [pid=5584] ppid=5582 vsize=1791472 CPUtime=337.04 /proc/5584/stat : 5584 (java) S 5582 5584 4597 0 -1 0 403573 0 54 0 33472 232 0 0 18 0 13 0 153438143 1834467328 385059 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/5584/statm: 447868 385059 1333 9 0 445480 0 [pid=5584/tid=5586] ppid=5582 vsize=1791472 CPUtime=275.33 /proc/5584/task/5586/stat : 5586 (java) R 5582 5584 4597 0 -1 64 37932 0 18 0 27473 60 0 0 25 0 13 0 153438229 1834467328 385059 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109847997 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5584/tid=5587] ppid=5582 vsize=1791472 CPUtime=29.63 /proc/5584/task/5587/stat : 5587 (java) S 5582 5584 4597 0 -1 64 200709 0 0 0 2873 90 0 0 16 0 13 0 153438410 1834467328 385059 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5584/tid=5588] ppid=5582 vsize=1791472 CPUtime=29.69 /proc/5584/task/5588/stat : 5588 (java) S 5582 5584 4597 0 -1 64 159824 0 0 0 2895 74 0 0 17 0 13 0 153438410 1834467328 385059 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5584/tid=5589] ppid=5582 vsize=1791472 CPUtime=0.06 /proc/5584/task/5589/stat : 5589 (java) S 5582 5584 4597 0 -1 64 23 0 0 0 4 2 0 0 16 0 13 0 153438414 1834467328 385059 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5584/tid=5590] ppid=5582 vsize=1791472 CPUtime=0 /proc/5584/task/5590/stat : 5590 (java) S 5582 5584 4597 0 -1 64 11 0 0 0 0 0 0 0 17 0 13 0 153438415 1834467328 385059 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5584/tid=5591] ppid=5582 vsize=1791472 CPUtime=0 /proc/5584/task/5591/stat : 5591 (java) S 5582 5584 4597 0 -1 64 6 0 0 0 0 0 0 0 17 0 13 0 153438415 1834467328 385059 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5584/tid=5592] ppid=5582 vsize=1791472 CPUtime=0 /proc/5584/task/5592/stat : 5592 (java) S 5582 5584 4597 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 153438432 1834467328 385059 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5584/tid=5593] ppid=5582 vsize=1791472 CPUtime=1.18 /proc/5584/task/5593/stat : 5593 (java) S 5582 5584 4597 0 -1 64 3128 0 2 0 117 1 0 0 16 0 13 0 153438432 1834467328 385059 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5584/tid=5594] ppid=5582 vsize=1791472 CPUtime=1.06 /proc/5584/task/5594/stat : 5594 (java) S 5582 5584 4597 0 -1 64 1269 0 2 0 106 0 0 0 17 0 13 0 153438432 1834467328 385059 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5584/tid=5595] ppid=5582 vsize=1791472 CPUtime=0 /proc/5584/task/5595/stat : 5595 (java) S 5582 5584 4597 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 153438432 1834467328 385059 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5584/tid=5596] ppid=5582 vsize=1791472 CPUtime=0 /proc/5584/task/5596/stat : 5596 (java) S 5582 5584 4597 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 153438432 1834467328 385059 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5584/tid=5597] ppid=5582 vsize=1791472 CPUtime=0 /proc/5584/task/5597/stat : 5597 (java) S 5582 5584 4597 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 153459809 1834467328 385059 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 337.04 Current children cumulated vsize (KiB) 1791472 [startup+311.102 s] /proc/loadavg: 1.06 1.22 1.18 2/78 5597 /proc/meminfo: memFree=16320/2055920 swapFree=4145260/4192956 [pid=5584] ppid=5582 vsize=1791472 CPUtime=337.84 /proc/5584/stat : 5584 (java) S 5582 5584 4597 0 -1 0 403573 0 54 0 33552 232 0 0 18 0 13 0 153438143 1834467328 385059 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/5584/statm: 447868 385059 1333 9 0 445480 0 [pid=5584/tid=5586] ppid=5582 vsize=1791472 CPUtime=276.13 /proc/5584/task/5586/stat : 5586 (java) R 5582 5584 4597 0 -1 64 37932 0 18 0 27553 60 0 0 25 0 13 0 153438229 1834467328 385059 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109889891 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5584/tid=5587] ppid=5582 vsize=1791472 CPUtime=29.63 /proc/5584/task/5587/stat : 5587 (java) S 5582 5584 4597 0 -1 64 200709 0 0 0 2873 90 0 0 16 0 13 0 153438410 1834467328 385059 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5584/tid=5588] ppid=5582 vsize=1791472 CPUtime=29.69 /proc/5584/task/5588/stat : 5588 (java) S 5582 5584 4597 0 -1 64 159824 0 0 0 2895 74 0 0 17 0 13 0 153438410 1834467328 385059 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5584/tid=5589] ppid=5582 vsize=1791472 CPUtime=0.06 /proc/5584/task/5589/stat : 5589 (java) S 5582 5584 4597 0 -1 64 23 0 0 0 4 2 0 0 16 0 13 0 153438414 1834467328 385059 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5584/tid=5590] ppid=5582 vsize=1791472 CPUtime=0 /proc/5584/task/5590/stat : 5590 (java) S 5582 5584 4597 0 -1 64 11 0 0 0 0 0 0 0 17 0 13 0 153438415 1834467328 385059 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5584/tid=5591] ppid=5582 vsize=1791472 CPUtime=0 /proc/5584/task/5591/stat : 5591 (java) S 5582 5584 4597 0 -1 64 6 0 0 0 0 0 0 0 17 0 13 0 153438415 1834467328 385059 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5584/tid=5592] ppid=5582 vsize=1791472 CPUtime=0 /proc/5584/task/5592/stat : 5592 (java) S 5582 5584 4597 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 153438432 1834467328 385059 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5584/tid=5593] ppid=5582 vsize=1791472 CPUtime=1.18 /proc/5584/task/5593/stat : 5593 (java) S 5582 5584 4597 0 -1 64 3128 0 2 0 117 1 0 0 16 0 13 0 153438432 1834467328 385059 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5584/tid=5594] ppid=5582 vsize=1791472 CPUtime=1.06 /proc/5584/task/5594/stat : 5594 (java) S 5582 5584 4597 0 -1 64 1269 0 2 0 106 0 0 0 17 0 13 0 153438432 1834467328 385059 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5584/tid=5595] ppid=5582 vsize=1791472 CPUtime=0 /proc/5584/task/5595/stat : 5595 (java) S 5582 5584 4597 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 153438432 1834467328 385059 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5584/tid=5596] ppid=5582 vsize=1791472 CPUtime=0 /proc/5584/task/5596/stat : 5596 (java) S 5582 5584 4597 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 153438432 1834467328 385059 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5584/tid=5597] ppid=5582 vsize=1791472 CPUtime=0 /proc/5584/task/5597/stat : 5597 (java) S 5582 5584 4597 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 153459809 1834467328 385059 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 337.84 Current children cumulated vsize (KiB) 1791472 [startup+311.902 s] /proc/loadavg: 1.06 1.22 1.18 2/78 5597 /proc/meminfo: memFree=16320/2055920 swapFree=4145260/4192956 [pid=5584] ppid=5582 vsize=1791472 CPUtime=338.65 /proc/5584/stat : 5584 (java) S 5582 5584 4597 0 -1 0 403581 0 55 0 33632 233 0 0 18 0 12 0 153438143 1834467328 385067 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/5584/statm: 447868 385067 1334 9 0 445480 0 [pid=5584/tid=5586] ppid=5582 vsize=1791472 CPUtime=276.37 /proc/5584/task/5586/stat : 5586 (java) S 5582 5584 4597 0 -1 64 37936 0 18 0 27577 60 0 0 16 0 12 0 153438229 1834467328 385067 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5584/tid=5587] ppid=5582 vsize=1791472 CPUtime=29.63 /proc/5584/task/5587/stat : 5587 (java) S 5582 5584 4597 0 -1 64 200709 0 0 0 2873 90 0 0 16 0 12 0 153438410 1834467328 385067 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5584/tid=5588] ppid=5582 vsize=1791472 CPUtime=29.69 /proc/5584/task/5588/stat : 5588 (java) S 5582 5584 4597 0 -1 64 159824 0 0 0 2895 74 0 0 17 0 12 0 153438410 1834467328 385067 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5584/tid=5589] ppid=5582 vsize=1791472 CPUtime=0.06 /proc/5584/task/5589/stat : 5589 (java) S 5582 5584 4597 0 -1 64 23 0 0 0 4 2 0 0 16 0 12 0 153438414 1834467328 385067 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5584/tid=5590] ppid=5582 vsize=1791472 CPUtime=0 /proc/5584/task/5590/stat : 5590 (java) S 5582 5584 4597 0 -1 64 11 0 0 0 0 0 0 0 17 0 12 0 153438415 1834467328 385067 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5584/tid=5591] ppid=5582 vsize=1791472 CPUtime=0 /proc/5584/task/5591/stat : 5591 (java) S 5582 5584 4597 0 -1 64 6 0 0 0 0 0 0 0 17 0 12 0 153438415 1834467328 385067 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5584/tid=5592] ppid=5582 vsize=1791472 CPUtime=0 /proc/5584/task/5592/stat : 5592 (java) S 5582 5584 4597 0 -1 64 1 0 0 0 0 0 0 0 19 0 12 0 153438432 1834467328 385067 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5584/tid=5593] ppid=5582 vsize=1791472 CPUtime=1.26 /proc/5584/task/5593/stat : 5593 (java) S 5582 5584 4597 0 -1 64 3130 0 2 0 125 1 0 0 17 0 12 0 153438432 1834467328 385067 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5584/tid=5594] ppid=5582 vsize=1791472 CPUtime=1.11 /proc/5584/task/5594/stat : 5594 (java) S 5582 5584 4597 0 -1 64 1269 0 2 0 111 0 0 0 16 0 12 0 153438432 1834467328 385067 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5584/tid=5595] ppid=5582 vsize=1791472 CPUtime=0 /proc/5584/task/5595/stat : 5595 (java) S 5582 5584 4597 0 -1 64 1 0 0 0 0 0 0 0 21 0 12 0 153438432 1834467328 385067 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5584/tid=5596] ppid=5582 vsize=1791472 CPUtime=0 /proc/5584/task/5596/stat : 5596 (java) S 5582 5584 4597 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 153438432 1834467328 385067 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 338.65 Current children cumulated vsize (KiB) 1791472 [startup+312.102 s] /proc/loadavg: 1.06 1.22 1.18 2/78 5597 /proc/meminfo: memFree=16320/2055920 swapFree=4145260/4192956 [pid=5584] ppid=5582 vsize=0 CPUtime=338.84 /proc/5584/stat : 5584 (java) Z 5582 5584 4597 0 -1 1036 403584 0 55 0 33632 252 0 0 16 0 2 0 153438143 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/5584/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 338.84 Current children cumulated vsize (KiB) 0 Child status: 10 Real time (s): 312.159 CPU time (s): 338.9 CPU user time (s): 336.326 CPU system time (s): 2.57461 CPU usage (%): 108.567 Max. virtual memory (cumulated for all children) (KiB): 1791928 getrusage(RUSAGE_CHILDREN,...) data: user time used= 336.326 system time used= 2.57461 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 403584 page faults= 55 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 10839 involuntary context switches= 4369 runsolver used 0.32795 second user time and 0.895863 second system time The end
Begin job on node27 on Tue Apr 24 09:37:02 UTC 2007 IDJOB= 419345 IDBENCH= 47767 IDSOLVER= 160 FILE ID= node27/419345-1177407394 PBS_JOBID= 4675580 Free space on /tmp= 65878 MiB SOLVER NAME= sat4jPseudoCP 2007-03-23 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/PURE-SAT/SAT07/industrial/vliw_sat_4.0/9vliw_m_9stages_iq3_C1_bug6.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/419345-1177407394/sat4jPseudoCP.jar /tmp/evaluation/419345-1177407394/instance-419345-1177407394.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node27/watcher-419345-1177407394 -o ROOT/results/node27/solver-419345-1177407394 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/419345-1177407394/sat4jPseudoCP.jar /tmp/evaluation/419345-1177407394/instance-419345-1177407394.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 27228c198c2192df96e63350c0547ff0 RANDOM SEED= 163808930 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node27.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.213 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 : 5931.00 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.213 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: 1432440 kB Buffers: 1548 kB Cached: 566964 kB SwapCached: 4252 kB Active: 527356 kB Inactive: 45752 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1432440 kB SwapTotal: 4192956 kB SwapFree: 4145252 kB Dirty: 287480 kB Writeback: 0 kB Mapped: 10560 kB Slab: 36328 kB Committed_AS: 2172252 kB PageTables: 1496 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= 65878 MiB End job on node27 on Tue Apr 24 09:42:15 UTC 2007