Trace number 3712182

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2012-05-17? (TO) 1800.11 1800.41

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-myciel5g-3_wcsp.wbo
MD5SUM2db150696fc8aa7bc9f51554db7714aa
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark16
Best CPU time to get the best result obtained on this benchmark226.727
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables141
Total number of constraints755
Number of soft constraints708
Number of constraints which are clauses708
Number of constraints which are cardinality constraints (but not clauses)47
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Top cost 237
Min constraint cost 1
Max constraint cost 1
Sum of constraints costs 708
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.06	c 2012-05-28T15:56:07+0200
0.00/0.06	c arch = x86_64
0.00/0.06	c os = linux
0.00/0.06	c compiler = ghc 7.4
0.00/0.06	c packages:
0.00/0.06	c   OptDir-0.0.1
0.00/0.06	c   array-0.4.0.0
0.00/0.06	c   base-4.5.0.0
0.00/0.06	c   bytestring-0.9.2.1
0.00/0.06	c   containers-0.4.2.1
0.00/0.06	c   deepseq-1.3.0.0
0.00/0.06	c   mtl-2.1.1
0.00/0.06	c   old_locale-1.0.0.4
0.00/0.06	c   parse_dimacs-1.2
0.00/0.06	c   parsec-3.1.2
0.00/0.06	c   queue-0.1.2
0.00/0.06	c   stm-2.3
0.00/0.06	c   time-1.4
0.00/0.06	c command line = ["--wbo","HOME/instance-3712182-1338213367.wbo"]
0.00/0.06	c #vars 141
0.00/0.06	c #constraints 755
0.00/0.06	c Solving starts ...
0.07/0.08	c solving time = 0.017s
0.07/0.08	c #decision = 1557
0.07/0.08	c #conflict = 101
0.07/0.08	c #restart = 1
0.07/0.08	o 45
0.07/0.08	c Solving starts ...
0.07/0.09	c solving time = 0.002s
0.07/0.09	c #decision = 2227
0.07/0.09	c #conflict = 108
0.07/0.09	c #restart = 1
0.07/0.09	o 44
0.07/0.09	c Solving starts ...
0.39/0.49	c learnt constraints deletion: 793 -> 401
0.79/0.83	c learnt constraints deletion: 889 -> 452
1.19/1.28	c learnt constraints deletion: 968 -> 496
1.58/1.69	c learnt constraints deletion: 1044 -> 526
1.99/2.04	c learnt constraints deletion: 1059 -> 538
2.39/2.41	c learnt constraints deletion: 1136 -> 573
2.89/2.96	c learnt constraints deletion: 1151 -> 586
3.59/3.65	c learnt constraints deletion: 1145 -> 580
4.30/4.37	c learnt constraints deletion: 1273 -> 648
5.09/5.17	c learnt constraints deletion: 1247 -> 630
5.69/5.73	c learnt constraints deletion: 1269 -> 651
6.38/6.43	c learnt constraints deletion: 1291 -> 663
7.70/7.70	c learnt constraints deletion: 1382 -> 696
8.89/8.91	c learnt constraints deletion: 1407 -> 714
9.98/10.00	c learnt constraints deletion: 1412 -> 713
11.09/11.13	c learnt constraints deletion: 1426 -> 724
12.10/12.17	c learnt constraints deletion: 1374 -> 695
13.09/13.11	c learnt constraints deletion: 1399 -> 711
14.29/14.33	c learnt constraints deletion: 1544 -> 789
15.48/15.52	c learnt constraints deletion: 1528 -> 774
16.69/16.79	c learnt constraints deletion: 1574 -> 799
18.09/18.16	c learnt constraints deletion: 1542 -> 781
19.18/19.24	c learnt constraints deletion: 1537 -> 780
20.09/20.18	c learnt constraints deletion: 1539 -> 782
21.38/21.40	c learnt constraints deletion: 1522 -> 771
22.29/22.36	c learnt constraints deletion: 1658 -> 841
23.88/23.96	c learnt constraints deletion: 1713 -> 866
25.29/25.31	c learnt constraints deletion: 1669 -> 852
26.59/26.64	c learnt constraints deletion: 1683 -> 860
27.98/28.04	c learnt constraints deletion: 1714 -> 873
29.39/29.40	c learnt constraints deletion: 1691 -> 862
30.59/30.61	c learnt constraints deletion: 1693 -> 865
31.68/31.77	c learnt constraints deletion: 1662 -> 845
32.89/32.99	c learnt constraints deletion: 1692 -> 863
34.09/34.18	c learnt constraints deletion: 1687 -> 860
35.58/35.64	c learnt constraints deletion: 1836 -> 929
37.19/37.25	c learnt constraints deletion: 1848 -> 939
38.88/38.91	c learnt constraints deletion: 1845 -> 936
40.38/40.45	c learnt constraints deletion: 1875 -> 951
42.08/42.12	c learnt constraints deletion: 1884 -> 956
43.38/43.40	c learnt constraints deletion: 1833 -> 935
44.38/44.43	c learnt constraints deletion: 1802 -> 918
45.78/45.86	c learnt constraints deletion: 1840 -> 938
47.48/47.57	c learnt constraints deletion: 1872 -> 955
48.98/49.03	c learnt constraints deletion: 1866 -> 958
50.48/50.52	c learnt constraints deletion: 1856 -> 961
51.48/51.56	c learnt constraints deletion: 1864 -> 963
52.58/52.62	c learnt constraints deletion: 1873 -> 973
53.89/53.96	c learnt constraints deletion: 1873 -> 963
55.78/55.84	c learnt constraints deletion: 1981 -> 991
57.28/57.35	c learnt constraints deletion: 2022 -> 1014
59.18/59.22	c learnt constraints deletion: 2050 -> 1032
60.38/60.49	c learnt constraints deletion: 2015 -> 1015
61.58/61.63	c learnt constraints deletion: 1992 -> 1010
62.59/62.65	c learnt constraints deletion: 2014 -> 1033
63.78/63.88	c learnt constraints deletion: 2003 -> 1020
65.08/65.11	c learnt constraints deletion: 2004 -> 1013
66.48/66.50	c learnt constraints deletion: 1998 -> 1010
67.57/67.65	c learnt constraints deletion: 2020 -> 1024
68.67/68.71	c learnt constraints deletion: 1976 -> 999
70.08/70.11	c learnt constraints deletion: 2005 -> 1021
71.48/71.56	c learnt constraints deletion: 2021 -> 1033
73.08/73.16	c learnt constraints deletion: 2011 -> 1027
74.58/74.65	c learnt constraints deletion: 2030 -> 1041
76.17/76.29	c learnt constraints deletion: 2038 -> 1047
77.98/78.04	c learnt constraints deletion: 2052 -> 1060
79.68/79.70	c learnt constraints deletion: 2054 -> 1063
81.87/81.99	c learnt constraints deletion: 2053 -> 1076
84.08/84.17	c learnt constraints deletion: 2050 -> 1061
86.17/86.20	c learnt constraints deletion: 2219 -> 1117
87.98/88.05	c learnt constraints deletion: 2208 -> 1115
89.87/89.93	c learnt constraints deletion: 2172 -> 1097
92.28/92.31	c learnt constraints deletion: 2247 -> 1140
94.17/94.25	c learnt constraints deletion: 2210 -> 1124
96.27/96.34	c learnt constraints deletion: 2221 -> 1135
98.17/98.21	c learnt constraints deletion: 2231 -> 1149
99.87/99.99	c learnt constraints deletion: 2220 -> 1149
101.87/101.92	c learnt constraints deletion: 2213 -> 1145
103.97/104.04	c learnt constraints deletion: 2202 -> 1125
106.07/106.13	c learnt constraints deletion: 2232 -> 1131
108.17/108.20	c learnt constraints deletion: 2183 -> 1103
110.07/110.12	c learnt constraints deletion: 2190 -> 1105
112.08/112.12	c learnt constraints deletion: 2196 -> 1100
114.28/114.37	c learnt constraints deletion: 2183 -> 1094
116.47/116.58	c learnt constraints deletion: 2177 -> 1093
118.97/119.09	c learnt constraints deletion: 2242 -> 1130
121.67/121.79	c learnt constraints deletion: 2217 -> 1118
124.27/124.32	c learnt constraints deletion: 2222 -> 1119
126.67/126.78	c learnt constraints deletion: 2213 -> 1117
128.97/129.02	c learnt constraints deletion: 2248 -> 1136
131.17/131.29	c learnt constraints deletion: 2216 -> 1124
133.67/133.77	c learnt constraints deletion: 2259 -> 1148
135.96/136.06	c learnt constraints deletion: 2210 -> 1123
138.37/138.49	c learnt constraints deletion: 2262 -> 1152
140.87/140.93	c learnt constraints deletion: 2205 -> 1126
144.08/144.13	c learnt constraints deletion: 2459 -> 1257
146.66/146.73	c learnt constraints deletion: 2425 -> 1217
148.87/148.98	c learnt constraints deletion: 2429 -> 1223
151.06/151.10	c learnt constraints deletion: 2442 -> 1231
153.56/153.64	c learnt constraints deletion: 2462 -> 1240
155.86/155.90	c learnt constraints deletion: 2404 -> 1215
157.96/158.04	c learnt constraints deletion: 2405 -> 1216
160.16/160.28	c learnt constraints deletion: 2463 -> 1250
162.26/162.33	c learnt constraints deletion: 2449 -> 1243
164.46/164.57	c learnt constraints deletion: 2464 -> 1253
166.56/166.62	c learnt constraints deletion: 2433 -> 1246
168.76/168.83	c learnt constraints deletion: 2468 -> 1265
171.46/171.60	c learnt constraints deletion: 2459 -> 1256
173.77/173.88	c learnt constraints deletion: 2442 -> 1246
176.16/176.23	c learnt constraints deletion: 2407 -> 1228
178.76/178.85	c learnt constraints deletion: 2413 -> 1226
181.06/181.13	c learnt constraints deletion: 2424 -> 1230
183.46/183.56	c learnt constraints deletion: 2422 -> 1231
185.87/185.94	c learnt constraints deletion: 2435 -> 1239
187.85/187.95	c learnt constraints deletion: 2432 -> 1233
189.86/189.98	c learnt constraints deletion: 2397 -> 1213
192.37/192.43	c learnt constraints deletion: 2432 -> 1223
194.66/194.78	c learnt constraints deletion: 2411 -> 1209
197.76/197.86	c learnt constraints deletion: 2462 -> 1234
200.76/200.87	c learnt constraints deletion: 2411 -> 1207
203.56/203.66	c learnt constraints deletion: 2451 -> 1229
206.35/206.46	c learnt constraints deletion: 2502 -> 1255
208.96/209.01	c learnt constraints deletion: 2463 -> 1239
211.35/211.40	c learnt constraints deletion: 2428 -> 1221
213.76/213.88	c learnt constraints deletion: 2442 -> 1229
216.66/216.76	c learnt constraints deletion: 2386 -> 1203
219.25/219.39	c learnt constraints deletion: 2421 -> 1223
221.45/221.56	c learnt constraints deletion: 2444 -> 1238
224.45/224.50	c learnt constraints deletion: 2451 -> 1242
227.05/227.17	c learnt constraints deletion: 2426 -> 1232
229.35/229.47	c learnt constraints deletion: 2433 -> 1238
232.45/232.58	c learnt constraints deletion: 2696 -> 1373
234.75/234.88	c learnt constraints deletion: 2658 -> 1337
237.35/237.46	c learnt constraints deletion: 2637 -> 1326
240.25/240.36	c learnt constraints deletion: 2619 -> 1322
243.06/243.11	c learnt constraints deletion: 2674 -> 1358
246.15/246.27	c learnt constraints deletion: 2678 -> 1355
248.55/248.69	c learnt constraints deletion: 2653 -> 1352
252.14/252.24	c learnt constraints deletion: 2693 -> 1376
255.34/255.47	c learnt constraints deletion: 2684 -> 1377
258.55/258.64	c learnt constraints deletion: 2724 -> 1404
262.24/262.39	c learnt constraints deletion: 2669 -> 1375
265.84/265.98	c learnt constraints deletion: 2665 -> 1353
268.94/269.06	c learnt constraints deletion: 2667 -> 1351
272.94/273.07	c learnt constraints deletion: 2651 -> 1335
275.64/275.72	c learnt constraints deletion: 2667 -> 1343
277.85/277.91	c learnt constraints deletion: 2675 -> 1347
280.15/280.20	c learnt constraints deletion: 2611 -> 1307
282.14/282.29	c learnt constraints deletion: 2648 -> 1327
284.44/284.53	c learnt constraints deletion: 2619 -> 1316
287.04/287.15	c learnt constraints deletion: 2678 -> 1345
289.34/289.43	c learnt constraints deletion: 2651 -> 1334
291.54/291.68	c learnt constraints deletion: 2669 -> 1344
294.04/294.15	c learnt constraints deletion: 2686 -> 1354
296.14/296.27	c learnt constraints deletion: 2649 -> 1338
298.34/298.43	c learnt constraints deletion: 2664 -> 1348
300.94/301.06	c learnt constraints deletion: 2652 -> 1344
303.04/303.13	c learnt constraints deletion: 2659 -> 1351
305.14/305.23	c learnt constraints deletion: 2654 -> 1351
307.13/307.27	c learnt constraints deletion: 2661 -> 1358
309.44/309.53	c learnt constraints deletion: 2658 -> 1358
311.54/311.61	c learnt constraints deletion: 2684 -> 1374
313.94/314.03	c learnt constraints deletion: 2667 -> 1370
316.24/316.32	c learnt constraints deletion: 2677 -> 1380
318.54/318.62	c learnt constraints deletion: 2703 -> 1399
321.04/321.18	c learnt constraints deletion: 2705 -> 1408
323.94/324.01	c learnt constraints deletion: 2693 -> 1399
327.14/327.27	c learnt constraints deletion: 2677 -> 1371
330.54/330.67	c learnt constraints deletion: 2700 -> 1368
333.24/333.32	c learnt constraints deletion: 2666 -> 1353
335.93/336.03	c learnt constraints deletion: 2673 -> 1340
338.64/338.72	c learnt constraints deletion: 2675 -> 1343
341.23/341.34	c learnt constraints deletion: 2670 -> 1338
343.83/343.92	c learnt constraints deletion: 2652 -> 1330
347.03/347.15	c learnt constraints deletion: 2656 -> 1335
349.54/349.68	c learnt constraints deletion: 2718 -> 1368
352.43/352.54	c learnt constraints deletion: 2687 -> 1355
355.03/355.19	c learnt constraints deletion: 2676 -> 1352
357.53/357.65	c learnt constraints deletion: 2666 -> 1349
360.03/360.12	c learnt constraints deletion: 2692 -> 1365
362.53/362.65	c learnt constraints deletion: 2679 -> 1361
365.53/365.67	c learnt constraints deletion: 2928 -> 1488
368.34/368.41	c learnt constraints deletion: 2921 -> 1469
372.12/372.27	c learnt constraints deletion: 2930 -> 1484
375.12/375.22	c learnt constraints deletion: 2943 -> 1483
377.73/377.80	c learnt constraints deletion: 2957 -> 1497
380.83/380.98	c learnt constraints deletion: 2922 -> 1478
384.33/384.46	c learnt constraints deletion: 2951 -> 1512
387.13/387.29	c learnt constraints deletion: 2945 -> 1515
390.43/390.57	c learnt constraints deletion: 2958 -> 1526
393.83/393.99	c learnt constraints deletion: 2939 -> 1515
397.52/397.67	c learnt constraints deletion: 2931 -> 1500
401.53/401.65	c learnt constraints deletion: 2932 -> 1488
404.22/404.34	c learnt constraints deletion: 2866 -> 1445
406.83/406.99	c learnt constraints deletion: 2924 -> 1464
409.62/409.78	c learnt constraints deletion: 2922 -> 1465
412.33/412.49	c learnt constraints deletion: 2910 -> 1462
415.12/415.20	c learnt constraints deletion: 2893 -> 1456
418.02/418.19	c learnt constraints deletion: 2918 -> 1470
420.82/420.98	c learnt constraints deletion: 2913 -> 1470
423.91/424.07	c learnt constraints deletion: 2935 -> 1484
426.52/426.62	c learnt constraints deletion: 2903 -> 1470
428.93/429.08	c learnt constraints deletion: 2959 -> 1501
431.91/432.00	c learnt constraints deletion: 2909 -> 1479
435.22/435.35	c learnt constraints deletion: 2975 -> 1516
438.42/438.55	c learnt constraints deletion: 2938 -> 1503
441.52/441.67	c learnt constraints deletion: 2950 -> 1517
444.51/444.67	c learnt constraints deletion: 2938 -> 1510
448.02/448.16	c learnt constraints deletion: 2957 -> 1510
451.62/451.74	c learnt constraints deletion: 2958 -> 1506
454.82/454.93	c learnt constraints deletion: 2933 -> 1486
458.01/458.19	c learnt constraints deletion: 2970 -> 1501
461.02/461.16	c learnt constraints deletion: 2929 -> 1481
464.12/464.26	c learnt constraints deletion: 2891 -> 1451
467.11/467.24	c learnt constraints deletion: 2867 -> 1438
470.52/470.63	c learnt constraints deletion: 2922 -> 1465
473.21/473.30	c learnt constraints deletion: 2904 -> 1458
476.01/476.15	c learnt constraints deletion: 2865 -> 1442
479.11/479.23	c learnt constraints deletion: 2898 -> 1461
481.72/481.89	c learnt constraints deletion: 2950 -> 1490
484.70/484.87	c learnt constraints deletion: 2919 -> 1478
487.51/487.66	c learnt constraints deletion: 2955 -> 1501
490.91/491.06	c learnt constraints deletion: 2967 -> 1512
493.71/493.88	c learnt constraints deletion: 2928 -> 1499
496.80/496.94	c learnt constraints deletion: 2924 -> 1498
500.32/500.45	c learnt constraints deletion: 2940 -> 1494
504.41/504.57	c learnt constraints deletion: 2898 -> 1468
507.71/507.83	c learnt constraints deletion: 2912 -> 1469
511.10/511.29	c learnt constraints deletion: 2904 -> 1460
513.70/513.81	c learnt constraints deletion: 2892 -> 1452
516.61/516.74	c learnt constraints deletion: 2968 -> 1489
519.70/519.85	c learnt constraints deletion: 2931 -> 1471
522.50/522.64	c learnt constraints deletion: 2980 -> 1497
525.61/525.77	c learnt constraints deletion: 2907 -> 1458
527.91/528.04	c learnt constraints deletion: 2911 -> 1461
530.50/530.62	c learnt constraints deletion: 2939 -> 1477
533.20/533.30	c learnt constraints deletion: 2921 -> 1472
535.90/536.03	c learnt constraints deletion: 2919 -> 1471
538.50/538.67	c learnt constraints deletion: 2911 -> 1469
541.29/541.49	c learnt constraints deletion: 2918 -> 1474
543.90/544.06	c learnt constraints deletion: 2922 -> 1480
546.51/546.61	c learnt constraints deletion: 2907 -> 1473
549.19/549.30	c learnt constraints deletion: 2920 -> 1482
551.79/551.91	c learnt constraints deletion: 2901 -> 1476
554.59/554.73	c learnt constraints deletion: 2912 -> 1484
557.09/557.22	c learnt constraints deletion: 2930 -> 1496
560.29/560.46	c learnt constraints deletion: 2958 -> 1515
562.69/562.82	c learnt constraints deletion: 2947 -> 1514
565.79/565.99	c learnt constraints deletion: 2984 -> 1540
570.59/570.70	c learnt constraints deletion: 3245 -> 1662
574.89/575.02	c learnt constraints deletion: 3219 -> 1620
579.20/579.34	c learnt constraints deletion: 3189 -> 1619
582.80/582.91	c learnt constraints deletion: 3244 -> 1638
585.69/585.86	c learnt constraints deletion: 3260 -> 1646
589.29/589.40	c learnt constraints deletion: 3240 -> 1632
592.80/592.92	c learnt constraints deletion: 3200 -> 1610
596.29/596.42	c learnt constraints deletion: 3205 -> 1612
599.79/599.98	c learnt constraints deletion: 3220 -> 1619
603.29/603.49	c learnt constraints deletion: 3247 -> 1629
607.19/607.34	c learnt constraints deletion: 3166 -> 1584
610.68/610.83	c learnt constraints deletion: 3169 -> 1588
614.19/614.32	c learnt constraints deletion: 3180 -> 1595
617.58/617.75	c learnt constraints deletion: 3188 -> 1601
620.88/621.02	c learnt constraints deletion: 3181 -> 1600
623.99/624.17	c learnt constraints deletion: 3266 -> 1644
627.58/627.77	c learnt constraints deletion: 3222 -> 1624
630.48/630.67	c learnt constraints deletion: 3151 -> 1591
634.38/634.58	c learnt constraints deletion: 3243 -> 1639
637.59/637.79	c learnt constraints deletion: 3201 -> 1621
640.99/641.18	c learnt constraints deletion: 3202 -> 1624
645.28/645.43	c learnt constraints deletion: 3189 -> 1624
649.48/649.62	c learnt constraints deletion: 3296 -> 1685
653.28/653.45	c learnt constraints deletion: 3216 -> 1652
658.48/658.65	c learnt constraints deletion: 3238 -> 1654
662.28/662.48	c learnt constraints deletion: 3208 -> 1627
666.18/666.35	c learnt constraints deletion: 3235 -> 1634
670.08/670.23	c learnt constraints deletion: 3194 -> 1605
673.88/674.06	c learnt constraints deletion: 3209 -> 1609
677.49/677.61	c learnt constraints deletion: 3182 -> 1594
680.68/680.82	c learnt constraints deletion: 3245 -> 1627
683.98/684.18	c learnt constraints deletion: 3206 -> 1609
687.28/687.47	c learnt constraints deletion: 3159 -> 1589
690.27/690.46	c learnt constraints deletion: 3187 -> 1605
693.28/693.47	c learnt constraints deletion: 3248 -> 1638
696.57/696.77	c learnt constraints deletion: 3188 -> 1610
700.27/700.45	c learnt constraints deletion: 3207 -> 1624
703.47/703.67	c learnt constraints deletion: 3198 -> 1624
706.97/707.11	c learnt constraints deletion: 3213 -> 1636
710.97/711.17	c learnt constraints deletion: 3239 -> 1655
714.78/714.98	c learnt constraints deletion: 3221 -> 1658
718.97/719.19	c learnt constraints deletion: 3196 -> 1624
722.97/723.16	c learnt constraints deletion: 3215 -> 1622
726.67/726.89	c learnt constraints deletion: 3196 -> 1610
731.07/731.24	c learnt constraints deletion: 3207 -> 1606
734.36/734.52	c learnt constraints deletion: 3184 -> 1596
737.16/737.32	c learnt constraints deletion: 3199 -> 1607
739.77/739.96	c learnt constraints deletion: 3203 -> 1611
742.66/742.80	c learnt constraints deletion: 3214 -> 1619
745.47/745.62	c learnt constraints deletion: 3215 -> 1622
749.17/749.36	c learnt constraints deletion: 3239 -> 1638
752.76/752.94	c learnt constraints deletion: 3230 -> 1638
756.06/756.24	c learnt constraints deletion: 3243 -> 1649
759.16/759.38	c learnt constraints deletion: 3229 -> 1650
763.37/763.58	c learnt constraints deletion: 3206 -> 1637
767.36/767.50	c learnt constraints deletion: 3199 -> 1614
770.97/771.12	c learnt constraints deletion: 3191 -> 1603
774.46/774.69	c learnt constraints deletion: 3228 -> 1619
778.46/778.61	c learnt constraints deletion: 3205 -> 1608
781.86/782.00	c learnt constraints deletion: 3206 -> 1608
784.76/784.93	c learnt constraints deletion: 3210 -> 1610
787.56/787.77	c learnt constraints deletion: 3187 -> 1601
790.36/790.54	c learnt constraints deletion: 3202 -> 1608
792.87/793.08	c learnt constraints deletion: 3191 -> 1605
795.35/795.54	c learnt constraints deletion: 3165 -> 1594
797.85/798.03	c learnt constraints deletion: 3183 -> 1605
800.76/800.94	c learnt constraints deletion: 3236 -> 1634
803.96/804.13	c learnt constraints deletion: 3235 -> 1636
806.75/806.92	c learnt constraints deletion: 3207 -> 1626
809.55/809.78	c learnt constraints deletion: 3220 -> 1635
812.35/812.53	c learnt constraints deletion: 3222 -> 1640
815.45/815.60	c learnt constraints deletion: 3234 -> 1651
819.26/819.46	c learnt constraints deletion: 3215 -> 1653
823.35/823.59	c learnt constraints deletion: 3232 -> 1651
826.65/826.83	c learnt constraints deletion: 3210 -> 1634
830.36/830.53	c learnt constraints deletion: 3222 -> 1632
833.45/833.61	c learnt constraints deletion: 3236 -> 1633
836.65/836.88	c learnt constraints deletion: 3240 -> 1633
839.55/839.74	c learnt constraints deletion: 3214 -> 1617
842.85/843.06	c learnt constraints deletion: 3232 -> 1625
845.76/845.92	c learnt constraints deletion: 3168 -> 1593
848.96/849.13	c learnt constraints deletion: 3206 -> 1607
851.74/851.92	c learnt constraints deletion: 3185 -> 1599
854.25/854.46	c learnt constraints deletion: 3208 -> 1612
857.04/857.21	c learnt constraints deletion: 3180 -> 1599
860.05/860.23	c learnt constraints deletion: 3191 -> 1607
863.35/863.60	c learnt constraints deletion: 3171 -> 1599
866.25/866.46	c learnt constraints deletion: 3186 -> 1610
869.25/869.40	c learnt constraints deletion: 3186 -> 1613
872.15/872.30	c learnt constraints deletion: 3230 -> 1638
875.74/875.93	c learnt constraints deletion: 3261 -> 1657
878.84/879.00	c learnt constraints deletion: 3224 -> 1641
883.15/883.33	c learnt constraints deletion: 3535 -> 1801
887.64/887.82	c learnt constraints deletion: 3564 -> 1823
891.74/891.95	c learnt constraints deletion: 3498 -> 1757
894.64/894.87	c learnt constraints deletion: 3552 -> 1788
898.14/898.33	c learnt constraints deletion: 3502 -> 1770
902.15/902.36	c learnt constraints deletion: 3480 -> 1763
905.84/906.07	c learnt constraints deletion: 3509 -> 1781
910.34/910.50	c learnt constraints deletion: 3537 -> 1801
915.24/915.45	c learnt constraints deletion: 3545 -> 1815
919.34/919.53	c learnt constraints deletion: 3540 -> 1822
924.84/925.04	c learnt constraints deletion: 3603 -> 1844
929.64/929.80	c learnt constraints deletion: 3488 -> 1769
933.14/933.36	c learnt constraints deletion: 3525 -> 1787
937.14/937.37	c learnt constraints deletion: 3526 -> 1771
941.14/941.34	c learnt constraints deletion: 3476 -> 1738
944.33/944.52	c learnt constraints deletion: 3517 -> 1761
947.24/947.43	c learnt constraints deletion: 3464 -> 1736
950.53/950.79	c learnt constraints deletion: 3494 -> 1753
953.83/954.07	c learnt constraints deletion: 3499 -> 1759
956.84/957.06	c learnt constraints deletion: 3564 -> 1793
960.23/960.43	c learnt constraints deletion: 3534 -> 1781
963.34/963.51	c learnt constraints deletion: 3505 -> 1770
966.33/966.54	c learnt constraints deletion: 3562 -> 1800
970.03/970.22	c learnt constraints deletion: 3504 -> 1774
973.93/974.18	c learnt constraints deletion: 3515 -> 1785
977.52/977.77	c learnt constraints deletion: 3530 -> 1798
981.04/981.29	c learnt constraints deletion: 3550 -> 1813
985.13/985.33	c learnt constraints deletion: 3511 -> 1801
989.74/989.92	c learnt constraints deletion: 3607 -> 1855
994.32/994.57	c learnt constraints deletion: 3528 -> 1803
998.73/998.94	c learnt constraints deletion: 3538 -> 1797
1003.42/1003.69	c learnt constraints deletion: 3539 -> 1784
1007.52/1007.74	c learnt constraints deletion: 3492 -> 1751
1011.22/1011.45	c learnt constraints deletion: 3520 -> 1761
1014.92/1015.14	c learnt constraints deletion: 3538 -> 1773
1018.92/1019.13	c learnt constraints deletion: 3548 -> 1781
1022.12/1022.36	c learnt constraints deletion: 3508 -> 1763
1025.52/1025.78	c learnt constraints deletion: 3529 -> 1777
1028.72/1028.97	c learnt constraints deletion: 3528 -> 1779
1032.12/1032.34	c learnt constraints deletion: 3524 -> 1780
1035.22/1035.44	c learnt constraints deletion: 3497 -> 1770
1039.32/1039.55	c learnt constraints deletion: 3503 -> 1777
1043.32/1043.56	c learnt constraints deletion: 3551 -> 1807
1046.92/1047.20	c learnt constraints deletion: 3563 -> 1819
1050.61/1050.84	c learnt constraints deletion: 3559 -> 1826
1055.42/1055.69	c learnt constraints deletion: 3532 -> 1806
1060.41/1060.61	c learnt constraints deletion: 3526 -> 1786
1064.32/1064.51	c learnt constraints deletion: 3489 -> 1767
1068.81/1069.00	c learnt constraints deletion: 3476 -> 1757
1072.61/1072.82	c learnt constraints deletion: 3548 -> 1785
1076.11/1076.31	c learnt constraints deletion: 3494 -> 1752
1080.41/1080.67	c learnt constraints deletion: 3474 -> 1739
1084.01/1084.22	c learnt constraints deletion: 3529 -> 1769
1087.20/1087.41	c learnt constraints deletion: 3464 -> 1738
1090.30/1090.54	c learnt constraints deletion: 3504 -> 1761
1094.11/1094.37	c learnt constraints deletion: 3515 -> 1770
1098.10/1098.30	c learnt constraints deletion: 3513 -> 1772
1101.51/1101.76	c learnt constraints deletion: 3514 -> 1775
1105.00/1105.22	c learnt constraints deletion: 3489 -> 1767
1108.90/1109.19	c learnt constraints deletion: 3497 -> 1774
1113.01/1113.28	c learnt constraints deletion: 3512 -> 1786
1117.60/1117.81	c learnt constraints deletion: 3507 -> 1792
1122.50/1122.77	c learnt constraints deletion: 3537 -> 1819
1127.70/1127.94	c learnt constraints deletion: 3555 -> 1815
1132.90/1133.15	c learnt constraints deletion: 3497 -> 1769
1137.30/1137.57	c learnt constraints deletion: 3524 -> 1772
1140.60/1140.88	c learnt constraints deletion: 3516 -> 1765
1145.20/1145.43	c learnt constraints deletion: 3551 -> 1779
1148.70/1148.96	c learnt constraints deletion: 3570 -> 1791
1152.70/1152.93	c learnt constraints deletion: 3510 -> 1763
1156.30/1156.56	c learnt constraints deletion: 3480 -> 1750
1159.80/1160.03	c learnt constraints deletion: 3527 -> 1777
1163.80/1164.07	c learnt constraints deletion: 3499 -> 1766
1167.60/1167.81	c learnt constraints deletion: 3504 -> 1771
1171.39/1171.64	c learnt constraints deletion: 3542 -> 1793
1175.10/1175.35	c learnt constraints deletion: 3501 -> 1777
1179.00/1179.23	c learnt constraints deletion: 3522 -> 1792
1183.39/1183.63	c learnt constraints deletion: 3510 -> 1793
1188.09/1188.33	c learnt constraints deletion: 3518 -> 1807
1192.69/1192.90	c learnt constraints deletion: 3543 -> 1819
1197.49/1197.74	c learnt constraints deletion: 3535 -> 1798
1202.79/1203.01	c learnt constraints deletion: 3540 -> 1793
1207.29/1207.51	c learnt constraints deletion: 3462 -> 1742
1211.48/1211.78	c learnt constraints deletion: 3526 -> 1774
1215.89/1216.16	c learnt constraints deletion: 3549 -> 1780
1220.80/1221.04	c learnt constraints deletion: 3541 -> 1776
1224.48/1224.77	c learnt constraints deletion: 3488 -> 1752
1228.19/1228.40	c learnt constraints deletion: 3481 -> 1752
1231.48/1231.77	c learnt constraints deletion: 3505 -> 1766
1234.78/1235.06	c learnt constraints deletion: 3519 -> 1776
1238.29/1238.55	c learnt constraints deletion: 3500 -> 1769
1242.18/1242.40	c learnt constraints deletion: 3513 -> 1780
1246.19/1246.44	c learnt constraints deletion: 3508 -> 1784
1250.28/1250.58	c learnt constraints deletion: 3541 -> 1810
1254.58/1254.83	c learnt constraints deletion: 3551 -> 1807
1259.08/1259.36	c learnt constraints deletion: 3545 -> 1799
1263.38/1263.61	c learnt constraints deletion: 3471 -> 1756
1268.08/1268.32	c learnt constraints deletion: 3510 -> 1772
1271.87/1272.17	c learnt constraints deletion: 3525 -> 1776
1276.68/1276.92	c learnt constraints deletion: 3509 -> 1761
1280.57/1280.86	c learnt constraints deletion: 3507 -> 1761
1283.97/1284.22	c learnt constraints deletion: 3527 -> 1774
1287.08/1287.31	c learnt constraints deletion: 3491 -> 1759
1290.38/1290.61	c learnt constraints deletion: 3522 -> 1777
1293.29/1293.60	c learnt constraints deletion: 3485 -> 1762
1297.08/1297.34	c learnt constraints deletion: 3474 -> 1761
1301.08/1301.37	c learnt constraints deletion: 3508 -> 1783
1305.67/1305.94	c learnt constraints deletion: 3539 -> 1806
1311.27/1311.59	c learnt constraints deletion: 3533 -> 1807
1316.57/1316.89	c learnt constraints deletion: 3523 -> 1785
1320.97/1321.20	c learnt constraints deletion: 3576 -> 1804
1325.17/1325.40	c learnt constraints deletion: 3546 -> 1782
1329.87/1330.12	c learnt constraints deletion: 3460 -> 1737
1334.86/1335.12	c learnt constraints deletion: 3537 -> 1780
1338.56/1338.89	c learnt constraints deletion: 3510 -> 1770
1341.86/1342.16	c learnt constraints deletion: 3480 -> 1757
1345.37/1345.61	c learnt constraints deletion: 3535 -> 1788
1349.06/1349.31	c learnt constraints deletion: 3544 -> 1796
1353.36/1353.64	c learnt constraints deletion: 3510 -> 1784
1357.26/1357.51	c learnt constraints deletion: 3523 -> 1797
1361.47/1361.75	c learnt constraints deletion: 3540 -> 1811
1366.26/1366.51	c learnt constraints deletion: 3519 -> 1812
1371.47/1371.73	c learnt constraints deletion: 3576 -> 1824
1376.36/1376.63	c learnt constraints deletion: 3541 -> 1792
1381.86/1382.17	c learnt constraints deletion: 3531 -> 1784
1386.25/1386.55	c learnt constraints deletion: 3517 -> 1768
1389.85/1390.19	c learnt constraints deletion: 3508 -> 1766
1394.76/1395.07	c learnt constraints deletion: 3825 -> 1929
1398.86/1399.14	c learnt constraints deletion: 3830 -> 1935
1402.66/1402.94	c learnt constraints deletion: 3833 -> 1926
1407.15/1407.40	c learnt constraints deletion: 3857 -> 1945
1411.76/1412.07	c learnt constraints deletion: 3853 -> 1956
1417.16/1417.44	c learnt constraints deletion: 3888 -> 1983
1423.95/1424.27	c learnt constraints deletion: 3882 -> 1974
1429.55/1429.88	c learnt constraints deletion: 3874 -> 1959
1434.55/1434.88	c learnt constraints deletion: 3859 -> 1942
1439.05/1439.39	c learnt constraints deletion: 3863 -> 1943
1442.95/1443.29	c learnt constraints deletion: 3860 -> 1940
1447.75/1448.00	c learnt constraints deletion: 3886 -> 1953
1452.24/1452.53	c learnt constraints deletion: 3825 -> 1914
1456.74/1457.05	c learnt constraints deletion: 3834 -> 1920
1461.15/1461.43	c learnt constraints deletion: 3866 -> 1939
1465.44/1465.75	c learnt constraints deletion: 3841 -> 1931
1469.75/1470.08	c learnt constraints deletion: 3866 -> 1947
1473.95/1474.23	c learnt constraints deletion: 3848 -> 1943
1478.34/1478.69	c learnt constraints deletion: 3872 -> 1960
1483.44/1483.79	c learnt constraints deletion: 3884 -> 1973
1488.84/1489.18	c learnt constraints deletion: 3951 -> 2016
1494.14/1494.46	c learnt constraints deletion: 3882 -> 1981
1500.24/1500.55	c learnt constraints deletion: 3866 -> 1952
1506.04/1506.37	c learnt constraints deletion: 3865 -> 1940
1510.84/1511.10	c learnt constraints deletion: 3850 -> 1927
1514.83/1515.13	c learnt constraints deletion: 3883 -> 1948
1519.04/1519.38	c learnt constraints deletion: 3857 -> 1939
1523.03/1523.31	c learnt constraints deletion: 3865 -> 1946
1527.23/1527.58	c learnt constraints deletion: 3840 -> 1937
1531.43/1531.79	c learnt constraints deletion: 3908 -> 1977
1536.03/1536.30	c learnt constraints deletion: 3857 -> 1957
1540.84/1541.19	c learnt constraints deletion: 3876 -> 1974
1546.03/1546.36	c learnt constraints deletion: 3840 -> 1950
1550.83/1551.13	c learnt constraints deletion: 3893 -> 1974
1555.63/1555.99	c learnt constraints deletion: 3851 -> 1946
1560.83/1561.11	c learnt constraints deletion: 3880 -> 1944
1564.93/1565.29	c learnt constraints deletion: 3863 -> 1935
1568.83/1569.17	c learnt constraints deletion: 3851 -> 1929
1572.93/1573.28	c learnt constraints deletion: 3870 -> 1941
1576.92/1577.25	c learnt constraints deletion: 3922 -> 1970
1580.63/1580.98	c learnt constraints deletion: 3814 -> 1919
1584.32/1584.60	c learnt constraints deletion: 3858 -> 1945
1588.83/1589.15	c learnt constraints deletion: 3859 -> 1952
1592.72/1593.03	c learnt constraints deletion: 3859 -> 1960
1597.32/1597.65	c learnt constraints deletion: 3835 -> 1944
1602.23/1602.56	c learnt constraints deletion: 3864 -> 1945
1607.72/1608.02	c learnt constraints deletion: 3838 -> 1923
1611.83/1612.12	c learnt constraints deletion: 3820 -> 1915
1615.82/1616.12	c learnt constraints deletion: 3860 -> 1939
1619.72/1620.06	c learnt constraints deletion: 3853 -> 1940
1623.81/1624.17	c learnt constraints deletion: 3880 -> 1958
1628.22/1628.58	c learnt constraints deletion: 3889 -> 1969
1633.02/1633.34	c learnt constraints deletion: 3872 -> 1969
1638.22/1638.55	c learnt constraints deletion: 3869 -> 1961
1643.21/1643.52	c learnt constraints deletion: 3846 -> 1944
1647.92/1648.28	c learnt constraints deletion: 3853 -> 1933
1651.92/1652.25	c learnt constraints deletion: 3826 -> 1917
1656.12/1656.44	c learnt constraints deletion: 3894 -> 1954
1660.32/1660.62	c learnt constraints deletion: 3840 -> 1930
1664.42/1664.78	c learnt constraints deletion: 3868 -> 1948
1668.62/1668.97	c learnt constraints deletion: 3855 -> 1946
1672.42/1672.76	c learnt constraints deletion: 3889 -> 1967
1677.12/1677.47	c learnt constraints deletion: 3841 -> 1947
1681.41/1681.78	c learnt constraints deletion: 3864 -> 1964
1685.41/1685.77	c learnt constraints deletion: 3857 -> 1967
1689.01/1689.36	c learnt constraints deletion: 3871 -> 1982
1693.61/1693.95	c learnt constraints deletion: 3858 -> 1974
1698.51/1698.85	c learnt constraints deletion: 3883 -> 1968
1703.41/1703.71	c learnt constraints deletion: 3840 -> 1935
1708.40/1708.79	c learnt constraints deletion: 3873 -> 1945
1712.51/1712.88	c learnt constraints deletion: 3832 -> 1921
1715.61/1715.97	c learnt constraints deletion: 3821 -> 1919
1718.91/1719.22	c learnt constraints deletion: 3864 -> 1943
1722.61/1722.91	c learnt constraints deletion: 3836 -> 1932
1726.10/1726.44	c learnt constraints deletion: 3840 -> 1939
1730.40/1730.70	c learnt constraints deletion: 3879 -> 1966
1735.00/1735.39	c learnt constraints deletion: 3850 -> 1961
1739.70/1740.09	c learnt constraints deletion: 3864 -> 1955
1744.51/1744.88	c learnt constraints deletion: 3850 -> 1940
1748.40/1748.74	c learnt constraints deletion: 3831 -> 1922
1751.60/1751.96	c learnt constraints deletion: 3835 -> 1927
1755.00/1755.30	c learnt constraints deletion: 3835 -> 1931
1758.90/1759.24	c learnt constraints deletion: 3869 -> 1952
1762.91/1763.25	c learnt constraints deletion: 3868 -> 1957
1767.10/1767.46	c learnt constraints deletion: 3854 -> 1957
1771.80/1772.11	c learnt constraints deletion: 3879 -> 1979
1776.79/1777.15	c learnt constraints deletion: 3870 -> 1962
1780.90/1781.28	c learnt constraints deletion: 3843 -> 1938
1785.09/1785.43	c learnt constraints deletion: 3867 -> 1943
1789.59/1789.94	c learnt constraints deletion: 3821 -> 1920
1793.50/1793.82	c learnt constraints deletion: 3884 -> 1956
1797.39/1797.74	c learnt constraints deletion: 3885 -> 1961

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3712182-1338213367/watcher-3712182-1338213367 -o /tmp/evaluation-result-3712182-1338213367/solver-3712182-1338213367 -C 1800 -W 1900 -M 15500 HOME/toysat --wbo HOME/instance-3712182-1338213367.wbo 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 32183
/proc/meminfo: memFree=26199616/32873844 swapFree=7108/7108
[pid=32183] ppid=32181 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/32183/stat : 32183 (toysat) R 32181 32183 28734 0 -1 4202496 806 0 0 0 0 0 0 0 20 0 1 0 287463644 6356992 728 33554432000 4194304 8973514 140734537776704 140736119726840 4209325 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32183/statm: 1552 728 424 1167 0 333 0

