Trace number 3736116

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB07: PB-clasp 2007-04-10SAT (TO)52 1802.06 1802.42

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/
area_partials/normalized-fir08_area_partials.opb
MD5SUM7a3c9826bd8191760f7756d2d26889fa
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark49
Best CPU time to get the best result obtained on this benchmark7.02093
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 49
Optimality of the best value was proved YES
Number of variables40727
Total number of constraints174550
Number of constraints which are clauses174550
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint1018
Number of terms in the objective function 1821
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1821
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1821
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

8.17/8.28	o 174
10.47/10.52	o 164
12.68/12.75	o 163
14.69/14.70	o 162
16.57/16.65	o 161
18.49/18.58	o 160
20.40/20.45	o 159
22.30/22.32	o 158
24.11/24.19	o 157
26.02/26.05	o 156
27.92/27.93	o 155
29.74/29.79	o 154
31.63/31.65	o 153
33.54/33.52	o 152
35.35/35.39	o 151
37.24/37.25	o 150
39.14/39.12	o 149
40.95/40.98	o 148
42.86/42.85	o 147
44.75/44.71	o 146
46.57/46.57	o 145
48.47/48.42	o 144
50.26/50.27	o 143
52.17/52.13	o 142
54.08/54.00	o 141
55.87/55.86	o 140
57.76/57.71	o 139
59.57/59.57	o 138
61.46/61.42	o 137
63.26/63.27	o 136
65.18/65.12	o 135
66.97/66.96	o 134
68.89/68.81	o 133
70.70/70.65	o 132
72.49/72.50	o 131
74.40/74.34	o 130
76.18/76.18	o 129
78.10/78.02	o 128
79.90/79.85	o 127
81.69/81.69	o 126
83.60/83.53	o 125
85.39/85.38	o 124
87.30/87.22	o 123
89.10/89.06	o 122
91.01/90.90	o 121
92.80/92.74	o 120
94.62/94.57	o 119
96.53/96.40	o 118
98.33/98.22	o 117
100.12/100.04	o 116
101.91/101.87	o 115
103.83/103.71	o 114
105.62/105.54	o 113
107.41/107.36	o 112
109.22/109.18	o 111
111.01/111.00	o 110
112.92/112.83	o 109
114.72/114.66	o 108
116.53/116.50	o 107
118.44/118.32	o 106
120.23/120.11	o 105
122.03/121.93	o 104
123.84/123.73	o 103
125.65/125.56	o 102
127.44/127.37	o 101
129.22/129.18	o 100
131.15/131.00	o 99
132.94/132.82	o 98
134.75/134.62	o 97
136.56/136.41	o 96
138.35/138.21	o 95
140.02/139.99	o 94
141.84/141.79	o 93
143.74/143.61	o 92
145.56/145.43	o 91
147.34/147.27	o 90
149.14/149.09	o 89
151.03/150.91	o 88
152.84/152.72	o 87
154.64/154.52	o 86
156.44/156.32	o 85
158.24/158.13	o 84
160.05/159.92	o 83
161.86/161.71	o 82
163.65/163.50	o 81
165.45/165.30	o 80
167.16/167.08	o 79
168.97/168.88	o 78
170.80/170.72	o 77
172.61/172.50	o 76
174.30/174.27	o 75
176.11/176.05	o 74
177.91/177.83	o 73
184.09/184.10	o 72
238.48/238.43	o 71
245.47/245.45	o 70
257.18/257.12	o 69
265.59/265.51	o 68
282.07/282.00	o 67
295.38/295.34	o 66
300.60/300.68	o 65
302.44/302.56	o 64
321.05/321.19	o 63
344.34/344.45	o 62
360.06/360.10	o 61
402.23/402.33	o 60
431.40/431.57	o 59
442.50/442.64	o 58
448.32/448.47	o 57
489.10/489.28	o 56
524.49/524.62	o 55
567.39/567.52	o 54
687.16/687.34	o 53
1318.94/1319.27	o 52
1563.29/1563.61	sh: line 1: 24457 Done                    cat HOME/temp/instance-3736116-1338729771.opb.op
1563.29/1563.61	     24458 Terminated              | clasp-1.0 --trans=no > HOME/temp/instance-3736116-1338729771.opb.clasp
1800.06/1800.40	sh: line 1: 24477 Done                    cat HOME/temp/instance-3736116-1338729771.opb.op
1800.06/1800.40	     24478 Terminated              | clasp-1.0 --trans=no > HOME/temp/instance-3736116-1338729771.opb.clasp
1800.06/1800.41	c Somebody sent me a SIGTERM
1800.06/1800.41	s SATISFIABLE
1800.06/1800.41	v x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x21 x22 x23 x24 x26 x27 x28 x29 x30 x31 x48 x49 x50 x93 x104 x105 x125 x288 x323 x324 x353 x365 x1298 x1317 x1318 x1328 x1367 x1369 x1371 x1373 x1375 x1378 x1384 x1385 x1393 x1404 x1407 x1417 x1418 x1419 x1425 x1435 x1446 x1456 x1460 x1464 x1470 x1473 x1477 x1484 x1490 x1495 x1502 x1503 x1504 x1507 x1519 x1523 x1537 x1541 x1542 x1548 x1555 x1577 x1582 x1587 x1591 x1599 x1600 x1604 x1616 x1619 x1649 x1656 x1657 x1660 x1664 x1673 x1683 x1686 x1737 x1744 x1751 x1755 x1758 x1784 x1802 x1806 x1819 x1828 x1834 x1839 x1842 x1858 x1862 x1911 x1912 x1921 x1964 x2010 x2025 x2040 x2050 x2059 x2098 x2169 x2174 x2177 x2194 x2202 x2216 x2225 x2237 x2259 x2264 x2278 x2449 x2455 x2459 x2460 x2468 x2512 x2515 x2522 x2636 x2640 x2646 x2677 x2685 x2691 x2705 x2713 x2732 x2866 x2873 x2915 x2920 x2931 x2947 x2971 x3023 x3038 x3042 x3052 x3056 x3169 x3197 x3211 x3226 x3251 x3274 x3291 x3307 x3315 x3413 x3485 x3575 x3578 x3583 x3656 x3660 x3668 x3689 x3694 x3707 x3802 x3826 x3830 x3832 x3836 x3947 x3985 x4001 x4004 x4008 x4017 x4110 x4126 x4137 x4257 x4271 x4282 x4286 x4322 x4328 x4362 x4367 x4381 x4391 x4420 x4423 x4429 x4432 x4451 x4477 x4490 x4497 x4501 x4514 x4517 x4523 x4586 x4605 x4648 x4703 x4719 x4723 x5338 x5357 x5376 x6443 x6445 x6452 x6652 x6807 x7037 x7042 x7160 x7178 x7193 x7412 x7416 x7502 x7548 x7552 x8339 x8343 x8568 x8830 x9059 x9092 x9379 x9386 x9497 x9613 x9616 x9660 x9902 x10062 x10426 x10582 x10837 x10873 x11461 x11475 x11531 x11550 x11674 x11682 x11767 x11770 x12184 x12590 x12895 x12903 x13094 x13307 x13487 x13758 x13884 x14036 x14121 x14138 x14234 x15031 x15152 x15231 x15638 x15674 x15680 x15683 x15691 x16085 x16089 x16113 x16361 x16451 x16455 x16666 x16778 x17136 x17201 x17240 x17282 x17286 x17376 x17385 x17506 x17510 x17645 x18498 x18508 x18515 x18518 x18584 x18820 x18849 x18917 x18949 x19208 x19219 x19312 x19576 x19590 x20109 x20113 x20294 x20300 x20891 x21751 x21765 x21810 x21950 x21987 x22677 x22761 x22767 x22772 x22848 x23195 x23288 x23606 x23928 x24160 x24404 x24412 x24418 x24444 x24682 x24714 x24788 x25163 x25172 x25320 x25475 x25479 x25667 x25690 x25935 x25938 x25948 x26008 x26107 x26169 x26181 x26187 x26233 x26634 x26643 x26682 x26825 x26972 x27321 x27893 x27905 x28454 x28511 x28542 x28881 x28895 x28919 x28967 x29014 x29114 x29120 x29416 x29511 x30118 x30288 x30356 x30388 x30527 x30636 x30714 x30719 x30803 x30919 x30969 x30980 x31037 x31143 x31165 x31168 x31171 x31262 x32172 x32175 x32186 x32190 x32272 x32321 x32415 x32611 x32648 x32655 x32914 x33790 x33806 x33837 x34368 x34380 x34387 x34464 x34474 x34478 x34599 x34800 x34842 x34985 x35449 x35995 x36019 x36559 x36649 x36689 x36764 x36891 x37063 x37291 x37838 x38971 x39070 x39774 x39877 x39929 x40066 x40420 x40450 x40487 x40547 x40576 x40591 x40608 x40611 x40614 x40646 x40654 x40659 x40664 x40675 x40680 x40699 x40719 
1800.06/1800.41	pb2clasp1: no process killed

