Trace number 4093453

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.04 1800.41

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j3029_8-unsat--soft-33-100-0.wbo
MD5SUM94a4b61e4b099e692126d009e42b1552
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark770.562
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables4960
Total number of constraints16157
Number of soft constraints10743
Number of constraints which are clauses15841
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints316
Minimum length of a constraint1
Maximum length of a constraint30
Top cost 536531
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 536530
Biggest number in a constraint 19
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 201
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c 2016-06-16T16:33:52+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","--wbo","--search=bcd2","HOME/instance-4093453-1466087632.wbo"]
0.00/0.01	c use --random-gen="3464250095 2894373570 97074113 2055395017 38324743 2828635987 671556310 3467914495 1415450563 179410400 4081760889 7868218 2015226219 1804167528 685253410 703876684 2755881950 1183367167 2677949448 3180934851 3472948059 911738867 3257963814 436225767 613098464 2859012531 2656984065 3796453771 669646668 3544900130 1912544634 3226065881 2833890289 1093634218 2377776654 2533128139 3030561766 1610524994 2634690996 3958668390 674569666 1491080412 2223894183 2818494166 3203031633 2143431059 1540432309 3436286646 1339555106 2156692396 211670153 1029128376 3992524879 2662408552 1901942980 3652868405 1696588419 161137914 2721957344 3071170691 418027036 2753548794 823356976 1984627391 3322337479 2944115447 4197047581 1510536153 2948686876 3638646107 2831055954 960124568 558815650 3422733911 3840752004 2120588090 1787604230 1785350805 1265395536 2877544889 3131778146 3722681753 3361909754 3036798737 1734208273 1196234983 2390179541 3087886620 2125990090 3801399316 1423862312 939143537 3236324608 3881323667 3538559476 3587253057 2898789823 3794475037 4025789905 767527916 4129463140 75133039 1340060054 670267625 3337757249 2979365146 1097882940 3176645312 759129467 2864912436 231352082 1748636842 894228769 506009516 678565153 138690925 2381727850 4262887394 2859305730 1479180037 3735614468 1402766750 1962433483 352093217 682244400 2556265401 2842681553 2968397267 573405763 61839087 4259970353 2274393669 1533963512 2301132127 578998875 1938669542 2826679657 965869199 1203647750 351612371 1987160288 1769792643 2384215279 3684396690 2348300810 2199514032 2401358307 2352691098 879547697 1985035010 2012017692 554628832 1422413132 1890514336 1916062507 514441763 3688843413 3519002858 3376992842 625262271 1267454599 1555246168 1717676422 1086762855 455562647 2622669935 3113296207 1712494631 2539212577 257753143 1194666890 1793700739 1319633839 2804187577 4030947821 1270517889 3972540991 508377470 1878992409 2668027126 219024117 3687635674 3083623130 3677700927 825894509 3910124914 2697912412 187810756 4278148548 1825078778 2971542369 1857042652 2552154167 1143992390 3641847873 2293363074 2105155812 272718734 781186592 2933785667 273652399 1531550418 68980227 1982874312 1019406027 2367441496 2512607867 691712391 542550983 2634013478 3413919199 392143632 3959944885 1679700395 3561823578 1989861029 1253614054 3074684063 1724179414 151270073 2634383948 1647740547 700855370 3858201977 1716222346 1673231588 2897425449 2745667229 2022616564 846049721 2271408048 3189365096 3146475327 2971407426 3542517353 2385361375 3855469003 2050805009 3866965130 4275982392 98655710 363259060 2755066419 4169926829 568359245 651728558 2874637387 1281982854 3306909276 1705729536 2222484267 4164279429 2707539026 548753585 1947944932 1916563947 255 362436" option to reproduce the execution
2.19/2.30	c #vars 4960
2.19/2.30	c #constraints 16157
2.58/2.61	c BCD2: Hardening is enabled.
2.58/2.61	c BCD2: BiasedSearch is enabled.
2.58/2.61	c Solving starts ...
2.58/2.61	c ============================[ Search Statistics ]============================
2.58/2.61	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.58/2.61	c       |         |          |          |    Limit     GC | Var      | Constra 
2.58/2.61	c =============================================================================
2.58/2.61	c  0.0s |       0 |        0 |        0 |    10269      0 |      234 |        0
2.68/2.77	c  0.2s |       1 |    14214 |      100 |    10269      0 |      234 |      559
2.78/2.82	c  0.2s |       1 |    25124 |      100 |    10269      0 |      234 |      559
2.78/2.82	c #cpu_time = 0.192s
2.78/2.82	c #wall_clock_time = 0.193s
2.78/2.82	c #decision = 25124
2.78/2.82	c #random_decision = 100
2.78/2.82	c #conflict = 100
2.78/2.82	c #restart = 1
2.78/2.82	o 8308
2.78/2.84	c BCD2: updating upper bound: 540035 -> 11812
2.78/2.88	c BCD2: 0 <= obj <= 11812
2.78/2.88	c BCD2: #cores=0, #unrelaxed=10707, #relaxed=0, #hardened=0
2.78/2.88	c BCD2: #sat=1 #unsat=1 bias=1/2
2.78/2.88	c Solving starts ...
2.78/2.88	c ============================[ Search Statistics ]============================
2.78/2.88	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.78/2.88	c       |         |          |          |    Limit     GC | Var      | Constra 
2.78/2.88	c =============================================================================
2.78/2.88	c  0.0s |       0 |        0 |        0 |    10269      0 |      234 |      559
2.78/2.89	c  0.0s |       0 |        0 |        0 |    10269      0 |      234 |      559
2.78/2.89	c #cpu_time = 0.010s
2.78/2.89	c #wall_clock_time = 0.010s
2.78/2.89	c #decision = 0
2.78/2.89	c #random_decision = 0
2.78/2.89	c #conflict = 0
2.78/2.89	c #restart = 0
2.78/2.89	c BCD2: found a new core of size 1: cost of the new core is >=3505
2.78/2.89	c lower bound updated to 0
2.88/2.90	c BCD2: 3505 <= obj <= 11812
2.88/2.90	c BCD2: #cores=1, #unrelaxed=10706, #relaxed=1, #hardened=0
2.88/2.90	c BCD2: #sat=1 #unsat=2 bias=2/3
2.88/2.90	c Solving starts ...
2.88/2.90	c ============================[ Search Statistics ]============================
2.88/2.90	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.88/2.90	c       |         |          |          |    Limit     GC | Var      | Constra 
2.88/2.90	c =============================================================================
2.88/2.90	c  0.0s |       0 |        0 |        0 |    10269      0 |      234 |      559
2.98/3.01	c  0.1s |       1 |    10831 |      100 |    11296      0 |      234 |      559
3.18/3.25	c  0.3s |       2 |    21727 |      250 |    12426      0 |      234 |      559
3.58/3.68	c  0.8s |       3 |    32669 |      475 |    13669      0 |      234 |      559
4.18/4.23	c  1.3s |       4 |    43773 |      813 |    15036      0 |      234 |      559
5.18/5.26	c  2.4s |       5 |    55102 |     1320 |    16540      0 |      234 |      559
6.69/6.78	c  3.9s |       6 |    66737 |     2081 |    18194      0 |      234 |      559
8.79/8.86	c  6.0s |       6 |    78637 |     3081 |    18194      0 |      234 |      559
9.09/9.10	c  6.2s |       7 |    78815 |     3223 |    20014      0 |      234 |      559
11.10/11.14	c  8.2s |       7 |    90795 |     4223 |    20014      0 |      234 |      559
12.89/12.96	c 10.1s |       8 |    91660 |     4936 |    22016      0 |      234 |      559
15.08/15.10	c 12.2s |       8 |   103321 |     5736 |    22016      0 |      234 |      559
17.19/17.22	c 14.3s |       8 |   104235 |     6536 |    22016      0 |      234 |      559
19.48/19.56	c 16.7s |       8 |   105063 |     7236 |    22016      0 |      234 |      559
20.48/20.58	c 17.7s |       9 |   105389 |     7506 |    24218      0 |      234 |      559
22.59/22.65	c 19.8s |       9 |   116862 |     8106 |    24218      0 |      234 |      559
24.69/24.71	c 21.8s |       9 |   117905 |     8906 |    24218      0 |      234 |      559
26.78/26.87	c 24.0s |       9 |   120630 |     9506 |    24218      0 |      234 |      559
28.88/28.94	c 26.0s |       9 |   121254 |    10006 |    24218      0 |      234 |      559
31.28/31.30	c 28.4s |       9 |   121875 |    10506 |    24218      0 |      234 |      559
33.38/33.49	c 30.6s |       9 |   122521 |    11006 |    24218      0 |      234 |      559
35.18/35.22	c 32.3s |      10 |   122976 |    11361 |    26640      0 |      234 |      559
37.39/37.47	c 34.6s |      10 |   134018 |    11661 |    26640      0 |      234 |      559
39.79/39.81	c 36.9s |      10 |   134693 |    12161 |    26640      0 |      234 |      559
42.18/42.24	c 39.3s |      10 |   135352 |    12661 |    26640      0 |      234 |      559
44.29/44.39	c 41.5s |      10 |   135841 |    13061 |    26640      0 |      234 |      559
46.78/46.80	c 43.9s |      10 |   136582 |    13661 |    26640      0 |      234 |      559
48.98/49.08	c 46.2s |      10 |   137409 |    14361 |    26640      0 |      234 |      559
51.39/51.45	c 48.5s |      10 |   138287 |    15061 |    26640      0 |      234 |      559
53.88/54.00	c 51.1s |      10 |   138888 |    15561 |    26640      0 |      234 |      559
56.18/56.29	c 53.4s |      10 |   139368 |    15961 |    26640      0 |      234 |      559
58.58/58.66	c 55.8s |      10 |   139971 |    16461 |    26640      0 |      234 |      559
60.69/60.79	c 57.9s |      10 |   140465 |    16861 |    26640      0 |      234 |      559
61.88/61.94	c 59.0s |      11 |   140829 |    17144 |    29305      0 |      234 |      559
63.99/64.01	c 61.1s |      11 |   151885 |    17444 |    29305      0 |      234 |      559
66.09/66.20	c 63.3s |      11 |   152510 |    17944 |    29305      0 |      234 |      559
68.18/68.21	c 65.3s |      11 |   152992 |    18344 |    29305      0 |      234 |      559
68.98/69.06	c 66.2s |      11 |   153221 |    18520 |    29305      0 |      234 |      559
68.98/69.06	c #cpu_time = 65.986s
68.98/69.06	c #wall_clock_time = 66.156s
68.98/69.06	c #decision = 153221
68.98/69.06	c #random_decision = 5
68.98/69.06	c #conflict = 18520
68.98/69.06	c #restart = 11
68.98/69.07	c BCD2: found a new core of size 2658: cost of the new core is >=1
68.98/69.07	c lower bound updated to 1
68.98/69.08	c BCD2: 3506 <= obj <= 11812
68.98/69.08	c BCD2: #cores=2, #unrelaxed=8048, #relaxed=2659, #hardened=0
68.98/69.08	c BCD2: #sat=1 #unsat=3 bias=3/4
68.98/69.09	c Solving starts ...
68.98/69.09	c ============================[ Search Statistics ]============================
68.98/69.09	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
68.98/69.09	c       |         |          |          |    Limit     GC | Var      | Constra 
68.98/69.09	c =============================================================================
68.98/69.09	c  0.0s |       0 |        0 |        0 |    29305      0 |      234 |      559
69.98/70.09	c  1.0s |       0 |    12751 |       22 |    29305      0 |      234 |      559
69.98/70.09	c #cpu_time = 0.982s
69.98/70.09	c #wall_clock_time = 0.984s
69.98/70.09	c #decision = 12751
69.98/70.09	c #random_decision = 7
69.98/70.09	c #conflict = 22
69.98/70.09	c #restart = 0
69.98/70.09	o 1471
70.08/70.10	c BCD2: updating upper bound: 11812 -> 4975
70.08/70.15	c BCD2: 3506 <= obj <= 4975
70.08/70.15	c BCD2: #cores=2, #unrelaxed=8048, #relaxed=2659, #hardened=0
70.08/70.15	c BCD2: #sat=2 #unsat=3 bias=3/5
70.08/70.17	c Solving starts ...
70.08/70.17	c ============================[ Search Statistics ]============================
70.08/70.17	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
70.08/70.17	c       |         |          |          |    Limit     GC | Var      | Constra 
70.08/70.17	c =============================================================================
70.08/70.17	c  0.0s |       0 |        0 |        0 |    29305      0 |      234 |      560
71.28/71.36	c  1.2s |       1 |     9034 |      100 |    29305      0 |      234 |      560
73.67/73.76	c  3.6s |       2 |    17317 |      250 |    29305      0 |      234 |      560
76.18/76.25	c  6.1s |       2 |    25558 |      350 |    29305      0 |      234 |      560
77.58/77.62	c  7.4s |       3 |    25764 |      475 |    29305      0 |      234 |      560
80.68/80.77	c 10.6s |       3 |    33964 |      575 |    29305      0 |      234 |      560
82.98/83.02	c 12.8s |       3 |    34080 |      675 |    29305      0 |      234 |      560
84.98/85.08	c 14.9s |       4 |    34299 |      813 |    29305      0 |      234 |      560
87.68/87.73	c 17.6s |       4 |    42477 |      913 |    29305      0 |      234 |      560
90.68/90.71	c 20.5s |       4 |    42781 |     1113 |    29305      0 |      234 |      560
92.68/92.71	c 22.5s |       4 |    42923 |     1213 |    29305      0 |      234 |      560
94.38/94.47	c 24.3s |       5 |    43088 |     1320 |    29305      0 |      234 |      560
97.28/97.38	c 27.2s |       5 |    51322 |     1420 |    29305      0 |      234 |      560
100.97/101.01	c 30.8s |       5 |    51581 |     1620 |    29305      0 |      234 |      560
103.27/103.33	c 33.2s |       5 |    51694 |     1720 |    29305      0 |      234 |      560
105.27/105.39	c 35.2s |       5 |    51814 |     1820 |    29305      0 |      234 |      560
107.98/108.01	c 37.8s |       5 |    51931 |     1920 |    29305      0 |      234 |      560
110.37/110.43	c 40.3s |       5 |    52056 |     2020 |    29305      0 |      234 |      560
112.47/112.50	c 42.3s |       6 |    52123 |     2081 |    29305      0 |      234 |      560
115.47/115.58	c 45.4s |       6 |    60308 |     2181 |    29305      0 |      234 |      560
119.17/119.21	c 49.0s |       6 |    60578 |     2381 |    29305      0 |      234 |      560
121.47/121.53	c 51.4s |       6 |    60716 |     2481 |    29305      0 |      234 |      560
123.77/123.87	c 53.7s |       6 |    60834 |     2581 |    29305      0 |      234 |      560
125.97/126.02	c 55.8s |       6 |    60970 |     2681 |    29305      0 |      234 |      560
129.88/129.92	c 59.7s |       6 |    61249 |     2881 |    29305      0 |      234 |      560
132.37/132.42	c 62.2s |       6 |    61363 |     2981 |    29305      0 |      234 |      560
134.87/134.96	c 64.8s |       6 |    61499 |     3081 |    29305      0 |      234 |      560
137.07/137.13	c 67.0s |       6 |    61630 |     3181 |    29305      0 |      234 |      560
138.17/138.27	c 68.1s |       7 |    61669 |     3223 |    29305      0 |      234 |      560
140.27/140.32	c 70.1s |       7 |    70556 |     3423 |    29305      0 |      234 |      560
143.47/143.54	c 73.4s |       7 |    71079 |     3723 |    29305      0 |      234 |      560
146.27/146.31	c 76.1s |       7 |    71389 |     3923 |    29305      0 |      234 |      560
148.97/149.03	c 78.9s |       7 |    71736 |     4123 |    29305      0 |      234 |      560
151.76/151.82	c 81.6s |       7 |    72135 |     4323 |    29305      0 |      234 |      560
154.56/154.66	c 84.5s |       7 |    72467 |     4523 |    29305      0 |      234 |      560
157.86/157.90	c 87.7s |       7 |    72785 |     4723 |    29305      0 |      234 |      560
159.86/159.99	c 89.8s |       7 |    73150 |     4923 |    29305      0 |      234 |      560
160.06/160.14	c 90.0s |       8 |    73170 |     4936 |    29305      0 |      234 |      560
162.66/162.72	c 92.5s |       8 |    81381 |     5036 |    29305      0 |      234 |      560
164.66/164.73	c 94.6s |       8 |    81519 |     5136 |    29305      0 |      234 |      560
167.06/167.14	c 97.0s |       8 |    81634 |     5236 |    29305      0 |      234 |      560
171.06/171.17	c  100s |       8 |    81913 |     5436 |    29305      0 |      234 |      560
174.16/174.29	c  104s |       8 |    82056 |     5536 |    29305      0 |      234 |      560
177.36/177.47	c  107s |       8 |    82219 |     5636 |    29305      0 |      234 |      560
180.06/180.11	c  109s |       8 |    82356 |     5736 |    29305      0 |      234 |      560
184.16/184.23	c  114s |       8 |    82634 |     5936 |    29305      0 |      234 |      560
186.96/187.08	c  116s |       8 |    82778 |     6036 |    29305      0 |      234 |      560
190.26/190.40	c  120s |       8 |    82901 |     6136 |    29305      0 |      234 |      560
192.66/192.78	c  122s |       8 |    83036 |     6228 |    29305      0 |      234 |      560
192.66/192.78	c #cpu_time = 122.276s
192.66/192.78	c #wall_clock_time = 122.590s
192.66/192.78	c #decision = 83036
192.66/192.78	c #random_decision = 7
192.66/192.78	c #conflict = 6228
192.66/192.78	c #restart = 8
192.66/192.78	o 480
192.66/192.78	c BCD2: updating upper bound: 4975 -> 3984
192.76/192.84	c BCD2: 3506 <= obj <= 3984
192.76/192.84	c BCD2: #cores=2, #unrelaxed=8048, #relaxed=2659, #hardened=0
192.76/192.84	c BCD2: #sat=3 #unsat=3 bias=3/6
192.76/192.85	c Solving starts ...
192.76/192.85	c ============================[ Search Statistics ]============================
192.76/192.85	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
192.76/192.85	c       |         |          |          |    Limit     GC | Var      | Constra 
192.76/192.85	c =============================================================================
192.76/192.86	c  0.0s |       0 |        0 |        0 |    29305      0 |      234 |      561
205.55/205.67	c 12.8s |       0 |     8150 |      100 |    29305      0 |      234 |      561
205.55/205.67	c 12.8s |       1 |     8150 |      100 |    29305      0 |      234 |      561
207.05/207.14	c 14.3s |       2 |    16875 |      250 |    29305      0 |      234 |      561
212.75/212.85	c 20.0s |       2 |    25189 |      350 |    29305      0 |      234 |      561
221.95/222.02	c 29.2s |       2 |    25356 |      450 |    29305      0 |      234 |      561
223.95/224.09	c 31.2s |       3 |    25401 |      475 |    29305      0 |      234 |      561
232.16/232.22	c 39.4s |       3 |    33601 |      575 |    29305      0 |      234 |      561
242.95/243.02	c 50.2s |       3 |    33790 |      675 |    29305      0 |      234 |      561
253.55/253.70	c 60.8s |       3 |    33904 |      775 |    29305      0 |      234 |      561
257.95/258.04	c 65.2s |       4 |    33951 |      813 |    32236      0 |      234 |      561
260.86/260.98	c 68.1s |       4 |    42899 |     1013 |    32236      0 |      234 |      561
263.15/263.23	c 70.4s |       4 |    43230 |     1213 |    32236      0 |      234 |      561
264.35/264.42	c 71.6s |       5 |    43594 |     1320 |    32236      0 |      234 |      561
269.35/269.48	c 76.6s |       5 |    51923 |     1420 |    32236      0 |      234 |      561
277.35/277.43	c 84.6s |       5 |    52057 |     1520 |    32236      0 |      234 |      561
284.95/285.09	c 92.2s |       5 |    52238 |     1620 |    32236      0 |      234 |      561
292.14/292.29	c 99.4s |       5 |    52390 |     1720 |    32236      0 |      234 |      561
300.54/300.62	c  107s |       5 |    52551 |     1820 |    32236      0 |      234 |      561
311.54/311.66	c  118s |       5 |    52699 |     1920 |    32236      0 |      234 |      561
323.34/323.45	c  130s |       5 |    52859 |     2020 |    32236      0 |      234 |      561
328.94/329.02	c  136s |       6 |    52945 |     2081 |    32236      0 |      234 |      561
338.03/338.15	c  145s |       6 |    61143 |     2181 |    32236      0 |      234 |      561
347.64/347.71	c  154s |       6 |    61274 |     2281 |    32236      0 |      234 |      561
354.63/354.78	c  161s |       6 |    61419 |     2381 |    32236      0 |      234 |      561
362.04/362.17	c  169s |       6 |    61606 |     2481 |    32236      0 |      234 |      561
369.53/369.61	c  176s |       6 |    61745 |     2581 |    32236      0 |      234 |      561
376.43/376.52	c  183s |       6 |    61892 |     2681 |    32236      0 |      234 |      561
385.83/385.98	c  193s |       6 |    62045 |     2781 |    32236      0 |      234 |      561
394.23/394.34	c  201s |       6 |    62178 |     2881 |    32236      0 |      234 |      561
400.63/400.79	c  207s |       6 |    62362 |     2981 |    32236      0 |      234 |      561
406.82/406.90	c  214s |       6 |    62490 |     3081 |    32236      0 |      234 |      561
413.12/413.22	c  220s |       6 |    62623 |     3181 |    32236      0 |      234 |      561
415.72/415.88	c  223s |       7 |    62693 |     3223 |    32236      0 |      234 |      561
422.02/422.15	c  229s |       7 |    70886 |     3323 |    32236      0 |      234 |      561
428.52/428.69	c  235s |       7 |    71017 |     3423 |    32236      0 |      234 |      561
437.42/437.55	c  244s |       7 |    71176 |     3523 |    32236      0 |      234 |      561
445.82/445.91	c  253s |       7 |    71336 |     3623 |    32236      0 |      234 |      561
455.02/455.12	c  262s |       7 |    71477 |     3723 |    32236      0 |      234 |      561
462.21/462.30	c  269s |       7 |    71630 |     3823 |    32236      0 |      234 |      561
472.51/472.61	c  279s |       7 |    71827 |     3923 |    32236      0 |      234 |      561
484.31/484.48	c  291s |       7 |    71976 |     4023 |    32236      0 |      234 |      561
493.21/493.32	c  300s |       7 |    72107 |     4123 |    32236      0 |      234 |      561
501.11/501.26	c  308s |       7 |    72246 |     4223 |    32236      0 |      234 |      561
509.81/509.90	c  317s |       7 |    72375 |     4323 |    32236      0 |      234 |      561
521.20/521.38	c  328s |       7 |    72499 |     4423 |    32236      0 |      234 |      561
528.60/528.71	c  335s |       7 |    72660 |     4523 |    32236      0 |      234 |      561
534.70/534.89	c  342s |       7 |    72802 |     4623 |    32236      0 |      234 |      561
542.69/542.81	c  349s |       7 |    72947 |     4723 |    32236      0 |      234 |      561
551.10/551.28	c  358s |       7 |    73117 |     4823 |    32236      0 |      234 |      561
557.09/557.29	c  364s |       7 |    73267 |     4923 |    32236      0 |      234 |      561
558.59/558.73	c  365s |       8 |    73275 |     4936 |    32236      0 |      234 |      561
567.59/567.74	c  374s |       8 |    81519 |     5036 |    32236      0 |      234 |      561
576.68/576.87	c  384s |       8 |    81630 |     5136 |    32236      0 |      234 |      561
587.18/587.35	c  394s |       8 |    81740 |     5236 |    32236      0 |      234 |      561
598.39/598.60	c  405s |       8 |    81870 |     5336 |    32236      0 |      234 |      561
610.28/610.40	c  417s |       8 |    81998 |     5436 |    32236      0 |      234 |      561
622.37/622.55	c  429s |       8 |    82137 |     5536 |    32236      0 |      234 |      561
631.48/631.61	c  438s |       8 |    82254 |     5636 |    32236      0 |      234 |      561
642.38/642.59	c  449s |       8 |    82360 |     5736 |    32236      0 |      234 |      561
652.47/652.66	c  459s |       8 |    82479 |     5836 |    32236      0 |      234 |      561
662.18/662.36	c  469s |       8 |    82603 |     5936 |    32236      0 |      234 |      561
672.27/672.47	c  479s |       8 |    82756 |     6036 |    32236      0 |      234 |      561
681.77/681.98	c  489s |       8 |    82883 |     6136 |    32236      0 |      234 |      561
691.36/691.59	c  498s |       8 |    83023 |     6236 |    32236      0 |      234 |      561
700.96/701.19	c  508s |       8 |    83161 |     6336 |    32236      0 |      234 |      561
712.16/712.30	c  519s |       8 |    83280 |     6436 |    32236      0 |      234 |      561
724.65/724.82	c  531s |       8 |    83394 |     6536 |    32236      0 |      234 |      561
735.35/735.51	c  542s |       8 |    83595 |     6636 |    32236      0 |      234 |      561
746.15/746.32	c  553s |       8 |    83728 |     6736 |    32236      0 |      234 |      561
757.34/757.53	c  564s |       8 |    83838 |     6836 |    32236      0 |      234 |      561
773.93/774.17	c  581s |       8 |    83983 |     6936 |    32236      0 |      234 |      561
787.73/787.94	c  595s |       8 |    84126 |     7036 |    32236      0 |      234 |      561
798.22/798.43	c  605s |       8 |    84283 |     7136 |    32236      0 |      234 |      561
809.11/809.33	c  616s |       8 |    84428 |     7236 |    32236      0 |      234 |      561
820.11/820.38	c  627s |       8 |    84544 |     7336 |    32236      0 |      234 |      561
830.51/830.71	c  637s |       8 |    84656 |     7436 |    32236      0 |      234 |      561
836.69/836.98	c  644s |       9 |    84759 |     7506 |    32236      0 |      234 |      561
846.89/847.19	c  654s |       9 |    92967 |     7606 |    32236      0 |      234 |      561
860.38/860.61	c  667s |       9 |    93087 |     7706 |    32236      0 |      234 |      561
870.17/870.46	c  677s |       9 |    93211 |     7806 |    32236      0 |      234 |      561
882.66/882.96	c  690s |       9 |    93328 |     7906 |    32236      0 |      234 |      561
892.36/892.64	c  699s |       9 |    93453 |     8006 |    32236      0 |      234 |      561
907.76/908.09	c  715s |       9 |    93575 |     8106 |    32236      0 |      234 |      561
918.46/918.75	c  725s |       9 |    93700 |     8206 |    32236      0 |      234 |      561
930.56/930.83	c  737s |       9 |    93835 |     8306 |    32236      0 |      234 |      561
939.85/940.17	c  747s |       9 |    93951 |     8406 |    32236      0 |      234 |      561
952.35/952.66	c  759s |       9 |    94108 |     8506 |    32236      0 |      234 |      561
968.65/968.95	c  776s |       9 |    94229 |     8606 |    32236      0 |      234 |      561
982.85/983.11	c  790s |       9 |    94349 |     8706 |    32236      0 |      234 |      561
996.64/996.97	c  804s |       9 |    94482 |     8806 |    32236      0 |      234 |      561
1009.44/1009.71	c  816s |       9 |    94601 |     8906 |    32236      0 |      234 |      561
1023.84/1024.16	c  831s |       9 |    94720 |     9006 |    32236      0 |      234 |      561
1037.34/1037.62	c  844s |       9 |    94845 |     9106 |    32236      0 |      234 |      561
1044.44/1044.73	c  851s |       9 |    94969 |     9206 |    32236      0 |      234 |      561
1054.23/1054.59	c  861s |       9 |    95082 |     9306 |    32236      0 |      234 |      561
1065.63/1065.91	c  873s |       9 |    95201 |     9406 |    32236      0 |      234 |      561
1073.54/1073.85	c  880s |       9 |    95337 |     9506 |    32236      0 |      234 |      561
1082.73/1083.05	c  890s |       9 |    95462 |     9606 |    32236      0 |      234 |      561
1093.63/1093.94	c  901s |       9 |    95594 |     9706 |    32236      0 |      234 |      561
1104.93/1105.23	c  912s |       9 |    95746 |     9806 |    32236      0 |      234 |      561
1119.02/1119.30	c  926s |       9 |    95909 |     9906 |    32236      0 |      234 |      561
1129.53/1129.83	c  936s |       9 |    96064 |    10006 |    32236      0 |      234 |      561
1139.92/1140.28	c  947s |       9 |    96185 |    10106 |    32236      0 |      234 |      561
1149.02/1149.33	c  956s |       9 |    96322 |    10206 |    32236      0 |      234 |      561
1157.72/1158.09	c  965s |       9 |    96453 |    10306 |    32236      0 |      234 |      561
1170.02/1170.34	c  977s |       9 |    96619 |    10406 |    32236      0 |      234 |      561
1180.42/1180.76	c  987s |       9 |    96775 |    10506 |    32236      0 |      234 |      561
1191.51/1191.80	c  998s |       9 |    96947 |    10606 |    32236      0 |      234 |      561
1201.21/1201.53	c 1008s |       9 |    97088 |    10706 |    32236      0 |      234 |      561
1212.12/1212.46	c 1019s |       9 |    97230 |    10806 |    32236      0 |      234 |      561
1222.21/1222.51	c 1029s |       9 |    97356 |    10906 |    32236      0 |      234 |      561
1230.11/1230.45	c 1037s |       9 |    97485 |    11006 |    32236      0 |      234 |      561
1246.61/1246.95	c 1054s |       9 |    97604 |    11106 |    32236      0 |      234 |      561
1254.80/1255.14	c 1062s |       9 |    97761 |    11206 |    32236      0 |      234 |      561
1263.30/1263.68	c 1070s |       9 |    97885 |    11306 |    32236      0 |      234 |      561
1266.70/1267.04	c 1074s |      10 |    97967 |    11361 |    32236      0 |      234 |      561
1280.61/1280.98	c 1088s |      10 |   106155 |    11461 |    32236      1 |      234 |      561
1292.91/1293.26	c 1100s |      10 |   106269 |    11561 |    32236      1 |      234 |      561
1305.70/1306.00	c 1113s |      10 |   106417 |    11661 |    32236      1 |      234 |      561
1316.80/1317.18	c 1124s |      10 |   106549 |    11761 |    32236      1 |      234 |      561
1331.20/1331.58	c 1138s |      10 |   106683 |    11861 |    32236      1 |      234 |      561
1344.90/1345.21	c 1152s |      10 |   106800 |    11961 |    32236      1 |      234 |      561
1353.70/1354.07	c 1161s |      10 |   106939 |    12061 |    32236      1 |      234 |      561
1362.29/1362.63	c 1169s |      10 |   107058 |    12161 |    32236      1 |      234 |      561
1371.39/1371.71	c 1178s |      10 |   107193 |    12261 |    32236      1 |      234 |      561
1379.69/1380.00	c 1187s |      10 |   107319 |    12361 |    32236      1 |      234 |      561
1388.59/1388.94	c 1196s |      10 |   107452 |    12461 |    32236      1 |      234 |      561
1396.39/1396.74	c 1203s |      10 |   107579 |    12561 |    32236      1 |      234 |      561
1408.29/1408.64	c 1215s |      10 |   107728 |    12661 |    32236      1 |      234 |      561
1414.49/1414.81	c 1221s |      10 |   107874 |    12761 |    32236      1 |      234 |      561
1422.89/1423.20	c 1230s |      10 |   108043 |    12861 |    32236      1 |      234 |      561
1433.38/1433.73	c 1240s |      10 |   108162 |    12961 |    32236      1 |      234 |      561
1441.78/1442.13	c 1249s |      10 |   108299 |    13061 |    32236      1 |      234 |      561
1452.89/1453.24	c 1260s |      10 |   108444 |    13161 |    32236      1 |      234 |      561
1462.38/1462.73	c 1269s |      10 |   108566 |    13261 |    32236      1 |      234 |      561
1470.78/1471.16	c 1278s |      10 |   108690 |    13361 |    32236      1 |      234 |      561
1482.68/1483.01	c 1290s |      10 |   108812 |    13461 |    32236      1 |      234 |      561
1494.17/1494.51	c 1301s |      10 |   108934 |    13561 |    32236      1 |      234 |      561
1503.48/1503.84	c 1310s |      10 |   109059 |    13661 |    32236      1 |      234 |      561
1513.97/1514.34	c 1321s |      10 |   109226 |    13761 |    35460      1 |      234 |      561
1526.47/1526.85	c 1333s |      10 |   109383 |    13861 |    35460      1 |      234 |      561
1535.67/1536.03	c 1343s |      10 |   109579 |    13961 |    35460      1 |      234 |      561
1545.67/1546.09	c 1353s |      10 |   109714 |    14061 |    35460      1 |      234 |      561
1559.26/1559.63	c 1366s |      10 |   109845 |    14161 |    35460      1 |      234 |      561
1567.06/1567.46	c 1374s |      10 |   109985 |    14261 |    35460      1 |      234 |      561
1578.16/1578.54	c 1385s |      10 |   110126 |    14361 |    35460      1 |      234 |      561
1592.26/1592.61	c 1399s |      10 |   110258 |    14461 |    35460      1 |      234 |      561
1604.56/1604.96	c 1412s |      10 |   110404 |    14561 |    35460      1 |      234 |      561
1618.06/1618.48	c 1425s |      10 |   110536 |    14661 |    35460      1 |      234 |      561
1630.35/1630.72	c 1437s |      10 |   110663 |    14761 |    35460      1 |      234 |      561
1646.15/1646.51	c 1453s |      10 |   110781 |    14861 |    35460      1 |      234 |      561
1660.25/1660.61	c 1467s |      10 |   110907 |    14961 |    35460      1 |      234 |      561
1677.95/1678.31	c 1485s |      10 |   111076 |    15061 |    35460      1 |      234 |      561
1690.55/1690.91	c 1498s |      10 |   111222 |    15161 |    35460      1 |      234 |      561
1703.24/1703.68	c 1510s |      10 |   111368 |    15261 |    35460      1 |      234 |      561
1716.74/1717.12	c 1524s |      10 |   111510 |    15361 |    35460      1 |      234 |      561
1730.05/1730.44	c 1537s |      10 |   111653 |    15461 |    35460      1 |      234 |      561
1743.74/1744.15	c 1551s |      10 |   111803 |    15561 |    35460      1 |      234 |      561
1760.94/1761.32	c 1568s |      10 |   111912 |    15661 |    35460      1 |      234 |      561
1771.53/1771.96	c 1579s |      10 |   112046 |    15761 |    35460      1 |      234 |      561
1781.13/1781.59	c 1588s |      10 |   112194 |    15861 |    35460      1 |      234 |      561
1789.83/1790.26	c 1597s |      10 |   112329 |    15961 |    35460      1 |      234 |      561
1796.53/1796.94	c 1604s |      10 |   112476 |    16061 |    35460      1 |      234 |      561

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-4093453-1466087632/watcher-4093453-1466087632 -o /tmp/evaluation-result-4093453-1466087632/solver-4093453-1466087632 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1466075273-12744 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093453-1466087632.wbo 

