Trace number 4080073

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.41

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_unif_10null20mast_rapportOE1.0_TMAX300_K192_cod2.opb
MD5SUM8d651cc878ba5f8db7c83d3bfed1cb1c
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-51080
Best CPU time to get the best result obtained on this benchmark1800.12
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 1000
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 987807
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1000
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 987807
Number of bits of the biggest sum of numbers20
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:52: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-4080073-1465293173.opb"]
0.00/0.01	c use --random-gen="954640519 1157590501 893681340 2229059811 149704738 2704499461 3124300668 1913032420 2862023800 3789372131 989754543 3414043126 2285578468 3794061922 3209876057 570428158 1706539925 4049046414 4244713032 2598090663 1275884869 3086279712 1224211394 3375462890 1501973155 3155775538 2553040434 2598113860 2457174879 2047006839 3737521702 4294292681 2801367990 1950640015 116207719 2590069415 3000660807 1997773510 2487552984 160195087 349344683 2191125049 3783717144 14253008 2468514152 789736633 4073876855 1531713684 2895486328 958043906 1501747406 3358880449 2839011393 2602991799 2045984380 2537474899 678630998 2321375075 2177425272 1193703416 1251709477 3317162356 1637598890 1307283393 2846443736 1859696958 2133042656 3080225441 1300695109 254953493 3284004079 3791629135 4240855439 1092765152 1289680135 4144226453 451977982 2946178506 1576647125 3253458621 2770416492 3354527295 1359973631 1502325559 3813669123 2525942455 2765153622 129937494 1965516820 3264048192 3260820174 47953728 4147416843 66469655 4041346749 1766610571 4204637860 3816043317 3250801601 230506290 323172697 3406335253 1821966926 4074182070 2791539242 2082047239 4169814317 776695514 749326171 3994640363 3624720174 3438637262 3676127682 975737963 587384405 4008326413 150663189 1476540951 1468257436 2986129504 219743944 3040194961 2316716438 3774606718 129224746 73007771 175110037 2532370791 829995654 981216394 1999104501 1696023166 1878588063 1180692451 3837103550 2899742830 4171979411 4053689791 2193412810 4252173304 2926701888 223865721 3250655235 1821535947 1849391193 1456753591 3491951052 3904050723 2837297795 3948222307 580230208 1659700245 2263827159 1538380446 1414973006 1510168299 1882246 1946314274 3214154343 3041112958 709614650 3831188102 3835757743 4285694385 4255363579 3552877404 2880241597 3453859998 2446487790 938679629 2699682563 728037376 3229354310 378090938 231094122 4220157532 4022418673 2767699285 3470373028 3045354315 4212125593 1819586368 3611814343 639787210 2079948674 3932175753 3547848808 4281302109 345998734 1175418509 455447643 1685515204 1249993266 3911786760 4114708976 2205420889 926691380 3272445026 287893750 1674903329 2719004680 1668634322 408114027 291515947 4174481254 3040944761 579958685 1883271088 2006157747 3857506482 3749839514 2406312758 3246798323 3783486963 2494497674 4082480903 286168444 2752214690 2873903061 2842133543 1745413191 1589942217 3693937029 2394375098 1880593699 3379044936 290621069 1958785474 4100736730 2522659876 2839750224 3009746127 4270908958 1693027555 4044096041 1804208100 359573516 3207693199 428725915 1132343357 343638135 616087606 3062945361 688679837 2105722636 1000310575 3190925229 3097534048 3169476821 3735741986 4154191819 2632413933 3808814408 852505647 2001239534 93694688 255 362436" option to reproduce the execution
4.49/4.55	c #vars 400896
4.49/4.55	c #constraints 402763
13.29/13.31	c BCD2: Hardening is enabled.
13.29/13.31	c BCD2: BiasedSearch is enabled.
13.29/13.31	c Solving starts ...
13.29/13.31	c ============================[ Search Statistics ]============================
13.29/13.31	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
13.29/13.31	c       |         |          |          |    Limit     GC | Var      | Constra 
13.29/13.31	c =============================================================================
13.29/13.33	c  0.0s |       0 |        0 |        0 |   267886      0 |        0 |        0
16.68/16.76	c  3.4s |       0 |       20 |        1 |   267886      0 |       19 |       19
16.68/16.76	c #cpu_time = 3.141s
16.68/16.76	c #wall_clock_time = 3.141s
16.68/16.76	c #decision = 20
16.68/16.76	c #random_decision = 0
16.68/16.76	c #conflict = 1
16.68/16.76	c #restart = 0
16.68/16.76	o 0
16.78/16.87	c BCD2: refineUB: 987806 -> 987805
16.78/16.87	c BCD2: updating upper bound: 987807 -> 987805
16.78/16.87	c BCD2: 0 <= obj <= 987805
16.78/16.87	c BCD2: #cores=0, #unrelaxed=1605, #relaxed=0, #hardened=0
16.78/16.87	c BCD2: #sat=1 #unsat=1 bias=1/2
16.78/16.87	c Solving starts ...
16.78/16.87	c ============================[ Search Statistics ]============================
16.78/16.87	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
16.78/16.87	c       |         |          |          |    Limit     GC | Var      | Constra 
16.78/16.87	c =============================================================================
16.78/16.87	c  0.0s |       0 |        0 |        0 |   267886      0 |       19 |       19
17.28/17.34	c  0.5s |       0 |      100 |        0 |   267886      0 |       19 |       19
17.28/17.34	c #cpu_time = 0.436s
17.28/17.34	c #wall_clock_time = 0.436s
17.28/17.34	c #decision = 100
17.28/17.34	c #random_decision = 0
17.28/17.34	c #conflict = 0
17.28/17.34	c #restart = 0
17.28/17.34	c BCD2: found a new core of size 100: cost of the new core is >=3
17.28/17.34	c lower bound updated to -987804
17.38/17.47	c BCD2: refineUB: 987806 -> 987805
17.38/17.47	c BCD2: 3 <= obj <= 987805
17.38/17.47	c BCD2: #cores=1, #unrelaxed=1505, #relaxed=100, #hardened=0
17.38/17.47	c BCD2: #sat=1 #unsat=2 bias=2/3
17.38/17.48	c Solving starts ...
17.38/17.48	c ============================[ Search Statistics ]============================
17.38/17.48	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
17.38/17.48	c       |         |          |          |    Limit     GC | Var      | Constra 
17.38/17.48	c =============================================================================
17.38/17.48	c  0.0s |       0 |        0 |        0 |   267886      0 |       19 |       19
17.78/17.87	c  0.4s |       0 |      102 |        0 |   267886      0 |       19 |       19
17.78/17.87	c #cpu_time = 0.376s
17.78/17.87	c #wall_clock_time = 0.376s
17.78/17.87	c #decision = 102
17.78/17.87	c #random_decision = 0
17.78/17.87	c #conflict = 0
17.78/17.87	c #restart = 0
17.78/17.87	c BCD2: found a new core of size 102: cost of the new core is >=12
17.78/17.87	c lower bound updated to -987792
17.88/17.97	c BCD2: refineUB: 987806 -> 987805
17.88/17.97	c BCD2: 15 <= obj <= 987805
17.88/17.97	c BCD2: #cores=2, #unrelaxed=1403, #relaxed=202, #hardened=0
17.88/17.97	c BCD2: #sat=1 #unsat=3 bias=3/4
17.88/17.97	c Solving starts ...
17.88/17.97	c ============================[ Search Statistics ]============================
17.88/17.97	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
17.88/17.97	c       |         |          |          |    Limit     GC | Var      | Constra 
17.88/17.97	c =============================================================================
17.88/17.97	c  0.0s |       0 |        0 |        0 |   267886      0 |       19 |       19
18.38/18.47	c  0.5s |       0 |       94 |        1 |   267886      0 |       19 |       19
18.38/18.47	c #cpu_time = 0.484s
18.38/18.47	c #wall_clock_time = 0.484s
18.38/18.47	c #decision = 94
18.38/18.47	c #random_decision = 0
18.38/18.47	c #conflict = 1
18.38/18.47	c #restart = 0
18.38/18.47	c BCD2: relaxing 92 and merging with 1 cores into a new core of size 194: cost of the new core is >=21
18.38/18.47	c lower bound updated to -987783
18.48/18.58	c BCD2: refineUB: 987806 -> 987805
18.48/18.58	c BCD2: 24 <= obj <= 987805
18.48/18.58	c BCD2: #cores=2, #unrelaxed=1311, #relaxed=294, #hardened=0
18.48/18.58	c BCD2: #sat=1 #unsat=4 bias=4/5
18.48/18.58	c Solving starts ...
18.48/18.58	c ============================[ Search Statistics ]============================
18.48/18.58	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
18.48/18.58	c       |         |          |          |    Limit     GC | Var      | Constra 
18.48/18.58	c =============================================================================
18.48/18.58	c  0.0s |       0 |        0 |        0 |   267886      0 |       20 |       19
18.98/19.07	c  0.5s |       0 |      100 |        1 |   267886      0 |       20 |       20
18.98/19.07	c #cpu_time = 0.493s
18.98/19.07	c #wall_clock_time = 0.493s
18.98/19.07	c #decision = 100
18.98/19.07	c #random_decision = 0
18.98/19.07	c #conflict = 1
18.98/19.07	c #restart = 0
18.98/19.07	c BCD2: relaxing 98 and merging with 1 cores into a new core of size 292: cost of the new core is >=51
18.98/19.07	c lower bound updated to -987753
19.08/19.17	c BCD2: refineUB: 987806 -> 987805
19.08/19.17	c BCD2: 54 <= obj <= 987805
19.08/19.17	c BCD2: #cores=2, #unrelaxed=1213, #relaxed=392, #hardened=0
19.08/19.17	c BCD2: #sat=1 #unsat=5 bias=5/6
19.08/19.17	c Solving starts ...
19.08/19.17	c ============================[ Search Statistics ]============================
19.08/19.17	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
19.08/19.17	c       |         |          |          |    Limit     GC | Var      | Constra 
19.08/19.17	c =============================================================================
19.08/19.17	c  0.0s |       0 |        0 |        0 |   267886      0 |       21 |       20
20.38/20.49	c  1.3s |       0 |      100 |        0 |   267886      0 |       21 |       21
20.38/20.49	c #cpu_time = 1.292s
20.38/20.49	c #wall_clock_time = 1.292s
20.38/20.49	c #decision = 100
20.38/20.49	c #random_decision = 0
20.38/20.49	c #conflict = 0
20.38/20.49	c #restart = 0
20.38/20.49	c BCD2: found a new core of size 97: cost of the new core is >=6
20.38/20.49	c lower bound updated to -987747
20.48/20.57	c BCD2: refineUB: 987806 -> 987805
20.48/20.57	c BCD2: 60 <= obj <= 987805
20.48/20.57	c BCD2: #cores=3, #unrelaxed=1116, #relaxed=489, #hardened=0
20.48/20.57	c BCD2: #sat=1 #unsat=6 bias=6/7
20.48/20.57	c Solving starts ...
20.48/20.57	c ============================[ Search Statistics ]============================
20.48/20.57	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
20.48/20.57	c       |         |          |          |    Limit     GC | Var      | Constra 
20.48/20.57	c =============================================================================
20.58/20.63	c  0.0s |       0 |        0 |        0 |   267886      0 |       21 |       21
20.98/21.08	c  0.4s |       0 |      103 |        1 |   267886      0 |       21 |       21
20.98/21.08	c #cpu_time = 0.424s
20.98/21.08	c #wall_clock_time = 0.424s
20.98/21.08	c #decision = 103
20.98/21.08	c #random_decision = 0
20.98/21.08	c #conflict = 1
20.98/21.08	c #restart = 0
20.98/21.08	c BCD2: relaxing 100 and merging with 1 cores into a new core of size 197: cost of the new core is >=51
20.98/21.08	c lower bound updated to -987702
21.18/21.22	c BCD2: refineUB: 987806 -> 987805
21.18/21.22	c BCD2: 105 <= obj <= 987805
21.18/21.22	c BCD2: #cores=3, #unrelaxed=1016, #relaxed=589, #hardened=0
21.18/21.22	c BCD2: #sat=1 #unsat=7 bias=7/8
21.18/21.23	c Solving starts ...
21.18/21.23	c ============================[ Search Statistics ]============================
21.18/21.23	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
21.18/21.23	c       |         |          |          |    Limit     GC | Var      | Constra 
21.18/21.23	c =============================================================================
21.18/21.24	c  0.0s |       0 |        0 |        0 |   267886      0 |       22 |       21
21.58/21.63	c  0.4s |       0 |       90 |        0 |   267886      0 |       22 |       22
21.58/21.63	c #cpu_time = 0.375s
21.58/21.63	c #wall_clock_time = 0.375s
21.58/21.63	c #decision = 90
21.58/21.63	c #random_decision = 0
21.58/21.63	c #conflict = 0
21.58/21.63	c #restart = 0
21.58/21.63	c BCD2: found a new core of size 88: cost of the new core is >=10
21.58/21.63	c lower bound updated to -987692
21.68/21.75	c BCD2: refineUB: 987806 -> 987805
21.68/21.75	c BCD2: 115 <= obj <= 987805
21.68/21.75	c BCD2: #cores=4, #unrelaxed=928, #relaxed=677, #hardened=0
21.68/21.75	c BCD2: #sat=1 #unsat=8 bias=8/9
21.68/21.76	c Solving starts ...
21.68/21.76	c ============================[ Search Statistics ]============================
21.68/21.76	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
21.68/21.76	c       |         |          |          |    Limit     GC | Var      | Constra 
21.68/21.76	c =============================================================================
21.68/21.77	c  0.0s |       0 |        0 |        0 |   267886      0 |       22 |       22
22.18/22.24	c  0.5s |       0 |      103 |        1 |   267886      0 |       22 |       22
22.18/22.24	c #cpu_time = 0.450s
22.18/22.24	c #wall_clock_time = 0.450s
22.18/22.24	c #decision = 103
22.18/22.24	c #random_decision = 0
22.18/22.24	c #conflict = 1
22.18/22.24	c #restart = 0
22.18/22.24	c BCD2: relaxing 99 and merging with 1 cores into a new core of size 187: cost of the new core is >=35
22.18/22.24	c lower bound updated to -987667
22.28/22.39	c BCD2: refineUB: 987806 -> 987805
22.28/22.39	c BCD2: 140 <= obj <= 987805
22.28/22.39	c BCD2: #cores=4, #unrelaxed=829, #relaxed=776, #hardened=0
22.28/22.39	c BCD2: #sat=1 #unsat=9 bias=9/10
22.38/22.41	c Solving starts ...
22.38/22.41	c ============================[ Search Statistics ]============================
22.38/22.41	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
22.38/22.41	c       |         |          |          |    Limit     GC | Var      | Constra 
22.38/22.41	c =============================================================================
22.38/22.41	c  0.0s |       0 |        0 |        0 |   267886      0 |       23 |       22
22.78/22.87	c  0.5s |       0 |      107 |        0 |   267886      0 |       23 |       23
22.78/22.87	c #cpu_time = 0.424s
22.78/22.87	c #wall_clock_time = 0.424s
22.78/22.87	c #decision = 107
22.78/22.87	c #random_decision = 0
22.78/22.87	c #conflict = 0
22.78/22.87	c #restart = 0
22.78/22.87	c BCD2: found a new core of size 103: cost of the new core is >=15
22.78/22.87	c lower bound updated to -987652
22.98/23.02	c BCD2: refineUB: 987806 -> 987805
22.98/23.02	c BCD2: 155 <= obj <= 987805
22.98/23.02	c BCD2: #cores=5, #unrelaxed=726, #relaxed=879, #hardened=0
22.98/23.02	c BCD2: #sat=1 #unsat=10 bias=10/11
22.98/23.02	c Solving starts ...
22.98/23.02	c ============================[ Search Statistics ]============================
22.98/23.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
22.98/23.02	c       |         |          |          |    Limit     GC | Var      | Constra 
22.98/23.02	c =============================================================================
22.98/23.03	c  0.0s |       0 |        0 |        0 |   267886      0 |       23 |       23
23.48/23.51	c  0.5s |       0 |      105 |        1 |   267886      0 |       23 |       23
23.48/23.51	c #cpu_time = 0.463s
23.48/23.51	c #wall_clock_time = 0.463s
23.48/23.51	c #decision = 105
23.48/23.51	c #random_decision = 0
23.48/23.51	c #conflict = 1
23.48/23.51	c #restart = 0
23.48/23.51	c BCD2: relaxing 100 and merging with 1 cores into a new core of size 203: cost of the new core is >=21
23.48/23.51	c lower bound updated to -987646
23.58/23.67	c BCD2: refineUB: 987806 -> 987805
23.58/23.67	c BCD2: 161 <= obj <= 987805
23.58/23.67	c BCD2: #cores=5, #unrelaxed=626, #relaxed=979, #hardened=0
23.58/23.67	c BCD2: #sat=1 #unsat=11 bias=11/12
23.58/23.67	c Solving starts ...
23.58/23.67	c ============================[ Search Statistics ]============================
23.58/23.67	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
23.58/23.67	c       |         |          |          |    Limit     GC | Var      | Constra 
23.58/23.67	c =============================================================================
23.58/23.68	c  0.0s |       0 |        0 |        0 |   267886      0 |       24 |       23
24.08/24.15	c  0.5s |       0 |      105 |        0 |   267886      0 |       24 |       24
24.08/24.15	c #cpu_time = 0.435s
24.08/24.15	c #wall_clock_time = 0.435s
24.08/24.15	c #decision = 105
24.08/24.15	c #random_decision = 0
24.08/24.15	c #conflict = 0
24.08/24.15	c #restart = 0
24.08/24.15	c BCD2: found a new core of size 98: cost of the new core is >=50
24.08/24.15	c lower bound updated to -987596
24.28/24.31	c BCD2: refineUB: 987806 -> 987805
24.28/24.31	c BCD2: 211 <= obj <= 987805
24.28/24.31	c BCD2: #cores=6, #unrelaxed=528, #relaxed=1077, #hardened=0
24.28/24.31	c BCD2: #sat=1 #unsat=12 bias=12/13
24.28/24.31	c Solving starts ...
24.28/24.31	c ============================[ Search Statistics ]============================
24.28/24.31	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
24.28/24.31	c       |         |          |          |    Limit     GC | Var      | Constra 
24.28/24.31	c =============================================================================
24.28/24.32	c  0.0s |       0 |        0 |        0 |   267886      0 |       24 |       24
24.78/24.84	c  0.5s |       0 |      110 |        0 |   267886      0 |       24 |       24
24.78/24.84	c #cpu_time = 0.420s
24.78/24.84	c #wall_clock_time = 0.420s
24.78/24.84	c #decision = 110
24.78/24.84	c #random_decision = 0
24.78/24.84	c #conflict = 0
24.78/24.84	c #restart = 0
24.78/24.84	c BCD2: found a new core of size 104: cost of the new core is >=2
24.78/24.84	c lower bound updated to -987594
24.88/24.93	c BCD2: refineUB: 987806 -> 987805
24.88/24.93	c BCD2: 213 <= obj <= 987805
24.88/24.93	c BCD2: #cores=7, #unrelaxed=424, #relaxed=1181, #hardened=0
24.88/24.93	c BCD2: #sat=1 #unsat=13 bias=13/14
24.88/24.93	c Solving starts ...
24.88/24.93	c ============================[ Search Statistics ]============================
24.88/24.93	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
24.88/24.93	c       |         |          |          |    Limit     GC | Var      | Constra 
24.88/24.93	c =============================================================================
24.88/24.96	c  0.0s |       0 |        0 |        0 |   267886      0 |       24 |       24
25.28/25.33	c  0.4s |       0 |      111 |        0 |   267886      0 |       24 |       24
25.28/25.33	c #cpu_time = 0.359s
25.28/25.33	c #wall_clock_time = 0.359s
25.28/25.33	c #decision = 111
25.28/25.33	c #random_decision = 0
25.28/25.33	c #conflict = 0
25.28/25.33	c #restart = 0
25.28/25.33	c BCD2: found a new core of size 105: cost of the new core is >=5
25.28/25.33	c lower bound updated to -987589
25.38/25.45	c BCD2: refineUB: 987806 -> 987805
25.38/25.45	c BCD2: 218 <= obj <= 987805
25.38/25.45	c BCD2: #cores=8, #unrelaxed=319, #relaxed=1286, #hardened=0
25.38/25.45	c BCD2: #sat=1 #unsat=14 bias=14/15
25.38/25.45	c Solving starts ...
25.38/25.45	c ============================[ Search Statistics ]============================
25.38/25.45	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
25.38/25.45	c       |         |          |          |    Limit     GC | Var      | Constra 
25.38/25.45	c =============================================================================
25.38/25.46	c  0.0s |       0 |        0 |        0 |   267886      0 |       24 |       24
25.88/25.90	c  0.4s |       0 |      105 |        0 |   267886      0 |       24 |       24
25.88/25.90	c #cpu_time = 0.374s
25.88/25.90	c #wall_clock_time = 0.374s
25.88/25.90	c #decision = 105
25.88/25.90	c #random_decision = 0
25.88/25.90	c #conflict = 0
25.88/25.90	c #restart = 0
25.88/25.90	c BCD2: found a new core of size 97: cost of the new core is >=6
25.88/25.90	c lower bound updated to -987583
25.88/25.98	c BCD2: refineUB: 987806 -> 987805
25.88/25.98	c BCD2: 224 <= obj <= 987805
25.88/25.98	c BCD2: #cores=9, #unrelaxed=222, #relaxed=1383, #hardened=0
25.88/25.98	c BCD2: #sat=1 #unsat=15 bias=15/16
25.88/25.99	c Solving starts ...
25.88/25.99	c ============================[ Search Statistics ]============================
25.88/25.99	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
25.88/25.99	c       |         |          |          |    Limit     GC | Var      | Constra 
25.88/25.99	c =============================================================================
25.98/26.01	c  0.0s |       0 |        0 |        0 |   267886      0 |       24 |       24
26.38/26.44	c  0.4s |       0 |      114 |        0 |   267886      0 |       24 |       24
26.38/26.44	c #cpu_time = 0.418s
26.38/26.44	c #wall_clock_time = 0.418s
26.38/26.44	c #decision = 114
26.38/26.44	c #random_decision = 0
26.38/26.44	c #conflict = 0
26.38/26.44	c #restart = 0
26.38/26.44	c BCD2: found a new core of size 106: cost of the new core is >=10
26.38/26.44	c lower bound updated to -987573
26.48/26.53	c BCD2: refineUB: 987806 -> 987805
26.48/26.53	c BCD2: 234 <= obj <= 987805
26.48/26.53	c BCD2: #cores=10, #unrelaxed=116, #relaxed=1489, #hardened=0
26.48/26.53	c BCD2: #sat=1 #unsat=16 bias=16/17
26.48/26.53	c Solving starts ...
26.48/26.53	c ============================[ Search Statistics ]============================
26.48/26.53	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
26.48/26.53	c       |         |          |          |    Limit     GC | Var      | Constra 
26.48/26.53	c =============================================================================
26.48/26.56	c  0.0s |       0 |        0 |        0 |   267886      0 |       24 |       24
26.97/27.05	c  0.5s |       0 |      115 |        0 |   267886      0 |       24 |       24
26.97/27.05	c #cpu_time = 0.452s
26.97/27.05	c #wall_clock_time = 0.452s
26.97/27.05	c #decision = 115
26.97/27.05	c #random_decision = 0
26.97/27.05	c #conflict = 0
26.97/27.05	c #restart = 0
26.97/27.05	c BCD2: found a new core of size 103: cost of the new core is >=52
26.97/27.05	c lower bound updated to -987521
27.07/27.13	c BCD2: refineUB: 987806 -> 987805
27.07/27.13	c BCD2: 286 <= obj <= 987805
27.07/27.13	c BCD2: #cores=11, #unrelaxed=13, #relaxed=1592, #hardened=0
27.07/27.13	c BCD2: #sat=1 #unsat=17 bias=17/18
27.07/27.14	c Solving starts ...
27.07/27.14	c ============================[ Search Statistics ]============================
27.07/27.14	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
27.07/27.14	c       |         |          |          |    Limit     GC | Var      | Constra 
27.07/27.14	c =============================================================================
27.07/27.19	c  0.0s |       0 |        0 |        0 |   267886      0 |       24 |       24
32.87/32.96	c  5.8s |       0 |     9450 |      100 |   294675      0 |       24 |       24
33.08/33.13	c  5.9s |       1 |     9450 |      100 |   294675      0 |       24 |       24
38.17/38.20	c 11.0s |       1 |    74144 |      200 |   294675      0 |       24 |       24
39.17/39.28	c 12.1s |       2 |    74193 |      250 |   324143      0 |       24 |       24
45.27/45.32	c 18.1s |       2 |    74725 |      350 |   324143      0 |       24 |       24
52.78/52.88	c 25.7s |       2 |    74841 |      450 |   324143      0 |       24 |       24
55.37/55.45	c 28.3s |       3 |    74870 |      475 |   356558      0 |       24 |       24
77.77/77.82	c 50.6s |       3 |    76762 |      575 |   356558      0 |       24 |       24
105.07/105.13	c 77.9s |       3 |    77282 |      675 |   356558      0 |       24 |       24
135.86/135.96	c  108s |       3 |    77425 |      775 |   356558      0 |       24 |       24
147.76/147.85	c  120s |       4 |    77496 |      813 |   392214      0 |       24 |       24
178.35/178.40	c  151s |       4 |    78126 |      913 |   392214      0 |       24 |       24
211.25/211.33	c  184s |       4 |    78254 |     1013 |   392214      0 |       24 |       24
234.64/234.71	c  207s |       4 |    78952 |     1113 |   392214      0 |       24 |       24
259.94/260.00	c  232s |       4 |    80479 |     1213 |   392214      0 |       24 |       24
292.74/292.83	c  265s |       4 |    80587 |     1313 |   392214      0 |       24 |       24
295.24/295.37	c  268s |       5 |    80600 |     1320 |   431436      0 |       24 |       24
321.43/321.58	c  294s |       5 |    81068 |     1420 |   431436      0 |       24 |       24
346.43/346.60	c  319s |       5 |    81410 |     1520 |   431436      0 |       24 |       24
374.22/374.34	c  347s |       5 |    81590 |     1620 |   431436      0 |       24 |       24
404.72/404.83	c  377s |       5 |    81881 |     1720 |   431436      0 |       24 |       24
425.41/425.52	c  398s |       5 |    82089 |     1820 |   431436      0 |       24 |       24
458.21/458.33	c  431s |       5 |    82281 |     1920 |   431436      0 |       24 |       24
488.59/488.76	c  461s |       5 |    82462 |     2020 |   431436      0 |       24 |       24
510.19/510.34	c  483s |       6 |    82563 |     2081 |   474580      0 |       24 |       24
538.58/538.79	c  511s |       6 |    83115 |     2181 |   474580      0 |       24 |       24
575.39/575.50	c  548s |       6 |    83324 |     2281 |   474580      0 |       24 |       24
603.58/603.72	c  576s |       6 |    83897 |     2381 |   474580      0 |       24 |       24
627.18/627.34	c  600s |       6 |    84232 |     2481 |   474580      0 |       24 |       24
653.57/653.77	c  626s |       6 |    84574 |     2581 |   474580      0 |       24 |       24
679.47/679.62	c  652s |       6 |    84870 |     2681 |   474580      0 |       24 |       24
711.06/711.23	c  684s |       6 |    85015 |     2781 |   474580      0 |       24 |       24
729.46/729.60	c  702s |       6 |    85361 |     2881 |   474580      0 |       24 |       24
753.25/753.42	c  726s |       6 |    85985 |     2981 |   474580      0 |       24 |       24
773.85/774.05	c  746s |       6 |    86734 |     3081 |   474580      0 |       24 |       24
801.45/801.70	c  774s |       6 |    87011 |     3181 |   474580      0 |       24 |       24
813.44/813.69	c  786s |       7 |    87098 |     3223 |   522039      0 |       24 |       24
826.54/826.73	c  799s |       7 |    87885 |     3323 |   522039      0 |       24 |       24
840.25/840.43	c  813s |       7 |    89286 |     3423 |   522039      0 |       24 |       24
856.93/857.18	c  829s |       7 |    89794 |     3523 |   522039      0 |       24 |       24
870.13/870.33	c  843s |       7 |    92280 |     3623 |   522039      0 |       24 |       24
908.63/908.82	c  881s |       7 |    92388 |     3723 |   522039      0 |       24 |       24
947.62/947.81	c  920s |       7 |    92593 |     3823 |   522039      0 |       24 |       24
958.22/958.40	c  931s |       7 |    94289 |     3923 |   522039      0 |       24 |       24
969.92/970.14	c  942s |       7 |    94785 |     4023 |   522039      0 |       24 |       24
1004.91/1005.13	c  977s |       7 |    94894 |     4123 |   522039      0 |       24 |       24
1034.41/1034.69	c 1007s |       7 |    95387 |     4223 |   522039      0 |       24 |       24
1049.60/1049.80	c 1022s |       7 |    97122 |     4323 |   522039      0 |       24 |       24
1075.71/1075.99	c 1048s |       7 |    97645 |     4423 |   522039      0 |       24 |       24
1107.20/1107.49	c 1080s |       7 |    97929 |     4523 |   522039      0 |       24 |       24
1133.19/1133.44	c 1106s |       7 |    98155 |     4623 |   522039      0 |       24 |       24
1158.29/1158.59	c 1131s |       7 |    98288 |     4723 |   522039      0 |       24 |       24
1189.28/1189.54	c 1162s |       7 |    98458 |     4823 |   522039      0 |       24 |       24
1216.18/1216.45	c 1189s |       7 |    98715 |     4923 |   574243      0 |       24 |       24
1221.48/1221.74	c 1194s |       8 |    98832 |     4936 |   574243      0 |       24 |       24
1258.67/1258.96	c 1231s |       8 |    99183 |     5036 |   574243      0 |       24 |       24
1287.57/1287.81	c 1260s |       8 |    99509 |     5136 |   574243      0 |       24 |       24
1317.57/1317.82	c 1290s |       8 |    99914 |     5236 |   574243      0 |       24 |       24
1348.86/1349.15	c 1321s |       8 |   100105 |     5336 |   574243      0 |       24 |       24
1379.65/1379.92	c 1352s |       8 |   100250 |     5436 |   574243      0 |       24 |       24
1410.55/1410.80	c 1383s |       8 |   100490 |     5536 |   574243      0 |       24 |       24
1446.64/1446.97	c 1419s |       8 |   100637 |     5636 |   574243      0 |       24 |       24
1479.84/1480.12	c 1452s |       8 |   100879 |     5736 |   574243      0 |       24 |       24
1516.53/1516.82	c 1489s |       8 |   101007 |     5836 |   574243      0 |       24 |       24
1551.93/1552.23	c 1525s |       8 |   101171 |     5936 |   574243      0 |       24 |       24
1584.93/1585.20	c 1558s |       8 |   101297 |     6036 |   574243      0 |       24 |       24
1621.12/1621.49	c 1594s |       8 |   101417 |     6136 |   574243      0 |       24 |       24
1655.51/1655.89	c 1628s |       8 |   101609 |     6236 |   574243      0 |       24 |       24
1689.81/1690.15	c 1662s |       8 |   101813 |     6336 |   574243      0 |       24 |       24
1713.51/1713.83	c 1686s |       8 |   101947 |     6436 |   574243      0 |       24 |       24
1751.90/1752.21	c 1725s |       8 |   102056 |     6536 |   574243      0 |       24 |       24
1790.99/1791.31	c 1764s |       8 |   102221 |     6636 |   574243      0 |       24 |       24

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

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

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


