Trace number 3724596

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2012-06-01? (TO) 1800.03 1800.31

General information on the benchmark

Namenormalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/
miplib3/normalized-mps-v2-20-10-gt2.opb
MD5SUMfbf213ed65afe4e66abc3948eb02a29f
Bench CategoryOPT-MEDINT (optimisation, medium integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark21166
Best CPU time to get the best result obtained on this benchmark4.31334
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 21166
Optimality of the best value was proved NO
Number of variables556
Total number of constraints180
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)2
Number of constraints which are nor clauses,nor cardinality constraints178
Minimum length of a constraint2
Maximum length of a constraint48
Number of terms in the objective function 304
Biggest coefficient in the objective function 62376
Number of bits for the biggest coefficient in the objective function 16
Sum of the numbers in the objective function 3092598
Number of bits of the sum of numbers in the objective function 22
Biggest number in a constraint 62376
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 3092598
Number of bits of the biggest sum of numbers22
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.02	c 2012-06-02T12:05:31+0200
0.00/0.02	c arch = x86_64
0.00/0.02	c os = linux
0.00/0.02	c compiler = ghc 7.4
0.00/0.02	c packages:
0.00/0.02	c   OptDir-0.0.1
0.00/0.02	c   array-0.4.0.0
0.00/0.02	c   base-4.5.0.0
0.00/0.02	c   bytestring-0.9.2.1
0.00/0.02	c   containers-0.4.2.1
0.00/0.02	c   deepseq-1.3.0.0
0.00/0.02	c   mtl-2.1.1
0.00/0.02	c   old_locale-1.0.0.4
0.00/0.02	c   parse_dimacs-1.2
0.00/0.02	c   parsec-3.1.2
0.00/0.02	c   queue-0.1.2
0.00/0.02	c   stm-2.3
0.00/0.02	c   time-1.4
0.00/0.02	c command line = ["+RTS","-K1G","-RTS","--pb","HOME/instance-3724596-1338631531.opb"]
0.00/0.02	c #vars 556
0.00/0.02	c #constraints 180
0.00/0.02	c Solving starts ...
0.00/0.09	c solving time = 0.071s
0.00/0.09	c #decision = 961
0.00/0.09	c #conflict = 113
0.00/0.09	c #restart = 1
0.00/0.09	o 67467
0.00/0.09	c Solving starts ...
0.00/0.09	c solving time = 0.003s
0.00/0.09	c #decision = 1239
0.00/0.09	c #conflict = 113
0.00/0.09	c #restart = 1
0.00/0.09	o 66210
0.00/0.09	c Solving starts ...
0.09/0.10	c solving time = 0.007s
0.09/0.10	c #decision = 1517
0.09/0.10	c #conflict = 115
0.09/0.10	c #restart = 1
0.09/0.10	o 65651
0.09/0.10	c Solving starts ...
0.09/0.11	c solving time = 0.008s
0.09/0.11	c #decision = 1685
0.09/0.11	c #conflict = 116
0.09/0.11	c #restart = 1
0.09/0.11	o 64475
0.09/0.11	c Solving starts ...
0.09/0.12	c solving time = 0.008s
0.09/0.12	c #decision = 1865
0.09/0.12	c #conflict = 117
0.09/0.12	c #restart = 1
0.09/0.12	o 63299
0.09/0.12	c Solving starts ...
0.09/0.12	c solving time = 0.003s
0.09/0.12	c #decision = 2039
0.09/0.12	c #conflict = 117
0.09/0.12	c #restart = 1
0.09/0.12	o 61944
0.09/0.12	c Solving starts ...
0.09/0.13	c solving time = 0.008s
0.09/0.13	c #decision = 2219
0.09/0.13	c #conflict = 121
0.09/0.13	c #restart = 1
0.09/0.13	o 61185
0.09/0.13	c Solving starts ...
0.19/0.20	c solving time = 0.067s
0.19/0.20	c #decision = 2372
0.19/0.20	c #conflict = 129
0.19/0.20	c #restart = 1
0.19/0.20	o 60614
0.19/0.20	c Solving starts ...
0.19/0.20	c solving time = 0.004s
0.19/0.20	c #decision = 2621
0.19/0.20	c #conflict = 129
0.19/0.20	c #restart = 1
0.19/0.20	o 59259
0.19/0.20	c Solving starts ...
0.19/0.21	c solving time = 0.004s
0.19/0.21	c #decision = 2883
0.19/0.21	c #conflict = 129
0.19/0.21	c #restart = 1
0.19/0.21	o 57443
0.19/0.21	c Solving starts ...
0.19/0.22	c solving time = 0.008s
0.19/0.22	c #decision = 3139
0.19/0.22	c #conflict = 133
0.19/0.22	c #restart = 1
0.19/0.22	o 56574
0.19/0.22	c Solving starts ...
0.19/0.23	c solving time = 0.008s
0.19/0.23	c #decision = 3331
0.19/0.23	c #conflict = 135
0.19/0.23	c #restart = 1
0.19/0.23	o 55317
0.19/0.23	c Solving starts ...
0.19/0.23	c solving time = 0.007s
0.19/0.23	c #decision = 3473
0.19/0.23	c #conflict = 136
0.19/0.23	c #restart = 1
0.19/0.23	o 54758
0.19/0.23	c Solving starts ...
0.19/0.24	c solving time = 0.007s
0.19/0.24	c #decision = 3602
0.19/0.24	c #conflict = 137
0.19/0.24	c #restart = 1
0.19/0.24	o 54060
0.19/0.24	c Solving starts ...
0.19/0.25	c solving time = 0.006s
0.19/0.25	c #decision = 3717
0.19/0.25	c #conflict = 137
0.19/0.25	c #restart = 1
0.19/0.25	o 53501
0.19/0.25	c Solving starts ...
0.19/0.26	c solving time = 0.008s
0.19/0.26	c #decision = 3831
0.19/0.26	c #conflict = 138
0.19/0.26	c #restart = 1
0.19/0.26	o 52244
0.19/0.26	c Solving starts ...
0.19/0.26	c solving time = 0.006s
0.19/0.26	c #decision = 3922
0.19/0.26	c #conflict = 139
0.19/0.26	c #restart = 1
0.19/0.26	o 50987
0.19/0.26	c Solving starts ...
0.19/0.27	c solving time = 0.007s
0.19/0.27	c #decision = 4014
0.19/0.27	c #conflict = 139
0.19/0.27	c #restart = 1
0.19/0.27	o 49730
0.19/0.27	c Solving starts ...
0.68/0.71	c solving time = 0.443s
0.68/0.71	c #decision = 4199
0.68/0.71	c #conflict = 211
0.68/0.71	c #restart = 1
0.68/0.71	o 49649
0.68/0.71	c Solving starts ...
0.68/0.72	c solving time = 0.005s
0.68/0.72	c #decision = 4437
0.68/0.72	c #conflict = 211
0.68/0.72	c #restart = 1
0.68/0.72	o 47833
0.68/0.72	c Solving starts ...
0.68/0.73	c solving time = 0.006s
0.68/0.73	c #decision = 4678
0.68/0.73	c #conflict = 211
0.68/0.73	c #restart = 1
0.68/0.73	o 45148
0.68/0.73	c Solving starts ...
0.68/0.75	c solving time = 0.021s
0.68/0.75	c #decision = 4930
0.68/0.75	c #conflict = 217
0.68/0.75	c #restart = 1
0.68/0.75	o 44279
0.68/0.75	c Solving starts ...
0.68/0.76	c solving time = 0.006s
0.68/0.76	c #decision = 5106
0.68/0.76	c #conflict = 217
0.68/0.76	c #restart = 1
0.68/0.76	o 43720
0.68/0.76	c Solving starts ...
0.68/0.76	c solving time = 0.006s
0.68/0.76	c #decision = 5279
0.68/0.76	c #conflict = 217
0.68/0.76	c #restart = 1
0.68/0.76	o 42463
0.68/0.76	c Solving starts ...
0.68/0.77	c solving time = 0.005s
0.68/0.77	c #decision = 5462
0.68/0.77	c #conflict = 217
0.68/0.77	c #restart = 1
0.68/0.77	o 41035
0.68/0.77	c Solving starts ...
0.68/0.77	c solving time = 0.005s
0.68/0.77	c #decision = 5623
0.68/0.77	c #conflict = 217
0.68/0.77	c #restart = 1
0.68/0.77	o 39778
0.68/0.77	c Solving starts ...
0.68/0.78	c solving time = 0.005s
0.68/0.78	c #decision = 5801
0.68/0.78	c #conflict = 217
0.68/0.78	c #restart = 1
0.68/0.78	o 37093
0.68/0.78	c Solving starts ...
0.68/0.79	c solving time = 0.006s
0.68/0.79	c #decision = 5961
0.68/0.79	c #conflict = 217
0.68/0.79	c #restart = 1
0.68/0.79	o 36522
0.68/0.79	c Solving starts ...
0.88/0.95	c solving time = 0.158s
0.88/0.95	c #decision = 6148
0.88/0.95	c #conflict = 242
0.88/0.95	c #restart = 1
0.88/0.95	o 36343
0.88/0.95	c Solving starts ...
1.69/1.75	c learnt constraints deletion: 340 -> 170
2.19/2.22	c learnt constraints deletion: 316 -> 158
3.89/3.99	c learnt constraints deletion: 382 -> 191
5.38/5.47	c learnt constraints deletion: 528 -> 264
11.29/11.35	c learnt constraints deletion: 770 -> 385
11.39/11.46	c learnt constraints deletion: 443 -> 222
13.78/13.84	c learnt constraints deletion: 888 -> 448
13.88/13.95	c learnt constraints deletion: 482 -> 241
20.49/20.58	c learnt constraints deletion: 925 -> 468
24.99/25.09	c learnt constraints deletion: 925 -> 463
26.78/26.80	c learnt constraints deletion: 980 -> 502
28.48/28.52	c learnt constraints deletion: 984 -> 501
30.18/30.25	c learnt constraints deletion: 959 -> 493
31.18/31.27	c learnt constraints deletion: 748 -> 374
38.08/38.12	c learnt constraints deletion: 1022 -> 519
43.28/43.35	c learnt constraints deletion: 1028 -> 521
48.48/48.59	c learnt constraints deletion: 1010 -> 507
54.48/54.53	c learnt constraints deletion: 1019 -> 516
58.68/58.72	c learnt constraints deletion: 927 -> 464
60.58/60.66	c learnt constraints deletion: 1073 -> 543
62.28/62.38	c learnt constraints deletion: 1059 -> 537
64.08/64.17	c learnt constraints deletion: 1069 -> 549
65.78/65.89	c learnt constraints deletion: 1083 -> 553
67.48/67.52	c learnt constraints deletion: 1030 -> 527
69.17/69.21	c learnt constraints deletion: 1045 -> 534
70.78/70.86	c learnt constraints deletion: 1038 -> 525
71.48/71.51	c learnt constraints deletion: 686 -> 343
78.18/78.23	c learnt constraints deletion: 1144 -> 581
83.08/83.16	c learnt constraints deletion: 1098 -> 554
88.57/88.66	c learnt constraints deletion: 1136 -> 576
94.47/94.59	c learnt constraints deletion: 1128 -> 573
100.18/100.27	c learnt constraints deletion: 1126 -> 570
104.07/104.13	c learnt constraints deletion: 1100 -> 556
108.26/108.35	c learnt constraints deletion: 1134 -> 578
112.07/112.19	c learnt constraints deletion: 1085 -> 551
116.07/116.14	c learnt constraints deletion: 1109 -> 564
120.37/120.46	c learnt constraints deletion: 1168 -> 584
124.97/125.04	c learnt constraints deletion: 1192 -> 607
128.68/128.77	c learnt constraints deletion: 1131 -> 576
131.76/131.84	c learnt constraints deletion: 1042 -> 522
134.86/134.98	c learnt constraints deletion: 1141 -> 579
137.97/138.02	c learnt constraints deletion: 1184 -> 606
140.36/140.45	c learnt constraints deletion: 1113 -> 567
142.46/142.52	c learnt constraints deletion: 1091 -> 557
144.86/144.90	c learnt constraints deletion: 1131 -> 588
147.77/147.80	c learnt constraints deletion: 1147 -> 586
151.07/151.18	c learnt constraints deletion: 1137 -> 576
154.16/154.25	c learnt constraints deletion: 1178 -> 598
157.46/157.51	c learnt constraints deletion: 1194 -> 604
160.46/160.60	c learnt constraints deletion: 1163 -> 594
163.36/163.48	c learnt constraints deletion: 1194 -> 609
166.16/166.20	c learnt constraints deletion: 1157 -> 590
170.57/170.61	c learnt constraints deletion: 1227 -> 628
175.26/175.34	c learnt constraints deletion: 1276 -> 659
180.65/180.77	c learnt constraints deletion: 1282 -> 658
186.26/186.33	c learnt constraints deletion: 1283 -> 663
190.27/190.32	c learnt constraints deletion: 1272 -> 661
194.46/194.54	c learnt constraints deletion: 1240 -> 641
198.36/198.43	c learnt constraints deletion: 1221 -> 633
202.56/202.65	c learnt constraints deletion: 1247 -> 646
206.15/206.24	c learnt constraints deletion: 1264 -> 658
210.76/210.81	c learnt constraints deletion: 1299 -> 672
215.45/215.53	c learnt constraints deletion: 1264 -> 651
220.36/220.45	c learnt constraints deletion: 1280 -> 665
224.25/224.36	c learnt constraints deletion: 1239 -> 639
227.65/227.76	c learnt constraints deletion: 1258 -> 649
231.25/231.39	c learnt constraints deletion: 1277 -> 664
234.85/234.96	c learnt constraints deletion: 1272 -> 655
238.85/238.95	c learnt constraints deletion: 1295 -> 671
242.85/242.97	c learnt constraints deletion: 1264 -> 656
247.25/247.34	c learnt constraints deletion: 1293 -> 672
250.95/251.03	c learnt constraints deletion: 1280 -> 659
254.75/254.86	c learnt constraints deletion: 1270 -> 658
256.94/257.03	c learnt constraints deletion: 989 -> 495
263.24/263.35	c learnt constraints deletion: 1334 -> 687
267.75/267.80	c learnt constraints deletion: 1345 -> 702
272.04/272.11	c learnt constraints deletion: 1324 -> 690
276.84/276.90	c learnt constraints deletion: 1315 -> 683
282.34/282.40	c learnt constraints deletion: 1320 -> 686
287.94/288.09	c learnt constraints deletion: 1354 -> 707
293.24/293.33	c learnt constraints deletion: 1331 -> 675
297.44/297.52	c learnt constraints deletion: 1281 -> 644
301.84/301.95	c learnt constraints deletion: 1336 -> 676
305.75/305.82	c learnt constraints deletion: 1305 -> 659
310.14/310.23	c learnt constraints deletion: 1285 -> 652
314.94/315.04	c learnt constraints deletion: 1364 -> 690
319.53/319.61	c learnt constraints deletion: 1332 -> 672
324.94/325.03	c learnt constraints deletion: 1348 -> 677
329.63/329.71	c learnt constraints deletion: 1336 -> 673
334.74/334.89	c learnt constraints deletion: 1362 -> 689
339.13/339.28	c learnt constraints deletion: 1260 -> 632
344.04/344.15	c learnt constraints deletion: 1321 -> 677
349.03/349.18	c learnt constraints deletion: 1333 -> 680
353.93/354.02	c learnt constraints deletion: 1340 -> 682
358.83/358.94	c learnt constraints deletion: 1361 -> 691
363.63/363.70	c learnt constraints deletion: 1334 -> 673
368.73/368.86	c learnt constraints deletion: 1323 -> 679
373.53/373.62	c learnt constraints deletion: 1302 -> 663
379.23/379.36	c learnt constraints deletion: 1348 -> 696
384.43/384.55	c learnt constraints deletion: 1329 -> 685
389.63/389.74	c learnt constraints deletion: 1345 -> 701
394.53/394.69	c learnt constraints deletion: 1341 -> 693
400.33/400.49	c learnt constraints deletion: 1352 -> 682
404.93/405.01	c learnt constraints deletion: 1149 -> 575
410.83/410.93	c learnt constraints deletion: 1453 -> 734
415.63/415.78	c learnt constraints deletion: 1455 -> 736
420.32/420.40	c learnt constraints deletion: 1430 -> 717
425.32/425.41	c learnt constraints deletion: 1442 -> 727
430.32/430.46	c learnt constraints deletion: 1451 -> 732
435.72/435.82	c learnt constraints deletion: 1460 -> 737
440.92/441.01	c learnt constraints deletion: 1433 -> 729
446.32/446.42	c learnt constraints deletion: 1437 -> 729
451.62/451.77	c learnt constraints deletion: 1432 -> 727
457.02/457.10	c learnt constraints deletion: 1444 -> 728
462.12/462.28	c learnt constraints deletion: 1439 -> 724
467.32/467.46	c learnt constraints deletion: 1455 -> 734
472.01/472.18	c learnt constraints deletion: 1462 -> 738
477.12/477.29	c learnt constraints deletion: 1433 -> 725
483.01/483.11	c learnt constraints deletion: 1445 -> 727
488.32/488.49	c learnt constraints deletion: 1440 -> 729
493.61/493.70	c learnt constraints deletion: 1441 -> 726
498.91/499.01	c learnt constraints deletion: 1457 -> 739
503.72/503.85	c learnt constraints deletion: 1439 -> 730
509.11/509.27	c learnt constraints deletion: 1438 -> 724
514.21/514.38	c learnt constraints deletion: 1440 -> 726
519.21/519.32	c learnt constraints deletion: 1457 -> 735
524.01/524.17	c learnt constraints deletion: 1469 -> 738
528.61/528.78	c learnt constraints deletion: 1450 -> 733
533.41/533.57	c learnt constraints deletion: 1443 -> 732
538.61/538.73	c learnt constraints deletion: 1456 -> 738
543.61/543.74	c learnt constraints deletion: 1458 -> 738
548.20/548.39	c learnt constraints deletion: 1443 -> 728
553.20/553.36	c learnt constraints deletion: 1454 -> 734
557.70/557.86	c learnt constraints deletion: 1427 -> 718
563.20/563.39	c learnt constraints deletion: 1468 -> 740
567.80/567.94	c learnt constraints deletion: 1463 -> 737
572.50/572.68	c learnt constraints deletion: 1452 -> 732
577.50/577.66	c learnt constraints deletion: 1437 -> 728
582.90/583.09	c learnt constraints deletion: 1454 -> 732
587.60/587.79	c learnt constraints deletion: 1429 -> 716
592.29/592.45	c learnt constraints deletion: 1451 -> 734
596.90/597.06	c learnt constraints deletion: 1452 -> 732
601.30/601.45	c learnt constraints deletion: 1465 -> 736
606.50/606.67	c learnt constraints deletion: 1550 -> 786
608.69/608.89	c learnt constraints deletion: 1135 -> 568
615.09/615.20	c learnt constraints deletion: 1561 -> 785
620.49/620.60	c learnt constraints deletion: 1548 -> 779
622.19/622.32	c learnt constraints deletion: 1372 -> 690
624.49/624.65	c learnt constraints deletion: 1454 -> 736
627.99/628.16	c learnt constraints deletion: 1509 -> 761
631.19/631.33	c learnt constraints deletion: 1502 -> 758
635.70/635.84	c learnt constraints deletion: 1527 -> 778
639.49/639.62	c learnt constraints deletion: 1469 -> 747
644.09/644.20	c learnt constraints deletion: 1530 -> 773
647.89/648.09	c learnt constraints deletion: 1566 -> 795
652.49/652.60	c learnt constraints deletion: 1554 -> 790
656.48/656.64	c learnt constraints deletion: 1513 -> 766
660.19/660.37	c learnt constraints deletion: 1504 -> 768
663.98/664.16	c learnt constraints deletion: 1424 -> 719
667.89/668.04	c learnt constraints deletion: 1508 -> 766
671.18/671.39	c learnt constraints deletion: 1433 -> 725
676.08/676.22	c learnt constraints deletion: 1537 -> 782
676.98/677.13	c solving time = 676.079s
676.98/677.13	c #decision = 149111
676.98/677.13	c #conflict = 100859
676.98/677.13	c #restart = 16
676.98/677.13	o 36318
676.98/677.13	c Solving starts ...
676.98/677.13	c learnt constraints deletion: 960 -> 480
676.98/677.13	c learnt constraints deletion: 480 -> 240
676.98/677.14	c solving time = 0.009s
676.98/677.14	c #decision = 149197
676.98/677.14	c #conflict = 100859
676.98/677.14	c #restart = 16
676.98/677.14	o 36237
676.98/677.14	c Solving starts ...
678.08/678.27	c learnt constraints deletion: 339 -> 170
679.28/679.48	c learnt constraints deletion: 319 -> 160
681.89/682.02	c learnt constraints deletion: 384 -> 192
684.19/684.32	c learnt constraints deletion: 529 -> 265
686.39/686.55	c learnt constraints deletion: 761 -> 381
690.79/690.91	c learnt constraints deletion: 884 -> 454
692.68/692.86	c learnt constraints deletion: 711 -> 356
694.59/694.70	c learnt constraints deletion: 816 -> 411
696.38/696.55	c learnt constraints deletion: 856 -> 437
697.48/697.67	c learnt constraints deletion: 673 -> 337
702.68/702.82	c learnt constraints deletion: 921 -> 465
706.09/706.21	c learnt constraints deletion: 880 -> 441
709.98/710.15	c learnt constraints deletion: 916 -> 462
711.98/712.11	c learnt constraints deletion: 700 -> 350
716.37/716.57	c learnt constraints deletion: 1006 -> 513
719.47/719.68	c learnt constraints deletion: 1020 -> 523
721.67/721.82	c learnt constraints deletion: 1003 -> 514
724.48/724.65	c learnt constraints deletion: 999 -> 509
727.17/727.30	c learnt constraints deletion: 950 -> 475
731.39/731.58	c learnt constraints deletion: 1054 -> 532
735.88/736.09	c learnt constraints deletion: 1052 -> 530
739.78/739.96	c learnt constraints deletion: 1019 -> 520
743.27/743.46	c learnt constraints deletion: 982 -> 492
746.67/746.82	c learnt constraints deletion: 994 -> 501
750.87/751.00	c learnt constraints deletion: 1014 -> 510
754.17/754.38	c learnt constraints deletion: 985 -> 499
756.27/756.40	c learnt constraints deletion: 813 -> 407
760.87/761.08	c learnt constraints deletion: 1050 -> 530
764.57/764.79	c learnt constraints deletion: 1030 -> 516
768.97/769.16	c learnt constraints deletion: 1132 -> 568
773.47/773.60	c learnt constraints deletion: 1137 -> 572
777.97/778.18	c learnt constraints deletion: 1141 -> 577
782.57/782.72	c learnt constraints deletion: 1141 -> 576
785.97/786.10	c learnt constraints deletion: 1042 -> 523
789.97/790.13	c learnt constraints deletion: 1122 -> 569
793.07/793.24	c learnt constraints deletion: 1044 -> 523
796.27/796.42	c learnt constraints deletion: 1087 -> 550
797.47/797.67	c learnt constraints deletion: 767 -> 384
802.16/802.37	c learnt constraints deletion: 1150 -> 579
806.27/806.44	c learnt constraints deletion: 1179 -> 592
810.46/810.60	c learnt constraints deletion: 1163 -> 588
814.97/815.17	c learnt constraints deletion: 1201 -> 607
819.77/819.97	c learnt constraints deletion: 1207 -> 611
824.66/824.81	c learnt constraints deletion: 1219 -> 618
829.06/829.29	c learnt constraints deletion: 1190 -> 604
833.66/833.87	c learnt constraints deletion: 1179 -> 597
838.66/838.88	c learnt constraints deletion: 1159 -> 583
844.06/844.21	c learnt constraints deletion: 1163 -> 586
848.96/849.18	c learnt constraints deletion: 1174 -> 593
853.57/853.74	c learnt constraints deletion: 1184 -> 598
858.66/858.89	c learnt constraints deletion: 1215 -> 616
863.56/863.78	c learnt constraints deletion: 1168 -> 588
866.25/866.41	c learnt constraints deletion: 867 -> 434
868.25/868.42	c learnt constraints deletion: 1183 -> 597
869.85/870.09	c learnt constraints deletion: 1234 -> 621
871.25/871.48	c learnt constraints deletion: 1151 -> 582
873.45/873.63	c learnt constraints deletion: 1247 -> 626
875.06/875.25	c learnt constraints deletion: 1187 -> 605
877.05/877.22	c learnt constraints deletion: 1194 -> 604
878.95/879.11	c learnt constraints deletion: 1214 -> 614
881.06/881.29	c learnt constraints deletion: 1208 -> 609
883.05/883.30	c learnt constraints deletion: 1237 -> 629
884.95/885.12	c learnt constraints deletion: 1246 -> 631
887.25/887.43	c learnt constraints deletion: 1281 -> 648
889.76/890.00	c learnt constraints deletion: 1203 -> 607
893.06/893.26	c learnt constraints deletion: 1298 -> 658
895.45/895.66	c learnt constraints deletion: 1275 -> 651
897.75/897.93	c learnt constraints deletion: 1245 -> 632
899.95/900.13	c learnt constraints deletion: 1293 -> 659
902.05/902.25	c learnt constraints deletion: 1206 -> 612
905.05/905.29	c learnt constraints deletion: 1274 -> 647
908.24/908.48	c learnt constraints deletion: 1314 -> 667
910.55/910.74	c learnt constraints deletion: 1209 -> 619
913.45/913.60	c learnt constraints deletion: 1265 -> 633
916.95/917.16	c learnt constraints deletion: 1351 -> 679
921.45/921.64	c learnt constraints deletion: 1283 -> 646
925.45/925.65	c learnt constraints deletion: 1295 -> 656
928.95/929.16	c learnt constraints deletion: 1331 -> 671
932.24/932.48	c learnt constraints deletion: 1308 -> 668
935.64/935.81	c learnt constraints deletion: 1355 -> 686
939.44/939.63	c learnt constraints deletion: 1324 -> 667
944.75/944.90	c learnt constraints deletion: 1349 -> 681
949.74/949.97	c learnt constraints deletion: 1318 -> 663
954.45/954.60	c learnt constraints deletion: 1357 -> 692
958.85/959.07	c learnt constraints deletion: 1306 -> 659
963.64/963.81	c learnt constraints deletion: 1274 -> 641
968.24/968.44	c learnt constraints deletion: 1341 -> 678
973.14/973.34	c learnt constraints deletion: 1331 -> 674
978.04/978.24	c learnt constraints deletion: 1367 -> 702
983.64/983.89	c learnt constraints deletion: 1358 -> 690
988.84/989.03	c learnt constraints deletion: 1314 -> 664
994.74/994.96	c learnt constraints deletion: 1381 -> 699
999.94/1000.13	c learnt constraints deletion: 1343 -> 683
1004.33/1004.58	c learnt constraints deletion: 1285 -> 660
1008.33/1008.53	c learnt constraints deletion: 1288 -> 665
1012.63/1012.89	c learnt constraints deletion: 1282 -> 659
1018.04/1018.22	c learnt constraints deletion: 1272 -> 639
1022.53/1022.77	c learnt constraints deletion: 1315 -> 662
1026.93/1027.14	c learnt constraints deletion: 1267 -> 641
1031.83/1032.03	c learnt constraints deletion: 1331 -> 676
1037.03/1037.24	c learnt constraints deletion: 1366 -> 691
1042.13/1042.37	c learnt constraints deletion: 1289 -> 646
1046.73/1046.98	c learnt constraints deletion: 1349 -> 682
1050.13/1050.32	c learnt constraints deletion: 1242 -> 621
1053.53/1053.70	c learnt constraints deletion: 1450 -> 735
1057.33/1057.58	c learnt constraints deletion: 1456 -> 737
1060.72/1060.95	c learnt constraints deletion: 1461 -> 743
1063.63/1063.81	c learnt constraints deletion: 1407 -> 719
1066.93/1067.14	c learnt constraints deletion: 1458 -> 746
1069.92/1070.11	c learnt constraints deletion: 1403 -> 723
1073.02/1073.26	c learnt constraints deletion: 1410 -> 724
1076.13/1076.30	c learnt constraints deletion: 1417 -> 725
1079.52/1079.70	c learnt constraints deletion: 1443 -> 740
1082.42/1082.60	c learnt constraints deletion: 1416 -> 733
1085.42/1085.65	c learnt constraints deletion: 1458 -> 741
1088.32/1088.57	c learnt constraints deletion: 1407 -> 715
1091.02/1091.24	c learnt constraints deletion: 1447 -> 739
1093.42/1093.66	c learnt constraints deletion: 1411 -> 723
1095.53/1095.79	c solving time = 418.583s
1095.53/1095.79	c #decision = 250454
1095.53/1095.79	c #conflict = 169645
1095.53/1095.79	c #restart = 30
1095.53/1095.79	o 36213
1095.53/1095.79	c Solving starts ...
1095.53/1095.79	c learnt constraints deletion: 1254 -> 627
1095.53/1095.79	c learnt constraints deletion: 627 -> 314
1095.62/1095.86	c solving time = 0.071s
1095.62/1095.86	c #decision = 250621
1095.62/1095.86	c #conflict = 169658
1095.62/1095.86	c #restart = 30
1095.62/1095.86	o 35844
1095.62/1095.86	c Solving starts ...
1095.62/1095.86	c learnt constraints deletion: 327 -> 164
1095.92/1096.17	c solving time = 0.312s
1095.92/1096.17	c #decision = 250891
1095.92/1096.17	c #conflict = 169711
1095.92/1096.17	c #restart = 30
1095.92/1096.17	o 35763
1095.92/1096.17	c Solving starts ...
1095.92/1096.18	c solving time = 0.010s
1095.92/1096.18	c #decision = 251118
1095.92/1096.18	c #conflict = 169712
1095.92/1096.18	c #restart = 30
1095.92/1096.18	o 35310
1095.92/1096.18	c Solving starts ...
1095.92/1096.19	c solving time = 0.006s
1095.92/1096.19	c #decision = 251303
1095.92/1096.19	c #conflict = 169712
1095.92/1096.19	c #restart = 30
1095.92/1096.19	o 34506
1095.92/1096.19	c Solving starts ...
1096.02/1096.21	c solving time = 0.017s
1096.02/1096.21	c #decision = 251474
1096.02/1096.21	c #conflict = 169713
1096.02/1096.21	c #restart = 30
1096.02/1096.21	o 33699
1096.02/1096.21	c Solving starts ...
1096.12/1096.39	c solving time = 0.182s
1096.12/1096.39	c #decision = 251609
1096.12/1096.39	c #conflict = 169740
1096.12/1096.39	c #restart = 30
1096.12/1096.39	o 32604
1096.12/1096.39	c Solving starts ...
1096.92/1097.18	c learnt constraints deletion: 345 -> 173
1096.92/1097.19	c solving time = 0.798s
1096.92/1097.19	c #decision = 252079
1096.92/1097.19	c #conflict = 169843
1096.92/1097.19	c #restart = 31
1096.92/1097.19	o 32018
1096.92/1097.19	c Solving starts ...
1098.73/1098.92	c learnt constraints deletion: 424 -> 212
1099.32/1099.59	c learnt constraints deletion: 432 -> 216
1101.62/1101.82	c learnt constraints deletion: 553 -> 277
1103.32/1103.52	c learnt constraints deletion: 783 -> 392
1105.43/1105.61	c learnt constraints deletion: 897 -> 455
1106.42/1106.65	c learnt constraints deletion: 710 -> 355
1109.02/1109.26	c learnt constraints deletion: 889 -> 449
1111.02/1111.24	c learnt constraints deletion: 850 -> 429
1112.12/1112.32	c learnt constraints deletion: 635 -> 318
1116.33/1116.59	c learnt constraints deletion: 964 -> 487
1119.51/1119.79	c learnt constraints deletion: 968 -> 487
1122.81/1123.03	c learnt constraints deletion: 967 -> 493
1123.42/1123.69	c learnt constraints deletion: 598 -> 299
1126.92/1127.18	c learnt constraints deletion: 1066 -> 547
1130.12/1130.37	c learnt constraints deletion: 1065 -> 543
1132.71/1132.95	c learnt constraints deletion: 1017 -> 521
1135.31/1135.55	c learnt constraints deletion: 1009 -> 514
1137.02/1137.21	c learnt constraints deletion: 830 -> 415
1141.01/1141.29	c learnt constraints deletion: 1111 -> 562
1144.31/1144.59	c learnt constraints deletion: 1121 -> 566
1147.31/1147.51	c learnt constraints deletion: 1086 -> 547
1150.61/1150.81	c learnt constraints deletion: 1102 -> 561
1154.11/1154.34	c learnt constraints deletion: 1097 -> 554
1157.71/1157.97	c learnt constraints deletion: 1100 -> 559
1160.61/1160.82	c learnt constraints deletion: 1001 -> 501
1160.61/1160.84	c solving time = 63.646s
1160.61/1160.84	c #decision = 270457
1160.61/1160.84	c #conflict = 181213
1160.61/1160.84	c #restart = 41
1160.61/1160.84	o 31262
1160.61/1160.84	c Solving starts ...
1160.61/1160.85	c learnt constraints deletion: 510 -> 255
1160.91/1161.16	c learnt constraints deletion: 354 -> 177
1161.71/1161.97	c learnt constraints deletion: 326 -> 163
1162.52/1162.77	c learnt constraints deletion: 385 -> 193
1164.21/1164.46	c learnt constraints deletion: 530 -> 265
1166.50/1166.74	c learnt constraints deletion: 771 -> 386
1169.50/1169.77	c learnt constraints deletion: 869 -> 440
1171.81/1172.00	c learnt constraints deletion: 717 -> 359
1171.91/1172.19	c learnt constraints deletion: 655 -> 330
1172.20/1172.44	c learnt constraints deletion: 704 -> 353
1173.91/1174.10	c learnt constraints deletion: 823 -> 412
1175.50/1175.78	c learnt constraints deletion: 938 -> 481
1177.30/1177.51	c learnt constraints deletion: 951 -> 484
1178.71/1178.94	c learnt constraints deletion: 900 -> 459
1179.71/1179.98	c learnt constraints deletion: 759 -> 380
1183.01/1183.25	c learnt constraints deletion: 1001 -> 502
1185.50/1185.78	c learnt constraints deletion: 953 -> 479
1188.61/1188.89	c learnt constraints deletion: 1010 -> 513
1191.70/1191.92	c learnt constraints deletion: 1003 -> 506
1194.41/1194.68	c learnt constraints deletion: 982 -> 491
1195.31/1195.57	c learnt constraints deletion: 904 -> 455
1197.50/1197.70	c learnt constraints deletion: 1038 -> 522
1199.50/1199.79	c learnt constraints deletion: 973 -> 493
1202.11/1202.40	c learnt constraints deletion: 972 -> 493
1204.70/1204.98	c learnt constraints deletion: 1091 -> 559
1207.20/1207.49	c learnt constraints deletion: 1074 -> 546
1209.61/1209.83	c learnt constraints deletion: 1036 -> 527
1210.81/1211.09	c learnt constraints deletion: 852 -> 426
1215.20/1215.49	c learnt constraints deletion: 1119 -> 567
1217.90/1218.12	c learnt constraints deletion: 1076 -> 545
1221.30/1221.50	c learnt constraints deletion: 1089 -> 556
1224.60/1224.87	c learnt constraints deletion: 1076 -> 549
1228.20/1228.40	c learnt constraints deletion: 1126 -> 575
1231.10/1231.31	c learnt constraints deletion: 1058 -> 535
1234.50/1234.79	c learnt constraints deletion: 1064 -> 542
1238.29/1238.58	c learnt constraints deletion: 1087 -> 556
1241.70/1241.99	c learnt constraints deletion: 1121 -> 569
1245.19/1245.41	c learnt constraints deletion: 1093 -> 556
1246.90/1247.19	c learnt constraints deletion: 849 -> 425
1250.10/1250.33	c learnt constraints deletion: 1219 -> 617
1252.80/1253.02	c learnt constraints deletion: 1196 -> 609
1254.91/1255.17	c learnt constraints deletion: 1162 -> 589
1257.60/1257.82	c learnt constraints deletion: 1196 -> 609
1260.00/1260.27	c learnt constraints deletion: 1154 -> 584
1262.39/1262.65	c learnt constraints deletion: 1175 -> 597
1264.59/1264.88	c learnt constraints deletion: 1144 -> 584
1267.29/1267.50	c learnt constraints deletion: 1166 -> 592
1269.89/1270.13	c learnt constraints deletion: 1172 -> 600
1272.49/1272.70	c learnt constraints deletion: 1183 -> 605
1274.89/1275.10	c learnt constraints deletion: 1166 -> 595
1277.79/1278.01	c learnt constraints deletion: 1198 -> 615
1279.99/1280.28	c learnt constraints deletion: 1130 -> 582
1282.59/1282.86	c learnt constraints deletion: 1186 -> 612
1284.29/1284.59	c learnt constraints deletion: 1042 -> 521
1288.49/1288.71	c learnt constraints deletion: 1268 -> 640
1294.50/1294.71	c learnt constraints deletion: 1262 -> 634
1298.29/1298.51	c learnt constraints deletion: 1145 -> 576
1306.08/1306.30	c learnt constraints deletion: 1236 -> 629
1311.98/1312.27	c learnt constraints deletion: 1299 -> 667
1316.28/1316.51	c learnt constraints deletion: 1203 -> 610
1321.00/1321.28	c learnt constraints deletion: 1238 -> 632
1325.59/1325.85	c learnt constraints deletion: 1220 -> 633
1331.99/1332.25	c learnt constraints deletion: 1210 -> 623
1338.18/1338.43	c learnt constraints deletion: 1291 -> 653
1341.98/1342.25	c learnt constraints deletion: 1262 -> 646
1346.99/1347.22	c learnt constraints deletion: 1303 -> 664
1350.78/1351.08	c learnt constraints deletion: 1233 -> 626
1355.78/1356.09	c learnt constraints deletion: 1267 -> 646
1361.18/1361.47	c learnt constraints deletion: 1312 -> 666
1365.58/1365.82	c learnt constraints deletion: 1238 -> 625
1369.88/1370.15	c learnt constraints deletion: 1225 -> 625
1374.98/1375.30	c learnt constraints deletion: 1206 -> 610
1380.78/1381.06	c learnt constraints deletion: 1220 -> 619
1384.98/1385.27	c learnt constraints deletion: 1255 -> 641
1390.07/1390.37	c learnt constraints deletion: 1305 -> 653
1395.28/1395.57	c learnt constraints deletion: 1368 -> 693
1399.47/1399.70	c learnt constraints deletion: 1366 -> 689
1403.97/1404.27	c learnt constraints deletion: 1316 -> 665
1407.98/1408.28	c learnt constraints deletion: 1327 -> 673
1412.17/1412.41	c learnt constraints deletion: 1284 -> 648
1416.97/1417.27	c learnt constraints deletion: 1367 -> 696
1420.57/1420.80	c learnt constraints deletion: 1311 -> 667
1424.57/1424.89	c learnt constraints deletion: 1331 -> 678
1428.47/1428.79	c learnt constraints deletion: 1330 -> 679
1433.67/1433.91	c learnt constraints deletion: 1364 -> 688
1439.57/1439.80	c learnt constraints deletion: 1344 -> 676
1443.77/1444.05	c learnt constraints deletion: 1326 -> 667
1448.37/1448.67	c learnt constraints deletion: 1352 -> 681
1452.56/1452.81	c learnt constraints deletion: 1352 -> 700
1455.86/1456.19	c learnt constraints deletion: 1334 -> 691
1459.37/1459.66	c learnt constraints deletion: 1322 -> 686
1462.87/1463.17	c learnt constraints deletion: 1348 -> 702
1466.26/1466.50	c learnt constraints deletion: 1328 -> 690
1469.76/1470.05	c learnt constraints deletion: 1352 -> 704
1474.76/1475.08	c learnt constraints deletion: 1357 -> 682
1480.66/1480.91	c learnt constraints deletion: 1333 -> 670
1485.87/1486.20	c learnt constraints deletion: 1365 -> 692
1490.95/1491.28	c learnt constraints deletion: 1273 -> 638
1495.66/1495.98	c learnt constraints deletion: 1323 -> 667
1500.55/1500.83	c learnt constraints deletion: 1337 -> 676
1505.16/1505.43	c learnt constraints deletion: 1305 -> 669
1510.16/1510.45	c learnt constraints deletion: 1363 -> 697
1514.06/1514.39	c learnt constraints deletion: 1315 -> 676
1519.16/1519.42	c learnt constraints deletion: 1366 -> 688
1522.65/1522.93	c learnt constraints deletion: 1141 -> 571
1525.15/1525.49	c learnt constraints deletion: 1275 -> 639
1528.06/1528.34	c learnt constraints deletion: 1259 -> 631
1531.16/1531.42	c learnt constraints deletion: 1383 -> 693
1534.15/1534.42	c learnt constraints deletion: 1335 -> 675
1537.46/1537.76	c learnt constraints deletion: 1420 -> 719
1541.25/1541.59	c learnt constraints deletion: 1375 -> 693
1544.45/1544.76	c learnt constraints deletion: 1370 -> 691
1547.46/1547.74	c learnt constraints deletion: 1380 -> 695
1551.75/1552.04	c learnt constraints deletion: 1454 -> 737
1555.34/1555.61	c learnt constraints deletion: 1393 -> 698
1559.35/1559.64	c learnt constraints deletion: 1418 -> 725
1561.64/1561.91	c learnt constraints deletion: 1251 -> 627
1565.05/1565.37	c learnt constraints deletion: 1361 -> 689
1568.55/1568.88	c learnt constraints deletion: 1422 -> 721
1571.55/1571.82	c learnt constraints deletion: 1335 -> 669
1575.25/1575.57	c learnt constraints deletion: 1375 -> 698
1578.26/1578.57	c learnt constraints deletion: 1367 -> 694
1581.15/1581.42	c learnt constraints deletion: 1408 -> 717
1583.55/1583.86	c learnt constraints deletion: 1336 -> 683
1586.85/1587.19	c learnt constraints deletion: 1404 -> 725
1589.25/1589.58	c learnt constraints deletion: 1310 -> 659
1593.45/1593.71	c learnt constraints deletion: 1424 -> 719
1596.25/1596.57	c learnt constraints deletion: 1333 -> 680
1599.34/1599.61	c learnt constraints deletion: 1348 -> 682
1602.94/1603.25	c learnt constraints deletion: 1395 -> 704
1605.75/1606.00	c learnt constraints deletion: 1372 -> 694
1608.94/1609.21	c learnt constraints deletion: 1363 -> 687
1612.35/1612.63	c learnt constraints deletion: 1398 -> 706
1616.24/1616.59	c learnt constraints deletion: 1396 -> 710
1619.74/1620.06	c learnt constraints deletion: 1446 -> 739
1623.35/1623.62	c learnt constraints deletion: 1377 -> 698
1626.43/1626.76	c learnt constraints deletion: 1387 -> 704
1630.24/1630.53	c learnt constraints deletion: 1309 -> 664
1633.14/1633.44	c learnt constraints deletion: 1362 -> 701
1635.74/1636.08	c learnt constraints deletion: 1330 -> 676
1638.54/1638.86	c learnt constraints deletion: 1357 -> 695
1642.44/1642.72	c learnt constraints deletion: 1402 -> 715
1645.53/1645.81	c learnt constraints deletion: 1266 -> 634
1651.33/1651.65	c learnt constraints deletion: 1385 -> 697
1656.04/1656.37	c learnt constraints deletion: 1426 -> 724
1660.44/1660.76	c learnt constraints deletion: 1437 -> 729
1664.93/1665.23	c learnt constraints deletion: 1338 -> 671
1669.93/1670.22	c learnt constraints deletion: 1475 -> 738
1674.83/1675.15	c learnt constraints deletion: 1515 -> 767
1679.63/1679.96	c learnt constraints deletion: 1489 -> 747
1684.73/1685.05	c learnt constraints deletion: 1486 -> 747
1690.03/1690.39	c learnt constraints deletion: 1566 -> 792
1695.53/1695.89	c learnt constraints deletion: 1545 -> 777
1700.73/1701.05	c learnt constraints deletion: 1522 -> 765
1706.52/1706.82	c learnt constraints deletion: 1549 -> 784
1711.83/1712.17	c learnt constraints deletion: 1513 -> 763
1717.33/1717.66	c learnt constraints deletion: 1549 -> 786
1724.12/1724.40	c learnt constraints deletion: 1577 -> 794
1729.13/1729.42	c learnt constraints deletion: 1532 -> 773
1735.12/1735.40	c learnt constraints deletion: 1550 -> 784
1739.93/1740.23	c learnt constraints deletion: 1531 -> 791
1744.83/1745.16	c learnt constraints deletion: 1524 -> 766
1751.82/1752.11	c learnt constraints deletion: 1545 -> 778
1758.41/1758.79	c learnt constraints deletion: 1558 -> 790
1765.41/1765.72	c learnt constraints deletion: 1563 -> 790
1772.31/1772.61	c learnt constraints deletion: 1556 -> 789
1779.11/1779.48	c learnt constraints deletion: 1567 -> 794
1786.81/1787.11	c learnt constraints deletion: 1582 -> 808
1792.82/1793.11	c learnt constraints deletion: 1483 -> 747
1797.31/1797.70	c learnt constraints deletion: 1515 -> 764

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-3724596-1338631531/watcher-3724596-1338631531 -o /tmp/evaluation-result-3724596-1338631531/solver-3724596-1338631531 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724596-1338631531.opb 