pid=14274
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 14277
/proc/meminfo: memFree=30436428/32872528 swapFree=302776/319128
[pid=14277] ppid=14274 vsize=753084 CPUtime=0 cores=1,3,5,7
/proc/14277/stat : 14277 (toysat) R 14274 14277 7942 0 -1 4202496 2813 0 0 0 0 0 0 0 20 0 4 0 10809806 771158016 2663 33554432000 4194304 16246674 140736537669456 140736537668880 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14277/statm: 188783 2674 441 2943 0 185677 0
[pid=14277/tid=14278] ppid=14274 vsize=770492 CPUtime=0 cores=1,3,5,7
/proc/14277/task/14278/stat : 14278 (toysat) S 14274 14277 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10809806 788983808 2731 33554432000 4194304 16246674 140736537669456 140162307697904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14277/tid=14279] ppid=14274 vsize=774588 CPUtime=0 cores=1,3,5,7
/proc/14277/task/14279/stat : 14279 (toysat) S 14274 14277 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10809806 793178112 2748 33554432000 4194304 16246674 140736537669456 140162297208048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14277/tid=14280] ppid=14274 vsize=778684 CPUtime=0 cores=1,3,5,7
/proc/14277/task/14280/stat : 14280 (toysat) S 14274 14277 7942 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10809806 797372416 2766 33554432000 4194304 16246674 140736537669456 140162286734512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100182 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 14277
/proc/meminfo: memFree=30436428/32872528 swapFree=302776/319128
[pid=14277] ppid=14274 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/14277/stat : 14277 (toysat) R 14274 14277 7942 0 -1 4202496 24872 0 0 0 5 4 0 0 20 0 4 0 10809806 1333334016 24662 33554432000 4194304 16246674 140736537669456 140736537668768 8057278 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14277/statm: 325521 24677 800 2943 0 322415 0
[pid=14277/tid=14278] ppid=14274 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/14277/task/14278/stat : 14278 (toysat) S 14274 14277 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10809806 1333334016 24688 33554432000 4194304 16246674 140736537669456 140162307697904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14277/tid=14279] ppid=14274 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/14277/task/14279/stat : 14279 (toysat) S 14274 14277 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10809806 1333334016 24699 33554432000 4194304 16246674 140736537669456 140162297208048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14277/tid=14280] ppid=14274 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/14277/task/14280/stat : 14280 (toysat) S 14274 14277 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10809806 1333334016 24709 33554432000 4194304 16246674 140736537669456 140162286734512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200504 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 14277
/proc/meminfo: memFree=30436428/32872528 swapFree=302776/319128
[pid=14277] ppid=14274 vsize=1310276 CPUtime=0.19 cores=1,3,5,7
/proc/14277/stat : 14277 (toysat) R 14274 14277 7942 0 -1 4202496 44820 0 0 0 13 6 0 0 20 0 4 0 10809806 1341722624 44610 33554432000 4194304 16246674 140736537669456 140736537668768 6970025 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14277/statm: 327569 44610 824 2943 0 324463 0
[pid=14277/tid=14278] ppid=14274 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/14277/task/14278/stat : 14278 (toysat) S 14274 14277 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10809806 1341722624 44610 33554432000 4194304 16246674 140736537669456 140162307697904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14277/tid=14279] ppid=14274 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/14277/task/14279/stat : 14279 (toysat) S 14274 14277 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10809806 1341722624 44610 33554432000 4194304 16246674 140736537669456 140162297208048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14277/tid=14280] ppid=14274 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/14277/task/14280/stat : 14280 (toysat) S 14274 14277 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10809806 1341722624 44610 33554432000 4194304 16246674 140736537669456 140162286734512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1310276

