Trace number 4099781

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.08 1800.36

General information on the benchmark

Namenormalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-aflow40b.opb
MD5SUMb1cb8dfc9613a6d80968091d3346a684
Bench CategoryOPT-MEDINT (optimisation, medium integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark5921
Best CPU time to get the best result obtained on this benchmark1800.26
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5507
Optimality of the best value was proved NO
Number of variables23384
Total number of constraints2806
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)39
Number of constraints which are nor clauses,nor cardinality constraints2767
Minimum length of a constraint14
Maximum length of a constraint1202
Number of terms in the objective function 1364
Biggest coefficient in the objective function 500
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 230637
Number of bits of the sum of numbers in the objective function 18
Biggest number in a constraint 102400
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 7037881
Number of bits of the biggest sum of numbers23
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-18T01:59:02+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-4099781-1466207942.opb"]
0.00/0.01	c use --random-gen="309689581 1197742081 2555363926 1211834719 446837839 1710586258 4284394102 1282957960 2124089799 4277893411 1320639158 3574363820 1550313348 1181050729 3466160048 4223442457 1506063712 2880264970 1692138887 3874382061 393728276 3155236802 607248063 1867413457 2096054866 1556561913 1112314941 3280498645 3061145620 2170148215 1608660239 2621336954 2267710153 591088972 1297534417 3683111870 743226730 1562956274 159354864 3907061936 2072382474 456290608 3535823984 3408092843 1023514540 1542606035 2720416823 2852444618 3365868049 2227132131 332741145 3713060968 2758505593 707238619 4040986505 2348067596 3495790234 1471860526 535837937 1506069128 1736422341 1129889728 1842534256 1457215007 1033454321 2935434707 3635285508 2641679031 2844637511 2471841465 907200584 3880497318 3229629979 719622867 1735267282 249265083 2038848368 3779242802 4242453182 2141107405 3492887606 433784839 3340064844 3147027358 2370494466 508095758 1551840161 2042290476 4226558353 1731553270 3811335524 3503208884 2473007758 1238365347 2527087964 3614868263 1942757736 1903145297 4259432928 3197259936 3582556099 4011018351 1982849768 2232536734 3254503236 3352516908 2299995324 344722062 2668107282 1298111684 1934485182 1854551172 1242201308 836427613 3934799635 618572995 3729865655 3754791484 50459258 1474103084 2406069526 1868816648 3056516920 1559797974 1194465936 3912292652 2390230257 3230136998 3175161994 719783652 4166506474 1190744265 3783858799 3577910594 748525630 1840185758 3364868944 1845211729 3309146424 1548968458 3083892571 2258824097 707970510 3543133001 4257876387 1768030401 2109090904 2205016945 712314900 4113223687 2125352690 1788313849 2890620517 1939401878 2961261552 3363051718 3540564202 57928682 1566873423 261880325 1498325910 1900369680 3217120921 4207207125 4011873090 956345913 1465199581 3108195370 2237725368 987074358 115272552 4244236711 661428812 2639840939 2618754790 2776793084 1289579135 4259996294 259324716 586264993 110028437 2011042019 2346360187 2072486705 1730740005 126677361 3415763549 1662964170 1020924792 1985120637 169075511 3554201000 1432966144 728353023 449865313 1553503342 842677793 350341305 2886506923 971090369 115030049 3364715344 2908505398 1998743939 3400468900 3244020972 251882219 3530807033 4052921009 1483974588 2577261403 4090555162 858745832 3659304869 1188617881 3789336903 114902756 3543340435 1795604562 942221389 996944453 1832614774 3159536864 4216204367 2774268692 1751341496 956489418 3356957044 2748872463 3508305444 384664432 918778167 4278045449 815551847 2118371484 2226424805 1198814153 2117744121 4223086770 2866972493 4178233498 1790752983 207529356 3897792508 996207458 3399189473 3717010643 927622004 2284180208 126497039 3351386909 2539781037 2261168974 2562711643 1041189510 790580845 255 362436" option to reproduce the execution
0.09/0.20	c #vars 23384
0.09/0.20	c #constraints 2806
0.69/0.76	c BCD2: Hardening is enabled.
0.69/0.76	c BCD2: BiasedSearch is enabled.
0.69/0.76	c Solving starts ...
0.69/0.76	c ============================[ Search Statistics ]============================
0.69/0.76	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.69/0.76	c       |         |          |          |    Limit     GC | Var      | Constra 
0.69/0.76	c =============================================================================
0.69/0.77	c  0.0s |       0 |        0 |        0 |     8756      0 |        0 |        0
1.78/1.81	c  1.0s |       1 |     1731 |      100 |     8756      0 |        0 |        0
3.19/3.25	c  2.5s |       2 |     7314 |      250 |     9632      0 |        0 |        0
5.29/5.30	c  4.5s |       3 |    12746 |      475 |    10596      0 |        0 |        0
7.69/7.75	c  7.0s |       3 |    15929 |      775 |    11656      0 |        0 |        0
8.38/8.44	c  7.7s |       4 |    16023 |      813 |    11656      0 |        0 |        0
10.99/11.09	c 10.3s |       4 |    18691 |     1113 |    12822      0 |        0 |        0
11.88/11.97	c 11.2s |       5 |    19031 |     1320 |    12822      0 |        0 |        0
14.08/14.12	c 13.4s |       5 |    21965 |     1620 |    14105      0 |        0 |        0
16.29/16.34	c 15.6s |       5 |    24656 |     1920 |    14105      0 |        0 |        0
18.79/18.84	c 18.1s |       5 |    24778 |     2020 |    14105      0 |        0 |        0
19.29/19.38	c 18.6s |       6 |    24843 |     2081 |    15516      0 |        0 |        0
21.79/21.82	c 21.1s |       6 |    28620 |     2281 |    15516      0 |        0 |        0
25.09/25.10	c 24.3s |       6 |    29933 |     2481 |    15516      0 |        0 |        0
27.59/27.67	c 26.9s |       6 |    30266 |     2581 |    15516      0 |        0 |        0
30.18/30.23	c 29.5s |       6 |    32064 |     2681 |    15516      0 |        0 |        0
40.58/40.60	c 39.8s |       6 |    33267 |     2781 |    15516      0 |        0 |        0
43.59/43.67	c 42.9s |       6 |    36103 |     2981 |    15516      0 |        0 |        0
47.18/47.21	c 46.4s |       6 |    36775 |     3181 |    15516      0 |        0 |        0
48.28/48.34	c 47.6s |       7 |    36844 |     3223 |    17068      0 |        0 |        0
51.58/51.70	c 50.9s |       7 |    41396 |     3523 |    17068      0 |        0 |        0
54.38/54.45	c 53.7s |       7 |    41757 |     3723 |    17068      0 |        0 |        0
56.38/56.47	c 55.7s |       7 |    42874 |     4123 |    17068      0 |        0 |        0
58.68/58.76	c 58.0s |       7 |    46567 |     4823 |    17068      0 |        0 |        0
59.68/59.73	c 59.0s |       8 |    46785 |     4936 |    18775      0 |        0 |        0
62.08/62.14	c 61.4s |       8 |    50631 |     5136 |    18775      0 |        0 |        0
64.38/64.48	c 63.7s |       8 |    51135 |     5236 |    18775      0 |        0 |        0
66.98/67.04	c 66.3s |       8 |    52658 |     5336 |    18775      0 |        0 |        0
71.38/71.43	c 70.7s |       8 |    53547 |     5436 |    18775      0 |        0 |        0
74.38/74.46	c 73.7s |       8 |    55901 |     5636 |    18775      0 |        0 |        0
78.78/78.89	c 78.1s |       8 |    57442 |     5836 |    18775      0 |        0 |        0
98.57/98.62	c 97.9s |       8 |    57746 |     5936 |    18775      0 |        0 |        0
147.38/147.48	c  146s |       8 |    57971 |     6036 |    18775      0 |        0 |        0
149.58/149.68	c  148s |       8 |    58856 |     6136 |    18775      0 |        0 |        0
153.77/153.82	c  153s |       8 |    59635 |     6336 |    18775      0 |        0 |        0
157.27/157.38	c  156s |       8 |    63421 |     6536 |    18775      0 |        0 |        0
160.97/161.03	c  160s |       8 |    65921 |     6736 |    18775      0 |        0 |        0
164.36/164.40	c  163s |       8 |    68632 |     6936 |    18775      0 |        0 |        0
168.56/168.65	c  167s |       8 |    69881 |     7136 |    18775      0 |        0 |        0
171.96/172.06	c  171s |       8 |    72063 |     7336 |    18775      0 |        0 |        0
173.87/173.97	c  173s |       9 |    73055 |     7506 |    20653      0 |        0 |        0
177.76/177.83	c  177s |       9 |    76880 |     7606 |    20653      0 |        0 |        0
182.26/182.36	c  181s |       9 |    77279 |     7806 |    20653      0 |        0 |        0
185.06/185.14	c  184s |       9 |    78638 |     8006 |    20653      0 |        0 |        0
188.17/188.27	c  187s |       9 |    78950 |     8106 |    20653      0 |        0 |        0
192.96/193.00	c  192s |       9 |    79115 |     8206 |    20653      0 |        0 |        0
195.36/195.48	c  194s |       9 |    80019 |     8406 |    20653      0 |        0 |        0
198.65/198.77	c  198s |       9 |    82750 |     8606 |    20653      0 |        0 |        0
201.65/201.77	c  200s |       9 |    83077 |     8806 |    20653      0 |        0 |        0
205.06/205.15	c  204s |       9 |    83925 |     9006 |    20653      0 |        0 |        0
208.16/208.28	c  207s |       9 |    84088 |     9106 |    20653      0 |        0 |        0
212.06/212.11	c  211s |       9 |    84456 |     9306 |    20653      0 |        0 |        0
214.86/214.93	c  214s |       9 |    84749 |     9506 |    20653      0 |        0 |        0
218.46/218.55	c  217s |       9 |    85297 |     9706 |    20653      0 |        0 |        0
220.86/220.91	c  220s |       9 |    85483 |     9806 |    20653      0 |        0 |        0
223.46/223.59	c  222s |       9 |    85680 |     9906 |    20653      0 |        0 |        0
229.06/229.11	c  228s |       9 |    86256 |    10006 |    20653      0 |        0 |        0
231.85/231.93	c  231s |       9 |    87249 |    10206 |    20653      0 |        0 |        0
234.45/234.53	c  233s |       9 |    87537 |    10306 |    20653      0 |        0 |        0
237.15/237.20	c  236s |       9 |    87814 |    10406 |    20653      0 |        0 |        0
242.25/242.34	c  241s |       9 |    89049 |    10506 |    20653      0 |        0 |        0
245.25/245.34	c  244s |       9 |    89565 |    10706 |    20653      0 |        0 |        0
247.85/247.91	c  247s |       9 |    90413 |    10906 |    20653      0 |        0 |        0
251.56/251.67	c  250s |       9 |    91042 |    11106 |    20653      0 |        0 |        0
257.25/257.36	c  256s |       9 |    91561 |    11306 |    22719      0 |        0 |        0
259.05/259.11	c  258s |      10 |    92203 |    11361 |    22719      0 |        0 |        0
262.65/262.77	c  262s |      10 |    96343 |    11661 |    22719      0 |        0 |        0
265.45/265.59	c  264s |      10 |    96742 |    11761 |    22719      0 |        0 |        0
269.25/269.36	c  268s |      10 |    97236 |    11961 |    22719      0 |        0 |        0
271.95/272.09	c  271s |      10 |    97672 |    12061 |    22719      0 |        0 |        0
273.95/274.09	c  273s |      10 |    97864 |    12161 |    22719      0 |        0 |        0
277.54/277.69	c  276s |      10 |    98498 |    12361 |    22719      0 |        0 |        0
280.04/280.13	c  279s |      10 |    98876 |    12461 |    22719      0 |        0 |        0
285.24/285.32	c  284s |      10 |    99257 |    12561 |    22719      0 |        0 |        0
291.25/291.39	c  290s |      10 |    99378 |    12661 |    22719      0 |        0 |        0
293.35/293.49	c  292s |      10 |    99481 |    12761 |    22719      0 |        0 |        0
295.45/295.52	c  294s |      10 |    99797 |    12861 |    22719      0 |        0 |        0
298.16/298.29	c  297s |      10 |    99929 |    12961 |    22719      0 |        0 |        0
300.65/300.79	c  300s |      10 |   100093 |    13061 |    22719      0 |        0 |        0
303.94/304.06	c  303s |      10 |   100569 |    13161 |    22719      0 |        0 |        0
306.85/306.92	c  306s |      10 |   100717 |    13261 |    22719      0 |        0 |        0
312.24/312.39	c  311s |      10 |   101721 |    13361 |    22719      0 |        0 |        0
314.54/314.64	c  313s |      10 |   102157 |    13561 |    22719      0 |        0 |        0
317.64/317.71	c  316s |      10 |   103283 |    13761 |    22719      0 |        0 |        0
320.05/320.14	c  319s |      10 |   103530 |    13861 |    22719      0 |        0 |        0
324.55/324.65	c  323s |      10 |   103991 |    14061 |    22719      0 |        0 |        0
327.14/327.28	c  326s |      10 |   104149 |    14161 |    22719      0 |        0 |        0
330.74/330.81	c  330s |      10 |   104443 |    14361 |    22719      0 |        0 |        0
334.04/334.13	c  333s |      10 |   104573 |    14461 |    22719      0 |        0 |        0
336.34/336.48	c  335s |      10 |   104694 |    14561 |    22719      0 |        0 |        0
340.34/340.47	c  339s |      10 |   105087 |    14761 |    22719      0 |        0 |        0
343.15/343.20	c  342s |      10 |   105743 |    14961 |    22719      0 |        0 |        0
345.45/345.55	c  344s |      10 |   109457 |    15461 |    22719      0 |        0 |        0
348.04/348.14	c  347s |      10 |   112524 |    15861 |    22719      0 |        0 |        0
350.53/350.63	c  349s |      10 |   113148 |    16161 |    22719      0 |        0 |        0
353.23/353.31	c  352s |      10 |   113683 |    16361 |    22719      0 |        0 |        0
358.13/358.21	c  357s |      10 |   113944 |    16561 |    22719      0 |        0 |        0
361.13/361.22	c  360s |      10 |   114165 |    16661 |    22719      0 |        0 |        0
364.15/364.27	c  363s |      10 |   115127 |    16861 |    22719      0 |        0 |        0
366.54/366.67	c  365s |      10 |   115427 |    17061 |    24991      0 |        0 |        0
367.84/367.90	c  367s |      11 |   115650 |    17144 |    24991      0 |        0 |        0
370.44/370.57	c  369s |      11 |   121083 |    17344 |    24991      0 |        0 |        0
375.54/375.69	c  374s |      11 |   121217 |    17544 |    24991      0 |        0 |        0
377.84/377.98	c  377s |      11 |   121336 |    17644 |    24991      0 |        0 |        0
382.33/382.45	c  381s |      11 |   121544 |    17844 |    24991      0 |        0 |        0
384.53/384.68	c  383s |      11 |   121662 |    17944 |    24991      0 |        0 |        0
387.93/388.02	c  387s |      11 |   122905 |    18144 |    24991      0 |        0 |        0
391.43/391.58	c  390s |      11 |   123199 |    18244 |    24991      0 |        0 |        0
394.03/394.14	c  393s |      11 |   123574 |    18444 |    24991      0 |        0 |        0
396.53/396.60	c  395s |      11 |   123864 |    18644 |    24991      0 |        0 |        0
399.43/399.54	c  398s |      11 |   127209 |    19144 |    24991      0 |        0 |        0
401.54/401.63	c  400s |      11 |   127372 |    19344 |    24991      0 |        0 |        0
404.13/404.21	c  403s |      11 |   129014 |    19544 |    24991      0 |        0 |        0
406.43/406.51	c  405s |      11 |   129593 |    19844 |    24991      0 |        0 |        0
409.53/409.62	c  408s |      11 |   131637 |    20144 |    24991      0 |        0 |        0
412.03/412.19	c  411s |      11 |   131938 |    20244 |    24991      0 |        0 |        0
414.43/414.53	c  413s |      11 |   132202 |    20344 |    24991      0 |        0 |        0
418.03/418.15	c  417s |      11 |   132729 |    20444 |    24991      0 |        0 |        0
421.02/421.13	c  420s |      11 |   133254 |    20544 |    24991      0 |        0 |        0
424.02/424.11	c  423s |      11 |   133785 |    20644 |    24991      0 |        0 |        0
428.62/428.71	c  427s |      11 |   134260 |    20744 |    24991      0 |        0 |        0
434.22/434.38	c  433s |      11 |   135036 |    20844 |    24991      0 |        0 |        0
437.12/437.24	c  436s |      11 |   135312 |    21044 |    24991      0 |        0 |        0
439.22/439.36	c  438s |      11 |   135768 |    21244 |    24991      0 |        0 |        0
441.92/442.03	c  441s |      11 |   137270 |    21444 |    24991      0 |        0 |        0
444.22/444.34	c  443s |      11 |   137730 |    21644 |    24991      0 |        0 |        0
446.22/446.37	c  445s |      11 |   137814 |    21744 |    24991      0 |        0 |        0
450.12/450.23	c  449s |      11 |   138349 |    21944 |    24991      0 |        0 |        0
453.32/453.48	c  452s |      11 |   138829 |    22144 |    24991      0 |        0 |        0
458.12/458.21	c  457s |      11 |   139397 |    22344 |    24991      0 |        0 |        0
460.22/460.38	c  459s |      11 |   139633 |    22444 |    24991      0 |        0 |        0
462.71/462.84	c  462s |      11 |   140126 |    22544 |    24991      0 |        0 |        0
464.81/464.92	c  464s |      11 |   140324 |    22644 |    24991      0 |        0 |        0
469.31/469.49	c  468s |      11 |   140546 |    22744 |    24991      0 |        0 |        0
471.51/471.69	c  470s |      11 |   143023 |    22944 |    24991      0 |        0 |        0
474.92/475.10	c  474s |      11 |   144559 |    23244 |    24991      0 |        0 |        0
479.32/479.45	c  478s |      11 |   144656 |    23344 |    24991      0 |        0 |        0
482.12/482.24	c  481s |      11 |   144802 |    23444 |    24991      0 |        0 |        0
487.12/487.25	c  486s |      11 |   145008 |    23644 |    24991      0 |        0 |        0
489.42/489.57	c  488s |      11 |   146724 |    23844 |    24991      0 |        0 |        0
492.02/492.12	c  491s |      11 |   148072 |    24044 |    24991      0 |        0 |        0
495.51/495.62	c  494s |      11 |   150353 |    24244 |    24991      0 |        0 |        0
497.71/497.85	c  497s |      11 |   151409 |    24444 |    24991      0 |        0 |        0
501.01/501.11	c  500s |      11 |   152052 |    24644 |    24991      0 |        0 |        0
503.51/503.65	c  502s |      11 |   152214 |    24744 |    24991      0 |        0 |        0
505.61/505.79	c  505s |      11 |   152594 |    24844 |    24991      0 |        0 |        0
509.91/510.04	c  509s |      11 |   153323 |    25044 |    24991      0 |        0 |        0
513.21/513.32	c  512s |      11 |   153728 |    25244 |    24991      0 |        0 |        0
516.82/516.91	c  516s |      11 |   154192 |    25444 |    24991      0 |        0 |        0
519.31/519.43	c  518s |      11 |   154629 |    25544 |    24991      0 |        0 |        0
522.61/522.78	c  522s |      11 |   154685 |    25644 |    24991      0 |        0 |        0
525.72/525.84	c  525s |      12 |   155237 |    25819 |    27491      0 |        0 |        0
527.71/527.85	c  527s |      12 |   155916 |    25919 |    27491      0 |        0 |        0
530.41/530.57	c  529s |      12 |   157950 |    26319 |    27491      0 |        0 |        0
532.51/532.67	c  531s |      12 |   159974 |    26919 |    27491      0 |        0 |        0
535.01/535.13	c  534s |      12 |   163621 |    27419 |    27491      0 |        0 |        0
537.81/537.97	c  537s |      12 |   164002 |    27819 |    27491      0 |        0 |        0
539.90/540.01	c  539s |      12 |   165067 |    28319 |    27491      0 |        0 |        0
542.00/542.15	c  541s |      12 |   168638 |    28819 |    27491      0 |        0 |        0
544.10/544.25	c  543s |      12 |   168878 |    29019 |    27491      0 |        0 |        0
547.41/547.58	c  546s |      12 |   169134 |    29219 |    27491      0 |        0 |        0
550.51/550.63	c  549s |      12 |   169503 |    29419 |    27491      0 |        0 |        0
554.01/554.18	c  553s |      12 |   170892 |    29719 |    27491      0 |        0 |        0
556.31/556.41	c  555s |      12 |   171065 |    29819 |    27491      0 |        0 |        0
558.72/558.89	c  558s |      12 |   171611 |    30119 |    27491      0 |        0 |        0
560.81/560.93	c  560s |      12 |   173463 |    30319 |    27491      0 |        0 |        0
562.91/563.06	c  562s |      12 |   175223 |    30519 |    27491      0 |        0 |        0
565.01/565.10	c  564s |      12 |   175408 |    30619 |    27491      0 |        0 |        0
568.50/568.62	c  567s |      12 |   176799 |    30819 |    27491      0 |        0 |        0
571.20/571.33	c  570s |      12 |   177043 |    30919 |    27491      0 |        0 |        0
574.50/574.68	c  573s |      12 |   177283 |    31019 |    27491      0 |        0 |        0
578.00/578.14	c  577s |      12 |   177690 |    31219 |    27491      0 |        0 |        0
580.40/580.55	c  579s |      12 |   177883 |    31419 |    27491      0 |        0 |        0
583.60/583.78	c  583s |      12 |   178871 |    31719 |    27491      0 |        0 |        0
587.50/587.68	c  586s |      12 |   179214 |    31919 |    27491      0 |        0 |        0
590.90/591.04	c  590s |      12 |   179798 |    32019 |    27491      0 |        0 |        0
595.80/595.97	c  595s |      12 |   180121 |    32119 |    27491      0 |        0 |        0
601.60/601.76	c  600s |      12 |   180264 |    32219 |    27491      0 |        0 |        0
606.99/607.20	c  606s |      12 |   180613 |    32319 |    27491      0 |        0 |        0
612.60/612.75	c  611s |      12 |   180904 |    32419 |    27491      0 |        0 |        0
616.09/616.28	c  615s |      12 |   181127 |    32519 |    27491      0 |        0 |        0
620.20/620.34	c  619s |      12 |   181294 |    32619 |    27491      0 |        0 |        0
622.30/622.43	c  621s |      12 |   182139 |    32819 |    27491      0 |        0 |        0
625.70/625.90	c  625s |      12 |   182574 |    33019 |    27491      0 |        0 |        0
628.30/628.45	c  627s |      12 |   183019 |    33219 |    27491      0 |        0 |        0
631.90/632.05	c  631s |      12 |   183695 |    33419 |    27491      0 |        0 |        0
634.99/635.12	c  634s |      12 |   184274 |    33619 |    27491      0 |        0 |        0
637.69/637.85	c  637s |      12 |   184441 |    33719 |    27491      0 |        0 |        0
642.40/642.58	c  641s |      12 |   185195 |    33919 |    27491      0 |        0 |        0
645.89/646.09	c  645s |      12 |   185813 |    34019 |    27491      0 |        0 |        0
651.79/651.92	c  651s |      12 |   185915 |    34119 |    27491      0 |        0 |        0
659.19/659.34	c  658s |      12 |   186217 |    34219 |    27491      0 |        0 |        0
664.59/664.74	c  663s |      12 |   186374 |    34319 |    27491      0 |        0 |        0
668.89/669.09	c  668s |      12 |   187412 |    34419 |    27491      0 |        0 |        0
673.09/673.27	c  672s |      12 |   188523 |    34619 |    27491      0 |        0 |        0
677.38/677.53	c  676s |      12 |   188645 |    34719 |    27491      0 |        0 |        0
680.48/680.61	c  679s |      12 |   189442 |    34919 |    27491      0 |        0 |        0
685.68/685.82	c  685s |      12 |   189876 |    35119 |    27491      0 |        0 |        0
692.18/692.34	c  691s |      12 |   190067 |    35219 |    27491      0 |        0 |        0
713.08/713.24	c  712s |      12 |   190270 |    35319 |    27491      0 |        0 |        0
721.98/722.18	c  721s |      12 |   190545 |    35419 |    27491      0 |        0 |        0
726.58/726.76	c  725s |      12 |   191000 |    35619 |    27491      0 |        0 |        0
729.68/729.85	c  729s |      12 |   191608 |    35719 |    27491      0 |        0 |        0
732.08/732.29	c  731s |      12 |   192314 |    35919 |    27491      0 |        0 |        0
735.48/735.69	c  734s |      12 |   192678 |    36119 |    27491      0 |        0 |        0
739.19/739.39	c  738s |      12 |   193093 |    36319 |    27491      0 |        0 |        0
745.28/745.44	c  744s |      12 |   193850 |    36519 |    27491      0 |        0 |        0
749.57/749.74	c  748s |      12 |   194024 |    36619 |    27491      0 |        0 |        0
755.87/756.04	c  755s |      12 |   194184 |    36719 |    27491      0 |        0 |        0
761.27/761.42	c  760s |      12 |   194377 |    36819 |    27491      0 |        0 |        0
772.57/772.78	c  772s |      12 |   194534 |    36919 |    27491      0 |        0 |        0
784.17/784.36	c  783s |      12 |   195300 |    37019 |    27491      0 |        0 |        0
786.77/786.94	c  786s |      12 |   195480 |    37119 |    27491      0 |        0 |        0
791.67/791.86	c  791s |      12 |   195987 |    37219 |    27491      0 |        0 |        0
798.87/799.01	c  798s |      12 |   196290 |    37319 |    27491      0 |        0 |        0
807.28/807.40	c  806s |      12 |   196465 |    37419 |    27491      0 |        0 |        0
811.47/811.66	c  810s |      12 |   196604 |    37519 |    27491      0 |        0 |        0
816.17/816.39	c  815s |      12 |   197071 |    37619 |    27491      0 |        0 |        0
819.96/820.19	c  819s |      12 |   197191 |    37719 |    27491      0 |        0 |        0
827.26/827.40	c  826s |      12 |   197545 |    37819 |    27491      0 |        0 |        0
831.76/831.95	c  831s |      12 |   197747 |    37919 |    27491      0 |        0 |        0
840.27/840.40	c  839s |      12 |   198408 |    38019 |    27491      0 |        0 |        0
845.27/845.48	c  844s |      12 |   198751 |    38219 |    27491      0 |        0 |        0
847.97/848.16	c  847s |      12 |   199173 |    38319 |    27491      0 |        0 |        0
851.86/852.07	c  851s |      12 |   200080 |    38519 |    27491      0 |        0 |        0
855.67/855.81	c  855s |      12 |   200288 |    38619 |    30241      0 |        0 |        0
867.87/868.00	c  867s |      12 |   200721 |    38719 |    30241      0 |        0 |        0
882.95/883.19	c  882s |      12 |   200946 |    38819 |    30241      0 |        0 |        0
884.15/884.35	c  883s |      13 |   200957 |    38832 |    30241      0 |        0 |        0
889.76/889.95	c  889s |      13 |   203411 |    38932 |    30241      1 |        0 |        0
891.75/891.96	c  891s |      13 |   205372 |    39132 |    30241      1 |        0 |        0
893.95/894.18	c  893s |      13 |   205535 |    39332 |    30241      1 |        0 |        0
897.15/897.33	c  896s |      13 |   206514 |    39532 |    30241      1 |        0 |        0
900.96/901.19	c  900s |      13 |   206670 |    39632 |    30241      1 |        0 |        0
904.66/904.85	c  904s |      13 |   206881 |    39732 |    30241      1 |        0 |        0
910.25/910.42	c  909s |      13 |   207634 |    39932 |    30241      1 |        0 |        0
915.05/915.27	c  914s |      13 |   208131 |    40132 |    30241      1 |        0 |        0
917.35/917.56	c  916s |      13 |   208277 |    40232 |    30241      1 |        0 |        0
920.95/921.11	c  920s |      13 |   208452 |    40332 |    30241      1 |        0 |        0
923.45/923.63	c  922s |      13 |   208647 |    40432 |    30241      1 |        0 |        0
930.05/930.20	c  929s |      13 |   209263 |    40632 |    30241      1 |        0 |        0
932.45/932.68	c  931s |      13 |   209560 |    40732 |    30241      1 |        0 |        0
936.45/936.65	c  935s |      13 |   209959 |    40932 |    30241      1 |        0 |        0
938.55/938.75	c  937s |      13 |   210490 |    41132 |    30241      1 |        0 |        0
940.65/940.83	c  940s |      13 |   210674 |    41232 |    30241      1 |        0 |        0
943.55/943.74	c  942s |      13 |   211309 |    41432 |    30241      1 |        0 |        0
946.05/946.28	c  945s |      13 |   212113 |    41732 |    30241      1 |        0 |        0
949.55/949.78	c  949s |      13 |   212768 |    42032 |    30241      1 |        0 |        0
952.05/952.24	c  951s |      13 |   216063 |    42232 |    30241      1 |        0 |        0
954.14/954.30	c  953s |      13 |   219391 |    42432 |    30241      1 |        0 |        0
956.74/956.94	c  956s |      13 |   222845 |    43132 |    30241      1 |        0 |        0
959.54/959.73	c  958s |      13 |   223559 |    43532 |    30241      1 |        0 |        0
961.84/962.01	c  961s |      13 |   224970 |    43932 |    30241      1 |        0 |        0
963.84/964.08	c  963s |      13 |   228928 |    44532 |    30241      1 |        0 |        0
966.04/966.26	c  965s |      13 |   230809 |    44832 |    30241      1 |        0 |        0
968.34/968.56	c  967s |      13 |   230897 |    45032 |    30241      1 |        0 |        0
971.15/971.31	c  970s |      13 |   232508 |    45332 |    30241      1 |        0 |        0
973.84/974.01	c  973s |      13 |   232776 |    45532 |    30241      1 |        0 |        0
976.14/976.30	c  975s |      13 |   233942 |    45732 |    30241      1 |        0 |        0
979.44/979.64	c  978s |      13 |   234240 |    45932 |    30241      1 |        0 |        0
981.94/982.18	c  981s |      13 |   235766 |    46132 |    30241      1 |        0 |        0
984.64/984.80	c  984s |      13 |   237218 |    46332 |    30241      1 |        0 |        0
987.34/987.58	c  986s |      13 |   239259 |    46532 |    30241      1 |        0 |        0
989.54/989.79	c  989s |      13 |   241280 |    46732 |    30241      1 |        0 |        0
991.64/991.88	c  991s |      13 |   241393 |    46832 |    30241      1 |        0 |        0
995.44/995.67	c  994s |      13 |   242406 |    47032 |    30241      1 |        0 |        0
999.34/999.53	c  998s |      13 |   242587 |    47232 |    30241      1 |        0 |        0
1002.14/1002.39	c 1001s |      13 |   243535 |    47432 |    30241      1 |        0 |        0
1004.63/1004.80	c 1004s |      13 |   244137 |    47632 |    30241      1 |        0 |        0
1007.33/1007.58	c 1006s |      13 |   244301 |    47732 |    30241      1 |        0 |        0
1011.03/1011.29	c 1010s |      13 |   244443 |    47832 |    30241      1 |        0 |        0
1017.03/1017.29	c 1016s |      13 |   244671 |    47932 |    30241      1 |        0 |        0
1022.04/1022.21	c 1021s |      13 |   244858 |    48032 |    30241      1 |        0 |        0
1027.43/1027.63	c 1026s |      13 |   245044 |    48132 |    30241      1 |        0 |        0
1032.23/1032.43	c 1031s |      13 |   245225 |    48232 |    30241      1 |        0 |        0
1041.34/1041.50	c 1040s |      13 |   245453 |    48332 |    30241      1 |        0 |        0
1047.33/1047.54	c 1046s |      13 |   245706 |    48432 |    30241      1 |        0 |        0
1051.23/1051.41	c 1050s |      13 |   246021 |    48532 |    30241      1 |        0 |        0
1065.73/1065.93	c 1065s |      13 |   246532 |    48632 |    30241      1 |        0 |        0
1071.33/1071.52	c 1070s |      13 |   246705 |    48732 |    30241      1 |        0 |        0
1087.42/1087.65	c 1086s |      13 |   247066 |    48832 |    30241      1 |        0 |        0
1095.22/1095.42	c 1094s |      13 |   247348 |    48932 |    30241      1 |        0 |        0
1113.82/1114.07	c 1113s |      13 |   247439 |    49032 |    30241      1 |        0 |        0
1135.22/1135.46	c 1134s |      13 |   247626 |    49132 |    30241      1 |        0 |        0
1141.02/1141.25	c 1140s |      13 |   248051 |    49332 |    30241      1 |        0 |        0
1143.12/1143.31	c 1142s |      13 |   248376 |    49432 |    30241      1 |        0 |        0
1145.71/1145.94	c 1145s |      13 |   248501 |    49532 |    30241      1 |        0 |        0
1150.31/1150.52	c 1149s |      13 |   248717 |    49632 |    30241      1 |        0 |        0
1158.91/1159.11	c 1158s |      13 |   248902 |    49732 |    30241      1 |        0 |        0
1163.82/1164.03	c 1163s |      13 |   249468 |    49832 |    30241      1 |        0 |        0
1165.82/1166.07	c 1165s |      13 |   249694 |    49932 |    30241      1 |        0 |        0
1169.51/1169.72	c 1168s |      13 |   249949 |    50032 |    30241      1 |        0 |        0
1179.41/1179.62	c 1178s |      13 |   250065 |    50132 |    30241      1 |        0 |        0
1184.91/1185.14	c 1184s |      13 |   250378 |    50232 |    30241      1 |        0 |        0
1194.81/1195.09	c 1194s |      13 |   250483 |    50332 |    30241      1 |        0 |        0
1205.51/1205.77	c 1205s |      13 |   250933 |    50432 |    30241      1 |        0 |        0
1209.60/1209.89	c 1209s |      13 |   251470 |    50532 |    30241      1 |        0 |        0
1225.10/1225.31	c 1224s |      13 |   251739 |    50632 |    30241      1 |        0 |        0
1241.30/1241.52	c 1240s |      13 |   252649 |    50732 |    30241      1 |        0 |        0
1252.60/1252.82	c 1252s |      13 |   254036 |    50832 |    30241      1 |        0 |        0
1256.60/1256.88	c 1256s |      13 |   254340 |    50932 |    30241      1 |        0 |        0
1268.20/1268.42	c 1267s |      13 |   255085 |    51032 |    30241      1 |        0 |        0
1289.30/1289.50	c 1288s |      13 |   255355 |    51132 |    30241      1 |        0 |        0
1297.99/1298.28	c 1297s |      13 |   255825 |    51232 |    30241      1 |        0 |        0
1300.49/1300.79	c 1300s |      13 |   256458 |    51532 |    30241      1 |        0 |        0
1321.59/1321.87	c 1321s |      13 |   256897 |    51632 |    30241      1 |        0 |        0
1326.58/1326.85	c 1326s |      13 |   257210 |    51732 |    30241      1 |        0 |        0
1330.68/1330.96	c 1330s |      13 |   257532 |    51832 |    30241      1 |        0 |        0
1334.59/1334.87	c 1334s |      13 |   257852 |    51932 |    30241      1 |        0 |        0
1345.49/1345.75	c 1344s |      13 |   258297 |    52032 |    30241      1 |        0 |        0
1353.19/1353.41	c 1352s |      13 |   258635 |    52132 |    30241      1 |        0 |        0
1359.78/1360.08	c 1359s |      13 |   258860 |    52232 |    30241      1 |        0 |        0
1455.76/1456.03	c 1455s |      13 |   259004 |    52332 |    30241      1 |        0 |        0
1474.47/1474.77	c 1474s |      13 |   259513 |    52432 |    30241      1 |        0 |        0
1507.66/1507.98	c 1507s |      13 |   260304 |    52532 |    30241      1 |        0 |        0
1541.65/1541.96	c 1541s |      13 |   261388 |    52632 |    30241      1 |        0 |        0
1574.96/1575.22	c 1574s |      13 |   261937 |    52732 |    30241      1 |        0 |        0
1617.44/1617.79	c 1617s |      13 |   262391 |    52832 |    30241      1 |        0 |        0
1665.44/1665.76	c 1664s |      13 |   263467 |    52932 |    30241      1 |        0 |        0
1714.33/1714.66	c 1713s |      13 |   263897 |    53032 |    30241      1 |        0 |        0
1753.52/1753.80	c 1753s |      13 |   264510 |    53132 |    30241      1 |        0 |        0
1758.82/1759.16	c 1758s |      13 |   266299 |    53232 |    30241      1 |        0 |        0

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

