Trace number 453700

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. 1801.94 1803.63

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_25_5.opb
MD5SUMe3f554c192a1ee7b261cc2808827870e
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.13
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 constraint50
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)6226
Sum of products size (including duplicates)12452
Number of different products6226
Sum of products size12452

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.01/1.85	o 197
2.67/2.71	o 196
3.47/3.57	o 195
4.36/4.43	o 194
4.43/5.30	o 193
6.06/6.18	o 192
6.97/7.05	o 191
7.87/7.93	o 190
8.77/8.81	o 189
8.80/9.70	o 188
10.45/10.60	o 187
11.35/11.49	o 186
12.26/12.40	o 185
13.25/13.30	o 184
14.16/14.21	o 183
14.19/15.19	o 182
15.98/16.10	o 181
16.88/17.02	o 180
17.77/17.94	o 179
18.67/18.86	o 178
19.58/19.78	o 177
19.68/20.70	o 176
21.46/21.62	o 175
22.37/22.54	o 174
23.26/23.47	o 173
24.17/24.39	o 172
25.16/25.33	o 171
25.22/26.26	o 170
27.06/27.20	o 169
27.95/28.14	o 168
28.86/29.08	o 167
29.85/30.03	o 166
30.76/30.99	o 165
31.76/31.95	o 164
32.74/32.91	o 163
32.78/33.87	o 162
34.64/34.85	o 161
35.63/35.82	o 160
36.53/36.79	o 159
37.52/37.76	o 158
38.52/38.73	o 157
39.52/39.70	o 156
40.43/40.67	o 155
40.53/41.64	o 154
42.43/42.61	o 153
43.31/43.59	o 152
44.31/44.56	o 151
45.30/45.54	o 150
46.32/46.52	o 149
47.32/47.51	o 148
48.22/48.49	o 147
49.20/49.48	o 146
49.31/50.47	o 145
51.20/51.47	o 144
52.19/52.47	o 143
53.18/53.46	o 142
54.19/54.46	o 141
55.19/55.47	o 140
56.19/56.47	o 139
57.18/57.47	o 138
58.18/58.48	o 137
59.19/59.48	o 136
60.20/60.48	o 135
61.29/61.51	o 134
62.28/62.51	o 133
63.27/63.51	o 132
64.26/64.51	o 131
65.26/65.52	o 130
66.26/66.53	o 129
67.26/67.53	o 128
68.25/68.54	o 127
69.25/69.55	o 126
70.26/70.57	o 125
71.25/71.59	o 124
72.37/72.61	o 123
73.34/73.63	o 122
73.41/74.66	o 121
75.34/75.68	o 120
76.45/76.70	o 119
77.44/77.73	o 118
78.44/78.75	o 117
79.43/79.77	o 116
80.44/80.79	o 115
81.55/81.80	o 114
82.53/82.82	o 113
83.53/83.84	o 112
84.53/84.86	o 111
85.53/85.87	o 110
86.53/86.89	o 109
87.63/87.91	o 108
87.67/88.93	o 107
89.62/89.96	o 106
90.60/90.99	o 105
91.72/92.01	o 104
92.71/93.04	o 103
93.71/94.06	o 102
94.71/95.09	o 101
95.83/96.11	o 100
96.80/97.14	o 99
97.80/98.16	o 98
98.80/99.19	o 97
99.91/100.20	o 96
100.93/101.22	o 95
101.95/102.40	o 94
102.95/103.41	o 93
103.93/104.43	o 92
103.98/105.44	o 91
105.95/106.52	o 90
106.94/107.53	o 89
107.94/108.55	o 88
108.93/109.56	o 87
109.93/110.58	o 86
111.05/111.60	o 85
112.03/112.62	o 84
113.03/113.63	o 83
114.07/114.71	o 82
115.06/115.73	o 81
116.05/116.74	o 80
117.06/117.75	o 79
118.11/118.81	o 78
119.11/119.82	o 77
119.15/120.81	o 76
121.10/121.81	o 75
122.11/122.81	o 74
123.10/123.80	o 73
123.97/124.79	o 72
124.98/125.78	o 71
125.99/126.78	o 70
126.94/127.79	o 69
127.95/128.78	o 68
128.95/129.77	o 67
129.04/130.76	o 66
130.94/131.75	o 65
131.94/132.74	o 64
132.93/133.73	o 63
133.94/134.71	o 62
134.95/135.70	o 61
135.84/136.68	o 60
136.83/137.66	o 59
137.83/138.64	o 58
138.85/139.61	o 57
138.87/140.58	o 56
140.72/141.54	o 55
141.73/142.50	o 54
142.62/143.46	o 53
143.61/144.42	o 52
144.53/145.38	o 51
145.51/146.33	o 50
145.57/147.28	o 49
147.40/148.23	o 48
148.32/149.18	o 47
149.32/150.14	o 46
150.21/151.09	o 45
151.20/152.04	o 44
152.10/152.94	o 43
152.16/153.88	o 42
153.99/154.83	o 41
154.88/155.77	o 40
155.91/156.71	o 39
156.78/157.64	o 38
157.68/158.53	o 37
158.60/159.53	o 36
158.67/160.45	o 35
160.41/161.36	o 34
161.32/162.28	o 33
162.21/163.19	o 32
163.21/164.10	o 31
164.11/165.01	o 30
164.14/165.91	o 29
165.89/166.82	o 28
166.78/167.72	o 27
167.69/168.62	o 26
168.58/169.51	o 25
169.50/170.41	o 24
169.54/171.39	o 23
171.30/172.30	o 22
172.08/173.19	o 21
173.05/174.10	o 20
173.86/174.98	o 19
173.96/175.86	o 18
175.63/176.74	o 17
176.54/177.63	o 13
362.07/363.26	o 12
831.75/833.19	o 11
1800.00/1801.62	c Somebody sent me a SIGTERM
1800.00/1801.62	s SATISFIABLE
1800.00/1801.62	v x1 x2 x7 x10 x14 x23 x25 x28 x52 x69 x78 x292 x299 x319 x338 x341 x350 x365 x380 x385 x400 x423 x425 x429 x474 x475 x476 x528 x538
1800.00/1801.62	v x582 x583 x605 x615 x643 x685 x738 x768 x772 x773 x775 x777 x797 x815 x816 x849 x900 x924 x926 x943 x949 x958 x992 x1016 x1064
1800.00/1801.62	v x1070 x1136 x1139 x1141 x1173 x1177 x1198 x1240 x1274 x1277 x1279 x1339 x1361 x1381 x1420 x1448 x1483 x1486 x1517 x1537 x1552
1800.00/1801.62	v x1553 x1555 x1558 x1561 x1587 x1591 x1595 x1596 x1627 x1628 x1663 x1670 x1696 x1720 x1735 x1758 x1761 x1765 x1767 x1770 x1773
1800.00/1801.62	v x1783 x1792 x1808 x1829 x1833 x1866 x1868 x1870 x1904 x1905 x1917 x1938 x1939 x1971 x1975 x1997 x2002 x2004 x2008 x2077 x2113
1800.00/1801.62	v x2145 x2150 x2152 x2170 x2177 x2205 x2239 x2261 x2279 x2285 x2307 x2313 x2344 x2346 x2348 x2379 x2402 x2413 x2423 x2451 x2462
1800.00/1801.62	v x2485 x2491 x2525 x2528 x2557 x2558 x2560 x2592 x2668 x2698 x2710 x2715 x2735 x2736 x2768 x2773 x2800 x2811 x2859 x2870 x2902
1800.00/1801.62	v x2903 x2905 x2971 x3001 x3011 x3031 x3034 x3046 x3062 x3063 x3077 x3092 x3096 x3124 x3155 x3156 x3157 x3189 x3191 x3195 x3199
1800.00/1801.62	v x3218 x3225 x3249 x3261 x3286 x3290 x3318 x3351 x3359 x3361 x3384 x3414 x3444 x3456 x3478 x3481 x3482 x3491 x3507 x3518 x3538
1800.00/1801.62	v x3540 x3567 x3571 x3581 x3600 x3601 x3630 x3631 x3658 x3662 x3666 x3685 x3697 x3713 x3741 x3744 x3748 x3749 x3753 x3770 x3801
1800.00/1801.62	v x3828 x3829 x3830 x3833 x3860 x3862 x3863 x3871 x3893 x3895 x3896 x3924 x3956 x3988 x3997 x4023 x4053 x4058 x4064 x4086 x4088
1800.00/1801.62	v x4122 x4144 x4170 x4173 x4180 x4205 x4230 x4260 x4270 x4295 x4302 x4325 x4329 x4336 x4353 x4385 x4388 x4392 x4396 x4413 x4419
1800.00/1801.62	v x4420 x4439 x4442 x4446 x4469 x4471 x4472 x4495 x4496 x4499 x4526 x4533 x4557 x4560 x4581 x4585 x4606 x4609 x4636 x4643 x4663
1800.00/1801.62	v x4666 x4667 x4700 x4726 x4733 x4740 x4763 x4788 x4790 x4791 x4795 x4812 x4817 x4825 x4838 x4841 x4847 x4866 x4867 x4869 x4875
1800.00/1801.62	v x4891 x4900 x4902 x4922 x4924 x4956 x4973 x5003 x5004 x5014 x5035 x5061 x5065 x5074 x5075 x5087 x5114 x5116 x5121 x5140 x5153
1800.00/1801.62	v x5172 x5179 x5183 x5198 x5200 x5210 x5224 x5254 x5292 x5307 x5331 x5335 x5345 x5367 x5385 x5411 x5437 x5468 x5469 x5477 x5490
1800.00/1801.62	v x5499 x5517 x5518 x5519 x5522 x5531 x5545 x5546 x5553 x5571 x5574 x5598 x5601 x5604 x5613 x5627 x5656 x5661 x5687 x5689 x5705
1800.00/1801.62	v x5729 x5730 x5733 x5736 x5759 x5787 x5810 x5834 x5836 x5837 x5865 x5871 x5891 x5899 x5918 x5922 x5929 x5943 x5969 x5981 x5995
1800.00/1801.62	v x5996 x6023 x6047 x6072 x6075 x6077 x6106 x6124 x6155 x6176 x6177 x6182 x6188 x6190 x6206 x6215 x6228 x6233 x6235 x6253 x6261
1800.00/1801.62	v x6279 x6304 x6334 x6352 x6360 x6377 x6381 x6402
1800.00/1801.62	pb2clasp1: no process killed
1800.00/1801.63	clasp: no process killed
833.83/1803.62	sh: line 1: 15169 Done                    cat /tmp/evaluation/453700-1178149965/temp/instance-453700-1178149965.opb.op
833.83/1803.62	     15170 Killed                  | clasp >/tmp/evaluation/453700-1178149965/temp/instance-453700-1178149965.opb.clasp