running on 4 cores: 0,2,4,6

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: 0.34 0.08 0.03 1/171 17129
/proc/meminfo: memFree=31060272/32873648 swapFree=7628/7628
[pid=17129] ppid=17127 vsize=6224 CPUtime=0 cores=0,2,4,6
/proc/17129/stat : 17129 (toysat) R 17127 17129 16985 0 -1 4202496 830 0 0 0 0 0 0 0 20 0 1 0 329279115 6373376 750 33554432000 4194304 8989770 140736549437536 140735557592664 7953280 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/17129/statm: 1556 750 428 1171 0 333 0

[startup+0.101616 s]
/proc/loadavg: 0.34 0.08 0.03 1/171 17129
/proc/meminfo: memFree=31060272/32873648 swapFree=7628/7628
[pid=17129] ppid=17127 vsize=8272 CPUtime=0.09 cores=0,2,4,6
/proc/17129/stat : 17129 (toysat) R 17127 17129 16985 0 -1 4202496 1388 0 0 0 9 0 0 0 20 0 1 0 329279115 8470528 1308 33554432000 4194304 8989770 140736549437536 140735557592664 4204368 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/17129/statm: 2068 1308 471 1171 0 845 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8272

[startup+0.200216 s]
/proc/loadavg: 0.34 0.08 0.03 1/171 17129
/proc/meminfo: memFree=31060272/32873648 swapFree=7628/7628
[pid=17129] ppid=17127 vsize=8272 CPUtime=0.19 cores=0,2,4,6
/proc/17129/stat : 17129 (toysat) R 17127 17129 16985 0 -1 4202496 1388 0 0 0 19 0 0 0 20 0 1 0 329279115 8470528 1308 33554432000 4194304 8989770 140736549437536 140736549437032 7857787 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/17129/statm: 2068 1308 471 1171 0 845 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 8272