pid=11815
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.02 2.03 1.74 4/179 11818
/proc/meminfo: memFree=30720188/32872528 swapFree=534252/566956
[pid=11818] ppid=11815 vsize=795068 CPUtime=0 cores=0,2,4,6
/proc/11818/stat : 11818 (toysat) R 11815 11818 10353 0 -1 4202496 2982 0 0 0 0 0 0 0 20 0 4 0 22839861 814149632 3342 33554432000 4194304 16246674 140735269070096 140735269069520 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11818/statm: 199535 3352 441 2943 0 196429 0
[pid=11818/tid=11819] ppid=11815 vsize=813500 CPUtime=0 cores=0,2,4,6
/proc/11818/task/11819/stat : 11819 (toysat) S 11815 11818 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22839861 833024000 3413 33554432000 4194304 16246674 140735269070096 140500421029104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11818/tid=11820] ppid=11815 vsize=817596 CPUtime=0 cores=0,2,4,6
/proc/11818/task/11820/stat : 11820 (toysat) S 11815 11818 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22839861 837218304 3427 33554432000 4194304 16246674 140735269070096 140500410539248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11818/tid=11821] ppid=11815 vsize=821692 CPUtime=0 cores=0,2,4,6
/proc/11818/task/11821/stat : 11821 (toysat) S 11815 11818 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22839861 841412608 3445 33554432000 4194304 16246674 140735269070096 140500325625008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100168 s]
/proc/loadavg: 2.02 2.03 1.74 4/179 11818
/proc/meminfo: memFree=30720188/32872528 swapFree=534252/566956
[pid=11818] ppid=11815 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/11818/stat : 11818 (toysat) R 11815 11818 10353 0 -1 4202496 29616 0 0 0 6 3 0 0 20 0 4 0 22839861 1333334016 29915 33554432000 4194304 16246674 140735269070096 140735269069192 7364033 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11818/statm: 325521 29930 802 2943 0 322415 0
[pid=11818/tid=11819] ppid=11815 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/11818/task/11819/stat : 11819 (toysat) S 11815 11818 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22839861 1333334016 29941 33554432000 4194304 16246674 140735269070096 140500421029104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11818/tid=11820] ppid=11815 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/11818/task/11820/stat : 11820 (toysat) S 11815 11818 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22839861 1333334016 29951 33554432000 4194304 16246674 140735269070096 140500410539248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11818/tid=11821] ppid=11815 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/11818/task/11821/stat : 11821 (toysat) S 11815 11818 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22839861 1333334016 29963 33554432000 4194304 16246674 140735269070096 140500325625008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200529 s]
/proc/loadavg: 2.02 2.03 1.74 4/179 11818
/proc/meminfo: memFree=30720188/32872528 swapFree=534252/566956
[pid=11818] ppid=11815 vsize=1312324 CPUtime=0.19 cores=0,2,4,6
/proc/11818/stat : 11818 (toysat) R 11815 11818 10353 0 -1 4202496 46373 0 0 0 14 5 0 0 20 0 4 0 22839861 1343819776 47182 33554432000 4194304 16246674 140735269070096 140735269069192 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11818/statm: 328081 47182 807 2943 0 324975 0
[pid=11818/tid=11819] ppid=11815 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/11818/task/11819/stat : 11819 (toysat) S 11815 11818 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22839861 1343819776 47182 33554432000 4194304 16246674 140735269070096 140500421029104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11818/tid=11820] ppid=11815 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/11818/task/11820/stat : 11820 (toysat) S 11815 11818 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22839861 1343819776 47182 33554432000 4194304 16246674 140735269070096 140500410539248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11818/tid=11821] ppid=11815 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/11818/task/11821/stat : 11821 (toysat) S 11815 11818 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22839861 1343819776 47182 33554432000 4194304 16246674 140735269070096 140500325625008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.30044 s]
/proc/loadavg: 2.02 2.03 1.74 4/179 11818
/proc/meminfo: memFree=30720188/32872528 swapFree=534252/566956
[pid=11818] ppid=11815 vsize=1312324 CPUtime=0.29 cores=0,2,4,6
/proc/11818/stat : 11818 (toysat) R 11815 11818 10353 0 -1 4202496 46448 0 0 0 24 5 0 0 20 0 4 0 22839861 1343819776 47257 33554432000 4194304 16246674 140735269070096 140735269069192 13954881 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11818/statm: 328081 47257 843 2943 0 324975 0
[pid=11818/tid=11819] ppid=11815 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/11818/task/11819/stat : 11819 (toysat) S 11815 11818 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22839861 1343819776 47257 33554432000 4194304 16246674 140735269070096 140500421029104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11818/tid=11820] ppid=11815 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/11818/task/11820/stat : 11820 (toysat) S 11815 11818 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22839861 1343819776 47257 33554432000 4194304 16246674 140735269070096 140500410539248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11818/tid=11821] ppid=11815 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/11818/task/11821/stat : 11821 (toysat) S 11815 11818 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22839861 1343819776 47257 33554432000 4194304 16246674 140735269070096 140500325625008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.700395 s]
/proc/loadavg: 2.02 2.03 1.74 4/179 11818
/proc/meminfo: memFree=30720188/32872528 swapFree=534252/566956
[pid=11818] ppid=11815 vsize=1325636 CPUtime=0.69 cores=0,2,4,6
/proc/11818/stat : 11818 (toysat) R 11815 11818 10353 0 -1 4202496 49800 0 0 0 64 5 0 0 20 0 4 0 22839861 1357451264 50609 33554432000 4194304 16246674 140735269070096 140735269069408 12367026 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11818/statm: 331409 50609 846 2943 0 328303 0
[pid=11818/tid=11819] ppid=11815 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/11818/task/11819/stat : 11819 (toysat) S 11815 11818 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22839861 1357451264 50609 33554432000 4194304 16246674 140735269070096 140500421029104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11818/tid=11820] ppid=11815 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/11818/task/11820/stat : 11820 (toysat) S 11815 11818 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22839861 1357451264 50609 33554432000 4194304 16246674 140735269070096 140500410539248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11818/tid=11821] ppid=11815 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/11818/task/11821/stat : 11821 (toysat) S 11815 11818 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22839861 1357451264 50609 33554432000 4194304 16246674 140735269070096 140500325625008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1325636

