Trace number 4107146

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 2016-05-02? (TO) 1800.78 1801.06

General information on the benchmark

Name/OPT-BIGINT-LIN/aries-da_nrp/
normalized-aries-da_network_3000_5__126_2812__64.opb
MD5SUMac3f9f3932c1350445aa95096c36ebc2
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark85788
Best CPU time to get the best result obtained on this benchmark1800.46
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables962998
Total number of constraints18000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)15002
Number of constraints which are nor clauses,nor cardinality constraints2998
Minimum length of a constraint64
Maximum length of a constraint2881
Number of terms in the objective function 960000
Biggest coefficient in the objective function 129631
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 32510505536
Number of bits of the sum of numbers in the objective function 35
Biggest number in a constraint 129631
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 32510505536
Number of bits of the biggest sum of numbers35
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.00	c 2016-06-18T22:59:17+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4107146-1466283555.opb"]
0.00/0.01	c use --random-gen="2858910804 2820401851 3588382140 791237599 3290452887 3019503389 1306553995 255053445 1326517750 3214116532 544155811 281719577 3546652995 1619197660 1943541715 3480205767 1165546448 1545132146 3705226202 310091968 3245946911 3328979571 1043789095 1872013034 345132802 3579715763 597520196 1620303986 342013454 1687677808 3276231459 2594538670 787686513 3227467202 3259838639 3921254758 615185409 2785384192 848750094 669005687 685570445 4257906075 3372704354 3695016858 2716494777 1377630664 3493965470 1769996899 4060547666 1387918604 3209002245 1572923095 1983490474 4239359375 2328386569 3722304411 3023801517 2394862273 3126058765 862670572 2105809533 472937347 3022148102 3786023755 797950227 425054544 1547910766 6865223 413593771 3113686630 4210712214 3231652022 936662370 3909685866 2442706008 3288158772 3732533593 2580768483 3384204743 1233486737 2529105263 332468169 3192303476 4119502893 2777575590 495991033 1348968881 3590160897 3622472892 2751942879 425123161 994870368 2194578301 3679065385 4142149769 3168117988 308045714 1536489431 3589861103 305252228 3095254143 326452950 1703765076 2492519150 3547306970 107489829 159017930 4592450 114675725 4196905270 2638152625 1742503494 3459937113 751737562 1424110509 1645070880 3641316624 4013627287 2540436380 1767658617 1117330441 4105709045 1634787822 4116138084 3915789276 2455531364 3852515907 2675101383 1990321920 2547878573 2930952751 71833477 4042555548 595878629 2716307892 706126053 833248769 3353666287 1122366840 4172448748 1258760913 3980394001 1267260195 3267319262 2800975406 3620645381 1919935887 827778485 2843987936 2052625325 1876814538 4223409580 1879756295 1257870674 735128660 3623810651 2389107965 1151998805 1967372268 3817011699 632338003 2434014427 57321281 2580277784 1923724618 2610040386 3020170932 2191239106 722488110 3630975457 2997724694 2211873742 3451463064 4043117971 477059953 2326555406 1518651504 4274173079 3124766706 3287070327 3850795025 1529016539 103411687 2665973743 1231687083 2483176272 4173539831 3287070168 1466312223 3756693502 2851090456 1957703842 2569551267 3284999138 464614517 1413756796 1387403128 2117439813 4083632299 2371203970 1858056615 647084415 906063033 1849643992 4104917281 443333203 3497399611 3997127646 3160606168 623454121 3955616756 3783546726 102780968 1241354675 2058735797 1201593123 1905982027 799449758 3410152406 896571326 2600472478 375868949 1159066373 2965046304 426531940 55387620 1899927299 1423888863 2922697165 3573680276 1236085283 2535910528 3205757229 3882581139 3570725852 1903495031 217983815 3953574341 3372128113 4141015127 433848346 2311159176 3987118767 3202199845 4272947911 156710901 2490959154 1975010468 2036272153 3584808608 2879797019 892933203 3594012905 1514018400 3611975214 2125216385 255 362436" option to reproduce the execution
6.60/6.66	c #vars 962998
6.60/6.66	c #constraints 18000
22.10/22.12	c BCD2: Hardening is enabled.
22.10/22.12	c BCD2: BiasedSearch is enabled.
22.10/22.12	c Solving starts ...
22.10/22.12	c ============================[ Search Statistics ]============================
22.10/22.12	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
22.10/22.12	c       |         |          |          |    Limit     GC | Var      | Constra 
22.10/22.12	c =============================================================================
22.10/22.12	c  0.0s |       0 |        0 |        0 |   327999      0 |        0 |        0
24.30/24.33	c  2.2s |       0 |     6697 |      100 |   327999      0 |        0 |        0
24.79/24.86	c  2.7s |       1 |     6697 |      100 |   327999      0 |        0 |        0
27.29/27.38	c  5.3s |       2 |    17542 |      250 |   360799      0 |        0 |        0
29.39/29.43	c  7.3s |       2 |    30754 |      350 |   396879      0 |        0 |        0
31.48/31.51	c  9.4s |       3 |    43524 |      475 |   396879      0 |        0 |        0
33.58/33.69	c 11.6s |       3 |    65651 |      575 |   436567      0 |        0 |        0
35.49/35.57	c 13.4s |       4 |    84201 |      813 |   436567      0 |        0 |        0
37.98/38.06	c 15.9s |       4 |   133633 |      913 |   480224      0 |        0 |        0
40.59/40.62	c 18.5s |       4 |   177094 |     1213 |   480224      0 |        0 |        0
41.58/41.61	c 19.5s |       5 |   183279 |     1320 |   480224      0 |        0 |        0
44.49/44.58	c 22.5s |       5 |   255351 |     1420 |   528247      0 |        0 |        0
47.39/47.43	c 25.3s |       5 |   260450 |     1620 |   528247      0 |        0 |        0
49.78/49.87	c 27.7s |       5 |   262786 |     2020 |   528247      0 |        0 |        0
50.78/50.87	c 28.7s |       6 |   263240 |     2081 |   581072      0 |        0 |        0
56.99/57.00	c 34.9s |       6 |   345630 |     2681 |   581072      0 |        0 |        0
59.18/59.23	c 37.1s |       6 |   385241 |     2881 |   581072      0 |        0 |        0
62.08/62.15	c 40.0s |       6 |   520880 |     3081 |   581072      0 |        0 |        0
64.18/64.28	c 42.2s |       7 |   559771 |     3223 |   639180      0 |        0 |        0
67.47/67.57	c 45.4s |       7 |   773540 |     3323 |   639180      0 |        0 |        0
70.78/70.88	c 48.8s |       7 |   805158 |     3523 |   639180      0 |        0 |        0
73.18/73.26	c 51.1s |       7 |   831397 |     3923 |   639180      0 |        0 |        0
75.48/75.58	c 53.5s |       7 |   833998 |     4323 |   639180      0 |        0 |        0
78.08/78.15	c 56.0s |       7 |   836841 |     4723 |   639180      0 |        0 |        0
80.88/80.95	c 58.8s |       8 |   934626 |     4936 |   703098      0 |        0 |        0
85.47/85.58	c 63.5s |       8 |  1178041 |     5036 |   703098      0 |        0 |        0
88.08/88.13	c 66.0s |       8 |  1237523 |     5236 |   703098      0 |        0 |        0
90.68/90.79	c 68.7s |       8 |  1315284 |     5436 |   703098      0 |        0 |        0
93.07/93.14	c 71.0s |       8 |  1323914 |     5736 |   703098      0 |        0 |        0
95.48/95.56	c 73.4s |       8 |  1387731 |     6036 |   703098      0 |        0 |        0
97.77/97.88	c 75.8s |       8 |  1408793 |     6136 |   703098      0 |        0 |        0
100.57/100.61	c 78.5s |       8 |  1448659 |     6336 |   703098      0 |        0 |        0
102.67/102.71	c 80.6s |       8 |  1487478 |     6536 |   703098      0 |        0 |        0
104.98/105.08	c 83.0s |       8 |  1530083 |     6936 |   703098      0 |        0 |        0
107.37/107.41	c 85.3s |       8 |  1534369 |     7336 |   703098      0 |        0 |        0
109.47/109.57	c 87.4s |       9 |  1535705 |     7506 |   773408      0 |        0 |        0
113.17/113.26	c 91.1s |       9 |  1793652 |     7606 |   773408      0 |        0 |        0
115.37/115.42	c 93.3s |       9 |  1854139 |     7806 |   773408      0 |        0 |        0
118.97/119.02	c 96.9s |       9 |  1881657 |     8106 |   773408      0 |        0 |        0
121.67/121.79	c 99.7s |       9 |  1951734 |     8406 |   773408      0 |        0 |        0
124.28/124.39	c  102s |       9 |  2016155 |     8706 |   773408      0 |        0 |        0
127.07/127.10	c  104s |       9 |  2042028 |     9006 |   773408      0 |        0 |        0
129.97/130.01	c  107s |       9 |  2074570 |     9406 |   773408      0 |        0 |        0
132.77/132.85	c  110s |       9 |  2079036 |     9606 |   773408      0 |        0 |        0
135.07/135.16	c  113s |       9 |  2086032 |     9806 |   773408      0 |        0 |        0
137.17/137.24	c  115s |       9 |  2106866 |    10206 |   773408      0 |        0 |        0
139.37/139.40	c  117s |       9 |  2108866 |    10606 |   773408      0 |        0 |        0
141.47/141.56	c  119s |       9 |  2109685 |    10906 |   773408      0 |        0 |        0
143.77/143.89	c  121s |       9 |  2111014 |    11306 |   850749      0 |        0 |        0
145.18/145.21	c  123s |      10 |  2111145 |    11361 |   850749      0 |        0 |        0
149.07/149.17	c  127s |      10 |  2413209 |    11461 |   850749      0 |        0 |        0
151.17/151.24	c  129s |      10 |  2437912 |    11661 |   850749      0 |        0 |        0
154.47/154.55	c  132s |      10 |  2458836 |    11861 |   850749      0 |        0 |        0
156.87/156.98	c  134s |      10 |  2514752 |    12161 |   850749      0 |        0 |        0
159.26/159.34	c  137s |      10 |  2516283 |    12461 |   850749      0 |        0 |        0
161.56/161.62	c  139s |      10 |  2517920 |    12761 |   850749      0 |        0 |        0
164.17/164.21	c  142s |      10 |  2519328 |    13061 |   850749      0 |        0 |        0
169.17/169.29	c  147s |      10 |  2520369 |    13361 |   850749      0 |        0 |        0
171.46/171.53	c  149s |      10 |  2520811 |    13561 |   850749      0 |        0 |        0
173.56/173.67	c  151s |      10 |  2521304 |    13761 |   850749      0 |        0 |        0
176.07/176.11	c  153s |      10 |  2521659 |    13961 |   850749      0 |        0 |        0
178.66/178.78	c  156s |      10 |  2522623 |    14261 |   850749      0 |        0 |        0
181.76/181.87	c  159s |      10 |  2523638 |    14561 |   850749      0 |        0 |        0
184.46/184.58	c  162s |      10 |  2524584 |    14861 |   850749      0 |        0 |        0
186.86/186.91	c  164s |      10 |  2525392 |    15061 |   850749      0 |        0 |        0
188.97/189.08	c  166s |      10 |  2526140 |    15261 |   850749      0 |        0 |        0
191.16/191.27	c  169s |      10 |  2526691 |    15461 |   850749      0 |        0 |        0
193.26/193.37	c  171s |      10 |  2527318 |    15661 |   850749      0 |        0 |        0
195.46/195.53	c  173s |      10 |  2527793 |    15861 |   850749      0 |        0 |        0
198.56/198.66	c  176s |      10 |  2528813 |    16161 |   850749      0 |        0 |        0
201.06/201.12	c  178s |      10 |  2529178 |    16361 |   850749      0 |        0 |        0
203.06/203.17	c  181s |      10 |  2530709 |    16561 |   850749      0 |        0 |        0
205.36/205.42	c  183s |      10 |  2532342 |    16761 |   850749      0 |        0 |        0
210.25/210.33	c  188s |      10 |  2533474 |    17061 |   935824      0 |        0 |        0
212.15/212.22	c  190s |      11 |  2533634 |    17144 |   935824      0 |        0 |        0
216.46/216.55	c  194s |      11 |  2882840 |    17244 |   935824      0 |        0 |        0
218.56/218.63	c  196s |      11 |  2883922 |    17744 |   935824      0 |        0 |        0
220.55/220.67	c  198s |      11 |  2902337 |    17944 |   935824      0 |        0 |        0
222.56/222.67	c  200s |      11 |  2916323 |    18144 |   935824      0 |        0 |        0
224.85/224.90	c  202s |      11 |  2954414 |    18444 |   935824      0 |        0 |        0
227.26/227.36	c  205s |      11 |  2974713 |    18744 |   935824      0 |        0 |        0
229.86/229.96	c  207s |      11 |  2993537 |    19044 |   935824      0 |        0 |        0
232.55/232.62	c  210s |      11 |  3049258 |    19444 |   935824      0 |        0 |        0
234.65/234.79	c  212s |      11 |  3097692 |    19744 |   935824      0 |        0 |        0
236.95/237.05	c  214s |      11 |  3107157 |    20144 |   935824      0 |        0 |        0
239.65/239.74	c  217s |      11 |  3127643 |    20444 |   935824      0 |        0 |        0
242.46/242.56	c  220s |      11 |  3136184 |    20644 |   935824      0 |        0 |        0
244.65/244.77	c  222s |      11 |  3140256 |    20944 |   935824      0 |        0 |        0
246.95/247.02	c  224s |      11 |  3141665 |    21344 |   935824      0 |        0 |        0
249.15/249.21	c  227s |      11 |  3142290 |    21644 |   935824      0 |        0 |        0
253.55/253.68	c  231s |      11 |  3143247 |    21944 |   935824      0 |        0 |        0
255.65/255.72	c  233s |      11 |  3143586 |    22144 |   935824      0 |        0 |        0
258.05/258.13	c  236s |      11 |  3165203 |    22444 |   935824      0 |        0 |        0
260.35/260.44	c  238s |      11 |  3183982 |    22744 |   935824      0 |        0 |        0
262.96/263.05	c  240s |      11 |  3190875 |    22944 |   935824      0 |        0 |        0
264.95/265.09	c  242s |      11 |  3192368 |    23144 |   935824      0 |        0 |        0
268.05/268.14	c  246s |      11 |  3199143 |    23444 |   935824      0 |        0 |        0
270.35/270.40	c  248s |      11 |  3213188 |    23644 |   935824      0 |        0 |        0
272.86/272.93	c  250s |      11 |  3219047 |    23944 |   935824      0 |        0 |        0
275.14/275.21	c  253s |      11 |  3256051 |    24144 |   935824      0 |        0 |        0
277.65/277.70	c  255s |      11 |  3264117 |    24544 |   935824      0 |        0 |        0
280.45/280.53	c  258s |      11 |  3318657 |    24844 |   935824      0 |        0 |        0
283.25/283.32	c  261s |      11 |  3347650 |    25244 |   935824      0 |        0 |        0
285.74/285.81	c  263s |      11 |  3348308 |    25444 |   935824      0 |        0 |        0
288.35/288.47	c  266s |      11 |  3350489 |    25644 |   935824      0 |        0 |        0
291.84/291.90	c  269s |      12 |  3351173 |    25819 |  1029407      0 |        0 |        0
296.95/297.01	c  274s |      12 |  3735716 |    25919 |  1029407      0 |        0 |        0
302.14/302.27	c  280s |      12 |  3741085 |    26219 |  1029407      0 |        0 |        0
304.76/304.86	c  282s |      12 |  3785155 |    26419 |  1029407      0 |        0 |        0
306.95/307.03	c  284s |      12 |  3785845 |    26519 |  1029407      0 |        0 |        0
310.54/310.67	c  288s |      12 |  3786667 |    26719 |  1029407      0 |        0 |        0
312.54/312.68	c  290s |      12 |  3786987 |    26819 |  1029407      0 |        0 |        0
315.24/315.32	c  293s |      12 |  3787188 |    26919 |  1029407      0 |        0 |        0
317.74/317.82	c  295s |      12 |  3791330 |    27119 |  1029407      0 |        0 |        0
319.84/319.90	c  297s |      12 |  3792687 |    27419 |  1029407      0 |        0 |        0
321.84/321.95	c  299s |      12 |  3793359 |    27619 |  1029407      0 |        0 |        0
324.34/324.44	c  302s |      12 |  3793930 |    27819 |  1029407      0 |        0 |        0
326.44/326.55	c  304s |      12 |  3796012 |    28119 |  1029407      0 |        0 |        0
330.05/330.16	c  308s |      12 |  3876441 |    28419 |  1029407      0 |        0 |        0
332.54/332.60	c  310s |      12 |  3896649 |    28719 |  1029407      0 |        0 |        0
335.44/335.53	c  313s |      12 |  3905838 |    29019 |  1029407      0 |        0 |        0
337.65/337.80	c  315s |      12 |  3926519 |    29319 |  1029407      0 |        0 |        0
342.23/342.34	c  320s |      12 |  3952644 |    29619 |  1029407      0 |        0 |        0
344.35/344.47	c  322s |      12 |  3954577 |    30119 |  1029407      0 |        0 |        0
346.73/346.81	c  324s |      12 |  3956143 |    30619 |  1029407      0 |        0 |        0
348.94/349.02	c  326s |      12 |  3957513 |    31019 |  1029407      0 |        0 |        0
351.04/351.18	c  329s |      12 |  3958839 |    31419 |  1029407      0 |        0 |        0
353.14/353.23	c  331s |      12 |  3959401 |    31719 |  1029407      0 |        0 |        0
355.64/355.72	c  333s |      12 |  3960897 |    32119 |  1029407      0 |        0 |        0
358.03/358.10	c  335s |      12 |  3963916 |    32619 |  1029407      0 |        0 |        0
360.14/360.21	c  338s |      12 |  3967207 |    33019 |  1029407      0 |        0 |        0
362.53/362.62	c  340s |      12 |  3969988 |    33419 |  1029407      0 |        0 |        0
364.73/364.82	c  342s |      12 |  3972209 |    33819 |  1029407      0 |        0 |        0
367.44/367.58	c  345s |      12 |  3975717 |    34219 |  1029407      0 |        0 |        0
372.84/372.92	c  350s |      12 |  3984202 |    34419 |  1029407      0 |        0 |        0
376.33/376.44	c  354s |      12 |  3984992 |    34619 |  1029407      0 |        0 |        0
380.84/380.94	c  358s |      12 |  3985723 |    34819 |  1029407      0 |        0 |        0
383.53/383.60	c  361s |      12 |  3985914 |    34919 |  1029407      0 |        0 |        0
386.23/386.31	c  364s |      12 |  3986105 |    35019 |  1029407      0 |        0 |        0
389.53/389.66	c  367s |      12 |  3986362 |    35119 |  1029407      0 |        0 |        0
392.53/392.65	c  370s |      12 |  3986516 |    35219 |  1029407      0 |        0 |        0
394.73/394.81	c  372s |      12 |  3986827 |    35319 |  1029407      0 |        0 |        0
398.02/398.15	c  376s |      12 |  3993616 |    35519 |  1029407      0 |        0 |        0
400.93/401.00	c  378s |      12 |  3999046 |    35719 |  1029407      0 |        0 |        0
402.93/403.03	c  380s |      12 |  4011372 |    36019 |  1029407      0 |        0 |        0
406.33/406.45	c  384s |      12 |  4022671 |    36032 |  1029407      0 |        0 |        0
406.33/406.45	c #cpu_time = 383.249s
406.33/406.45	c #wall_clock_time = 383.226s
406.33/406.45	c #decision = 4022671
406.33/406.45	c #random_decision = 12213
406.33/406.45	c #conflict = 36032
406.33/406.45	c #restart = 12
406.33/406.49	o 100688189
408.23/408.36	c BCD2: updating upper bound: 32510505536 -> 100688188
415.83/415.98	c BCD2: 0 <= obj <= 100688188
415.93/416.07	c BCD2: #cores=0, #unrelaxed=960000, #relaxed=0, #hardened=0
415.93/416.07	c BCD2: #sat=1 #unsat=1 bias=1/2
416.02/416.13	c Solving starts ...
416.02/416.13	c ============================[ Search Statistics ]============================
416.02/416.13	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
416.02/416.13	c       |         |          |          |    Limit     GC | Var      | Constra 
416.02/416.13	c =============================================================================
416.02/416.13	c  0.0s |       0 |        0 |        0 |  1029407      0 |        0 |        0
419.14/419.23	c  3.1s |       0 |    61572 |        0 |  1029407      0 |        0 |        0
419.14/419.23	c #cpu_time = 3.053s
419.14/419.23	c #wall_clock_time = 3.053s
419.14/419.23	c #decision = 61572
419.14/419.23	c #random_decision = 0
419.14/419.23	c #conflict = 0
419.14/419.23	c #restart = 0
419.14/419.23	c BCD2: found a new core of size 320: cost of the new core is >=17963
419.14/419.23	c lower bound updated to 17963
419.73/419.83	c BCD2: 17963 <= obj <= 100688188
419.73/419.83	c BCD2: #cores=1, #unrelaxed=959680, #relaxed=320, #hardened=0
419.73/419.83	c BCD2: #sat=1 #unsat=2 bias=2/3
419.83/419.91	c Solving starts ...
419.83/419.91	c ============================[ Search Statistics ]============================
419.83/419.91	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
419.83/419.91	c       |         |          |          |    Limit     GC | Var      | Constra 
419.83/419.91	c =============================================================================
419.83/419.91	c  0.0s |       0 |        0 |        0 |  1029407      0 |        0 |        1
425.12/425.27	c  5.4s |       0 |   917704 |        0 |  1029407      0 |        0 |        1
425.12/425.27	c #cpu_time = 4.724s
425.12/425.27	c #wall_clock_time = 4.724s
425.12/425.27	c #decision = 917704
425.12/425.27	c #random_decision = 0
425.12/425.27	c #conflict = 0
425.12/425.27	c #restart = 0
425.12/425.28	c BCD2: found a new core of size 4217: cost of the new core is >=3536
425.12/425.28	c lower bound updated to 21499
425.73/425.88	c BCD2: 21499 <= obj <= 100688188
425.73/425.88	c BCD2: #cores=2, #unrelaxed=955463, #relaxed=4537, #hardened=0
425.73/425.88	c BCD2: #sat=1 #unsat=3 bias=3/4

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4107146-1466283555/watcher-4107146-1466283555 -o /tmp/evaluation-result-4107146-1466283555/solver-4107146-1466283555 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466274546-28141 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107146-1466283555.opb 