[startup+0 s]
/proc/loadavg: 2.26 2.21 2.18 3/179 11072
/proc/meminfo: memFree=29075948/32872528 swapFree=16384/1696552
[pid=11072] ppid=11069 vsize=269756 CPUtime=0 cores=1,3,5,7
/proc/11072/stat : 11072 (toysat) R 11069 11072 5723 0 -1 4202496 926 0 0 0 0 0 0 0 20 0 4 0 111250496 276230144 1797 33554432000 4194304 16246674 140735783180624 140735783180048 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11072/statm: 68207 1807 441 2943 0 65101 0
[pid=11072/tid=11073] ppid=11069 vsize=286140 CPUtime=0 cores=1,3,5,7
/proc/11072/task/11073/stat : 11073 (toysat) S 11069 11072 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111250497 293007360 1861 33554432000 4194304 16246674 140735783180624 139678810352880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11072/tid=11074] ppid=11069 vsize=290236 CPUtime=0 cores=1,3,5,7
/proc/11072/task/11074/stat : 11074 (toysat) S 11069 11072 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111250497 297201664 1876 33554432000 4194304 16246674 140735783180624 139678799863024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11072/tid=11075] ppid=11069 vsize=294332 CPUtime=0 cores=1,3,5,7
/proc/11072/task/11075/stat : 11075 (toysat) S 11069 11072 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111250497 301395968 1893 33554432000 4194304 16246674 140735783180624 139678711803056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100127 s]
/proc/loadavg: 2.26 2.21 2.18 3/179 11072
/proc/meminfo: memFree=29075948/32872528 swapFree=16384/1696552
[pid=11072] ppid=11069 vsize=1302084 CPUtime=0.08 cores=1,3,5,7
/proc/11072/stat : 11072 (toysat) R 11069 11072 5723 0 -1 4202496 26874 0 0 0 5 3 0 0 20 0 4 0 111250496 1333334016 27684 33554432000 4194304 16246674 140735783180624 140735783179936 8058796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11072/statm: 325521 27700 799 2943 0 322415 0
[pid=11072/tid=11073] ppid=11069 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/11072/task/11073/stat : 11073 (toysat) S 11069 11072 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111250497 1333334016 27711 33554432000 4194304 16246674 140735783180624 139678810352880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11072/tid=11074] ppid=11069 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/11072/task/11074/stat : 11074 (toysat) S 11069 11072 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111250497 1333334016 27721 33554432000 4194304 16246674 140735783180624 139678799863024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11072/tid=11075] ppid=11069 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/11072/task/11075/stat : 11075 (toysat) S 11069 11072 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111250497 1333334016 27732 33554432000 4194304 16246674 140735783180624 139678711803056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1302084

