Trace number 4080061

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.1 1800.43

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_luby_10null20mast_rapportOE1.0_TMAX300_K192_cod2.opb
MD5SUMecfb37e57149da15322fff965cafdd0d
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-25670
Best CPU time to get the best result obtained on this benchmark1800.7
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables400896
Total number of constraints402763
Number of constraints which are clauses400785
Number of constraints which are cardinality constraints (but not clauses)194
Number of constraints which are nor clauses,nor cardinality constraints1784
Minimum length of a constraint2
Maximum length of a constraint58023
Number of terms in the objective function 1605
Biggest coefficient in the objective function 1024
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 370126
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 1024
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 370126
Number of bits of the biggest sum of numbers19
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-07T11:53:54+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-4080061-1465293233.opb"]
0.00/0.01	c use --random-gen="3894123215 2061612020 2836461996 251951386 1842879554 439355751 3739661011 3120702721 1093970698 428251889 1921775809 1326491945 4190895781 1468872499 1541640021 3410748280 3399174582 1018316982 2467837301 1047084528 1192555192 4007199288 3883122098 3191584131 3794988124 1146306815 1359684541 1548283409 2374106699 824179895 2560772917 931333795 110638506 3438911288 1813796943 1840346997 3342970876 158870125 2782231887 3654303500 4045759490 1157698837 167487512 2310681119 3253172451 1887307901 1553515959 3655381669 487958252 3875312612 3246153034 3775507804 1348664881 671679344 635803119 1855815378 3906111683 2930204923 3860483351 2581359868 3502659768 270222769 3921351769 205056265 28259993 2002086922 3897017440 513723642 2883621726 1973765277 3768499050 4195897959 692075432 1784490268 2752787060 1320149555 82832242 2474412628 3187319466 4156686071 3292091453 2881154439 1129599629 415997419 3854917394 108756113 3430514340 790402589 2169424375 108913124 1036983981 2360597720 2791160998 113482340 2761340741 1216035034 2533264330 3182861407 778838267 2530046221 3744819401 1603418432 2142948727 2978151136 708798914 3586831919 3574936936 1419199487 2612446258 3399659657 3497335310 4070650127 908188359 1037328394 3336746512 136373374 1483178602 944011668 399339185 731510585 3558211813 1210846594 2091154361 2933761816 1840865365 978077478 1235009993 436113409 1212166580 1648192643 3228298317 3141424708 268836098 1313548563 800892097 2692507803 2967912779 3788012376 3330028491 4148384355 2335304300 1263582619 842021705 2553878243 437996385 2482921771 2230973948 20813897 2057819760 1023132925 55007211 1325437968 3098522771 136225962 2574478930 2357969291 4136270993 2473046041 1913244241 2113759773 1464783379 3871989397 1908916749 11657796 185907054 3601267792 1379775447 248209581 2257875760 33160388 3250235523 146352334 166841399 4175049775 2277184465 3431349924 111757960 922348401 2630829572 2190296877 2118045289 2873581072 534916356 1126378929 2726307858 1144896934 1792917789 3740045005 3758015404 829658040 4160818574 1343480615 3690362684 1422814893 3427576042 610460787 1526734667 1010244092 1363239329 1225059455 3951908657 1856622406 1132027890 210798446 995777158 4184655763 3516906077 369169384 3930971175 377304478 2876744871 2206076006 2835019059 4171836155 4152944538 1651543978 1114594231 227614958 358647086 2116088082 2047726768 3153625594 1194156132 2098126395 3237816384 2906543630 504960694 3214987624 3759380869 1513680605 1515235102 971058020 346162541 3371238565 2788358337 3610158803 1968106731 2156323049 2999300536 3683072610 2013916700 557661832 2394216469 671090992 4264086931 650550359 4265372315 4270438191 2425620092 3472726570 2507914758 4163090522 807120345 29428901 2571102026 3387954218 255 362436" option to reproduce the execution
4.78/4.86	c #vars 400896
4.78/4.86	c #constraints 402763
13.79/13.85	c BCD2: Hardening is enabled.
13.79/13.85	c BCD2: BiasedSearch is enabled.
13.79/13.85	c Solving starts ...
13.79/13.85	c ============================[ Search Statistics ]============================
13.79/13.85	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
13.79/13.85	c       |         |          |          |    Limit     GC | Var      | Constra 
13.79/13.85	c =============================================================================
13.79/13.86	c  0.0s |       0 |        0 |        0 |   267886      0 |        0 |        0
17.39/17.41	c  3.6s |       0 |       20 |        1 |   267886      0 |       19 |       19
17.39/17.41	c #cpu_time = 3.266s
17.39/17.41	c #wall_clock_time = 3.274s
17.39/17.41	c #decision = 20
17.39/17.41	c #random_decision = 0
17.39/17.41	c #conflict = 1
17.39/17.41	c #restart = 0
17.39/17.41	o 0
17.39/17.41	c BCD2: updating upper bound: 370126 -> 370125
17.39/17.41	c BCD2: 0 <= obj <= 370125
17.39/17.41	c BCD2: #cores=0, #unrelaxed=1605, #relaxed=0, #hardened=0
17.39/17.41	c BCD2: #sat=1 #unsat=1 bias=1/2
17.39/17.41	c Solving starts ...
17.39/17.41	c ============================[ Search Statistics ]============================
17.39/17.41	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
17.39/17.41	c       |         |          |          |    Limit     GC | Var      | Constra 
17.39/17.41	c =============================================================================
17.39/17.42	c  0.0s |       0 |        0 |        0 |   267886      0 |       19 |       19
17.88/17.97	c  0.6s |       0 |      103 |        0 |   267886      0 |       19 |       19
17.88/17.97	c #cpu_time = 0.518s
17.88/17.97	c #wall_clock_time = 0.519s
17.88/17.97	c #decision = 103
17.88/17.97	c #random_decision = 0
17.88/17.97	c #conflict = 0
17.88/17.97	c #restart = 0
17.88/17.97	c BCD2: found a new core of size 102: cost of the new core is >=1
17.88/17.97	c lower bound updated to -370125
17.88/17.97	c BCD2: 1 <= obj <= 370125
17.88/17.97	c BCD2: #cores=1, #unrelaxed=1503, #relaxed=102, #hardened=0
17.88/17.97	c BCD2: #sat=1 #unsat=2 bias=2/3
17.98/18.05	c Solving starts ...
17.98/18.05	c ============================[ Search Statistics ]============================
17.98/18.05	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
17.98/18.05	c       |         |          |          |    Limit     GC | Var      | Constra 
17.98/18.05	c =============================================================================
17.98/18.05	c  0.0s |       0 |        0 |        0 |   267886      0 |       19 |       19
18.38/18.43	c  0.4s |       0 |      104 |        1 |   267886      0 |       19 |       19
18.38/18.43	c #cpu_time = 0.377s
18.38/18.43	c #wall_clock_time = 0.378s
18.38/18.43	c #decision = 104
18.38/18.43	c #random_decision = 0
18.38/18.43	c #conflict = 1
18.38/18.43	c #restart = 0
18.38/18.43	c BCD2: relaxing 103 and merging with 1 cores into a new core of size 205: cost of the new core is >=2
18.38/18.43	c lower bound updated to -370124
18.38/18.43	c BCD2: 2 <= obj <= 370125
18.38/18.43	c BCD2: #cores=1, #unrelaxed=1400, #relaxed=205, #hardened=0
18.38/18.43	c BCD2: #sat=1 #unsat=3 bias=3/4
18.38/18.43	c Solving starts ...
18.38/18.43	c ============================[ Search Statistics ]============================
18.38/18.43	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
18.38/18.43	c       |         |          |          |    Limit     GC | Var      | Constra 
18.38/18.43	c =============================================================================
18.38/18.44	c  0.0s |       0 |        0 |        0 |   267886      0 |       20 |       19
18.79/18.84	c  0.4s |       0 |       90 |        1 |   267886      0 |       20 |       20
18.79/18.84	c #cpu_time = 0.391s
18.79/18.84	c #wall_clock_time = 0.392s
18.79/18.84	c #decision = 90
18.79/18.84	c #random_decision = 0
18.79/18.84	c #conflict = 1
18.79/18.84	c #restart = 0
18.79/18.84	c BCD2: relaxing 89 and merging with 1 cores into a new core of size 294: cost of the new core is >=3
18.79/18.84	c lower bound updated to -370123
18.79/18.84	c BCD2: 3 <= obj <= 370125
18.79/18.84	c BCD2: #cores=1, #unrelaxed=1311, #relaxed=294, #hardened=0
18.79/18.84	c BCD2: #sat=1 #unsat=4 bias=4/5
18.98/19.05	c Solving starts ...
18.98/19.05	c ============================[ Search Statistics ]============================
18.98/19.05	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
18.98/19.05	c       |         |          |          |    Limit     GC | Var      | Constra 
18.98/19.05	c =============================================================================
18.98/19.05	c  0.0s |       0 |        0 |        0 |   267886      0 |       21 |       20
19.38/19.45	c  0.4s |       0 |      102 |        1 |   267886      0 |       21 |       21
19.38/19.45	c #cpu_time = 0.394s
19.38/19.45	c #wall_clock_time = 0.395s
19.38/19.45	c #decision = 102
19.38/19.45	c #random_decision = 0
19.38/19.45	c #conflict = 1
19.38/19.45	c #restart = 0
19.38/19.45	c BCD2: relaxing 99 and merging with 1 cores into a new core of size 393: cost of the new core is >=4
19.38/19.45	c lower bound updated to -370122
19.38/19.45	c BCD2: 4 <= obj <= 370125
19.38/19.45	c BCD2: #cores=1, #unrelaxed=1212, #relaxed=393, #hardened=0
19.38/19.45	c BCD2: #sat=1 #unsat=5 bias=5/6
19.48/19.51	c Solving starts ...
19.48/19.51	c ============================[ Search Statistics ]============================
19.48/19.51	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
19.48/19.51	c       |         |          |          |    Limit     GC | Var      | Constra 
19.48/19.51	c =============================================================================
19.48/19.51	c  0.0s |       0 |        0 |        0 |   267886      0 |       22 |       21
19.89/19.95	c  0.4s |       0 |      104 |        1 |   267886      0 |       22 |       22
19.89/19.95	c #cpu_time = 0.434s
19.89/19.95	c #wall_clock_time = 0.435s
19.89/19.95	c #decision = 104
19.89/19.95	c #random_decision = 0
19.89/19.95	c #conflict = 1
19.89/19.95	c #restart = 0
19.89/19.95	c BCD2: relaxing 99 and merging with 1 cores into a new core of size 492: cost of the new core is >=5
19.89/19.95	c lower bound updated to -370121
19.89/19.96	c BCD2: 5 <= obj <= 370125
19.89/19.96	c BCD2: #cores=1, #unrelaxed=1113, #relaxed=492, #hardened=0
19.89/19.96	c BCD2: #sat=1 #unsat=6 bias=6/7
19.98/20.07	c Solving starts ...
19.98/20.07	c ============================[ Search Statistics ]============================
19.98/20.07	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
19.98/20.07	c       |         |          |          |    Limit     GC | Var      | Constra 
19.98/20.07	c =============================================================================
19.98/20.07	c  0.0s |       0 |        0 |        0 |   267886      0 |       23 |       22
20.38/20.49	c  0.4s |       0 |      102 |        1 |   267886      0 |       23 |       23
20.38/20.49	c #cpu_time = 0.411s
20.38/20.49	c #wall_clock_time = 0.412s
20.38/20.49	c #decision = 102
20.38/20.49	c #random_decision = 0
20.38/20.49	c #conflict = 1
20.38/20.49	c #restart = 0
20.38/20.49	c BCD2: relaxing 101 and merging with 1 cores into a new core of size 593: cost of the new core is >=6
20.38/20.49	c lower bound updated to -370120
20.48/20.50	c BCD2: 6 <= obj <= 370125
20.48/20.50	c BCD2: #cores=1, #unrelaxed=1012, #relaxed=593, #hardened=0
20.48/20.50	c BCD2: #sat=1 #unsat=7 bias=7/8
21.08/21.19	c Solving starts ...
21.08/21.19	c ============================[ Search Statistics ]============================
21.08/21.19	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
21.08/21.19	c       |         |          |          |    Limit     GC | Var      | Constra 
21.08/21.19	c =============================================================================
21.08/21.19	c  0.0s |       0 |        0 |        0 |   267886      0 |       24 |       23
21.58/21.61	c  0.4s |       0 |       94 |        1 |   267886      0 |       24 |       24
21.58/21.61	c #cpu_time = 0.423s
21.58/21.61	c #wall_clock_time = 0.424s
21.58/21.61	c #decision = 94
21.58/21.61	c #random_decision = 0
21.58/21.61	c #conflict = 1
21.58/21.61	c #restart = 0
21.58/21.61	c BCD2: relaxing 91 and merging with 1 cores into a new core of size 684: cost of the new core is >=7
21.58/21.61	c lower bound updated to -370119
21.58/21.63	c BCD2: 7 <= obj <= 370125
21.58/21.63	c BCD2: #cores=1, #unrelaxed=921, #relaxed=684, #hardened=0
21.58/21.63	c BCD2: #sat=1 #unsat=8 bias=8/9
21.58/21.63	c Solving starts ...
21.58/21.63	c ============================[ Search Statistics ]============================
21.58/21.63	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
21.58/21.63	c       |         |          |          |    Limit     GC | Var      | Constra 
21.58/21.63	c =============================================================================
21.58/21.63	c  0.0s |       0 |        0 |        0 |   267886      0 |       25 |       24
21.99/22.07	c  0.4s |       0 |      101 |        1 |   267886      0 |       25 |       25
21.99/22.07	c #cpu_time = 0.435s
21.99/22.07	c #wall_clock_time = 0.436s
21.99/22.07	c #decision = 101
21.99/22.07	c #random_decision = 0
21.99/22.07	c #conflict = 1
21.99/22.07	c #restart = 0
21.99/22.07	c BCD2: relaxing 100 and merging with 1 cores into a new core of size 784: cost of the new core is >=8
21.99/22.07	c lower bound updated to -370118
21.99/22.08	c BCD2: 8 <= obj <= 370125
21.99/22.08	c BCD2: #cores=1, #unrelaxed=821, #relaxed=784, #hardened=0
21.99/22.08	c BCD2: #sat=1 #unsat=9 bias=9/10
22.09/22.16	c Solving starts ...
22.09/22.16	c ============================[ Search Statistics ]============================
22.09/22.16	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
22.09/22.16	c       |         |          |          |    Limit     GC | Var      | Constra 
22.09/22.16	c =============================================================================
22.09/22.16	c  0.0s |       0 |        0 |        0 |   267886      0 |       26 |       25
22.48/22.59	c  0.4s |       0 |       92 |        1 |   267886      0 |       26 |       26
22.48/22.59	c #cpu_time = 0.427s
22.48/22.59	c #wall_clock_time = 0.428s
22.48/22.59	c #decision = 92
22.48/22.59	c #random_decision = 0
22.48/22.59	c #conflict = 1
22.48/22.59	c #restart = 0
22.48/22.59	c BCD2: relaxing 88 and merging with 1 cores into a new core of size 872: cost of the new core is >=9
22.48/22.59	c lower bound updated to -370117
22.58/22.60	c BCD2: 9 <= obj <= 370125
22.58/22.60	c BCD2: #cores=1, #unrelaxed=733, #relaxed=872, #hardened=0
22.58/22.60	c BCD2: #sat=1 #unsat=10 bias=10/11
24.58/24.63	c Solving starts ...
24.58/24.63	c ============================[ Search Statistics ]============================
24.58/24.63	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
24.58/24.63	c       |         |          |          |    Limit     GC | Var      | Constra 
24.58/24.63	c =============================================================================
24.58/24.63	c  0.0s |       0 |        0 |        0 |   267886      0 |       27 |       26
24.98/25.02	c  0.4s |       0 |      100 |        1 |   267886      0 |       27 |       27
24.98/25.02	c #cpu_time = 0.384s
24.98/25.02	c #wall_clock_time = 0.385s
24.98/25.02	c #decision = 100
24.98/25.02	c #random_decision = 0
24.98/25.02	c #conflict = 1
24.98/25.02	c #restart = 0
24.98/25.02	c BCD2: relaxing 98 and merging with 1 cores into a new core of size 970: cost of the new core is >=10
24.98/25.02	c lower bound updated to -370116
24.98/25.06	c BCD2: 10 <= obj <= 370125
24.98/25.06	c BCD2: #cores=1, #unrelaxed=635, #relaxed=970, #hardened=0
24.98/25.06	c BCD2: #sat=1 #unsat=11 bias=11/12
24.98/25.06	c Solving starts ...
24.98/25.06	c ============================[ Search Statistics ]============================
24.98/25.06	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
24.98/25.06	c       |         |          |          |    Limit     GC | Var      | Constra 
24.98/25.06	c =============================================================================
24.98/25.07	c  0.0s |       0 |        0 |        0 |   267886      0 |       28 |       27
25.39/25.47	c  0.4s |       0 |       98 |        1 |   267886      0 |       28 |       28
25.39/25.47	c #cpu_time = 0.398s
25.39/25.47	c #wall_clock_time = 0.399s
25.39/25.47	c #decision = 98
25.39/25.47	c #random_decision = 0
25.39/25.47	c #conflict = 1
25.39/25.47	c #restart = 0
25.39/25.47	c BCD2: relaxing 97 and merging with 1 cores into a new core of size 1067: cost of the new core is >=11
25.39/25.47	c lower bound updated to -370115
25.48/25.51	c BCD2: 11 <= obj <= 370125
25.48/25.51	c BCD2: #cores=1, #unrelaxed=538, #relaxed=1067, #hardened=0
25.48/25.51	c BCD2: #sat=1 #unsat=12 bias=12/13
25.68/25.76	c Solving starts ...
25.68/25.76	c ============================[ Search Statistics ]============================
25.68/25.76	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
25.68/25.76	c       |         |          |          |    Limit     GC | Var      | Constra 
25.68/25.76	c =============================================================================
25.68/25.76	c  0.0s |       0 |        0 |        0 |   267886      0 |       29 |       28
26.08/26.16	c  0.4s |       0 |       99 |        1 |   267886      0 |       29 |       29
26.08/26.16	c #cpu_time = 0.396s
26.08/26.16	c #wall_clock_time = 0.397s
26.08/26.16	c #decision = 99
26.08/26.16	c #random_decision = 0
26.08/26.16	c #conflict = 1
26.08/26.16	c #restart = 0
26.08/26.16	c BCD2: relaxing 95 and merging with 1 cores into a new core of size 1162: cost of the new core is >=12
26.08/26.16	c lower bound updated to -370114
26.18/26.20	c BCD2: 12 <= obj <= 370125
26.18/26.20	c BCD2: #cores=1, #unrelaxed=443, #relaxed=1162, #hardened=0
26.18/26.20	c BCD2: #sat=1 #unsat=13 bias=13/14
26.18/26.26	c Solving starts ...
26.18/26.26	c ============================[ Search Statistics ]============================
26.18/26.26	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
26.18/26.26	c       |         |          |          |    Limit     GC | Var      | Constra 
26.18/26.26	c =============================================================================
26.18/26.28	c  0.0s |       0 |        0 |        0 |   267886      0 |       30 |       29
26.58/26.69	c  0.4s |       0 |      101 |        1 |   267886      0 |       30 |       30
26.58/26.69	c #cpu_time = 0.408s
26.58/26.69	c #wall_clock_time = 0.409s
26.58/26.69	c #decision = 101
26.58/26.69	c #random_decision = 0
26.58/26.69	c #conflict = 1
26.58/26.69	c #restart = 0
26.58/26.69	c BCD2: relaxing 99 and merging with 1 cores into a new core of size 1261: cost of the new core is >=13
26.58/26.69	c lower bound updated to -370113
26.68/26.73	c BCD2: 13 <= obj <= 370125
26.68/26.73	c BCD2: #cores=1, #unrelaxed=344, #relaxed=1261, #hardened=0
26.68/26.73	c BCD2: #sat=1 #unsat=14 bias=14/15
26.68/26.77	c Solving starts ...
26.68/26.77	c ============================[ Search Statistics ]============================
26.68/26.77	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
26.68/26.77	c       |         |          |          |    Limit     GC | Var      | Constra 
26.68/26.77	c =============================================================================
26.68/26.78	c  0.0s |       0 |        0 |        0 |   267886      0 |       31 |       30
27.08/27.19	c  0.4s |       0 |       98 |        1 |   267886      0 |       31 |       31
27.08/27.19	c #cpu_time = 0.406s
27.08/27.19	c #wall_clock_time = 0.407s
27.08/27.19	c #decision = 98
27.08/27.19	c #random_decision = 0
27.08/27.19	c #conflict = 1
27.08/27.19	c #restart = 0
27.08/27.19	c BCD2: relaxing 97 and merging with 1 cores into a new core of size 1358: cost of the new core is >=14
27.08/27.19	c lower bound updated to -370112
27.18/27.23	c BCD2: 14 <= obj <= 370125
27.18/27.23	c BCD2: #cores=1, #unrelaxed=247, #relaxed=1358, #hardened=0
27.18/27.23	c BCD2: #sat=1 #unsat=15 bias=15/16
27.28/27.32	c Solving starts ...
27.28/27.32	c ============================[ Search Statistics ]============================
27.28/27.32	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
27.28/27.32	c       |         |          |          |    Limit     GC | Var      | Constra 
27.28/27.32	c =============================================================================
27.28/27.33	c  0.0s |       0 |        0 |        0 |   267886      0 |       32 |       31
27.68/27.75	c  0.4s |       0 |       99 |        1 |   267886      0 |       32 |       32
27.68/27.75	c #cpu_time = 0.417s
27.68/27.75	c #wall_clock_time = 0.418s
27.68/27.75	c #decision = 99
27.68/27.75	c #random_decision = 0
27.68/27.75	c #conflict = 1
27.68/27.75	c #restart = 0
27.68/27.75	c BCD2: relaxing 98 and merging with 1 cores into a new core of size 1456: cost of the new core is >=15
27.68/27.75	c lower bound updated to -370111
27.68/27.79	c BCD2: 15 <= obj <= 370125
27.68/27.79	c BCD2: #cores=1, #unrelaxed=149, #relaxed=1456, #hardened=0
27.68/27.79	c BCD2: #sat=1 #unsat=16 bias=16/17
27.98/28.02	c Solving starts ...
27.98/28.02	c ============================[ Search Statistics ]============================
27.98/28.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
27.98/28.02	c       |         |          |          |    Limit     GC | Var      | Constra 
27.98/28.02	c =============================================================================
27.98/28.02	c  0.0s |       0 |        0 |        0 |   267886      0 |       33 |       32
28.38/28.44	c  0.4s |       0 |      104 |        1 |   267886      0 |       33 |       33
28.38/28.44	c #cpu_time = 0.418s
28.38/28.44	c #wall_clock_time = 0.419s
28.38/28.44	c #decision = 104
28.38/28.44	c #random_decision = 0
28.38/28.44	c #conflict = 1
28.38/28.44	c #restart = 0
28.38/28.44	c BCD2: relaxing 101 and merging with 1 cores into a new core of size 1557: cost of the new core is >=16
28.38/28.44	c lower bound updated to -370110
28.38/28.48	c BCD2: 16 <= obj <= 370125
28.38/28.48	c BCD2: #cores=1, #unrelaxed=48, #relaxed=1557, #hardened=0
28.38/28.48	c BCD2: #sat=1 #unsat=17 bias=17/18
28.69/28.72	c Solving starts ...
28.69/28.72	c ============================[ Search Statistics ]============================
28.69/28.72	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
28.69/28.72	c       |         |          |          |    Limit     GC | Var      | Constra 
28.69/28.72	c =============================================================================
28.69/28.72	c  0.0s |       0 |        0 |        0 |   267886      0 |       34 |       33
31.48/31.53	c  2.8s |       0 |     2199 |      100 |   294675      0 |       34 |       34
31.48/31.58	c  2.9s |       1 |     2199 |      100 |   294675      0 |       34 |       34
33.88/33.96	c  5.2s |       2 |     3107 |      250 |   324143      0 |       34 |       34
37.58/37.62	c  8.9s |       2 |     3445 |      350 |   324143      0 |       34 |       34
43.88/43.90	c 15.2s |       2 |     3445 |      450 |   324143      0 |       34 |       34
44.88/44.90	c 16.2s |       3 |     3582 |      475 |   356558      0 |       34 |       34
47.28/47.33	c 18.6s |       3 |     4112 |      575 |   356558      0 |       34 |       34
53.67/53.72	c 25.0s |       3 |     4112 |      775 |   356558      0 |       34 |       34
56.18/56.29	c 27.6s |       4 |     4112 |      813 |   392214      0 |       34 |       34
60.97/61.04	c 32.3s |       4 |     4431 |      913 |   392214      0 |       34 |       34
62.97/63.08	c 34.4s |       4 |     4914 |     1113 |   392214      0 |       34 |       34
66.17/66.26	c 37.5s |       4 |     4914 |     1213 |   392214      0 |       34 |       34
72.47/72.55	c 43.8s |       4 |     4914 |     1313 |   431436      0 |       34 |       34
73.07/73.13	c 44.4s |       5 |     4914 |     1320 |   431436      0 |       34 |       34
77.37/77.47	c 48.7s |       5 |     5944 |     1420 |   431436      0 |       34 |       34
81.07/81.16	c 52.4s |       5 |     5944 |     1520 |   431436      0 |       34 |       34
88.37/88.40	c 59.7s |       5 |     5944 |     1620 |   431436      0 |       34 |       34
99.87/99.92	c 71.2s |       5 |     5944 |     1720 |   431436      0 |       34 |       34
105.07/105.19	c 76.5s |       5 |     6278 |     1820 |   431436      0 |       34 |       34
111.07/111.18	c 82.5s |       5 |     6278 |     1920 |   431436      0 |       34 |       34
121.16/121.29	c 92.6s |       5 |     6278 |     2020 |   431436      0 |       34 |       34
128.36/128.47	c 99.7s |       6 |     6610 |     2081 |   474580      0 |       34 |       34
133.76/133.80	c  105s |       6 |     7029 |     2281 |   474580      0 |       34 |       34
140.56/140.65	c  111s |       6 |     7029 |     2381 |   474580      0 |       34 |       34
143.66/143.70	c  114s |       6 |     7359 |     2481 |   474580      0 |       34 |       34
146.56/146.60	c  117s |       6 |     7359 |     2581 |   474580      0 |       34 |       34
152.46/152.52	c  123s |       6 |     7359 |     2681 |   474580      0 |       34 |       34
157.56/157.62	c  128s |       6 |     7691 |     2781 |   474580      0 |       34 |       34
159.66/159.72	c  130s |       6 |     7691 |     2881 |   474580      0 |       34 |       34
164.56/164.65	c  135s |       6 |     7691 |     2981 |   474580      0 |       34 |       34
171.56/171.62	c  142s |       6 |     8021 |     3081 |   474580      0 |       34 |       34
174.36/174.40	c  145s |       7 |     8021 |     3223 |   522039      0 |       34 |       34
179.05/179.17	c  150s |       7 |     8324 |     3323 |   522039      0 |       34 |       34
184.95/185.05	c  156s |       7 |     8410 |     3423 |   522039      0 |       34 |       34
188.25/188.38	c  159s |       7 |     8737 |     3623 |   522039      0 |       34 |       34
193.25/193.37	c  164s |       7 |     8737 |     3723 |   522039      0 |       34 |       34
200.45/200.55	c  171s |       7 |     9067 |     3823 |   522039      0 |       34 |       34
205.95/206.02	c  177s |       7 |     9067 |     4023 |   522039      0 |       34 |       34
213.26/213.36	c  184s |       7 |     9067 |     4123 |   522039      0 |       34 |       34
215.46/215.57	c  186s |       7 |     9395 |     4223 |   522039      0 |       34 |       34
218.86/218.92	c  190s |       7 |     9395 |     4323 |   522039      0 |       34 |       34
225.36/225.46	c  196s |       7 |     9395 |     4423 |   522039      0 |       34 |       34
229.36/229.42	c  200s |       7 |     9722 |     4523 |   522039      0 |       34 |       34
231.95/232.05	c  203s |       7 |     9722 |     4623 |   522039      0 |       34 |       34
237.66/237.79	c  209s |       7 |     9722 |     4723 |   522039      0 |       34 |       34
243.25/243.32	c  214s |       7 |    10045 |     4823 |   522039      0 |       34 |       34
245.65/245.79	c  217s |       8 |    10045 |     4936 |   574243      0 |       34 |       34
250.45/250.56	c  221s |       8 |    10350 |     5036 |   574243      0 |       34 |       34
256.36/256.46	c  227s |       8 |    10437 |     5136 |   574243      0 |       34 |       34
260.95/261.06	c  232s |       8 |    10980 |     5436 |   574243      0 |       34 |       34
266.75/266.85	c  238s |       8 |    10980 |     5536 |   574243      0 |       34 |       34
272.35/272.41	c  243s |       8 |    11303 |     5636 |   574243      0 |       34 |       34
274.35/274.43	c  245s |       8 |    11303 |     5736 |   574243      0 |       34 |       34
279.45/279.55	c  250s |       8 |    11303 |     5836 |   574243      0 |       34 |       34
286.35/286.44	c  257s |       8 |    11624 |     5936 |   574243      0 |       34 |       34
292.35/292.41	c  263s |       8 |    11624 |     6136 |   574243      0 |       34 |       34
299.94/300.01	c  271s |       8 |    11624 |     6236 |   574243      0 |       34 |       34
305.24/305.35	c  276s |       8 |    11944 |     6436 |   574243      0 |       34 |       34
312.24/312.33	c  283s |       8 |    11944 |     6536 |   574243      0 |       34 |       34
315.04/315.18	c  286s |       8 |    12263 |     6636 |   574243      0 |       34 |       34
318.24/318.39	c  289s |       8 |    12263 |     6736 |   574243      0 |       34 |       34
324.64/324.79	c  296s |       8 |    12263 |     6836 |   574243      0 |       34 |       34
328.74/328.84	c  300s |       8 |    12581 |     6936 |   574243      0 |       34 |       34
331.44/331.53	c  302s |       8 |    12581 |     7036 |   574243      0 |       34 |       34
337.24/337.37	c  308s |       8 |    12581 |     7136 |   574243      0 |       34 |       34
342.44/342.55	c  313s |       8 |    12900 |     7236 |   574243      0 |       34 |       34
344.64/344.70	c  315s |       8 |    12900 |     7336 |   574243      0 |       34 |       34
349.94/350.02	c  321s |       8 |    12900 |     7436 |   574243      0 |       34 |       34
355.54/355.64	c  326s |       9 |    12900 |     7506 |   631668      0 |       34 |       34
359.33/359.42	c  330s |       9 |    13369 |     7706 |   631668      0 |       34 |       34
364.63/364.78	c  336s |       9 |    13369 |     7806 |   631668      0 |       34 |       34
370.74/370.83	c  342s |       9 |    13684 |     7906 |   631668      0 |       34 |       34
377.43/377.53	c  348s |       9 |    13684 |     8106 |   631668      0 |       34 |       34
384.33/384.41	c  355s |       9 |    13999 |     8206 |   631668      0 |       34 |       34
390.23/390.32	c  361s |       9 |    13999 |     8406 |   631668      0 |       34 |       34
397.83/397.96	c  369s |       9 |    14312 |     8506 |   631668      0 |       34 |       34
403.03/403.14	c  374s |       9 |    14312 |     8706 |   631668      0 |       34 |       34
410.23/410.39	c  381s |       9 |    14312 |     8806 |   631668      0 |       34 |       34
412.32/412.40	c  383s |       9 |    14627 |     8906 |   631668      0 |       34 |       34
415.92/416.04	c  387s |       9 |    14627 |     9006 |   631668      0 |       34 |       34
422.72/422.88	c  394s |       9 |    14627 |     9106 |   631668      0 |       34 |       34
425.52/425.67	c  396s |       9 |    14938 |     9206 |   631668      0 |       34 |       34
428.82/428.95	c  400s |       9 |    14938 |     9306 |   631668      0 |       34 |       34
435.32/435.45	c  406s |       9 |    14938 |     9406 |   631668      0 |       34 |       34
438.72/438.87	c  410s |       9 |    15248 |     9506 |   631668      0 |       34 |       34
441.72/441.85	c  413s |       9 |    15248 |     9606 |   631668      0 |       34 |       34
447.92/448.07	c  419s |       9 |    15248 |     9706 |   631668      0 |       34 |       34
451.92/452.09	c  423s |       9 |    15556 |     9806 |   631668      0 |       34 |       34
454.72/454.81	c  426s |       9 |    15556 |     9906 |   631668      0 |       34 |       34
460.62/460.73	c  432s |       9 |    15556 |    10006 |   631668      0 |       34 |       34
465.22/465.35	c  436s |       9 |    15864 |    10106 |   631668      0 |       34 |       34
467.72/467.81	c  439s |       9 |    15864 |    10206 |   631668      0 |       34 |       34
473.32/473.49	c  444s |       9 |    15864 |    10306 |   631668      0 |       34 |       34
478.42/478.52	c  449s |       9 |    16172 |    10406 |   631668      0 |       34 |       34
480.62/480.77	c  452s |       9 |    16172 |    10506 |   631668      0 |       34 |       34
486.12/486.27	c  457s |       9 |    16172 |    10606 |   631668      0 |       34 |       34
491.41/491.59	c  462s |       9 |    16480 |    10706 |   631668      0 |       34 |       34
493.61/493.71	c  464s |       9 |    16480 |    10806 |   631668      0 |       34 |       34
498.91/499.00	c  470s |       9 |    16480 |    10906 |   631668      0 |       34 |       34
504.51/504.68	c  475s |       9 |    16784 |    11006 |   631668      0 |       34 |       34
511.61/511.79	c  483s |       9 |    16784 |    11206 |   631668      0 |       34 |       34
517.51/517.69	c  488s |       9 |    17087 |    11306 |   694835      0 |       34 |       34
518.21/518.39	c  489s |      10 |    17087 |    11361 |   694835      0 |       34 |       34
521.61/521.76	c  493s |      10 |    17426 |    11461 |   694835      0 |       34 |       34
527.51/527.66	c  498s |      10 |    17426 |    11561 |   694835      0 |       34 |       34
531.41/531.57	c  502s |      10 |    17836 |    11661 |   694835      0 |       34 |       34
537.70/537.90	c  509s |      10 |    17836 |    11861 |   694835      0 |       34 |       34
544.41/544.55	c  515s |      10 |    18141 |    11961 |   694835      0 |       34 |       34
550.60/550.76	c  522s |      10 |    18141 |    12161 |   694835      0 |       34 |       34
557.30/557.45	c  528s |      10 |    18443 |    12261 |   694835      0 |       34 |       34
563.50/563.65	c  534s |      10 |    18443 |    12461 |   694835      0 |       34 |       34
570.20/570.32	c  541s |      10 |    18743 |    12561 |   694835      0 |       34 |       34
576.40/576.50	c  547s |      10 |    18743 |    12761 |   694835      0 |       34 |       34
583.00/583.11	c  554s |      10 |    19043 |    12861 |   694835      0 |       34 |       34
589.20/589.35	c  560s |      10 |    19043 |    13061 |   694835      0 |       34 |       34
595.70/595.81	c  567s |      10 |    19340 |    13161 |   694835      0 |       34 |       34
602.09/602.23	c  573s |      10 |    19340 |    13361 |   694835      0 |       34 |       34
608.39/608.55	c  579s |      10 |    19637 |    13461 |   694835      0 |       34 |       34
614.99/615.16	c  586s |      10 |    19637 |    13661 |   694835      0 |       34 |       34
621.09/621.23	c  592s |      10 |    19933 |    13761 |   694835      0 |       34 |       34
628.00/628.11	c  599s |      10 |    19933 |    13961 |   694835      0 |       34 |       34
633.69/633.85	c  605s |      10 |    20228 |    14061 |   694835      0 |       34 |       34
635.69/635.89	c  607s |      10 |    20228 |    14161 |   694835      0 |       34 |       34
640.89/641.07	c  612s |      10 |    20228 |    14261 |   694835      0 |       34 |       34
646.29/646.44	c  617s |      10 |    20524 |    14361 |   694835      0 |       34 |       34
648.49/648.65	c  619s |      10 |    20524 |    14461 |   694835      0 |       34 |       34
653.89/654.00	c  625s |      10 |    20524 |    14561 |   694835      0 |       34 |       34
658.79/658.95	c  630s |      10 |    20816 |    14661 |   694835      0 |       34 |       34
661.18/661.37	c  632s |      10 |    20816 |    14761 |   694835      0 |       34 |       34
666.78/666.95	c  638s |      10 |    20816 |    14861 |   694835      0 |       34 |       34
671.28/671.40	c  642s |      10 |    21109 |    14961 |   694835      0 |       34 |       34
673.88/674.08	c  645s |      10 |    21109 |    15061 |   694835      0 |       34 |       34
679.79/679.95	c  651s |      10 |    21109 |    15161 |   694835      0 |       34 |       34
683.68/683.86	c  655s |      10 |    21403 |    15261 |   694835      0 |       34 |       34
686.68/686.81	c  658s |      10 |    21403 |    15361 |   694835      0 |       34 |       34
692.78/692.96	c  664s |      10 |    21403 |    15461 |   694835      0 |       34 |       34
696.08/696.24	c  667s |      10 |    21694 |    15561 |   694835      0 |       34 |       34
699.38/699.52	c  670s |      10 |    21694 |    15661 |   694835      0 |       34 |       34
705.88/706.01	c  677s |      10 |    21694 |    15761 |   694835      0 |       34 |       34
708.48/708.61	c  679s |      10 |    21983 |    15861 |   694835      0 |       34 |       34
712.08/712.26	c  683s |      10 |    21983 |    15961 |   694835      0 |       34 |       34
718.98/719.14	c  690s |      10 |    21983 |    16061 |   694835      0 |       34 |       34
724.88/725.05	c  696s |      10 |    22271 |    16261 |   694835      0 |       34 |       34
731.87/732.00	c  703s |      10 |    22559 |    16361 |   694835      0 |       34 |       34
737.67/737.84	c  709s |      10 |    22559 |    16561 |   694835      0 |       34 |       34
743.87/744.03	c  715s |      10 |    22847 |    16661 |   694835      0 |       34 |       34
750.57/750.70	c  721s |      10 |    22847 |    16861 |   694835      0 |       34 |       34
755.87/756.07	c  727s |      10 |    23133 |    16961 |   694835      0 |       34 |       34
758.07/758.29	c  729s |      10 |    23133 |    17061 |   764319      0 |       34 |       34
762.37/762.55	c  733s |      11 |    23133 |    17144 |   764319      0 |       34 |       34
767.67/767.90	c  739s |      11 |    23515 |    17244 |   764319      0 |       34 |       34
770.37/770.58	c  741s |      11 |    24125 |    17444 |   764319      0 |       34 |       34
774.06/774.29	c  745s |      11 |    24125 |    17544 |   764319      0 |       34 |       34
781.16/781.38	c  752s |      11 |    24125 |    17644 |   764319      0 |       34 |       34
787.06/787.23	c  758s |      11 |    24406 |    17844 |   764319      0 |       34 |       34
793.36/793.50	c  764s |      11 |    24688 |    17944 |   764319      0 |       34 |       34
800.06/800.26	c  771s |      11 |    24688 |    18144 |   764319      0 |       34 |       34
805.17/805.37	c  776s |      11 |    24968 |    18244 |   764319      0 |       34 |       34
807.56/807.72	c  778s |      11 |    24968 |    18344 |   764319      0 |       34 |       34
813.26/813.42	c  784s |      11 |    24968 |    18444 |   764319      0 |       34 |       34
817.16/817.32	c  788s |      11 |    25248 |    18544 |   764319      0 |       34 |       34
820.16/820.34	c  791s |      11 |    25248 |    18644 |   764319      0 |       34 |       34
826.56/826.77	c  798s |      11 |    25248 |    18744 |   764319      0 |       34 |       34
829.16/829.33	c  800s |      11 |    25526 |    18844 |   764319      0 |       34 |       34
832.86/833.08	c  804s |      11 |    25526 |    18944 |   764319      0 |       34 |       34
839.85/840.06	c  811s |      11 |    25803 |    19044 |   764319      0 |       34 |       34
845.76/846.00	c  817s |      11 |    25803 |    19244 |   764319      0 |       34 |       34
851.55/851.72	c  822s |      11 |    26078 |    19344 |   764319      0 |       34 |       34
853.65/853.80	c  825s |      11 |    26078 |    19444 |   764319      0 |       34 |       34
858.96/859.19	c  830s |      11 |    26078 |    19544 |   764319      0 |       34 |       34
863.25/863.43	c  834s |      11 |    26353 |    19644 |   764319      0 |       34 |       34
866.05/866.28	c  837s |      11 |    26353 |    19744 |   764319      0 |       34 |       34
872.35/872.51	c  843s |      11 |    26353 |    19844 |   764319      0 |       34 |       34
875.05/875.29	c  846s |      11 |    26628 |    19944 |   764319      0 |       34 |       34
878.75/878.99	c  850s |      11 |    26628 |    20044 |   764319      0 |       34 |       34
885.55/885.78	c  857s |      11 |    26902 |    20144 |   764319      0 |       34 |       34
891.65/891.88	c  863s |      11 |    26902 |    20344 |   764319      0 |       34 |       34
896.95/897.15	c  868s |      11 |    27173 |    20444 |   764319      0 |       34 |       34
899.25/899.45	c  870s |      11 |    27173 |    20544 |   764319      0 |       34 |       34
904.84/905.08	c  876s |      11 |    27173 |    20644 |   764319      0 |       34 |       34
908.45/908.65	c  879s |      11 |    27443 |    20744 |   764319      0 |       34 |       34
911.64/911.83	c  883s |      11 |    27443 |    20844 |   764319      0 |       34 |       34
918.24/918.45	c  889s |      11 |    27443 |    20944 |   764319      0 |       34 |       34
924.34/924.57	c  895s |      11 |    27713 |    21144 |   764319      0 |       34 |       34
930.24/930.44	c  901s |      11 |    27983 |    21244 |   764319      0 |       34 |       34
937.54/937.75	c  909s |      11 |    27983 |    21444 |   764319      0 |       34 |       34
941.64/941.84	c  913s |      11 |    28252 |    21544 |   764319      0 |       34 |       34
944.65/944.83	c  916s |      11 |    28252 |    21644 |   764319      0 |       34 |       34
951.05/951.23	c  922s |      11 |    28252 |    21744 |   764319      0 |       34 |       34
953.15/953.38	c  924s |      11 |    28520 |    21844 |   764319      0 |       34 |       34
957.25/957.48	c  928s |      11 |    28520 |    21944 |   764319      0 |       34 |       34
963.24/963.40	c  934s |      11 |    28785 |    22044 |   764319      0 |       34 |       34
970.44/970.65	c  941s |      11 |    28785 |    22244 |   764319      0 |       34 |       34
974.45/974.69	c  945s |      11 |    29049 |    22344 |   764319      0 |       34 |       34
977.54/977.75	c  949s |      11 |    29049 |    22444 |   764319      0 |       34 |       34
984.04/984.27	c  955s |      11 |    29049 |    22544 |   764319      0 |       34 |       34
990.24/990.46	c  961s |      11 |    29313 |    22744 |   764319      0 |       34 |       34
995.74/995.94	c  967s |      11 |    29580 |    22844 |   764319      0 |       34 |       34
997.94/998.15	c  969s |      11 |    29580 |    22944 |   764319      0 |       34 |       34
1003.54/1003.75	c  975s |      11 |    29580 |    23044 |   764319      0 |       34 |       34
1006.84/1007.09	c  978s |      11 |    29842 |    23144 |   764319      0 |       34 |       34
1010.34/1010.55	c  981s |      11 |    29842 |    23244 |   764319      0 |       34 |       34
1016.94/1017.11	c  988s |      11 |    30103 |    23344 |   764319      0 |       34 |       34
1023.23/1023.42	c  994s |      11 |    30103 |    23544 |   764319      0 |       34 |       34
1027.73/1027.93	c  999s |      11 |    30365 |    23644 |   764319      0 |       34 |       34
1030.43/1030.67	c 1001s |      11 |    30365 |    23744 |   764319      0 |       34 |       34
1036.63/1036.85	c 1008s |      11 |    30365 |    23844 |   764319      0 |       34 |       34
1038.73/1038.95	c 1010s |      11 |    30623 |    23944 |   764319      0 |       34 |       34
1042.83/1043.08	c 1014s |      11 |    30623 |    24044 |   764319      0 |       34 |       34
1048.24/1048.44	c 1019s |      11 |    30883 |    24144 |   764319      0 |       34 |       34
1050.44/1050.66	c 1021s |      11 |    30883 |    24244 |   764319      0 |       34 |       34
1056.03/1056.26	c 1027s |      11 |    30883 |    24344 |   764319      0 |       34 |       34
1059.14/1059.32	c 1030s |      11 |    31139 |    24444 |   764319      0 |       34 |       34
1062.73/1062.93	c 1034s |      11 |    31139 |    24544 |   764319      0 |       34 |       34
1068.73/1068.90	c 1040s |      11 |    31394 |    24644 |   764319      0 |       34 |       34
1075.73/1075.91	c 1047s |      11 |    31394 |    24844 |   764319      0 |       34 |       34
1079.42/1079.61	c 1050s |      11 |    31649 |    24944 |   764319      0 |       34 |       34
1082.62/1082.89	c 1054s |      11 |    31649 |    25044 |   764319      0 |       34 |       34
1089.02/1089.29	c 1060s |      11 |    31903 |    25144 |   764319      0 |       34 |       34
1095.53/1095.74	c 1067s |      11 |    31903 |    25344 |   764319      0 |       34 |       34
1099.42/1099.69	c 1070s |      11 |    32156 |    25444 |   764319      0 |       34 |       34
1102.52/1102.73	c 1074s |      11 |    32156 |    25544 |   764319      0 |       34 |       34
1109.02/1109.25	c 1080s |      11 |    32408 |    25644 |   764319      0 |       34 |       34
1113.62/1113.89	c 1085s |      12 |    32408 |    25819 |   840751      0 |       34 |       34
1119.42/1119.64	c 1090s |      12 |    32703 |    25919 |   840751      0 |       34 |       34
1123.32/1123.59	c 1094s |      12 |    32993 |    26119 |   840751      0 |       34 |       34
1129.62/1129.87	c 1101s |      12 |    32993 |    26219 |   840751      0 |       34 |       34
1132.92/1133.18	c 1104s |      12 |    33244 |    26319 |   840751      0 |       34 |       34
1136.82/1137.04	c 1108s |      12 |    33244 |    26419 |   840751      0 |       34 |       34
1143.22/1143.43	c 1114s |      12 |    33494 |    26519 |   840751      0 |       34 |       34
1145.31/1145.50	c 1116s |      12 |    33494 |    26619 |   840751      0 |       34 |       34
1151.52/1151.71	c 1122s |      12 |    33494 |    26719 |   840751      0 |       34 |       34
1154.51/1154.78	c 1126s |      12 |    33742 |    26819 |   840751      0 |       34 |       34
1158.41/1158.66	c 1129s |      12 |    33742 |    26919 |   840751      0 |       34 |       34
1164.72/1164.91	c 1136s |      12 |    33990 |    27019 |   840751      0 |       34 |       34
1166.81/1167.07	c 1138s |      12 |    33990 |    27119 |   840751      0 |       34 |       34
1173.11/1173.40	c 1144s |      12 |    33990 |    27219 |   840751      0 |       34 |       34
1176.11/1176.37	c 1147s |      12 |    34237 |    27319 |   840751      0 |       34 |       34
1180.22/1180.46	c 1151s |      12 |    34237 |    27419 |   840751      0 |       34 |       34
1186.01/1186.21	c 1157s |      12 |    34483 |    27519 |   840751      0 |       34 |       34
1188.41/1188.62	c 1159s |      12 |    34483 |    27619 |   840751      0 |       34 |       34
1195.01/1195.26	c 1166s |      12 |    34483 |    27719 |   840751      0 |       34 |       34
1197.31/1197.59	c 1168s |      12 |    34728 |    27819 |   840751      0 |       34 |       34
1201.80/1202.09	c 1173s |      12 |    34728 |    27919 |   840751      0 |       34 |       34
1206.90/1207.17	c 1178s |      12 |    34973 |    28019 |   840751      0 |       34 |       34
1209.70/1209.95	c 1181s |      12 |    34973 |    28119 |   840751      0 |       34 |       34
1216.80/1217.00	c 1188s |      12 |    35216 |    28219 |   840751      0 |       34 |       34
1223.30/1223.58	c 1194s |      12 |    35216 |    28419 |   840751      0 |       34 |       34
1227.30/1227.56	c 1198s |      12 |    35458 |    28519 |   840751      0 |       34 |       34
1230.70/1230.91	c 1202s |      12 |    35458 |    28619 |   840751      0 |       34 |       34
1236.90/1237.10	c 1208s |      12 |    35700 |    28719 |   840751      0 |       34 |       34
1244.70/1244.95	c 1216s |      12 |    35700 |    28919 |   840751      0 |       34 |       34
1247.70/1247.98	c 1219s |      12 |    35939 |    29019 |   840751      0 |       34 |       34
1251.79/1252.04	c 1223s |      12 |    35939 |    29119 |   840751      0 |       34 |       34
1256.89/1257.16	c 1228s |      12 |    36177 |    29219 |   840751      0 |       34 |       34
1259.59/1259.82	c 1231s |      12 |    36177 |    29319 |   840751      0 |       34 |       34
1266.49/1266.78	c 1238s |      12 |    36415 |    29419 |   840751      0 |       34 |       34
1273.09/1273.32	c 1244s |      12 |    36415 |    29619 |   840751      0 |       34 |       34
1276.69/1276.99	c 1248s |      12 |    36653 |    29719 |   840751      0 |       34 |       34
1280.30/1280.54	c 1251s |      12 |    36653 |    29819 |   840751      0 |       34 |       34
1286.09/1286.30	c 1257s |      12 |    36888 |    29919 |   840751      0 |       34 |       34
1288.39/1288.60	c 1259s |      12 |    36888 |    30019 |   840751      0 |       34 |       34
1294.69/1294.91	c 1266s |      12 |    36888 |    30119 |   840751      0 |       34 |       34
1301.29/1301.55	c 1272s |      12 |    37122 |    30319 |   840751      0 |       34 |       34
1305.28/1305.54	c 1276s |      12 |    37356 |    30419 |   840751      0 |       34 |       34
1308.68/1308.94	c 1280s |      12 |    37356 |    30519 |   840751      0 |       34 |       34
1314.18/1314.45	c 1285s |      12 |    37589 |    30619 |   840751      0 |       34 |       34
1316.49/1316.70	c 1287s |      12 |    37589 |    30719 |   840751      0 |       34 |       34
1322.68/1322.90	c 1294s |      12 |    37589 |    30819 |   840751      0 |       34 |       34
1329.28/1329.57	c 1300s |      12 |    37822 |    31019 |   840751      0 |       34 |       34
1332.99/1333.24	c 1304s |      12 |    38054 |    31119 |   840751      0 |       34 |       34
1336.58/1336.81	c 1308s |      12 |    38054 |    31219 |   840751      0 |       34 |       34
1341.68/1341.93	c 1313s |      12 |    38285 |    31319 |   840751      0 |       34 |       34
1344.18/1344.44	c 1315s |      12 |    38285 |    31419 |   840751      0 |       34 |       34
1350.47/1350.78	c 1322s |      12 |    38514 |    31519 |   840751      0 |       34 |       34
1357.28/1357.54	c 1328s |      12 |    38514 |    31719 |   840751      0 |       34 |       34
1360.27/1360.51	c 1331s |      12 |    38741 |    31819 |   840751      0 |       34 |       34
1364.37/1364.61	c 1335s |      12 |    38741 |    31919 |   840751      0 |       34 |       34
1368.57/1368.86	c 1340s |      12 |    38970 |    32019 |   840751      0 |       34 |       34
1371.67/1371.95	c 1343s |      12 |    38970 |    32119 |   840751      0 |       34 |       34
1377.27/1377.56	c 1348s |      12 |    39197 |    32219 |   840751      0 |       34 |       34
1379.47/1379.76	c 1351s |      12 |    39197 |    32319 |   840751      0 |       34 |       34
1386.36/1386.66	c 1357s |      12 |    39197 |    32419 |   840751      0 |       34 |       34
1393.36/1393.68	c 1364s |      12 |    39421 |    32619 |   840751      0 |       34 |       34
1396.66/1396.94	c 1368s |      12 |    39645 |    32719 |   840751      0 |       34 |       34
1400.76/1401.05	c 1372s |      12 |    39645 |    32819 |   840751      0 |       34 |       34
1404.86/1405.12	c 1376s |      12 |    39867 |    32919 |   840751      0 |       34 |       34
1408.06/1408.36	c 1379s |      12 |    39867 |    33019 |   840751      0 |       34 |       34
1413.36/1413.64	c 1384s |      12 |    40089 |    33119 |   840751      0 |       34 |       34
1415.86/1416.13	c 1387s |      12 |    40089 |    33219 |   840751      0 |       34 |       34
1421.86/1422.14	c 1393s |      12 |    40309 |    33319 |   840751      0 |       34 |       34
1429.05/1429.39	c 1400s |      12 |    40309 |    33519 |   840751      0 |       34 |       34
1431.35/1431.69	c 1402s |      12 |    40530 |    33619 |   840751      0 |       34 |       34
1436.05/1436.36	c 1407s |      12 |    40530 |    33719 |   840751      0 |       34 |       34
1439.56/1439.84	c 1411s |      12 |    40748 |    33819 |   840751      0 |       34 |       34
1443.56/1443.81	c 1415s |      12 |    40748 |    33919 |   840751      0 |       34 |       34
1447.66/1447.97	c 1419s |      12 |    40997 |    34019 |   840751      0 |       34 |       34
1451.26/1451.57	c 1422s |      12 |    40997 |    34119 |   840751      0 |       34 |       34
1458.26/1458.52	c 1429s |      12 |    41213 |    34219 |   840751      0 |       34 |       34
1465.15/1465.47	c 1436s |      12 |    41213 |    34419 |   840751      0 |       34 |       34
1467.45/1467.71	c 1438s |      12 |    41429 |    34519 |   840751      0 |       34 |       34
1472.05/1472.38	c 1443s |      12 |    41429 |    34619 |   840751      0 |       34 |       34
1474.96/1475.28	c 1446s |      12 |    41645 |    34719 |   840751      0 |       34 |       34
1479.05/1479.37	c 1450s |      12 |    41645 |    34819 |   840751      0 |       34 |       34
1482.66/1482.94	c 1454s |      12 |    41859 |    34919 |   840751      0 |       34 |       34
1486.25/1486.51	c 1457s |      12 |    41859 |    35019 |   840751      0 |       34 |       34
1490.26/1490.56	c 1461s |      12 |    42075 |    35119 |   840751      0 |       34 |       34
1493.35/1493.67	c 1464s |      12 |    42075 |    35219 |   840751      0 |       34 |       34
1497.95/1498.24	c 1469s |      12 |    42286 |    35319 |   840751      0 |       34 |       34
1500.65/1500.93	c 1472s |      12 |    42286 |    35419 |   840751      0 |       34 |       34
1505.55/1505.87	c 1477s |      12 |    42497 |    35519 |   840751      0 |       34 |       34
1507.85/1508.19	c 1479s |      12 |    42497 |    35619 |   840751      0 |       34 |       34
1513.15/1513.48	c 1484s |      12 |    42707 |    35719 |   840751      0 |       34 |       34
1515.24/1515.50	c 1486s |      12 |    42707 |    35819 |   840751      0 |       34 |       34
1520.74/1521.09	c 1492s |      12 |    42915 |    35919 |   840751      0 |       34 |       34
1527.84/1528.19	c 1499s |      12 |    42915 |    36119 |   840751      0 |       34 |       34
1534.94/1535.20	c 1506s |      12 |    43123 |    36319 |   840751      0 |       34 |       34
1537.14/1537.40	c 1508s |      12 |    43330 |    36419 |   840751      0 |       34 |       34
1541.95/1542.23	c 1513s |      12 |    43330 |    36519 |   840751      0 |       34 |       34
1544.34/1544.69	c 1515s |      12 |    43535 |    36619 |   840751      0 |       34 |       34
1549.04/1549.31	c 1520s |      12 |    43535 |    36719 |   840751      0 |       34 |       34
1551.74/1552.03	c 1523s |      12 |    43739 |    36819 |   840751      0 |       34 |       34
1556.14/1556.43	c 1527s |      12 |    43739 |    36919 |   840751      0 |       34 |       34
1558.94/1559.25	c 1530s |      12 |    43944 |    37019 |   840751      0 |       34 |       34
1563.23/1563.50	c 1534s |      12 |    43944 |    37119 |   840751      0 |       34 |       34
1566.14/1566.43	c 1537s |      12 |    44147 |    37219 |   840751      0 |       34 |       34
1570.23/1570.57	c 1541s |      12 |    44147 |    37319 |   840751      0 |       34 |       34
1573.33/1573.69	c 1544s |      12 |    44348 |    37419 |   840751      0 |       34 |       34
1577.43/1577.76	c 1549s |      12 |    44348 |    37519 |   840751      0 |       34 |       34
1580.54/1580.83	c 1552s |      12 |    44549 |    37619 |   840751      0 |       34 |       34
1584.53/1584.88	c 1556s |      12 |    44549 |    37719 |   840751      0 |       34 |       34
1587.63/1587.92	c 1559s |      12 |    44748 |    37819 |   840751      0 |       34 |       34
1591.63/1591.98	c 1563s |      12 |    44748 |    37919 |   840751      0 |       34 |       34
1594.63/1594.99	c 1566s |      12 |    44948 |    38019 |   840751      0 |       34 |       34
1598.73/1599.08	c 1570s |      12 |    44948 |    38119 |   840751      0 |       34 |       34
1601.62/1601.95	c 1573s |      12 |    45146 |    38219 |   840751      0 |       34 |       34
1605.82/1606.15	c 1577s |      12 |    45146 |    38319 |   840751      0 |       34 |       34
1608.62/1608.96	c 1580s |      12 |    45344 |    38419 |   840751      0 |       34 |       34
1613.02/1613.34	c 1584s |      12 |    45344 |    38519 |   840751      0 |       34 |       34
1615.62/1615.98	c 1587s |      12 |    45539 |    38619 |   924827      0 |       34 |       34
1620.21/1620.54	c 1591s |      12 |    45539 |    38719 |   924827      0 |       34 |       34
1622.71/1623.03	c 1594s |      12 |    45734 |    38819 |   924827      0 |       34 |       34
1623.11/1623.43	c 1594s |      13 |    45734 |    38832 |   924827      0 |       34 |       34
1628.21/1628.54	c 1599s |      13 |    45956 |    38932 |   924827      0 |       34 |       34
1632.50/1632.82	c 1604s |      13 |    46218 |    39132 |   924827      0 |       34 |       34
1636.70/1637.09	c 1608s |      13 |    46411 |    39232 |   924827      0 |       34 |       34
1639.91/1640.21	c 1611s |      13 |    46411 |    39332 |   924827      0 |       34 |       34
1643.90/1644.23	c 1615s |      13 |    46602 |    39432 |   924827      0 |       34 |       34
1647.30/1647.68	c 1618s |      13 |    46602 |    39532 |   924827      0 |       34 |       34
1650.80/1651.18	c 1622s |      13 |    46793 |    39632 |   924827      0 |       34 |       34
1654.70/1655.02	c 1626s |      13 |    46793 |    39732 |   924827      0 |       34 |       34
1657.80/1658.16	c 1629s |      13 |    46982 |    39832 |   924827      0 |       34 |       34
1662.09/1662.43	c 1633s |      13 |    46982 |    39932 |   924827      0 |       34 |       34
1664.79/1665.16	c 1636s |      13 |    47170 |    40032 |   924827      0 |       34 |       34
1669.50/1669.90	c 1641s |      13 |    47170 |    40132 |   924827      0 |       34 |       34
1671.79/1672.18	c 1643s |      13 |    47358 |    40232 |   924827      0 |       34 |       34
1677.09/1677.44	c 1648s |      13 |    47545 |    40332 |   924827      0 |       34 |       34
1683.69/1684.06	c 1655s |      13 |    47733 |    40532 |   924827      0 |       34 |       34
1685.99/1686.37	c 1657s |      13 |    47733 |    40632 |   924827      0 |       34 |       34
1690.39/1690.75	c 1662s |      13 |    47918 |    40732 |   924827      0 |       34 |       34
1693.28/1693.66	c 1664s |      13 |    47918 |    40832 |   924827      0 |       34 |       34
1697.09/1697.49	c 1668s |      13 |    48102 |    40932 |   924827      0 |       34 |       34
1700.68/1701.07	c 1672s |      13 |    48102 |    41032 |   924827      0 |       34 |       34
1703.88/1704.29	c 1675s |      13 |    48285 |    41132 |   924827      0 |       34 |       34
1708.28/1708.63	c 1679s |      13 |    48285 |    41232 |   924827      0 |       34 |       34
1710.88/1711.22	c 1682s |      13 |    48466 |    41332 |   924827      0 |       34 |       34
1716.08/1716.40	c 1687s |      13 |    48646 |    41432 |   924827      0 |       34 |       34
1722.58/1722.93	c 1694s |      13 |    48826 |    41632 |   924827      0 |       34 |       34
1725.18/1725.50	c 1696s |      13 |    48826 |    41732 |   924827      0 |       34 |       34
1729.18/1729.54	c 1700s |      13 |    49005 |    41832 |   924827      0 |       34 |       34
1732.58/1732.95	c 1704s |      13 |    49005 |    41932 |   924827      0 |       34 |       34
1735.88/1736.27	c 1707s |      13 |    49182 |    42032 |   924827      0 |       34 |       34
1740.28/1740.63	c 1711s |      13 |    49182 |    42132 |   924827      0 |       34 |       34
1743.38/1743.75	c 1715s |      13 |    49358 |    42232 |   924827      0 |       34 |       34
1748.48/1748.80	c 1720s |      13 |    49534 |    42332 |   924827      0 |       34 |       34
1750.58/1750.98	c 1722s |      13 |    49534 |    42432 |   924827      0 |       34 |       34
1754.68/1755.06	c 1726s |      13 |    49710 |    42532 |   924827      0 |       34 |       34
1757.87/1758.23	c 1729s |      13 |    49710 |    42632 |   924827      0 |       34 |       34
1761.37/1761.79	c 1733s |      13 |    49884 |    42732 |   924827      0 |       34 |       34
1765.67/1766.03	c 1737s |      13 |    49884 |    42832 |   924827      0 |       34 |       34
1768.37/1768.72	c 1740s |      13 |    50057 |    42932 |   924827      0 |       34 |       34
1773.17/1773.57	c 1744s |      13 |    50228 |    43032 |   924827      0 |       34 |       34
1775.67/1776.01	c 1747s |      13 |    50228 |    43132 |   924827      0 |       34 |       34
1779.37/1779.77	c 1751s |      13 |    50398 |    43232 |   924827      0 |       34 |       34
1782.97/1783.37	c 1754s |      13 |    50398 |    43332 |   924827      0 |       34 |       34
1786.08/1786.48	c 1757s |      13 |    50568 |    43432 |   924827      0 |       34 |       34
1791.07/1791.48	c 1762s |      13 |    50736 |    43532 |   924827      0 |       34 |       34
1793.17/1793.54	c 1764s |      13 |    50736 |    43632 |   924827      0 |       34 |       34
1797.46/1797.81	c 1769s |      13 |    50903 |    43732 |   924827      0 |       34 |       34

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