Verifier Data (download as text)

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

Falsified constraint is:
+1*~x3[=0]*x28[=1]+1*~x3[=0]*x190[=0]+1*~x3[=0]*x43[=0]+1*~x3[=0]*x174[=0]+1*~x3[=0]*x117[=0]+1*~x3[=0]*x128[=0]+1*~x3[=0]*x34[=0]+1*~x3[=0]*x69[=1]+1*~x3[=0]*x89[=0]+1*~x3[=0]*x140[=0]+1*~x3[=0]*x51[=0]+1*~x3[=0]*x91[=0]+1*~x3[=0]*x145[=0]+1*~x3[=0]*x88[=0]+1*~x3[=0]*x104[=0]+1*~x3[=0]*x162[=0]+1*~x3[=0]*x75[=0]+1*~x3[=0]*x79[=0]+1*~x3[=0]*x199[=0]+1*~x3[=0]*x80[=0]+1*~x3[=0]*x64[=0]+1*~x3[=0]*x95[=0]+1*~x3[=0]*x87[=0]+1*~x3[=0]*x53[=0]+1*~x3[=0]*x35[=0]+1*~x3[=0]*x13[=0]+1*~x3[=0]*x20[=0]+1*~x3[=0]*x23[=1]+1*~x3[=0]*x100[=0]+1*~x3[=0]*x137[=0]+1*~x3[=0]*x175[=0]+1*~x3[=0]*x181[=0]+1*~x3[=0]*x195[=0]+1*x3[=0] >= 1