[startup+1.50041 s]
/proc/loadavg: 2.02 2.03 1.74 3/183 11822
/proc/meminfo: memFree=30099276/32872528 swapFree=534252/566956
[pid=11818] ppid=11815 vsize=1325636 CPUtime=1.48 cores=0,2,4,6
/proc/11818/stat : 11818 (toysat) R 11815 11818 10353 0 -1 4202496 49854 0 0 0 143 5 0 0 20 0 4 0 22839861 1357451264 50663 33554432000 4194304 16246674 140735269070096 140735269069272 13950384 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11818/statm: 331409 50663 899 2943 0 328303 0
[pid=11818/tid=11819] ppid=11815 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/11818/task/11819/stat : 11819 (toysat) S 11815 11818 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22839861 1357451264 50663 33554432000 4194304 16246674 140735269070096 140500421029104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11818/tid=11820] ppid=11815 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/11818/task/11820/stat : 11820 (toysat) S 11815 11818 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22839861 1357451264 50663 33554432000 4194304 16246674 140735269070096 140500410539248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11818/tid=11821] ppid=11815 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/11818/task/11821/stat : 11821 (toysat) S 11815 11818 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22839861 1357451264 50663 33554432000 4194304 16246674 140735269070096 140500325625008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1325636

[startup+3.1004 s]
/proc/loadavg: 2.09 2.04 1.75 3/183 11822
/proc/meminfo: memFree=30093324/32872528 swapFree=534252/566956
[pid=11818] ppid=11815 vsize=1325636 CPUtime=3.09 cores=0,2,4,6
/proc/11818/stat : 11818 (toysat) R 11815 11818 10353 0 -1 4202496 57293 0 0 0 303 6 0 0 20 0 4 0 22839861 1357451264 58102 33554432000 4194304 16246674 140735269070096 140735269051968 5712760 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11818/statm: 331409 58102 899 2943 0 328303 0
[pid=11818/tid=11819] ppid=11815 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/11818/task/11819/stat : 11819 (toysat) S 11815 11818 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22839861 1357451264 58102 33554432000 4194304 16246674 140735269070096 140500421029104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11818/tid=11820] ppid=11815 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/11818/task/11820/stat : 11820 (toysat) S 11815 11818 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22839861 1357451264 58102 33554432000 4194304 16246674 140735269070096 140500410539248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11818/tid=11821] ppid=11815 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/11818/task/11821/stat : 11821 (toysat) S 11815 11818 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22839861 1357451264 58102 33554432000 4194304 16246674 140735269070096 140500325625008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1325636