Verifier Data 

OK	52

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3736116-1338729771/watcher-3736116-1338729771 -o /tmp/evaluation-result-3736116-1338729771/solver-3736116-1338729771 -C 1800 -W 1900 -M 15500 pbclasp instance-3736116-1338729771.opb HOME/temp 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 23522
/proc/meminfo: memFree=23396348/32873844 swapFree=7112/7112
[pid=23522] ppid=23520 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/23522/stat : 23522 (pbclasp) R 23520 23522 27890 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 339105687 26492928 539 33554432000 4194304 4198148 140734746212032 140734450420296 235374350228 0 0 4224 16384 0 0 0 17 1 0 0 0 0 0
/proc/23522/statm: 6468 541 356 1 0 263 0

[startup+0.0124089 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 23522
/proc/meminfo: memFree=23396348/32873844 swapFree=7112/7112
[pid=23522] ppid=23520 vsize=26396 CPUtime=0.01 cores=1,3,5,7
/proc/23522/stat : 23522 (pbclasp) R 23520 23522 27890 0 -1 4202496 759 0 0 0 1 0 0 0 20 0 1 0 339105687 27029504 689 33554432000 4194304 4198148 140734746212032 140734450420296 235374350228 0 0 4224 16384 0 0 0 17 1 0 0 0 0 0
/proc/23522/statm: 6599 690 356 1 0 394 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 26396

[startup+0.100199 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 23522
/proc/meminfo: memFree=23396348/32873844 swapFree=7112/7112
[pid=23522] ppid=23520 vsize=27452 CPUtime=0.03 cores=1,3,5,7
/proc/23522/stat : 23522 (pbclasp) S 23520 23522 27890 0 -1 4202496 1051 0 0 0 3 0 0 0 20 0 1 0 339105687 28110848 964 33554432000 4194304 4198148 140734746212032 140734746210920 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/23522/statm: 6863 964 369 1 0 658 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 27452

[startup+0.300177 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 23522
/proc/meminfo: memFree=23396348/32873844 swapFree=7112/7112
[pid=23522] ppid=23520 vsize=27452 CPUtime=0.03 cores=1,3,5,7
/proc/23522/stat : 23522 (pbclasp) S 23520 23522 27890 0 -1 4202496 1051 0 0 0 3 0 0 0 20 0 1 0 339105687 28110848 964 33554432000 4194304 4198148 140734746212032 140734746210920 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/23522/statm: 6863 964 369 1 0 658 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 27452

[startup+0.700179 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 23522
/proc/meminfo: memFree=23396348/32873844 swapFree=7112/7112
[pid=23522] ppid=23520 vsize=27452 CPUtime=0.03 cores=1,3,5,7
/proc/23522/stat : 23522 (pbclasp) S 23520 23522 27890 0 -1 4202496 1051 0 0 0 3 0 0 0 20 0 1 0 339105687 28110848 964 33554432000 4194304 4198148 140734746212032 140734746210920 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/23522/statm: 6863 964 369 1 0 658 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 27452

[startup+1.50025 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 23525
/proc/meminfo: memFree=23391820/32873844 swapFree=7112/7112
[pid=23522] ppid=23520 vsize=27452 CPUtime=0.03 cores=1,3,5,7
/proc/23522/stat : 23522 (pbclasp) S 23520 23522 27890 0 -1 4202496 1051 0 0 0 3 0 0 0 20 0 1 0 339105687 28110848 964 33554432000 4194304 4198148 140734746212032 140734746210920 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/23522/statm: 6863 964 369 1 0 658 0
[pid=23524] ppid=23522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23524/stat : 23524 (sh) S 23522 23522 27890 0 -1 4202496 351 0 0 0 0 0 0 0 20 0 1 0 339105691 9367552 267 33554432000 4194304 5064252 140735585990608 140735585989488 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23524/statm: 2287 267 226 213 0 72 0
[pid=23525] ppid=23524 vsize=25856 CPUtime=1.45 cores=1,3,5,7
/proc/23525/stat : 23525 (pb2clasp1) R 23524 23522 27890 0 -1 4202496 663 0 0 0 145 0 0 0 20 0 1 0 339105691 26476544 573 33554432000 4194304 4198148 140734444121376 140734444111912 235387500887 0 0 4224 0 0 0 0 17 1 0 0 0 0 0
/proc/23525/statm: 6464 573 378 1 0 259 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 62456

[startup+3.10026 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 23525
/proc/meminfo: memFree=23389712/32873844 swapFree=7112/7112
[pid=23522] ppid=23520 vsize=27452 CPUtime=0.03 cores=1,3,5,7
/proc/23522/stat : 23522 (pbclasp) S 23520 23522 27890 0 -1 4202496 1051 0 0 0 3 0 0 0 20 0 1 0 339105687 28110848 964 33554432000 4194304 4198148 140734746212032 140734746210920 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/23522/statm: 6863 964 369 1 0 658 0
[pid=23524] ppid=23522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23524/stat : 23524 (sh) S 23522 23522 27890 0 -1 4202496 351 0 0 0 0 0 0 0 20 0 1 0 339105691 9367552 267 33554432000 4194304 5064252 140735585990608 140735585989488 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23524/statm: 2287 267 226 213 0 72 0
[pid=23525] ppid=23524 vsize=25856 CPUtime=3.05 cores=1,3,5,7
/proc/23525/stat : 23525 (pb2clasp1) R 23524 23522 27890 0 -1 4202496 663 0 0 0 305 0 0 0 20 0 1 0 339105691 26476544 573 33554432000 4194304 4198148 140734444121376 140734444120360 235378107632 0 0 4224 0 0 0 0 17 1 0 0 0 0 0
/proc/23525/statm: 6464 573 378 1 0 259 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 62456

[startup+6.30026 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 23525
/proc/meminfo: memFree=23386388/32873844 swapFree=7112/7112
[pid=23522] ppid=23520 vsize=27584 CPUtime=6.06 cores=1,3,5,7
/proc/23522/stat : 23522 (pbclasp) S 23520 23522 27890 0 -1 4202496 1197 2165 0 0 4 0 600 2 20 0 1 0 339105687 28246016 1020 33554432000 4194304 4198148 140734746212032 140734746210960 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23522/statm: 6896 1020 387 1 0 691 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 27584

[startup+12.7002 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 23548
/proc/meminfo: memFree=23294924/32873844 swapFree=7112/7112
[pid=23522] ppid=23520 vsize=27716 CPUtime=10.53 cores=1,3,5,7
/proc/23522/stat : 23522 (pbclasp) S 23520 23522 27890 0 -1 4202496 1530 49470 0 0 4 0 1032 17 20 0 1 0 339105687 28381184 1030 33554432000 4194304 4198148 140734746212032 140734746210960 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23522/statm: 6929 1030 387 1 0 724 0
[pid=23546] ppid=23522 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/23546/stat : 23546 (sh) S 23522 23522 27890 0 -1 4202496 375 220 0 0 0 0 0 1 20 0 1 0 339106741 9367552 263 33554432000 4194304 5064252 140734287139392 140734287137648 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/23546/statm: 2287 263 223 213 0 72 0
[pid=23548] ppid=23546 vsize=86008 CPUtime=2.14 cores=1,3,5,7
/proc/23548/stat : 23548 (clasp-1.0) R 23546 23522 27890 0 -1 4202496 21527 0 0 0 210 4 0 0 20 0 1 0 339106741 88072192 20627 33554432000 134512640 134847168 4289055936 4289054704 134617496 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23548/statm: 21502 20627 272 82 0 20743 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 122872

[startup+25.5004 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 23604
/proc/meminfo: memFree=23310616/32873844 swapFree=7112/7112
[pid=23522] ppid=23520 vsize=27716 CPUtime=24.24 cores=1,3,5,7
/proc/23522/stat : 23522 (pbclasp) S 23520 23522 27890 0 -1 4202496 2430 214265 0 0 7 1 2346 70 20 0 1 0 339105687 28381184 1030 33554432000 4194304 4198148 140734746212032 140734746210960 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23522/statm: 6929 1030 387 1 0 724 0
[pid=23602] ppid=23522 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/23602/stat : 23602 (sh) S 23522 23522 27890 0 -1 4202496 377 221 0 0 0 0 0 1 20 0 1 0 339108108 9367552 264 33554432000 4194304 5064252 140736501663472 140736501661728 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23602/statm: 2287 264 223 213 0 72 0
[pid=23604] ppid=23602 vsize=88184 CPUtime=1.28 cores=1,3,5,7
/proc/23604/stat : 23604 (clasp-1.0) R 23602 23522 27890 0 -1 4202496 20453 0 0 0 124 4 0 0 20 0 1 0 339108108 90300416 20525 33554432000 134512640 134847168 4287027360 4287025964 1352156 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/23604/statm: 22046 20525 264 82 0 21287 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 125048

[startup+51.1004 s]
/proc/loadavg: 2.13 2.04 2.01 3/180 23717
/proc/meminfo: memFree=23352464/32873844 swapFree=7112/7112
[pid=23522] ppid=23520 vsize=27716 CPUtime=50.38 cores=1,3,5,7
/proc/23522/stat : 23522 (pbclasp) S 23520 23522 27890 0 -1 4202496 4253 542702 0 0 13 2 4847 176 20 0 1 0 339105687 28381184 1030 33554432000 4194304 4198148 140734746212032 140734746210960 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23522/statm: 6929 1030 387 1 0 724 0
[pid=23715] ppid=23522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23715/stat : 23715 (sh) S 23522 23522 27890 0 -1 4202496 375 0 0 0 0 0 0 0 20 0 1 0 339110716 9367552 264 33554432000 4194304 5064252 140736077469936 140736077468192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/23715/statm: 2287 264 223 213 0 72 0
[pid=23716] ppid=23715 vsize=4004 CPUtime=0 cores=1,3,5,7
/proc/23716/stat : 23716 (cat) S 23715 23522 27890 0 -1 4202496 211 0 0 0 0 0 0 0 20 0 1 0 339110716 4100096 122 33554432000 4194304 4236627 140733585755408 140733585754504 235374724576 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/23716/statm: 1001 122 97 11 0 67 0
[pid=23717] ppid=23715 vsize=42064 CPUtime=0.79 cores=1,3,5,7
/proc/23717/stat : 23717 (clasp-1.0) R 23715 23522 27890 0 -1 4202496 9935 0 0 0 77 2 0 0 20 0 1 0 339110716 43073536 9832 33554432000 134512640 134847168 4286644896 4286640672 1628655 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23717/statm: 10516 9832 250 82 0 9757 0
Current children cumulated CPU time (s) 51.17
Current children cumulated vsize (KiB) 82932

[startup+102.306 s]
/proc/loadavg: 2.05 2.03 2.00 3/180 23943
/proc/meminfo: memFree=23344504/32873844 swapFree=7112/7112
[pid=23522] ppid=23520 vsize=27716 CPUtime=102.04 cores=1,3,5,7
/proc/23522/stat : 23522 (pbclasp) S 23520 23522 27890 0 -1 4202496 7878 1203480 0 0 24 5 9797 378 20 0 1 0 339105687 28381184 1030 33554432000 4194304 4198148 140734746212032 140734746210960 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23522/statm: 6929 1030 387 1 0 724 0
[pid=23941] ppid=23522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23941/stat : 23941 (sh) S 23522 23522 27890 0 -1 4202496 375 0 0 0 0 0 0 0 20 0 1 0 339115876 9367552 264 33554432000 4194304 5064252 140737284486128 140737284484384 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/23941/statm: 2287 264 223 213 0 72 0
[pid=23942] ppid=23941 vsize=4004 CPUtime=0 cores=1,3,5,7
/proc/23942/stat : 23942 (cat) S 23941 23522 27890 0 -1 4202496 211 0 0 0 0 0 0 0 20 0 1 0 339115876 4100096 123 33554432000 4194304 4236627 140736525541232 140736525540328 235374724576 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/23942/statm: 1001 123 97 11 0 67 0
[pid=23943] ppid=23941 vsize=24392 CPUtime=0.39 cores=1,3,5,7
/proc/23943/stat : 23943 (clasp-1.0) R 23941 23522 27890 0 -1 4202496 5631 0 0 0 39 0 0 0 20 0 1 0 339115876 24977408 5529 33554432000 134512640 134847168 4288209104 4288204656 1582375 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23943/statm: 6098 5529 251 82 0 5339 0
Current children cumulated CPU time (s) 102.43
Current children cumulated vsize (KiB) 65260

[startup+162.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 24199
/proc/meminfo: memFree=23273640/32873844 swapFree=7112/7112
[pid=23522] ppid=23520 vsize=27716 CPUtime=161.9 cores=1,3,5,7
/proc/23522/stat : 23522 (pbclasp) S 23520 23522 27890 0 -1 4202496 12117 1985211 0 0 34 9 15534 613 20 0 1 0 339105687 28381184 1030 33554432000 4194304 4198148 140734746212032 140734746210960 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23522/statm: 6929 1030 387 1 0 724 0
Current children cumulated CPU time (s) 161.9
Current children cumulated vsize (KiB) 27716

[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 24287
/proc/meminfo: memFree=23271072/32873844 swapFree=7112/7112
[pid=23522] ppid=23520 vsize=27716 CPUtime=184.23 cores=1,3,5,7
/proc/23522/stat : 23522 (pbclasp) S 23520 23522 27890 0 -1 4202496 13430 2222569 0 0 37 10 17693 683 20 0 1 0 339105687 28381184 1033 33554432000 4194304 4198148 140734746212032 140734746210960 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23522/statm: 6929 1033 387 1 0 724 0
[pid=24285] ppid=23522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24285/stat : 24285 (sh) S 23522 23522 27890 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 339124099 9367552 263 33554432000 4194304 5064252 140734403108144 140734403106400 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24285/statm: 2287 263 223 213 0 72 0
[pid=24287] ppid=24285 vsize=86008 CPUtime=38.16 cores=1,3,5,7
/proc/24287/stat : 24287 (clasp-1.0) R 24285 23522 27890 0 -1 4202496 21670 0 0 0 3812 4 0 0 20 0 1 0 339124099 88072192 20798 33554432000 134512640 134847168 4294096224 4294094992 134617488 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24287/statm: 21502 20798 270 82 0 20743 0
Current children cumulated CPU time (s) 222.39
Current children cumulated vsize (KiB) 122872

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 24319
/proc/meminfo: memFree=23262824/32873844 swapFree=7112/7112
[pid=23522] ppid=23520 vsize=27716 CPUtime=282.12 cores=1,3,5,7
/proc/23522/stat : 23522 (pbclasp) S 23520 23522 27890 0 -1 4202496 14162 2340515 0 0 39 10 27445 718 20 0 1 0 339105687 28381184 1033 33554432000 4194304 4198148 140734746212032 140734746210960 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23522/statm: 6929 1033 387 1 0 724 0
Current children cumulated CPU time (s) 282.12

################
# More data... #
################

[pid=24456] ppid=23522 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/24456/stat : 24456 (sh) S 23522 23522 27890 0 -1 4202496 374 220 0 0 0 0 0 1 20 0 1 0 339237617 9367552 264 33554432000 4194304 5064252 140734611701696 140734611699952 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24456/statm: 2287 264 223 213 0 72 0
[pid=24458] ppid=24456 vsize=86008 CPUtime=162.94 cores=1,3,5,7
/proc/24458/stat : 24458 (clasp-1.0) R 24456 23522 27890 0 -1 4202496 21542 0 0 0 16292 2 0 0 20 0 1 0 339237617 88072192 20669 33554432000 134512640 134847168 4287199296 4287197984 134735816 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/24458/statm: 21502 20669 270 82 0 20743 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 122872

[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 24458
/proc/meminfo: memFree=23235724/32873844 swapFree=7112/7112
[pid=23522] ppid=23520 vsize=27716 CPUtime=1319.05 cores=1,3,5,7
/proc/23522/stat : 23522 (pbclasp) S 23520 23522 27890 0 -1 4202496 16190 2696881 0 0 45 12 131018 830 20 0 1 0 339105687 28381184 1033 33554432000 4194304 4198148 140734746212032 140734746210960 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23522/statm: 6929 1033 387 1 0 724 0
[pid=24456] ppid=23522 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/24456/stat : 24456 (sh) S 23522 23522 27890 0 -1 4202496 374 220 0 0 0 0 0 1 20 0 1 0 339237617 9367552 264 33554432000 4194304 5064252 140734611701696 140734611699952 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24456/statm: 2287 264 223 213 0 72 0
[pid=24458] ppid=24456 vsize=86008 CPUtime=222.93 cores=1,3,5,7
/proc/24458/stat : 24458 (clasp-1.0) R 24456 23522 27890 0 -1 4202496 21542 0 0 0 22291 2 0 0 20 0 1 0 339237617 88072192 20669 33554432000 134512640 134847168 4287199296 4287197988 134616619 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/24458/statm: 21502 20669 270 82 0 20743 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 122872

[startup+1602.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 24538
/proc/meminfo: memFree=23303172/32873844 swapFree=7112/7112
[pid=23522] ppid=23520 vsize=27716 CPUtime=1563.34 cores=1,3,5,7
/proc/23522/stat : 23522 (pbclasp) S 23520 23522 27890 0 -1 4202496 16295 2720371 0 0 45 12 155441 836 20 0 1 0 339105687 28381184 1033 33554432000 4194304 4198148 140734746212032 140734746210960 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23522/statm: 6929 1033 387 1 0 724 0
[pid=24476] ppid=23522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24476/stat : 24476 (sh) S 23522 23522 27890 0 -1 4202496 373 220 0 0 0 0 0 0 20 0 1 0 339262050 9367552 263 33554432000 4194304 5064252 140736857136832 140736857135088 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24476/statm: 2287 263 223 213 0 72 0
[pid=24478] ppid=24476 vsize=86008 CPUtime=38.64 cores=1,3,5,7
/proc/24478/stat : 24478 (clasp-1.0) R 24476 23522 27890 0 -1 4202496 21613 0 0 0 3860 4 0 0 20 0 1 0 339262050 88072192 20745 33554432000 134512640 134847168 4288857248 4288856016 134617547 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24478/statm: 21502 20745 270 82 0 20743 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 122872

[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/180 24549
/proc/meminfo: memFree=23300792/32873844 swapFree=7112/7112
[pid=23522] ppid=23520 vsize=27716 CPUtime=1563.34 cores=1,3,5,7
/proc/23522/stat : 23522 (pbclasp) S 23520 23522 27890 0 -1 4202496 16295 2720371 0 0 45 12 155441 836 20 0 1 0 339105687 28381184 1033 33554432000 4194304 4198148 140734746212032 140734746210960 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23522/statm: 6929 1033 387 1 0 724 0
[pid=24476] ppid=23522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24476/stat : 24476 (sh) S 23522 23522 27890 0 -1 4202496 373 220 0 0 0 0 0 0 20 0 1 0 339262050 9367552 263 33554432000 4194304 5064252 140736857136832 140736857135088 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24476/statm: 2287 263 223 213 0 72 0
[pid=24478] ppid=24476 vsize=86008 CPUtime=98.63 cores=1,3,5,7
/proc/24478/stat : 24478 (clasp-1.0) R 24476 23522 27890 0 -1 4202496 21614 0 0 0 9859 4 0 0 20 0 1 0 339262050 88072192 20745 33554432000 134512640 134847168 4288857248 4288855872 134784634 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24478/statm: 21502 20745 270 82 0 20743 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 122872

[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 24549
/proc/meminfo: memFree=23297508/32873844 swapFree=7112/7112
[pid=23522] ppid=23520 vsize=27716 CPUtime=1563.34 cores=1,3,5,7
/proc/23522/stat : 23522 (pbclasp) S 23520 23522 27890 0 -1 4202496 16295 2720371 0 0 45 12 155441 836 20 0 1 0 339105687 28381184 1033 33554432000 4194304 4198148 140734746212032 140734746210960 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23522/statm: 6929 1033 387 1 0 724 0
[pid=24476] ppid=23522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24476/stat : 24476 (sh) S 23522 23522 27890 0 -1 4202496 373 220 0 0 0 0 0 0 20 0 1 0 339262050 9367552 263 33554432000 4194304 5064252 140736857136832 140736857135088 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24476/statm: 2287 263 223 213 0 72 0
[pid=24478] ppid=24476 vsize=86008 CPUtime=158.62 cores=1,3,5,7
/proc/24478/stat : 24478 (clasp-1.0) R 24476 23522 27890 0 -1 4202496 21614 0 0 0 15858 4 0 0 20 0 1 0 339262050 88072192 20745 33554432000 134512640 134847168 4288857248 4288855940 134616619 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24478/statm: 21502 20745 270 82 0 20743 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 122872

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 24549
/proc/meminfo: memFree=23295148/32873844 swapFree=7112/7112
[pid=23522] ppid=23520 vsize=27716 CPUtime=1563.34 cores=1,3,5,7
/proc/23522/stat : 23522 (pbclasp) S 23520 23522 27890 0 -1 4202496 16295 2720371 0 0 45 12 155441 836 20 0 1 0 339105687 28381184 1033 33554432000 4194304 4198148 140734746212032 140734746210960 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23522/statm: 6929 1033 387 1 0 724 0
[pid=24476] ppid=23522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24476/stat : 24476 (sh) S 23522 23522 27890 0 -1 4202496 373 220 0 0 0 0 0 0 20 0 1 0 339262050 9367552 263 33554432000 4194304 5064252 140736857136832 140736857135088 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24476/statm: 2287 263 223 213 0 72 0
[pid=24478] ppid=24476 vsize=86008 CPUtime=218.61 cores=1,3,5,7
/proc/24478/stat : 24478 (clasp-1.0) R 24476 23522 27890 0 -1 4202496 21614 0 0 0 21857 4 0 0 20 0 1 0 339262050 88072192 20745 33554432000 134512640 134847168 4288857248 4288855872 134784651 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24478/statm: 21502 20745 270 82 0 20743 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 122872



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24549
/proc/meminfo: memFree=23293536/32873844 swapFree=7112/7112
[pid=23522] ppid=23520 vsize=27716 CPUtime=1563.34 cores=1,3,5,7
/proc/23522/stat : 23522 (pbclasp) S 23520 23522 27890 0 -1 4202496 16295 2720371 0 0 45 12 155441 836 20 0 1 0 339105687 28381184 1033 33554432000 4194304 4198148 140734746212032 140734746210960 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23522/statm: 6929 1033 387 1 0 724 0
[pid=24476] ppid=23522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24476/stat : 24476 (sh) S 23522 23522 27890 0 -1 4202496 373 220 0 0 0 0 0 0 20 0 1 0 339262050 9367552 263 33554432000 4194304 5064252 140736857136832 140736857135088 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24476/statm: 2287 263 223 213 0 72 0
[pid=24478] ppid=24476 vsize=86008 CPUtime=236.72 cores=1,3,5,7
/proc/24478/stat : 24478 (clasp-1.0) R 24476 23522 27890 0 -1 4202496 21614 0 0 0 23668 4 0 0 20 0 1 0 339262050 88072192 20745 33554432000 134512640 134847168 4288857248 4288855872 134784694 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24478/statm: 21502 20745 270 82 0 20743 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 122872

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -23522

Solver just ended. Dumping a history of the last processes samples

[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 24568
/proc/meminfo: memFree=23382756/32873844 swapFree=7112/7112
[pid=23522] ppid=23520 vsize=27716 CPUtime=1800.11 cores=1,3,5,7
/proc/23522/stat : 23522 (pbclasp) S 23520 23522 27890 0 -1 4202496 16474 2744768 0 0 45 12 179110 844 20 0 1 0 339105687 28381184 1033 33554432000 4194304 4198148 140734746212032 140734746210960 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23522/statm: 6929 1033 387 1 0 724 0
[pid=24566] ppid=23522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24566/stat : 24566 (sh) S 23522 23522 27890 0 -1 4202496 376 221 0 0 0 0 0 0 20 0 1 0 339285730 9367552 264 33554432000 4194304 5064252 140733620385488 140733620383744 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24566/statm: 2287 264 223 213 0 72 0
[pid=24568] ppid=24566 vsize=70192 CPUtime=0.95 cores=1,3,5,7
/proc/24568/stat : 24568 (clasp-1.0) R 24566 23522 27890 0 -1 4202496 16231 0 0 0 93 2 0 0 20 0 1 0 339285730 71876608 16235 33554432000 134512640 134847168 4292681168 4292679136 8419823 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24568/statm: 17548 16235 259 82 0 16789 0
Current children cumulated CPU time (s) 1801.06
Current children cumulated vsize (KiB) 107056

[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 24568
/proc/meminfo: memFree=23308796/32873844 swapFree=7112/7112
[pid=23522] ppid=23520 vsize=27716 CPUtime=1800.11 cores=1,3,5,7
/proc/23522/stat : 23522 (pbclasp) S 23520 23522 27890 0 -1 4202496 16474 2744768 0 0 45 12 179110 844 20 0 1 0 339105687 28381184 1033 33554432000 4194304 4198148 140734746212032 140734746210960 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23522/statm: 6929 1033 387 1 0 724 0
[pid=24566] ppid=23522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24566/stat : 24566 (sh) S 23522 23522 27890 0 -1 4202496 376 221 0 0 0 0 0 0 20 0 1 0 339285730 9367552 264 33554432000 4194304 5064252 140733620385488 140733620383744 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24566/statm: 2287 264 223 213 0 72 0
[pid=24568] ppid=24566 vsize=86008 CPUtime=1.75 cores=1,3,5,7
/proc/24568/stat : 24568 (clasp-1.0) R 24566 23522 27890 0 -1 4202496 21516 0 0 0 172 3 0 0 20 0 1 0 339285730 88072192 20615 33554432000 134512640 134847168 4292681168 4292679936 134617496 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24568/statm: 21502 20615 272 82 0 20743 0
Current children cumulated CPU time (s) 1801.86
Current children cumulated vsize (KiB) 122872

[startup+1802.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 24568
/proc/meminfo: memFree=23308796/32873844 swapFree=7112/7112
[pid=23522] ppid=23520 vsize=27716 CPUtime=1800.11 cores=1,3,5,7
/proc/23522/stat : 23522 (pbclasp) S 23520 23522 27890 0 -1 4202496 16474 2744768 0 0 45 12 179110 844 20 0 1 0 339105687 28381184 1033 33554432000 4194304 4198148 140734746212032 140734746210960 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23522/statm: 6929 1033 387 1 0 724 0
[pid=24566] ppid=23522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24566/stat : 24566 (sh) S 23522 23522 27890 0 -1 4202496 376 221 0 0 0 0 0 0 20 0 1 0 339285730 9367552 264 33554432000 4194304 5064252 140733620385488 140733620383744 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24566/statm: 2287 264 223 213 0 72 0
[pid=24568] ppid=24566 vsize=86008 CPUtime=1.95 cores=1,3,5,7
/proc/24568/stat : 24568 (clasp-1.0) R 24566 23522 27890 0 -1 4202496 21516 0 0 0 192 3 0 0 20 0 1 0 339285730 88072192 20615 33554432000 134512640 134847168 4292681168 4292679936 134617536 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24568/statm: 21502 20615 272 82 0 20743 0
Current children cumulated CPU time (s) 1802.06
Current children cumulated vsize (KiB) 122872

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23522 and gives
#  childrusage.ru_utime.tv_sec=1791
#  childrusage.ru_utime.tv_usec=558641
#  childrusage.ru_stime.tv_sec=8
#  childrusage.ru_stime.tv_usec=578695
# CPU time returned by wait4() is 1800.14
# while last known CPU time is 1802.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1802.42
CPU time (s): 1802.06
CPU user time (s): 1793.47
CPU system time (s): 8.59
CPU usage (%): 99.9799
Max. virtual memory (cumulated for all children) (KiB): 141064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.56
system time used= 8.57869
maximum resident set size= 100952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2762366
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1531392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 190179
involuntary context switches= 4896

runsolver used 8.02878 second user time and 12.7021 second system time

The end

Launcher Data 

Begin job on node104 at 2012-06-03 15:22:51
IDJOB=3736116
IDBENCH=25025
IDSOLVER=2317
FILE ID=node104/3736116-1338729771
RUNJOBID= node104-1338713258-27907
PBS_JOBID= 14636727
Free space on /tmp= 66428 MiB

SOLVER NAME= PB07: PB-clasp 2007-04-10
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_partials/normalized-fir08_area_partials.opb
COMMAND LINE= pbclasp BENCHNAMENOPATH TMPDIR/temp
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3736116-1338729771/watcher-3736116-1338729771 -o /tmp/evaluation-result-3736116-1338729771/solver-3736116-1338729771 -C 1800 -W 1900 -M 15500  pbclasp instance-3736116-1338729771.opb HOME/temp

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 7a3c9826bd8191760f7756d2d26889fa
RANDOM SEED=1123518479

node104.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.266
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.266
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.266
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.266
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.266
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.266
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.266
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.266
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        23396720 kB
Buffers:         1011136 kB
Cached:          7430996 kB
SwapCached:          708 kB
Active:          5254096 kB
Inactive:        3214932 kB
Active(anon):      17444 kB
Inactive(anon):     8092 kB
Active(file):    5236652 kB
Inactive(file):  3206840 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67105164 kB
Dirty:              6456 kB
Writeback:             0 kB
AnonPages:         30016 kB
Mapped:            16288 kB
Shmem:                 8 kB
Slab:             868808 kB
SReclaimable:     310084 kB
SUnreclaim:       558724 kB
KernelStack:        1456 kB
PageTables:         4300 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     130568 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3736116-1338729771.opb

Free space on /tmp at the end= 66416 MiB
End job on node104 at 2012-06-03 15:52:54