Conversion Script Data (download as text)

Linearizing /tmp/evaluation/453700-1178149965/instance-453700-1178149965.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-453700-1178149965 -o ROOT/results/node19/solver-453700-1178149965 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-453700-1178149965.opb /tmp/evaluation/453700-1178149965/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.78 0.95 0.95 3/77 13479
/proc/meminfo: memFree=1796784/2055920 swapFree=4153644/4192956
[pid=13479] ppid=13477 vsize=12268 CPUtime=0
/proc/13479/stat : 13479 (pbclasp) R 13477 13479 13392 0 -1 4194304 397 0 0 0 0 0 0 0 18 0 1 0 262913932 12562432 364 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255236412129 0 0 4224 0 0 0 0 17 1 0 0
/proc/13479/statm: 3067 365 276 3 0 167 0

[startup+0.016365 s]
/proc/loadavg: 0.78 0.95 0.95 3/77 13479
/proc/meminfo: memFree=1796784/2055920 swapFree=4153644/4192956
[pid=13479] ppid=13477 vsize=12664 CPUtime=0.01
/proc/13479/stat : 13479 (pbclasp) S 13477 13479 13392 0 -1 4194304 549 0 0 0 1 0 0 0 16 0 1 0 262913932 12967936 503 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245463650 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/13479/statm: 3166 503 324 3 0 266 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12664

[startup+0.10225 s]
/proc/loadavg: 0.78 0.95 0.95 3/77 13479
/proc/meminfo: memFree=1796784/2055920 swapFree=4153644/4192956
[pid=13479] ppid=13477 vsize=12664 CPUtime=0.01
/proc/13479/stat : 13479 (pbclasp) S 13477 13479 13392 0 -1 4194304 549 0 0 0 1 0 0 0 16 0 1 0 262913932 12967936 503 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245463650 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/13479/statm: 3166 503 324 3 0 266 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12664

[startup+0.30127 s]
/proc/loadavg: 0.78 0.95 0.95 3/77 13479
/proc/meminfo: memFree=1796784/2055920 swapFree=4153644/4192956
[pid=13479] ppid=13477 vsize=12664 CPUtime=0.01
/proc/13479/stat : 13479 (pbclasp) S 13477 13479 13392 0 -1 4194304 549 0 0 0 1 0 0 0 16 0 1 0 262913932 12967936 503 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245463650 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/13479/statm: 3166 503 324 3 0 266 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12664

