Trace number 4119596

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.01 1800.31

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-autocorr_bern60-15.opb
MD5SUMfc34eea73407c402eaec3a9b26dc254f
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-10786
Best CPU time to get the best result obtained on this benchmark1800.11
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables0
Total number of constraints0
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint-1
Maximum length of a constraint0
Number of terms in the objective function 7294
Biggest coefficient in the objective function 1722
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 756056
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1722
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 756056
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)7234
Sum of products size (including duplicates)23060
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-30T06:56:36+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-4119596-1467262596.opb"]
0.00/0.01	c use --random-gen="581680636 1397902355 60294305 334388522 1254080295 125672168 49141793 509575835 937745628 1158806083 2801874895 525302419 2999087840 2791463060 963110527 3695049589 1831740004 2286617466 242800211 2823120578 1401405230 1622821100 2959937136 4070974373 1023758323 2139524831 3609692410 3690600641 2471276092 3559392046 2136207581 474612074 1229886528 2509547160 3364729119 3456881564 3592556651 1675696912 1487341998 4245206727 1137109324 4059715117 3912684939 868550708 3392619104 989097991 2383139401 2104765109 4196961767 3253757648 242719034 341407235 419908498 2040481709 975826131 1381619631 940151743 3675598498 245236808 3831982745 1156350166 3003139075 2583229300 278420950 1394887631 3175302790 948846469 525097459 541331176 3491338193 4221395164 3515901877 372687402 1262178920 2627309372 3592179500 904341241 773656314 2928442806 1034112068 1954663407 2525060503 1537801494 171475156 2584441326 3783889632 4094206172 66330494 756255009 3100775974 1515913534 398681608 3930174357 2596747785 1552051554 1947762981 2673587606 2292375864 3936859463 350613644 4016630645 579858154 3050794364 3571314541 1871523066 2535226807 2633289497 3423732022 758366371 49314342 2560238329 2865421657 4139203811 269066204 833296135 3842431008 3563746671 3248960730 3428849731 3314045531 4262746761 3073282259 4103126994 3312994443 377150402 83563777 3528453853 101828638 485631158 2878112024 1088019893 186006848 383274574 1048235043 1054602946 40954647 3235632775 528772862 410210583 1127854367 374397700 4212682537 1652551041 2577022303 2805795385 1038966090 1926585341 2555238024 3785640410 4265939426 3362671308 1581450737 2962725390 1742492253 4284939878 2408514338 1174813159 679721891 3007148545 773772340 3748043078 2886924044 3263161133 65206783 2946925351 4225414480 1790299387 644358652 1068480617 3476168938 1956764655 3736782470 2910734548 2884689283 1726187159 3578411957 688568522 2257272121 3164693392 3314578422 19135618 2998429204 3648023709 2659889270 2248889878 1912672565 3918507835 3942537196 1802865592 2874160730 3545133129 2165035453 4192495784 2293981890 2659636162 316464964 3071045545 1465534428 2408957538 533874265 3974331269 3993963223 2599131376 2775279693 1934164999 2730647126 4108758880 201964089 774725313 3057088181 4000661610 3148118278 1543282690 3797265925 2494246070 3464096343 1729501298 2696519057 1773303804 881252152 2785823051 4024526095 2327314397 1071380972 642972758 1762120081 4126319435 1535354841 4000734396 367576260 3286137774 3756255047 2408929193 1248242797 3596202914 4290368468 77098933 1813177980 1816057849 4118898231 4041726117 2632105696 4230112278 2249154455 3444062038 3567950477 4045470282 2203419615 2630082118 3296475750 2098205712 1472730347 2034777211 2065724536 3634761269 3822271668 255 362436" option to reproduce the execution
0.00/0.04	c #vars 60
0.00/0.04	c #constraints 0
0.08/0.16	c BCD2: Hardening is enabled.
0.08/0.16	c BCD2: BiasedSearch is enabled.
0.08/0.16	c Solving starts ...
0.08/0.16	c ============================[ Search Statistics ]============================
0.08/0.16	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.08/0.16	c       |         |          |          |    Limit     GC | Var      | Constra 
0.08/0.16	c =============================================================================
0.08/0.16	c  0.0s |       0 |        0 |        0 |     7780      0 |        0 |        0
0.18/0.23	c  0.1s |       0 |     5129 |        0 |     7780      0 |        0 |        0
0.18/0.23	c #cpu_time = 0.062s
0.18/0.23	c #wall_clock_time = 0.062s
0.18/0.23	c #decision = 5129
0.18/0.23	c #random_decision = 22
0.18/0.23	c #conflict = 0
0.18/0.23	c #restart = 0
0.18/0.23	o 0
63.08/63.12	c BCD2: updating upper bound: 756056 -> 378027
126.86/126.97	c BCD2: 0 <= obj <= 378027
126.86/126.97	c BCD2: #cores=0, #unrelaxed=7294, #relaxed=0, #hardened=0
126.86/126.97	c BCD2: #sat=1 #unsat=1 bias=1/2
126.86/126.97	c Solving starts ...
126.86/126.97	c ============================[ Search Statistics ]============================
126.86/126.97	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
126.86/126.97	c       |         |          |          |    Limit     GC | Var      | Constra 
126.86/126.97	c =============================================================================
126.86/126.97	c  0.0s |       0 |        0 |        0 |     7780      0 |        0 |        0
126.86/126.98	c  0.0s |       0 |     2829 |        0 |     7780      0 |        0 |        0
126.86/126.98	c #cpu_time = 0.009s
126.86/126.98	c #wall_clock_time = 0.009s
126.86/126.98	c #decision = 2829
126.86/126.98	c #random_decision = 0
126.86/126.98	c #conflict = 0
126.86/126.98	c #restart = 0
126.86/126.98	c BCD2: found a new core of size 3: cost of the new core is >=48
126.86/126.98	c lower bound updated to -377980
191.55/191.65	c BCD2: 48 <= obj <= 378027
191.55/191.65	c BCD2: #cores=1, #unrelaxed=7291, #relaxed=3, #hardened=0
191.55/191.65	c BCD2: #sat=1 #unsat=2 bias=2/3
191.55/191.65	c Solving starts ...
191.55/191.65	c ============================[ Search Statistics ]============================
191.55/191.65	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
191.55/191.65	c       |         |          |          |    Limit     GC | Var      | Constra 
191.55/191.65	c =============================================================================
191.55/191.65	c  0.0s |       0 |        0 |        0 |     7780      0 |        0 |        1
191.55/191.66	c  0.0s |       0 |     2828 |        0 |     7780      0 |        0 |        1
191.55/191.66	c #cpu_time = 0.009s
191.55/191.66	c #wall_clock_time = 0.009s
191.55/191.66	c #decision = 2828
191.55/191.66	c #random_decision = 0
191.55/191.66	c #conflict = 0
191.55/191.66	c #restart = 0
191.55/191.66	c BCD2: relaxing 2 and merging with 1 cores into a new core of size 5: cost of the new core is >=91
191.55/191.66	c BCD2: refineLB: 49 -> 91
191.55/191.66	c lower bound updated to -377937
257.54/257.64	c BCD2: 91 <= obj <= 378027
257.54/257.64	c BCD2: #cores=1, #unrelaxed=7289, #relaxed=5, #hardened=0
257.54/257.64	c BCD2: #sat=1 #unsat=3 bias=3/4
257.54/257.64	c Solving starts ...
257.54/257.64	c ============================[ Search Statistics ]============================
257.54/257.64	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
257.54/257.64	c       |         |          |          |    Limit     GC | Var      | Constra 
257.54/257.64	c =============================================================================
257.54/257.64	c  0.0s |       0 |        0 |        0 |     7780      0 |        1 |        1
257.54/257.66	c  0.0s |       0 |        1 |        1 |     7780      0 |        2 |        3
257.54/257.66	c #cpu_time = 0.012s
257.54/257.66	c #wall_clock_time = 0.012s
257.54/257.66	c #decision = 1
257.54/257.66	c #random_decision = 0
257.54/257.66	c #conflict = 1
257.54/257.66	c #restart = 0
257.54/257.66	c BCD2: updating lower bound of a core
257.54/257.66	c BCD2: refineLB: 131 -> 139
257.54/257.66	c lower bound updated to -377889
325.13/325.25	c BCD2: 139 <= obj <= 378027
325.13/325.25	c BCD2: #cores=1, #unrelaxed=7289, #relaxed=5, #hardened=0
325.13/325.25	c BCD2: #sat=1 #unsat=4 bias=4/5
325.13/325.25	c Solving starts ...
325.13/325.25	c ============================[ Search Statistics ]============================
325.13/325.25	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
325.13/325.25	c       |         |          |          |    Limit     GC | Var      | Constra 
325.13/325.25	c =============================================================================
325.13/325.25	c  0.0s |       0 |        0 |        0 |     7780      0 |        2 |        3
325.13/325.26	c  0.0s |       0 |        1 |        1 |     7780      0 |        3 |        4
325.13/325.26	c #cpu_time = 0.012s
325.13/325.26	c #wall_clock_time = 0.012s
325.13/325.26	c #decision = 1
325.13/325.26	c #random_decision = 0
325.13/325.26	c #conflict = 1
325.13/325.26	c #restart = 0
325.13/325.26	c BCD2: updating lower bound of a core
325.13/325.26	c lower bound updated to -377884
394.02/394.14	c BCD2: 144 <= obj <= 378027
394.02/394.14	c BCD2: #cores=1, #unrelaxed=7289, #relaxed=5, #hardened=0
394.02/394.14	c BCD2: #sat=1 #unsat=5 bias=5/6
394.02/394.14	c Solving starts ...
394.02/394.14	c ============================[ Search Statistics ]============================
394.02/394.14	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
394.02/394.14	c       |         |          |          |    Limit     GC | Var      | Constra 
394.02/394.14	c =============================================================================
394.02/394.14	c  0.0s |       0 |        0 |        0 |     7780      0 |        3 |        4
394.02/394.15	c  0.0s |       0 |      733 |        0 |     7780      0 |        3 |        4
394.02/394.15	c #cpu_time = 0.009s
394.02/394.15	c #wall_clock_time = 0.009s
394.02/394.15	c #decision = 733
394.02/394.15	c #random_decision = 0
394.02/394.15	c #conflict = 0
394.02/394.15	c #restart = 0
394.02/394.15	c BCD2: relaxing 1 and merging with 1 cores into a new core of size 6: cost of the new core is >=185
394.02/394.15	c BCD2: refineLB: 145 -> 185
394.02/394.15	c lower bound updated to -377843
464.22/464.34	c BCD2: 185 <= obj <= 378027
464.22/464.34	c BCD2: #cores=1, #unrelaxed=7288, #relaxed=6, #hardened=0
464.22/464.34	c BCD2: #sat=1 #unsat=6 bias=6/7
464.22/464.34	c Solving starts ...
464.22/464.34	c ============================[ Search Statistics ]============================
464.22/464.34	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
464.22/464.34	c       |         |          |          |    Limit     GC | Var      | Constra 
464.22/464.34	c =============================================================================
464.22/464.34	c  0.0s |       0 |        0 |        0 |     7780      0 |        4 |        4
464.22/464.35	c  0.0s |       0 |     2826 |        0 |     7780      0 |        4 |        5
464.22/464.35	c #cpu_time = 0.009s
464.22/464.35	c #wall_clock_time = 0.009s
464.22/464.35	c #decision = 2826
464.22/464.35	c #random_decision = 0
464.22/464.35	c #conflict = 0
464.22/464.35	c #restart = 0
464.22/464.35	c BCD2: relaxing 2 and merging with 1 cores into a new core of size 8: cost of the new core is >=190
464.22/464.35	c lower bound updated to -377838
535.71/535.82	c BCD2: 190 <= obj <= 378027
535.71/535.82	c BCD2: #cores=1, #unrelaxed=7286, #relaxed=8, #hardened=0
535.71/535.82	c BCD2: #sat=1 #unsat=7 bias=7/8
535.71/535.82	c Solving starts ...
535.71/535.82	c ============================[ Search Statistics ]============================
535.71/535.82	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
535.71/535.82	c       |         |          |          |    Limit     GC | Var      | Constra 
535.71/535.82	c =============================================================================
535.71/535.82	c  0.0s |       0 |        0 |        0 |     7780      0 |        5 |        5
535.71/535.83	c  0.0s |       0 |     1438 |        1 |     7780      0 |        5 |        6
535.71/535.83	c #cpu_time = 0.011s
535.71/535.83	c #wall_clock_time = 0.011s
535.71/535.83	c #decision = 1438
535.71/535.83	c #random_decision = 0
535.71/535.83	c #conflict = 1
535.71/535.83	c #restart = 0
535.71/535.83	c BCD2: relaxing 1 and merging with 1 cores into a new core of size 9: cost of the new core is >=286
535.71/535.83	c lower bound updated to -377742
608.70/608.87	c BCD2: 286 <= obj <= 378027
608.70/608.87	c BCD2: #cores=1, #unrelaxed=7285, #relaxed=9, #hardened=0
608.70/608.87	c BCD2: #sat=1 #unsat=8 bias=8/9
608.70/608.87	c Solving starts ...
608.70/608.87	c ============================[ Search Statistics ]============================
608.70/608.87	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
608.70/608.87	c       |         |          |          |    Limit     GC | Var      | Constra 
608.70/608.87	c =============================================================================
608.70/608.87	c  0.0s |       0 |        0 |        0 |     7780      0 |        6 |        6
608.70/608.88	c  0.0s |       0 |     2824 |        0 |     7780      0 |        6 |        7
608.70/608.88	c #cpu_time = 0.010s
608.70/608.88	c #wall_clock_time = 0.010s
608.70/608.88	c #decision = 2824
608.70/608.88	c #random_decision = 0
608.70/608.88	c #conflict = 0
608.70/608.88	c #restart = 0
608.70/608.88	c BCD2: relaxing 2 and merging with 1 cores into a new core of size 11: cost of the new core is >=422
608.70/608.88	c BCD2: refineLB: 418 -> 422
608.70/608.88	c lower bound updated to -377606
683.97/684.20	c BCD2: 422 <= obj <= 378027
683.97/684.20	c BCD2: #cores=1, #unrelaxed=7283, #relaxed=11, #hardened=0
683.97/684.20	c BCD2: #sat=1 #unsat=9 bias=9/10
683.97/684.20	c Solving starts ...
683.97/684.20	c ============================[ Search Statistics ]============================
683.97/684.20	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
683.97/684.20	c       |         |          |          |    Limit     GC | Var      | Constra 
683.97/684.20	c =============================================================================
683.97/684.20	c  0.0s |       0 |        0 |        0 |     7780      0 |        7 |        7
684.08/684.21	c  0.0s |       0 |     4954 |        1 |     7780      0 |        7 |        8
684.08/684.21	c #cpu_time = 0.010s
684.08/684.21	c #wall_clock_time = 0.010s
684.08/684.21	c #decision = 4954
684.08/684.21	c #random_decision = 0
684.08/684.21	c #conflict = 1
684.08/684.21	c #restart = 0
684.08/684.21	c BCD2: relaxing 3 and merging with 1 cores into a new core of size 14: cost of the new core is >=618
684.08/684.21	c BCD2: refineLB: 617 -> 618
684.08/684.21	c lower bound updated to -377410
761.86/762.02	c BCD2: 618 <= obj <= 378027
761.86/762.02	c BCD2: #cores=1, #unrelaxed=7280, #relaxed=14, #hardened=0
761.86/762.02	c BCD2: #sat=1 #unsat=10 bias=10/11
761.86/762.02	c Solving starts ...
761.86/762.02	c ============================[ Search Statistics ]============================
761.86/762.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
761.86/762.02	c       |         |          |          |    Limit     GC | Var      | Constra 
761.86/762.02	c =============================================================================
761.86/762.02	c  0.0s |       0 |        0 |        0 |     7780      0 |        8 |        8
761.86/762.04	c  0.0s |       0 |     4964 |        1 |     7780      0 |        8 |        9
761.86/762.04	c #cpu_time = 0.012s
761.86/762.04	c #wall_clock_time = 0.012s
761.86/762.04	c #decision = 4964
761.86/762.04	c #random_decision = 0
761.86/762.04	c #conflict = 1
761.86/762.04	c #restart = 0
761.86/762.04	c BCD2: relaxing 3 and merging with 1 cores into a new core of size 17: cost of the new core is >=876
761.86/762.04	c lower bound updated to -377152
839.15/839.31	c BCD2: 876 <= obj <= 378027
839.15/839.31	c BCD2: #cores=1, #unrelaxed=7277, #relaxed=17, #hardened=0
839.15/839.31	c BCD2: #sat=1 #unsat=11 bias=11/12
839.15/839.31	c Solving starts ...
839.15/839.31	c ============================[ Search Statistics ]============================
839.15/839.31	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
839.15/839.31	c       |         |          |          |    Limit     GC | Var      | Constra 
839.15/839.31	c =============================================================================
839.15/839.31	c  0.0s |       0 |        0 |        0 |     7780      0 |        9 |        9
839.15/839.33	c  0.0s |       0 |     4962 |        1 |     7780      0 |        9 |       10
839.15/839.33	c #cpu_time = 0.010s
839.15/839.33	c #wall_clock_time = 0.010s
839.15/839.33	c #decision = 4962
839.15/839.33	c #random_decision = 0
839.15/839.33	c #conflict = 1
839.15/839.33	c #restart = 0
839.15/839.33	c BCD2: relaxing 4 and merging with 1 cores into a new core of size 21: cost of the new core is >=1128
839.15/839.33	c lower bound updated to -376900
917.03/917.22	c BCD2: 1128 <= obj <= 378027
917.03/917.22	c BCD2: #cores=1, #unrelaxed=7273, #relaxed=21, #hardened=0
917.03/917.22	c BCD2: #sat=1 #unsat=12 bias=12/13
917.03/917.22	c Solving starts ...
917.03/917.22	c ============================[ Search Statistics ]============================
917.03/917.22	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
917.03/917.22	c       |         |          |          |    Limit     GC | Var      | Constra 
917.03/917.22	c =============================================================================
917.03/917.22	c  0.0s |       0 |        0 |        0 |     7780      0 |       10 |       10
917.03/917.23	c  0.0s |       0 |     4959 |        1 |     7780      0 |       10 |       11
917.03/917.23	c #cpu_time = 0.012s
917.03/917.23	c #wall_clock_time = 0.012s
917.03/917.23	c #decision = 4959
917.03/917.23	c #random_decision = 0
917.03/917.23	c #conflict = 1
917.03/917.23	c #restart = 0
917.03/917.23	c BCD2: relaxing 5 and merging with 1 cores into a new core of size 26: cost of the new core is >=1374
917.03/917.23	c lower bound updated to -376654
994.33/994.57	c BCD2: 1374 <= obj <= 378027
994.33/994.57	c BCD2: #cores=1, #unrelaxed=7268, #relaxed=26, #hardened=0
994.33/994.57	c BCD2: #sat=1 #unsat=13 bias=13/14
994.33/994.57	c Solving starts ...
994.33/994.57	c ============================[ Search Statistics ]============================
994.33/994.57	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
994.33/994.57	c       |         |          |          |    Limit     GC | Var      | Constra 
994.33/994.57	c =============================================================================
994.33/994.57	c  0.0s |       0 |        0 |        0 |     7780      0 |       11 |       11
994.33/994.58	c  0.0s |       0 |     4955 |        1 |     7780      0 |       11 |       12
994.33/994.58	c #cpu_time = 0.011s
994.33/994.58	c #wall_clock_time = 0.011s
994.33/994.58	c #decision = 4955
994.33/994.58	c #random_decision = 0
994.33/994.58	c #conflict = 1
994.33/994.58	c #restart = 0
994.33/994.58	c BCD2: relaxing 6 and merging with 1 cores into a new core of size 32: cost of the new core is >=1614
994.33/994.58	c lower bound updated to -376414
1072.42/1072.60	c BCD2: 1614 <= obj <= 378027
1072.42/1072.60	c BCD2: #cores=1, #unrelaxed=7262, #relaxed=32, #hardened=0
1072.42/1072.60	c BCD2: #sat=1 #unsat=14 bias=14/15
1072.42/1072.60	c Solving starts ...
1072.42/1072.60	c ============================[ Search Statistics ]============================
1072.42/1072.60	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1072.42/1072.60	c       |         |          |          |    Limit     GC | Var      | Constra 
1072.42/1072.60	c =============================================================================
1072.42/1072.60	c  0.0s |       0 |        0 |        0 |     7780      0 |       12 |       12
1072.42/1072.61	c  0.0s |       0 |     4931 |        1 |     7780      0 |       12 |       13
1072.42/1072.61	c #cpu_time = 0.011s
1072.42/1072.61	c #wall_clock_time = 0.011s
1072.42/1072.61	c #decision = 4931
1072.42/1072.61	c #random_decision = 0
1072.42/1072.61	c #conflict = 1
1072.42/1072.61	c #restart = 0
1072.42/1072.62	c BCD2: relaxing 9 and merging with 1 cores into a new core of size 41: cost of the new core is >=1740
1072.42/1072.62	c lower bound updated to -376288
1149.70/1149.95	c BCD2: 1740 <= obj <= 378027
1149.70/1149.95	c BCD2: #cores=1, #unrelaxed=7253, #relaxed=41, #hardened=0
1149.70/1149.95	c BCD2: #sat=1 #unsat=15 bias=15/16
1149.70/1149.95	c Solving starts ...
1149.70/1149.95	c ============================[ Search Statistics ]============================
1149.70/1149.95	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1149.70/1149.95	c       |         |          |          |    Limit     GC | Var      | Constra 
1149.70/1149.95	c =============================================================================
1149.70/1149.95	c  0.0s |       0 |        0 |        0 |     7780      0 |       13 |       13
1149.70/1149.96	c  0.0s |       0 |     2800 |        0 |     7780      0 |       13 |       14
1149.70/1149.96	c #cpu_time = 0.012s
1149.70/1149.96	c #wall_clock_time = 0.012s
1149.70/1149.96	c #decision = 2800
1149.70/1149.96	c #random_decision = 0
1149.70/1149.96	c #conflict = 0
1149.70/1149.96	c #restart = 0
1149.70/1149.96	c BCD2: found a new core of size 3: cost of the new core is >=696
1149.70/1149.96	c lower bound updated to -375592
1227.39/1227.63	c BCD2: 2436 <= obj <= 378027
1227.39/1227.63	c BCD2: #cores=2, #unrelaxed=7250, #relaxed=44, #hardened=0
1227.39/1227.63	c BCD2: #sat=1 #unsat=16 bias=16/17
1227.39/1227.63	c Solving starts ...
1227.39/1227.63	c ============================[ Search Statistics ]============================
1227.39/1227.63	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1227.39/1227.63	c       |         |          |          |    Limit     GC | Var      | Constra 
1227.39/1227.63	c =============================================================================
1227.39/1227.63	c  0.0s |       0 |        0 |        0 |     7780      0 |       13 |       15
1227.39/1227.64	c  0.0s |       0 |     2799 |        0 |     7780      0 |       13 |       15
1227.39/1227.64	c #cpu_time = 0.015s
1227.39/1227.64	c #wall_clock_time = 0.015s
1227.39/1227.64	c #decision = 2799
1227.39/1227.64	c #random_decision = 0
1227.39/1227.64	c #conflict = 0
1227.39/1227.64	c #restart = 0
1227.39/1227.64	c BCD2: relaxing 2 and merging with 1 cores into a new core of size 5: cost of the new core is >=744
1227.39/1227.64	c BCD2: refineLB: 697 -> 744
1227.39/1227.64	c lower bound updated to -375544
1304.67/1304.98	c BCD2: 2484 <= obj <= 378027
1304.67/1304.98	c BCD2: #cores=2, #unrelaxed=7248, #relaxed=46, #hardened=0
1304.67/1304.98	c BCD2: #sat=1 #unsat=17 bias=17/18
1304.67/1304.98	c Solving starts ...
1304.67/1304.98	c ============================[ Search Statistics ]============================
1304.67/1304.98	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1304.67/1304.98	c       |         |          |          |    Limit     GC | Var      | Constra 
1304.67/1304.98	c =============================================================================
1304.67/1304.98	c  0.0s |       0 |        0 |        0 |     7780      0 |       14 |       15
1304.77/1305.00	c  0.0s |       0 |        1 |        1 |     7780      0 |       15 |       17
1304.77/1305.00	c #cpu_time = 0.014s
1304.77/1305.00	c #wall_clock_time = 0.014s
1304.77/1305.00	c #decision = 1
1304.77/1305.00	c #random_decision = 0
1304.77/1305.00	c #conflict = 1
1304.77/1305.00	c #restart = 0
1304.77/1305.00	c BCD2: updating lower bound of a core
1304.77/1305.00	c BCD2: refineLB: 1402 -> 1418
1304.77/1305.00	c lower bound updated to -374870
1382.86/1383.14	c BCD2: 3158 <= obj <= 378027
1382.86/1383.14	c BCD2: #cores=2, #unrelaxed=7248, #relaxed=46, #hardened=0
1382.86/1383.14	c BCD2: #sat=1 #unsat=18 bias=18/19
1382.86/1383.15	c Solving starts ...
1382.86/1383.15	c ============================[ Search Statistics ]============================
1382.86/1383.15	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1382.86/1383.15	c       |         |          |          |    Limit     GC | Var      | Constra 
1382.86/1383.15	c =============================================================================
1382.86/1383.15	c  0.0s |       0 |        0 |        0 |     7780      0 |       15 |       17
1382.86/1383.16	c  0.0s |       0 |        1 |        1 |     7780      0 |       16 |       18
1382.86/1383.16	c #cpu_time = 0.014s
1382.86/1383.16	c #wall_clock_time = 0.014s
1382.86/1383.16	c #decision = 1
1382.86/1383.16	c #random_decision = 0
1382.86/1383.16	c #conflict = 1
1382.86/1383.16	c #restart = 0
1382.86/1383.16	c BCD2: updating lower bound of a core
1382.86/1383.16	c BCD2: refineLB: 1439 -> 1440
1382.86/1383.16	c lower bound updated to -374848
1460.45/1460.77	c BCD2: 3180 <= obj <= 378027
1460.45/1460.77	c BCD2: #cores=2, #unrelaxed=7248, #relaxed=46, #hardened=0
1460.45/1460.77	c BCD2: #sat=1 #unsat=19 bias=19/20
1460.45/1460.77	c Solving starts ...
1460.45/1460.77	c ============================[ Search Statistics ]============================
1460.45/1460.77	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1460.45/1460.77	c       |         |          |          |    Limit     GC | Var      | Constra 
1460.45/1460.77	c =============================================================================
1460.45/1460.78	c  0.0s |       0 |        0 |        0 |     7780      0 |       16 |       18
1460.45/1460.79	c  0.0s |       0 |      580 |        0 |     7780      0 |       16 |       18
1460.45/1460.79	c #cpu_time = 0.011s
1460.45/1460.79	c #wall_clock_time = 0.011s
1460.45/1460.79	c #decision = 580
1460.45/1460.79	c #random_decision = 0
1460.45/1460.79	c #conflict = 0
1460.45/1460.79	c #restart = 0
1460.45/1460.79	c BCD2: relaxing 1 and merging with 1 cores into a new core of size 6: cost of the new core is >=1529
1460.45/1460.79	c BCD2: refineLB: 1441 -> 1529
1460.45/1460.79	c lower bound updated to -374759
1538.64/1538.99	c BCD2: 3269 <= obj <= 378027
1538.64/1538.99	c BCD2: #cores=2, #unrelaxed=7247, #relaxed=47, #hardened=0
1538.64/1538.99	c BCD2: #sat=1 #unsat=20 bias=20/21
1538.64/1538.99	c Solving starts ...
1538.64/1538.99	c ============================[ Search Statistics ]============================
1538.64/1538.99	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1538.64/1538.99	c       |         |          |          |    Limit     GC | Var      | Constra 
1538.64/1538.99	c =============================================================================
1538.64/1538.99	c  0.0s |       0 |        0 |        0 |     7780      0 |       17 |       18
1538.64/1539.00	c  0.0s |       0 |     5027 |        1 |     7780      0 |       17 |       19
1538.64/1539.00	c #cpu_time = 0.011s
1538.64/1539.00	c #wall_clock_time = 0.011s
1538.64/1539.00	c #decision = 5027
1538.64/1539.00	c #random_decision = 0
1538.64/1539.00	c #conflict = 1
1538.64/1539.00	c #restart = 0
1538.64/1539.00	c BCD2: relaxing 3 and merging with 1 cores into a new core of size 9: cost of the new core is >=2078
1538.64/1539.00	c BCD2: refineLB: 2073 -> 2078
1538.64/1539.00	c lower bound updated to -374210
1616.02/1616.35	c BCD2: 3818 <= obj <= 378027
1616.02/1616.35	c BCD2: #cores=2, #unrelaxed=7244, #relaxed=50, #hardened=0
1616.02/1616.35	c BCD2: #sat=1 #unsat=21 bias=21/22
1616.02/1616.35	c Solving starts ...
1616.02/1616.35	c ============================[ Search Statistics ]============================
1616.02/1616.35	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1616.02/1616.35	c       |         |          |          |    Limit     GC | Var      | Constra 
1616.02/1616.35	c =============================================================================
1616.02/1616.35	c  0.0s |       0 |        0 |        0 |     7780      0 |       18 |       19
1616.02/1616.36	c  0.0s |       0 |     5025 |        1 |     7780      0 |       18 |       20
1616.02/1616.36	c #cpu_time = 0.011s
1616.02/1616.36	c #wall_clock_time = 0.011s
1616.02/1616.36	c #decision = 5025
1616.02/1616.36	c #random_decision = 0
1616.02/1616.36	c #conflict = 1
1616.02/1616.36	c #restart = 0
1616.02/1616.36	c BCD2: relaxing 4 and merging with 1 cores into a new core of size 13: cost of the new core is >=2702
1616.02/1616.36	c lower bound updated to -373586
1694.11/1694.44	c BCD2: 4442 <= obj <= 378027
1694.11/1694.44	c BCD2: #cores=2, #unrelaxed=7240, #relaxed=54, #hardened=0
1694.11/1694.44	c BCD2: #sat=1 #unsat=22 bias=22/23
1694.11/1694.44	c Solving starts ...
1694.11/1694.44	c ============================[ Search Statistics ]============================
1694.11/1694.44	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1694.11/1694.44	c       |         |          |          |    Limit     GC | Var      | Constra 
1694.11/1694.44	c =============================================================================
1694.11/1694.44	c  0.0s |       0 |        0 |        0 |     7780      0 |       19 |       20
1694.11/1694.45	c  0.0s |       0 |     5022 |        1 |     7780      0 |       19 |       21
1694.11/1694.45	c #cpu_time = 0.012s
1694.11/1694.45	c #wall_clock_time = 0.012s
1694.11/1694.45	c #decision = 5022
1694.11/1694.45	c #random_decision = 0
1694.11/1694.45	c #conflict = 1
1694.11/1694.45	c #restart = 0
1694.11/1694.45	c BCD2: relaxing 5 and merging with 1 cores into a new core of size 18: cost of the new core is >=3252
1694.11/1694.45	c lower bound updated to -373036
1771.50/1771.80	c BCD2: 4992 <= obj <= 378027
1771.50/1771.80	c BCD2: #cores=2, #unrelaxed=7235, #relaxed=59, #hardened=0
1771.50/1771.80	c BCD2: #sat=1 #unsat=23 bias=23/24
1771.50/1771.80	c Solving starts ...
1771.50/1771.80	c ============================[ Search Statistics ]============================
1771.50/1771.80	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1771.50/1771.80	c       |         |          |          |    Limit     GC | Var      | Constra 
1771.50/1771.80	c =============================================================================
1771.50/1771.80	c  0.0s |       0 |        0 |        0 |     7780      0 |       20 |       21
1771.50/1771.81	c  0.0s |       0 |     5018 |        1 |     7780      0 |       20 |       22
1771.50/1771.81	c #cpu_time = 0.012s
1771.50/1771.81	c #wall_clock_time = 0.012s
1771.50/1771.81	c #decision = 5018
1771.50/1771.81	c #random_decision = 0
1771.50/1771.81	c #conflict = 1
1771.50/1771.81	c #restart = 0
1771.50/1771.81	c BCD2: relaxing 6 and merging with 1 cores into a new core of size 24: cost of the new core is >=3732
1771.50/1771.81	c lower bound updated to -372556

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