[startup+0.20053 s]
/proc/loadavg: 2.26 2.21 2.18 3/179 11072
/proc/meminfo: memFree=29075948/32872528 swapFree=16384/1696552
[pid=11072] ppid=11069 vsize=1312324 CPUtime=0.19 cores=1,3,5,7
/proc/11072/stat : 11072 (toysat) R 11069 11072 5723 0 -1 4202496 44706 0 0 0 13 6 0 0 20 0 4 0 111250496 1343819776 46026 33554432000 4194304 16246674 140735783180624 140735783179936 14073329 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11072/statm: 328081 46026 800 2943 0 324975 0
[pid=11072/tid=11073] ppid=11069 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11072/task/11073/stat : 11073 (toysat) S 11069 11072 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111250497 1343819776 46026 33554432000 4194304 16246674 140735783180624 139678810352880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11072/tid=11074] ppid=11069 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11072/task/11074/stat : 11074 (toysat) S 11069 11072 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111250497 1343819776 46026 33554432000 4194304 16246674 140735783180624 139678799863024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11072/tid=11075] ppid=11069 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11072/task/11075/stat : 11075 (toysat) S 11069 11072 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111250497 1343819776 46026 33554432000 4194304 16246674 140735783180624 139678711803056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.300508 s]
/proc/loadavg: 2.26 2.21 2.18 3/179 11072
/proc/meminfo: memFree=29075948/32872528 swapFree=16384/1696552
[pid=11072] ppid=11069 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/11072/stat : 11072 (toysat) R 11069 11072 5723 0 -1 4202496 54997 0 0 0 22 7 0 0 20 0 4 0 111250496 1344868352 56317 33554432000 4194304 16246674 140735783180624 140735783179936 4220491 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11072/statm: 328337 56317 800 2943 0 325231 0
[pid=11072/tid=11073] ppid=11069 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11072/task/11073/stat : 11073 (toysat) S 11069 11072 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111250497 1344868352 56317 33554432000 4194304 16246674 140735783180624 139678810352880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11072/tid=11074] ppid=11069 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11072/task/11074/stat : 11074 (toysat) S 11069 11072 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111250497 1344868352 56317 33554432000 4194304 16246674 140735783180624 139678799863024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11072/tid=11075] ppid=11069 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11072/task/11075/stat : 11075 (toysat) S 11069 11072 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111250497 1344868352 56317 33554432000 4194304 16246674 140735783180624 139678711803056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700418 s]
/proc/loadavg: 2.26 2.21 2.18 3/179 11072
/proc/meminfo: memFree=29075948/32872528 swapFree=16384/1696552
[pid=11072] ppid=11069 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/11072/stat : 11072 (toysat) R 11069 11072 5723 0 -1 4202496 61199 0 0 0 61 8 0 0 20 0 4 0 111250496 1344868352 62519 33554432000 4194304 16246674 140735783180624 140735783179936 13965680 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11072/statm: 328337 62519 801 2943 0 325231 0
[pid=11072/tid=11073] ppid=11069 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11072/task/11073/stat : 11073 (toysat) S 11069 11072 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111250497 1344868352 62519 33554432000 4194304 16246674 140735783180624 139678810352880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11072/tid=11074] ppid=11069 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11072/task/11074/stat : 11074 (toysat) S 11069 11072 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111250497 1344868352 62519 33554432000 4194304 16246674 140735783180624 139678799863024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11072/tid=11075] ppid=11069 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11072/task/11075/stat : 11075 (toysat) S 11069 11072 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111250497 1344868352 62519 33554432000 4194304 16246674 140735783180624 139678711803056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50043 s]
/proc/loadavg: 2.26 2.21 2.18 3/183 11076
/proc/meminfo: memFree=28788060/32872528 swapFree=16384/1696552
[pid=11072] ppid=11069 vsize=1313348 CPUtime=1.48 cores=1,3,5,7
/proc/11072/stat : 11072 (toysat) R 11069 11072 5723 0 -1 4202496 81452 0 0 0 138 10 0 0 20 0 4 0 111250496 1344868352 82772 33554432000 4194304 16246674 140735783180624 140735783162496 7364273 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11072/statm: 328337 82772 801 2943 0 325231 0
[pid=11072/tid=11073] ppid=11069 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11072/task/11073/stat : 11073 (toysat) S 11069 11072 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111250497 1344868352 82772 33554432000 4194304 16246674 140735783180624 139678810352880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11072/tid=11074] ppid=11069 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11072/task/11074/stat : 11074 (toysat) S 11069 11072 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111250497 1344868352 82772 33554432000 4194304 16246674 140735783180624 139678799863024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11072/tid=11075] ppid=11069 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11072/task/11075/stat : 11075 (toysat) S 11069 11072 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111250497 1344868352 82772 33554432000 4194304 16246674 140735783180624 139678711803056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1313348