[startup+6.30041 s]
/proc/loadavg: 2.09 2.04 1.75 4/183 11822
/proc/meminfo: memFree=29962976/32872528 swapFree=534252/566956
[pid=11818] ppid=11815 vsize=1325636 CPUtime=6.29 cores=0,2,4,6
/proc/11818/stat : 11818 (toysat) R 11815 11818 10353 0 -1 4202496 83812 0 0 0 619 10 0 0 20 0 4 0 22839861 1357451264 84621 33554432000 4194304 16246674 140735269070096 140735269051968 13943600 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11818/statm: 331409 84621 899 2943 0 328303 0
[pid=11818/tid=11819] ppid=11815 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/11818/task/11819/stat : 11819 (toysat) S 11815 11818 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22839861 1357451264 84621 33554432000 4194304 16246674 140735269070096 140500421029104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11818/tid=11820] ppid=11815 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/11818/task/11820/stat : 11820 (toysat) S 11815 11818 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22839861 1357451264 84621 33554432000 4194304 16246674 140735269070096 140500410539248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11818/tid=11821] ppid=11815 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/11818/task/11821/stat : 11821 (toysat) S 11815 11818 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22839861 1357451264 84621 33554432000 4194304 16246674 140735269070096 140500325625008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1325636

[startup+12.7004 s]
/proc/loadavg: 2.16 2.06 1.76 3/183 11822
/proc/meminfo: memFree=29480532/32872528 swapFree=534252/566956
[pid=11818] ppid=11815 vsize=1325636 CPUtime=12.68 cores=0,2,4,6
/proc/11818/stat : 11818 (toysat) R 11815 11818 10353 0 -1 4202496 115057 0 0 0 1254 14 0 0 20 0 4 0 22839861 1357451264 115866 33554432000 4194304 16246674 140735269070096 140735269051968 13780585 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11818/statm: 331409 115866 899 2943 0 328303 0
[pid=11818/tid=11819] ppid=11815 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/11818/task/11819/stat : 11819 (toysat) S 11815 11818 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22839861 1357451264 115866 33554432000 4194304 16246674 140735269070096 140500421029104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11818/tid=11820] ppid=11815 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/11818/task/11820/stat : 11820 (toysat) S 11815 11818 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22839861 1357451264 115866 33554432000 4194304 16246674 140735269070096 140500410539248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11818/tid=11821] ppid=11815 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/11818/task/11821/stat : 11821 (toysat) S 11815 11818 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22839861 1357451264 115866 33554432000 4194304 16246674 140735269070096 140500325625008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1325636