pid=29172
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: 2.38 2.33 2.28 4/179 29175
/proc/meminfo: memFree=28947920/32872528 swapFree=1402776/1580604
[pid=29175] ppid=29172 vsize=722364 CPUtime=0 cores=0,2,4,6
/proc/29175/stat : 29175 (toysat) R 29172 29175 28125 0 -1 4202496 2692 0 0 0 0 0 0 0 20 0 4 0 30401390 739700736 3053 33554432000 4194304 16246674 140737159263648 140737159263072 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29175/statm: 181103 3063 441 2943 0 177997 0
[pid=29175/tid=29176] ppid=29172 vsize=739772 CPUtime=0 cores=0,2,4,6
/proc/29175/task/29176/stat : 29176 (toysat) S 29172 29175 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30401390 757526528 3124 33554432000 4194304 16246674 140737159263648 139823501257968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29175/tid=29177] ppid=29172 vsize=743868 CPUtime=0 cores=0,2,4,6
/proc/29175/task/29177/stat : 29177 (toysat) S 29172 29175 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30401391 761720832 3141 33554432000 4194304 16246674 140737159263648 139823490768112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=29175/tid=29178] ppid=29172 vsize=748988 CPUtime=0 cores=0,2,4,6
/proc/29175/task/29178/stat : 29178 (toysat) S 29172 29175 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30401391 766963712 3157 33554432000 4194304 16246674 140737159263648 139823480294576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100126 s]
/proc/loadavg: 2.38 2.33 2.28 4/179 29175
/proc/meminfo: memFree=28947920/32872528 swapFree=1402776/1580604
[pid=29175] ppid=29172 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/29175/stat : 29175 (toysat) R 29172 29175 28125 0 -1 4202496 30380 0 0 0 5 4 0 0 20 0 4 0 30401390 1333334016 30680 33554432000 4194304 16246674 140737159263648 140737159262960 8055408 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29175/statm: 325521 30694 799 2943 0 322415 0
[pid=29175/tid=29176] ppid=29172 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/29175/task/29176/stat : 29176 (toysat) S 29172 29175 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30401390 1333334016 30705 33554432000 4194304 16246674 140737159263648 139823501257968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29175/tid=29177] ppid=29172 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/29175/task/29177/stat : 29177 (toysat) S 29172 29175 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30401391 1333334016 30716 33554432000 4194304 16246674 140737159263648 139823490768112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=29175/tid=29178] ppid=29172 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/29175/task/29178/stat : 29178 (toysat) S 29172 29175 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30401391 1333334016 30728 33554432000 4194304 16246674 140737159263648 139823480294576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200469 s]
/proc/loadavg: 2.38 2.33 2.28 4/179 29175
/proc/meminfo: memFree=28947920/32872528 swapFree=1402776/1580604
[pid=29175] ppid=29172 vsize=1312324 CPUtime=0.19 cores=0,2,4,6
/proc/29175/stat : 29175 (toysat) R 29172 29175 28125 0 -1 4202496 43853 0 0 0 13 6 0 0 20 0 4 0 30401390 1343819776 44663 33554432000 4194304 16246674 140737159263648 140737159262960 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29175/statm: 328081 44663 799 2943 0 324975 0
[pid=29175/tid=29176] ppid=29172 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/29175/task/29176/stat : 29176 (toysat) S 29172 29175 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30401390 1343819776 44663 33554432000 4194304 16246674 140737159263648 139823501257968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29175/tid=29177] ppid=29172 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/29175/task/29177/stat : 29177 (toysat) S 29172 29175 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30401391 1343819776 44663 33554432000 4194304 16246674 140737159263648 139823490768112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=29175/tid=29178] ppid=29172 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/29175/task/29178/stat : 29178 (toysat) S 29172 29175 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30401391 1343819776 44663 33554432000 4194304 16246674 140737159263648 139823480294576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.300433 s]
/proc/loadavg: 2.38 2.33 2.28 4/179 29175
/proc/meminfo: memFree=28947920/32872528 swapFree=1402776/1580604
[pid=29175] ppid=29172 vsize=1312324 CPUtime=0.29 cores=0,2,4,6
/proc/29175/stat : 29175 (toysat) R 29172 29175 28125 0 -1 4202496 44854 0 0 0 23 6 0 0 20 0 4 0 30401390 1343819776 45664 33554432000 4194304 16246674 140737159263648 140737159262960 4220894 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29175/statm: 328081 45664 799 2943 0 324975 0
[pid=29175/tid=29176] ppid=29172 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/29175/task/29176/stat : 29176 (toysat) S 29172 29175 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30401390 1343819776 45664 33554432000 4194304 16246674 140737159263648 139823501257968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29175/tid=29177] ppid=29172 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/29175/task/29177/stat : 29177 (toysat) S 29172 29175 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30401391 1343819776 45664 33554432000 4194304 16246674 140737159263648 139823490768112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=29175/tid=29178] ppid=29172 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/29175/task/29178/stat : 29178 (toysat) S 29172 29175 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30401391 1343819776 45664 33554432000 4194304 16246674 140737159263648 139823480294576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.700392 s]
/proc/loadavg: 2.38 2.33 2.28 4/179 29175
/proc/meminfo: memFree=28947920/32872528 swapFree=1402776/1580604
[pid=29175] ppid=29172 vsize=1312324 CPUtime=0.69 cores=0,2,4,6
/proc/29175/stat : 29175 (toysat) R 29172 29175 28125 0 -1 4202496 57226 0 0 0 61 8 0 0 20 0 4 0 30401390 1343819776 58036 33554432000 4194304 16246674 140737159263648 140737159262960 13923640 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29175/statm: 328081 58036 800 2943 0 324975 0
[pid=29175/tid=29176] ppid=29172 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/29175/task/29176/stat : 29176 (toysat) S 29172 29175 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30401390 1343819776 58036 33554432000 4194304 16246674 140737159263648 139823501257968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29175/tid=29177] ppid=29172 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/29175/task/29177/stat : 29177 (toysat) S 29172 29175 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30401391 1343819776 58036 33554432000 4194304 16246674 140737159263648 139823490768112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=29175/tid=29178] ppid=29172 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/29175/task/29178/stat : 29178 (toysat) S 29172 29175 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30401391 1343819776 58036 33554432000 4194304 16246674 140737159263648 139823480294576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1312324