[startup+3.10041 s]
/proc/loadavg: 2.26 2.21 2.18 3/183 11076
/proc/meminfo: memFree=28589948/32872528 swapFree=16384/1696552
[pid=11072] ppid=11069 vsize=1337924 CPUtime=3.09 cores=1,3,5,7
/proc/11072/stat : 11072 (toysat) R 11069 11072 5723 0 -1 4202496 157603 0 0 0 287 22 0 0 20 0 4 0 111250496 1370034176 164033 33554432000 4194304 16246674 140735783180624 140735783162496 8058796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11072/statm: 334481 164053 801 2943 0 331375 0
[pid=11072/tid=11073] ppid=11069 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/11072/task/11073/stat : 11073 (toysat) S 11069 11072 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111250497 1370034176 164065 33554432000 4194304 16246674 140735783180624 139678810352880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11072/tid=11074] ppid=11069 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/11072/task/11074/stat : 11074 (toysat) S 11069 11072 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111250497 1370034176 164076 33554432000 4194304 16246674 140735783180624 139678799863024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11072/tid=11075] ppid=11069 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/11072/task/11075/stat : 11075 (toysat) S 11069 11072 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111250497 1370034176 164087 33554432000 4194304 16246674 140735783180624 139678711803056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1337924

[startup+6.30042 s]
/proc/loadavg: 2.23 2.20 2.18 3/183 11076
/proc/meminfo: memFree=27998604/32872528 swapFree=16384/1696552
[pid=11072] ppid=11069 vsize=1491524 CPUtime=6.28 cores=1,3,5,7
/proc/11072/stat : 11072 (toysat) R 11069 11072 5723 0 -1 4202496 258797 0 0 0 593 35 0 0 20 0 4 0 111250496 1527320576 273403 33554432000 4194304 16246674 140735783180624 140735783178496 4221105 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11072/statm: 372881 273408 834 2943 0 369775 0
[pid=11072/tid=11073] ppid=11069 vsize=1491524 CPUtime=0 cores=1,3,5,7
/proc/11072/task/11073/stat : 11073 (toysat) S 11069 11072 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111250497 1527320576 273412 33554432000 4194304 16246674 140735783180624 139678810352880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11072/tid=11074] ppid=11069 vsize=1491524 CPUtime=0 cores=1,3,5,7
/proc/11072/task/11074/stat : 11074 (toysat) S 11069 11072 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111250497 1527320576 273416 33554432000 4194304 16246674 140735783180624 139678799862800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11072/tid=11075] ppid=11069 vsize=1491524 CPUtime=0 cores=1,3,5,7
/proc/11072/task/11075/stat : 11075 (toysat) S 11069 11072 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111250497 1527320576 273420 33554432000 4194304 16246674 140735783180624 139678711803056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1491524