[startup+25.5005 s]
/proc/loadavg: 2.13 2.06 1.76 3/183 11822
/proc/meminfo: memFree=28011972/32872528 swapFree=534252/566956
[pid=11818] ppid=11815 vsize=1325636 CPUtime=25.49 cores=0,2,4,6
/proc/11818/stat : 11818 (toysat) R 11815 11818 10353 0 -1 4202496 115059 0 0 0 2534 15 0 0 20 0 4 0 22839861 1357451264 115868 33554432000 4194304 16246674 140735269070096 140735269051968 5722972 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11818/statm: 331409 115868 901 2943 0 328303 0
[pid=11818/tid=11819] ppid=11815 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/11818/task/11819/stat : 11819 (toysat) S 11815 11818 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22839861 1357451264 115868 33554432000 4194304 16246674 140735269070096 140500421029104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11818/tid=11820] ppid=11815 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/11818/task/11820/stat : 11820 (toysat) S 11815 11818 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22839861 1357451264 115868 33554432000 4194304 16246674 140735269070096 140500410539248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11818/tid=11821] ppid=11815 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/11818/task/11821/stat : 11821 (toysat) S 11815 11818 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22839861 1357451264 115868 33554432000 4194304 16246674 140735269070096 140500325625008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1325636

[startup+51.1005 s]
/proc/loadavg: 2.09 2.05 1.76 4/183 11822
/proc/meminfo: memFree=24494220/32872528 swapFree=534252/566956
[pid=11818] ppid=11815 vsize=1325636 CPUtime=51.08 cores=0,2,4,6
/proc/11818/stat : 11818 (toysat) R 11815 11818 10353 0 -1 4202496 130088 0 0 0 5090 18 0 0 20 0 4 0 22839861 1357451264 130897 33554432000 4194304 16246674 140735269070096 140735269051968 5711439 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11818/statm: 331409 130897 901 2943 0 328303 0
[pid=11818/tid=11819] ppid=11815 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/11818/task/11819/stat : 11819 (toysat) S 11815 11818 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22839861 1357451264 130897 33554432000 4194304 16246674 140735269070096 140500421029104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11818/tid=11820] ppid=11815 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/11818/task/11820/stat : 11820 (toysat) S 11815 11818 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22839861 1357451264 130897 33554432000 4194304 16246674 140735269070096 140500410539248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11818/tid=11821] ppid=11815 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/11818/task/11821/stat : 11821 (toysat) S 11815 11818 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22839861 1357451264 130897 33554432000 4194304 16246674 140735269070096 140500325625008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1325636