[startup+1.50042 s]
/proc/loadavg: 2.38 2.33 2.28 4/183 29179
/proc/meminfo: memFree=28673952/32872528 swapFree=1402776/1580604
[pid=29175] ppid=29172 vsize=1312324 CPUtime=1.49 cores=0,2,4,6
/proc/29175/stat : 29175 (toysat) R 29172 29175 28125 0 -1 4202496 81943 0 0 0 137 12 0 0 20 0 4 0 30401390 1343819776 82754 33554432000 4194304 16246674 140737159263648 140737159261440 7377409 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29175/statm: 328081 82773 800 2943 0 324975 0
[pid=29175/tid=29176] ppid=29172 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/29175/task/29176/stat : 29176 (toysat) S 29172 29175 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30401390 1343819776 82783 33554432000 4194304 16246674 140737159263648 139823501257968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29175/tid=29177] ppid=29172 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/29175/task/29177/stat : 29177 (toysat) S 29172 29175 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30401391 1343819776 82795 33554432000 4194304 16246674 140737159263648 139823490768112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=29175/tid=29178] ppid=29172 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/29175/task/29178/stat : 29178 (toysat) S 29172 29175 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30401391 1343819776 82807 33554432000 4194304 16246674 140737159263648 139823480294576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1312324

[startup+3.10041 s]
/proc/loadavg: 2.43 2.35 2.28 4/183 29179
/proc/meminfo: memFree=28468908/32872528 swapFree=1402776/1580604
[pid=29175] ppid=29172 vsize=1336900 CPUtime=3.09 cores=0,2,4,6
/proc/29175/stat : 29175 (toysat) R 29172 29175 28125 0 -1 4202496 159585 0 0 0 285 24 0 0 20 0 4 0 30401390 1368985600 165505 33554432000 4194304 16246674 140737159263648 140737159246640 4221087 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29175/statm: 334225 165505 802 2943 0 331119 0
[pid=29175/tid=29176] ppid=29172 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/29175/task/29176/stat : 29176 (toysat) S 29172 29175 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30401390 1368985600 165505 33554432000 4194304 16246674 140737159263648 139823501257968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29175/tid=29177] ppid=29172 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/29175/task/29177/stat : 29177 (toysat) S 29172 29175 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30401391 1368985600 165505 33554432000 4194304 16246674 140737159263648 139823490768112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=29175/tid=29178] ppid=29172 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/29175/task/29178/stat : 29178 (toysat) S 29172 29175 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30401391 1368985600 165505 33554432000 4194304 16246674 140737159263648 139823480294576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1336900