[startup+12.7004 s]
/proc/loadavg: 2.22 2.20 2.18 3/183 11076
/proc/meminfo: memFree=27817396/32872528 swapFree=16384/1696552
[pid=11072] ppid=11069 vsize=1491524 CPUtime=12.68 cores=1,3,5,7
/proc/11072/stat : 11072 (toysat) R 11069 11072 5723 0 -1 4202496 295103 0 0 0 1227 41 0 0 20 0 4 0 111250496 1527320576 314819 33554432000 4194304 16246674 140735783180624 140735783179720 5563616 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11072/statm: 372881 314819 837 2943 0 369775 0
[pid=11072/tid=11073] ppid=11069 vsize=1491524 CPUtime=0 cores=1,3,5,7
/proc/11072/task/11073/stat : 11073 (toysat) S 11069 11072 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111250497 1527320576 314819 33554432000 4194304 16246674 140735783180624 139678810352880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11072/tid=11074] ppid=11069 vsize=1491524 CPUtime=0 cores=1,3,5,7
/proc/11072/task/11074/stat : 11074 (toysat) S 11069 11072 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111250497 1527320576 314819 33554432000 4194304 16246674 140735783180624 139678799863024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11072/tid=11075] ppid=11069 vsize=1491524 CPUtime=0 cores=1,3,5,7
/proc/11072/task/11075/stat : 11075 (toysat) S 11069 11072 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111250497 1527320576 314819 33554432000 4194304 16246674 140735783180624 139678711803056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1491524