[startup+0.075594 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 32183
/proc/meminfo: memFree=26199616/32873844 swapFree=7108/7108
[pid=32183] ppid=32181 vsize=8256 CPUtime=0.07 cores=1,3,5,7
/proc/32183/stat : 32183 (toysat) R 32181 32183 28734 0 -1 4202496 1195 0 0 0 7 0 0 0 20 0 1 0 287463644 8454144 1117 33554432000 4194304 8973514 140734537776704 140734537776200 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32183/statm: 2064 1117 455 1167 0 845 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 8256

[startup+0.100275 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 32183
/proc/meminfo: memFree=26199616/32873844 swapFree=7108/7108
[pid=32183] ppid=32181 vsize=8256 CPUtime=0.09 cores=1,3,5,7
/proc/32183/stat : 32183 (toysat) R 32181 32183 28734 0 -1 4202496 1349 0 0 0 9 0 0 0 20 0 1 0 287463644 8454144 1271 33554432000 4194304 8973514 140734537776704 140734537776200 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32183/statm: 2064 1271 466 1167 0 845 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8256

[startup+0.30023 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 32183
/proc/meminfo: memFree=26199616/32873844 swapFree=7108/7108
[pid=32183] ppid=32181 vsize=9280 CPUtime=0.29 cores=1,3,5,7
/proc/32183/stat : 32183 (toysat) R 32181 32183 28734 0 -1 4202496 1558 0 0 0 29 0 0 0 20 0 1 0 287463644 9502720 1480 33554432000 4194304 8973514 140734537776704 140734537776200 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32183/statm: 2320 1480 466 1167 0 1101 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9280

[startup+0.700243 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 32183
/proc/meminfo: memFree=26199616/32873844 swapFree=7108/7108
[pid=32183] ppid=32181 vsize=10304 CPUtime=0.69 cores=1,3,5,7
/proc/32183/stat : 32183 (toysat) R 32181 32183 28734 0 -1 4202496 1898 0 0 0 69 0 0 0 20 0 1 0 287463644 10551296 1820 33554432000 4194304 8973514 140734537776704 140734537776200 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32183/statm: 2576 1820 467 1167 0 1357 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10304

[startup+1.50027 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 32184
/proc/meminfo: memFree=26192672/32873844 swapFree=7108/7108
[pid=32183] ppid=32181 vsize=12352 CPUtime=1.48 cores=1,3,5,7
/proc/32183/stat : 32183 (toysat) R 32181 32183 28734 0 -1 4202496 2410 0 0 0 148 0 0 0 20 0 1 0 287463644 12648448 2332 33554432000 4194304 8973514 140734537776704 140734537776200 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32183/statm: 3088 2332 467 1167 0 1869 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 12352

[startup+3.10029 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 32184
/proc/meminfo: memFree=26190812/32873844 swapFree=7108/7108
[pid=32183] ppid=32181 vsize=13376 CPUtime=3.09 cores=1,3,5,7
/proc/32183/stat : 32183 (toysat) R 32181 32183 28734 0 -1 4202496 2666 0 0 0 308 1 0 0 20 0 1 0 287463644 13697024 2588 33554432000 4194304 8973514 140734537776704 140734537776200 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32183/statm: 3344 2588 467 1167 0 2125 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13376

[startup+6.3003 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 32184
/proc/meminfo: memFree=26189944/32873844 swapFree=7108/7108
[pid=32183] ppid=32181 vsize=13376 CPUtime=6.28 cores=1,3,5,7
/proc/32183/stat : 32183 (toysat) R 32181 32183 28734 0 -1 4202496 2666 0 0 0 626 2 0 0 20 0 1 0 287463644 13697024 2588 33554432000 4194304 8973514 140734537776704 140734537776200 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32183/statm: 3344 2588 467 1167 0 2125 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 13376

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 32184
/proc/meminfo: memFree=26187220/32873844 swapFree=7108/7108
[pid=32183] ppid=32181 vsize=15424 CPUtime=12.69 cores=1,3,5,7
/proc/32183/stat : 32183 (toysat) R 32181 32183 28734 0 -1 4202496 3178 0 0 0 1265 4 0 0 20 0 1 0 287463644 15794176 3100 33554432000 4194304 8973514 140734537776704 140734537776200 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32183/statm: 3856 3100 467 1167 0 2637 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15424

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 32184
/proc/meminfo: memFree=26180404/32873844 swapFree=7108/7108
[pid=32183] ppid=32181 vsize=15424 CPUtime=25.48 cores=1,3,5,7
/proc/32183/stat : 32183 (toysat) R 32181 32183 28734 0 -1 4202496 3179 0 0 0 2538 10 0 0 20 0 1 0 287463644 15794176 3105 33554432000 4194304 8973514 140734537776704 140734537775968 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32183/statm: 3856 3105 467 1167 0 2637 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 15424

[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 32184
/proc/meminfo: memFree=26177920/32873844 swapFree=7108/7108
[pid=32183] ppid=32181 vsize=17472 CPUtime=51.08 cores=1,3,5,7
/proc/32183/stat : 32183 (toysat) R 32181 32183 28734 0 -1 4202496 3693 0 0 0 5090 18 0 0 20 0 1 0 287463644 17891328 3617 33554432000 4194304 8973514 140734537776704 140734537775968 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32183/statm: 4368 3617 467 1167 0 3149 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 17472

[startup+102.307 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 32184
/proc/meminfo: memFree=26178468/32873844 swapFree=7108/7108
[pid=32183] ppid=32181 vsize=20544 CPUtime=102.27 cores=1,3,5,7
/proc/32183/stat : 32183 (toysat) R 32181 32183 28734 0 -1 4202496 4974 0 0 0 10192 35 0 0 20 0 1 0 287463644 21037056 4385 33554432000 4194304 8973514 140734537776704 140734537776200 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32183/statm: 5136 4385 467 1167 0 3917 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 20544

[startup+162.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 32184
/proc/meminfo: memFree=26177412/32873844 swapFree=7108/7108
[pid=32183] ppid=32181 vsize=21568 CPUtime=162.26 cores=1,3,5,7
/proc/32183/stat : 32183 (toysat) R 32181 32183 28734 0 -1 4202496 5231 0 0 0 16171 55 0 0 20 0 1 0 287463644 22085632 4641 33554432000 4194304 8973514 140734537776704 140734537775968 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32183/statm: 5392 4641 467 1167 0 4173 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 21568

[startup+222.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 32184
/proc/meminfo: memFree=26173128/32873844 swapFree=7108/7108
[pid=32183] ppid=32181 vsize=22592 CPUtime=222.25 cores=1,3,5,7
/proc/32183/stat : 32183 (toysat) R 32181 32183 28734 0 -1 4202496 5744 0 0 0 22150 75 0 0 20 0 1 0 287463644 23134208 4897 33554432000 4194304 8973514 140734537776704 140734537776200 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32183/statm: 5648 4897 467 1167 0 4429 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 22592

[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 32188
/proc/meminfo: memFree=26167596/32873844 swapFree=7108/7108
[pid=32183] ppid=32181 vsize=23616 CPUtime=282.24 cores=1,3,5,7
/proc/32183/stat : 32183 (toysat) R 32181 32183 28734 0 -1 4202496 6000 0 0 0 28127 97 0 0 20 0 1 0 287463644 24182784 5153 33554432000 4194304 8973514 140734537776704 140734537776200 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32183/statm: 5904 5153 467 1167 0 4685 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 23616

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 32211
/proc/meminfo: memFree=26169888/32873844 swapFree=7108/7108
[pid=32183] ppid=32181 vsize=25664 CPUtime=342.24 cores=1,3,5,7
/proc/32183/stat : 32183 (toysat) R 32181 32183 28734 0 -1 4202496 6512 0 0 0 34106 118 0 0 20 0 1 0 287463644 26279936 5665 33554432000 4194304 8973514 140734537776704 140734537776200 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32183/statm: 6416 5665 467 1167 0 5197 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 25664

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 32211
/proc/meminfo: memFree=26168720/32873844 swapFree=7108/7108
[pid=32183] ppid=32181 vsize=25664 CPUtime=402.22 cores=1,3,5,7
/proc/32183/stat : 32183 (toysat) R 32181 32183 28734 0 -1 4202496 7025 0 0 0 40085 137 0 0 20 0 1 0 287463644 26279936 5665 33554432000 4194304 8973514 140734537776704 140734537775968 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32183/statm: 6416 5665 467 1167 0 5197 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 25664

[startup+462.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 32211
/proc/meminfo: memFree=26160340/32873844 swapFree=7108/7108
[pid=32183] ppid=32181 vsize=28736 CPUtime=462.21 cores=1,3,5,7
/proc/32183/stat : 32183 (toysat) R 32181 32183 28734 0 -1 4202496 7793 0 0 0 46063 158 0 0 20 0 1 0 287463644 29425664 6433 33554432000 4194304 8973514 140734537776704 140734537776200 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32183/statm: 7184 6433 467 1167 0 5965 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 28736

[startup+522.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 32211
/proc/meminfo: memFree=26163004/32873844 swapFree=7108/7108
[pid=32183] ppid=32181 vsize=28736 CPUtime=522.2 cores=1,3,5,7
/proc/32183/stat : 32183 (toysat) R 32181 32183 28734 0 -1 4202496 8563 0 0 0 52041 179 0 0 20 0 1 0 287463644 29425664 6433 33554432000 4194304 8973514 140734537776704 140734537776200 4209376 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32183/statm: 7184 6433 467 1167 0 5965 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 28736

[startup+582.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 32212
/proc/meminfo: memFree=26160400/32873844 swapFree=7108/7108
[pid=32183] ppid=32181 vsize=29760 CPUtime=582.19 cores=1,3,5,7
/proc/32183/stat : 32183 (toysat) R 32181 32183 28734 0 -1 4202496 9588 0 0 0 58018 201 0 0 20 0 1 0 287463644 30474240 6689 33554432000 4194304 8973514 140734537776704 140734537776200 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32183/statm: 7440 6689 467 1167 0 6221 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 29760

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32212
/proc/meminfo: memFree=26156172/32873844 swapFree=7108/7108
[pid=32183] ppid=32181 vsize=27712 CPUtime=822.16 cores=1,3,5,7
/proc/32183/stat : 32183 (toysat) R 32181 32183 28734 0 -1 4202496 11128 0 0 0 81935 281 0 0 20 0 1 0 287463644 28377088 6177 33554432000 4194304 8973514 140734537776704 140734537776200 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32183/statm: 6928 6177 467 1167 0 5709 0
Current children cumulated CPU time (s) 822.16
Current children cumulated vsize (KiB) 27712

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 32216
/proc/meminfo: memFree=26159512/32873844 swapFree=7108/7108
[pid=32183] ppid=32181 vsize=27712 CPUtime=882.15 cores=1,3,5,7
/proc/32183/stat : 32183 (toysat) R 32181 32183 28734 0 -1 4202496 11640 0 0 0 87917 298 0 0 20 0 1 0 287463644 28377088 6177 33554432000 4194304 8973514 140734537776704 140734537775968 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32183/statm: 6928 6177 467 1167 0 5709 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 27712

[startup+942.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 32216
/proc/meminfo: memFree=26158712/32873844 swapFree=7108/7108
[pid=32183] ppid=32181 vsize=28736 CPUtime=942.14 cores=1,3,5,7
/proc/32183/stat : 32183 (toysat) R 32181 32183 28734 0 -1 4202496 11897 0 0 0 93895 319 0 0 20 0 1 0 287463644 29425664 6433 33554432000 4194304 8973514 140734537776704 140734537776200 4209198 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32183/statm: 7184 6433 467 1167 0 5965 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 28736

[startup+1002.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 32216
/proc/meminfo: memFree=26157036/32873844 swapFree=7108/7108
[pid=32183] ppid=32181 vsize=29760 CPUtime=1002.12 cores=1,3,5,7
/proc/32183/stat : 32183 (toysat) R 32181 32183 28734 0 -1 4202496 12665 0 0 0 99872 340 0 0 20 0 1 0 287463644 30474240 6689 33554432000 4194304 8973514 140734537776704 140734537776200 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32183/statm: 7440 6689 467 1167 0 6221 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 29760

[startup+1062.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 32216
/proc/meminfo: memFree=26151764/32873844 swapFree=7108/7108
[pid=32183] ppid=32181 vsize=29760 CPUtime=1062.11 cores=1,3,5,7
/proc/32183/stat : 32183 (toysat) R 32181 32183 28734 0 -1 4202496 13691 0 0 0 105851 360 0 0 20 0 1 0 287463644 30474240 6689 33554432000 4194304 8973514 140734537776704 140734537776200 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32183/statm: 7440 6689 467 1167 0 6221 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 29760

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32216
/proc/meminfo: memFree=26149100/32873844 swapFree=7108/7108
[pid=32183] ppid=32181 vsize=28736 CPUtime=1122.1 cores=1,3,5,7
/proc/32183/stat : 32183 (toysat) R 32181 32183 28734 0 -1 4202496 14461 0 0 0 111832 378 0 0 20 0 1 0 287463644 29425664 6433 33554432000 4194304 8973514 140734537776704 140734537775968 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32183/statm: 7184 6433 467 1167 0 5965 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 28736

[startup+1182.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 32218
/proc/meminfo: memFree=26153112/32873844 swapFree=7108/7108
[pid=32183] ppid=32181 vsize=25664 CPUtime=1182.09 cores=1,3,5,7
/proc/32183/stat : 32183 (toysat) R 32181 32183 28734 0 -1 4202496 14463 0 0 0 117812 397 0 0 20 0 1 0 287463644 26279936 5665 33554432000 4194304 8973514 140734537776704 140734537775968 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32183/statm: 6416 5665 467 1167 0 5197 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 25664

[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 32218
/proc/meminfo: memFree=26150072/32873844 swapFree=7108/7108
[pid=32183] ppid=32181 vsize=28736 CPUtime=1242.08 cores=1,3,5,7
/proc/32183/stat : 32183 (toysat) R 32181 32183 28734 0 -1 4202496 16000 0 0 0 123793 415 0 0 20 0 1 0 287463644 29425664 6433 33554432000 4194304 8973514 140734537776704 140734537775968 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32183/statm: 7184 6433 467 1167 0 5965 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 28736

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32218
/proc/meminfo: memFree=26151804/32873844 swapFree=7108/7108
[pid=32183] ppid=32181 vsize=26688 CPUtime=1302.08 cores=1,3,5,7
/proc/32183/stat : 32183 (toysat) R 32181 32183 28734 0 -1 4202496 16770 0 0 0 129775 433 0 0 20 0 1 0 287463644 27328512 5921 33554432000 4194304 8973514 140734537776704 140734537775968 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32183/statm: 6672 5921 467 1167 0 5453 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 26688

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32218
/proc/meminfo: memFree=26150748/32873844 swapFree=7108/7108
[pid=32183] ppid=32181 vsize=26688 CPUtime=1362.06 cores=1,3,5,7
/proc/32183/stat : 32183 (toysat) R 32181 32183 28734 0 -1 4202496 17794 0 0 0 135755 451 0 0 20 0 1 0 287463644 27328512 5921 33554432000 4194304 8973514 140734537776704 140734537776200 4208870 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32183/statm: 6672 5921 467 1167 0 5453 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 26688

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32218
/proc/meminfo: memFree=26147460/32873844 swapFree=7108/7108
[pid=32183] ppid=32181 vsize=31808 CPUtime=1422.06 cores=1,3,5,7
/proc/32183/stat : 32183 (toysat) R 32181 32183 28734 0 -1 4202496 19587 0 0 0 141737 469 0 0 20 0 1 0 287463644 32571392 7201 33554432000 4194304 8973514 140734537776704 140734537776200 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32183/statm: 7952 7201 467 1167 0 6733 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 31808

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 32222
/proc/meminfo: memFree=26145772/32873844 swapFree=7108/7108
[pid=32183] ppid=32181 vsize=29760 CPUtime=1482.04 cores=1,3,5,7
/proc/32183/stat : 32183 (toysat) R 32181 32183 28734 0 -1 4202496 19587 0 0 0 147717 487 0 0 20 0 1 0 287463644 30474240 6689 33554432000 4194304 8973514 140734537776704 140734537776200 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32183/statm: 7440 6689 467 1167 0 6221 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 29760

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32261
/proc/meminfo: memFree=26211308/32873844 swapFree=7108/7108
[pid=32183] ppid=32181 vsize=29760 CPUtime=1542.04 cores=1,3,5,7
/proc/32183/stat : 32183 (toysat) R 32181 32183 28734 0 -1 4202496 19843 0 0 0 153699 505 0 0 20 0 1 0 287463644 30474240 6689 33554432000 4194304 8973514 140734537776704 140734537775968 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32183/statm: 7440 6689 467 1167 0 6221 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 29760

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32261
/proc/meminfo: memFree=26209692/32873844 swapFree=7108/7108
[pid=32183] ppid=32181 vsize=29760 CPUtime=1602.03 cores=1,3,5,7
/proc/32183/stat : 32183 (toysat) R 32181 32183 28734 0 -1 4202496 20100 0 0 0 159677 526 0 0 20 0 1 0 287463644 30474240 6689 33554432000 4194304 8973514 140734537776704 140734537775968 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32183/statm: 7440 6689 467 1167 0 6221 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 29760

[startup+1662.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 32261
/proc/meminfo: memFree=26207396/32873844 swapFree=7108/7108
[pid=32183] ppid=32181 vsize=29760 CPUtime=1662.02 cores=1,3,5,7
/proc/32183/stat : 32183 (toysat) R 32181 32183 28734 0 -1 4202496 20100 0 0 0 165659 543 0 0 20 0 1 0 287463644 30474240 6689 33554432000 4194304 8973514 140734537776704 140734537775968 4205032 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32183/statm: 7440 6689 467 1167 0 6221 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 29760

[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 32261
/proc/meminfo: memFree=26207332/32873844 swapFree=7108/7108
[pid=32183] ppid=32181 vsize=29760 CPUtime=1722.01 cores=1,3,5,7
/proc/32183/stat : 32183 (toysat) R 32181 32183 28734 0 -1 4202496 20612 0 0 0 171640 561 0 0 20 0 1 0 287463644 30474240 6689 33554432000 4194304 8973514 140734537776704 140734537775968 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32183/statm: 7440 6689 467 1167 0 6221 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 29760

[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 32261
/proc/meminfo: memFree=26210132/32873844 swapFree=7108/7108
[pid=32183] ppid=32181 vsize=25664 CPUtime=1781.99 cores=1,3,5,7
/proc/32183/stat : 32183 (toysat) R 32181 32183 28734 0 -1 4202496 21125 0 0 0 177618 581 0 0 20 0 1 0 287463644 26279936 5665 33554432000 4194304 8973514 140734537776704 140734537776200 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32183/statm: 6416 5665 467 1167 0 5197 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 25664



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.08 2.02 2.00 3/177 32262
/proc/meminfo: memFree=26208512/32873844 swapFree=7108/7108
[pid=32183] ppid=32181 vsize=27712 CPUtime=1800.1 cores=1,3,5,7
/proc/32183/stat : 32183 (toysat) R 32181 32183 28734 0 -1 4202496 21637 0 0 0 179421 589 0 0 20 0 1 0 287463644 28377088 6177 33554432000 4194304 8973514 140734537776704 140734537775968 4213733 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32183/statm: 6928 6177 467 1167 0 5709 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 27712

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.11
CPU user time (s): 1794.22
CPU system time (s): 5.8931
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 31808

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.22
system time used= 5.8931
maximum resident set size= 28804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21637
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= 30
involuntary context switches= 1849

runsolver used 3.14052 second user time and 10.4844 second system time

The end

Launcher Data 

Begin job on node111 at 2012-05-28 15:56:07
IDJOB=3712182
IDBENCH=79442
IDSOLVER=2291
FILE ID=node111/3712182-1338213367
RUNJOBID= node111-1338194732-28751
PBS_JOBID= 14624600
Free space on /tmp= 67808 MiB

SOLVER NAME= toysat 2012-05-17
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/coloring/normalized-myciel5g-3_wcsp.wbo
COMMAND LINE= HOME/toysat --wbo BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3712182-1338213367/watcher-3712182-1338213367 -o /tmp/evaluation-result-3712182-1338213367/solver-3712182-1338213367 -C 1800 -W 1900 -M 15500  HOME/toysat --wbo HOME/instance-3712182-1338213367.wbo

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

MD5SUM BENCH= 2db150696fc8aa7bc9f51554db7714aa
RANDOM SEED=1179322480

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        26199772 kB
Buffers:          564428 kB
Cached:          5108588 kB
SwapCached:         1624 kB
Active:          4772672 kB
Inactive:         963568 kB
Active(anon):      54976 kB
Inactive(anon):     9132 kB
Active(file):    4717696 kB
Inactive(file):   954436 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108856 kB
SwapFree:       67105364 kB
Dirty:              7392 kB
Writeback:             0 kB
AnonPages:         75532 kB
Mapped:            16496 kB
Shmem:                 8 kB
Slab:             798744 kB
SReclaimable:     241100 kB
SUnreclaim:       557644 kB
KernelStack:        1472 kB
PageTables:         4188 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     177432 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     51200 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 67800 MiB
End job on node111 at 2012-05-28 16:26:09