pid=4773
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.27 2.16 2.11 3/179 4776
/proc/meminfo: memFree=29543780/32872528 swapFree=12328/568296
[pid=4776] ppid=4773 vsize=735676 CPUtime=0 cores=0,2,4,6
/proc/4776/stat : 4776 (toysat) R 4773 4776 3396 0 -1 4202496 2746 0 0 0 0 0 0 0 20 0 4 0 111255960 753332224 2595 33554432000 4194304 16246674 140733649406112 140733649405536 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4776/statm: 184431 2605 441 2943 0 181325 0
[pid=4776/tid=4777] ppid=4773 vsize=753084 CPUtime=0 cores=0,2,4,6
/proc/4776/task/4777/stat : 4777 (toysat) S 4773 4776 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 111255960 771158016 2666 33554432000 4194304 16246674 140733649406112 139943369223408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4776/tid=4778] ppid=4773 vsize=758204 CPUtime=0 cores=0,2,4,6
/proc/4776/task/4778/stat : 4778 (toysat) S 4773 4776 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111255960 776400896 2683 33554432000 4194304 16246674 140733649406112 139943358733552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4776/tid=4779] ppid=4773 vsize=762300 CPUtime=0 cores=0,2,4,6
/proc/4776/task/4779/stat : 4779 (toysat) S 4773 4776 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111255960 780595200 2701 33554432000 4194304 16246674 140733649406112 139943348260016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100168 s]
/proc/loadavg: 2.27 2.16 2.11 3/179 4776
/proc/meminfo: memFree=29543780/32872528 swapFree=12328/568296
[pid=4776] ppid=4773 vsize=1302084 CPUtime=0.08 cores=0,2,4,6
/proc/4776/stat : 4776 (toysat) R 4773 4776 3396 0 -1 4202496 28480 0 0 0 5 3 0 0 20 0 4 0 111255960 1333334016 28268 33554432000 4194304 16246674 140733649406112 140733649389104 12752373 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4776/statm: 325521 28282 799 2943 0 322415 0
[pid=4776/tid=4777] ppid=4773 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/4776/task/4777/stat : 4777 (toysat) S 4773 4776 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 111255960 1333334016 28293 33554432000 4194304 16246674 140733649406112 139943369223408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4776/tid=4778] ppid=4773 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/4776/task/4778/stat : 4778 (toysat) S 4773 4776 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111255960 1333334016 28304 33554432000 4194304 16246674 140733649406112 139943358733552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4776/tid=4779] ppid=4773 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/4776/task/4779/stat : 4779 (toysat) S 4773 4776 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111255960 1333334016 28314 33554432000 4194304 16246674 140733649406112 139943348260016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1302084