pid=16208
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.14 2.05 2.23 2/170 16211
/proc/meminfo: memFree=29163268/32872528 swapFree=7620/7620
[pid=16211] ppid=16208 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/16211/stat : 16211 (toysat) R 16208 16211 8968 0 -1 4202496 701 0 0 0 0 0 0 0 20 0 4 0 7155687 246870016 1064 33554432000 4194304 16246674 140735964830000 140735964829424 13372067 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16211/statm: 60271 1067 424 2943 0 57165 0
[pid=16211/tid=16214] ppid=16208 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16214/stat : 16214 (toysat) S 16208 16211 8968 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 7155687 246870016 1093 33554432000 4194304 16246674 140735964830000 140103058959600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16211/tid=16215] ppid=16208 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16215/stat : 16215 (toysat) S 16208 16211 8968 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 7155687 246870016 1100 33554432000 4194304 16246674 140735964830000 140102974024944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16211/tid=16216] ppid=16208 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16216/stat : 16216 (toysat) S 16208 16211 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 7155687 246870016 1107 33554432000 4194304 16246674 140735964830000 140102963551408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100159 s]
/proc/loadavg: 2.14 2.05 2.23 2/170 16211
/proc/meminfo: memFree=29163268/32872528 swapFree=7620/7620
[pid=16211] ppid=16208 vsize=1223236 CPUtime=0.08 cores=0,2,4,6
/proc/16211/stat : 16211 (toysat) R 16208 16211 8968 0 -1 4202496 28107 0 0 0 5 3 0 0 20 0 4 0 7155687 1252593664 28427 33554432000 4194304 16246674 140735964830000 140735964829312 7204449 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16211/statm: 305809 28427 770 2943 0 302703 0
[pid=16211/tid=16214] ppid=16208 vsize=1223236 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16214/stat : 16214 (toysat) S 16208 16211 8968 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 7155687 1252593664 28427 33554432000 4194304 16246674 140735964830000 140103058959600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16211/tid=16215] ppid=16208 vsize=1223236 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16215/stat : 16215 (toysat) S 16208 16211 8968 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 7155687 1252593664 28427 33554432000 4194304 16246674 140735964830000 140102974024944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16211/tid=16216] ppid=16208 vsize=1223236 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16216/stat : 16216 (toysat) S 16208 16211 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 7155687 1252593664 28427 33554432000 4194304 16246674 140735964830000 140102963551408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1223236