[startup+0.300489 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 14277
/proc/meminfo: memFree=30436428/32872528 swapFree=302776/319128
[pid=14277] ppid=14274 vsize=1310276 CPUtime=0.29 cores=1,3,5,7
/proc/14277/stat : 14277 (toysat) R 14274 14277 7942 0 -1 4202496 44830 0 0 0 23 6 0 0 20 0 4 0 10809806 1341722624 44620 33554432000 4194304 16246674 140736537669456 140736537668768 12457604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14277/statm: 327569 44620 832 2943 0 324463 0
[pid=14277/tid=14278] ppid=14274 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/14277/task/14278/stat : 14278 (toysat) S 14274 14277 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10809806 1341722624 44620 33554432000 4194304 16246674 140736537669456 140162307697904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14277/tid=14279] ppid=14274 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/14277/task/14279/stat : 14279 (toysat) S 14274 14277 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10809806 1341722624 44620 33554432000 4194304 16246674 140736537669456 140162297208048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14277/tid=14280] ppid=14274 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/14277/task/14280/stat : 14280 (toysat) S 14274 14277 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10809806 1341722624 44620 33554432000 4194304 16246674 140736537669456 140162286734512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1310276

[startup+0.700456 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 14277
/proc/meminfo: memFree=30436428/32872528 swapFree=302776/319128
[pid=14277] ppid=14274 vsize=1310276 CPUtime=0.68 cores=1,3,5,7
/proc/14277/stat : 14277 (toysat) R 14274 14277 7942 0 -1 4202496 120706 0 0 0 53 15 0 0 20 0 4 0 10809806 1341722624 120496 33554432000 4194304 16246674 140736537669456 140736537651328 6145278 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14277/statm: 327569 120505 838 2943 0 324463 0
[pid=14277/tid=14278] ppid=14274 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/14277/task/14278/stat : 14278 (toysat) S 14274 14277 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10809806 1341722624 120511 33554432000 4194304 16246674 140736537669456 140162307697904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14277/tid=14279] ppid=14274 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/14277/task/14279/stat : 14279 (toysat) S 14274 14277 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10809806 1341722624 120515 33554432000 4194304 16246674 140736537669456 140162297208048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14277/tid=14280] ppid=14274 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/14277/task/14280/stat : 14280 (toysat) S 14274 14277 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10809806 1341722624 120522 33554432000 4194304 16246674 140736537669456 140162286734512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1310276