[startup+0.701314 s]
/proc/loadavg: 0.78 0.95 0.95 3/77 13479
/proc/meminfo: memFree=1796784/2055920 swapFree=4153644/4192956
[pid=13479] ppid=13477 vsize=12664 CPUtime=0.01
/proc/13479/stat : 13479 (pbclasp) S 13477 13479 13392 0 -1 4194304 549 0 0 0 1 0 0 0 16 0 1 0 262913932 12967936 503 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245463650 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/13479/statm: 3166 503 324 3 0 266 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12664

[startup+1.5024 s]
/proc/loadavg: 0.78 0.95 0.95 2/80 13482
/proc/meminfo: memFree=1794648/2055920 swapFree=4153644/4192956
[pid=13479] ppid=13477 vsize=12664 CPUtime=1.01
/proc/13479/stat : 13479 (pbclasp) S 13477 13479 13392 0 -1 4194304 638 1593 0 0 1 0 98 2 16 0 1 0 262913932 12967936 528 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/13479/statm: 3166 528 343 3 0 266 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 12664

[startup+3.10157 s]
/proc/loadavg: 0.78 0.95 0.95 2/81 13497
/proc/meminfo: memFree=1790096/2055920 swapFree=4153644/4192956
[pid=13479] ppid=13477 vsize=12664 CPUtime=2.71
/proc/13479/stat : 13479 (pbclasp) S 13477 13479 13392 0 -1 4194304 880 12599 0 0 1 0 260 10 16 0 1 0 262913932 12967936 532 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/13479/statm: 3166 532 343 3 0 266 0
Current children cumulated CPU time (s) 2.71
Current children cumulated vsize (KiB) 12664

[startup+6.30192 s]
/proc/loadavg: 0.80 0.95 0.95 2/81 13529
/proc/meminfo: memFree=1793152/2055920 swapFree=4153644/4192956
[pid=13479] ppid=13477 vsize=12664 CPUtime=6.18
/proc/13479/stat : 13479 (pbclasp) S 13477 13479 13392 0 -1 4194304 1342 35542 0 0 2 1 590 25 16 0 1 0 262913932 12967936 535 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/13479/statm: 3166 535 343 3 0 266 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 12664

[startup+12.7016 s]
/proc/loadavg: 0.81 0.95 0.95 2/81 13585
/proc/meminfo: memFree=1784872/2055920 swapFree=4153644/4192956
[pid=13479] ppid=13477 vsize=12664 CPUtime=12.38
/proc/13479/stat : 13479 (pbclasp) S 13477 13479 13392 0 -1 4194304 2165 77244 0 0 4 2 1179 53 16 0 1 0 262913932 12967936 536 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/13479/statm: 3166 536 343 3 0 266 0
Current children cumulated CPU time (s) 12.38
Current children cumulated vsize (KiB) 12664

[startup+25.502 s]
/proc/loadavg: 0.85 0.95 0.95 2/80 13697
/proc/meminfo: memFree=1775336/2055920 swapFree=4153644/4192956
[pid=13479] ppid=13477 vsize=12664 CPUtime=25.22
/proc/13479/stat : 13479 (pbclasp) S 13477 13479 13392 0 -1 4194304 3884 165974 0 0 11 4 2397 110 16 0 1 0 262913932 12967936 541 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/13479/statm: 3166 541 343 3 0 266 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 12664

[startup+51.1028 s]
/proc/loadavg: 0.90 0.96 0.95 2/81 13913
/proc/meminfo: memFree=1793312/2055920 swapFree=4153644/4192956
[pid=13479] ppid=13477 vsize=12796 CPUtime=50.31
/proc/13479/stat : 13479 (pbclasp) S 13477 13479 13392 0 -1 4194304 7171 353874 0 0 33 8 4758 232 16 0 1 0 262913932 13103104 549 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/13479/statm: 3199 549 343 3 0 299 0
[pid=13911] ppid=13479 vsize=5356 CPUtime=0
/proc/13911/stat : 13911 (sh) S 13479 13479 13392 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 262918981 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13911/statm: 1339 225 188 169 0 50 0
[pid=13912] ppid=13911 vsize=2520 CPUtime=0
/proc/13912/stat : 13912 (cat) S 13911 13479 13392 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 262918982 2580480 87 18446744073709551615 4194304 4211220 548682069360 18446744073709551615 255236735202 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/13912/statm: 630 87 71 4 0 42 0
[pid=13913] ppid=13911 vsize=16212 CPUtime=0.6
/proc/13913/stat : 13913 (clasp) R 13911 13479 13392 0 -1 4194304 3685 0 0 0 58 2 0 0 25 0 1 0 262918982 16601088 3647 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134710598 0 0 4096 0 0 0 0 17 1 0 0
/proc/13913/statm: 4053 3647 184 154 0 3523 0
Current children cumulated CPU time (s) 50.91
Current children cumulated vsize (KiB) 36884