[startup+6.30042 s]
/proc/loadavg: 2.43 2.35 2.28 3/183 29179
/proc/meminfo: memFree=28000268/32872528 swapFree=1402776/1580604
[pid=29175] ppid=29172 vsize=1386052 CPUtime=6.29 cores=0,2,4,6
/proc/29175/stat : 29175 (toysat) R 29172 29175 28125 0 -1 4202496 221714 0 0 0 595 34 0 0 20 0 4 0 30401390 1419317248 238365 33554432000 4194304 16246674 140737159263648 140737159246640 4221087 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29175/statm: 346513 238365 802 2943 0 343407 0
[pid=29175/tid=29176] ppid=29172 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/29175/task/29176/stat : 29176 (toysat) S 29172 29175 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30401390 1419317248 238365 33554432000 4194304 16246674 140737159263648 139823501257968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29175/tid=29177] ppid=29172 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/29175/task/29177/stat : 29177 (toysat) S 29172 29175 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30401391 1419317248 238365 33554432000 4194304 16246674 140737159263648 139823490768112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=29175/tid=29178] ppid=29172 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/29175/task/29178/stat : 29178 (toysat) S 29172 29175 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30401391 1419317248 238365 33554432000 4194304 16246674 140737159263648 139823480294576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1386052

[startup+12.7004 s]
/proc/loadavg: 2.52 2.37 2.29 4/183 29179
/proc/meminfo: memFree=27204304/32872528 swapFree=1402776/1580604
[pid=29175] ppid=29172 vsize=1961540 CPUtime=12.69 cores=0,2,4,6
/proc/29175/stat : 29175 (toysat) R 29172 29175 28125 0 -1 4202496 413126 0 0 0 1208 61 0 0 20 0 4 0 30401390 2008616960 431310 33554432000 4194304 16246674 140737159263648 140737159262824 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29175/statm: 490385 431310 840 2943 0 487279 0
[pid=29175/tid=29176] ppid=29172 vsize=1961540 CPUtime=0 cores=0,2,4,6
/proc/29175/task/29176/stat : 29176 (toysat) S 29172 29175 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30401390 2008616960 431310 33554432000 4194304 16246674 140737159263648 139823501257968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29175/tid=29177] ppid=29172 vsize=1961540 CPUtime=0 cores=0,2,4,6
/proc/29175/task/29177/stat : 29177 (toysat) S 29172 29175 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30401391 2008616960 431310 33554432000 4194304 16246674 140737159263648 139823490768112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=29175/tid=29178] ppid=29172 vsize=1961540 CPUtime=0 cores=0,2,4,6
/proc/29175/task/29178/stat : 29178 (toysat) S 29172 29175 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30401391 2008616960 431310 33554432000 4194304 16246674 140737159263648 139823480294576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1961540