[startup+1.50046 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 14281
/proc/meminfo: memFree=29562056/32872528 swapFree=302776/319128
[pid=14277] ppid=14274 vsize=1320516 CPUtime=1.49 cores=1,3,5,7
/proc/14277/stat : 14277 (toysat) R 14274 14277 7942 0 -1 4202496 271208 0 0 0 113 36 0 0 20 0 4 0 10809806 1352208384 270999 33554432000 4194304 16246674 140736537669456 140736537651328 4221016 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14277/statm: 330129 271003 838 2943 0 327023 0
[pid=14277/tid=14278] ppid=14274 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/14277/task/14278/stat : 14278 (toysat) S 14274 14277 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10809806 1352208384 271006 33554432000 4194304 16246674 140736537669456 140162307697904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14277/tid=14279] ppid=14274 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/14277/task/14279/stat : 14279 (toysat) S 14274 14277 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10809806 1352208384 271009 33554432000 4194304 16246674 140736537669456 140162297208048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14277/tid=14280] ppid=14274 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/14277/task/14280/stat : 14280 (toysat) S 14274 14277 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10809806 1352208384 271011 33554432000 4194304 16246674 140736537669456 140162286734512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1320516

[startup+3.10042 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 14281
/proc/meminfo: memFree=29338360/32872528 swapFree=302776/319128
[pid=14277] ppid=14274 vsize=1334852 CPUtime=3.08 cores=1,3,5,7
/proc/14277/stat : 14277 (toysat) R 14274 14277 7942 0 -1 4202496 274942 0 0 0 272 36 0 0 20 0 4 0 10809806 1366888448 274732 33554432000 4194304 16246674 140736537669456 140736537651328 13965609 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14277/statm: 333713 274732 934 2943 0 330607 0
[pid=14277/tid=14278] ppid=14274 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/14277/task/14278/stat : 14278 (toysat) S 14274 14277 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10809806 1366888448 274732 33554432000 4194304 16246674 140736537669456 140162307697904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14277/tid=14279] ppid=14274 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/14277/task/14279/stat : 14279 (toysat) S 14274 14277 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10809806 1366888448 274732 33554432000 4194304 16246674 140736537669456 140162297208048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14277/tid=14280] ppid=14274 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/14277/task/14280/stat : 14280 (toysat) S 14274 14277 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10809806 1366888448 274732 33554432000 4194304 16246674 140736537669456 140162286734512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1334852