[startup+0.200553 s]
/proc/loadavg: 2.27 2.16 2.11 3/179 4776
/proc/meminfo: memFree=29543780/32872528 swapFree=12328/568296
[pid=4776] ppid=4773 vsize=1312324 CPUtime=0.18 cores=0,2,4,6
/proc/4776/stat : 4776 (toysat) R 4773 4776 3396 0 -1 4202496 44716 0 0 0 13 5 0 0 20 0 4 0 111255960 1343819776 45014 33554432000 4194304 16246674 140733649406112 140733649389104 7378128 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4776/statm: 328081 45014 800 2943 0 324975 0
[pid=4776/tid=4777] ppid=4773 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/4776/task/4777/stat : 4777 (toysat) S 4773 4776 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 111255960 1343819776 45014 33554432000 4194304 16246674 140733649406112 139943369223408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4776/tid=4778] ppid=4773 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/4776/task/4778/stat : 4778 (toysat) S 4773 4776 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111255960 1343819776 45014 33554432000 4194304 16246674 140733649406112 139943358733552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4776/tid=4779] ppid=4773 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/4776/task/4779/stat : 4779 (toysat) S 4773 4776 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111255960 1343819776 45014 33554432000 4194304 16246674 140733649406112 139943348260016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1312324

[startup+0.300542 s]
/proc/loadavg: 2.27 2.16 2.11 3/179 4776
/proc/meminfo: memFree=29543780/32872528 swapFree=12328/568296
[pid=4776] ppid=4773 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/4776/stat : 4776 (toysat) R 4773 4776 3396 0 -1 4202496 55016 0 0 0 22 7 0 0 20 0 4 0 111255960 1344868352 55314 33554432000 4194304 16246674 140733649406112 140733649389104 8055566 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4776/statm: 328337 55314 800 2943 0 325231 0
[pid=4776/tid=4777] ppid=4773 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4776/task/4777/stat : 4777 (toysat) S 4773 4776 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 111255960 1344868352 55314 33554432000 4194304 16246674 140733649406112 139943369223408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4776/tid=4778] ppid=4773 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4776/task/4778/stat : 4778 (toysat) S 4773 4776 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111255960 1344868352 55314 33554432000 4194304 16246674 140733649406112 139943358733552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4776/tid=4779] ppid=4773 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4776/task/4779/stat : 4779 (toysat) S 4773 4776 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111255960 1344868352 55314 33554432000 4194304 16246674 140733649406112 139943348260016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700398 s]
/proc/loadavg: 2.27 2.16 2.11 3/179 4776
/proc/meminfo: memFree=29543780/32872528 swapFree=12328/568296
[pid=4776] ppid=4773 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/4776/stat : 4776 (toysat) R 4773 4776 3396 0 -1 4202496 61023 0 0 0 61 8 0 0 20 0 4 0 111255960 1344868352 61321 33554432000 4194304 16246674 140733649406112 140733649389104 7440268 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4776/statm: 328337 61321 801 2943 0 325231 0
[pid=4776/tid=4777] ppid=4773 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4776/task/4777/stat : 4777 (toysat) S 4773 4776 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 111255960 1344868352 61321 33554432000 4194304 16246674 140733649406112 139943369223408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4776/tid=4778] ppid=4773 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4776/task/4778/stat : 4778 (toysat) S 4773 4776 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111255960 1344868352 61321 33554432000 4194304 16246674 140733649406112 139943358733552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4776/tid=4779] ppid=4773 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4776/task/4779/stat : 4779 (toysat) S 4773 4776 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111255960 1344868352 61321 33554432000 4194304 16246674 140733649406112 139943348260016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50041 s]
/proc/loadavg: 2.27 2.16 2.11 3/183 4780
/proc/meminfo: memFree=29209952/32872528 swapFree=12328/568296
[pid=4776] ppid=4773 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/4776/stat : 4776 (toysat) R 4773 4776 3396 0 -1 4202496 83466 0 0 0 138 11 0 0 20 0 4 0 111255960 1344868352 83764 33554432000 4194304 16246674 140733649406112 140733649389104 14073329 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4776/statm: 328337 83764 801 2943 0 325231 0
[pid=4776/tid=4777] ppid=4773 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4776/task/4777/stat : 4777 (toysat) S 4773 4776 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 111255960 1344868352 83764 33554432000 4194304 16246674 140733649406112 139943369223408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4776/tid=4778] ppid=4773 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4776/task/4778/stat : 4778 (toysat) S 4773 4776 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111255960 1344868352 83764 33554432000 4194304 16246674 140733649406112 139943358733552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4776/tid=4779] ppid=4773 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4776/task/4779/stat : 4779 (toysat) S 4773 4776 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111255960 1344868352 83764 33554432000 4194304 16246674 140733649406112 139943348260016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10041 s]
/proc/loadavg: 2.27 2.16 2.11 3/183 4780
/proc/meminfo: memFree=29081784/32872528 swapFree=12328/568296
[pid=4776] ppid=4773 vsize=1337924 CPUtime=3.09 cores=0,2,4,6
/proc/4776/stat : 4776 (toysat) R 4773 4776 3396 0 -1 4202496 153949 0 0 0 287 22 0 0 20 0 4 0 111255960 1370034176 158846 33554432000 4194304 16246674 140733649406112 140733649403968 7361381 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4776/statm: 334481 158846 801 2943 0 331375 0
[pid=4776/tid=4777] ppid=4773 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/4776/task/4777/stat : 4777 (toysat) S 4773 4776 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 111255960 1370034176 158846 33554432000 4194304 16246674 140733649406112 139943369223408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4776/tid=4778] ppid=4773 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/4776/task/4778/stat : 4778 (toysat) S 4773 4776 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111255960 1370034176 158846 33554432000 4194304 16246674 140733649406112 139943358733552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4776/tid=4779] ppid=4773 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/4776/task/4779/stat : 4779 (toysat) S 4773 4776 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111255960 1370034176 158846 33554432000 4194304 16246674 140733649406112 139943348260016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1337924