[startup+102.306 s]
/proc/loadavg: 0.96 0.96 0.95 2/80 14313
/proc/meminfo: memFree=1771304/2055920 swapFree=4153644/4192956
[pid=13479] ppid=13477 vsize=12796 CPUtime=100.95
/proc/13479/stat : 13479 (pbclasp) S 13477 13479 13392 0 -1 4194304 13725 762439 0 0 114 15 9480 486 16 0 1 0 262913932 13103104 554 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/13479/statm: 3199 554 343 3 0 299 0
[pid=14311] ppid=13479 vsize=5356 CPUtime=0
/proc/14311/stat : 14311 (sh) S 13479 13479 13392 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 262924073 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14311/statm: 1339 225 188 169 0 50 0
[pid=14313] ppid=14311 vsize=25864 CPUtime=0.89
/proc/14313/stat : 14313 (clasp) R 14311 13479 13392 0 -1 4194304 6679 0 0 0 87 2 0 0 25 0 1 0 262924073 26484736 5917 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134676044 0 0 4096 0 0 0 0 17 1 0 0
/proc/14313/statm: 6466 5917 194 154 0 5936 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 44016

[startup+162.302 s]
/proc/loadavg: 0.98 0.97 0.95 2/81 14801
/proc/meminfo: memFree=1788896/2055920 swapFree=4153644/4192956
[pid=13479] ppid=13477 vsize=12796 CPUtime=161.42
/proc/13479/stat : 13479 (pbclasp) S 13477 13479 13392 0 -1 4194304 21858 1248082 0 0 207 23 15133 779 16 0 1 0 262913932 13103104 554 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/13479/statm: 3199 554 343 3 0 299 0
Current children cumulated CPU time (s) 161.42
Current children cumulated vsize (KiB) 12796

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/80 14945
/proc/meminfo: memFree=1762128/2055920 swapFree=4153644/4192956
[pid=13479] ppid=13477 vsize=12796 CPUtime=176.59
/proc/13479/stat : 13479 (pbclasp) S 13477 13479 13392 0 -1 4194304 24024 1357106 0 0 216 25 16570 848 16 0 1 0 262913932 13103104 554 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/13479/statm: 3199 554 343 3 0 299 0
[pid=14943] ppid=13479 vsize=5356 CPUtime=0
/proc/14943/stat : 14943 (sh) S 13479 13479 13392 0 -1 4194304 289 122 0 0 0 0 0 0 15 0 1 0 262931697 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14943/statm: 1339 225 188 169 0 50 0
[pid=14945] ppid=14943 vsize=33164 CPUtime=44.62
/proc/14945/stat : 14945 (clasp) R 14943 13479 13392 0 -1 4194304 8123 0 0 0 4457 5 0 0 25 0 1 0 262931698 33959936 7905 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134740788 0 0 4096 0 0 0 0 17 1 0 0
/proc/14945/statm: 8291 7905 196 154 0 7761 0
Current children cumulated CPU time (s) 221.21
Current children cumulated vsize (KiB) 51316

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/80 14945
/proc/meminfo: memFree=1742352/2055920 swapFree=4153644/4192956
[pid=13479] ppid=13477 vsize=12796 CPUtime=176.59
/proc/13479/stat : 13479 (pbclasp) S 13477 13479 13392 0 -1 4194304 24024 1357106 0 0 216 25 16570 848 16 0 1 0 262913932 13103104 554 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/13479/statm: 3199 554 343 3 0 299 0
[pid=14943] ppid=13479 vsize=5356 CPUtime=0
/proc/14943/stat : 14943 (sh) S 13479 13479 13392 0 -1 4194304 289 122 0 0 0 0 0 0 15 0 1 0 262931697 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14943/statm: 1339 225 188 169 0 50 0
[pid=14945] ppid=14943 vsize=53324 CPUtime=104.61
/proc/14945/stat : 14945 (clasp) R 14943 13479 13392 0 -1 4194304 13156 0 0 0 10450 11 0 0 25 0 1 0 262931698 54603776 12938 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134740788 0 0 4096 0 0 0 0 17 1 0 0
/proc/14945/statm: 13331 12938 196 154 0 12801 0
Current children cumulated CPU time (s) 281.2
Current children cumulated vsize (KiB) 71476

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/80 14945
/proc/meminfo: memFree=1716440/2055920 swapFree=4153644/4192956
[pid=13479] ppid=13477 vsize=12796 CPUtime=176.59
/proc/13479/stat : 13479 (pbclasp) S 13477 13479 13392 0 -1 4194304 24024 1357106 0 0 216 25 16570 848 16 0 1 0 262913932 13103104 554 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/13479/statm: 3199 554 343 3 0 299 0
[pid=14943] ppid=13479 vsize=5356 CPUtime=0
/proc/14943/stat : 14943 (sh) S 13479 13479 13392 0 -1 4194304 289 122 0 0 0 0 0 0 15 0 1 0 262931697 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14943/statm: 1339 225 188 169 0 50 0
[pid=14945] ppid=14943 vsize=78960 CPUtime=164.59
/proc/14945/stat : 14945 (clasp) R 14943 13479 13392 0 -1 4194304 19648 0 0 0 16441 18 0 0 25 0 1 0 262931698 80855040 19328 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134714546 0 0 4096 0 0 0 0 17 1 0 0
/proc/14945/statm: 19740 19328 196 154 0 19210 0
Current children cumulated CPU time (s) 341.18
Current children cumulated vsize (KiB) 97112