[startup+0.200501 s]
/proc/loadavg: 2.14 2.05 2.23 2/170 16211
/proc/meminfo: memFree=29163268/32872528 swapFree=7620/7620
[pid=16211] ppid=16208 vsize=1223236 CPUtime=0.18 cores=0,2,4,6
/proc/16211/stat : 16211 (toysat) R 16208 16211 8968 0 -1 4202496 39788 0 0 0 13 5 0 0 20 0 4 0 7155687 1252593664 40108 33554432000 4194304 16246674 140735964830000 140735964829312 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16211/statm: 305809 40110 805 2943 0 302703 0
[pid=16211/tid=16214] ppid=16208 vsize=1223236 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16214/stat : 16214 (toysat) S 16208 16211 8968 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 7155687 1252593664 40110 33554432000 4194304 16246674 140735964830000 140103058959600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16211/tid=16215] ppid=16208 vsize=1223236 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16215/stat : 16215 (toysat) S 16208 16211 8968 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 7155687 1252593664 40110 33554432000 4194304 16246674 140735964830000 140102974024944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16211/tid=16216] ppid=16208 vsize=1223236 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16216/stat : 16216 (toysat) S 16208 16211 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 7155687 1252593664 40110 33554432000 4194304 16246674 140735964830000 140102963551408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1223236