[startup+6.30041 s]
/proc/loadavg: 2.25 2.16 2.10 4/183 4780
/proc/meminfo: memFree=28464648/32872528 swapFree=12328/568296
[pid=4776] ppid=4773 vsize=1491524 CPUtime=6.29 cores=0,2,4,6
/proc/4776/stat : 4776 (toysat) R 4773 4776 3396 0 -1 4202496 295601 0 0 0 586 43 0 0 20 0 4 0 111255960 1527320576 308674 33554432000 4194304 16246674 140733649406112 140733649388032 5519832 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4776/statm: 372881 308674 834 2943 0 369775 0
[pid=4776/tid=4777] ppid=4773 vsize=1491524 CPUtime=0 cores=0,2,4,6
/proc/4776/task/4777/stat : 4777 (toysat) S 4773 4776 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 111255960 1527320576 308674 33554432000 4194304 16246674 140733649406112 139943369223408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4776/tid=4778] ppid=4773 vsize=1491524 CPUtime=0 cores=0,2,4,6
/proc/4776/task/4778/stat : 4778 (toysat) S 4773 4776 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111255960 1527320576 308674 33554432000 4194304 16246674 140733649406112 139943358733552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4776/tid=4779] ppid=4773 vsize=1491524 CPUtime=0 cores=0,2,4,6
/proc/4776/task/4779/stat : 4779 (toysat) S 4773 4776 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111255960 1527320576 308674 33554432000 4194304 16246674 140733649406112 139943348260016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1491524