[startup+6.30046 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 14281
/proc/meminfo: memFree=29338412/32872528 swapFree=302776/319128
[pid=14277] ppid=14274 vsize=1334852 CPUtime=6.28 cores=1,3,5,7
/proc/14277/stat : 14277 (toysat) R 14274 14277 7942 0 -1 4202496 274942 0 0 0 592 36 0 0 20 0 4 0 10809806 1366888448 274732 33554432000 4194304 16246674 140736537669456 140736537668632 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14277/statm: 333713 274732 934 2943 0 330607 0
[pid=14277/tid=14278] ppid=14274 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/14277/task/14278/stat : 14278 (toysat) S 14274 14277 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10809806 1366888448 274732 33554432000 4194304 16246674 140736537669456 140162307697904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14277/tid=14279] ppid=14274 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/14277/task/14279/stat : 14279 (toysat) S 14274 14277 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10809806 1366888448 274732 33554432000 4194304 16246674 140736537669456 140162297208048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14277/tid=14280] ppid=14274 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/14277/task/14280/stat : 14280 (toysat) S 14274 14277 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10809806 1366888448 274732 33554432000 4194304 16246674 140736537669456 140162286734512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1334852

[startup+12.7004 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 14281
/proc/meminfo: memFree=29338172/32872528 swapFree=302776/319128
[pid=14277] ppid=14274 vsize=1334852 CPUtime=12.69 cores=1,3,5,7
/proc/14277/stat : 14277 (toysat) R 14274 14277 7942 0 -1 4202496 274943 0 0 0 1232 37 0 0 20 0 4 0 10809806 1366888448 274733 33554432000 4194304 16246674 140736537669456 140736537668632 5827972 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14277/statm: 333713 274733 935 2943 0 330607 0
[pid=14277/tid=14278] ppid=14274 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/14277/task/14278/stat : 14278 (toysat) S 14274 14277 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10809806 1366888448 274733 33554432000 4194304 16246674 140736537669456 140162307697904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14277/tid=14279] ppid=14274 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/14277/task/14279/stat : 14279 (toysat) S 14274 14277 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10809806 1366888448 274733 33554432000 4194304 16246674 140736537669456 140162297208048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14277/tid=14280] ppid=14274 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/14277/task/14280/stat : 14280 (toysat) S 14274 14277 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10809806 1366888448 274733 33554432000 4194304 16246674 140736537669456 140162286734512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1334852

