Trace number 453460

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.11 1803.23

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_25_4.opb
MD5SUM64354bd2b9c3cc2f1ca2c32032e5c032
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.11
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 constraint51
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)6260
Sum of products size (including duplicates)12520
Number of different products6260
Sum of products size12520

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.02/1.88	o 199
2.67/2.76	o 198
32.14/32.22	o 197
32.93/33.08	o 196
33.05/33.94	o 195
34.74/34.81	o 194
35.52/35.69	o 193
36.42/36.56	o 192
37.32/37.45	o 191
37.41/38.34	o 190
39.12/39.23	o 189
40.00/40.13	o 188
40.91/41.03	o 187
41.81/41.93	o 186
42.71/42.83	o 185
42.78/43.74	o 184
44.50/44.66	o 183
45.41/45.57	o 182
46.30/46.49	o 181
47.30/47.41	o 180
48.21/48.33	o 179
48.26/49.33	o 178
50.02/50.25	o 177
50.90/51.17	o 176
51.93/52.10	o 175
52.81/53.02	o 174
53.72/53.96	o 173
53.79/54.89	o 172
54.73/55.83	o 171
56.51/56.77	o 170
57.50/57.71	o 169
58.40/58.66	o 168
59.39/59.62	o 167
60.30/60.58	o 166
61.32/61.54	o 165
62.31/62.50	o 164
63.19/63.47	o 163
64.19/64.44	o 162
65.09/65.38	o 161
66.09/66.35	o 160
67.08/67.33	o 159
67.99/68.26	o 158
68.99/69.22	o 157
69.05/70.20	o 156
70.88/71.17	o 155
71.88/72.14	o 154
72.87/73.12	o 153
73.89/74.10	o 152
74.78/75.08	o 151
75.77/76.06	o 150
76.80/77.01	o 149
76.82/78.00	o 148
77.81/78.99	o 147
79.66/79.98	o 146
80.65/80.98	o 145
81.65/81.99	o 144
82.64/82.99	o 143
83.66/83.99	o 142
84.66/84.99	o 141
85.64/85.95	o 140
86.64/86.97	o 139
87.65/87.97	o 138
87.74/88.97	o 137
89.65/89.98	o 136
90.63/90.98	o 135
91.63/91.99	o 134
92.63/92.99	o 133
93.75/94.00	o 132
94.74/95.00	o 131
95.72/96.01	o 130
96.72/97.02	o 129
97.71/98.04	o 128
98.72/99.06	o 127
99.71/100.08	o 126
100.82/101.11	o 125
100.84/102.13	o 124
102.79/103.15	o 123
103.79/104.17	o 122
104.79/105.20	o 121
105.88/106.22	o 120
106.90/107.25	o 119
107.90/108.27	o 118
108.90/109.29	o 117
110.00/110.31	o 116
110.97/111.33	o 115
111.98/112.35	o 114
112.99/113.37	o 113
113.99/114.39	o 112
115.10/115.41	o 111
115.12/116.43	o 110
117.08/117.45	o 109
118.07/118.48	o 108
119.18/119.51	o 107
120.17/120.54	o 106
121.18/121.57	o 105
122.29/122.60	o 104
123.27/123.63	o 103
124.25/124.66	o 102
125.27/125.69	o 101
126.36/126.72	o 100
127.37/127.75	o 99
128.37/128.77	o 98
129.38/129.79	o 97
130.47/130.81	o 96
130.50/131.83	o 95
132.44/132.85	o 94
133.44/133.87	o 93
134.44/134.88	o 92
135.56/135.90	o 91
136.54/136.92	o 90
137.53/137.93	o 89
138.54/138.95	o 88
139.55/139.98	o 87
140.54/141.00	o 86
141.61/142.05	o 85
142.63/143.15	o 84
143.63/144.17	o 83
144.63/145.19	o 82
145.73/146.21	o 81
145.75/147.22	o 80
147.72/148.23	o 79
148.72/149.24	o 78
149.72/150.24	o 77
150.72/151.25	o 76
151.72/152.25	o 75
152.71/153.25	o 74
153.72/154.25	o 73
154.72/155.24	o 72
155.72/156.24	o 71
156.71/157.24	o 70
156.77/158.24	o 69
158.70/159.24	o 68
159.70/160.24	o 67
160.68/161.24	o 66
161.70/162.21	o 65
162.71/163.21	o 64
163.70/164.21	o 63
164.71/165.20	o 62
165.60/166.19	o 61
166.60/167.17	o 60
166.69/168.16	o 59
168.59/169.13	o 58
169.60/170.10	o 57
170.48/171.08	o 56
171.48/172.05	o 55
172.48/173.02	o 54
173.39/173.99	o 53
174.38/174.95	o 52
175.39/175.91	o 51
175.43/176.83	o 50
177.18/177.79	o 49
178.19/178.75	o 48
179.17/179.72	o 47
180.06/180.68	o 46
181.06/181.64	o 45
181.97/182.59	o 44
182.09/183.55	o 43
183.98/184.50	o 42
184.86/185.45	o 41
185.88/186.40	o 40
186.77/187.34	o 39
187.67/188.29	o 15
188.56/189.19	o 14
188.68/190.10	o 13
258.33/258.97	o 12
1800.10/1801.21	c Somebody sent me a SIGTERM
1800.10/1801.21	s SATISFIABLE
1800.10/1801.21	v x4 x5 x6 x7 x11 x14 x17 x18 x84 x104 x122 x173 x202 x214 x221 x233 x262 x273 x289 x293 x491 x502 x503 x512 x546 x561 x648 x649 x664
1800.10/1801.21	v x689 x695 x780 x781 x832 x933 x964 x995 x996 x998 x1016 x1033 x1035 x1036 x1055 x1102 x1111 x1120 x1149 x1152 x1159 x1184 x1197
1800.10/1801.21	v x1227 x1228 x1229 x1258 x1267 x1271 x1302 x1327 x1333 x1334 x1366 x1398 x1402 x1403 x1405 x1436 x1438 x1462 x1475 x1476 x1506
1800.10/1801.21	v x1508 x1516 x1517 x1518 x1548 x1553 x1574 x1585 x1586 x1617 x1618 x1631 x1648 x1655 x1656 x1692 x1694 x1706 x1743 x1745 x1759
1800.10/1801.21	v x1833 x1836 x1837 x1863 x1872 x1908 x1944 x1945 x1947 x1948 x1985 x1996 x2018 x2019 x2020 x2054 x2055 x2057 x2058 x2088 x2090
1800.10/1801.21	v x2091 x2118 x2152 x2166 x2192 x2223 x2224 x2255 x2256 x2259 x2276 x2289 x2290 x2303 x2330 x2333 x2367 x2369 x2379 x2384 x2403
1800.10/1801.21	v x2404 x2405 x2407 x2450 x2472 x2473 x2496 x2504 x2507 x2508 x2509 x2534 x2535 x2563 x2570 x2571 x2604 x2608 x2609 x2621 x2625
1800.10/1801.21	v x2626 x2642 x2643 x2675 x2680 x2691 x2710 x2711 x2712 x2740 x2770 x2772 x2773 x2795 x2804 x2835 x2837 x2838 x2869 x2870 x2902
1800.10/1801.21	v x2914 x2934 x2935 x2952 x2963 x2981 x2995 x2996 x3025 x3026 x3042 x3054 x3055 x3056 x3072 x3082 x3105 x3112 x3146 x3173 x3212
1800.10/1801.21	v x3214 x3237 x3250 x3265 x3271 x3272 x3302 x3333 x3345 x3365 x3395 x3397 x3430 x3443 x3458 x3489 x3529 x3550 x3551 x3554 x3569
1800.10/1801.21	v x3579 x3610 x3611 x3641 x3670 x3686 x3699 x3701 x3702 x3737 x3762 x3763 x3764 x3817 x3818 x3819 x3820 x3831 x3843 x3846 x3881
1800.10/1801.21	v x3887 x3911 x3922 x3935 x3937 x3955 x3966 x3998 x4011 x4031 x4059 x4064 x4093 x4123 x4125 x4150 x4152 x4179 x4180 x4205 x4206
1800.10/1801.21	v x4221 x4224 x4229 x4234 x4236 x4280 x4298 x4299 x4300 x4317 x4357 x4383 x4384 x4388 x4414 x4415 x4417 x4419 x4434 x4443 x4464
1800.10/1801.21	v x4475 x4476 x4477 x4505 x4530 x4532 x4534 x4559 x4560 x4571 x4588 x4590 x4591 x4618 x4619 x4620 x4643 x4675 x4701 x4702 x4719
1800.10/1801.21	v x4751 x4758 x4782 x4786 x4806 x4813 x4814 x4816 x4819 x4846 x4872 x4889 x4900 x4901 x4904 x4931 x4932 x4956 x4957 x4987 x4988
1800.10/1801.21	v x4989 x5001 x5006 x5014 x5028 x5042 x5056 x5064 x5071 x5072 x5083 x5091 x5097 x5098 x5100 x5122 x5149 x5163 x5174 x5176 x5178
1800.10/1801.21	v x5206 x5233 x5259 x5278 x5284 x5285 x5286 x5288 x5310 x5326 x5337 x5364 x5375 x5378 x5388 x5389 x5391 x5399 x5414 x5416 x5434
1800.10/1801.21	v x5440 x5445 x5470 x5471 x5481 x5497 x5500 x5501 x5523 x5524 x5558 x5561 x5563 x5578 x5579 x5580 x5581 x5605 x5618 x5631 x5658
1800.10/1801.21	v x5660 x5661 x5695 x5714 x5715 x5767 x5768 x5791 x5816 x5842 x5843 x5866 x5867 x5894 x5896 x5897 x5898 x5917 x5921 x5922 x5949
1800.10/1801.21	v x5974 x5976 x5977 x6011 x6028 x6030 x6031 x6052 x6053 x6080 x6105 x6107 x6132 x6133 x6134 x6158 x6185 x6187 x6189 x6210 x6211
1800.10/1801.21	v x6212 x6225 x6236 x6238 x6245 x6261 x6262 x6288 x6311 x6312 x6347 x6361 x6386 x6412 x6437 x6438 x6454
1800.10/1801.22	pb2clasp1: no process killed
260.40/1803.22	sh: line 1: 12279 Done                    cat /tmp/evaluation/453460-1178139073/temp/instance-453460-1178139073.opb.op
260.40/1803.22	     12280 Killed                  | clasp >/tmp/evaluation/453460-1178139073/temp/instance-453460-1178139073.opb.clasp