[startup+25.5005 s]
/proc/loadavg: 2.25 2.21 2.18 4/183 11077
/proc/meminfo: memFree=27572408/32872528 swapFree=16384/1696552
[pid=11072] ppid=11069 vsize=1736260 CPUtime=25.48 cores=1,3,5,7
/proc/11072/stat : 11072 (toysat) R 11069 11072 5723 0 -1 4202496 356375 0 0 0 2498 50 0 0 20 0 4 0 111250496 1777930240 376091 33554432000 4194304 16246674 140735783180624 140735783162496 5531896 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11072/statm: 434065 376091 921 2943 0 430959 0
[pid=11072/tid=11073] ppid=11069 vsize=1736260 CPUtime=0 cores=1,3,5,7
/proc/11072/task/11073/stat : 11073 (toysat) S 11069 11072 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111250497 1777930240 376091 33554432000 4194304 16246674 140735783180624 139678810352880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11072/tid=11074] ppid=11069 vsize=1736260 CPUtime=0 cores=1,3,5,7
/proc/11072/task/11074/stat : 11074 (toysat) S 11069 11072 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111250497 1777930240 376091 33554432000 4194304 16246674 140735783180624 139678799863024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11072/tid=11075] ppid=11069 vsize=1736260 CPUtime=0 cores=1,3,5,7
/proc/11072/task/11075/stat : 11075 (toysat) S 11069 11072 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111250497 1777930240 376091 33554432000 4194304 16246674 140735783180624 139678711803056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1736260

[startup+51.1005 s]
/proc/loadavg: 2.30 2.22 2.19 3/183 11077
/proc/meminfo: memFree=27572380/32872528 swapFree=16384/1696552
[pid=11072] ppid=11069 vsize=1736260 CPUtime=51.07 cores=1,3,5,7
/proc/11072/stat : 11072 (toysat) R 11069 11072 5723 0 -1 4202496 356375 0 0 0 5057 50 0 0 20 0 4 0 111250496 1777930240 376091 33554432000 4194304 16246674 140735783180624 140735783162496 5828829 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11072/statm: 434065 376091 921 2943 0 430959 0
[pid=11072/tid=11073] ppid=11069 vsize=1736260 CPUtime=0 cores=1,3,5,7
/proc/11072/task/11073/stat : 11073 (toysat) S 11069 11072 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111250497 1777930240 376091 33554432000 4194304 16246674 140735783180624 139678810352880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11072/tid=11074] ppid=11069 vsize=1736260 CPUtime=0 cores=1,3,5,7
/proc/11072/task/11074/stat : 11074 (toysat) S 11069 11072 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111250497 1777930240 376091 33554432000 4194304 16246674 140735783180624 139678799863024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11072/tid=11075] ppid=11069 vsize=1736260 CPUtime=0 cores=1,3,5,7
/proc/11072/task/11075/stat : 11075 (toysat) S 11069 11072 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111250497 1777930240 376091 33554432000 4194304 16246674 140735783180624 139678711803056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1736260

[startup+102.301 s]
/proc/loadavg: 2.27 2.23 2.19 3/183 11078
/proc/meminfo: memFree=27571268/32872528 swapFree=16384/1696552
[pid=11072] ppid=11069 vsize=1736260 CPUtime=102.28 cores=1,3,5,7
/proc/11072/stat : 11072 (toysat) R 11069 11072 5723 0 -1 4202496 356375 0 0 0 10177 51 0 0 20 0 4 0 111250496 1777930240 376091 33554432000 4194304 16246674 140735783180624 140735783162496 5711369 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11072/statm: 434065 376091 921 2943 0 430959 0
[pid=11072/tid=11073] ppid=11069 vsize=1736260 CPUtime=0 cores=1,3,5,7
/proc/11072/task/11073/stat : 11073 (toysat) S 11069 11072 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111250497 1777930240 376091 33554432000 4194304 16246674 140735783180624 139678810352880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11072/tid=11074] ppid=11069 vsize=1736260 CPUtime=0 cores=1,3,5,7
/proc/11072/task/11074/stat : 11074 (toysat) S 11069 11072 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111250497 1777930240 376091 33554432000 4194304 16246674 140735783180624 139678799863024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11072/tid=11075] ppid=11069 vsize=1736260 CPUtime=0 cores=1,3,5,7
/proc/11072/task/11075/stat : 11075 (toysat) S 11069 11072 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111250497 1777930240 376091 33554432000 4194304 16246674 140735783180624 139678711803056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1736260


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

/proc/11072/task/11075/stat : 11075 (toysat) S 11069 11072 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111250497 1811484672 384287 33554432000 4194304 16246674 140735783180624 139678711803056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 1769028