[startup+102.3 s]
/proc/loadavg: 2.03 2.04 1.77 3/184 11826
/proc/meminfo: memFree=18799676/32872528 swapFree=534252/566956
[pid=11818] ppid=11815 vsize=1325636 CPUtime=102.28 cores=0,2,4,6
/proc/11818/stat : 11818 (toysat) R 11815 11818 10353 0 -1 4202496 204110 0 0 0 10202 26 0 0 20 0 4 0 22839861 1357451264 204919 33554432000 4194304 16246674 140735269070096 140735269051904 5712608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11818/statm: 331409 204919 901 2943 0 328303 0
[pid=11818/tid=11819] ppid=11815 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/11818/task/11819/stat : 11819 (toysat) S 11815 11818 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22839861 1357451264 204919 33554432000 4194304 16246674 140735269070096 140500421029104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11818/tid=11820] ppid=11815 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/11818/task/11820/stat : 11820 (toysat) S 11815 11818 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22839861 1357451264 204919 33554432000 4194304 16246674 140735269070096 140500410539248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11818/tid=11821] ppid=11815 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/11818/task/11821/stat : 11821 (toysat) S 11815 11818 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22839861 1357451264 204919 33554432000 4194304 16246674 140735269070096 140500325625008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1325636


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

/proc/11818/task/11821/stat : 11821 (toysat) S 11815 11818 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22839861 1357451264 272915 33554432000 4194304 16246674 140735269070096 140500325625008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1325636