[startup+0.300204 s]
/proc/loadavg: 0.34 0.08 0.03 1/171 17129
/proc/meminfo: memFree=31060272/32873648 swapFree=7628/7628
[pid=17129] ppid=17127 vsize=9296 CPUtime=0.29 cores=0,2,4,6
/proc/17129/stat : 17129 (toysat) R 17127 17129 16985 0 -1 4202496 1518 0 0 0 29 0 0 0 20 0 1 0 329279115 9519104 1438 33554432000 4194304 8989770 140736549437536 140736549436856 7732148 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/17129/statm: 2324 1438 471 1171 0 1101 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9296

[startup+0.700183 s]
/proc/loadavg: 0.34 0.08 0.03 1/171 17129
/proc/meminfo: memFree=31060272/32873648 swapFree=7628/7628
[pid=17129] ppid=17127 vsize=10320 CPUtime=0.68 cores=0,2,4,6
/proc/17129/stat : 17129 (toysat) R 17127 17129 16985 0 -1 4202496 1671 0 0 0 68 0 0 0 20 0 1 0 329279115 10567680 1597 33554432000 4194304 8989770 140736549437536 140736549437032 6833552 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/17129/statm: 2580 1597 471 1171 0 1357 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 10320

[startup+1.50017 s]
/proc/loadavg: 0.34 0.08 0.03 2/172 17130
/proc/meminfo: memFree=31054556/32873648 swapFree=7628/7628
[pid=17129] ppid=17127 vsize=11344 CPUtime=1.49 cores=0,2,4,6
/proc/17129/stat : 17129 (toysat) R 17127 17129 16985 0 -1 4202496 2158 0 0 0 148 1 0 0 20 0 1 0 329279115 11616256 2084 33554432000 4194304 8989770 140736549437536 140736549436800 6579284 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/17129/statm: 2836 2084 471 1171 0 1613 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11344