[startup+402.303 s]
/proc/loadavg: 0.99 0.97 0.95 2/80 14953
/proc/meminfo: memFree=1766488/2055920 swapFree=4153644/4192956
[pid=13479] ppid=13477 vsize=12796 CPUtime=362.18
/proc/13479/stat : 13479 (pbclasp) S 13477 13479 13392 0 -1 4194304 24148 1378142 0 0 216 26 35106 870 18 0 1 0 262913932 13103104 554 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/13479/statm: 3199 554 343 3 0 299 0
[pid=14951] ppid=13479 vsize=5356 CPUtime=0
/proc/14951/stat : 14951 (sh) S 13479 13479 13392 0 -1 4194304 289 122 0 0 0 0 0 0 16 0 1 0 262950260 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14951/statm: 1339 225 188 169 0 50 0
[pid=14953] ppid=14951 vsize=29048 CPUtime=39
/proc/14953/stat : 14953 (clasp) R 14951 13479 13392 0 -1 4194304 7076 0 0 0 3896 4 0 0 25 0 1 0 262950260 29745152 6858 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134741339 0 0 4096 0 0 0 0 17 1 0 0
/proc/14953/statm: 7262 6858 196 154 0 6732 0

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

/proc/15157/statm: 1339 225 188 169 0 50 0
[pid=15159] ppid=15157 vsize=121044 CPUtime=768.88
/proc/15159/stat : 15159 (clasp) R 15157 13479 13392 0 -1 4194304 30114 0 0 0 76858 30 0 0 25 0 1 0 262997253 123949056 29794 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134741339 0 0 4096 0 0 0 0 17 1 0 0
/proc/15159/statm: 30261 29794 196 154 0 29731 0
Current children cumulated CPU time (s) 1600.75
Current children cumulated vsize (KiB) 139196

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/80 15159
/proc/meminfo: memFree=1661976/2055920 swapFree=4153644/4192956
[pid=13479] ppid=13477 vsize=12796 CPUtime=831.87
/proc/13479/stat : 13479 (pbclasp) S 13477 13479 13392 0 -1 4194304 24274 1408305 0 0 217 26 82043 901 16 0 1 0 262913932 13103104 554 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/13479/statm: 3199 554 343 3 0 299 0
[pid=15157] ppid=13479 vsize=5356 CPUtime=0
/proc/15157/stat : 15157 (sh) S 13479 13479 13392 0 -1 4194304 289 122 0 0 0 0 0 0 16 0 1 0 262997253 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15157/statm: 1339 225 188 169 0 50 0
[pid=15159] ppid=15157 vsize=133252 CPUtime=828.86
/proc/15159/stat : 15159 (clasp) R 15157 13479 13392 0 -1 4194304 33161 0 0 0 82853 33 0 0 25 0 1 0 262997253 136450048 32841 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134769205 0 0 4096 0 0 0 0 17 1 0 0
/proc/15159/statm: 33313 32841 196 154 0 32783 0
Current children cumulated CPU time (s) 1660.73
Current children cumulated vsize (KiB) 151404

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/80 15159
/proc/meminfo: memFree=1659992/2055920 swapFree=4153644/4192956
[pid=13479] ppid=13477 vsize=12796 CPUtime=831.87
/proc/13479/stat : 13479 (pbclasp) S 13477 13479 13392 0 -1 4194304 24274 1408305 0 0 217 26 82043 901 16 0 1 0 262913932 13103104 554 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/13479/statm: 3199 554 343 3 0 299 0
[pid=15157] ppid=13479 vsize=5356 CPUtime=0
/proc/15157/stat : 15157 (sh) S 13479 13479 13392 0 -1 4194304 289 122 0 0 0 0 0 0 16 0 1 0 262997253 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15157/statm: 1339 225 188 169 0 50 0
[pid=15159] ppid=15157 vsize=135144 CPUtime=888.85
/proc/15159/stat : 15159 (clasp) R 15157 13479 13392 0 -1 4194304 33630 0 0 0 88851 34 0 0 25 0 1 0 262997253 138387456 33310 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134769198 0 0 4096 0 0 0 0 17 1 0 0
/proc/15159/statm: 33786 33310 196 154 0 33256 0
Current children cumulated CPU time (s) 1720.72
Current children cumulated vsize (KiB) 153296

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/80 15159
/proc/meminfo: memFree=1659992/2055920 swapFree=4153644/4192956
[pid=13479] ppid=13477 vsize=12796 CPUtime=831.87
/proc/13479/stat : 13479 (pbclasp) S 13477 13479 13392 0 -1 4194304 24274 1408305 0 0 217 26 82043 901 16 0 1 0 262913932 13103104 554 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/13479/statm: 3199 554 343 3 0 299 0
[pid=15157] ppid=13479 vsize=5356 CPUtime=0
/proc/15157/stat : 15157 (sh) S 13479 13479 13392 0 -1 4194304 289 122 0 0 0 0 0 0 16 0 1 0 262997253 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15157/statm: 1339 225 188 169 0 50 0
[pid=15159] ppid=15157 vsize=135144 CPUtime=948.83
/proc/15159/stat : 15159 (clasp) R 15157 13479 13392 0 -1 4194304 33634 0 0 0 94848 35 0 0 25 0 1 0 262997253 138387456 33314 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134769196 0 0 4096 0 0 0 0 17 1 0 0
/proc/15159/statm: 33786 33314 196 154 0 33256 0
Current children cumulated CPU time (s) 1780.7
Current children cumulated vsize (KiB) 153296



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.6 s]
/proc/loadavg: 0.99 0.97 0.95 2/80 15159
/proc/meminfo: memFree=1659992/2055920 swapFree=4153644/4192956
[pid=13479] ppid=13477 vsize=12796 CPUtime=831.87
/proc/13479/stat : 13479 (pbclasp) S 13477 13479 13392 0 -1 4194304 24274 1408305 0 0 217 26 82043 901 16 0 1 0 262913932 13103104 554 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/13479/statm: 3199 554 343 3 0 299 0
[pid=15157] ppid=13479 vsize=5356 CPUtime=0
/proc/15157/stat : 15157 (sh) S 13479 13479 13392 0 -1 4194304 289 122 0 0 0 0 0 0 16 0 1 0 262997253 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15157/statm: 1339 225 188 169 0 50 0
[pid=15159] ppid=15157 vsize=135144 CPUtime=968.13
/proc/15159/stat : 15159 (clasp) R 15157 13479 13392 0 -1 4194304 33635 0 0 0 96778 35 0 0 25 0 1 0 262997253 138387456 33315 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134769183 0 0 4096 0 0 0 0 17 1 0 0
/proc/15159/statm: 33786 33315 196 154 0 33256 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 153296

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