[startup+12.7004 s]
/proc/loadavg: 2.23 2.15 2.10 4/183 4780
/proc/meminfo: memFree=28241336/32872528 swapFree=12328/568296
[pid=4776] ppid=4773 vsize=1539652 CPUtime=12.69 cores=0,2,4,6
/proc/4776/stat : 4776 (toysat) R 4773 4776 3396 0 -1 4202496 307651 0 0 0 1224 45 0 0 20 0 4 0 111255960 1576603648 325834 33554432000 4194304 16246674 140733649406112 140733649388032 7202930 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4776/statm: 384913 325834 837 2943 0 381807 0
[pid=4776/tid=4777] ppid=4773 vsize=1539652 CPUtime=0 cores=0,2,4,6
/proc/4776/task/4777/stat : 4777 (toysat) S 4773 4776 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 111255960 1576603648 325834 33554432000 4194304 16246674 140733649406112 139943369223408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4776/tid=4778] ppid=4773 vsize=1539652 CPUtime=0 cores=0,2,4,6
/proc/4776/task/4778/stat : 4778 (toysat) S 4773 4776 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111255960 1576603648 325834 33554432000 4194304 16246674 140733649406112 139943358733552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4776/tid=4779] ppid=4773 vsize=1539652 CPUtime=0 cores=0,2,4,6
/proc/4776/task/4779/stat : 4779 (toysat) S 4773 4776 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111255960 1576603648 325834 33554432000 4194304 16246674 140733649406112 139943348260016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1539652