Verifier Data (download as text)

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

Falsified constraint is:
+1*~x1[=0]*x102[=0]+1*~x1[=0]*x84[=1]+1*~x1[=0]*x75[=0]+1*~x1[=0]*x127[=0]+1*~x1[=0]*x164[=0]+1*~x1[=0]*x138[=0]+1*~x1[=0]*x26[=0]+1*~x1[=0]*x29[=0]+1*~x1[=0]*x186[=0]+1*~x1[=0]*x145[=0]+1*~x1[=0]*x155[=0]+1*~x1[=0]*x115[=0]+1*~x1[=0]*x165[=0]+1*~x1[=0]*x4[=1]+1*~x1[=0]*x15[=0]+1*~x1[=0]*x103[=0]+1*~x1[=0]*x142[=0]+1*~x1[=0]*x2[=0]+1*~x1[=0]*x150[=0]+1*~x1[=0]*x118[=0]+1*~x1[=0]*x5[=1]+1*~x1[=0]*x169[=0]+1*~x1[=0]*x80[=0]+1*~x1[=0]*x174[=0]+1*~x1[=0]*x119[=0]+1*~x1[=0]*x38[=0]+1*~x1[=0]*x40[=0]+1*~x1[=0]*x53[=0]+1*~x1[=0]*x62[=0]+1*~x1[=0]*x63[=0]+1*~x1[=0]*x67[=0]+1*~x1[=0]*x109[=0]+1*~x1[=0]*x122[=1]+1*~x1[=0]*x135[=0]+1*~x1[=0]*x193[=0]+1*~x1[=0]*x199[=0]+1*x1[=0] >= 1