[startup+3.10018 s]
/proc/loadavg: 0.34 0.08 0.03 3/177 17144
/proc/meminfo: memFree=31042008/32873648 swapFree=7628/7628
[pid=17129] ppid=17127 vsize=12368 CPUtime=3.09 cores=0,2,4,6
/proc/17129/stat : 17129 (toysat) R 17127 17129 16985 0 -1 4202496 2416 0 0 0 307 2 0 0 20 0 1 0 329279115 12664832 2342 33554432000 4194304 8989770 140736549437536 140736549437032 7953280 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/17129/statm: 3092 2342 473 1171 0 1869 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12368

[startup+6.30018 s]
/proc/loadavg: 0.48 0.11 0.04 3/177 17144
/proc/meminfo: memFree=31034676/32873648 swapFree=7628/7628
[pid=17129] ppid=17127 vsize=12368 CPUtime=6.29 cores=0,2,4,6
/proc/17129/stat : 17129 (toysat) R 17127 17129 16985 0 -1 4202496 2416 0 0 0 625 4 0 0 20 0 1 0 329279115 12664832 2342 33554432000 4194304 8989770 140736549437536 140736549437032 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/17129/statm: 3092 2342 473 1171 0 1869 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12368

[startup+12.7002 s]
/proc/loadavg: 0.60 0.14 0.05 3/177 17144
/proc/meminfo: memFree=31029892/32873648 swapFree=7628/7628
[pid=17129] ppid=17127 vsize=14416 CPUtime=12.68 cores=0,2,4,6
/proc/17129/stat : 17129 (toysat) R 17127 17129 16985 0 -1 4202496 2930 0 0 0 1260 8 0 0 20 0 1 0 329279115 14761984 2854 33554432000 4194304 8989770 140736549437536 140736549437032 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/17129/statm: 3604 2854 473 1171 0 2381 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 14416