[startup+25.5005 s]
/proc/loadavg: 2.18 2.14 2.10 3/183 4780
/proc/meminfo: memFree=27838708/32872528 swapFree=12328/568296
[pid=4776] ppid=4773 vsize=1942084 CPUtime=25.48 cores=0,2,4,6
/proc/4776/stat : 4776 (toysat) R 4773 4776 3396 0 -1 4202496 408342 0 0 0 2491 57 0 0 20 0 4 0 111255960 1988694016 426525 33554432000 4194304 16246674 140733649406112 140733649388032 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4776/statm: 485521 426525 917 2943 0 482415 0
[pid=4776/tid=4777] ppid=4773 vsize=1942084 CPUtime=0 cores=0,2,4,6
/proc/4776/task/4777/stat : 4777 (toysat) S 4773 4776 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 111255960 1988694016 426525 33554432000 4194304 16246674 140733649406112 139943369223408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4776/tid=4778] ppid=4773 vsize=1942084 CPUtime=0 cores=0,2,4,6
/proc/4776/task/4778/stat : 4778 (toysat) S 4773 4776 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111255960 1988694016 426525 33554432000 4194304 16246674 140733649406112 139943358733552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4776/tid=4779] ppid=4773 vsize=1942084 CPUtime=0 cores=0,2,4,6
/proc/4776/task/4779/stat : 4779 (toysat) S 4773 4776 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111255960 1988694016 426525 33554432000 4194304 16246674 140733649406112 139943348260016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1942084