[startup+25.5075 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 14281
/proc/meminfo: memFree=29338572/32872528 swapFree=302776/319128
[pid=14277] ppid=14274 vsize=1334852 CPUtime=25.49 cores=1,3,5,7
/proc/14277/stat : 14277 (toysat) R 14274 14277 7942 0 -1 4202496 274943 0 0 0 2510 39 0 0 20 0 4 0 10809806 1366888448 274733 33554432000 4194304 16246674 140736537669456 140736537668632 5546098 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14277/statm: 333713 274733 935 2943 0 330607 0
[pid=14277/tid=14278] ppid=14274 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/14277/task/14278/stat : 14278 (toysat) S 14274 14277 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10809806 1366888448 274733 33554432000 4194304 16246674 140736537669456 140162307697904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14277/tid=14279] ppid=14274 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/14277/task/14279/stat : 14279 (toysat) S 14274 14277 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10809806 1366888448 274733 33554432000 4194304 16246674 140736537669456 140162297208048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14277/tid=14280] ppid=14274 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/14277/task/14280/stat : 14280 (toysat) S 14274 14277 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10809806 1366888448 274733 33554432000 4194304 16246674 140736537669456 140162286734512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1334852

[startup+51.1004 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 14281
/proc/meminfo: memFree=29338576/32872528 swapFree=302776/319128
[pid=14277] ppid=14274 vsize=1334852 CPUtime=51.08 cores=1,3,5,7
/proc/14277/stat : 14277 (toysat) R 14274 14277 7942 0 -1 4202496 274943 0 0 0 5065 43 0 0 20 0 4 0 10809806 1366888448 274733 33554432000 4194304 16246674 140736537669456 140736537668632 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14277/statm: 333713 274733 935 2943 0 330607 0
[pid=14277/tid=14278] ppid=14274 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/14277/task/14278/stat : 14278 (toysat) S 14274 14277 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10809806 1366888448 274733 33554432000 4194304 16246674 140736537669456 140162307697904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14277/tid=14279] ppid=14274 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/14277/task/14279/stat : 14279 (toysat) S 14274 14277 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10809806 1366888448 274733 33554432000 4194304 16246674 140736537669456 140162297208048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14277/tid=14280] ppid=14274 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/14277/task/14280/stat : 14280 (toysat) S 14274 14277 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10809806 1366888448 274733 33554432000 4194304 16246674 140736537669456 140162286734512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1334852