[startup+0.300472 s]
/proc/loadavg: 2.14 2.05 2.23 2/170 16211
/proc/meminfo: memFree=29163268/32872528 swapFree=7620/7620
[pid=16211] ppid=16208 vsize=1296964 CPUtime=0.28 cores=0,2,4,6
/proc/16211/stat : 16211 (toysat) R 16208 16211 8968 0 -1 4202496 56384 0 0 0 21 7 0 0 20 0 4 0 7155687 1328091136 56704 33554432000 4194304 16246674 140735964830000 140735964829312 12653060 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16211/statm: 324241 56720 819 2943 0 321135 0
[pid=16211/tid=16214] ppid=16208 vsize=1296964 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16214/stat : 16214 (toysat) S 16208 16211 8968 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 7155687 1328091136 56729 33554432000 4194304 16246674 140735964830000 140103058959600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16211/tid=16215] ppid=16208 vsize=1296964 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16215/stat : 16215 (toysat) S 16208 16211 8968 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 7155687 1328091136 56736 33554432000 4194304 16246674 140735964830000 140102974024944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16211/tid=16216] ppid=16208 vsize=1296964 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16216/stat : 16216 (toysat) S 16208 16211 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 7155687 1328091136 56742 33554432000 4194304 16246674 140735964830000 140102963551408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1296964