[startup+51.1006 s]
/proc/loadavg: 2.19 2.15 2.10 3/183 4780
/proc/meminfo: memFree=27836568/32872528 swapFree=12328/568296
[pid=4776] ppid=4773 vsize=1942084 CPUtime=51.08 cores=0,2,4,6
/proc/4776/stat : 4776 (toysat) R 4773 4776 3396 0 -1 4202496 408342 0 0 0 5051 57 0 0 20 0 4 0 111255960 1988694016 426525 33554432000 4194304 16246674 140733649406112 140733649388032 5662859 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4776/statm: 485521 426525 917 2943 0 482415 0
[pid=4776/tid=4777] ppid=4773 vsize=1942084 CPUtime=0 cores=0,2,4,6
/proc/4776/task/4777/stat : 4777 (toysat) S 4773 4776 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 111255960 1988694016 426525 33554432000 4194304 16246674 140733649406112 139943369223408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4776/tid=4778] ppid=4773 vsize=1942084 CPUtime=0 cores=0,2,4,6
/proc/4776/task/4778/stat : 4778 (toysat) S 4773 4776 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111255960 1988694016 426525 33554432000 4194304 16246674 140733649406112 139943358733552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4776/tid=4779] ppid=4773 vsize=1942084 CPUtime=0 cores=0,2,4,6
/proc/4776/task/4779/stat : 4779 (toysat) S 4773 4776 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111255960 1988694016 426525 33554432000 4194304 16246674 140733649406112 139943348260016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1942084

[startup+102.3 s]
/proc/loadavg: 2.20 2.16 2.10 3/183 4781
/proc/meminfo: memFree=27836112/32872528 swapFree=12328/568296
[pid=4776] ppid=4773 vsize=1942084 CPUtime=102.27 cores=0,2,4,6
/proc/4776/stat : 4776 (toysat) R 4773 4776 3396 0 -1 4202496 408342 0 0 0 10170 57 0 0 20 0 4 0 111255960 1988694016 426525 33554432000 4194304 16246674 140733649406112 140733649388032 5661532 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4776/statm: 485521 426525 917 2943 0 482415 0
[pid=4776/tid=4777] ppid=4773 vsize=1942084 CPUtime=0 cores=0,2,4,6
/proc/4776/task/4777/stat : 4777 (toysat) S 4773 4776 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 111255960 1988694016 426525 33554432000 4194304 16246674 140733649406112 139943369223408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4776/tid=4778] ppid=4773 vsize=1942084 CPUtime=0 cores=0,2,4,6
/proc/4776/task/4778/stat : 4778 (toysat) S 4773 4776 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111255960 1988694016 426525 33554432000 4194304 16246674 140733649406112 139943358733552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4776/tid=4779] ppid=4773 vsize=1942084 CPUtime=0 cores=0,2,4,6
/proc/4776/task/4779/stat : 4779 (toysat) S 4773 4776 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111255960 1988694016 426525 33554432000 4194304 16246674 140733649406112 139943348260016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1942084


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

/proc/4776/task/4779/stat : 4779 (toysat) S 4773 4776 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111255960 1988694016 426781 33554432000 4194304 16246674 140733649406112 139943348260016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 1942084

[startup+1302.3 s]
/proc/loadavg: 2.25 2.21 2.13 3/183 4835
/proc/meminfo: memFree=27747180/32872528 swapFree=12328/568296
[pid=4776] ppid=4773 vsize=1942084 CPUtime=1302.08 cores=0,2,4,6
/proc/4776/stat : 4776 (toysat) R 4773 4776 3396 0 -1 4202496 408350 0 0 0 130149 59 0 0 20 0 4 0 111255960 1988694016 426781 33554432000 4194304 16246674 140733649406112 140733649388032 12483632 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4776/statm: 485521 426781 917 2943 0 482415 0
[pid=4776/tid=4777] ppid=4773 vsize=1942084 CPUtime=0 cores=0,2,4,6
/proc/4776/task/4777/stat : 4777 (toysat) S 4773 4776 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 111255960 1988694016 426781 33554432000 4194304 16246674 140733649406112 139943369223408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4776/tid=4778] ppid=4773 vsize=1942084 CPUtime=0 cores=0,2,4,6
/proc/4776/task/4778/stat : 4778 (toysat) S 4773 4776 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111255960 1988694016 426781 33554432000 4194304 16246674 140733649406112 139943358733552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4776/tid=4779] ppid=4773 vsize=1942084 CPUtime=0 cores=0,2,4,6
/proc/4776/task/4779/stat : 4779 (toysat) S 4773 4776 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111255960 1988694016 426781 33554432000 4194304 16246674 140733649406112 139943348260016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 1942084

[startup+1362.3 s]
/proc/loadavg: 2.32 2.23 2.14 3/183 4836
/proc/meminfo: memFree=27736120/32872528 swapFree=12328/568296
[pid=4776] ppid=4773 vsize=1942084 CPUtime=1362.07 cores=0,2,4,6
/proc/4776/stat : 4776 (toysat) R 4773 4776 3396 0 -1 4202496 408355 0 0 0 136148 59 0 0 20 0 4 0 111255960 1988694016 426781 33554432000 4194304 16246674 140733649406112 140733649388032 13781168 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4776/statm: 485521 426781 917 2943 0 482415 0
[pid=4776/tid=4777] ppid=4773 vsize=1942084 CPUtime=0 cores=0,2,4,6
/proc/4776/task/4777/stat : 4777 (toysat) S 4773 4776 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 111255960 1988694016 426781 33554432000 4194304 16246674 140733649406112 139943369223408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4776/tid=4778] ppid=4773 vsize=1942084 CPUtime=0 cores=0,2,4,6
/proc/4776/task/4778/stat : 4778 (toysat) S 4773 4776 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111255960 1988694016 426781 33554432000 4194304 16246674 140733649406112 139943358733552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4776/tid=4779] ppid=4773 vsize=1942084 CPUtime=0 cores=0,2,4,6
/proc/4776/task/4779/stat : 4779 (toysat) S 4773 4776 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111255960 1988694016 426781 33554432000 4194304 16246674 140733649406112 139943348260016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 1942084

[startup+1422.3 s]
/proc/loadavg: 2.17 2.20 2.13 3/183 4837
/proc/meminfo: memFree=27735888/32872528 swapFree=12328/568296
[pid=4776] ppid=4773 vsize=1942084 CPUtime=1422.06 cores=0,2,4,6
/proc/4776/stat : 4776 (toysat) R 4773 4776 3396 0 -1 4202496 408364 0 0 0 142147 59 0 0 20 0 4 0 111255960 1988694016 426785 33554432000 4194304 16246674 140733649406112 140733649388032 5711716 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4776/statm: 485521 426785 920 2943 0 482415 0
[pid=4776/tid=4777] ppid=4773 vsize=1942084 CPUtime=0 cores=0,2,4,6
/proc/4776/task/4777/stat : 4777 (toysat) S 4773 4776 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 111255960 1988694016 426785 33554432000 4194304 16246674 140733649406112 139943369223408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4776/tid=4778] ppid=4773 vsize=1942084 CPUtime=0 cores=0,2,4,6
/proc/4776/task/4778/stat : 4778 (toysat) S 4773 4776 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111255960 1988694016 426785 33554432000 4194304 16246674 140733649406112 139943358733552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4776/tid=4779] ppid=4773 vsize=1942084 CPUtime=0 cores=0,2,4,6
/proc/4776/task/4779/stat : 4779 (toysat) S 4773 4776 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111255960 1988694016 426785 33554432000 4194304 16246674 140733649406112 139943348260016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 1942084