[startup+102.3 s]
/proc/loadavg: 2.13 2.04 2.01 3/183 14283
/proc/meminfo: memFree=29338208/32872528 swapFree=302776/319128
[pid=14277] ppid=14274 vsize=1334852 CPUtime=102.27 cores=1,3,5,7
/proc/14277/stat : 14277 (toysat) R 14274 14277 7942 0 -1 4202496 274945 0 0 0 10182 45 0 0 20 0 4 0 10809806 1366888448 274735 33554432000 4194304 16246674 140736537669456 140736537651328 5712760 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14277/statm: 333713 274735 937 2943 0 330607 0
[pid=14277/tid=14278] ppid=14274 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/14277/task/14278/stat : 14278 (toysat) S 14274 14277 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10809806 1366888448 274735 33554432000 4194304 16246674 140736537669456 140162307697904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14277/tid=14279] ppid=14274 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/14277/task/14279/stat : 14279 (toysat) S 14274 14277 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10809806 1366888448 274735 33554432000 4194304 16246674 140736537669456 140162297208048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14277/tid=14280] ppid=14274 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/14277/task/14280/stat : 14280 (toysat) S 14274 14277 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10809806 1366888448 274735 33554432000 4194304 16246674 140736537669456 140162286734512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1334852


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

/proc/14277/task/14280/stat : 14280 (toysat) S 14274 14277 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10809806 1366888448 274991 33554432000 4194304 16246674 140736537669456 140162286734512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 1334852

[startup+1362.3 s]
/proc/loadavg: 2.04 2.08 2.03 4/183 14461
/proc/meminfo: memFree=28781016/32872528 swapFree=302776/319128
[pid=14277] ppid=14274 vsize=1334852 CPUtime=1362 cores=1,3,5,7
/proc/14277/stat : 14277 (toysat) R 14274 14277 7942 0 -1 4202496 275083 0 0 0 136153 47 0 0 20 0 4 0 10809806 1366888448 274991 33554432000 4194304 16246674 140736537669456 140736537651328 5712760 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14277/statm: 333713 274991 937 2943 0 330607 0
[pid=14277/tid=14278] ppid=14274 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/14277/task/14278/stat : 14278 (toysat) S 14274 14277 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10809806 1366888448 274991 33554432000 4194304 16246674 140736537669456 140162307697904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14277/tid=14279] ppid=14274 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/14277/task/14279/stat : 14279 (toysat) S 14274 14277 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10809806 1366888448 274991 33554432000 4194304 16246674 140736537669456 140162297208048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14277/tid=14280] ppid=14274 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/14277/task/14280/stat : 14280 (toysat) S 14274 14277 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10809806 1366888448 274991 33554432000 4194304 16246674 140736537669456 140162286734512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 1334852

[startup+1422.3 s]
/proc/loadavg: 2.11 2.09 2.04 3/183 14462
/proc/meminfo: memFree=28676756/32872528 swapFree=302776/319128
[pid=14277] ppid=14274 vsize=1334852 CPUtime=1421.99 cores=1,3,5,7
/proc/14277/stat : 14277 (toysat) R 14274 14277 7942 0 -1 4202496 275083 0 0 0 142152 47 0 0 20 0 4 0 10809806 1366888448 274991 33554432000 4194304 16246674 140736537669456 140736537651328 5711496 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14277/statm: 333713 274991 937 2943 0 330607 0
[pid=14277/tid=14278] ppid=14274 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/14277/task/14278/stat : 14278 (toysat) S 14274 14277 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10809806 1366888448 274991 33554432000 4194304 16246674 140736537669456 140162307697904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14277/tid=14279] ppid=14274 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/14277/task/14279/stat : 14279 (toysat) S 14274 14277 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10809806 1366888448 274991 33554432000 4194304 16246674 140736537669456 140162297208048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14277/tid=14280] ppid=14274 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/14277/task/14280/stat : 14280 (toysat) S 14274 14277 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10809806 1366888448 274991 33554432000 4194304 16246674 140736537669456 140162286734512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 1334852

[startup+1482.3 s]
/proc/loadavg: 2.12 2.09 2.04 3/183 14463
/proc/meminfo: memFree=28597796/32872528 swapFree=302776/319128
[pid=14277] ppid=14274 vsize=1334852 CPUtime=1481.98 cores=1,3,5,7
/proc/14277/stat : 14277 (toysat) R 14274 14277 7942 0 -1 4202496 275083 0 0 0 148151 47 0 0 20 0 4 0 10809806 1366888448 274991 33554432000 4194304 16246674 140736537669456 140736537651328 5712672 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14277/statm: 333713 274991 937 2943 0 330607 0
[pid=14277/tid=14278] ppid=14274 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/14277/task/14278/stat : 14278 (toysat) S 14274 14277 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10809806 1366888448 274991 33554432000 4194304 16246674 140736537669456 140162307697904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14277/tid=14279] ppid=14274 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/14277/task/14279/stat : 14279 (toysat) S 14274 14277 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10809806 1366888448 274991 33554432000 4194304 16246674 140736537669456 140162297208048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14277/tid=14280] ppid=14274 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/14277/task/14280/stat : 14280 (toysat) S 14274 14277 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10809806 1366888448 274991 33554432000 4194304 16246674 140736537669456 140162286734512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 1334852

[startup+1542.3 s]
/proc/loadavg: 2.09 2.09 2.04 3/183 14464
/proc/meminfo: memFree=28476528/32872528 swapFree=302776/319128
[pid=14277] ppid=14274 vsize=1334852 CPUtime=1541.97 cores=1,3,5,7
/proc/14277/stat : 14277 (toysat) R 14274 14277 7942 0 -1 4202496 275083 0 0 0 154150 47 0 0 20 0 4 0 10809806 1366888448 274991 33554432000 4194304 16246674 140736537669456 140736537651328 13943600 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14277/statm: 333713 274991 937 2943 0 330607 0
[pid=14277/tid=14278] ppid=14274 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/14277/task/14278/stat : 14278 (toysat) S 14274 14277 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10809806 1366888448 274991 33554432000 4194304 16246674 140736537669456 140162307697904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14277/tid=14279] ppid=14274 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/14277/task/14279/stat : 14279 (toysat) S 14274 14277 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10809806 1366888448 274991 33554432000 4194304 16246674 140736537669456 140162297208048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14277/tid=14280] ppid=14274 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/14277/task/14280/stat : 14280 (toysat) S 14274 14277 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10809806 1366888448 274991 33554432000 4194304 16246674 140736537669456 140162286734512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 1334852

[startup+1602.3 s]
/proc/loadavg: 2.03 2.07 2.03 3/183 14468
/proc/meminfo: memFree=28433784/32872528 swapFree=302776/319128
[pid=14277] ppid=14274 vsize=1334852 CPUtime=1601.96 cores=1,3,5,7
/proc/14277/stat : 14277 (toysat) R 14274 14277 7942 0 -1 4202496 275083 0 0 0 160149 47 0 0 20 0 4 0 10809806 1366888448 274991 33554432000 4194304 16246674 140736537669456 140736537651328 5712756 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14277/statm: 333713 274991 937 2943 0 330607 0
[pid=14277/tid=14278] ppid=14274 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/14277/task/14278/stat : 14278 (toysat) S 14274 14277 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10809806 1366888448 274991 33554432000 4194304 16246674 140736537669456 140162307697904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14277/tid=14279] ppid=14274 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/14277/task/14279/stat : 14279 (toysat) S 14274 14277 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10809806 1366888448 274991 33554432000 4194304 16246674 140736537669456 140162297208048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14277/tid=14280] ppid=14274 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/14277/task/14280/stat : 14280 (toysat) S 14274 14277 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10809806 1366888448 274991 33554432000 4194304 16246674 140736537669456 140162286734512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 1334852