Conversion Script Data (download as text)

Linearizing /tmp/evaluation/453460-1178139073/instance-453460-1178139073.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node19/watcher-453460-1178139073 -o ROOT/results/node19/solver-453460-1178139073 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-453460-1178139073.opb /tmp/evaluation/453460-1178139073/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.91 0.95 0.98 3/77 10741
/proc/meminfo: memFree=1801392/2055920 swapFree=4153644/4192956
[pid=10741] ppid=10739 vsize=12268 CPUtime=0
/proc/10741/stat : 10741 (pbclasp) R 10739 10741 10587 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 261824747 12562432 317 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255236733541 0 0 4224 0 0 0 0 17 1 0 0
/proc/10741/statm: 3067 317 242 3 0 167 0

[startup+0.063253 s]
/proc/loadavg: 0.91 0.95 0.98 3/77 10741
/proc/meminfo: memFree=1801392/2055920 swapFree=4153644/4192956
[pid=10741] ppid=10739 vsize=12664 CPUtime=0.01
/proc/10741/stat : 10741 (pbclasp) S 10739 10741 10587 0 -1 4194304 551 0 0 0 1 0 0 0 16 0 1 0 261824747 12967936 504 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245463650 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/10741/statm: 3166 504 324 3 0 266 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12664

[startup+0.101256 s]
/proc/loadavg: 0.91 0.95 0.98 3/77 10741
/proc/meminfo: memFree=1801392/2055920 swapFree=4153644/4192956
[pid=10741] ppid=10739 vsize=12664 CPUtime=0.01
/proc/10741/stat : 10741 (pbclasp) S 10739 10741 10587 0 -1 4194304 551 0 0 0 1 0 0 0 16 0 1 0 261824747 12967936 504 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245463650 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/10741/statm: 3166 504 324 3 0 266 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12664

[startup+0.301277 s]
/proc/loadavg: 0.91 0.95 0.98 3/77 10741
/proc/meminfo: memFree=1801392/2055920 swapFree=4153644/4192956
[pid=10741] ppid=10739 vsize=12664 CPUtime=0.01
/proc/10741/stat : 10741 (pbclasp) S 10739 10741 10587 0 -1 4194304 551 0 0 0 1 0 0 0 16 0 1 0 261824747 12967936 504 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245463650 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/10741/statm: 3166 504 324 3 0 266 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12664

[startup+0.701322 s]
/proc/loadavg: 0.91 0.95 0.98 3/77 10741
/proc/meminfo: memFree=1801392/2055920 swapFree=4153644/4192956
[pid=10741] ppid=10739 vsize=12664 CPUtime=0.01
/proc/10741/stat : 10741 (pbclasp) S 10739 10741 10587 0 -1 4194304 551 0 0 0 1 0 0 0 16 0 1 0 261824747 12967936 504 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245463650 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/10741/statm: 3166 504 324 3 0 266 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12664