[startup+0.700397 s]
/proc/loadavg: 2.14 2.05 2.23 2/170 16211
/proc/meminfo: memFree=29163268/32872528 swapFree=7620/7620
[pid=16211] ppid=16208 vsize=1296964 CPUtime=0.68 cores=0,2,4,6
/proc/16211/stat : 16211 (toysat) R 16208 16211 8968 0 -1 4202496 169547 0 0 0 46 22 0 0 20 0 4 0 7155687 1328091136 169867 33554432000 4194304 16246674 140735964830000 140735964829312 12414100 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16211/statm: 324241 169882 819 2943 0 321135 0
[pid=16211/tid=16214] ppid=16208 vsize=1296964 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16214/stat : 16214 (toysat) S 16208 16211 8968 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 7155687 1328091136 169892 33554432000 4194304 16246674 140735964830000 140103058959600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16211/tid=16215] ppid=16208 vsize=1296964 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16215/stat : 16215 (toysat) S 16208 16211 8968 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 7155687 1328091136 169902 33554432000 4194304 16246674 140735964830000 140102974024944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16211/tid=16216] ppid=16208 vsize=1296964 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16216/stat : 16216 (toysat) S 16208 16211 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 7155687 1328091136 169911 33554432000 4194304 16246674 140735964830000 140102963551408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1296964