[startup+25.5002 s]
/proc/loadavg: 0.91 0.23 0.08 3/177 17144
/proc/meminfo: memFree=31025596/32873648 swapFree=7628/7628
[pid=17129] ppid=17127 vsize=17488 CPUtime=25.48 cores=0,2,4,6
/proc/17129/stat : 17129 (toysat) R 17127 17129 16985 0 -1 4202496 3698 0 0 0 2533 15 0 0 20 0 1 0 329279115 17907712 3622 33554432000 4194304 8989770 140736549437536 140736549437032 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/17129/statm: 4372 3622 473 1171 0 3149 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 17488

[startup+51.1002 s]
/proc/loadavg: 1.28 0.38 0.13 3/177 17144
/proc/meminfo: memFree=31023792/32873648 swapFree=7628/7628
[pid=17129] ppid=17127 vsize=17488 CPUtime=51.08 cores=0,2,4,6
/proc/17129/stat : 17129 (toysat) R 17127 17129 16985 0 -1 4202496 3698 0 0 0 5078 30 0 0 20 0 1 0 329279115 17907712 3622 33554432000 4194304 8989770 140736549437536 140736549437032 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/17129/statm: 4372 3622 473 1171 0 3149 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 17488

[startup+102.3 s]
/proc/loadavg: 1.71 0.65 0.23 3/177 17144
/proc/meminfo: memFree=31020976/32873648 swapFree=7628/7628
[pid=17129] ppid=17127 vsize=18512 CPUtime=102.27 cores=0,2,4,6
/proc/17129/stat : 17129 (toysat) R 17127 17129 16985 0 -1 4202496 3955 0 0 0 10168 59 0 0 20 0 1 0 329279115 18956288 3878 33554432000 4194304 8989770 140736549437536 140736549437032 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/17129/statm: 4628 3878 473 1171 0 3405 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 18512