[startup+1.50241 s]
/proc/loadavg: 0.92 0.95 0.98 2/80 10744
/proc/meminfo: memFree=1799384/2055920 swapFree=4153644/4192956
[pid=10741] ppid=10739 vsize=12664 CPUtime=1.02
/proc/10741/stat : 10741 (pbclasp) S 10739 10741 10587 0 -1 4194304 642 1593 0 0 1 0 100 1 16 0 1 0 261824747 12967936 528 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10741/statm: 3166 528 343 3 0 266 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 12664

[startup+3.10158 s]
/proc/loadavg: 0.92 0.95 0.98 2/81 10759
/proc/meminfo: memFree=1795264/2055920 swapFree=4153644/4192956
[pid=10741] ppid=10739 vsize=12664 CPUtime=2.75
/proc/10741/stat : 10741 (pbclasp) S 10739 10741 10587 0 -1 4194304 884 12746 0 0 1 0 266 8 16 0 1 0 261824747 12967936 532 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/10741/statm: 3166 532 343 3 0 266 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 12664

[startup+6.30193 s]
/proc/loadavg: 0.92 0.95 0.98 2/80 10767
/proc/meminfo: memFree=1700936/2055920 swapFree=4153644/4192956
[pid=10741] ppid=10739 vsize=12664 CPUtime=2.75
/proc/10741/stat : 10741 (pbclasp) S 10739 10741 10587 0 -1 4194304 884 12746 0 0 1 0 266 8 16 0 1 0 261824747 12967936 532 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/10741/statm: 3166 532 343 3 0 266 0
[pid=10765] ppid=10741 vsize=5356 CPUtime=0
/proc/10765/stat : 10765 (sh) S 10741 10741 10587 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 261825025 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10765/statm: 1339 225 188 169 0 50 0
[pid=10767] ppid=10765 vsize=114380 CPUtime=3.5
/proc/10767/stat : 10767 (clasp) R 10765 10741 10587 0 -1 4194304 27497 0 0 0 339 11 0 0 25 0 1 0 261825026 117125120 26970 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134747220 0 0 4096 0 0 0 0 17 1 0 0
/proc/10767/statm: 28595 26970 193 154 0 28065 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 132400

[startup+12.7016 s]
/proc/loadavg: 0.93 0.96 0.98 2/80 10767
/proc/meminfo: memFree=1691416/2055920 swapFree=4153644/4192956
[pid=10741] ppid=10739 vsize=12664 CPUtime=2.75
/proc/10741/stat : 10741 (pbclasp) S 10739 10741 10587 0 -1 4194304 884 12746 0 0 1 0 266 8 16 0 1 0 261824747 12967936 532 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/10741/statm: 3166 532 343 3 0 266 0
[pid=10765] ppid=10741 vsize=5356 CPUtime=0
/proc/10765/stat : 10765 (sh) S 10741 10741 10587 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 261825025 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10765/statm: 1339 225 188 169 0 50 0
[pid=10767] ppid=10765 vsize=114380 CPUtime=9.9
/proc/10767/stat : 10767 (clasp) R 10765 10741 10587 0 -1 4194304 27497 0 0 0 979 11 0 0 25 0 1 0 261825026 117125120 26970 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134747218 0 0 4096 0 0 0 0 17 1 0 0
/proc/10767/statm: 28595 26970 193 154 0 28065 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 132400

[startup+25.502 s]
/proc/loadavg: 0.94 0.96 0.98 2/80 10767
/proc/meminfo: memFree=1691416/2055920 swapFree=4153644/4192956
[pid=10741] ppid=10739 vsize=12664 CPUtime=2.75
/proc/10741/stat : 10741 (pbclasp) S 10739 10741 10587 0 -1 4194304 884 12746 0 0 1 0 266 8 16 0 1 0 261824747 12967936 532 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/10741/statm: 3166 532 343 3 0 266 0
[pid=10765] ppid=10741 vsize=5356 CPUtime=0
/proc/10765/stat : 10765 (sh) S 10741 10741 10587 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 261825025 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10765/statm: 1339 225 188 169 0 50 0
[pid=10767] ppid=10765 vsize=114380 CPUtime=22.7
/proc/10767/stat : 10767 (clasp) R 10765 10741 10587 0 -1 4194304 27497 0 0 0 2259 11 0 0 25 0 1 0 261825026 117125120 26970 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134747220 0 0 4096 0 0 0 0 17 1 0 0
/proc/10767/statm: 28595 26970 193 154 0 28065 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 132400