[startup+25.5005 s]
/proc/loadavg: 2.44 2.35 2.29 3/183 29179
/proc/meminfo: memFree=25056816/32872528 swapFree=1402776/1580604
[pid=29175] ppid=29172 vsize=3422788 CPUtime=25.49 cores=0,2,4,6
/proc/29175/stat : 29175 (toysat) R 29172 29175 28125 0 -1 4202496 778491 0 0 0 2438 111 0 0 20 0 4 0 30401390 3504934912 797186 33554432000 4194304 16246674 140737159263648 140737159262824 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29175/statm: 855697 797186 892 2943 0 852591 0
[pid=29175/tid=29176] ppid=29172 vsize=3422788 CPUtime=0 cores=0,2,4,6
/proc/29175/task/29176/stat : 29176 (toysat) S 29172 29175 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30401390 3504934912 797186 33554432000 4194304 16246674 140737159263648 139823501257968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29175/tid=29177] ppid=29172 vsize=3422788 CPUtime=0 cores=0,2,4,6
/proc/29175/task/29177/stat : 29177 (toysat) S 29172 29175 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30401391 3504934912 797186 33554432000 4194304 16246674 140737159263648 139823490768112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=29175/tid=29178] ppid=29172 vsize=3422788 CPUtime=0 cores=0,2,4,6
/proc/29175/task/29178/stat : 29178 (toysat) S 29172 29175 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30401391 3504934912 797186 33554432000 4194304 16246674 140737159263648 139823480294576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 3422788