[startup+162.3 s]
/proc/loadavg: 1.92 0.89 0.34 3/177 17145
/proc/meminfo: memFree=31018084/32873648 swapFree=7628/7628
[pid=17129] ppid=17127 vsize=18512 CPUtime=162.26 cores=0,2,4,6
/proc/17129/stat : 17129 (toysat) R 17127 17129 16985 0 -1 4202496 3955 0 0 0 16132 94 0 0 20 0 1 0 329279115 18956288 3878 33554432000 4194304 8989770 140736549437536 140736549437032 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/17129/statm: 4628 3878 473 1171 0 3405 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 18512

[startup+222.306 s]
/proc/loadavg: 1.97 1.09 0.44 3/177 17145
/proc/meminfo: memFree=31018052/32873648 swapFree=7628/7628
[pid=17129] ppid=17127 vsize=18512 CPUtime=222.26 cores=0,2,4,6
/proc/17129/stat : 17129 (toysat) R 17127 17129 16985 0 -1 4202496 3955 0 0 0 22091 135 0 0 20 0 1 0 329279115 18956288 3878 33554432000 4194304 8989770 140736549437536 140736549437032 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/17129/statm: 4628 3878 473 1171 0 3405 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 18512

[startup+282.3 s]
/proc/loadavg: 1.99 1.25 0.53 3/178 17148
/proc/meminfo: memFree=31018024/32873648 swapFree=7628/7628
[pid=17129] ppid=17127 vsize=18512 CPUtime=282.24 cores=0,2,4,6
/proc/17129/stat : 17129 (toysat) R 17127 17129 16985 0 -1 4202496 3955 0 0 0 28055 169 0 0 20 0 1 0 329279115 18956288 3878 33554432000 4194304 8989770 140736549437536 140736549437032 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/17129/statm: 4628 3878 473 1171 0 3405 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 18512