[startup+51.1018 s]
/proc/loadavg: 0.96 0.96 0.98 2/81 10935
/proc/meminfo: memFree=1794296/2055920 swapFree=4153644/4192956
[pid=10741] ppid=10739 vsize=12664 CPUtime=50.09
/proc/10741/stat : 10741 (pbclasp) S 10739 10741 10587 0 -1 4194304 3451 162213 0 0 8 3 4897 101 16 0 1 0 261824747 12967936 541 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/10741/statm: 3166 541 343 3 0 266 0
[pid=10933] ppid=10741 vsize=5356 CPUtime=0
/proc/10933/stat : 10933 (sh) S 10741 10741 10587 0 -1 4194304 288 122 0 0 0 0 0 0 15 0 1 0 261829774 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10933/statm: 1339 225 188 169 0 50 0
[pid=10935] ppid=10933 vsize=20616 CPUtime=0.81
/proc/10935/stat : 10935 (clasp) R 10933 10741 10587 0 -1 4194304 4889 0 0 0 80 1 0 0 25 0 1 0 261829774 21110784 4636 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134648086 0 0 4096 0 0 0 0 17 1 0 0
/proc/10935/statm: 5154 4643 195 154 0 4624 0
Current children cumulated CPU time (s) 50.9
Current children cumulated vsize (KiB) 38636

[startup+102.306 s]
/proc/loadavg: 0.98 0.96 0.98 2/81 11359
/proc/meminfo: memFree=1797344/2055920 swapFree=4153644/4192956
[pid=10741] ppid=10739 vsize=12800 CPUtime=101.86
/proc/10741/stat : 10741 (pbclasp) S 10739 10741 10587 0 -1 4194304 10429 554498 0 0 65 11 9763 347 16 0 1 0 261824747 13107200 553 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/10741/statm: 3200 553 343 3 0 300 0
[pid=11357] ppid=10741 vsize=5356 CPUtime=0
/proc/11357/stat : 11357 (sh) S 10741 10741 10587 0 -1 4194304 288 0 0 0 0 0 0 0 18 0 1 0 261834962 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11357/statm: 1339 225 188 169 0 50 0
[pid=11358] ppid=11357 vsize=2520 CPUtime=0
/proc/11358/stat : 11358 (cat) S 11357 10741 10587 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 261834962 2580480 87 18446744073709551615 4194304 4211220 548682069360 18446744073709551615 255236735202 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/11358/statm: 630 87 71 4 0 42 0
[pid=11359] ppid=11357 vsize=4812 CPUtime=0.15
/proc/11359/stat : 11359 (clasp) R 11357 10741 10587 0 -1 4194304 865 0 0 0 15 0 0 0 21 0 1 0 261834962 4927488 827 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 7856693 0 0 4096 0 0 0 0 17 1 0 0
/proc/11359/statm: 1203 827 173 154 0 673 0
Current children cumulated CPU time (s) 102.01
Current children cumulated vsize (KiB) 25488

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/81 11823
/proc/meminfo: memFree=1790368/2055920 swapFree=4153644/4192956
[pid=10741] ppid=10739 vsize=12800 CPUtime=161.74
/proc/10741/stat : 10741 (pbclasp) S 10739 10741 10587 0 -1 4194304 18515 1034054 0 0 174 20 15335 645 16 0 1 0 261824747 13107200 553 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10741/statm: 3200 553 343 3 0 300 0
Current children cumulated CPU time (s) 161.74
Current children cumulated vsize (KiB) 12800

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/80 12063
/proc/meminfo: memFree=1770312/2055920 swapFree=4153644/4192956
[pid=10741] ppid=10739 vsize=12800 CPUtime=189.59
/proc/10741/stat : 10741 (pbclasp) S 10739 10741 10587 0 -1 4194304 22401 1249002 0 0 212 25 17937 785 16 0 1 0 261824747 13107200 553 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/10741/statm: 3200 553 343 3 0 300 0
[pid=12061] ppid=10741 vsize=5356 CPUtime=0
/proc/12061/stat : 12061 (sh) S 10741 10741 10587 0 -1 4194304 288 122 0 0 0 0 0 0 15 0 1 0 261843759 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12061/statm: 1339 225 188 169 0 50 0
[pid=12063] ppid=12061 vsize=29584 CPUtime=32.15
/proc/12063/stat : 12063 (clasp) R 12061 10741 10587 0 -1 4194304 7236 0 0 0 3210 5 0 0 25 0 1 0 261843759 30294016 7018 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134741339 0 0 4096 0 0 0 0 17 1 0 0
/proc/12063/statm: 7396 7018 196 154 0 6866 0
Current children cumulated CPU time (s) 221.74
Current children cumulated vsize (KiB) 47740

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/80 12071
/proc/meminfo: memFree=1773320/2055920 swapFree=4153644/4192956
[pid=10741] ppid=10739 vsize=12800 CPUtime=258.44
/proc/10741/stat : 10741 (pbclasp) S 10739 10741 10587 0 -1 4194304 22530 1264329 0 0 212 25 24806 801 16 0 1 0 261824747 13107200 553 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10741/statm: 3200 553 343 3 0 300 0
[pid=12069] ppid=10741 vsize=5356 CPUtime=0
/proc/12069/stat : 12069 (sh) S 10741 10741 10587 0 -1 4194304 289 122 0 0 0 0 0 0 16 0 1 0 261850647 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12069/statm: 1339 225 188 169 0 50 0
[pid=12071] ppid=12069 vsize=26740 CPUtime=23.28
/proc/12071/stat : 12071 (clasp) R 12069 10741 10587 0 -1 4194304 6530 0 0 0 2324 4 0 0 25 0 1 0 261850647 27381760 6312 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134740583 0 0 4096 0 0 0 0 17 1 0 0
/proc/12071/statm: 6685 6312 196 154 0 6155 0
Current children cumulated CPU time (s) 281.72
Current children cumulated vsize (KiB) 44896

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/80 12071
/proc/meminfo: memFree=1751368/2055920 swapFree=4153644/4192956
[pid=10741] ppid=10739 vsize=12800 CPUtime=258.44
/proc/10741/stat : 10741 (pbclasp) S 10739 10741 10587 0 -1 4194304 22530 1264329 0 0 212 25 24806 801 16 0 1 0 261824747 13107200 553 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10741/statm: 3200 553 343 3 0 300 0
[pid=12069] ppid=10741 vsize=5356 CPUtime=0
/proc/12069/stat : 12069 (sh) S 10741 10741 10587 0 -1 4194304 289 122 0 0 0 0 0 0 16 0 1 0 261850647 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12069/statm: 1339 225 188 169 0 50 0

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