[startup+1482.3 s]
/proc/loadavg: 2.14 2.19 2.13 3/183 4839
/proc/meminfo: memFree=27736424/32872528 swapFree=12328/568296
[pid=4776] ppid=4773 vsize=1942084 CPUtime=1482.05 cores=0,2,4,6
/proc/4776/stat : 4776 (toysat) R 4773 4776 3396 0 -1 4202496 408373 0 0 0 148145 60 0 0 20 0 4 0 111255960 1988694016 426785 33554432000 4194304 16246674 140733649406112 140733649388032 5822548 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4776/statm: 485521 426785 920 2943 0 482415 0
[pid=4776/tid=4777] ppid=4773 vsize=1942084 CPUtime=0 cores=0,2,4,6
/proc/4776/task/4777/stat : 4777 (toysat) S 4773 4776 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 111255960 1988694016 426785 33554432000 4194304 16246674 140733649406112 139943369223408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4776/tid=4778] ppid=4773 vsize=1942084 CPUtime=0 cores=0,2,4,6
/proc/4776/task/4778/stat : 4778 (toysat) S 4773 4776 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111255960 1988694016 426785 33554432000 4194304 16246674 140733649406112 139943358733552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4776/tid=4779] ppid=4773 vsize=1942084 CPUtime=0 cores=0,2,4,6
/proc/4776/task/4779/stat : 4779 (toysat) S 4773 4776 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111255960 1988694016 426785 33554432000 4194304 16246674 140733649406112 139943348260016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 1942084

[startup+1542.31 s]
/proc/loadavg: 2.15 2.18 2.13 3/183 4840
/proc/meminfo: memFree=27736164/32872528 swapFree=12328/568296
[pid=4776] ppid=4773 vsize=1942084 CPUtime=1542.05 cores=0,2,4,6
/proc/4776/stat : 4776 (toysat) R 4773 4776 3396 0 -1 4202496 408375 0 0 0 154145 60 0 0 20 0 4 0 111255960 1988694016 426785 33554432000 4194304 16246674 140733649406112 140733649388032 13820945 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4776/statm: 485521 426785 920 2943 0 482415 0
[pid=4776/tid=4777] ppid=4773 vsize=1942084 CPUtime=0 cores=0,2,4,6
/proc/4776/task/4777/stat : 4777 (toysat) S 4773 4776 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 111255960 1988694016 426785 33554432000 4194304 16246674 140733649406112 139943369223408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4776/tid=4778] ppid=4773 vsize=1942084 CPUtime=0 cores=0,2,4,6
/proc/4776/task/4778/stat : 4778 (toysat) S 4773 4776 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111255960 1988694016 426785 33554432000 4194304 16246674 140733649406112 139943358733552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4776/tid=4779] ppid=4773 vsize=1942084 CPUtime=0 cores=0,2,4,6
/proc/4776/task/4779/stat : 4779 (toysat) S 4773 4776 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111255960 1988694016 426785 33554432000 4194304 16246674 140733649406112 139943348260016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 1942084

[startup+1602.3 s]
/proc/loadavg: 2.26 2.21 2.14 3/184 4844
/proc/meminfo: memFree=27736176/32872528 swapFree=12328/568296
[pid=4776] ppid=4773 vsize=1942084 CPUtime=1602.02 cores=0,2,4,6
/proc/4776/stat : 4776 (toysat) R 4773 4776 3396 0 -1 4202496 408390 0 0 0 160142 60 0 0 20 0 4 0 111255960 1988694016 426785 33554432000 4194304 16246674 140733649406112 140733649388032 5667556 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4776/statm: 485521 426785 920 2943 0 482415 0
[pid=4776/tid=4777] ppid=4773 vsize=1942084 CPUtime=0 cores=0,2,4,6
/proc/4776/task/4777/stat : 4777 (toysat) S 4773 4776 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 111255960 1988694016 426785 33554432000 4194304 16246674 140733649406112 139943369223408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4776/tid=4778] ppid=4773 vsize=1942084 CPUtime=0 cores=0,2,4,6
/proc/4776/task/4778/stat : 4778 (toysat) S 4773 4776 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111255960 1988694016 426785 33554432000 4194304 16246674 140733649406112 139943358733552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4776/tid=4779] ppid=4773 vsize=1942084 CPUtime=0 cores=0,2,4,6
/proc/4776/task/4779/stat : 4779 (toysat) S 4773 4776 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111255960 1988694016 426785 33554432000 4194304 16246674 140733649406112 139943348260016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 1942084

[startup+1662.3 s]
/proc/loadavg: 2.14 2.18 2.13 4/183 4845
/proc/meminfo: memFree=27736480/32872528 swapFree=12328/568296
[pid=4776] ppid=4773 vsize=1942084 CPUtime=1661.99 cores=0,2,4,6
/proc/4776/stat : 4776 (toysat) R 4773 4776 3396 0 -1 4202496 408411 0 0 0 166139 60 0 0 20 0 4 0 111255960 1988694016 426785 33554432000 4194304 16246674 140733649406112 140733649388032 5669490 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4776/statm: 485521 426785 920 2943 0 482415 0
[pid=4776/tid=4777] ppid=4773 vsize=1942084 CPUtime=0 cores=0,2,4,6
/proc/4776/task/4777/stat : 4777 (toysat) S 4773 4776 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 111255960 1988694016 426785 33554432000 4194304 16246674 140733649406112 139943369223408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4776/tid=4778] ppid=4773 vsize=1942084 CPUtime=0 cores=0,2,4,6
/proc/4776/task/4778/stat : 4778 (toysat) S 4773 4776 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111255960 1988694016 426785 33554432000 4194304 16246674 140733649406112 139943358733552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4776/tid=4779] ppid=4773 vsize=1942084 CPUtime=0 cores=0,2,4,6
/proc/4776/task/4779/stat : 4779 (toysat) S 4773 4776 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111255960 1988694016 426785 33554432000 4194304 16246674 140733649406112 139943348260016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 1942084

[startup+1722.3 s]
/proc/loadavg: 2.08 2.16 2.13 3/183 4846
/proc/meminfo: memFree=27715892/32872528 swapFree=12328/568296
[pid=4776] ppid=4773 vsize=1942084 CPUtime=1721.98 cores=0,2,4,6
/proc/4776/stat : 4776 (toysat) R 4773 4776 3396 0 -1 4202496 408415 0 0 0 172138 60 0 0 20 0 4 0 111255960 1988694016 426785 33554432000 4194304 16246674 140733649406112 140733649388032 13780660 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4776/statm: 485521 426785 920 2943 0 482415 0
[pid=4776/tid=4777] ppid=4773 vsize=1942084 CPUtime=0 cores=0,2,4,6
/proc/4776/task/4777/stat : 4777 (toysat) S 4773 4776 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 111255960 1988694016 426785 33554432000 4194304 16246674 140733649406112 139943369223408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4776/tid=4778] ppid=4773 vsize=1942084 CPUtime=0 cores=0,2,4,6
/proc/4776/task/4778/stat : 4778 (toysat) S 4773 4776 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111255960 1988694016 426785 33554432000 4194304 16246674 140733649406112 139943358733552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4776/tid=4779] ppid=4773 vsize=1942084 CPUtime=0 cores=0,2,4,6
/proc/4776/task/4779/stat : 4779 (toysat) S 4773 4776 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111255960 1988694016 426785 33554432000 4194304 16246674 140733649406112 139943348260016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 1942084

[startup+1782.3 s]
/proc/loadavg: 2.08 2.14 2.12 3/183 4896
/proc/meminfo: memFree=27665404/32872528 swapFree=12328/568296
[pid=4776] ppid=4773 vsize=1942084 CPUtime=1781.97 cores=0,2,4,6
/proc/4776/stat : 4776 (toysat) R 4773 4776 3396 0 -1 4202496 408418 0 0 0 178137 60 0 0 20 0 4 0 111255960 1988694016 426785 33554432000 4194304 16246674 140733649406112 140733649388032 5677392 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4776/statm: 485521 426785 920 2943 0 482415 0
[pid=4776/tid=4777] ppid=4773 vsize=1942084 CPUtime=0 cores=0,2,4,6
/proc/4776/task/4777/stat : 4777 (toysat) S 4773 4776 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 111255960 1988694016 426785 33554432000 4194304 16246674 140733649406112 139943369223408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4776/tid=4778] ppid=4773 vsize=1942084 CPUtime=0 cores=0,2,4,6
/proc/4776/task/4778/stat : 4778 (toysat) S 4773 4776 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111255960 1988694016 426785 33554432000 4194304 16246674 140733649406112 139943358733552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4776/tid=4779] ppid=4773 vsize=1942084 CPUtime=0 cores=0,2,4,6
/proc/4776/task/4779/stat : 4779 (toysat) S 4773 4776 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111255960 1988694016 426785 33554432000 4194304 16246674 140733649406112 139943348260016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 1942084



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.14 2.15 2.12 3/183 4896
/proc/meminfo: memFree=27664756/32872528 swapFree=12328/568296
[pid=4776] ppid=4773 vsize=1942084 CPUtime=1800.07 cores=0,2,4,6
/proc/4776/stat : 4776 (toysat) R 4773 4776 3396 0 -1 4202496 408421 0 0 0 179947 60 0 0 20 0 4 0 111255960 1988694016 426785 33554432000 4194304 16246674 140733649406112 140733649388032 12483664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4776/statm: 485521 426785 920 2943 0 482415 0
[pid=4776/tid=4777] ppid=4773 vsize=1942084 CPUtime=0 cores=0,2,4,6
/proc/4776/task/4777/stat : 4777 (toysat) S 4773 4776 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 111255960 1988694016 426785 33554432000 4194304 16246674 140733649406112 139943369223408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4776/tid=4778] ppid=4773 vsize=1942084 CPUtime=0 cores=0,2,4,6
/proc/4776/task/4778/stat : 4778 (toysat) S 4773 4776 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111255960 1988694016 426785 33554432000 4194304 16246674 140733649406112 139943358733552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4776/tid=4779] ppid=4773 vsize=1942084 CPUtime=0 cores=0,2,4,6
/proc/4776/task/4779/stat : 4779 (toysat) S 4773 4776 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111255960 1988694016 426785 33554432000 4194304 16246674 140733649406112 139943348260016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1942084

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.43
CPU time (s): 1800.1
CPU user time (s): 1799.47
CPU system time (s): 0.625904
CPU usage (%): 99.9814
Max. virtual memory (cumulated for all children) (KiB): 1942084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.47
system time used= 0.625904
maximum resident set size= 1707140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 408421
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= 107
involuntary context switches= 1873

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.5791 second user time and 14.7478 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-07 11:53:54
IDJOB=4080061
IDBENCH=90887
IDSOLVER=2542
FILE ID=node138/4080061-1465293233
RUNJOBID= node138-1465278758-3412
PBS_JOBID= 19843315
Free space on /tmp= 71680 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_luby_10null20mast_rapportOE1.0_TMAX300_K192_cod2.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080061-1465293233/watcher-4080061-1465293233 -o /tmp/evaluation-result-4080061-1465293233/solver-4080061-1465293233 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1465278758-3412 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080061-1465293233.opb

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

MD5SUM BENCH= ecfb37e57149da15322fff965cafdd0d
RANDOM SEED=283885337

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29544160 kB
Buffers:          119232 kB
Cached:           317288 kB
SwapCached:        46740 kB
Active:          1732480 kB
Inactive:         288124 kB
Active(anon):    1539064 kB
Inactive(anon):    47688 kB
Active(file):     193416 kB
Inactive(file):   240436 kB
Unevictable:      568296 kB
Mlocked:           12328 kB
SwapTotal:      67108856 kB
SwapFree:       67053656 kB
Dirty:             43928 kB
Writeback:             0 kB
AnonPages:       2107096 kB
Mapped:            11856 kB
Shmem:                 0 kB
Slab:             605316 kB
SReclaimable:      48620 kB
SUnreclaim:       556696 kB
KernelStack:        1448 kB
PageTables:         8528 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2254100 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    630784 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= 71664 MiB
End job on node138 at 2016-06-07 12:23:54