[startup+1302.3 s]
/proc/loadavg: 1.54 1.51 1.80 2/173 11162
/proc/meminfo: memFree=28673120/32872528 swapFree=16384/1696552
[pid=11072] ppid=11069 vsize=1769028 CPUtime=1302.07 cores=1,3,5,7
/proc/11072/stat : 11072 (toysat) R 11069 11072 5723 0 -1 4202496 364609 0 0 0 130154 53 0 0 20 0 4 0 111250496 1811484672 384287 33554432000 4194304 16246674 140735783180624 140735783162496 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11072/statm: 442257 384287 922 2943 0 439151 0
[pid=11072/tid=11073] ppid=11069 vsize=1769028 CPUtime=0 cores=1,3,5,7
/proc/11072/task/11073/stat : 11073 (toysat) S 11069 11072 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111250497 1811484672 384287 33554432000 4194304 16246674 140735783180624 139678810352880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11072/tid=11074] ppid=11069 vsize=1769028 CPUtime=0 cores=1,3,5,7
/proc/11072/task/11074/stat : 11074 (toysat) S 11069 11072 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111250497 1811484672 384287 33554432000 4194304 16246674 140735783180624 139678799863024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11072/tid=11075] ppid=11069 vsize=1769028 CPUtime=0 cores=1,3,5,7
/proc/11072/task/11075/stat : 11075 (toysat) S 11069 11072 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111250497 1811484672 384287 33554432000 4194304 16246674 140735783180624 139678711803056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 1769028

[startup+1362.3 s]
/proc/loadavg: 1.31 1.45 1.76 2/173 11163
/proc/meminfo: memFree=28673240/32872528 swapFree=16384/1696552
[pid=11072] ppid=11069 vsize=1769028 CPUtime=1362.06 cores=1,3,5,7
/proc/11072/stat : 11072 (toysat) R 11069 11072 5723 0 -1 4202496 364609 0 0 0 136153 53 0 0 20 0 4 0 111250496 1811484672 384287 33554432000 4194304 16246674 140735783180624 140735783162496 13781168 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11072/statm: 442257 384287 922 2943 0 439151 0
[pid=11072/tid=11073] ppid=11069 vsize=1769028 CPUtime=0 cores=1,3,5,7
/proc/11072/task/11073/stat : 11073 (toysat) S 11069 11072 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111250497 1811484672 384287 33554432000 4194304 16246674 140735783180624 139678810352880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11072/tid=11074] ppid=11069 vsize=1769028 CPUtime=0 cores=1,3,5,7
/proc/11072/task/11074/stat : 11074 (toysat) S 11069 11072 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111250497 1811484672 384287 33554432000 4194304 16246674 140735783180624 139678799863024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11072/tid=11075] ppid=11069 vsize=1769028 CPUtime=0 cores=1,3,5,7
/proc/11072/task/11075/stat : 11075 (toysat) S 11069 11072 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111250497 1811484672 384287 33554432000 4194304 16246674 140735783180624 139678711803056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 1769028

[startup+1422.3 s]
/proc/loadavg: 1.30 1.42 1.73 3/173 11164
/proc/meminfo: memFree=28673120/32872528 swapFree=16384/1696552
[pid=11072] ppid=11069 vsize=1769028 CPUtime=1422.05 cores=1,3,5,7
/proc/11072/stat : 11072 (toysat) R 11069 11072 5723 0 -1 4202496 364609 0 0 0 142152 53 0 0 20 0 4 0 111250496 1811484672 384287 33554432000 4194304 16246674 140735783180624 140735783162496 5711716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11072/statm: 442257 384287 922 2943 0 439151 0
[pid=11072/tid=11073] ppid=11069 vsize=1769028 CPUtime=0 cores=1,3,5,7
/proc/11072/task/11073/stat : 11073 (toysat) S 11069 11072 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111250497 1811484672 384287 33554432000 4194304 16246674 140735783180624 139678810352880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11072/tid=11074] ppid=11069 vsize=1769028 CPUtime=0 cores=1,3,5,7
/proc/11072/task/11074/stat : 11074 (toysat) S 11069 11072 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111250497 1811484672 384287 33554432000 4194304 16246674 140735783180624 139678799863024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11072/tid=11075] ppid=11069 vsize=1769028 CPUtime=0 cores=1,3,5,7
/proc/11072/task/11075/stat : 11075 (toysat) S 11069 11072 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111250497 1811484672 384287 33554432000 4194304 16246674 140735783180624 139678711803056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 1769028

[startup+1482.3 s]
/proc/loadavg: 1.32 1.40 1.70 2/172 11165
/proc/meminfo: memFree=28673488/32872528 swapFree=16384/1696552
[pid=11072] ppid=11069 vsize=1769028 CPUtime=1482.04 cores=1,3,5,7
/proc/11072/stat : 11072 (toysat) R 11069 11072 5723 0 -1 4202496 364609 0 0 0 148151 53 0 0 20 0 4 0 111250496 1811484672 384287 33554432000 4194304 16246674 140735783180624 140735783162496 5712555 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11072/statm: 442257 384287 922 2943 0 439151 0
[pid=11072/tid=11073] ppid=11069 vsize=1769028 CPUtime=0 cores=1,3,5,7
/proc/11072/task/11073/stat : 11073 (toysat) S 11069 11072 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111250497 1811484672 384287 33554432000 4194304 16246674 140735783180624 139678810352880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11072/tid=11074] ppid=11069 vsize=1769028 CPUtime=0 cores=1,3,5,7
/proc/11072/task/11074/stat : 11074 (toysat) S 11069 11072 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111250497 1811484672 384287 33554432000 4194304 16246674 140735783180624 139678799863024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11072/tid=11075] ppid=11069 vsize=1769028 CPUtime=0 cores=1,3,5,7
/proc/11072/task/11075/stat : 11075 (toysat) S 11069 11072 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111250497 1811484672 384287 33554432000 4194304 16246674 140735783180624 139678711803056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 1769028

[startup+1542.31 s]
/proc/loadavg: 1.29 1.37 1.67 2/172 11167
/proc/meminfo: memFree=28673208/32872528 swapFree=16384/1696552
[pid=11072] ppid=11069 vsize=1769028 CPUtime=1542.03 cores=1,3,5,7
/proc/11072/stat : 11072 (toysat) R 11069 11072 5723 0 -1 4202496 364609 0 0 0 154150 53 0 0 20 0 4 0 111250496 1811484672 384287 33554432000 4194304 16246674 140735783180624 140735783162496 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11072/statm: 442257 384287 922 2943 0 439151 0
[pid=11072/tid=11073] ppid=11069 vsize=1769028 CPUtime=0 cores=1,3,5,7
/proc/11072/task/11073/stat : 11073 (toysat) S 11069 11072 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111250497 1811484672 384287 33554432000 4194304 16246674 140735783180624 139678810352880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11072/tid=11074] ppid=11069 vsize=1769028 CPUtime=0 cores=1,3,5,7
/proc/11072/task/11074/stat : 11074 (toysat) S 11069 11072 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111250497 1811484672 384287 33554432000 4194304 16246674 140735783180624 139678799863024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11072/tid=11075] ppid=11069 vsize=1769028 CPUtime=0 cores=1,3,5,7
/proc/11072/task/11075/stat : 11075 (toysat) S 11069 11072 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111250497 1811484672 384287 33554432000 4194304 16246674 140735783180624 139678711803056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 1769028

[startup+1602.3 s]
/proc/loadavg: 1.24 1.35 1.64 3/173 11169
/proc/meminfo: memFree=28673452/32872528 swapFree=16384/1696552
[pid=11072] ppid=11069 vsize=1769028 CPUtime=1602.02 cores=1,3,5,7
/proc/11072/stat : 11072 (toysat) R 11069 11072 5723 0 -1 4202496 364609 0 0 0 160149 53 0 0 20 0 4 0 111250496 1811484672 384287 33554432000 4194304 16246674 140735783180624 140735783162496 5712544 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11072/statm: 442257 384287 922 2943 0 439151 0
[pid=11072/tid=11073] ppid=11069 vsize=1769028 CPUtime=0 cores=1,3,5,7
/proc/11072/task/11073/stat : 11073 (toysat) S 11069 11072 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111250497 1811484672 384287 33554432000 4194304 16246674 140735783180624 139678810352880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11072/tid=11074] ppid=11069 vsize=1769028 CPUtime=0 cores=1,3,5,7
/proc/11072/task/11074/stat : 11074 (toysat) S 11069 11072 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111250497 1811484672 384287 33554432000 4194304 16246674 140735783180624 139678799863024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11072/tid=11075] ppid=11069 vsize=1769028 CPUtime=0 cores=1,3,5,7
/proc/11072/task/11075/stat : 11075 (toysat) S 11069 11072 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111250497 1811484672 384287 33554432000 4194304 16246674 140735783180624 139678711803056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 1769028