[startup+51.1005 s]
/proc/loadavg: 2.50 2.37 2.29 3/184 29182
/proc/meminfo: memFree=24465084/32872528 swapFree=1402776/1580604
[pid=29175] ppid=29172 vsize=3422788 CPUtime=51.08 cores=0,2,4,6
/proc/29175/stat : 29175 (toysat) R 29172 29175 28125 0 -1 4202496 778491 0 0 0 4993 115 0 0 20 0 4 0 30401390 3504934912 797186 33554432000 4194304 16246674 140737159263648 140737159262824 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29175/statm: 855697 797186 892 2943 0 852591 0
[pid=29175/tid=29176] ppid=29172 vsize=3422788 CPUtime=0 cores=0,2,4,6
/proc/29175/task/29176/stat : 29176 (toysat) S 29172 29175 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30401390 3504934912 797186 33554432000 4194304 16246674 140737159263648 139823501257968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29175/tid=29177] ppid=29172 vsize=3422788 CPUtime=0 cores=0,2,4,6
/proc/29175/task/29177/stat : 29177 (toysat) S 29172 29175 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30401391 3504934912 797186 33554432000 4194304 16246674 140737159263648 139823490768112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=29175/tid=29178] ppid=29172 vsize=3422788 CPUtime=0 cores=0,2,4,6
/proc/29175/task/29178/stat : 29178 (toysat) S 29172 29175 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30401391 3504934912 797186 33554432000 4194304 16246674 140737159263648 139823480294576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 3422788

[startup+102.3 s]
/proc/loadavg: 2.31 2.34 2.28 4/184 29183
/proc/meminfo: memFree=22629848/32872528 swapFree=1402776/1580604
[pid=29175] ppid=29172 vsize=4893252 CPUtime=102.28 cores=0,2,4,6
/proc/29175/stat : 29175 (toysat) R 29172 29175 28125 0 -1 4202496 1146113 0 0 0 10052 176 0 0 20 0 4 0 30401390 5010690048 1164808 33554432000 4194304 16246674 140737159263648 140737159262744 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29175/statm: 1223313 1164808 896 2943 0 1220207 0
[pid=29175/tid=29176] ppid=29172 vsize=4893252 CPUtime=0 cores=0,2,4,6
/proc/29175/task/29176/stat : 29176 (toysat) S 29172 29175 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30401390 5010690048 1164808 33554432000 4194304 16246674 140737159263648 139823501257968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29175/tid=29177] ppid=29172 vsize=4893252 CPUtime=0 cores=0,2,4,6
/proc/29175/task/29177/stat : 29177 (toysat) S 29172 29175 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30401391 5010690048 1164808 33554432000 4194304 16246674 140737159263648 139823490768112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=29175/tid=29178] ppid=29172 vsize=4893252 CPUtime=0 cores=0,2,4,6
/proc/29175/task/29178/stat : 29178 (toysat) S 29172 29175 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30401391 5010690048 1164808 33554432000 4194304 16246674 140737159263648 139823480294576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 4893252


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

[pid=29175] ppid=29172 vsize=11617860 CPUtime=1362.08 cores=0,2,4,6
/proc/29175/stat : 29175 (toysat) R 29172 29175 28125 0 -1 4202496 2827295 0 0 0 135628 580 0 0 20 0 4 0 30401390 11896688640 2845990 33554432000 4194304 16246674 140737159263648 140737159262744 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29175/statm: 2904465 2845990 924 2943 0 2901359 0
[pid=29175/tid=29176] ppid=29172 vsize=11617860 CPUtime=0 cores=0,2,4,6
/proc/29175/task/29176/stat : 29176 (toysat) S 29172 29175 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30401390 11896688640 2845990 33554432000 4194304 16246674 140737159263648 139823501257968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29175/tid=29177] ppid=29172 vsize=11617860 CPUtime=0 cores=0,2,4,6
/proc/29175/task/29177/stat : 29177 (toysat) S 29172 29175 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30401391 11896688640 2845990 33554432000 4194304 16246674 140737159263648 139823490768112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=29175/tid=29178] ppid=29172 vsize=11617860 CPUtime=0 cores=0,2,4,6
/proc/29175/task/29178/stat : 29178 (toysat) S 29172 29175 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30401391 11896688640 2845990 33554432000 4194304 16246674 140737159263648 139823480294576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 11617860

[startup+1422.3 s]
/proc/loadavg: 2.20 2.23 2.23 4/183 29238
/proc/meminfo: memFree=13674236/32872528 swapFree=1402776/1580604
[pid=29175] ppid=29172 vsize=11791940 CPUtime=1422.08 cores=0,2,4,6
/proc/29175/stat : 29175 (toysat) R 29172 29175 28125 0 -1 4202496 2870815 0 0 0 141615 593 0 0 20 0 4 0 30401390 12074946560 2889510 33554432000 4194304 16246674 140737159263648 140737159262824 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29175/statm: 2947985 2889510 924 2943 0 2944879 0
[pid=29175/tid=29176] ppid=29172 vsize=11791940 CPUtime=0 cores=0,2,4,6
/proc/29175/task/29176/stat : 29176 (toysat) S 29172 29175 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30401390 12074946560 2889510 33554432000 4194304 16246674 140737159263648 139823501257968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29175/tid=29177] ppid=29172 vsize=11791940 CPUtime=0 cores=0,2,4,6
/proc/29175/task/29177/stat : 29177 (toysat) S 29172 29175 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30401391 12074946560 2889510 33554432000 4194304 16246674 140737159263648 139823490768112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=29175/tid=29178] ppid=29172 vsize=11791940 CPUtime=0 cores=0,2,4,6
/proc/29175/task/29178/stat : 29178 (toysat) S 29172 29175 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30401391 12074946560 2889510 33554432000 4194304 16246674 140737159263648 139823480294576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 11791940