[startup+1.5004 s]
/proc/loadavg: 2.14 2.05 2.23 3/183 16231
/proc/meminfo: memFree=27982344/32872528 swapFree=7620/7620
[pid=16211] ppid=16208 vsize=1306180 CPUtime=1.49 cores=0,2,4,6
/proc/16211/stat : 16211 (toysat) R 16208 16211 8968 0 -1 4202496 267557 0 0 0 112 37 0 0 20 0 4 0 7155687 1337528320 267877 33554432000 4194304 16246674 140735964830000 140735964811904 12413976 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16211/statm: 326545 267877 819 2943 0 323439 0
[pid=16211/tid=16214] ppid=16208 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16214/stat : 16214 (toysat) S 16208 16211 8968 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 7155687 1337528320 267877 33554432000 4194304 16246674 140735964830000 140103058959600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16211/tid=16215] ppid=16208 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16215/stat : 16215 (toysat) S 16208 16211 8968 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 7155687 1337528320 267877 33554432000 4194304 16246674 140735964830000 140102974024944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16211/tid=16216] ppid=16208 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16216/stat : 16216 (toysat) S 16208 16211 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 7155687 1337528320 267877 33554432000 4194304 16246674 140735964830000 140102963551408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1306180

[startup+3.1004 s]
/proc/loadavg: 2.14 2.05 2.23 3/183 16231
/proc/meminfo: memFree=27978872/32872528 swapFree=7620/7620
[pid=16211] ppid=16208 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/16211/stat : 16211 (toysat) R 16208 16211 8968 0 -1 4202496 267675 0 0 0 272 37 0 0 20 0 4 0 7155687 1338576896 267995 33554432000 4194304 16246674 140735964830000 140735964811904 13950230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16211/statm: 326801 267995 819 2943 0 323695 0
[pid=16211/tid=16214] ppid=16208 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16214/stat : 16214 (toysat) S 16208 16211 8968 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 7155687 1338576896 267995 33554432000 4194304 16246674 140735964830000 140103058959600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16211/tid=16215] ppid=16208 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16215/stat : 16215 (toysat) S 16208 16211 8968 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 7155687 1338576896 267995 33554432000 4194304 16246674 140735964830000 140102974024944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16211/tid=16216] ppid=16208 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16216/stat : 16216 (toysat) S 16208 16211 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 7155687 1338576896 267995 33554432000 4194304 16246674 140735964830000 140102963551408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30041 s]
/proc/loadavg: 2.13 2.05 2.23 3/183 16231
/proc/meminfo: memFree=26997680/32872528 swapFree=7620/7620
[pid=16211] ppid=16208 vsize=1307204 CPUtime=6.29 cores=0,2,4,6
/proc/16211/stat : 16211 (toysat) R 16208 16211 8968 0 -1 4202496 267735 0 0 0 592 37 0 0 20 0 4 0 7155687 1338576896 268055 33554432000 4194304 16246674 140735964830000 140735964811904 12371160 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16211/statm: 326801 268055 819 2943 0 323695 0
[pid=16211/tid=16214] ppid=16208 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16214/stat : 16214 (toysat) S 16208 16211 8968 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 7155687 1338576896 268055 33554432000 4194304 16246674 140735964830000 140103058959600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16211/tid=16215] ppid=16208 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16215/stat : 16215 (toysat) S 16208 16211 8968 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 7155687 1338576896 268055 33554432000 4194304 16246674 140735964830000 140102974024944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16211/tid=16216] ppid=16208 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16216/stat : 16216 (toysat) S 16208 16211 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 7155687 1338576896 268055 33554432000 4194304 16246674 140735964830000 140102963551408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.12 2.05 2.23 3/183 16231
/proc/meminfo: memFree=26974784/32872528 swapFree=7620/7620
[pid=16211] ppid=16208 vsize=1311300 CPUtime=12.69 cores=0,2,4,6
/proc/16211/stat : 16211 (toysat) R 16208 16211 8968 0 -1 4202496 268900 0 0 0 1232 37 0 0 20 0 4 0 7155687 1342771200 269220 33554432000 4194304 16246674 140735964830000 140735964811904 13007928 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16211/statm: 327825 269220 819 2943 0 324719 0
[pid=16211/tid=16214] ppid=16208 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16214/stat : 16214 (toysat) S 16208 16211 8968 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 7155687 1342771200 269220 33554432000 4194304 16246674 140735964830000 140103058959600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16211/tid=16215] ppid=16208 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16215/stat : 16215 (toysat) S 16208 16211 8968 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 7155687 1342771200 269220 33554432000 4194304 16246674 140735964830000 140102974024944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16211/tid=16216] ppid=16208 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16216/stat : 16216 (toysat) S 16208 16211 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 7155687 1342771200 269220 33554432000 4194304 16246674 140735964830000 140102963551408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1311300

[startup+25.5005 s]
/proc/loadavg: 2.09 2.05 2.22 3/183 16232
/proc/meminfo: memFree=26968988/32872528 swapFree=7620/7620
[pid=16211] ppid=16208 vsize=1316420 CPUtime=25.48 cores=0,2,4,6
/proc/16211/stat : 16211 (toysat) R 16208 16211 8968 0 -1 4202496 269957 0 0 0 2511 37 0 0 20 0 4 0 7155687 1348014080 270277 33554432000 4194304 16246674 140735964830000 140735964829176 13965680 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16211/statm: 329105 270277 819 2943 0 325999 0
[pid=16211/tid=16214] ppid=16208 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16214/stat : 16214 (toysat) S 16208 16211 8968 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 7155687 1348014080 270277 33554432000 4194304 16246674 140735964830000 140103058959600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16211/tid=16215] ppid=16208 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16215/stat : 16215 (toysat) S 16208 16211 8968 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 7155687 1348014080 270277 33554432000 4194304 16246674 140735964830000 140102974024944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16211/tid=16216] ppid=16208 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16216/stat : 16216 (toysat) S 16208 16211 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 7155687 1348014080 270277 33554432000 4194304 16246674 140735964830000 140102963551408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1316420