/proc/12069/statm: 1339 225 188 169 0 50 0
[pid=12071] ppid=12069 vsize=173644 CPUtime=1342.8
/proc/12071/stat : 12071 (clasp) R 12069 10741 10587 0 -1 4194304 42934 0 0 0 134232 48 0 0 25 0 1 0 261850647 177811456 42397 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134740522 0 0 4096 0 0 0 0 17 1 0 0
/proc/12071/statm: 43411 42397 196 154 0 42881 0
Current children cumulated CPU time (s) 1601.24
Current children cumulated vsize (KiB) 191800

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/80 12269
/proc/meminfo: memFree=1627912/2055920 swapFree=4153644/4192956
[pid=10741] ppid=10739 vsize=12800 CPUtime=258.44
/proc/10741/stat : 10741 (pbclasp) S 10739 10741 10587 0 -1 4194304 22530 1264329 0 0 212 25 24806 801 16 0 1 0 261824747 13107200 553 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10741/statm: 3200 553 343 3 0 300 0
[pid=12069] ppid=10741 vsize=5356 CPUtime=0
/proc/12069/stat : 12069 (sh) S 10741 10741 10587 0 -1 4194304 289 122 0 0 0 0 0 0 16 0 1 0 261850647 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12069/statm: 1339 225 188 169 0 50 0
[pid=12071] ppid=12069 vsize=173644 CPUtime=1402.79
/proc/12071/stat : 12071 (clasp) R 12069 10741 10587 0 -1 4194304 42945 0 0 0 140230 49 0 0 25 0 1 0 261850647 177811456 42408 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134741339 0 0 4096 0 0 0 0 17 1 0 0
/proc/12071/statm: 43411 42408 196 154 0 42881 0
Current children cumulated CPU time (s) 1661.23
Current children cumulated vsize (KiB) 191800

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/80 12269
/proc/meminfo: memFree=1627912/2055920 swapFree=4153644/4192956
[pid=10741] ppid=10739 vsize=12800 CPUtime=258.44
/proc/10741/stat : 10741 (pbclasp) S 10739 10741 10587 0 -1 4194304 22530 1264329 0 0 212 25 24806 801 16 0 1 0 261824747 13107200 553 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10741/statm: 3200 553 343 3 0 300 0
[pid=12069] ppid=10741 vsize=5356 CPUtime=0
/proc/12069/stat : 12069 (sh) S 10741 10741 10587 0 -1 4194304 289 122 0 0 0 0 0 0 16 0 1 0 261850647 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12069/statm: 1339 225 188 169 0 50 0
[pid=12071] ppid=12069 vsize=173644 CPUtime=1462.77
/proc/12071/stat : 12071 (clasp) R 12069 10741 10587 0 -1 4194304 42948 0 0 0 146228 49 0 0 25 0 1 0 261850647 177811456 42411 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134741339 0 0 4096 0 0 0 0 17 1 0 0
/proc/12071/statm: 43411 42411 196 154 0 42881 0
Current children cumulated CPU time (s) 1721.21
Current children cumulated vsize (KiB) 191800

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/80 12269
/proc/meminfo: memFree=1627912/2055920 swapFree=4153644/4192956
[pid=10741] ppid=10739 vsize=12800 CPUtime=258.44
/proc/10741/stat : 10741 (pbclasp) S 10739 10741 10587 0 -1 4194304 22530 1264329 0 0 212 25 24806 801 16 0 1 0 261824747 13107200 553 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10741/statm: 3200 553 343 3 0 300 0
[pid=12069] ppid=10741 vsize=5356 CPUtime=0
/proc/12069/stat : 12069 (sh) S 10741 10741 10587 0 -1 4194304 289 122 0 0 0 0 0 0 16 0 1 0 261850647 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12069/statm: 1339 225 188 169 0 50 0
[pid=12071] ppid=12069 vsize=173644 CPUtime=1522.76
/proc/12071/stat : 12071 (clasp) R 12069 10741 10587 0 -1 4194304 42948 0 0 0 152226 50 0 0 25 0 1 0 261850647 177811456 42411 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134769198 0 0 4096 0 0 0 0 17 1 0 0
/proc/12071/statm: 43411 42411 196 154 0 42881 0
Current children cumulated CPU time (s) 1781.2
Current children cumulated vsize (KiB) 191800



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.2 s]
/proc/loadavg: 0.99 0.97 0.98 2/80 12269
/proc/meminfo: memFree=1627912/2055920 swapFree=4153644/4192956
[pid=10741] ppid=10739 vsize=12800 CPUtime=258.44
/proc/10741/stat : 10741 (pbclasp) S 10739 10741 10587 0 -1 4194304 22530 1264329 0 0 212 25 24806 801 16 0 1 0 261824747 13107200 553 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10741/statm: 3200 553 343 3 0 300 0
[pid=12069] ppid=10741 vsize=5356 CPUtime=0
/proc/12069/stat : 12069 (sh) S 10741 10741 10587 0 -1 4194304 289 122 0 0 0 0 0 0 16 0 1 0 261850647 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12069/statm: 1339 225 188 169 0 50 0
[pid=12071] ppid=12069 vsize=173644 CPUtime=1541.66
/proc/12071/stat : 12071 (clasp) R 12069 10741 10587 0 -1 4194304 42948 0 0 0 154116 50 0 0 25 0 1 0 261850647 177811456 42411 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134741339 0 0 4096 0 0 0 0 17 1 0 0
/proc/12071/statm: 43411 42411 196 154 0 42881 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 191800

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