[startup+1482.3 s]
/proc/loadavg: 2.17 2.22 2.22 3/183 29240
/proc/meminfo: memFree=13399600/32872528 swapFree=1402776/1580604
[pid=29175] ppid=29172 vsize=12108356 CPUtime=1482.07 cores=0,2,4,6
/proc/29175/stat : 29175 (toysat) R 29172 29175 28125 0 -1 4202496 2949920 0 0 0 147597 610 0 0 20 0 4 0 30401390 12398956544 2968615 33554432000 4194304 16246674 140737159263648 140737159262744 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29175/statm: 3027089 2968615 924 2943 0 3023983 0
[pid=29175/tid=29176] ppid=29172 vsize=12108356 CPUtime=0 cores=0,2,4,6
/proc/29175/task/29176/stat : 29176 (toysat) S 29172 29175 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30401390 12398956544 2968615 33554432000 4194304 16246674 140737159263648 139823501257968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29175/tid=29177] ppid=29172 vsize=12108356 CPUtime=0 cores=0,2,4,6
/proc/29175/task/29177/stat : 29177 (toysat) S 29172 29175 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30401391 12398956544 2968615 33554432000 4194304 16246674 140737159263648 139823490768112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=29175/tid=29178] ppid=29172 vsize=12108356 CPUtime=0 cores=0,2,4,6
/proc/29175/task/29178/stat : 29178 (toysat) S 29172 29175 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30401391 12398956544 2968615 33554432000 4194304 16246674 140737159263648 139823480294576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.07
Current children cumulated vsize (KiB) 12108356

[startup+1542.31 s]
/proc/loadavg: 2.26 2.23 2.23 3/183 29241
/proc/meminfo: memFree=13203216/32872528 swapFree=1402776/1580604
[pid=29175] ppid=29172 vsize=12133956 CPUtime=1542.06 cores=0,2,4,6
/proc/29175/stat : 29175 (toysat) R 29172 29175 28125 0 -1 4202496 2956320 0 0 0 153589 617 0 0 20 0 4 0 30401390 12425170944 2975015 33554432000 4194304 16246674 140737159263648 140737159262824 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29175/statm: 3033489 2975015 924 2943 0 3030383 0
[pid=29175/tid=29176] ppid=29172 vsize=12133956 CPUtime=0 cores=0,2,4,6
/proc/29175/task/29176/stat : 29176 (toysat) S 29172 29175 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30401390 12425170944 2975015 33554432000 4194304 16246674 140737159263648 139823501257968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29175/tid=29177] ppid=29172 vsize=12133956 CPUtime=0 cores=0,2,4,6
/proc/29175/task/29177/stat : 29177 (toysat) S 29172 29175 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30401391 12425170944 2975015 33554432000 4194304 16246674 140737159263648 139823490768112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=29175/tid=29178] ppid=29172 vsize=12133956 CPUtime=0 cores=0,2,4,6
/proc/29175/task/29178/stat : 29178 (toysat) S 29172 29175 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30401391 12425170944 2975015 33554432000 4194304 16246674 140737159263648 139823480294576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 12133956

[startup+1602.3 s]
/proc/loadavg: 2.26 2.23 2.23 3/183 29242
/proc/meminfo: memFree=13090856/32872528 swapFree=1402776/1580604
[pid=29175] ppid=29172 vsize=12166724 CPUtime=1602.05 cores=0,2,4,6
/proc/29175/stat : 29175 (toysat) R 29172 29175 28125 0 -1 4202496 2964512 0 0 0 159583 622 0 0 20 0 4 0 30401390 12458725376 2983207 33554432000 4194304 16246674 140737159263648 140737159262824 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29175/statm: 3041681 2983207 924 2943 0 3038575 0
[pid=29175/tid=29176] ppid=29172 vsize=12166724 CPUtime=0 cores=0,2,4,6
/proc/29175/task/29176/stat : 29176 (toysat) S 29172 29175 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30401390 12458725376 2983207 33554432000 4194304 16246674 140737159263648 139823501257968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29175/tid=29177] ppid=29172 vsize=12166724 CPUtime=0 cores=0,2,4,6
/proc/29175/task/29177/stat : 29177 (toysat) S 29172 29175 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30401391 12458725376 2983207 33554432000 4194304 16246674 140737159263648 139823490768112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=29175/tid=29178] ppid=29172 vsize=12166724 CPUtime=0 cores=0,2,4,6
/proc/29175/task/29178/stat : 29178 (toysat) S 29172 29175 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30401391 12458725376 2983207 33554432000 4194304 16246674 140737159263648 139823480294576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 12166724

[startup+1662.3 s]
/proc/loadavg: 2.21 2.22 2.22 3/183 29243
/proc/meminfo: memFree=13025256/32872528 swapFree=1402776/1580604
[pid=29175] ppid=29172 vsize=12187204 CPUtime=1662.04 cores=0,2,4,6
/proc/29175/stat : 29175 (toysat) R 29172 29175 28125 0 -1 4202496 2969632 0 0 0 165575 629 0 0 20 0 4 0 30401390 12479696896 2988327 33554432000 4194304 16246674 140737159263648 140737159262744 4220536 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29175/statm: 3046801 2988327 924 2943 0 3043695 0
[pid=29175/tid=29176] ppid=29172 vsize=12187204 CPUtime=0 cores=0,2,4,6
/proc/29175/task/29176/stat : 29176 (toysat) S 29172 29175 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30401390 12479696896 2988327 33554432000 4194304 16246674 140737159263648 139823501257968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29175/tid=29177] ppid=29172 vsize=12187204 CPUtime=0 cores=0,2,4,6
/proc/29175/task/29177/stat : 29177 (toysat) S 29172 29175 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30401391 12479696896 2988327 33554432000 4194304 16246674 140737159263648 139823490768112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=29175/tid=29178] ppid=29172 vsize=12187204 CPUtime=0 cores=0,2,4,6
/proc/29175/task/29178/stat : 29178 (toysat) S 29172 29175 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30401391 12479696896 2988327 33554432000 4194304 16246674 140737159263648 139823480294576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 12187204

[startup+1722.3 s]
/proc/loadavg: 2.28 2.24 2.22 3/183 29244
/proc/meminfo: memFree=13740688/32872528 swapFree=1402776/1580604
[pid=29175] ppid=29172 vsize=12227140 CPUtime=1722.03 cores=0,2,4,6
/proc/29175/stat : 29175 (toysat) R 29172 29175 28125 0 -1 4202496 2979616 0 0 0 171566 637 0 0 20 0 4 0 30401390 12520591360 2998311 33554432000 4194304 16246674 140737159263648 140737159262824 4206877 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29175/statm: 3056785 2998311 924 2943 0 3053679 0
[pid=29175/tid=29176] ppid=29172 vsize=12227140 CPUtime=0 cores=0,2,4,6
/proc/29175/task/29176/stat : 29176 (toysat) S 29172 29175 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30401390 12520591360 2998311 33554432000 4194304 16246674 140737159263648 139823501257968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29175/tid=29177] ppid=29172 vsize=12227140 CPUtime=0 cores=0,2,4,6
/proc/29175/task/29177/stat : 29177 (toysat) S 29172 29175 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30401391 12520591360 2998311 33554432000 4194304 16246674 140737159263648 139823490768112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=29175/tid=29178] ppid=29172 vsize=12227140 CPUtime=0 cores=0,2,4,6
/proc/29175/task/29178/stat : 29178 (toysat) S 29172 29175 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30401391 12520591360 2998311 33554432000 4194304 16246674 140737159263648 139823480294576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 12227140