[startup+1801.6 s]
/proc/loadavg: 0.99 0.97 0.95 2/80 15159
/proc/meminfo: memFree=1659992/2055920 swapFree=4153644/4192956
[pid=13479] ppid=13477 vsize=12796 CPUtime=831.87
/proc/13479/stat : 13479 (pbclasp) S 13477 13479 13392 0 -1 4194304 24274 1408305 0 0 217 26 82043 901 16 0 1 0 262913932 13103104 554 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/13479/statm: 3199 554 343 3 0 299 0
[pid=15157] ppid=13479 vsize=5356 CPUtime=0
/proc/15157/stat : 15157 (sh) S 13479 13479 13392 0 -1 4194304 289 122 0 0 0 0 0 0 16 0 1 0 262997253 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15157/statm: 1339 225 188 169 0 50 0
[pid=15159] ppid=15157 vsize=135144 CPUtime=968.13
/proc/15159/stat : 15159 (clasp) R 15157 13479 13392 0 -1 4194304 33635 0 0 0 96778 35 0 0 25 0 1 0 262997253 138387456 33315 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134769183 0 0 4096 0 0 0 0 17 1 0 0
/proc/15159/statm: 33786 33315 196 154 0 33256 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 153296

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

[startup+1801.72 s]
/proc/loadavg: 0.99 0.97 0.95 2/82 15170
/proc/meminfo: memFree=1791880/2055920 swapFree=4153644/4192956
[pid=13479] ppid=13477 vsize=12796 CPUtime=831.9
/proc/13479/stat : 13479 (pbclasp) S 13477 13479 13392 0 -1 4194304 24443 1410091 0 0 217 26 82044 903 16 0 1 0 262913932 13103104 554 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/13479/statm: 3199 554 343 3 0 299 0
[pid=15168] ppid=13479 vsize=5356 CPUtime=0
/proc/15168/stat : 15168 (sh) S 13479 13479 13392 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 263094097 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15168/statm: 1339 225 188 169 0 50 0
[pid=15169] ppid=15168 vsize=2520 CPUtime=0
/proc/15169/stat : 15169 (cat) S 15168 13479 13392 0 -1 4194304 120 0 0 0 0 0 0 0 16 0 1 0 263094097 2580480 87 18446744073709551615 4194304 4211220 548682069360 18446744073709551615 255236735202 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/15169/statm: 630 87 71 4 0 42 0
[pid=15170] ppid=15168 vsize=2964 CPUtime=0.06
/proc/15170/stat : 15170 (clasp) R 15168 13479 13392 0 -1 4194304 406 0 0 0 6 0 0 0 18 0 1 0 263094097 3035136 368 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 7919227 0 0 4096 0 0 0 0 17 1 0 0
/proc/15170/statm: 741 368 173 154 0 211 0
Current children cumulated CPU time (s) 831.96
Current children cumulated vsize (KiB) 23636

Sending SIGKILL to process tree (bottom up)

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

