Trace number 453655

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, and are wall clock time (not CPU 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
PB-clasp 2007-03-23Wrong Cert. 1802.1 1803.33

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_25_2.opb
MD5SUMfaa00895e2f6f80e77634e2be522df62
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark12
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 12
Optimality of the best value was proved NO
Number of variables200
Total number of constraints200
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints200
Minimum length of a constraint26
Maximum length of a constraint45
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6220
Sum of products size (including duplicates)12440
Number of different products6220
Sum of products size12440

Quality of the solution as a function of time


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

Solver Data (download as text)

1.66/1.80	o 196
2.55/2.65	o 195
3.46/3.52	o 194
4.26/4.39	o 193
4.38/5.27	o 192
6.05/6.14	o 191
6.94/7.01	o 190
7.74/7.89	o 189
8.64/8.78	o 188
8.75/9.67	o 187
10.41/10.57	o 186
11.30/11.47	o 185
12.21/12.37	o 184
13.12/13.26	o 183
13.20/14.16	o 182
14.91/15.06	o 181
15.81/15.96	o 180
16.71/16.87	o 179
17.60/17.77	o 178
18.51/18.68	o 177
18.61/19.60	o 176
20.41/20.51	o 175
21.30/21.43	o 174
22.20/22.35	o 173
23.09/23.28	o 172
24.10/24.21	o 171
24.14/25.15	o 170
25.89/26.09	o 169
26.89/27.03	o 168
27.80/27.98	o 167
28.78/28.93	o 166
29.69/29.88	o 165
30.70/30.83	o 164
30.75/31.76	o 163
32.58/32.72	o 162
33.47/33.68	o 161
34.48/34.63	o 160
35.38/35.56	o 159
36.37/36.52	o 158
37.28/37.48	o 157
38.28/38.45	o 156
38.35/39.42	o 155
40.16/40.38	o 154
41.16/41.35	o 153
42.16/42.32	o 152
43.05/43.29	o 151
44.05/44.27	o 150
45.05/45.26	o 149
46.05/46.24	o 148
47.06/47.23	o 147
47.10/48.21	o 146
49.07/49.20	o 145
49.94/50.19	o 144
50.95/51.18	o 143
51.93/52.18	o 142
52.94/53.13	o 141
53.94/54.11	o 140
54.94/55.10	o 139
55.85/56.09	o 138
55.96/57.08	o 137
57.83/58.08	o 136
58.84/59.07	o 135
59.82/60.07	o 134
60.83/61.06	o 133
61.83/62.06	o 132
62.83/63.06	o 131
63.83/64.07	o 130
64.82/65.08	o 129
65.83/66.09	o 128
66.83/67.10	o 127
67.94/68.11	o 126
67.97/69.18	o 125
69.85/70.19	o 124
70.97/71.20	o 123
71.96/72.22	o 122
72.95/73.23	o 121
73.94/74.24	o 120
74.96/75.25	o 119
75.97/76.26	o 118
76.95/77.27	o 117
77.94/78.28	o 116
78.96/79.29	o 115
79.97/80.30	o 114
81.07/81.31	o 113
81.08/82.32	o 112
83.03/83.33	o 111
84.01/84.39	o 110
85.13/85.41	o 109
86.11/86.43	o 108
87.11/87.45	o 107
88.10/88.47	o 106
89.11/89.49	o 105
90.23/90.51	o 104
91.20/91.53	o 103
92.21/92.55	o 102
93.20/93.57	o 101
94.21/94.58	o 100
94.30/95.59	o 99
96.30/96.60	o 98
97.30/97.61	o 97
98.28/98.62	o 96
99.28/99.63	o 95
100.27/100.64	o 94
101.27/101.65	o 93
102.28/102.67	o 92
103.26/103.68	o 91
104.38/104.70	o 90
105.38/105.71	o 89
106.36/106.73	o 88
107.36/107.74	o 87
107.42/108.76	o 86
109.35/109.80	o 85
110.43/110.81	o 84
111.42/111.82	o 83
112.42/112.83	o 82
113.42/113.83	o 81
114.41/114.83	o 80
115.39/115.82	o 79
116.41/116.82	o 78
117.41/117.82	o 77
118.42/118.81	o 76
119.35/119.85	o 75
119.45/120.84	o 74
121.36/121.83	o 73
122.35/122.83	o 72
123.36/123.83	o 71
124.36/124.82	o 70
125.36/125.81	o 69
126.36/126.81	o 68
127.36/127.80	o 67
128.24/128.79	o 66
129.26/129.77	o 65
129.35/130.76	o 64
131.23/131.75	o 63
132.23/132.73	o 62
133.25/133.70	o 61
134.13/134.68	o 60
135.13/135.64	o 59
136.14/136.61	o 58
137.03/137.58	o 57
138.03/138.54	o 56
139.02/139.50	o 55
139.90/140.46	o 54
140.90/141.41	o 53
141.81/142.37	o 52
142.81/143.32	o 51
143.72/144.28	o 50
144.71/145.25	o 49
145.67/146.23	o 48
145.74/147.18	o 47
147.56/148.13	o 46
148.46/149.08	o 45
149.45/150.03	o 44
150.35/150.97	o 43
151.36/151.91	o 42
152.26/152.85	o 41
152.33/153.78	o 40
154.17/154.70	o 39
155.04/155.63	o 38
155.94/156.55	o 37
156.83/157.47	o 36
157.76/158.38	o 35
158.76/159.30	o 34
159.63/160.21	o 33
160.47/161.19	o 32
161.47/162.10	o 16
162.56/163.27	o 15
163.86/164.58	o 14
170.17/170.84	o 13
1800.09/1801.31	c Somebody sent me a SIGTERM
1800.09/1801.31	s SATISFIABLE
1800.09/1801.31	v x2 x3 x12 x18 x20 x23 x24 x26 x31 x40 x67 x101 x125 x221 x228 x319 x330 x331 x356 x363 x368 x396 x418 x422 x423 x454 x481 x482 x505
1800.09/1801.31	v x517 x564 x565 x566 x578 x595 x621 x690 x710 x711 x721 x728 x737 x751 x786 x794 x806 x815 x822 x832 x843 x854 x900 x921 x966 x969
1800.09/1801.31	v x1001 x1017 x1023 x1109 x1126 x1134 x1142 x1188 x1190 x1227 x1252 x1282 x1295 x1310 x1387 x1389 x1407 x1413 x1421 x1444 x1447
1800.09/1801.31	v x1451 x1460 x1485 x1510 x1513 x1515 x1520 x1540 x1555 x1558 x1594 x1599 x1605 x1618 x1627 x1698 x1701 x1703 x1726 x1731 x1735
1800.09/1801.31	v x1737 x1770 x1777 x1806 x1839 x1843 x1872 x1877 x1878 x1900 x1907 x1917 x1934 x1971 x1976 x2002 x2012 x2015 x2018 x2023 x2026
1800.09/1801.31	v x2053 x2055 x2056 x2077 x2086 x2087 x2117 x2121 x2122 x2126 x2134 x2135 x2161 x2186 x2194 x2221 x2228 x2230 x2234 x2266 x2292
1800.09/1801.31	v x2298 x2299 x2301 x2333 x2334 x2336 x2365 x2370 x2387 x2402 x2406 x2410 x2444 x2445 x2474 x2476 x2478 x2499 x2505 x2508 x2522
1800.09/1801.31	v x2536 x2537 x2567 x2571 x2591 x2632 x2653 x2670 x2690 x2713 x2735 x2771 x2787 x2812 x2817 x2838 x2849 x2872 x2877 x2880 x2883
1800.09/1801.31	v x2916 x2924 x2949 x2951 x2953 x2955 x2975 x2992 x3016 x3017 x3022 x3045 x3060 x3075 x3082 x3106 x3151 x3165 x3172 x3204 x3229
1800.09/1801.31	v x3234 x3236 x3268 x3273 x3294 x3295 x3296 x3314 x3326 x3355 x3358 x3380 x3399 x3428 x3431 x3463 x3492 x3493 x3520 x3522 x3524
1800.09/1801.31	v x3527 x3542 x3548 x3551 x3586 x3616 x3644 x3653 x3715 x3718 x3749 x3773 x3776 x3790 x3809 x3811 x3812 x3814 x3817 x3819 x3823
1800.09/1801.31	v x3831 x3841 x3843 x3868 x3873 x3898 x3899 x3935 x3956 x3960 x3962 x3985 x4012 x4016 x4047 x4055 x4080 x4102 x4116 x4141 x4167
1800.09/1801.31	v x4172 x4173 x4175 x4196 x4197 x4201 x4204 x4211 x4226 x4256 x4259 x4262 x4281 x4283 x4284 x4297 x4306 x4308 x4310 x4321 x4340
1800.09/1801.31	v x4342 x4362 x4369 x4418 x4428 x4447 x4448 x4472 x4475 x4502 x4505 x4512 x4531 x4533 x4538 x4574 x4588 x4614 x4645 x4648 x4649
1800.09/1801.31	v x4653 x4662 x4675 x4678 x4703 x4704 x4710 x4727 x4728 x4767 x4792 x4794 x4795 x4823 x4840 x4847 x4852 x4879 x4905 x4906 x4920
1800.09/1801.31	v x4926 x4930 x4966 x4985 x4987 x4999 x5011 x5035 x5039 x5061 x5064 x5066 x5076 x5097 x5098 x5105 x5121 x5123 x5151 x5153 x5176
1800.09/1801.31	v x5177 x5186 x5206 x5207 x5208 x5232 x5257 x5261 x5262 x5271 x5281 x5287 x5288 x5307 x5308 x5310 x5311 x5312 x5314 x5315 x5326
1800.09/1801.31	v x5348 x5361 x5385 x5397 x5401 x5411 x5413 x5417 x5429 x5438 x5466 x5494 x5497 x5518 x5523 x5525 x5543 x5546 x5553 x5559 x5571
1800.09/1801.31	v x5574 x5583 x5596 x5597 x5602 x5628 x5648 x5650 x5653 x5679 x5708 x5733 x5756 x5758 x5773 x5782 x5785 x5810 x5831 x5834 x5835
1800.09/1801.31	v x5859 x5883 x5884 x5911 x5912 x5936 x5959 x5961 x5963 x5969 x5984 x6028 x6047 x6061 x6062 x6092 x6094 x6103 x6106 x6118 x6126
1800.09/1801.31	v x6130 x6145 x6146 x6166 x6195 x6211 x6222 x6246 x6251 x6268 x6272 x6294 x6298 x6311 x6319 x6344 x6346 x6347 x6348 x6378 x6396
1800.09/1801.32	pb2clasp1: no process killed
172.21/1803.32	sh: line 1: 24381 Done                    cat /tmp/evaluation/453655-1178146409/temp/instance-453655-1178146409.opb.op
172.21/1803.32	     24382 Killed                  | clasp >/tmp/evaluation/453655-1178146409/temp/instance-453655-1178146409.opb.clasp

Verifier Data (download as text)

FAILED
ERROR: unsatisfied constraint on line 0
	0>=1

Falsified constraint is:
+1*~x1[=0]*x91[=0]+1*~x1[=0]*x120[=0]+1*~x1[=0]*x189[=0]+1*~x1[=0]*x176[=0]+1*~x1[=0]*x62[=0]+1*~x1[=0]*x99[=0]+1*~x1[=0]*x65[=0]+1*~x1[=0]*x78[=0]+1*~x1[=0]*x146[=0]+1*~x1[=0]*x28[=0]+1*~x1[=0]*x143[=0]+1*~x1[=0]*x180[=0]+1*~x1[=0]*x150[=0]+1*~x1[=0]*x94[=0]+1*~x1[=0]*x38[=0]+1*~x1[=0]*x50[=0]+1*~x1[=0]*x55[=0]+1*~x1[=0]*x174[=0]+1*~x1[=0]*x168[=0]+1*~x1[=0]*x131[=0]+1*~x1[=0]*x3[=1]+1*~x1[=0]*x173[=0]+1*~x1[=0]*x170[=0]+1*~x1[=0]*x116[=0]+1*~x1[=0]*x192[=0]+1*~x1[=0]*x8[=0]+1*~x1[=0]*x9[=0]+1*~x1[=0]*x23[=1]+1*~x1[=0]*x77[=0]+1*~x1[=0]*x83[=0]+1*~x1[=0]*x92[=0]+1*~x1[=0]*x127[=0]+1*~x1[=0]*x137[=0]+1*~x1[=0]*x139[=0]+1*~x1[=0]*x156[=0]+1*~x1[=0]*x159[=0]+1*~x1[=0]*x160[=0]+1*~x1[=0]*x182[=0]+1*~x1[=0]*x186[=0]+1*~x1[=0]*x199[=0]+1*x1[=0] >= 1

Conversion Script Data (download as text)

Linearizing /tmp/evaluation/453655-1178146409/instance-453655-1178146409.opb

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node6/watcher-453655-1178146409 -o ROOT/results/node6/solver-453655-1178146409 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-453655-1178146409.opb /tmp/evaluation/453655-1178146409/temp 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.99 0.97 0.94 3/77 22811
/proc/meminfo: memFree=1807728/2055924 swapFree=4146580/4192956
[pid=22811] ppid=22809 vsize=12268 CPUtime=0
/proc/22811/stat : 22811 (pbclasp) D 22809 22811 20935 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 290678559 12562432 317 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 268583008869 0 2147483391 4224 0 18446744072099781622 0 0 17 1 0 0
/proc/22811/statm: 3067 317 242 3 0 167 0

[startup+0.066312 s]
/proc/loadavg: 0.99 0.97 0.94 3/77 22811
/proc/meminfo: memFree=1807728/2055924 swapFree=4146580/4192956
[pid=22811] ppid=22809 vsize=12664 CPUtime=0
/proc/22811/stat : 22811 (pbclasp) S 22809 22811 20935 0 -1 4194304 550 0 0 0 0 0 0 0 16 0 1 0 290678559 12967936 503 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 268591738978 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0
/proc/22811/statm: 3166 503 324 3 0 266 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12664

[startup+0.101312 s]
/proc/loadavg: 0.99 0.97 0.94 3/77 22811
/proc/meminfo: memFree=1807728/2055924 swapFree=4146580/4192956
[pid=22811] ppid=22809 vsize=12664 CPUtime=0
/proc/22811/stat : 22811 (pbclasp) S 22809 22811 20935 0 -1 4194304 550 0 0 0 0 0 0 0 16 0 1 0 290678559 12967936 503 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 268591738978 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0
/proc/22811/statm: 3166 503 324 3 0 266 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12664

[startup+0.301336 s]
/proc/loadavg: 0.99 0.97 0.94 3/77 22811
/proc/meminfo: memFree=1807728/2055924 swapFree=4146580/4192956
[pid=22811] ppid=22809 vsize=12664 CPUtime=0
/proc/22811/stat : 22811 (pbclasp) S 22809 22811 20935 0 -1 4194304 550 0 0 0 0 0 0 0 16 0 1 0 290678559 12967936 503 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 268591738978 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0
/proc/22811/statm: 3166 503 324 3 0 266 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12664

[startup+0.701384 s]
/proc/loadavg: 0.99 0.97 0.94 3/77 22811
/proc/meminfo: memFree=1807728/2055924 swapFree=4146580/4192956
[pid=22811] ppid=22809 vsize=12664 CPUtime=0
/proc/22811/stat : 22811 (pbclasp) S 22809 22811 20935 0 -1 4194304 550 0 0 0 0 0 0 0 16 0 1 0 290678559 12967936 503 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 268591738978 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0
/proc/22811/statm: 3166 503 324 3 0 266 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12664

[startup+1.50148 s]
/proc/loadavg: 0.99 0.97 0.94 2/81 22821
/proc/meminfo: memFree=1805072/2055924 swapFree=4146580/4192956
[pid=22811] ppid=22809 vsize=12664 CPUtime=0.94
/proc/22811/stat : 22811 (pbclasp) S 22809 22811 20935 0 -1 4194304 640 1593 0 0 1 0 92 1 16 0 1 0 290678559 12967936 528 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/22811/statm: 3166 528 343 3 0 266 0
[pid=22819] ppid=22811 vsize=5356 CPUtime=0
/proc/22819/stat : 22819 (sh) S 22811 22811 20935 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 290678657 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22819/statm: 1339 225 188 169 0 50 0
[pid=22820] ppid=22819 vsize=2520 CPUtime=0
/proc/22820/stat : 22820 (cat) S 22819 22811 20935 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 290678657 2580480 87 18446744073709551615 4194304 4211220 548682069360 18446744073709551615 268583010530 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/22820/statm: 630 87 71 4 0 42 0
[pid=22821] ppid=22819 vsize=11540 CPUtime=0.51
/proc/22821/stat : 22821 (clasp) R 22819 22811 20935 0 -1 4194304 2553 0 0 0 51 0 0 0 25 0 1 0 290678657 11816960 2515 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134664799 0 0 4096 0 0 0 0 17 1 0 0
/proc/22821/statm: 2885 2515 181 154 0 2355 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 32080

[startup+3.10166 s]
/proc/loadavg: 0.99 0.97 0.94 2/81 22829
/proc/meminfo: memFree=1799760/2055924 swapFree=4146580/4192956
[pid=22811] ppid=22809 vsize=12664 CPUtime=2.64
/proc/22811/stat : 22811 (pbclasp) S 22809 22811 20935 0 -1 4194304 887 12631 0 0 1 0 254 9 16 0 1 0 290678559 12967936 533 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/22811/statm: 3166 533 343 3 0 266 0
Current children cumulated CPU time (s) 2.64
Current children cumulated vsize (KiB) 12664

[startup+6.30204 s]
/proc/loadavg: 0.99 0.97 0.94 2/81 22861
/proc/meminfo: memFree=1803280/2055924 swapFree=4146580/4192956
[pid=22811] ppid=22809 vsize=12664 CPUtime=6.13
/proc/22811/stat : 22811 (pbclasp) S 22809 22811 20935 0 -1 4194304 1355 35771 0 0 2 0 587 24 16 0 1 0 290678559 12967936 535 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/22811/statm: 3166 535 343 3 0 266 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 12664

[startup+12.7018 s]
/proc/loadavg: 0.99 0.97 0.94 2/81 22917
/proc/meminfo: memFree=1795664/2055924 swapFree=4146580/4192956
[pid=22811] ppid=22809 vsize=12664 CPUtime=12.32
/proc/22811/stat : 22811 (pbclasp) S 22809 22811 20935 0 -1 4194304 2182 77748 0 0 4 2 1175 51 16 0 1 0 290678559 12967936 537 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/22811/statm: 3166 537 343 3 0 266 0
Current children cumulated CPU time (s) 12.32
Current children cumulated vsize (KiB) 12664

[startup+25.5013 s]
/proc/loadavg: 0.99 0.97 0.94 2/81 23037
/proc/meminfo: memFree=1804368/2055924 swapFree=4146580/4192956
[pid=22811] ppid=22809 vsize=12664 CPUtime=25.07
/proc/22811/stat : 22811 (pbclasp) S 22809 22811 20935 0 -1 4194304 3908 166959 0 0 11 3 2385 108 16 0 1 0 290678559 12967936 543 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/22811/statm: 3166 543 343 3 0 266 0
[pid=23035] ppid=22811 vsize=5356 CPUtime=0
/proc/23035/stat : 23035 (sh) S 22811 22811 20935 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 290681077 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23035/statm: 1339 225 188 169 0 50 0
[pid=23036] ppid=23035 vsize=2520 CPUtime=0
/proc/23036/stat : 23036 (cat) S 23035 22811 20935 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 290681077 2580480 87 18446744073709551615 4194304 4211220 548682069360 18446744073709551615 268583010530 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/23036/statm: 630 87 71 4 0 42 0
[pid=23037] ppid=23035 vsize=8384 CPUtime=0.32
/proc/23037/stat : 23037 (clasp) R 23035 22811 20935 0 -1 4194304 1761 0 0 0 31 1 0 0 20 0 1 0 290681077 8585216 1723 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 2652985 0 0 4096 0 0 0 0 17 1 0 0
/proc/23037/statm: 2096 1723 173 154 0 1566 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 28924

[startup+51.1013 s]
/proc/loadavg: 0.99 0.97 0.94 2/81 23245
/proc/meminfo: memFree=1799056/2055924 swapFree=4146580/4192956
[pid=22811] ppid=22809 vsize=12796 CPUtime=50.07
/proc/22811/stat : 22811 (pbclasp) S 22809 22811 20935 0 -1 4194304 7215 355055 0 0 36 7 4733 231 16 0 1 0 290678559 13103104 548 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/22811/statm: 3199 548 343 3 0 299 0
[pid=23243] ppid=22811 vsize=5356 CPUtime=0
/proc/23243/stat : 23243 (sh) S 22811 22811 20935 0 -1 4194304 288 122 0 0 0 0 0 0 15 0 1 0 290683580 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23243/statm: 1339 225 188 169 0 50 0
[pid=23245] ppid=23243 vsize=24764 CPUtime=0.88
/proc/23245/stat : 23245 (clasp) R 23243 22811 20935 0 -1 4194304 6274 0 0 0 85 3 0 0 25 0 1 0 290683581 25358336 5661 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134747238 0 0 4096 0 0 0 0 17 1 0 0
/proc/23245/statm: 6191 5661 195 154 0 5661 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 42916

[startup+102.305 s]
/proc/loadavg: 0.99 0.97 0.94 2/81 23653
/proc/meminfo: memFree=1793552/2055924 swapFree=4146580/4192956
[pid=22811] ppid=22809 vsize=12796 CPUtime=101.36
/proc/22811/stat : 22811 (pbclasp) S 22809 22811 20935 0 -1 4194304 13943 772181 0 0 124 14 9513 485 16 0 1 0 290678559 13103104 553 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/22811/statm: 3199 553 343 3 0 299 0
[pid=23651] ppid=22811 vsize=5356 CPUtime=0
/proc/23651/stat : 23651 (sh) S 22811 22811 20935 0 -1 4194304 288 0 0 0 0 0 0 0 18 0 1 0 290688726 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23651/statm: 1339 225 188 169 0 50 0
[pid=23652] ppid=23651 vsize=2520 CPUtime=0
/proc/23652/stat : 23652 (cat) S 23651 22811 20935 0 -1 4194304 120 0 0 0 0 0 0 0 16 0 1 0 290688726 2580480 87 18446744073709551615 4194304 4211220 548682069360 18446744073709551615 268583010530 0 0 4096 0 18446744071563648864 0 0 17 0 0 0
/proc/23652/statm: 630 87 71 4 0 42 0
[pid=23653] ppid=23651 vsize=16920 CPUtime=0.62
/proc/23653/stat : 23653 (clasp) R 23651 22811 20935 0 -1 4194304 3897 0 0 0 61 1 0 0 25 0 1 0 290688727 17326080 3859 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134674572 0 0 4096 0 0 0 0 17 1 0 0
/proc/23653/statm: 4230 3859 184 154 0 3700 0
Current children cumulated CPU time (s) 101.98
Current children cumulated vsize (KiB) 37592

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.94 2/81 24141
/proc/meminfo: memFree=1795856/2055924 swapFree=4146580/4192956
[pid=22811] ppid=22809 vsize=12796 CPUtime=161.5
/proc/22811/stat : 22811 (pbclasp) S 22809 22811 20935 0 -1 4194304 22001 1254686 0 0 222 24 15117 787 16 0 1 0 290678559 13103104 553 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/22811/statm: 3199 553 343 3 0 299 0
Current children cumulated CPU time (s) 161.5
Current children cumulated vsize (KiB) 12796

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.94 2/80 24173
/proc/meminfo: memFree=1770008/2055924 swapFree=4146580/4192956
[pid=22811] ppid=22809 vsize=12796 CPUtime=170.23
/proc/22811/stat : 22811 (pbclasp) S 22809 22811 20935 0 -1 4194304 22374 1272978 0 0 223 24 15976 800 16 0 1 0 290678559 13103104 553 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/22811/statm: 3199 553 343 3 0 299 0
[pid=24171] ppid=22811 vsize=5356 CPUtime=0
/proc/24171/stat : 24171 (sh) S 22811 22811 20935 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 290695646 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24171/statm: 1339 225 188 169 0 50 0
[pid=24173] ppid=24171 vsize=36412 CPUtime=51.4
/proc/24173/stat : 24173 (clasp) R 24171 22811 20935 0 -1 4194304 8874 0 0 0 5134 6 0 0 25 0 1 0 290695646 37285888 8656 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134741364 0 0 4096 0 0 0 0 17 1 0 0
/proc/24173/statm: 9103 8656 196 154 0 8573 0
Current children cumulated CPU time (s) 221.63
Current children cumulated vsize (KiB) 54564

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.94 2/80 24173
/proc/meminfo: memFree=1747992/2055924 swapFree=4146580/4192956
[pid=22811] ppid=22809 vsize=12796 CPUtime=170.23
/proc/22811/stat : 22811 (pbclasp) S 22809 22811 20935 0 -1 4194304 22374 1272978 0 0 223 24 15976 800 16 0 1 0 290678559 13103104 553 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/22811/statm: 3199 553 343 3 0 299 0
[pid=24171] ppid=22811 vsize=5356 CPUtime=0
/proc/24171/stat : 24171 (sh) S 22811 22811 20935 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 290695646 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24171/statm: 1339 225 188 169 0 50 0
[pid=24173] ppid=24171 vsize=58504 CPUtime=111.39
/proc/24173/stat : 24173 (clasp) R 24171 22811 20935 0 -1 4194304 14422 0 0 0 11127 12 0 0 25 0 1 0 290695646 59908096 14163 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134740556 0 0 4096 0 0 0 0 17 1 0 0
/proc/24173/statm: 14626 14163 196 154 0 14096 0
Current children cumulated CPU time (s) 281.62
Current children cumulated vsize (KiB) 76656

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.94 2/80 24173
/proc/meminfo: memFree=1730392/2055924 swapFree=4146580/4192956
[pid=22811] ppid=22809 vsize=12796 CPUtime=170.23
/proc/22811/stat : 22811 (pbclasp) S 22809 22811 20935 0 -1 4194304 22374 1272978 0 0 223 24 15976 800 16 0 1 0 290678559 13103104 553 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/22811/statm: 3199 553 343 3 0 299 0
[pid=24171] ppid=22811 vsize=5356 CPUtime=0
/proc/24171/stat : 24171 (sh) S 22811 22811 20935 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 290695646 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24171/statm: 1339 225 188 169 0 50 0

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

/proc/24171/statm: 1339 225 188 169 0 50 0
[pid=24173] ppid=24171 vsize=163632 CPUtime=1490.9
/proc/24173/stat : 24173 (clasp) R 24171 22811 20935 0 -1 4194304 40335 0 0 0 149042 48 0 0 25 0 1 0 290695646 167559168 39924 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134753610 0 0 4096 0 0 0 0 17 1 0 0
/proc/24173/statm: 40908 39924 196 154 0 40378 0
Current children cumulated CPU time (s) 1661.13
Current children cumulated vsize (KiB) 181784

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/80 24371
/proc/meminfo: memFree=1640472/2055924 swapFree=4146580/4192956
[pid=22811] ppid=22809 vsize=12796 CPUtime=170.23
/proc/22811/stat : 22811 (pbclasp) S 22809 22811 20935 0 -1 4194304 22374 1272978 0 0 223 24 15976 800 16 0 1 0 290678559 13103104 553 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/22811/statm: 3199 553 343 3 0 299 0
[pid=24171] ppid=22811 vsize=5356 CPUtime=0
/proc/24171/stat : 24171 (sh) S 22811 22811 20935 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 290695646 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24171/statm: 1339 225 188 169 0 50 0
[pid=24173] ppid=24171 vsize=167536 CPUtime=1550.88
/proc/24173/stat : 24173 (clasp) R 24171 22811 20935 0 -1 4194304 41294 0 0 0 155039 49 0 0 25 0 1 0 290695646 171556864 40883 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134740583 0 0 4096 0 0 0 0 17 1 0 0
/proc/24173/statm: 41884 40883 196 154 0 41354 0
Current children cumulated CPU time (s) 1721.11
Current children cumulated vsize (KiB) 185688

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/80 24371
/proc/meminfo: memFree=1636888/2055924 swapFree=4146580/4192956
[pid=22811] ppid=22809 vsize=12796 CPUtime=170.23
/proc/22811/stat : 22811 (pbclasp) S 22809 22811 20935 0 -1 4194304 22374 1272978 0 0 223 24 15976 800 16 0 1 0 290678559 13103104 553 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/22811/statm: 3199 553 343 3 0 299 0
[pid=24171] ppid=22811 vsize=5356 CPUtime=0
/proc/24171/stat : 24171 (sh) S 22811 22811 20935 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 290695646 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24171/statm: 1339 225 188 169 0 50 0
[pid=24173] ppid=24171 vsize=170800 CPUtime=1610.86
/proc/24173/stat : 24173 (clasp) R 24171 22811 20935 0 -1 4194304 42116 0 0 0 161036 50 0 0 25 0 1 0 290695646 174899200 41705 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134746407 0 0 4096 0 0 0 0 17 1 0 0
/proc/24173/statm: 42700 41705 196 154 0 42170 0
Current children cumulated CPU time (s) 1781.09
Current children cumulated vsize (KiB) 188952



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/80 24371
/proc/meminfo: memFree=1636888/2055924 swapFree=4146580/4192956
[pid=22811] ppid=22809 vsize=12796 CPUtime=170.23
/proc/22811/stat : 22811 (pbclasp) S 22809 22811 20935 0 -1 4194304 22374 1272978 0 0 223 24 15976 800 16 0 1 0 290678559 13103104 553 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/22811/statm: 3199 553 343 3 0 299 0
[pid=24171] ppid=22811 vsize=5356 CPUtime=0
/proc/24171/stat : 24171 (sh) S 22811 22811 20935 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 290695646 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24171/statm: 1339 225 188 169 0 50 0
[pid=24173] ppid=24171 vsize=170800 CPUtime=1629.86
/proc/24173/stat : 24173 (clasp) R 24171 22811 20935 0 -1 4194304 42116 0 0 0 162936 50 0 0 25 0 1 0 290695646 174899200 41705 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134768773 0 0 4096 0 0 0 0 17 1 0 0
/proc/24173/statm: 42700 41705 196 154 0 42170 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 188952

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

[startup+1801.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/80 24371
/proc/meminfo: memFree=1636888/2055924 swapFree=4146580/4192956
[pid=22811] ppid=22809 vsize=12796 CPUtime=170.23
/proc/22811/stat : 22811 (pbclasp) S 22809 22811 20935 0 -1 4194304 22374 1272978 0 0 223 24 15976 800 16 0 1 0 290678559 13103104 553 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/22811/statm: 3199 553 343 3 0 299 0
[pid=24171] ppid=22811 vsize=5356 CPUtime=0
/proc/24171/stat : 24171 (sh) S 22811 22811 20935 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 290695646 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24171/statm: 1339 225 188 169 0 50 0
[pid=24173] ppid=24171 vsize=170800 CPUtime=1629.86
/proc/24173/stat : 24173 (clasp) R 24171 22811 20935 0 -1 4194304 42116 0 0 0 162936 50 0 0 25 0 1 0 290695646 174899200 41705 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134768773 0 0 4096 0 0 0 0 17 1 0 0
/proc/24173/statm: 42700 41705 196 154 0 42170 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 188952

# WARNING:
# current cumulated CPU time (170.26 s) is less than in the last sample (1800.09 s)
# The time of a child was probably not reported to its father.
# (see the samples just above and below)
# Adding the difference (1629.83 s) to the 'lost time'.

[startup+1801.42 s]
/proc/loadavg: 0.99 0.97 0.94 2/80 24371
/proc/meminfo: memFree=1636888/2055924 swapFree=4146580/4192956
[pid=22811] ppid=22809 vsize=12796 CPUtime=170.26
/proc/22811/stat : 22811 (pbclasp) S 22809 22811 20935 0 -1 4194304 22543 1274761 0 0 223 24 15977 802 18 0 1 0 290678559 13103104 553 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/22811/statm: 3199 553 343 3 0 299 0
Current children cumulated CPU time (s) 170.26
Current children cumulated vsize (KiB) 12796

Sending SIGKILL to process tree (bottom up)

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

[startup+1801.42 s]
/proc/loadavg: 0.99 0.97 0.94 2/80 24371
/proc/meminfo: memFree=1636888/2055924 swapFree=4146580/4192956
[pid=22811] ppid=22809 vsize=12796 CPUtime=170.26
/proc/22811/stat : 22811 (pbclasp) S 22809 22811 20935 0 -1 4194304 22543 1274761 0 0 223 24 15977 802 18 0 1 0 290678559 13103104 553 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/22811/statm: 3199 553 343 3 0 299 0
Current children cumulated CPU time (s) 170.26
Current children cumulated vsize (KiB) 12796

[startup+1802.2 s]
/proc/loadavg: 0.99 0.97 0.94 2/82 24382
/proc/meminfo: memFree=1796296/2055924 swapFree=4146580/4192956
[pid=22811] ppid=22809 vsize=12796 CPUtime=170.26
/proc/22811/stat : 22811 (pbclasp) S 22809 22811 20935 0 -1 4194304 22543 1274761 0 0 223 24 15977 802 18 0 1 0 290678559 13103104 553 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/22811/statm: 3199 553 343 3 0 299 0
[pid=24380] ppid=22811 vsize=5356 CPUtime=0
/proc/24380/stat : 24380 (sh) S 22811 22811 20935 0 -1 4194304 289 122 0 0 0 0 0 0 15 0 1 0 290858694 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24380/statm: 1339 225 188 169 0 50 0
[pid=24382] ppid=24380 vsize=19576 CPUtime=0.84
/proc/24382/stat : 24382 (clasp) R 24380 22811 20935 0 -1 4194304 4707 0 0 0 82 2 0 0 24 0 1 0 290858694 20045824 4489 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134746407 0 0 4096 0 0 0 0 17 1 0 0
/proc/24382/statm: 4894 4489 196 154 0 4364 0
Current children cumulated CPU time (s) 171.1
Current children cumulated vsize (KiB) 37728

[startup+1803 s]
/proc/loadavg: 0.99 0.97 0.94 2/81 24382
/proc/meminfo: memFree=1786000/2055924 swapFree=4146580/4192956
[pid=22811] ppid=22809 vsize=12796 CPUtime=170.26
/proc/22811/stat : 22811 (pbclasp) S 22809 22811 20935 0 -1 4194304 22543 1274761 0 0 223 24 15977 802 18 0 1 0 290678559 13103104 553 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/22811/statm: 3199 553 343 3 0 299 0
[pid=24380] ppid=22811 vsize=5356 CPUtime=0
/proc/24380/stat : 24380 (sh) S 22811 22811 20935 0 -1 4194304 289 122 0 0 0 0 0 0 15 0 1 0 290858694 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24380/statm: 1339 225 188 169 0 50 0
[pid=24382] ppid=24380 vsize=19576 CPUtime=1.65
/proc/24382/stat : 24382 (clasp) R 24380 22811 20935 0 -1 4194304 4725 0 0 0 163 2 0 0 25 0 1 0 290858694 20045824 4507 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134740640 0 0 4096 0 0 0 0 17 1 0 0
/proc/24382/statm: 4894 4507 196 154 0 4364 0
Current children cumulated CPU time (s) 171.91
Current children cumulated vsize (KiB) 37728

[startup+1803.2 s]
/proc/loadavg: 0.99 0.97 0.94 2/81 24382
/proc/meminfo: memFree=1786000/2055924 swapFree=4146580/4192956
[pid=22811] ppid=22809 vsize=12796 CPUtime=170.26
/proc/22811/stat : 22811 (pbclasp) S 22809 22811 20935 0 -1 4194304 22543 1274761 0 0 223 24 15977 802 18 0 1 0 290678559 13103104 553 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/22811/statm: 3199 553 343 3 0 299 0
[pid=24380] ppid=22811 vsize=5356 CPUtime=0
/proc/24380/stat : 24380 (sh) S 22811 22811 20935 0 -1 4194304 289 122 0 0 0 0 0 0 15 0 1 0 290858694 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24380/statm: 1339 225 188 169 0 50 0
[pid=24382] ppid=24380 vsize=19576 CPUtime=1.85
/proc/24382/stat : 24382 (clasp) R 24380 22811 20935 0 -1 4194304 4726 0 0 0 183 2 0 0 25 0 1 0 290858694 20045824 4508 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134740788 0 0 4096 0 0 0 0 17 1 0 0
/proc/24382/statm: 4894 4508 196 154 0 4364 0
Current children cumulated CPU time (s) 172.11
Current children cumulated vsize (KiB) 37728

[startup+1803.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/81 24382
/proc/meminfo: memFree=1786000/2055924 swapFree=4146580/4192956
[pid=22811] ppid=22809 vsize=12796 CPUtime=170.26
/proc/22811/stat : 22811 (pbclasp) S 22809 22811 20935 0 -1 4194304 22543 1274761 0 0 223 24 15977 802 18 0 1 0 290678559 13103104 553 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/22811/statm: 3199 553 343 3 0 299 0
[pid=24380] ppid=22811 vsize=5356 CPUtime=0
/proc/24380/stat : 24380 (sh) S 22811 22811 20935 0 -1 4194304 289 122 0 0 0 0 0 0 15 0 1 0 290858694 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24380/statm: 1339 225 188 169 0 50 0
[pid=24382] ppid=24380 vsize=19576 CPUtime=1.95
/proc/24382/stat : 24382 (clasp) R 24380 22811 20935 0 -1 4194304 4727 0 0 0 193 2 0 0 25 0 1 0 290858694 20045824 4509 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134741375 0 0 4096 0 0 0 0 17 1 0 0
/proc/24382/statm: 4894 4509 196 154 0 4364 0
Current children cumulated CPU time (s) 172.21
Current children cumulated vsize (KiB) 37728

Child status: 0

# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 1629.83
#  lost CPU user time (s): 1629.35
#  lost CPU system time (s): 0.48

Real time (s): 1803.33
CPU time (s): 1802.1
CPU user time (s): 1793.31
CPU system time (s): 8.78774
CPU usage (%): 99.9318
Max. virtual memory (cumulated for all children) (KiB): 188952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 163.96
system time used= 8.30774
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1302595
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 32224
involuntary context switches= 25656

runsolver used 1.58976 second user time and 4.99224 second system time

The end

Launcher Data (download as text)

Begin job on node6 on Wed May  2 22:53:29 UTC 2007

IDJOB= 453655
IDBENCH= 48145
IDSOLVER= 158
FILE ID= node6/453655-1178146409

PBS_JOBID= 4751071

Free space on /tmp= 66563 MiB

SOLVER NAME= PB-clasp 2007-03-23
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_25_2.opb
COMMAND LINE= pbclasp instance-453655-1178146409.opb /tmp/evaluation/453655-1178146409/temp
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node6/convwatcher-453655-1178146409 -o ROOT/results/node6/conversion-453655-1178146409 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/453655-1178146409/instance-453655-1178146409.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node6/watcher-453655-1178146409 -o ROOT/results/node6/solver-453655-1178146409 -C 1800 -W 3600 -M 1800 --output-limit 1,15  pbclasp instance-453655-1178146409.opb /tmp/evaluation/453655-1178146409/temp

META MD5SUM SOLVER= 814f1745fa20958d8b352781cfa0403e
MD5SUM BENCH=  faa00895e2f6f80e77634e2be522df62

RANDOM SEED= 492792854

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node6.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.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
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:      2055924 kB
MemFree:       1808136 kB
Buffers:         83240 kB
Cached:          76772 kB
SwapCached:      14272 kB
Active:          99280 kB
Inactive:        84688 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1808136 kB
SwapTotal:     4192956 kB
SwapFree:      4146580 kB
Dirty:            1520 kB
Writeback:           0 kB
Mapped:          30284 kB
Slab:            49428 kB
Committed_AS: 12391736 kB
PageTables:       1788 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= 66562 MiB

End job on node6 on Wed May  2 23:23:32 UTC 2007