[startup+1801.2 s]
/proc/loadavg: 0.99 0.97 0.98 2/80 12269
/proc/meminfo: memFree=1627912/2055920 swapFree=4153644/4192956
[pid=10741] ppid=10739 vsize=12800 CPUtime=258.44
/proc/10741/stat : 10741 (pbclasp) S 10739 10741 10587 0 -1 4194304 22530 1264329 0 0 212 25 24806 801 16 0 1 0 261824747 13107200 553 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10741/statm: 3200 553 343 3 0 300 0
[pid=12069] ppid=10741 vsize=5356 CPUtime=0
/proc/12069/stat : 12069 (sh) S 10741 10741 10587 0 -1 4194304 289 122 0 0 0 0 0 0 16 0 1 0 261850647 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12069/statm: 1339 225 188 169 0 50 0
[pid=12071] ppid=12069 vsize=173644 CPUtime=1541.66
/proc/12071/stat : 12071 (clasp) R 12069 10741 10587 0 -1 4194304 42948 0 0 0 154116 50 0 0 25 0 1 0 261850647 177811456 42411 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134741339 0 0 4096 0 0 0 0 17 1 0 0
/proc/12071/statm: 43411 42411 196 154 0 42881 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 191800

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

[startup+1801.32 s]
/proc/loadavg: 0.99 0.97 0.98 2/80 12269
/proc/meminfo: memFree=1627912/2055920 swapFree=4153644/4192956
[pid=10741] ppid=10739 vsize=12800 CPUtime=258.46
/proc/10741/stat : 10741 (pbclasp) S 10739 10741 10587 0 -1 4194304 22711 1266113 0 0 212 25 24806 803 18 0 1 0 261824747 13107200 553 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/10741/statm: 3200 553 343 3 0 300 0
Current children cumulated CPU time (s) 258.46
Current children cumulated vsize (KiB) 12800

Sending SIGKILL to process tree (bottom up)

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

[startup+1801.4 s]
/proc/loadavg: 0.99 0.97 0.98 2/80 12269
/proc/meminfo: memFree=1627912/2055920 swapFree=4153644/4192956
[pid=10741] ppid=10739 vsize=12800 CPUtime=258.46
/proc/10741/stat : 10741 (pbclasp) S 10739 10741 10587 0 -1 4194304 22711 1266113 0 0 212 25 24806 803 18 0 1 0 261824747 13107200 553 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/10741/statm: 3200 553 343 3 0 300 0
Current children cumulated CPU time (s) 258.46
Current children cumulated vsize (KiB) 12800

[startup+1802.2 s]
/proc/loadavg: 0.99 0.97 0.98 2/82 12280
/proc/meminfo: memFree=1788280/2055920 swapFree=4153644/4192956
[pid=10741] ppid=10739 vsize=12800 CPUtime=258.46
/proc/10741/stat : 10741 (pbclasp) S 10739 10741 10587 0 -1 4194304 22711 1266113 0 0 212 25 24806 803 18 0 1 0 261824747 13107200 553 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/10741/statm: 3200 553 343 3 0 300 0
[pid=12278] ppid=10741 vsize=5356 CPUtime=0
/proc/12278/stat : 12278 (sh) S 10741 10741 10587 0 -1 4194304 289 122 0 0 0 0 0 0 15 0 1 0 262004871 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12278/statm: 1339 225 188 169 0 50 0
[pid=12280] ppid=12278 vsize=19328 CPUtime=0.95
/proc/12280/stat : 12280 (clasp) R 12278 10741 10587 0 -1 4194304 4613 0 0 0 93 2 0 0 25 0 1 0 262004871 19791872 4395 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134740556 0 0 4096 0 0 0 0 17 1 0 0
/proc/12280/statm: 4832 4395 196 154 0 4302 0
Current children cumulated CPU time (s) 259.41
Current children cumulated vsize (KiB) 37484