[startup+342.3 s]
/proc/loadavg: 1.99 1.38 0.62 3/177 17148
/proc/meminfo: memFree=31020656/32873648 swapFree=7628/7628
[pid=17129] ppid=17127 vsize=18512 CPUtime=342.23 cores=0,2,4,6
/proc/17129/stat : 17129 (toysat) R 17127 17129 16985 0 -1 4202496 3955 0 0 0 34017 206 0 0 20 0 1 0 329279115 18956288 3878 33554432000 4194304 8989770 140736549437536 140736549437032 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/17129/statm: 4628 3878 473 1171 0 3405 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 18512

[startup+402.3 s]
/proc/loadavg: 1.99 1.49 0.70 3/177 17148
/proc/meminfo: memFree=31016908/32873648 swapFree=7628/7628
[pid=17129] ppid=17127 vsize=18512 CPUtime=402.23 cores=0,2,4,6
/proc/17129/stat : 17129 (toysat) R 17127 17129 16985 0 -1 4202496 3955 0 0 0 39984 239 0 0 20 0 1 0 329279115 18956288 3878 33554432000 4194304 8989770 140736549437536 140736549437032 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/17129/statm: 4628 3878 473 1171 0 3405 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 18512

[startup+462.3 s]
/proc/loadavg: 1.99 1.58 0.78 3/177 17149
/proc/meminfo: memFree=31016616/32873648 swapFree=7628/7628
[pid=17129] ppid=17127 vsize=18512 CPUtime=462.22 cores=0,2,4,6
/proc/17129/stat : 17129 (toysat) R 17127 17129 16985 0 -1 4202496 3955 0 0 0 45952 270 0 0 20 0 1 0 329279115 18956288 3878 33554432000 4194304 8989770 140736549437536 140736549437032 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/17129/statm: 4628 3878 473 1171 0 3405 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 18512

[startup+522.3 s]
/proc/loadavg: 2.07 1.68 0.87 3/177 17149
/proc/meminfo: memFree=31015384/32873648 swapFree=7628/7628
[pid=17129] ppid=17127 vsize=18512 CPUtime=522.21 cores=0,2,4,6
/proc/17129/stat : 17129 (toysat) R 17127 17129 16985 0 -1 4202496 3955 0 0 0 51916 305 0 0 20 0 1 0 329279115 18956288 3878 33554432000 4194304 8989770 140736549437536 140736549437032 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/17129/statm: 4628 3878 473 1171 0 3405 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 18512

[startup+582.3 s]
/proc/loadavg: 2.02 1.74 0.93 3/177 17149
/proc/meminfo: memFree=31017316/32873648 swapFree=7628/7628
[pid=17129] ppid=17127 vsize=18512 CPUtime=582.2 cores=0,2,4,6
/proc/17129/stat : 17129 (toysat) R 17127 17129 16985 0 -1 4202496 3955 0 0 0 57882 338 0 0 20 0 1 0 329279115 18956288 3878 33554432000 4194304 8989770 140736549437536 140736549437032 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/17129/statm: 4628 3878 473 1171 0 3405 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 18512

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 1.87 1.17 3/177 17150
/proc/meminfo: memFree=31008728/32873648 swapFree=7628/7628
[pid=17129] ppid=17127 vsize=21584 CPUtime=822.16 cores=0,2,4,6
/proc/17129/stat : 17129 (toysat) R 17127 17129 16985 0 -1 4202496 4723 0 0 0 81733 483 0 0 20 0 1 0 329279115 22102016 4646 33554432000 4194304 8989770 140736549437536 140736549437032 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/17129/statm: 5396 4646 473 1171 0 4173 0
Current children cumulated CPU time (s) 822.16
Current children cumulated vsize (KiB) 21584

[startup+882.306 s]
/proc/loadavg: 2.00 1.89 1.22 3/178 17153
/proc/meminfo: memFree=31010016/32873648 swapFree=7628/7628
[pid=17129] ppid=17127 vsize=21584 CPUtime=882.16 cores=0,2,4,6
/proc/17129/stat : 17129 (toysat) R 17127 17129 16985 0 -1 4202496 4723 0 0 0 87694 522 0 0 20 0 1 0 329279115 22102016 4646 33554432000 4194304 8989770 140736549437536 140736549437032 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/17129/statm: 5396 4646 473 1171 0 4173 0
Current children cumulated CPU time (s) 882.16
Current children cumulated vsize (KiB) 21584

[startup+942.3 s]
/proc/loadavg: 2.00 1.91 1.26 3/177 17153
/proc/meminfo: memFree=31008280/32873648 swapFree=7628/7628
[pid=17129] ppid=17127 vsize=21584 CPUtime=942.15 cores=0,2,4,6
/proc/17129/stat : 17129 (toysat) R 17127 17129 16985 0 -1 4202496 4723 0 0 0 93657 558 0 0 20 0 1 0 329279115 22102016 4646 33554432000 4194304 8989770 140736549437536 140736549436800 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/17129/statm: 5396 4646 473 1171 0 4173 0
Current children cumulated CPU time (s) 942.15
Current children cumulated vsize (KiB) 21584

[startup+1002.3 s]
/proc/loadavg: 2.00 1.92 1.30 3/177 17153
/proc/meminfo: memFree=31008156/32873648 swapFree=7628/7628
[pid=17129] ppid=17127 vsize=21584 CPUtime=1002.13 cores=0,2,4,6
/proc/17129/stat : 17129 (toysat) R 17127 17129 16985 0 -1 4202496 4723 0 0 0 99620 593 0 0 20 0 1 0 329279115 22102016 4646 33554432000 4194304 8989770 140736549437536 140736549437032 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/17129/statm: 5396 4646 473 1171 0 4173 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 21584

[startup+1062.3 s]
/proc/loadavg: 2.00 1.94 1.35 3/177 17154
/proc/meminfo: memFree=31010452/32873648 swapFree=7628/7628
[pid=17129] ppid=17127 vsize=21584 CPUtime=1062.13 cores=0,2,4,6
/proc/17129/stat : 17129 (toysat) R 17127 17129 16985 0 -1 4202496 4723 0 0 0 105588 625 0 0 20 0 1 0 329279115 22102016 4646 33554432000 4194304 8989770 140736549437536 140736549437032 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/17129/statm: 5396 4646 473 1171 0 4173 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 21584

[startup+1122.3 s]
/proc/loadavg: 2.00 1.94 1.38 3/177 17154
/proc/meminfo: memFree=31009968/32873648 swapFree=7628/7628
[pid=17129] ppid=17127 vsize=21584 CPUtime=1122.12 cores=0,2,4,6
/proc/17129/stat : 17129 (toysat) R 17127 17129 16985 0 -1 4202496 4723 0 0 0 111552 660 0 0 20 0 1 0 329279115 22102016 4646 33554432000 4194304 8989770 140736549437536 140736549437032 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/17129/statm: 5396 4646 473 1171 0 4173 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 21584

[startup+1182.3 s]
/proc/loadavg: 2.08 1.98 1.43 3/177 17154
/proc/meminfo: memFree=31009260/32873648 swapFree=7628/7628
[pid=17129] ppid=17127 vsize=21584 CPUtime=1182.11 cores=0,2,4,6
/proc/17129/stat : 17129 (toysat) R 17127 17129 16985 0 -1 4202496 4723 0 0 0 117514 697 0 0 20 0 1 0 329279115 22102016 4646 33554432000 4194304 8989770 140736549437536 140736549437032 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/17129/statm: 5396 4646 473 1171 0 4173 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 21584