[startup+51.1005 s]
/proc/loadavg: 2.06 2.04 2.22 3/183 16232
/proc/meminfo: memFree=26963228/32872528 swapFree=7620/7620
[pid=16211] ppid=16208 vsize=1319492 CPUtime=51.08 cores=0,2,4,6
/proc/16211/stat : 16211 (toysat) R 16208 16211 8968 0 -1 4202496 270949 0 0 0 5071 37 0 0 20 0 4 0 7155687 1351159808 271524 33554432000 4194304 16246674 140735964830000 140735964811904 12449269 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16211/statm: 329873 271524 819 2943 0 326767 0
[pid=16211/tid=16214] ppid=16208 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16214/stat : 16214 (toysat) S 16208 16211 8968 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 7155687 1351159808 271524 33554432000 4194304 16246674 140735964830000 140103058959600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16211/tid=16215] ppid=16208 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16215/stat : 16215 (toysat) S 16208 16211 8968 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 7155687 1351159808 271524 33554432000 4194304 16246674 140735964830000 140102974024944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16211/tid=16216] ppid=16208 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16216/stat : 16216 (toysat) S 16208 16211 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 7155687 1351159808 271524 33554432000 4194304 16246674 140735964830000 140102963551408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1319492

[startup+102.3 s]
/proc/loadavg: 2.07 2.05 2.21 3/183 16233
/proc/meminfo: memFree=26962468/32872528 swapFree=7620/7620
[pid=16211] ppid=16208 vsize=1319492 CPUtime=102.28 cores=0,2,4,6
/proc/16211/stat : 16211 (toysat) R 16208 16211 8968 0 -1 4202496 270953 0 0 0 10191 37 0 0 20 0 4 0 7155687 1351159808 271528 33554432000 4194304 16246674 140735964830000 140735964811904 12413993 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16211/statm: 329873 271528 823 2943 0 326767 0
[pid=16211/tid=16214] ppid=16208 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16214/stat : 16214 (toysat) S 16208 16211 8968 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 7155687 1351159808 271528 33554432000 4194304 16246674 140735964830000 140103058959600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16211/tid=16215] ppid=16208 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16215/stat : 16215 (toysat) S 16208 16211 8968 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 7155687 1351159808 271528 33554432000 4194304 16246674 140735964830000 140102974024944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16211/tid=16216] ppid=16208 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16216/stat : 16216 (toysat) S 16208 16211 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 7155687 1351159808 271528 33554432000 4194304 16246674 140735964830000 140102963551408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1319492


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

/proc/16211/task/16216/stat : 16216 (toysat) S 16208 16211 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 7155687 1354305536 272330 33554432000 4194304 16246674 140735964830000 140102963551408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 1322564

[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.04 3/183 16289
/proc/meminfo: memFree=26938528/32872528 swapFree=7620/7620
[pid=16211] ppid=16208 vsize=1322564 CPUtime=1362.06 cores=0,2,4,6
/proc/16211/stat : 16211 (toysat) R 16208 16211 8968 0 -1 4202496 271792 0 0 0 136168 38 0 0 20 0 4 0 7155687 1354305536 272330 33554432000 4194304 16246674 140735964830000 140735964811904 12413976 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16211/statm: 330641 272330 857 2943 0 327535 0
[pid=16211/tid=16214] ppid=16208 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16214/stat : 16214 (toysat) S 16208 16211 8968 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 7155687 1354305536 272330 33554432000 4194304 16246674 140735964830000 140103058959600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16211/tid=16215] ppid=16208 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16215/stat : 16215 (toysat) S 16208 16211 8968 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 7155687 1354305536 272330 33554432000 4194304 16246674 140735964830000 140102974024944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16211/tid=16216] ppid=16208 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16216/stat : 16216 (toysat) S 16208 16211 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 7155687 1354305536 272330 33554432000 4194304 16246674 140735964830000 140102963551408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 1322564

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/184 16293
/proc/meminfo: memFree=26938676/32872528 swapFree=7620/7620
[pid=16211] ppid=16208 vsize=1322564 CPUtime=1422.06 cores=0,2,4,6
/proc/16211/stat : 16211 (toysat) R 16208 16211 8968 0 -1 4202496 271792 0 0 0 142168 38 0 0 20 0 4 0 7155687 1354305536 272330 33554432000 4194304 16246674 140735964830000 140735964811904 12656029 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16211/statm: 330641 272330 857 2943 0 327535 0
[pid=16211/tid=16214] ppid=16208 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16214/stat : 16214 (toysat) S 16208 16211 8968 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 7155687 1354305536 272330 33554432000 4194304 16246674 140735964830000 140103058959600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16211/tid=16215] ppid=16208 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16215/stat : 16215 (toysat) S 16208 16211 8968 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 7155687 1354305536 272330 33554432000 4194304 16246674 140735964830000 140102974024944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16211/tid=16216] ppid=16208 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16216/stat : 16216 (toysat) S 16208 16211 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 7155687 1354305536 272330 33554432000 4194304 16246674 140735964830000 140102963551408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 1322564

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/183 16294
/proc/meminfo: memFree=26933600/32872528 swapFree=7620/7620
[pid=16211] ppid=16208 vsize=1322564 CPUtime=1482.04 cores=0,2,4,6
/proc/16211/stat : 16211 (toysat) R 16208 16211 8968 0 -1 4202496 271792 0 0 0 148166 38 0 0 20 0 4 0 7155687 1354305536 272330 33554432000 4194304 16246674 140735964830000 140735964811904 12654366 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16211/statm: 330641 272330 857 2943 0 327535 0
[pid=16211/tid=16214] ppid=16208 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16214/stat : 16214 (toysat) S 16208 16211 8968 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 7155687 1354305536 272330 33554432000 4194304 16246674 140735964830000 140103058959600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16211/tid=16215] ppid=16208 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16215/stat : 16215 (toysat) S 16208 16211 8968 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 7155687 1354305536 272330 33554432000 4194304 16246674 140735964830000 140102974024944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16211/tid=16216] ppid=16208 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16216/stat : 16216 (toysat) S 16208 16211 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 7155687 1354305536 272330 33554432000 4194304 16246674 140735964830000 140102963551408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 1322564

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.02 3/183 16295
/proc/meminfo: memFree=26933968/32872528 swapFree=7620/7620
[pid=16211] ppid=16208 vsize=1322564 CPUtime=1542.04 cores=0,2,4,6
/proc/16211/stat : 16211 (toysat) R 16208 16211 8968 0 -1 4202496 271792 0 0 0 154166 38 0 0 20 0 4 0 7155687 1354305536 272330 33554432000 4194304 16246674 140735964830000 140735964811904 12449441 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16211/statm: 330641 272330 857 2943 0 327535 0
[pid=16211/tid=16214] ppid=16208 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16214/stat : 16214 (toysat) S 16208 16211 8968 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 7155687 1354305536 272330 33554432000 4194304 16246674 140735964830000 140103058959600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16211/tid=16215] ppid=16208 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16215/stat : 16215 (toysat) S 16208 16211 8968 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 7155687 1354305536 272330 33554432000 4194304 16246674 140735964830000 140102974024944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16211/tid=16216] ppid=16208 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16216/stat : 16216 (toysat) S 16208 16211 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 7155687 1354305536 272330 33554432000 4194304 16246674 140735964830000 140102963551408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 1322564

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/183 16297
/proc/meminfo: memFree=26933960/32872528 swapFree=7620/7620
[pid=16211] ppid=16208 vsize=1322564 CPUtime=1602.02 cores=0,2,4,6
/proc/16211/stat : 16211 (toysat) R 16208 16211 8968 0 -1 4202496 271792 0 0 0 160164 38 0 0 20 0 4 0 7155687 1354305536 272330 33554432000 4194304 16246674 140735964830000 140735964811904 12449252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16211/statm: 330641 272330 857 2943 0 327535 0
[pid=16211/tid=16214] ppid=16208 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16214/stat : 16214 (toysat) S 16208 16211 8968 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 7155687 1354305536 272330 33554432000 4194304 16246674 140735964830000 140103058959600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16211/tid=16215] ppid=16208 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16215/stat : 16215 (toysat) S 16208 16211 8968 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 7155687 1354305536 272330 33554432000 4194304 16246674 140735964830000 140102974024944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16211/tid=16216] ppid=16208 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16216/stat : 16216 (toysat) S 16208 16211 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 7155687 1354305536 272330 33554432000 4194304 16246674 140735964830000 140102963551408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 1322564

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/183 16298
/proc/meminfo: memFree=26933960/32872528 swapFree=7620/7620
[pid=16211] ppid=16208 vsize=1322564 CPUtime=1662.01 cores=0,2,4,6
/proc/16211/stat : 16211 (toysat) R 16208 16211 8968 0 -1 4202496 271792 0 0 0 166163 38 0 0 20 0 4 0 7155687 1354305536 272330 33554432000 4194304 16246674 140735964830000 140735964811904 12429241 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16211/statm: 330641 272330 857 2943 0 327535 0
[pid=16211/tid=16214] ppid=16208 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16214/stat : 16214 (toysat) S 16208 16211 8968 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 7155687 1354305536 272330 33554432000 4194304 16246674 140735964830000 140103058959600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16211/tid=16215] ppid=16208 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16215/stat : 16215 (toysat) S 16208 16211 8968 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 7155687 1354305536 272330 33554432000 4194304 16246674 140735964830000 140102974024944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16211/tid=16216] ppid=16208 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16216/stat : 16216 (toysat) S 16208 16211 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 7155687 1354305536 272330 33554432000 4194304 16246674 140735964830000 140102963551408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 1322564

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/183 16299
/proc/meminfo: memFree=26933832/32872528 swapFree=7620/7620
[pid=16211] ppid=16208 vsize=1322564 CPUtime=1722.01 cores=0,2,4,6
/proc/16211/stat : 16211 (toysat) R 16208 16211 8968 0 -1 4202496 271792 0 0 0 172162 39 0 0 20 0 4 0 7155687 1354305536 272330 33554432000 4194304 16246674 140735964830000 140735964811904 12449269 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16211/statm: 330641 272330 857 2943 0 327535 0
[pid=16211/tid=16214] ppid=16208 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16214/stat : 16214 (toysat) S 16208 16211 8968 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 7155687 1354305536 272330 33554432000 4194304 16246674 140735964830000 140103058959600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16211/tid=16215] ppid=16208 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16215/stat : 16215 (toysat) S 16208 16211 8968 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 7155687 1354305536 272330 33554432000 4194304 16246674 140735964830000 140102974024944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16211/tid=16216] ppid=16208 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16216/stat : 16216 (toysat) S 16208 16211 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 7155687 1354305536 272330 33554432000 4194304 16246674 140735964830000 140102963551408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 1322564