[startup+1803 s]
/proc/loadavg: 0.99 0.97 0.95 2/81 15170
/proc/meminfo: memFree=1776016/2055920 swapFree=4153644/4192956
[pid=13479] ppid=13477 vsize=12796 CPUtime=831.9
/proc/13479/stat : 13479 (pbclasp) S 13477 13479 13392 0 -1 4194304 24443 1410091 0 0 217 26 82044 903 16 0 1 0 262913932 13103104 554 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/13479/statm: 3199 554 343 3 0 299 0
[pid=15168] ppid=13479 vsize=5356 CPUtime=0
/proc/15168/stat : 15168 (sh) S 13479 13479 13392 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 263094097 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15168/statm: 1339 225 188 169 0 50 0
[pid=15170] ppid=15168 vsize=18900 CPUtime=1.33
/proc/15170/stat : 15170 (clasp) R 15168 13479 13392 0 -1 4194304 4574 0 0 0 132 1 0 0 25 0 1 0 263094097 19353600 4356 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134740923 0 0 4096 0 0 0 0 17 1 0 0
/proc/15170/statm: 4725 4356 196 154 0 4195 0
Current children cumulated CPU time (s) 833.23
Current children cumulated vsize (KiB) 37052

[startup+1803.4 s]
/proc/loadavg: 0.99 0.97 0.95 2/81 15170
/proc/meminfo: memFree=1776016/2055920 swapFree=4153644/4192956
[pid=13479] ppid=13477 vsize=12796 CPUtime=831.9
/proc/13479/stat : 13479 (pbclasp) S 13477 13479 13392 0 -1 4194304 24443 1410091 0 0 217 26 82044 903 16 0 1 0 262913932 13103104 554 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/13479/statm: 3199 554 343 3 0 299 0
[pid=15168] ppid=13479 vsize=5356 CPUtime=0
/proc/15168/stat : 15168 (sh) S 13479 13479 13392 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 263094097 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15168/statm: 1339 225 188 169 0 50 0
[pid=15170] ppid=15168 vsize=18900 CPUtime=1.73
/proc/15170/stat : 15170 (clasp) R 15168 13479 13392 0 -1 4194304 4574 0 0 0 172 1 0 0 25 0 1 0 263094097 19353600 4356 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134768773 0 0 4096 0 0 0 0 17 1 0 0
/proc/15170/statm: 4725 4356 196 154 0 4195 0
Current children cumulated CPU time (s) 833.63
Current children cumulated vsize (KiB) 37052

[startup+1803.6 s]
/proc/loadavg: 0.99 0.97 0.95 2/81 15170
/proc/meminfo: memFree=1776016/2055920 swapFree=4153644/4192956
[pid=13479] ppid=13477 vsize=12796 CPUtime=831.9
/proc/13479/stat : 13479 (pbclasp) S 13477 13479 13392 0 -1 4194304 24443 1410091 0 0 217 26 82044 903 16 0 1 0 262913932 13103104 554 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/13479/statm: 3199 554 343 3 0 299 0
[pid=15168] ppid=13479 vsize=5356 CPUtime=0
/proc/15168/stat : 15168 (sh) S 13479 13479 13392 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 263094097 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15168/statm: 1339 225 188 169 0 50 0
[pid=15170] ppid=15168 vsize=18900 CPUtime=1.93
/proc/15170/stat : 15170 (clasp) R 15168 13479 13392 0 -1 4194304 4574 0 0 0 192 1 0 0 25 0 1 0 263094097 19353600 4356 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134740788 0 0 4096 0 0 0 0 17 1 0 0
/proc/15170/statm: 4725 4356 196 154 0 4195 0
Current children cumulated CPU time (s) 833.83
Current children cumulated vsize (KiB) 37052

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): 968.04
#  lost CPU user time (s): 967.71
#  lost CPU system time (s): 0.330001

Real time (s): 1803.63
CPU time (s): 1801.94
CPU user time (s): 1792.27
CPU system time (s): 9.66558
CPU usage (%): 99.9062
Max. virtual memory (cumulated for all children) (KiB): 153296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 824.56
system time used= 9.33558
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1439670
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= 35114
involuntary context switches= 31239

runsolver used 1.55376 second user time and 5.03423 second system time

The end

Launcher Data (download as text)

Begin job on node19 on Wed May  2 23:52:45 UTC 2007

IDJOB= 453700
IDBENCH= 48148
IDSOLVER= 158
FILE ID= node19/453700-1178149965

PBS_JOBID= 4751077

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

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

META MD5SUM SOLVER= 814f1745fa20958d8b352781cfa0403e
MD5SUM BENCH=  e3f554c192a1ee7b261cc2808827870e

RANDOM SEED= 754944475

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:       1797256 kB
Buffers:         95040 kB
Cached:          76980 kB
SwapCached:       8384 kB
Active:         105836 kB
Inactive:        97448 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1797256 kB
SwapTotal:     4192956 kB
SwapFree:      4153644 kB
Dirty:            1716 kB
Writeback:           0 kB
Mapped:          29644 kB
Slab:            40924 kB
Committed_AS:  8861588 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 Thu May  3 00:22:49 UTC 2007