[startup+1662.3 s]
/proc/loadavg: 1.29 1.34 1.62 2/174 11173
/proc/meminfo: memFree=28673436/32872528 swapFree=16384/1696552
[pid=11072] ppid=11069 vsize=1769028 CPUtime=1662.01 cores=1,3,5,7
/proc/11072/stat : 11072 (toysat) R 11069 11072 5723 0 -1 4202496 364609 0 0 0 166148 53 0 0 20 0 4 0 111250496 1811484672 384287 33554432000 4194304 16246674 140735783180624 140735783162496 13781192 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11072/statm: 442257 384287 922 2943 0 439151 0
[pid=11072/tid=11073] ppid=11069 vsize=1769028 CPUtime=0 cores=1,3,5,7
/proc/11072/task/11073/stat : 11073 (toysat) S 11069 11072 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111250497 1811484672 384287 33554432000 4194304 16246674 140735783180624 139678810352880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11072/tid=11074] ppid=11069 vsize=1769028 CPUtime=0 cores=1,3,5,7
/proc/11072/task/11074/stat : 11074 (toysat) S 11069 11072 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111250497 1811484672 384287 33554432000 4194304 16246674 140735783180624 139678799863024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11072/tid=11075] ppid=11069 vsize=1769028 CPUtime=0 cores=1,3,5,7
/proc/11072/task/11075/stat : 11075 (toysat) S 11069 11072 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111250497 1811484672 384287 33554432000 4194304 16246674 140735783180624 139678711803056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 1769028

[startup+1722.3 s]
/proc/loadavg: 1.27 1.32 1.59 2/173 11174
/proc/meminfo: memFree=28673196/32872528 swapFree=16384/1696552
[pid=11072] ppid=11069 vsize=1769028 CPUtime=1722 cores=1,3,5,7
/proc/11072/stat : 11072 (toysat) R 11069 11072 5723 0 -1 4202496 364609 0 0 0 172147 53 0 0 20 0 4 0 111250496 1811484672 384287 33554432000 4194304 16246674 140735783180624 140735783162496 5711716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11072/statm: 442257 384287 922 2943 0 439151 0
[pid=11072/tid=11073] ppid=11069 vsize=1769028 CPUtime=0 cores=1,3,5,7
/proc/11072/task/11073/stat : 11073 (toysat) S 11069 11072 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111250497 1811484672 384287 33554432000 4194304 16246674 140735783180624 139678810352880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11072/tid=11074] ppid=11069 vsize=1769028 CPUtime=0 cores=1,3,5,7
/proc/11072/task/11074/stat : 11074 (toysat) S 11069 11072 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111250497 1811484672 384287 33554432000 4194304 16246674 140735783180624 139678799863024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11072/tid=11075] ppid=11069 vsize=1769028 CPUtime=0 cores=1,3,5,7
/proc/11072/task/11075/stat : 11075 (toysat) S 11069 11072 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111250497 1811484672 384287 33554432000 4194304 16246674 140735783180624 139678711803056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 1769028

[startup+1782.3 s]
/proc/loadavg: 1.17 1.29 1.56 3/173 11175
/proc/meminfo: memFree=28672944/32872528 swapFree=16384/1696552
[pid=11072] ppid=11069 vsize=1769028 CPUtime=1781.99 cores=1,3,5,7
/proc/11072/stat : 11072 (toysat) R 11069 11072 5723 0 -1 4202496 364609 0 0 0 178146 53 0 0 20 0 4 0 111250496 1811484672 384287 33554432000 4194304 16246674 140735783180624 140735783162496 13780640 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11072/statm: 442257 384287 922 2943 0 439151 0
[pid=11072/tid=11073] ppid=11069 vsize=1769028 CPUtime=0 cores=1,3,5,7
/proc/11072/task/11073/stat : 11073 (toysat) S 11069 11072 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111250497 1811484672 384287 33554432000 4194304 16246674 140735783180624 139678810352880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11072/tid=11074] ppid=11069 vsize=1769028 CPUtime=0 cores=1,3,5,7
/proc/11072/task/11074/stat : 11074 (toysat) S 11069 11072 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111250497 1811484672 384287 33554432000 4194304 16246674 140735783180624 139678799863024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11072/tid=11075] ppid=11069 vsize=1769028 CPUtime=0 cores=1,3,5,7
/proc/11072/task/11075/stat : 11075 (toysat) S 11069 11072 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111250497 1811484672 384287 33554432000 4194304 16246674 140735783180624 139678711803056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 1769028



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 1.26 1.30 1.56 2/173 11175
/proc/meminfo: memFree=28672824/32872528 swapFree=16384/1696552
[pid=11072] ppid=11069 vsize=1769028 CPUtime=1800.09 cores=1,3,5,7
/proc/11072/stat : 11072 (toysat) R 11069 11072 5723 0 -1 4202496 364609 0 0 0 179956 53 0 0 20 0 4 0 111250496 1811484672 384287 33554432000 4194304 16246674 140735783180624 140735783162496 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11072/statm: 442257 384287 922 2943 0 439151 0
[pid=11072/tid=11073] ppid=11069 vsize=1769028 CPUtime=0 cores=1,3,5,7
/proc/11072/task/11073/stat : 11073 (toysat) S 11069 11072 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111250497 1811484672 384287 33554432000 4194304 16246674 140735783180624 139678810352880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11072/tid=11074] ppid=11069 vsize=1769028 CPUtime=0 cores=1,3,5,7
/proc/11072/task/11074/stat : 11074 (toysat) S 11069 11072 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111250497 1811484672 384287 33554432000 4194304 16246674 140735783180624 139678799863024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11072/tid=11075] ppid=11069 vsize=1769028 CPUtime=0 cores=1,3,5,7
/proc/11072/task/11075/stat : 11075 (toysat) S 11069 11072 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111250497 1811484672 384287 33554432000 4194304 16246674 140735783180624 139678711803056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1769028

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 11072 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.41
CPU time (s): 1800.1
CPU user time (s): 1799.57
CPU system time (s): 0.535918
CPU usage (%): 99.9831
Max. virtual memory (cumulated for all children) (KiB): 1769028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.57
system time used= 0.535918
maximum resident set size= 1537148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 364609
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= 67
involuntary context switches= 1973

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.53531 second user time and 6.95094 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-07 11:52:54
IDJOB=4080073
IDBENCH=90877
IDSOLVER=2542
FILE ID=node125/4080073-1465293173
RUNJOBID= node125-1465259688-5740
PBS_JOBID= 19843289
Free space on /tmp= 71688 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_unif_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-4080073-1465293173/watcher-4080073-1465293173 -o /tmp/evaluation-result-4080073-1465293173/solver-4080073-1465293173 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465259688-5740 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080073-1465293173.opb

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

MD5SUM BENCH= 8d651cc878ba5f8db7c83d3bfed1cb1c
RANDOM SEED=1919319083

node125.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.456
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.91
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.456
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.456
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.456
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.456
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.456
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.456
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.456
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:        29076368 kB
Buffers:           44740 kB
Cached:           202764 kB
SwapCached:         1700 kB
Active:          1193916 kB
Inactive:         158564 kB
Active(anon):    1102676 kB
Inactive(anon):     4648 kB
Active(file):      91240 kB
Inactive(file):   153916 kB
Unevictable:     1696552 kB
Mlocked:           16384 kB
SwapTotal:      67108856 kB
SwapFree:       67098580 kB
Dirty:             43932 kB
Writeback:             0 kB
AnonPages:       2803024 kB
Mapped:            10836 kB
Shmem:                 0 kB
Slab:             611384 kB
SReclaimable:      54840 kB
SUnreclaim:       556544 kB
KernelStack:        1464 kB
PageTables:         9652 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2945968 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2621440 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71700 MiB
End job on node125 at 2016-06-07 12:22:55