[startup+1662.31 s]
/proc/loadavg: 2.01 2.05 2.03 3/184 14493
/proc/meminfo: memFree=28391260/32872528 swapFree=302776/319128
[pid=14277] ppid=14274 vsize=1334852 CPUtime=1661.96 cores=1,3,5,7
/proc/14277/stat : 14277 (toysat) R 14274 14277 7942 0 -1 4202496 275083 0 0 0 166149 47 0 0 20 0 4 0 10809806 1366888448 274991 33554432000 4194304 16246674 140736537669456 140736537651328 5711496 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14277/statm: 333713 274991 937 2943 0 330607 0
[pid=14277/tid=14278] ppid=14274 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/14277/task/14278/stat : 14278 (toysat) S 14274 14277 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10809806 1366888448 274991 33554432000 4194304 16246674 140736537669456 140162307697904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14277/tid=14279] ppid=14274 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/14277/task/14279/stat : 14279 (toysat) S 14274 14277 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10809806 1366888448 274991 33554432000 4194304 16246674 140736537669456 140162297208048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14277/tid=14280] ppid=14274 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/14277/task/14280/stat : 14280 (toysat) S 14274 14277 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10809806 1366888448 274991 33554432000 4194304 16246674 140736537669456 140162286734512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 1334852

[startup+1722.3 s]
/proc/loadavg: 2.20 2.09 2.04 3/183 14494
/proc/meminfo: memFree=28336872/32872528 swapFree=302776/319128
[pid=14277] ppid=14274 vsize=1334852 CPUtime=1721.94 cores=1,3,5,7
/proc/14277/stat : 14277 (toysat) R 14274 14277 7942 0 -1 4202496 275083 0 0 0 172147 47 0 0 20 0 4 0 10809806 1366888448 274991 33554432000 4194304 16246674 140736537669456 140736537651328 5712760 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14277/statm: 333713 274991 937 2943 0 330607 0
[pid=14277/tid=14278] ppid=14274 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/14277/task/14278/stat : 14278 (toysat) S 14274 14277 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10809806 1366888448 274991 33554432000 4194304 16246674 140736537669456 140162307697904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14277/tid=14279] ppid=14274 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/14277/task/14279/stat : 14279 (toysat) S 14274 14277 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10809806 1366888448 274991 33554432000 4194304 16246674 140736537669456 140162297208048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14277/tid=14280] ppid=14274 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/14277/task/14280/stat : 14280 (toysat) S 14274 14277 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10809806 1366888448 274991 33554432000 4194304 16246674 140736537669456 140162286734512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 1334852

[startup+1782.3 s]
/proc/loadavg: 2.11 2.08 2.04 3/183 14495
/proc/meminfo: memFree=28287672/32872528 swapFree=302776/319128
[pid=14277] ppid=14274 vsize=1334852 CPUtime=1781.93 cores=1,3,5,7
/proc/14277/stat : 14277 (toysat) R 14274 14277 7942 0 -1 4202496 275083 0 0 0 178146 47 0 0 20 0 4 0 10809806 1366888448 274991 33554432000 4194304 16246674 140736537669456 140736537651328 5711338 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14277/statm: 333713 274991 937 2943 0 330607 0
[pid=14277/tid=14278] ppid=14274 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/14277/task/14278/stat : 14278 (toysat) S 14274 14277 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10809806 1366888448 274991 33554432000 4194304 16246674 140736537669456 140162307697904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14277/tid=14279] ppid=14274 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/14277/task/14279/stat : 14279 (toysat) S 14274 14277 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10809806 1366888448 274991 33554432000 4194304 16246674 140736537669456 140162297208048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14277/tid=14280] ppid=14274 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/14277/task/14280/stat : 14280 (toysat) S 14274 14277 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10809806 1366888448 274991 33554432000 4194304 16246674 140736537669456 140162286734512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 1334852



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.08 2.08 2.03 3/183 14496
/proc/meminfo: memFree=28265924/32872528 swapFree=302776/319128
[pid=14277] ppid=14274 vsize=1334852 CPUtime=1800.03 cores=1,3,5,7
/proc/14277/stat : 14277 (toysat) R 14274 14277 7942 0 -1 4202496 275083 0 0 0 179956 47 0 0 20 0 4 0 10809806 1366888448 274991 33554432000 4194304 16246674 140736537669456 140736537651328 13781168 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14277/statm: 333713 274991 937 2943 0 330607 0
[pid=14277/tid=14278] ppid=14274 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/14277/task/14278/stat : 14278 (toysat) S 14274 14277 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10809806 1366888448 274991 33554432000 4194304 16246674 140736537669456 140162307697904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14277/tid=14279] ppid=14274 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/14277/task/14279/stat : 14279 (toysat) S 14274 14277 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10809806 1366888448 274991 33554432000 4194304 16246674 140736537669456 140162297208048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14277/tid=14280] ppid=14274 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/14277/task/14280/stat : 14280 (toysat) S 14274 14277 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10809806 1366888448 274991 33554432000 4194304 16246674 140736537669456 140162286734512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1334852

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

[startup+1800.4 s]
/proc/loadavg: 2.08 2.08 2.03 3/183 14496
/proc/meminfo: memFree=28265924/32872528 swapFree=302776/319128
[pid=14277] ppid=14274 vsize=1334852 CPUtime=1800.03 cores=1,3,5,7
/proc/14277/stat : 14277 (toysat) R 14274 14277 7942 0 -1 4202496 275083 0 0 0 179956 47 0 0 20 0 4 0 10809806 1366888448 274991 33554432000 4194304 16246674 140736537669456 140736537651328 13781168 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14277/statm: 333713 274991 937 2943 0 330607 0
[pid=14277/tid=14278] ppid=14274 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/14277/task/14278/stat : 14278 (toysat) S 14274 14277 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10809806 1366888448 274991 33554432000 4194304 16246674 140736537669456 140162307697904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14277/tid=14279] ppid=14274 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/14277/task/14279/stat : 14279 (toysat) S 14274 14277 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10809806 1366888448 274991 33554432000 4194304 16246674 140736537669456 140162297208048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14277/tid=14280] ppid=14274 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/14277/task/14280/stat : 14280 (toysat) S 14274 14277 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10809806 1366888448 274991 33554432000 4194304 16246674 140736537669456 140162286734512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1334852

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.04
CPU user time (s): 1799.57
CPU system time (s): 0.471928
CPU usage (%): 99.9795
Max. virtual memory (cumulated for all children) (KiB): 1334852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.57
system time used= 0.471928
maximum resident set size= 1099964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275083
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= 152
involuntary context switches= 1839

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.02663 second user time and 11.6452 second system time

The end

Launcher Data 

Begin job on node128 at 2016-06-16 16:33:52
IDJOB=4093453
IDBENCH=79070
IDSOLVER=2553
FILE ID=node128/4093453-1466087632
RUNJOBID= node128-1466075273-12744
PBS_JOBID= 19904011
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/normalized-j3029_8-unsat--soft-33-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093453-1466087632/watcher-4093453-1466087632 -o /tmp/evaluation-result-4093453-1466087632/solver-4093453-1466087632 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1466075273-12744 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093453-1466087632.wbo

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

MD5SUM BENCH= 94a4b61e4b099e692126d009e42b1552
RANDOM SEED=1120606755

node128.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.768
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.53
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.768
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.768
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.56
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.768
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.768
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.57
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.768
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.768
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.56
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.768
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:        30436692 kB
Buffers:           36348 kB
Cached:           102988 kB
SwapCached:         2104 kB
Active:          1355172 kB
Inactive:          60000 kB
Active(anon):    1276464 kB
Inactive(anon):     1596 kB
Active(file):      78708 kB
Inactive(file):    58404 kB
Unevictable:      319128 kB
Mlocked:          302776 kB
SwapTotal:      67108856 kB
SwapFree:       67098960 kB
Dirty:             16904 kB
Writeback:             4 kB
AnonPages:       1594180 kB
Mapped:            10616 kB
Shmem:                 0 kB
Slab:             567820 kB
SReclaimable:      11536 kB
SUnreclaim:       556284 kB
KernelStack:        1504 kB
PageTables:         7376 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1738900 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1284096 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= 71712 MiB
End job on node128 at 2016-06-16 17:03:52