[startup+1242.3 s]
/proc/loadavg: 2.03 1.98 1.46 3/177 17155
/proc/meminfo: memFree=31013892/32873648 swapFree=7628/7628
[pid=17129] ppid=17127 vsize=21584 CPUtime=1242.1 cores=0,2,4,6
/proc/17129/stat : 17129 (toysat) R 17127 17129 16985 0 -1 4202496 4723 0 0 0 123478 732 0 0 20 0 1 0 329279115 22102016 4646 33554432000 4194304 8989770 140736549437536 140736549437032 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/17129/statm: 5396 4646 473 1171 0 4173 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 21584

[startup+1302.3 s]
/proc/loadavg: 2.01 1.98 1.49 3/177 17156
/proc/meminfo: memFree=31012488/32873648 swapFree=7628/7628
[pid=17129] ppid=17127 vsize=21584 CPUtime=1302.09 cores=0,2,4,6
/proc/17129/stat : 17129 (toysat) R 17127 17129 16985 0 -1 4202496 4723 0 0 0 129441 768 0 0 20 0 1 0 329279115 22102016 4646 33554432000 4194304 8989770 140736549437536 140736549436800 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/17129/statm: 5396 4646 473 1171 0 4173 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 21584

[startup+1362.3 s]
/proc/loadavg: 2.07 2.00 1.53 3/177 17157
/proc/meminfo: memFree=31012152/32873648 swapFree=7628/7628
[pid=17129] ppid=17127 vsize=21584 CPUtime=1362.08 cores=0,2,4,6
/proc/17129/stat : 17129 (toysat) R 17127 17129 16985 0 -1 4202496 4723 0 0 0 135404 804 0 0 20 0 1 0 329279115 22102016 4646 33554432000 4194304 8989770 140736549437536 140736549437032 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/17129/statm: 5396 4646 473 1171 0 4173 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 21584

[startup+1422.3 s]
/proc/loadavg: 2.13 2.03 1.56 3/177 17157
/proc/meminfo: memFree=31012524/32873648 swapFree=7628/7628
[pid=17129] ppid=17127 vsize=21584 CPUtime=1422.07 cores=0,2,4,6
/proc/17129/stat : 17129 (toysat) R 17127 17129 16985 0 -1 4202496 4723 0 0 0 141369 838 0 0 20 0 1 0 329279115 22102016 4646 33554432000 4194304 8989770 140736549437536 140736549437032 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/17129/statm: 5396 4646 473 1171 0 4173 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 21584

[startup+1482.3 s]
/proc/loadavg: 2.11 2.04 1.59 3/178 17160
/proc/meminfo: memFree=31004936/32873648 swapFree=7628/7628
[pid=17129] ppid=17127 vsize=21584 CPUtime=1482.06 cores=0,2,4,6
/proc/17129/stat : 17129 (toysat) R 17127 17129 16985 0 -1 4202496 4723 0 0 0 147331 875 0 0 20 0 1 0 329279115 22102016 4646 33554432000 4194304 8989770 140736549437536 140736549437032 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/17129/statm: 5396 4646 473 1171 0 4173 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 21584

[startup+1542.31 s]
/proc/loadavg: 2.08 2.04 1.62 3/177 17160
/proc/meminfo: memFree=31004864/32873648 swapFree=7628/7628
[pid=17129] ppid=17127 vsize=21584 CPUtime=1542.06 cores=0,2,4,6
/proc/17129/stat : 17129 (toysat) R 17127 17129 16985 0 -1 4202496 4723 0 0 0 153296 910 0 0 20 0 1 0 329279115 22102016 4646 33554432000 4194304 8989770 140736549437536 140736549437032 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/17129/statm: 5396 4646 473 1171 0 4173 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 21584

[startup+1602.3 s]
/proc/loadavg: 2.15 2.06 1.65 3/177 17160
/proc/meminfo: memFree=31004876/32873648 swapFree=7628/7628
[pid=17129] ppid=17127 vsize=21584 CPUtime=1602.05 cores=0,2,4,6
/proc/17129/stat : 17129 (toysat) R 17127 17129 16985 0 -1 4202496 4723 0 0 0 159262 943 0 0 20 0 1 0 329279115 22102016 4646 33554432000 4194304 8989770 140736549437536 140736549437032 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/17129/statm: 5396 4646 473 1171 0 4173 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 21584

[startup+1662.3 s]
/proc/loadavg: 2.14 2.08 1.68 3/176 17160
/proc/meminfo: memFree=31005268/32873648 swapFree=7628/7628
[pid=17129] ppid=17127 vsize=21584 CPUtime=1662.04 cores=0,2,4,6
/proc/17129/stat : 17129 (toysat) R 17127 17129 16985 0 -1 4202496 4723 0 0 0 165225 979 0 0 20 0 1 0 329279115 22102016 4646 33554432000 4194304 8989770 140736549437536 140736549437032 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/17129/statm: 5396 4646 473 1171 0 4173 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 21584

[startup+1722.3 s]
/proc/loadavg: 2.05 2.06 1.70 3/177 17161
/proc/meminfo: memFree=31005136/32873648 swapFree=7628/7628
[pid=17129] ppid=17127 vsize=21584 CPUtime=1722.03 cores=0,2,4,6
/proc/17129/stat : 17129 (toysat) R 17127 17129 16985 0 -1 4202496 4723 0 0 0 171187 1016 0 0 20 0 1 0 329279115 22102016 4646 33554432000 4194304 8989770 140736549437536 140736549437032 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/17129/statm: 5396 4646 473 1171 0 4173 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 21584

[startup+1782.3 s]
/proc/loadavg: 2.02 2.05 1.72 3/177 17161
/proc/meminfo: memFree=31002284/32873648 swapFree=7628/7628
[pid=17129] ppid=17127 vsize=23632 CPUtime=1782.01 cores=0,2,4,6
/proc/17129/stat : 17129 (toysat) R 17127 17129 16985 0 -1 4202496 5235 0 0 0 177150 1051 0 0 20 0 1 0 329279115 24199168 5158 33554432000 4194304 8989770 140736549437536 140736549437032 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/17129/statm: 5908 5158 473 1171 0 4685 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 23632



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.01 2.04 1.72 3/177 17161
/proc/meminfo: memFree=31002904/32873648 swapFree=7628/7628
[pid=17129] ppid=17127 vsize=23632 CPUtime=1800.01 cores=0,2,4,6
/proc/17129/stat : 17129 (toysat) R 17127 17129 16985 0 -1 4202496 5235 0 0 0 178941 1060 0 0 20 0 1 0 329279115 24199168 5158 33554432000 4194304 8989770 140736549437536 140736549437032 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/17129/statm: 5908 5158 473 1171 0 4685 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 23632

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.31
CPU time (s): 1800.03
CPU user time (s): 1789.42
CPU system time (s): 10.6104
CPU usage (%): 99.9846
Max. virtual memory (cumulated for all children) (KiB): 23632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.42
system time used= 10.6104
maximum resident set size= 20632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5235
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= 7
involuntary context switches= 1862

runsolver used 3.07053 second user time and 8.22375 second system time

The end

Launcher Data 

Begin job on node122 at 2012-06-02 12:05:31
IDJOB=3724596
IDBENCH=1528
IDSOLVER=2308
FILE ID=node122/3724596-1338631531
RUNJOBID= node122-1338631508-17001
PBS_JOBID= 14636458
Free space on /tmp= 71316 MiB

SOLVER NAME= toysat 2012-06-01
BENCH NAME= PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-gt2.opb
COMMAND LINE= HOME/toysat +RTS -K1G -RTS --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3724596-1338631531/watcher-3724596-1338631531 -o /tmp/evaluation-result-3724596-1338631531/solver-3724596-1338631531 -C 1800 -W 1900 -M 15500  HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724596-1338631531.opb

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

MD5SUM BENCH= fbf213ed65afe4e66abc3948eb02a29f
RANDOM SEED=447181744

node122.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.533
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	: 5333.06
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.533
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.533
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	: 5332.04
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.533
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.533
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.533
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	: 5438.54
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.533
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.533
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.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        31060536 kB
Buffers:          114268 kB
Cached:           932212 kB
SwapCached:         1816 kB
Active:           165700 kB
Inactive:         884668 kB
Active(anon):       4452 kB
Inactive(anon):     1928 kB
Active(file):     161248 kB
Inactive(file):   882740 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67100092 kB
Dirty:              7532 kB
Writeback:             0 kB
AnonPages:         10008 kB
Mapped:             8124 kB
Shmem:                 0 kB
Slab:             624564 kB
SReclaimable:      68316 kB
SUnreclaim:       556248 kB
KernelStack:        1408 kB
PageTables:         3960 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     104740 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71300 MiB
End job on node122 at 2012-06-02 12:35:34