[startup+1362.3 s]
/proc/loadavg: 2.05 2.08 1.98 3/183 11881
/proc/meminfo: memFree=15158796/32872528 swapFree=534252/566956
[pid=11818] ppid=11815 vsize=1325636 CPUtime=1362.08 cores=0,2,4,6
/proc/11818/stat : 11818 (toysat) R 11815 11818 10353 0 -1 4202496 272106 0 0 0 136144 64 0 0 20 0 4 0 22839861 1357451264 272915 33554432000 4194304 16246674 140735269070096 140735269069272 5712756 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11818/statm: 331409 272915 907 2943 0 328303 0
[pid=11818/tid=11819] ppid=11815 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/11818/task/11819/stat : 11819 (toysat) S 11815 11818 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22839861 1357451264 272915 33554432000 4194304 16246674 140735269070096 140500421029104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11818/tid=11820] ppid=11815 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/11818/task/11820/stat : 11820 (toysat) S 11815 11818 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22839861 1357451264 272915 33554432000 4194304 16246674 140735269070096 140500410539248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11818/tid=11821] ppid=11815 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/11818/task/11821/stat : 11821 (toysat) S 11815 11818 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22839861 1357451264 272915 33554432000 4194304 16246674 140735269070096 140500325625008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1325636

[startup+1422.3 s]
/proc/loadavg: 2.02 2.06 1.98 3/183 11882
/proc/meminfo: memFree=15158820/32872528 swapFree=534252/566956
[pid=11818] ppid=11815 vsize=1325636 CPUtime=1422.08 cores=0,2,4,6
/proc/11818/stat : 11818 (toysat) R 11815 11818 10353 0 -1 4202496 272106 0 0 0 142144 64 0 0 20 0 4 0 22839861 1357451264 272915 33554432000 4194304 16246674 140735269070096 140735269051968 5712771 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11818/statm: 331409 272915 907 2943 0 328303 0
[pid=11818/tid=11819] ppid=11815 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/11818/task/11819/stat : 11819 (toysat) S 11815 11818 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22839861 1357451264 272915 33554432000 4194304 16246674 140735269070096 140500421029104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11818/tid=11820] ppid=11815 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/11818/task/11820/stat : 11820 (toysat) S 11815 11818 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22839861 1357451264 272915 33554432000 4194304 16246674 140735269070096 140500410539248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11818/tid=11821] ppid=11815 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/11818/task/11821/stat : 11821 (toysat) S 11815 11818 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22839861 1357451264 272915 33554432000 4194304 16246674 140735269070096 140500325625008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 1325636

[startup+1482.3 s]
/proc/loadavg: 2.00 2.05 1.98 3/183 11883
/proc/meminfo: memFree=15158380/32872528 swapFree=534252/566956
[pid=11818] ppid=11815 vsize=1325636 CPUtime=1482.07 cores=0,2,4,6
/proc/11818/stat : 11818 (toysat) R 11815 11818 10353 0 -1 4202496 272106 0 0 0 148142 65 0 0 20 0 4 0 22839861 1357451264 272915 33554432000 4194304 16246674 140735269070096 140735269051968 5712760 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11818/statm: 331409 272915 907 2943 0 328303 0
[pid=11818/tid=11819] ppid=11815 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/11818/task/11819/stat : 11819 (toysat) S 11815 11818 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22839861 1357451264 272915 33554432000 4194304 16246674 140735269070096 140500421029104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11818/tid=11820] ppid=11815 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/11818/task/11820/stat : 11820 (toysat) S 11815 11818 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22839861 1357451264 272915 33554432000 4194304 16246674 140735269070096 140500410539248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11818/tid=11821] ppid=11815 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/11818/task/11821/stat : 11821 (toysat) S 11815 11818 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22839861 1357451264 272915 33554432000 4194304 16246674 140735269070096 140500325625008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1482.07
Current children cumulated vsize (KiB) 1325636

[startup+1542.31 s]
/proc/loadavg: 2.14 2.07 1.99 3/182 11884
/proc/meminfo: memFree=15160288/32872528 swapFree=534252/566956
[pid=11818] ppid=11815 vsize=1325636 CPUtime=1542.06 cores=0,2,4,6
/proc/11818/stat : 11818 (toysat) R 11815 11818 10353 0 -1 4202496 272106 0 0 0 154141 65 0 0 20 0 4 0 22839861 1357451264 272915 33554432000 4194304 16246674 140735269070096 140735269051968 5712760 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11818/statm: 331409 272915 907 2943 0 328303 0
[pid=11818/tid=11819] ppid=11815 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/11818/task/11819/stat : 11819 (toysat) S 11815 11818 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22839861 1357451264 272915 33554432000 4194304 16246674 140735269070096 140500421029104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11818/tid=11820] ppid=11815 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/11818/task/11820/stat : 11820 (toysat) S 11815 11818 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22839861 1357451264 272915 33554432000 4194304 16246674 140735269070096 140500410539248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11818/tid=11821] ppid=11815 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/11818/task/11821/stat : 11821 (toysat) S 11815 11818 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22839861 1357451264 272915 33554432000 4194304 16246674 140735269070096 140500325625008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 1325636

[startup+1602.3 s]
/proc/loadavg: 2.11 2.07 2.00 3/183 11886
/proc/meminfo: memFree=15158948/32872528 swapFree=534252/566956
[pid=11818] ppid=11815 vsize=1325636 CPUtime=1602.05 cores=0,2,4,6
/proc/11818/stat : 11818 (toysat) R 11815 11818 10353 0 -1 4202496 272106 0 0 0 160139 66 0 0 20 0 4 0 22839861 1357451264 272915 33554432000 4194304 16246674 140735269070096 140735269051968 5711688 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11818/statm: 331409 272915 907 2943 0 328303 0
[pid=11818/tid=11819] ppid=11815 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/11818/task/11819/stat : 11819 (toysat) S 11815 11818 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22839861 1357451264 272915 33554432000 4194304 16246674 140735269070096 140500421029104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11818/tid=11820] ppid=11815 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/11818/task/11820/stat : 11820 (toysat) S 11815 11818 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22839861 1357451264 272915 33554432000 4194304 16246674 140735269070096 140500410539248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11818/tid=11821] ppid=11815 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/11818/task/11821/stat : 11821 (toysat) S 11815 11818 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22839861 1357451264 272915 33554432000 4194304 16246674 140735269070096 140500325625008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 1325636