[startup+1803 s]
/proc/loadavg: 0.99 0.97 0.98 2/81 12280
/proc/meminfo: memFree=1780288/2055920 swapFree=4153644/4192956
[pid=10741] ppid=10739 vsize=12800 CPUtime=258.46
/proc/10741/stat : 10741 (pbclasp) S 10739 10741 10587 0 -1 4194304 22711 1266113 0 0 212 25 24806 803 18 0 1 0 261824747 13107200 553 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/10741/statm: 3200 553 343 3 0 300 0
[pid=12278] ppid=10741 vsize=5356 CPUtime=0
/proc/12278/stat : 12278 (sh) S 10741 10741 10587 0 -1 4194304 289 122 0 0 0 0 0 0 15 0 1 0 262004871 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12278/statm: 1339 225 188 169 0 50 0
[pid=12280] ppid=12278 vsize=19328 CPUtime=1.74
/proc/12280/stat : 12280 (clasp) R 12278 10741 10587 0 -1 4194304 4618 0 0 0 172 2 0 0 25 0 1 0 262004871 19791872 4400 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134740556 0 0 4096 0 0 0 0 17 1 0 0
/proc/12280/statm: 4832 4400 196 154 0 4302 0
Current children cumulated CPU time (s) 260.2
Current children cumulated vsize (KiB) 37484

[startup+1803.2 s]
/proc/loadavg: 0.99 0.97 0.98 2/81 12280
/proc/meminfo: memFree=1780288/2055920 swapFree=4153644/4192956
[pid=10741] ppid=10739 vsize=12800 CPUtime=258.46
/proc/10741/stat : 10741 (pbclasp) S 10739 10741 10587 0 -1 4194304 22711 1266113 0 0 212 25 24806 803 18 0 1 0 261824747 13107200 553 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/10741/statm: 3200 553 343 3 0 300 0
[pid=12278] ppid=10741 vsize=5356 CPUtime=0
/proc/12278/stat : 12278 (sh) S 10741 10741 10587 0 -1 4194304 289 122 0 0 0 0 0 0 15 0 1 0 262004871 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12278/statm: 1339 225 188 169 0 50 0
[pid=12280] ppid=12278 vsize=19328 CPUtime=1.94
/proc/12280/stat : 12280 (clasp) R 12278 10741 10587 0 -1 4194304 4618 0 0 0 192 2 0 0 25 0 1 0 262004871 19791872 4400 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134740583 0 0 4096 0 0 0 0 17 1 0 0
/proc/12280/statm: 4832 4400 196 154 0 4302 0
Current children cumulated CPU time (s) 260.4
Current children cumulated vsize (KiB) 37484

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): 1541.64
#  lost CPU user time (s): 1541.16
#  lost CPU system time (s): 0.48

Real time (s): 1803.23
CPU time (s): 1802.11
CPU user time (s): 1793.3
CPU system time (s): 8.81173
CPU usage (%): 99.9381
Max. virtual memory (cumulated for all children) (KiB): 191800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 252.139
system time used= 8.33173
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1294007
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= 31692
involuntary context switches= 25639

runsolver used 1.60975 second user time and 4.97424 second system time

The end

Launcher Data (download as text)

Begin job on node19 on Wed May  2 20:51:13 UTC 2007

IDJOB= 453460
IDBENCH= 48132
IDSOLVER= 158
FILE ID= node19/453460-1178139073

PBS_JOBID= 4751057

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_4.opb
COMMAND LINE= pbclasp instance-453460-1178139073.opb /tmp/evaluation/453460-1178139073/temp
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node19/convwatcher-453460-1178139073 -o ROOT/results/node19/conversion-453460-1178139073 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/453460-1178139073/instance-453460-1178139073.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 814f1745fa20958d8b352781cfa0403e
MD5SUM BENCH=  64354bd2b9c3cc2f1ca2c32032e5c032

RANDOM SEED= 118581383

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node19.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	: 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.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:       1801864 kB
Buffers:         91196 kB
Cached:          76132 kB
SwapCached:       8384 kB
Active:          99692 kB
Inactive:        99092 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1801864 kB
SwapTotal:     4192956 kB
SwapFree:      4153644 kB
Dirty:            1528 kB
Writeback:           0 kB
Mapped:          29792 kB
Slab:            40840 kB
Committed_AS:  8849284 kB
PageTables:       1784 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 node19 on Wed May  2 21:21:17 UTC 2007