[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 2.01 3/183 16300
/proc/meminfo: memFree=26933336/32872528 swapFree=7620/7620
[pid=16211] ppid=16208 vsize=1322564 CPUtime=1782 cores=0,2,4,6
/proc/16211/stat : 16211 (toysat) R 16208 16211 8968 0 -1 4202496 271792 0 0 0 178161 39 0 0 20 0 4 0 7155687 1354305536 272330 33554432000 4194304 16246674 140735964830000 140735964811904 12655209 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16211/statm: 330641 272330 857 2943 0 327535 0
[pid=16211/tid=16214] ppid=16208 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16214/stat : 16214 (toysat) S 16208 16211 8968 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 7155687 1354305536 272330 33554432000 4194304 16246674 140735964830000 140103058959600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16211/tid=16215] ppid=16208 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16215/stat : 16215 (toysat) S 16208 16211 8968 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 7155687 1354305536 272330 33554432000 4194304 16246674 140735964830000 140102974024944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16211/tid=16216] ppid=16208 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16216/stat : 16216 (toysat) S 16208 16211 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 7155687 1354305536 272330 33554432000 4194304 16246674 140735964830000 140102963551408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 1322564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 16300
/proc/meminfo: memFree=26933708/32872528 swapFree=7620/7620
[pid=16211] ppid=16208 vsize=1322564 CPUtime=1800 cores=0,2,4,6
/proc/16211/stat : 16211 (toysat) R 16208 16211 8968 0 -1 4202496 271792 0 0 0 179961 39 0 0 20 0 4 0 7155687 1354305536 272330 33554432000 4194304 16246674 140735964830000 140735964811904 12429087 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16211/statm: 330641 272330 857 2943 0 327535 0
[pid=16211/tid=16214] ppid=16208 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16214/stat : 16214 (toysat) S 16208 16211 8968 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 7155687 1354305536 272330 33554432000 4194304 16246674 140735964830000 140103058959600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16211/tid=16215] ppid=16208 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16215/stat : 16215 (toysat) S 16208 16211 8968 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 7155687 1354305536 272330 33554432000 4194304 16246674 140735964830000 140102974024944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16211/tid=16216] ppid=16208 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16216/stat : 16216 (toysat) S 16208 16211 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 7155687 1354305536 272330 33554432000 4194304 16246674 140735964830000 140102963551408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1322564

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

[startup+1800.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 16300
/proc/meminfo: memFree=26933708/32872528 swapFree=7620/7620
[pid=16211] ppid=16208 vsize=1322564 CPUtime=1800 cores=0,2,4,6
/proc/16211/stat : 16211 (toysat) R 16208 16211 8968 0 -1 4202496 271792 0 0 0 179961 39 0 0 20 0 4 0 7155687 1354305536 272330 33554432000 4194304 16246674 140735964830000 140735964811904 12429087 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16211/statm: 330641 272330 857 2943 0 327535 0
[pid=16211/tid=16214] ppid=16208 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16214/stat : 16214 (toysat) S 16208 16211 8968 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 7155687 1354305536 272330 33554432000 4194304 16246674 140735964830000 140103058959600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16211/tid=16215] ppid=16208 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16215/stat : 16215 (toysat) S 16208 16211 8968 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 7155687 1354305536 272330 33554432000 4194304 16246674 140735964830000 140102974024944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16211/tid=16216] ppid=16208 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16216/stat : 16216 (toysat) S 16208 16211 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 7155687 1354305536 272330 33554432000 4194304 16246674 140735964830000 140102963551408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1322564

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.31
CPU time (s): 1800.01
CPU user time (s): 1799.62
CPU system time (s): 0.39294
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 1322564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.62
system time used= 0.39294
maximum resident set size= 1089320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271792
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= 51
involuntary context switches= 1973

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.55931 second user time and 6.90395 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-30 06:56:36
IDJOB=4119596
IDBENCH=111770
IDSOLVER=2542
FILE ID=node106/4119596-1467262596
RUNJOBID= node106-1467260794-16053
PBS_JOBID= 20004477
Free space on /tmp= 71748 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern60-15.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119596-1467262596/watcher-4119596-1467262596 -o /tmp/evaluation-result-4119596-1467262596/solver-4119596-1467262596 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1467260794-16053 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119596-1467262596.opb

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

MD5SUM BENCH= fc34eea73407c402eaec3a9b26dc254f
RANDOM SEED=389064977

node106.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.495
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.99
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.495
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.495
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.495
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.495
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.56
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.495
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.495
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.495
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:        29163532 kB
Buffers:           50440 kB
Cached:          2881952 kB
SwapCached:            0 kB
Active:          2256328 kB
Inactive:         691936 kB
Active(anon):       2212 kB
Inactive(anon):    16060 kB
Active(file):    2254116 kB
Inactive(file):   675876 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16392 kB
Writeback:             0 kB
AnonPages:         23128 kB
Mapped:            15052 kB
Shmem:               204 kB
Slab:             624912 kB
SReclaimable:      67836 kB
SUnreclaim:       557076 kB
KernelStack:        1448 kB
PageTables:         3576 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     104208 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 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= 71716 MiB
End job on node106 at 2016-06-30 07:26:36