[startup+1662.3 s]
/proc/loadavg: 2.08 2.07 2.00 3/183 11888
/proc/meminfo: memFree=15159296/32872528 swapFree=534252/566956
[pid=11818] ppid=11815 vsize=1325636 CPUtime=1662.04 cores=0,2,4,6
/proc/11818/stat : 11818 (toysat) R 11815 11818 10353 0 -1 4202496 272106 0 0 0 166137 67 0 0 20 0 4 0 22839861 1357451264 272915 33554432000 4194304 16246674 140735269070096 140735269051968 5712756 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11818/statm: 331409 272915 907 2943 0 328303 0
[pid=11818/tid=11819] ppid=11815 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/11818/task/11819/stat : 11819 (toysat) S 11815 11818 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22839861 1357451264 272915 33554432000 4194304 16246674 140735269070096 140500421029104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11818/tid=11820] ppid=11815 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/11818/task/11820/stat : 11820 (toysat) S 11815 11818 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22839861 1357451264 272915 33554432000 4194304 16246674 140735269070096 140500410539248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11818/tid=11821] ppid=11815 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/11818/task/11821/stat : 11821 (toysat) S 11815 11818 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22839861 1357451264 272915 33554432000 4194304 16246674 140735269070096 140500325625008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 1325636

[startup+1722.3 s]
/proc/loadavg: 2.08 2.07 2.00 3/183 11889
/proc/meminfo: memFree=15518988/32872528 swapFree=534252/566956
[pid=11818] ppid=11815 vsize=1325636 CPUtime=1722.03 cores=0,2,4,6
/proc/11818/stat : 11818 (toysat) R 11815 11818 10353 0 -1 4202496 272106 0 0 0 172136 67 0 0 20 0 4 0 22839861 1357451264 272915 33554432000 4194304 16246674 140735269070096 140735269051968 12483332 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11818/statm: 331409 272915 907 2943 0 328303 0
[pid=11818/tid=11819] ppid=11815 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/11818/task/11819/stat : 11819 (toysat) S 11815 11818 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22839861 1357451264 272915 33554432000 4194304 16246674 140735269070096 140500421029104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11818/tid=11820] ppid=11815 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/11818/task/11820/stat : 11820 (toysat) S 11815 11818 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22839861 1357451264 272915 33554432000 4194304 16246674 140735269070096 140500410539248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11818/tid=11821] ppid=11815 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/11818/task/11821/stat : 11821 (toysat) S 11815 11818 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22839861 1357451264 272915 33554432000 4194304 16246674 140735269070096 140500325625008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 1325636

[startup+1782.3 s]
/proc/loadavg: 2.14 2.08 2.01 3/183 11890
/proc/meminfo: memFree=15517900/32872528 swapFree=534252/566956
[pid=11818] ppid=11815 vsize=1325636 CPUtime=1782.02 cores=0,2,4,6
/proc/11818/stat : 11818 (toysat) R 11815 11818 10353 0 -1 4202496 272106 0 0 0 178135 67 0 0 20 0 4 0 22839861 1357451264 272915 33554432000 4194304 16246674 140735269070096 140735269051968 13943604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11818/statm: 331409 272915 907 2943 0 328303 0
[pid=11818/tid=11819] ppid=11815 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/11818/task/11819/stat : 11819 (toysat) S 11815 11818 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22839861 1357451264 272915 33554432000 4194304 16246674 140735269070096 140500421029104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11818/tid=11820] ppid=11815 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/11818/task/11820/stat : 11820 (toysat) S 11815 11818 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22839861 1357451264 272915 33554432000 4194304 16246674 140735269070096 140500410539248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11818/tid=11821] ppid=11815 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/11818/task/11821/stat : 11821 (toysat) S 11815 11818 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22839861 1357451264 272915 33554432000 4194304 16246674 140735269070096 140500325625008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 1325636



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.10 2.08 2.01 3/183 11890
/proc/meminfo: memFree=15518116/32872528 swapFree=534252/566956
[pid=11818] ppid=11815 vsize=1325636 CPUtime=1800.01 cores=0,2,4,6
/proc/11818/stat : 11818 (toysat) R 11815 11818 10353 0 -1 4202496 272106 0 0 0 179934 67 0 0 20 0 4 0 22839861 1357451264 272915 33554432000 4194304 16246674 140735269070096 140735269051968 5722960 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11818/statm: 331409 272915 907 2943 0 328303 0
[pid=11818/tid=11819] ppid=11815 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/11818/task/11819/stat : 11819 (toysat) S 11815 11818 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22839861 1357451264 272915 33554432000 4194304 16246674 140735269070096 140500421029104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11818/tid=11820] ppid=11815 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/11818/task/11820/stat : 11820 (toysat) S 11815 11818 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22839861 1357451264 272915 33554432000 4194304 16246674 140735269070096 140500410539248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11818/tid=11821] ppid=11815 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/11818/task/11821/stat : 11821 (toysat) S 11815 11818 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22839861 1357451264 272915 33554432000 4194304 16246674 140735269070096 140500325625008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1325636

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 11818 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.3 s]
/proc/loadavg: 2.10 2.08 2.01 3/183 11890
/proc/meminfo: memFree=15518116/32872528 swapFree=534252/566956
[pid=11818] ppid=11815 vsize=1325636 CPUtime=1800.01 cores=0,2,4,6
/proc/11818/stat : 11818 (toysat) R 11815 11818 10353 0 -1 4202496 272106 0 0 0 179934 67 0 0 20 0 4 0 22839861 1357451264 272915 33554432000 4194304 16246674 140735269070096 140735269051968 5722960 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11818/statm: 331409 272915 907 2943 0 328303 0
[pid=11818/tid=11819] ppid=11815 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/11818/task/11819/stat : 11819 (toysat) S 11815 11818 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22839861 1357451264 272915 33554432000 4194304 16246674 140735269070096 140500421029104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11818/tid=11820] ppid=11815 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/11818/task/11820/stat : 11820 (toysat) S 11815 11818 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22839861 1357451264 272915 33554432000 4194304 16246674 140735269070096 140500410539248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11818/tid=11821] ppid=11815 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/11818/task/11821/stat : 11821 (toysat) S 11815 11818 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22839861 1357451264 272915 33554432000 4194304 16246674 140735269070096 140500325625008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1325636

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.36
CPU time (s): 1800.08
CPU user time (s): 1799.35
CPU system time (s): 0.728889
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 1325636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.35
system time used= 0.728889
maximum resident set size= 1091660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272106
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= 18
involuntary context switches= 1860

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.82481 second user time and 8.01278 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-18 01:59:02
IDJOB=4099781
IDBENCH=1520
IDSOLVER=2542
FILE ID=node138/4099781-1466207942
RUNJOBID= node138-1466206053-10369
PBS_JOBID= 19918139
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-aflow40b.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4099781-1466207942/watcher-4099781-1466207942 -o /tmp/evaluation-result-4099781-1466207942/solver-4099781-1466207942 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466206053-10369 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4099781-1466207942.opb

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

MD5SUM BENCH= b1cb8dfc9613a6d80968091d3346a684
RANDOM SEED=675729372

node138.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.395
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.79
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.395
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.395
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.395
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.55
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.395
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.395
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.55
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.395
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.54
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.395
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30733108 kB
Buffers:           41520 kB
Cached:           100356 kB
SwapCached:         1056 kB
Active:           805152 kB
Inactive:          60240 kB
Active(anon):     724284 kB
Inactive(anon):     1192 kB
Active(file):      80868 kB
Inactive(file):    59048 kB
Unevictable:      566956 kB
Mlocked:          534252 kB
SwapTotal:      67108856 kB
SwapFree:       67099604 kB
Dirty:             33808 kB
Writeback:             0 kB
AnonPages:       1373060 kB
Mapped:             9860 kB
Shmem:                 0 kB
Slab:             573200 kB
SReclaimable:      17004 kB
SUnreclaim:       556196 kB
KernelStack:        1480 kB
PageTables:         6768 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1695696 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    120832 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= 71700 MiB
End job on node138 at 2016-06-18 02:29:03