[startup+1782.3 s]
/proc/loadavg: 2.16 2.21 2.21 3/183 29246
/proc/meminfo: memFree=12880792/32872528 swapFree=1402776/1580604
[pid=29175] ppid=29172 vsize=12252740 CPUtime=1782.02 cores=0,2,4,6
/proc/29175/stat : 29175 (toysat) R 29172 29175 28125 0 -1 4202496 2986016 0 0 0 177557 645 0 0 20 0 4 0 30401390 12546805760 3004711 33554432000 4194304 16246674 140737159263648 140737159261456 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29175/statm: 3063185 3004711 924 2943 0 3060079 0
[pid=29175/tid=29176] ppid=29172 vsize=12252740 CPUtime=0 cores=0,2,4,6
/proc/29175/task/29176/stat : 29176 (toysat) S 29172 29175 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30401390 12546805760 3004711 33554432000 4194304 16246674 140737159263648 139823501257968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29175/tid=29177] ppid=29172 vsize=12252740 CPUtime=0 cores=0,2,4,6
/proc/29175/task/29177/stat : 29177 (toysat) S 29172 29175 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30401391 12546805760 3004711 33554432000 4194304 16246674 140737159263648 139823490767888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29175/tid=29178] ppid=29172 vsize=12252740 CPUtime=0 cores=0,2,4,6
/proc/29175/task/29178/stat : 29178 (toysat) S 29172 29175 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30401391 12546805760 3004711 33554432000 4194304 16246674 140737159263648 139823480294576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 12252740



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.18 2.21 2.21 4/183 29295
/proc/meminfo: memFree=17056008/32872528 swapFree=1402776/1580604
[pid=29175] ppid=29172 vsize=12266052 CPUtime=1800.01 cores=0,2,4,6
/proc/29175/stat : 29175 (toysat) R 29172 29175 28125 0 -1 4202496 2989220 0 0 0 179354 647 0 0 20 0 4 0 30401390 12560437248 3007915 33554432000 4194304 16246674 140737159263648 140737159262824 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29175/statm: 3066513 3007915 924 2943 0 3063407 0
[pid=29175/tid=29176] ppid=29172 vsize=12266052 CPUtime=0 cores=0,2,4,6
/proc/29175/task/29176/stat : 29176 (toysat) S 29172 29175 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30401390 12560437248 3007915 33554432000 4194304 16246674 140737159263648 139823501257968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29175/tid=29177] ppid=29172 vsize=12266052 CPUtime=0 cores=0,2,4,6
/proc/29175/task/29177/stat : 29177 (toysat) S 29172 29175 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30401391 12560437248 3007915 33554432000 4194304 16246674 140737159263648 139823490768112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=29175/tid=29178] ppid=29172 vsize=12266052 CPUtime=0 cores=0,2,4,6
/proc/29175/task/29178/stat : 29178 (toysat) S 29172 29175 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30401391 12560437248 3007915 33554432000 4194304 16246674 140737159263648 139823480294576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 12266052

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 29175 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.81 s]
/proc/loadavg: 2.18 2.21 2.21 4/181 29295
/proc/meminfo: memFree=23561124/32872528 swapFree=1402776/1580604
[pid=29175] ppid=29172 vsize=0 CPUtime=1800.52 cores=0,2,4,6
/proc/29175/stat : 29175 (toysat) Z 29172 29175 28125 0 -1 4203532 2989220 0 0 0 179355 697 0 0 20 0 2 0 30401390 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29175/statm: 0 0 0 0 0 0 0
[pid=29175/tid=29178] ppid=29172 vsize=0 CPUtime=0.49 cores=0,2,4,6
/proc/29175/task/29178/stat : 29178 (toysat) R 29172 29175 28125 0 -1 4203588 2 0 0 0 0 49 0 0 20 0 2 0 30401391 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.52
Current children cumulated vsize (KiB) 0

[startup+1801 s]
/proc/loadavg: 2.18 2.21 2.21 4/181 29295
/proc/meminfo: memFree=23561124/32872528 swapFree=1402776/1580604
[pid=29175] ppid=29172 vsize=0 CPUtime=1800.72 cores=0,2,4,6
/proc/29175/stat : 29175 (toysat) Z 29172 29175 28125 0 -1 4203532 2989220 0 0 0 179355 717 0 0 20 0 2 0 30401390 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29175/statm: 0 0 0 0 0 0 0
[pid=29175/tid=29178] ppid=29172 vsize=0 CPUtime=0.68 cores=0,2,4,6
/proc/29175/task/29178/stat : 29178 (toysat) R 29172 29175 28125 0 -1 4203588 2 0 0 0 0 68 0 0 20 0 2 0 30401391 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.72
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.06
CPU time (s): 1800.78
CPU user time (s): 1793.55
CPU system time (s): 7.2259
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 12266052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.55
system time used= 7.2259
maximum resident set size= 12031660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2989220
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= 589
involuntary context switches= 2554

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.56231 second user time and 6.90795 second system time

The end

Launcher Data 

Begin job on node139 at 2016-06-18 22:59:17
IDJOB=4107146
IDBENCH=71897
IDSOLVER=2542
FILE ID=node139/4107146-1466283555
RUNJOBID= node139-1466274546-28141
PBS_JOBID= 19918239
Free space on /tmp= 71528 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB09/normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_3000_5__126_2812__64.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4107146-1466283555/watcher-4107146-1466283555 -o /tmp/evaluation-result-4107146-1466283555/solver-4107146-1466283555 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466274546-28141 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107146-1466283555.opb

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

MD5SUM BENCH= ac3f9f3932c1350445aa95096c36ebc2
RANDOM SEED=1902244205

node139.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.500
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.00
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.500
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	: 5332.55
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.500
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.55
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.500
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	: 5332.56
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.500
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	: 5332.55
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.500
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	: 5332.56
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.500
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	: 5332.55
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.500
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28948184 kB
Buffers:          179824 kB
Cached:           265944 kB
SwapCached:         1904 kB
Active:          1337188 kB
Inactive:         255684 kB
Active(anon):    1148152 kB
Inactive(anon):     1476 kB
Active(file):     189036 kB
Inactive(file):   254208 kB
Unevictable:     1580604 kB
Mlocked:         1402776 kB
SwapTotal:      67108856 kB
SwapFree:       67099484 kB
Dirty:             84676 kB
Writeback:             0 kB
AnonPages:       2729404 kB
Mapped:            10740 kB
Shmem:                 0 kB
Slab:             613652 kB
SReclaimable:      56864 kB
SUnreclaim:       556788 kB
KernelStack:        1456 kB
PageTables:         9464 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2874772 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    186368 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71520 MiB
End job on node139 at 2016-06-18 23:29:18