Trace number 4118322

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-LIN/
minlplib2-pb-0.1.0/opb/normalized-autocorr_bern60-15.lin.opb
MD5SUMb391a1d34c83557e44dbc3e85562df70
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, 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.05
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7294
Total number of constraints14468
Number of constraints which are clauses7234
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints7234
Minimum length of a constraint3
Maximum length of a constraint5
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)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-29T20:51:05+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-4118322-1467226265.opb"]
0.00/0.01	c use --random-gen="2248804266 820234845 3812980374 2530292756 2359523338 2301862272 3833639306 1865620920 3779942828 4238516573 4182426571 1426080937 1212136340 3987287956 3416809866 2734914832 699157899 4038977325 2853853475 3050631802 1503759665 693230401 2662353870 3782782955 2520891560 4185104266 2931604872 3460242618 2943167326 1994249149 3151137689 1844090302 2920532116 1504222214 4281651657 1790174239 940344059 4070480469 3264596046 1658189508 272218607 3580290645 1072032731 862374569 2576952276 2886780806 443058487 4147349263 470112245 3313409825 358950629 73090471 4110271536 1590807879 1885275401 2478813992 545229663 562689745 2359835073 2598899244 2090544630 546924018 1935745532 4128956100 438821896 2347207512 1670942230 207489923 1281988111 2661262792 1477666905 2988715516 2997588647 2988364675 3322401036 1408815709 3690349079 3458888309 1773773427 522001473 4116042122 4097986789 2827659378 2551228480 662573809 4010170790 2114366811 4028315817 1726047797 1727373144 1538247664 2729582311 2126803954 3327032850 1988662283 3047388144 206061867 4161070184 4262980461 1880601225 4159271088 3657491988 613333101 211026356 1911192692 1651685486 766058099 2329712501 3855324550 410128961 3945228721 2960710545 3571087090 3029958604 2968815663 1245983508 3025004972 457546637 81058604 2142852667 2632370688 3875363579 3859883575 3531441041 1808925393 3771302905 3509635520 1957840310 1620698385 2978779266 4137653167 946212101 3804194544 2777998916 475149511 458409239 3369024043 3882562441 425206854 31817915 3887229638 2993665159 802653626 1670710101 1048611022 1655354056 1525010652 3986507874 437466769 307240605 1147103338 1327591060 1750040011 289901337 3655414321 1361863047 2594149339 2544423116 2629631708 3998312148 34984988 3194702142 1033338831 3005360044 2726406026 89200977 1415770670 379700263 1009562796 2277216584 1606345424 2787015907 3961187893 3512269322 2098930621 1273687933 1393264579 2269304069 3098737785 1086846494 1881772184 1962567335 3530743982 3434427287 2191676797 2859751416 3235199211 242867220 3832939296 244888771 4042396441 895978189 604660603 755624856 208549456 1476989608 1735086438 3276586027 2295397226 592596362 3225563641 35059883 1184506094 3791938413 584669067 2628288524 1101372253 1290451467 2625127177 1059482766 3889776642 3320777075 1638491931 1384835791 3063584245 122385533 3259524265 880090075 1912188394 723348196 2761393291 844711053 1565193357 1189209870 501181641 245859297 1968677597 2969564657 4220710281 374654334 1321138994 1051963576 2784284851 302986975 4144438196 25245713 3939267486 3653302966 2495968401 2922678442 4294904619 2696839996 1114658421 3360300293 613427387 332629571 1435040672 3294696688 1715769760 1825687976 2983336324 1209155596 356926753 1396521080 1303096678 251686488 255 362436" option to reproduce the execution
0.09/0.16	c #vars 7294
0.09/0.16	c #constraints 14468
0.39/0.43	c BCD2: Hardening is enabled.
0.39/0.43	c BCD2: BiasedSearch is enabled.
0.39/0.43	c Solving starts ...
0.39/0.43	c ============================[ Search Statistics ]============================
0.39/0.43	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.39/0.43	c       |         |          |          |    Limit     GC | Var      | Constra 
0.39/0.43	c =============================================================================
0.39/0.48	c  0.0s |       0 |        0 |        0 |     7254      0 |        0 |        0
0.49/0.51	c  0.0s |       0 |       59 |        0 |     7254      0 |        0 |        0
0.49/0.51	c #cpu_time = 0.025s
0.49/0.51	c #wall_clock_time = 0.026s
0.49/0.51	c #decision = 59
0.49/0.51	c #random_decision = 0
0.49/0.51	c #conflict = 0
0.49/0.51	c #restart = 0
0.49/0.51	o 0
63.98/64.04	c BCD2: updating upper bound: 756056 -> 378027
127.68/127.72	c BCD2: 0 <= obj <= 378027
127.68/127.72	c BCD2: #cores=0, #unrelaxed=7294, #relaxed=0, #hardened=0
127.68/127.72	c BCD2: #sat=1 #unsat=1 bias=1/2
127.68/127.72	c Solving starts ...
127.68/127.72	c ============================[ Search Statistics ]============================
127.68/127.72	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
127.68/127.72	c       |         |          |          |    Limit     GC | Var      | Constra 
127.68/127.72	c =============================================================================
127.68/127.72	c  0.0s |       0 |        0 |        0 |     7254      0 |        0 |        0
127.68/127.74	c  0.0s |       0 |     2829 |        0 |     7254      0 |        0 |        0
127.68/127.74	c #cpu_time = 0.015s
127.68/127.74	c #wall_clock_time = 0.015s
127.68/127.74	c #decision = 2829
127.68/127.74	c #random_decision = 0
127.68/127.74	c #conflict = 0
127.68/127.74	c #restart = 0
127.68/127.74	c BCD2: found a new core of size 3: cost of the new core is >=48
127.68/127.74	c lower bound updated to -377980
192.06/192.12	c BCD2: 48 <= obj <= 378027
192.06/192.12	c BCD2: #cores=1, #unrelaxed=7291, #relaxed=3, #hardened=0
192.06/192.12	c BCD2: #sat=1 #unsat=2 bias=2/3
192.06/192.12	c Solving starts ...
192.06/192.12	c ============================[ Search Statistics ]============================
192.06/192.12	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
192.06/192.12	c       |         |          |          |    Limit     GC | Var      | Constra 
192.06/192.12	c =============================================================================
192.06/192.12	c  0.0s |       0 |        0 |        0 |     7254      0 |        0 |        1
192.06/192.14	c  0.0s |       0 |     2143 |        0 |     7254      0 |        0 |        1
192.06/192.14	c #cpu_time = 0.016s
192.06/192.14	c #wall_clock_time = 0.016s
192.06/192.14	c #decision = 2143
192.06/192.14	c #random_decision = 0
192.06/192.14	c #conflict = 0
192.06/192.14	c #restart = 0
192.06/192.14	c BCD2: relaxing 2 and merging with 1 cores into a new core of size 5: cost of the new core is >=91
192.06/192.14	c BCD2: refineLB: 49 -> 91
192.06/192.14	c lower bound updated to -377937
256.45/256.57	c BCD2: 91 <= obj <= 378027
256.45/256.57	c BCD2: #cores=1, #unrelaxed=7289, #relaxed=5, #hardened=0
256.45/256.57	c BCD2: #sat=1 #unsat=3 bias=3/4
256.45/256.57	c Solving starts ...
256.45/256.57	c ============================[ Search Statistics ]============================
256.45/256.57	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
256.45/256.57	c       |         |          |          |    Limit     GC | Var      | Constra 
256.45/256.57	c =============================================================================
256.45/256.57	c  0.0s |       0 |        0 |        0 |     7254      0 |        1 |        1
256.45/256.59	c  0.0s |       0 |        1 |        1 |     7254      0 |        2 |        3
256.45/256.59	c #cpu_time = 0.021s
256.45/256.59	c #wall_clock_time = 0.021s
256.45/256.59	c #decision = 1
256.45/256.59	c #random_decision = 0
256.45/256.59	c #conflict = 1
256.45/256.59	c #restart = 0
256.45/256.59	c BCD2: updating lower bound of a core
256.45/256.59	c BCD2: refineLB: 131 -> 139
256.45/256.59	c lower bound updated to -377889
321.24/321.35	c BCD2: 139 <= obj <= 378027
321.24/321.35	c BCD2: #cores=1, #unrelaxed=7289, #relaxed=5, #hardened=0
321.24/321.35	c BCD2: #sat=1 #unsat=4 bias=4/5
321.24/321.35	c Solving starts ...
321.24/321.35	c ============================[ Search Statistics ]============================
321.24/321.35	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
321.24/321.35	c       |         |          |          |    Limit     GC | Var      | Constra 
321.24/321.35	c =============================================================================
321.24/321.36	c  0.0s |       0 |        0 |        0 |     7254      0 |        2 |        3
321.24/321.37	c  0.0s |       0 |        1 |        1 |     7254      0 |        3 |        4
321.24/321.37	c #cpu_time = 0.021s
321.24/321.37	c #wall_clock_time = 0.021s
321.24/321.37	c #decision = 1
321.24/321.37	c #random_decision = 0
321.24/321.37	c #conflict = 1
321.24/321.37	c #restart = 0
321.24/321.37	c BCD2: updating lower bound of a core
321.24/321.37	c lower bound updated to -377884
386.62/386.71	c BCD2: 144 <= obj <= 378027
386.62/386.71	c BCD2: #cores=1, #unrelaxed=7289, #relaxed=5, #hardened=0
386.62/386.71	c BCD2: #sat=1 #unsat=5 bias=5/6
386.62/386.71	c Solving starts ...
386.62/386.71	c ============================[ Search Statistics ]============================
386.62/386.71	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
386.62/386.71	c       |         |          |          |    Limit     GC | Var      | Constra 
386.62/386.71	c =============================================================================
386.62/386.71	c  0.0s |       0 |        0 |        0 |     7254      0 |        3 |        4
386.62/386.72	c  0.0s |       0 |      708 |        0 |     7254      0 |        3 |        4
386.62/386.72	c #cpu_time = 0.015s
386.62/386.72	c #wall_clock_time = 0.015s
386.62/386.72	c #decision = 708
386.62/386.72	c #random_decision = 0
386.62/386.72	c #conflict = 0
386.62/386.72	c #restart = 0
386.62/386.72	c BCD2: relaxing 1 and merging with 1 cores into a new core of size 6: cost of the new core is >=185
386.62/386.72	c BCD2: refineLB: 145 -> 185
386.62/386.72	c lower bound updated to -377843
452.22/452.33	c BCD2: 185 <= obj <= 378027
452.22/452.33	c BCD2: #cores=1, #unrelaxed=7288, #relaxed=6, #hardened=0
452.22/452.33	c BCD2: #sat=1 #unsat=6 bias=6/7
452.22/452.33	c Solving starts ...
452.22/452.33	c ============================[ Search Statistics ]============================
452.22/452.33	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
452.22/452.33	c       |         |          |          |    Limit     GC | Var      | Constra 
452.22/452.33	c =============================================================================
452.22/452.33	c  0.0s |       0 |        0 |        0 |     7254      0 |        4 |        4
452.22/452.35	c  0.0s |       0 |     2087 |        0 |     7254      0 |        4 |        5
452.22/452.35	c #cpu_time = 0.016s
452.22/452.35	c #wall_clock_time = 0.016s
452.22/452.35	c #decision = 2087
452.22/452.35	c #random_decision = 0
452.22/452.35	c #conflict = 0
452.22/452.35	c #restart = 0
452.22/452.35	c BCD2: relaxing 2 and merging with 1 cores into a new core of size 8: cost of the new core is >=190
452.22/452.35	c lower bound updated to -377838
518.61/518.73	c BCD2: 190 <= obj <= 378027
518.61/518.73	c BCD2: #cores=1, #unrelaxed=7286, #relaxed=8, #hardened=0
518.61/518.73	c BCD2: #sat=1 #unsat=7 bias=7/8
518.61/518.73	c Solving starts ...
518.61/518.73	c ============================[ Search Statistics ]============================
518.61/518.73	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
518.61/518.73	c       |         |          |          |    Limit     GC | Var      | Constra 
518.61/518.73	c =============================================================================
518.61/518.73	c  0.0s |       0 |        0 |        0 |     7254      0 |        5 |        5
518.61/518.75	c  0.0s |       0 |     1388 |        1 |     7254      0 |        5 |        6
518.61/518.75	c #cpu_time = 0.021s
518.61/518.75	c #wall_clock_time = 0.021s
518.61/518.75	c #decision = 1388
518.61/518.75	c #random_decision = 0
518.61/518.75	c #conflict = 1
518.61/518.75	c #restart = 0
518.61/518.75	c BCD2: relaxing 1 and merging with 1 cores into a new core of size 9: cost of the new core is >=286
518.61/518.75	c lower bound updated to -377742
585.10/585.21	c BCD2: 286 <= obj <= 378027
585.10/585.21	c BCD2: #cores=1, #unrelaxed=7285, #relaxed=9, #hardened=0
585.10/585.21	c BCD2: #sat=1 #unsat=8 bias=8/9
585.10/585.21	c Solving starts ...
585.10/585.21	c ============================[ Search Statistics ]============================
585.10/585.21	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
585.10/585.21	c       |         |          |          |    Limit     GC | Var      | Constra 
585.10/585.21	c =============================================================================
585.10/585.21	c  0.0s |       0 |        0 |        0 |     7254      0 |        6 |        6
585.10/585.23	c  0.0s |       0 |     2032 |        0 |     7254      0 |        6 |        7
585.10/585.23	c #cpu_time = 0.017s
585.10/585.23	c #wall_clock_time = 0.017s
585.10/585.23	c #decision = 2032
585.10/585.23	c #random_decision = 0
585.10/585.23	c #conflict = 0
585.10/585.23	c #restart = 0
585.10/585.23	c BCD2: relaxing 2 and merging with 1 cores into a new core of size 11: cost of the new core is >=422
585.10/585.23	c BCD2: refineLB: 418 -> 422
585.10/585.23	c lower bound updated to -377606
652.19/652.36	c BCD2: 422 <= obj <= 378027
652.19/652.36	c BCD2: #cores=1, #unrelaxed=7283, #relaxed=11, #hardened=0
652.19/652.36	c BCD2: #sat=1 #unsat=9 bias=9/10
652.19/652.36	c Solving starts ...
652.19/652.36	c ============================[ Search Statistics ]============================
652.19/652.36	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
652.19/652.36	c       |         |          |          |    Limit     GC | Var      | Constra 
652.19/652.36	c =============================================================================
652.19/652.36	c  0.0s |       0 |        0 |        0 |     7254      0 |        7 |        7
652.19/652.38	c  0.0s |       0 |     4855 |        1 |     7254      0 |        7 |        8
652.19/652.38	c #cpu_time = 0.015s
652.19/652.38	c #wall_clock_time = 0.015s
652.19/652.38	c #decision = 4855
652.19/652.38	c #random_decision = 0
652.19/652.38	c #conflict = 1
652.19/652.38	c #restart = 0
652.19/652.38	c BCD2: relaxing 3 and merging with 1 cores into a new core of size 14: cost of the new core is >=618
652.19/652.38	c BCD2: refineLB: 617 -> 618
652.19/652.38	c lower bound updated to -377410
719.28/719.46	c BCD2: 618 <= obj <= 378027
719.28/719.46	c BCD2: #cores=1, #unrelaxed=7280, #relaxed=14, #hardened=0
719.28/719.46	c BCD2: #sat=1 #unsat=10 bias=10/11
719.28/719.46	c Solving starts ...
719.28/719.46	c ============================[ Search Statistics ]============================
719.28/719.46	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
719.28/719.46	c       |         |          |          |    Limit     GC | Var      | Constra 
719.28/719.46	c =============================================================================
719.28/719.46	c  0.0s |       0 |        0 |        0 |     7254      0 |        8 |        8
719.28/719.47	c  0.0s |       0 |     4855 |        1 |     7254      0 |        8 |        9
719.28/719.47	c #cpu_time = 0.014s
719.28/719.47	c #wall_clock_time = 0.014s
719.28/719.47	c #decision = 4855
719.28/719.47	c #random_decision = 0
719.28/719.47	c #conflict = 1
719.28/719.47	c #restart = 0
719.28/719.47	c BCD2: relaxing 3 and merging with 1 cores into a new core of size 17: cost of the new core is >=876
719.28/719.47	c lower bound updated to -377152
786.56/786.75	c BCD2: 876 <= obj <= 378027
786.56/786.75	c BCD2: #cores=1, #unrelaxed=7277, #relaxed=17, #hardened=0
786.56/786.75	c BCD2: #sat=1 #unsat=11 bias=11/12
786.56/786.75	c Solving starts ...
786.56/786.75	c ============================[ Search Statistics ]============================
786.56/786.75	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
786.56/786.75	c       |         |          |          |    Limit     GC | Var      | Constra 
786.56/786.75	c =============================================================================
786.56/786.75	c  0.0s |       0 |        0 |        0 |     7254      0 |        9 |        9
786.56/786.77	c  0.0s |       0 |     4844 |        1 |     7254      0 |        9 |       10
786.56/786.77	c #cpu_time = 0.014s
786.56/786.77	c #wall_clock_time = 0.014s
786.56/786.77	c #decision = 4844
786.56/786.77	c #random_decision = 0
786.56/786.77	c #conflict = 1
786.56/786.77	c #restart = 0
786.56/786.77	c BCD2: relaxing 4 and merging with 1 cores into a new core of size 21: cost of the new core is >=1128
786.56/786.77	c lower bound updated to -376900
853.47/853.67	c BCD2: 1128 <= obj <= 378027
853.47/853.67	c BCD2: #cores=1, #unrelaxed=7273, #relaxed=21, #hardened=0
853.47/853.67	c BCD2: #sat=1 #unsat=12 bias=12/13
853.47/853.67	c Solving starts ...
853.47/853.67	c ============================[ Search Statistics ]============================
853.47/853.67	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
853.47/853.67	c       |         |          |          |    Limit     GC | Var      | Constra 
853.47/853.67	c =============================================================================
853.47/853.67	c  0.0s |       0 |        0 |        0 |     7254      0 |       10 |       10
853.47/853.69	c  0.0s |       0 |     4832 |        1 |     7254      0 |       10 |       11
853.47/853.69	c #cpu_time = 0.015s
853.47/853.69	c #wall_clock_time = 0.015s
853.47/853.69	c #decision = 4832
853.47/853.69	c #random_decision = 0
853.47/853.69	c #conflict = 1
853.47/853.69	c #restart = 0
853.47/853.69	c BCD2: relaxing 5 and merging with 1 cores into a new core of size 26: cost of the new core is >=1374
853.47/853.69	c lower bound updated to -376654
920.45/920.64	c BCD2: 1374 <= obj <= 378027
920.45/920.64	c BCD2: #cores=1, #unrelaxed=7268, #relaxed=26, #hardened=0
920.45/920.64	c BCD2: #sat=1 #unsat=13 bias=13/14
920.45/920.64	c Solving starts ...
920.45/920.64	c ============================[ Search Statistics ]============================
920.45/920.64	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
920.45/920.64	c       |         |          |          |    Limit     GC | Var      | Constra 
920.45/920.64	c =============================================================================
920.45/920.64	c  0.0s |       0 |        0 |        0 |     7254      0 |       11 |       11
920.45/920.66	c  0.0s |       0 |     4819 |        1 |     7254      0 |       11 |       12
920.45/920.66	c #cpu_time = 0.016s
920.45/920.66	c #wall_clock_time = 0.016s
920.45/920.66	c #decision = 4819
920.45/920.66	c #random_decision = 0
920.45/920.66	c #conflict = 1
920.45/920.66	c #restart = 0
920.45/920.66	c BCD2: relaxing 6 and merging with 1 cores into a new core of size 32: cost of the new core is >=1614
920.45/920.66	c lower bound updated to -376414
983.54/983.78	c BCD2: 1614 <= obj <= 378027
983.54/983.78	c BCD2: #cores=1, #unrelaxed=7262, #relaxed=32, #hardened=0
983.54/983.78	c BCD2: #sat=1 #unsat=14 bias=14/15
983.54/983.78	c Solving starts ...
983.54/983.78	c ============================[ Search Statistics ]============================
983.54/983.78	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
983.54/983.78	c       |         |          |          |    Limit     GC | Var      | Constra 
983.54/983.78	c =============================================================================
983.54/983.78	c  0.0s |       0 |        0 |        0 |     7254      0 |       12 |       12
983.64/983.80	c  0.0s |       0 |     4789 |        1 |     7254      0 |       12 |       13
983.64/983.80	c #cpu_time = 0.014s
983.64/983.80	c #wall_clock_time = 0.014s
983.64/983.80	c #decision = 4789
983.64/983.80	c #random_decision = 0
983.64/983.80	c #conflict = 1
983.64/983.80	c #restart = 0
983.64/983.80	c BCD2: relaxing 9 and merging with 1 cores into a new core of size 41: cost of the new core is >=1740
983.64/983.80	c lower bound updated to -376288
1046.73/1046.95	c BCD2: 1740 <= obj <= 378027
1046.73/1046.95	c BCD2: #cores=1, #unrelaxed=7253, #relaxed=41, #hardened=0
1046.73/1046.95	c BCD2: #sat=1 #unsat=15 bias=15/16
1046.73/1046.95	c Solving starts ...
1046.73/1046.95	c ============================[ Search Statistics ]============================
1046.73/1046.95	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1046.73/1046.95	c       |         |          |          |    Limit     GC | Var      | Constra 
1046.73/1046.95	c =============================================================================
1046.73/1046.95	c  0.0s |       0 |        0 |        0 |     7254      0 |       13 |       13
1046.73/1046.97	c  0.0s |       0 |     2800 |        0 |     7254      0 |       13 |       14
1046.73/1046.97	c #cpu_time = 0.018s
1046.73/1046.97	c #wall_clock_time = 0.018s
1046.73/1046.97	c #decision = 2800
1046.73/1046.97	c #random_decision = 0
1046.73/1046.97	c #conflict = 0
1046.73/1046.97	c #restart = 0
1046.73/1046.97	c BCD2: found a new core of size 3: cost of the new core is >=696
1046.73/1046.97	c lower bound updated to -375592
1109.52/1109.77	c BCD2: 2436 <= obj <= 378027
1109.52/1109.77	c BCD2: #cores=2, #unrelaxed=7250, #relaxed=44, #hardened=0
1109.52/1109.77	c BCD2: #sat=1 #unsat=16 bias=16/17
1109.52/1109.77	c Solving starts ...
1109.52/1109.77	c ============================[ Search Statistics ]============================
1109.52/1109.77	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1109.52/1109.77	c       |         |          |          |    Limit     GC | Var      | Constra 
1109.52/1109.77	c =============================================================================
1109.52/1109.77	c  0.0s |       0 |        0 |        0 |     7254      0 |       13 |       15
1109.62/1109.80	c  0.0s |       0 |     1539 |        0 |     7254      0 |       13 |       15
1109.62/1109.80	c #cpu_time = 0.021s
1109.62/1109.80	c #wall_clock_time = 0.021s
1109.62/1109.80	c #decision = 1539
1109.62/1109.80	c #random_decision = 0
1109.62/1109.80	c #conflict = 0
1109.62/1109.80	c #restart = 0
1109.62/1109.80	c BCD2: relaxing 2 and merging with 1 cores into a new core of size 5: cost of the new core is >=744
1109.62/1109.80	c BCD2: refineLB: 697 -> 744
1109.62/1109.80	c lower bound updated to -375544
1172.31/1172.54	c BCD2: 2484 <= obj <= 378027
1172.31/1172.54	c BCD2: #cores=2, #unrelaxed=7248, #relaxed=46, #hardened=0
1172.31/1172.54	c BCD2: #sat=1 #unsat=17 bias=17/18
1172.31/1172.54	c Solving starts ...
1172.31/1172.54	c ============================[ Search Statistics ]============================
1172.31/1172.54	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1172.31/1172.54	c       |         |          |          |    Limit     GC | Var      | Constra 
1172.31/1172.54	c =============================================================================
1172.31/1172.54	c  0.0s |       0 |        0 |        0 |     7254      0 |       14 |       15
1172.31/1172.56	c  0.0s |       0 |        1 |        1 |     7254      0 |       15 |       17
1172.31/1172.56	c #cpu_time = 0.021s
1172.31/1172.56	c #wall_clock_time = 0.021s
1172.31/1172.56	c #decision = 1
1172.31/1172.56	c #random_decision = 0
1172.31/1172.56	c #conflict = 1
1172.31/1172.56	c #restart = 0
1172.31/1172.56	c BCD2: updating lower bound of a core
1172.31/1172.56	c BCD2: refineLB: 1402 -> 1418
1172.31/1172.56	c lower bound updated to -374870
1234.70/1234.94	c BCD2: 3158 <= obj <= 378027
1234.70/1234.94	c BCD2: #cores=2, #unrelaxed=7248, #relaxed=46, #hardened=0
1234.70/1234.94	c BCD2: #sat=1 #unsat=18 bias=18/19
1234.70/1234.94	c Solving starts ...
1234.70/1234.94	c ============================[ Search Statistics ]============================
1234.70/1234.94	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1234.70/1234.94	c       |         |          |          |    Limit     GC | Var      | Constra 
1234.70/1234.94	c =============================================================================
1234.70/1234.94	c  0.0s |       0 |        0 |        0 |     7254      0 |       15 |       17
1234.70/1234.96	c  0.0s |       0 |        1 |        1 |     7254      0 |       16 |       18
1234.70/1234.96	c #cpu_time = 0.020s
1234.70/1234.96	c #wall_clock_time = 0.020s
1234.70/1234.96	c #decision = 1
1234.70/1234.96	c #random_decision = 0
1234.70/1234.96	c #conflict = 1
1234.70/1234.96	c #restart = 0
1234.70/1234.96	c BCD2: updating lower bound of a core
1234.70/1234.96	c BCD2: refineLB: 1439 -> 1440
1234.70/1234.96	c lower bound updated to -374848
1297.08/1297.39	c BCD2: 3180 <= obj <= 378027
1297.08/1297.39	c BCD2: #cores=2, #unrelaxed=7248, #relaxed=46, #hardened=0
1297.08/1297.39	c BCD2: #sat=1 #unsat=19 bias=19/20
1297.08/1297.39	c Solving starts ...
1297.08/1297.39	c ============================[ Search Statistics ]============================
1297.08/1297.39	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1297.08/1297.39	c       |         |          |          |    Limit     GC | Var      | Constra 
1297.08/1297.39	c =============================================================================
1297.08/1297.39	c  0.0s |       0 |        0 |        0 |     7254      0 |       16 |       18
1297.18/1297.41	c  0.0s |       0 |      555 |        0 |     7254      0 |       16 |       18
1297.18/1297.41	c #cpu_time = 0.017s
1297.18/1297.41	c #wall_clock_time = 0.017s
1297.18/1297.41	c #decision = 555
1297.18/1297.41	c #random_decision = 0
1297.18/1297.41	c #conflict = 0
1297.18/1297.41	c #restart = 0
1297.18/1297.41	c BCD2: relaxing 1 and merging with 1 cores into a new core of size 6: cost of the new core is >=1529
1297.18/1297.41	c BCD2: refineLB: 1441 -> 1529
1297.18/1297.41	c lower bound updated to -374759
1359.37/1359.69	c BCD2: 3269 <= obj <= 378027
1359.37/1359.69	c BCD2: #cores=2, #unrelaxed=7247, #relaxed=47, #hardened=0
1359.37/1359.69	c BCD2: #sat=1 #unsat=20 bias=20/21
1359.37/1359.69	c Solving starts ...
1359.37/1359.69	c ============================[ Search Statistics ]============================
1359.37/1359.69	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1359.37/1359.69	c       |         |          |          |    Limit     GC | Var      | Constra 
1359.37/1359.69	c =============================================================================
1359.37/1359.69	c  0.0s |       0 |        0 |        0 |     7254      0 |       17 |       18
1359.47/1359.71	c  0.0s |       0 |     4847 |        1 |     7254      0 |       17 |       19
1359.47/1359.71	c #cpu_time = 0.015s
1359.47/1359.71	c #wall_clock_time = 0.015s
1359.47/1359.71	c #decision = 4847
1359.47/1359.71	c #random_decision = 0
1359.47/1359.71	c #conflict = 1
1359.47/1359.71	c #restart = 0
1359.47/1359.71	c BCD2: relaxing 3 and merging with 1 cores into a new core of size 9: cost of the new core is >=2078
1359.47/1359.71	c BCD2: refineLB: 2073 -> 2078
1359.47/1359.71	c lower bound updated to -374210
1421.95/1422.26	c BCD2: 3818 <= obj <= 378027
1421.95/1422.26	c BCD2: #cores=2, #unrelaxed=7244, #relaxed=50, #hardened=0
1421.95/1422.26	c BCD2: #sat=1 #unsat=21 bias=21/22
1421.95/1422.26	c Solving starts ...
1421.95/1422.26	c ============================[ Search Statistics ]============================
1421.95/1422.26	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1421.95/1422.26	c       |         |          |          |    Limit     GC | Var      | Constra 
1421.95/1422.26	c =============================================================================
1421.95/1422.26	c  0.0s |       0 |        0 |        0 |     7254      0 |       18 |       19
1421.95/1422.28	c  0.0s |       0 |     4846 |        1 |     7254      0 |       18 |       20
1421.95/1422.28	c #cpu_time = 0.015s
1421.95/1422.28	c #wall_clock_time = 0.015s
1421.95/1422.28	c #decision = 4846
1421.95/1422.28	c #random_decision = 0
1421.95/1422.28	c #conflict = 1
1421.95/1422.28	c #restart = 0
1421.95/1422.28	c BCD2: relaxing 4 and merging with 1 cores into a new core of size 13: cost of the new core is >=2702
1421.95/1422.28	c lower bound updated to -373586
1484.44/1484.72	c BCD2: 4442 <= obj <= 378027
1484.44/1484.72	c BCD2: #cores=2, #unrelaxed=7240, #relaxed=54, #hardened=0
1484.44/1484.72	c BCD2: #sat=1 #unsat=22 bias=22/23
1484.44/1484.72	c Solving starts ...
1484.44/1484.72	c ============================[ Search Statistics ]============================
1484.44/1484.72	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1484.44/1484.72	c       |         |          |          |    Limit     GC | Var      | Constra 
1484.44/1484.72	c =============================================================================
1484.44/1484.72	c  0.0s |       0 |        0 |        0 |     7254      0 |       19 |       20
1484.44/1484.74	c  0.0s |       0 |     4844 |        1 |     7254      0 |       19 |       21
1484.44/1484.74	c #cpu_time = 0.016s
1484.44/1484.74	c #wall_clock_time = 0.016s
1484.44/1484.74	c #decision = 4844
1484.44/1484.74	c #random_decision = 0
1484.44/1484.74	c #conflict = 1
1484.44/1484.74	c #restart = 0
1484.44/1484.74	c BCD2: relaxing 5 and merging with 1 cores into a new core of size 18: cost of the new core is >=3252
1484.44/1484.74	c lower bound updated to -373036
1547.14/1547.47	c BCD2: 4992 <= obj <= 378027
1547.14/1547.47	c BCD2: #cores=2, #unrelaxed=7235, #relaxed=59, #hardened=0
1547.14/1547.47	c BCD2: #sat=1 #unsat=23 bias=23/24
1547.14/1547.47	c Solving starts ...
1547.14/1547.47	c ============================[ Search Statistics ]============================
1547.14/1547.47	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1547.14/1547.47	c       |         |          |          |    Limit     GC | Var      | Constra 
1547.14/1547.47	c =============================================================================
1547.14/1547.47	c  0.0s |       0 |        0 |        0 |     7254      0 |       20 |       21
1547.14/1547.49	c  0.0s |       0 |     4841 |        1 |     7254      0 |       20 |       22
1547.14/1547.49	c #cpu_time = 0.017s
1547.14/1547.49	c #wall_clock_time = 0.017s
1547.14/1547.49	c #decision = 4841
1547.14/1547.49	c #random_decision = 0
1547.14/1547.49	c #conflict = 1
1547.14/1547.49	c #restart = 0
1547.14/1547.49	c BCD2: relaxing 6 and merging with 1 cores into a new core of size 24: cost of the new core is >=3732
1547.14/1547.49	c lower bound updated to -372556
1609.83/1610.14	c BCD2: 5472 <= obj <= 378027
1609.83/1610.14	c BCD2: #cores=2, #unrelaxed=7229, #relaxed=65, #hardened=0
1609.83/1610.14	c BCD2: #sat=1 #unsat=24 bias=24/25
1609.83/1610.14	c Solving starts ...
1609.83/1610.14	c ============================[ Search Statistics ]============================
1609.83/1610.14	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1609.83/1610.14	c       |         |          |          |    Limit     GC | Var      | Constra 
1609.83/1610.14	c =============================================================================
1609.83/1610.14	c  0.0s |       0 |        0 |        0 |     7254      0 |       21 |       22
1609.83/1610.16	c  0.0s |       0 |     4830 |        1 |     7254      0 |       21 |       23
1609.83/1610.16	c #cpu_time = 0.018s
1609.83/1610.16	c #wall_clock_time = 0.018s
1609.83/1610.16	c #decision = 4830
1609.83/1610.16	c #random_decision = 0
1609.83/1610.16	c #conflict = 1
1609.83/1610.16	c #restart = 0
1609.83/1610.16	c BCD2: relaxing 8 and merging with 1 cores into a new core of size 32: cost of the new core is >=4092
1609.83/1610.16	c lower bound updated to -372196
1672.82/1673.16	c BCD2: 5832 <= obj <= 378027
1672.82/1673.16	c BCD2: #cores=2, #unrelaxed=7221, #relaxed=73, #hardened=0
1672.82/1673.16	c BCD2: #sat=1 #unsat=25 bias=25/26
1672.82/1673.16	c Solving starts ...
1672.82/1673.16	c ============================[ Search Statistics ]============================
1672.82/1673.16	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1672.82/1673.16	c       |         |          |          |    Limit     GC | Var      | Constra 
1672.82/1673.16	c =============================================================================
1672.82/1673.16	c  0.0s |       0 |        0 |        0 |     7254      0 |       22 |       23
1672.82/1673.18	c  0.0s |       0 |     2777 |        0 |     7254      0 |       22 |       24
1672.82/1673.18	c #cpu_time = 0.019s
1672.82/1673.18	c #wall_clock_time = 0.019s
1672.82/1673.18	c #decision = 2777
1672.82/1673.18	c #random_decision = 0
1672.82/1673.18	c #conflict = 0
1672.82/1673.18	c #restart = 0
1672.82/1673.18	c BCD2: found a new core of size 3: cost of the new core is >=792
1672.82/1673.18	c lower bound updated to -371404
1735.71/1736.02	c BCD2: 6624 <= obj <= 378027
1735.71/1736.02	c BCD2: #cores=3, #unrelaxed=7218, #relaxed=76, #hardened=0
1735.71/1736.02	c BCD2: #sat=1 #unsat=26 bias=26/27
1735.71/1736.02	c Solving starts ...
1735.71/1736.02	c ============================[ Search Statistics ]============================
1735.71/1736.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1735.71/1736.02	c       |         |          |          |    Limit     GC | Var      | Constra 
1735.71/1736.02	c =============================================================================
1735.71/1736.02	c  0.0s |       0 |        0 |        0 |     7254      0 |       22 |       25
1735.71/1736.04	c  0.0s |       0 |     1102 |        0 |     7254      0 |       22 |       25
1735.71/1736.04	c #cpu_time = 0.021s
1735.71/1736.04	c #wall_clock_time = 0.021s
1735.71/1736.04	c #decision = 1102
1735.71/1736.04	c #random_decision = 0
1735.71/1736.04	c #conflict = 0
1735.71/1736.04	c #restart = 0
1735.71/1736.04	c BCD2: relaxing 2 and merging with 1 cores into a new core of size 5: cost of the new core is >=1584
1735.71/1736.04	c BCD2: refineLB: 793 -> 1584
1735.71/1736.04	c lower bound updated to -370612
1798.80/1799.18	c BCD2: 7416 <= obj <= 378027
1798.80/1799.18	c BCD2: #cores=3, #unrelaxed=7216, #relaxed=78, #hardened=0
1798.80/1799.18	c BCD2: #sat=1 #unsat=27 bias=27/28
1798.80/1799.19	c Solving starts ...
1798.80/1799.19	c ============================[ Search Statistics ]============================
1798.80/1799.19	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1798.80/1799.19	c       |         |          |          |    Limit     GC | Var      | Constra 
1798.80/1799.19	c =============================================================================
1798.80/1799.19	c  0.0s |       0 |        0 |        0 |     7254      0 |       23 |       25
1798.90/1799.20	c  0.0s |       0 |      444 |        0 |     7254      0 |       23 |       26
1798.90/1799.20	c #cpu_time = 0.017s
1798.90/1799.20	c #wall_clock_time = 0.017s
1798.90/1799.20	c #decision = 444
1798.90/1799.20	c #random_decision = 0
1798.90/1799.20	c #conflict = 0
1798.90/1799.20	c #restart = 0
1798.90/1799.20	c BCD2: relaxing 1 and merging with 1 cores into a new core of size 6: cost of the new core is >=1722
1798.90/1799.20	c BCD2: refineLB: 1585 -> 1722
1798.90/1799.20	c lower bound updated to -370474

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

pid=5848
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.24 2.24 2.19 4/179 5851
/proc/meminfo: memFree=23490584/32872528 swapFree=1253612/1390560
[pid=5851] ppid=5848 vsize=719428 CPUtime=0 cores=1,3,5,7
/proc/5851/stat : 5851 (toysat) R 5848 5851 3971 0 -1 4202496 2687 0 0 0 0 0 0 0 20 0 4 0 3587370 736694272 3047 33554432000 4194304 16246674 140734101582736 140734101582160 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5851/statm: 180625 3058 442 2943 0 177519 0
[pid=5851/tid=5852] ppid=5848 vsize=737860 CPUtime=0 cores=1,3,5,7
/proc/5851/task/5852/stat : 5852 (toysat) S 5848 5851 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3587370 755568640 3118 33554432000 4194304 16246674 140734101582736 140269285518576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5851/tid=5853] ppid=5848 vsize=742980 CPUtime=0 cores=1,3,5,7
/proc/5851/task/5853/stat : 5853 (toysat) S 5848 5851 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3587370 760811520 3136 33554432000 4194304 16246674 140734101582736 140269202681072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5851/tid=5854] ppid=5848 vsize=747076 CPUtime=0 cores=1,3,5,7
/proc/5851/task/5854/stat : 5854 (toysat) S 5848 5851 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3587370 765005824 3155 33554432000 4194304 16246674 140734101582736 140269192207536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100183 s]
/proc/loadavg: 2.24 2.24 2.19 4/179 5851
/proc/meminfo: memFree=23490584/32872528 swapFree=1253612/1390560
[pid=5851] ppid=5848 vsize=1301060 CPUtime=0.09 cores=1,3,5,7
/proc/5851/stat : 5851 (toysat) R 5848 5851 3971 0 -1 4202496 25427 0 0 0 6 3 0 0 20 0 4 0 3587370 1332285440 25726 33554432000 4194304 16246674 140734101582736 140734101582048 7368729 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5851/statm: 325265 25743 800 2943 0 322159 0
[pid=5851/tid=5852] ppid=5848 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/5851/task/5852/stat : 5852 (toysat) S 5848 5851 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3587370 1332285440 25754 33554432000 4194304 16246674 140734101582736 140269285518576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5851/tid=5853] ppid=5848 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/5851/task/5853/stat : 5853 (toysat) S 5848 5851 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3587370 1332285440 25766 33554432000 4194304 16246674 140734101582736 140269202681072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5851/tid=5854] ppid=5848 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/5851/task/5854/stat : 5854 (toysat) S 5848 5851 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3587370 1332285440 25777 33554432000 4194304 16246674 140734101582736 140269192207536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200538 s]
/proc/loadavg: 2.24 2.24 2.19 4/179 5851
/proc/meminfo: memFree=23490584/32872528 swapFree=1253612/1390560
[pid=5851] ppid=5848 vsize=1302084 CPUtime=0.19 cores=1,3,5,7
/proc/5851/stat : 5851 (toysat) R 5848 5851 3971 0 -1 4202496 47827 0 0 0 13 6 0 0 20 0 4 0 3587370 1333334016 48126 33554432000 4194304 16246674 140734101582736 140734101582048 13780501 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5851/statm: 325521 48135 835 2943 0 322415 0
[pid=5851/tid=5852] ppid=5848 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/5851/task/5852/stat : 5852 (toysat) S 5848 5851 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3587370 1333334016 48141 33554432000 4194304 16246674 140734101582736 140269285518576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5851/tid=5853] ppid=5848 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/5851/task/5853/stat : 5853 (toysat) S 5848 5851 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3587370 1333334016 48146 33554432000 4194304 16246674 140734101582736 140269202681072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5851/tid=5854] ppid=5848 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/5851/task/5854/stat : 5854 (toysat) S 5848 5851 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3587370 1333334016 48151 33554432000 4194304 16246674 140734101582736 140269192207536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1302084

[startup+0.300505 s]
/proc/loadavg: 2.24 2.24 2.19 4/179 5851
/proc/meminfo: memFree=23490584/32872528 swapFree=1253612/1390560
[pid=5851] ppid=5848 vsize=1302084 CPUtime=0.29 cores=1,3,5,7
/proc/5851/stat : 5851 (toysat) R 5848 5851 3971 0 -1 4202496 66405 0 0 0 19 10 0 0 20 0 4 0 3587370 1333334016 66704 33554432000 4194304 16246674 140734101582736 140734101582048 13932337 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5851/statm: 325521 66712 835 2943 0 322415 0
[pid=5851/tid=5852] ppid=5848 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/5851/task/5852/stat : 5852 (toysat) S 5848 5851 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3587370 1333334016 66718 33554432000 4194304 16246674 140734101582736 140269285518576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5851/tid=5853] ppid=5848 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/5851/task/5853/stat : 5853 (toysat) S 5848 5851 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3587370 1333334016 66723 33554432000 4194304 16246674 140734101582736 140269202681072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5851/tid=5854] ppid=5848 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/5851/task/5854/stat : 5854 (toysat) S 5848 5851 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3587370 1333334016 66729 33554432000 4194304 16246674 140734101582736 140269192207536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1302084

[startup+0.700437 s]
/proc/loadavg: 2.24 2.24 2.19 4/179 5851
/proc/meminfo: memFree=23490584/32872528 swapFree=1253612/1390560
[pid=5851] ppid=5848 vsize=1318468 CPUtime=0.69 cores=1,3,5,7
/proc/5851/stat : 5851 (toysat) R 5848 5851 3971 0 -1 4202496 102297 0 0 0 55 14 0 0 20 0 4 0 3587370 1350111232 102596 33554432000 4194304 16246674 140734101582736 140734101582048 12414001 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5851/statm: 329617 102612 879 2943 0 326511 0
[pid=5851/tid=5852] ppid=5848 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/5851/task/5852/stat : 5852 (toysat) S 5848 5851 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3587370 1350111232 102623 33554432000 4194304 16246674 140734101582736 140269285518576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5851/tid=5853] ppid=5848 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/5851/task/5853/stat : 5853 (toysat) S 5848 5851 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3587370 1350111232 102633 33554432000 4194304 16246674 140734101582736 140269202681072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5851/tid=5854] ppid=5848 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/5851/task/5854/stat : 5854 (toysat) S 5848 5851 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3587370 1350111232 102643 33554432000 4194304 16246674 140734101582736 140269192207536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1318468

[startup+1.50044 s]
/proc/loadavg: 2.24 2.24 2.19 4/183 5855
/proc/meminfo: memFree=22560736/32872528 swapFree=1253612/1390560
[pid=5851] ppid=5848 vsize=1318468 CPUtime=1.49 cores=1,3,5,7
/proc/5851/stat : 5851 (toysat) R 5848 5851 3971 0 -1 4202496 270797 0 0 0 113 36 0 0 20 0 4 0 3587370 1350111232 271095 33554432000 4194304 16246674 140734101582736 140734101564608 6955969 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5851/statm: 329617 271095 879 2943 0 326511 0
[pid=5851/tid=5852] ppid=5848 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/5851/task/5852/stat : 5852 (toysat) S 5848 5851 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3587370 1350111232 271095 33554432000 4194304 16246674 140734101582736 140269285518576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5851/tid=5853] ppid=5848 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/5851/task/5853/stat : 5853 (toysat) S 5848 5851 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3587370 1350111232 271095 33554432000 4194304 16246674 140734101582736 140269202681072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5851/tid=5854] ppid=5848 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/5851/task/5854/stat : 5854 (toysat) S 5848 5851 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3587370 1350111232 271095 33554432000 4194304 16246674 140734101582736 140269192207536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1318468

[startup+3.10044 s]
/proc/loadavg: 2.24 2.24 2.19 4/183 5855
/proc/meminfo: memFree=22406612/32872528 swapFree=1253612/1390560
[pid=5851] ppid=5848 vsize=1318468 CPUtime=3.09 cores=1,3,5,7
/proc/5851/stat : 5851 (toysat) R 5848 5851 3971 0 -1 4202496 270797 0 0 0 273 36 0 0 20 0 4 0 3587370 1350111232 271095 33554432000 4194304 16246674 140734101582736 140734101564608 6955625 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5851/statm: 329617 271095 879 2943 0 326511 0
[pid=5851/tid=5852] ppid=5848 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/5851/task/5852/stat : 5852 (toysat) S 5848 5851 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3587370 1350111232 271095 33554432000 4194304 16246674 140734101582736 140269285518576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5851/tid=5853] ppid=5848 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/5851/task/5853/stat : 5853 (toysat) S 5848 5851 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3587370 1350111232 271095 33554432000 4194304 16246674 140734101582736 140269202681072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5851/tid=5854] ppid=5848 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/5851/task/5854/stat : 5854 (toysat) S 5848 5851 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3587370 1350111232 271095 33554432000 4194304 16246674 140734101582736 140269192207536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1318468

[startup+6.30044 s]
/proc/loadavg: 2.22 2.24 2.18 4/183 5855
/proc/meminfo: memFree=22405944/32872528 swapFree=1253612/1390560
[pid=5851] ppid=5848 vsize=1318468 CPUtime=6.29 cores=1,3,5,7
/proc/5851/stat : 5851 (toysat) R 5848 5851 3971 0 -1 4202496 270797 0 0 0 593 36 0 0 20 0 4 0 3587370 1350111232 271095 33554432000 4194304 16246674 140734101582736 140734101564608 13950184 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5851/statm: 329617 271095 879 2943 0 326511 0
[pid=5851/tid=5852] ppid=5848 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/5851/task/5852/stat : 5852 (toysat) S 5848 5851 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3587370 1350111232 271095 33554432000 4194304 16246674 140734101582736 140269285518576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5851/tid=5853] ppid=5848 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/5851/task/5853/stat : 5853 (toysat) S 5848 5851 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3587370 1350111232 271095 33554432000 4194304 16246674 140734101582736 140269202681072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5851/tid=5854] ppid=5848 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/5851/task/5854/stat : 5854 (toysat) S 5848 5851 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3587370 1350111232 271095 33554432000 4194304 16246674 140734101582736 140269192207536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1318468

[startup+12.7004 s]
/proc/loadavg: 2.20 2.23 2.18 3/183 5855
/proc/meminfo: memFree=22406340/32872528 swapFree=1253612/1390560
[pid=5851] ppid=5848 vsize=1318468 CPUtime=12.69 cores=1,3,5,7
/proc/5851/stat : 5851 (toysat) R 5848 5851 3971 0 -1 4202496 270797 0 0 0 1233 36 0 0 20 0 4 0 3587370 1350111232 271095 33554432000 4194304 16246674 140734101582736 140734101564608 12429241 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5851/statm: 329617 271095 879 2943 0 326511 0
[pid=5851/tid=5852] ppid=5848 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/5851/task/5852/stat : 5852 (toysat) S 5848 5851 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3587370 1350111232 271095 33554432000 4194304 16246674 140734101582736 140269285518576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5851/tid=5853] ppid=5848 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/5851/task/5853/stat : 5853 (toysat) S 5848 5851 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3587370 1350111232 271095 33554432000 4194304 16246674 140734101582736 140269202681072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5851/tid=5854] ppid=5848 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/5851/task/5854/stat : 5854 (toysat) S 5848 5851 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3587370 1350111232 271095 33554432000 4194304 16246674 140734101582736 140269192207536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1318468

[startup+25.5005 s]
/proc/loadavg: 2.22 2.24 2.18 3/183 5855
/proc/meminfo: memFree=22406608/32872528 swapFree=1253612/1390560
[pid=5851] ppid=5848 vsize=1318468 CPUtime=25.49 cores=1,3,5,7
/proc/5851/stat : 5851 (toysat) R 5848 5851 3971 0 -1 4202496 270797 0 0 0 2513 36 0 0 20 0 4 0 3587370 1350111232 271095 33554432000 4194304 16246674 140734101582736 140734101564608 12429087 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5851/statm: 329617 271095 879 2943 0 326511 0
[pid=5851/tid=5852] ppid=5848 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/5851/task/5852/stat : 5852 (toysat) S 5848 5851 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3587370 1350111232 271095 33554432000 4194304 16246674 140734101582736 140269285518576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5851/tid=5853] ppid=5848 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/5851/task/5853/stat : 5853 (toysat) S 5848 5851 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3587370 1350111232 271095 33554432000 4194304 16246674 140734101582736 140269202681072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5851/tid=5854] ppid=5848 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/5851/task/5854/stat : 5854 (toysat) S 5848 5851 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3587370 1350111232 271095 33554432000 4194304 16246674 140734101582736 140269192207536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1318468

[startup+51.1005 s]
/proc/loadavg: 2.36 2.27 2.19 4/183 5855
/proc/meminfo: memFree=22405084/32872528 swapFree=1253612/1390560
[pid=5851] ppid=5848 vsize=1318468 CPUtime=51.08 cores=1,3,5,7
/proc/5851/stat : 5851 (toysat) R 5848 5851 3971 0 -1 4202496 270797 0 0 0 5072 36 0 0 20 0 4 0 3587370 1350111232 271095 33554432000 4194304 16246674 140734101582736 140734101564608 12371381 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5851/statm: 329617 271095 879 2943 0 326511 0
[pid=5851/tid=5852] ppid=5848 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/5851/task/5852/stat : 5852 (toysat) S 5848 5851 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3587370 1350111232 271095 33554432000 4194304 16246674 140734101582736 140269285518576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5851/tid=5853] ppid=5848 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/5851/task/5853/stat : 5853 (toysat) S 5848 5851 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3587370 1350111232 271095 33554432000 4194304 16246674 140734101582736 140269202681072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5851/tid=5854] ppid=5848 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/5851/task/5854/stat : 5854 (toysat) S 5848 5851 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3587370 1350111232 271095 33554432000 4194304 16246674 140734101582736 140269192207536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1318468

[startup+102.301 s]
/proc/loadavg: 2.28 2.25 2.19 3/183 5856
/proc/meminfo: memFree=22404644/32872528 swapFree=1253612/1390560
[pid=5851] ppid=5848 vsize=1318468 CPUtime=102.28 cores=1,3,5,7
/proc/5851/stat : 5851 (toysat) R 5848 5851 3971 0 -1 4202496 270800 0 0 0 10192 36 0 0 20 0 4 0 3587370 1350111232 271098 33554432000 4194304 16246674 140734101582736 140734101564608 12414092 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5851/statm: 329617 271098 882 2943 0 326511 0
[pid=5851/tid=5852] ppid=5848 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/5851/task/5852/stat : 5852 (toysat) S 5848 5851 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3587370 1350111232 271098 33554432000 4194304 16246674 140734101582736 140269285518576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5851/tid=5853] ppid=5848 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/5851/task/5853/stat : 5853 (toysat) S 5848 5851 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3587370 1350111232 271098 33554432000 4194304 16246674 140734101582736 140269202681072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5851/tid=5854] ppid=5848 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/5851/task/5854/stat : 5854 (toysat) S 5848 5851 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3587370 1350111232 271098 33554432000 4194304 16246674 140734101582736 140269192207536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1318468


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

/proc/5851/task/5854/stat : 5854 (toysat) S 5848 5851 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3587370 1354305536 272407 33554432000 4194304 16246674 140734101582736 140269192207536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 1322564

[startup+1362.3 s]
/proc/loadavg: 2.26 2.24 2.25 3/183 5960
/proc/meminfo: memFree=22389792/32872528 swapFree=1253612/1390560
[pid=5851] ppid=5848 vsize=1322564 CPUtime=1362.07 cores=1,3,5,7
/proc/5851/stat : 5851 (toysat) R 5848 5851 3971 0 -1 4202496 271889 0 0 0 136169 38 0 0 20 0 4 0 3587370 1354305536 272407 33554432000 4194304 16246674 140734101582736 140734101564608 12371164 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5851/statm: 330641 272407 911 2943 0 327535 0
[pid=5851/tid=5852] ppid=5848 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/5851/task/5852/stat : 5852 (toysat) S 5848 5851 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3587370 1354305536 272407 33554432000 4194304 16246674 140734101582736 140269285518576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5851/tid=5853] ppid=5848 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/5851/task/5853/stat : 5853 (toysat) S 5848 5851 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3587370 1354305536 272407 33554432000 4194304 16246674 140734101582736 140269202681072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5851/tid=5854] ppid=5848 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/5851/task/5854/stat : 5854 (toysat) S 5848 5851 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3587370 1354305536 272407 33554432000 4194304 16246674 140734101582736 140269192207536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 1322564

[startup+1422.3 s]
/proc/loadavg: 2.19 2.23 2.24 3/183 5962
/proc/meminfo: memFree=22388136/32872528 swapFree=1253612/1390560
[pid=5851] ppid=5848 vsize=1322564 CPUtime=1422.06 cores=1,3,5,7
/proc/5851/stat : 5851 (toysat) R 5848 5851 3971 0 -1 4202496 271889 0 0 0 142168 38 0 0 20 0 4 0 3587370 1354305536 272407 33554432000 4194304 16246674 140734101582736 140734101564608 12655040 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5851/statm: 330641 272407 911 2943 0 327535 0
[pid=5851/tid=5852] ppid=5848 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/5851/task/5852/stat : 5852 (toysat) S 5848 5851 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3587370 1354305536 272407 33554432000 4194304 16246674 140734101582736 140269285518576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5851/tid=5853] ppid=5848 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/5851/task/5853/stat : 5853 (toysat) S 5848 5851 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3587370 1354305536 272407 33554432000 4194304 16246674 140734101582736 140269202681072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5851/tid=5854] ppid=5848 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/5851/task/5854/stat : 5854 (toysat) S 5848 5851 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3587370 1354305536 272407 33554432000 4194304 16246674 140734101582736 140269192207536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 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.17 2.21 2.23 3/183 5963
/proc/meminfo: memFree=22388364/32872528 swapFree=1253612/1390560
[pid=5851] ppid=5848 vsize=1322564 CPUtime=1482.04 cores=1,3,5,7
/proc/5851/stat : 5851 (toysat) R 5848 5851 3971 0 -1 4202496 271889 0 0 0 148166 38 0 0 20 0 4 0 3587370 1354305536 272407 33554432000 4194304 16246674 140734101582736 140734101564608 12371164 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5851/statm: 330641 272407 911 2943 0 327535 0
[pid=5851/tid=5852] ppid=5848 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/5851/task/5852/stat : 5852 (toysat) S 5848 5851 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3587370 1354305536 272407 33554432000 4194304 16246674 140734101582736 140269285518576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5851/tid=5853] ppid=5848 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/5851/task/5853/stat : 5853 (toysat) S 5848 5851 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3587370 1354305536 272407 33554432000 4194304 16246674 140734101582736 140269202681072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5851/tid=5854] ppid=5848 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/5851/task/5854/stat : 5854 (toysat) S 5848 5851 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3587370 1354305536 272407 33554432000 4194304 16246674 140734101582736 140269192207536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 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.21 2.22 2.23 3/183 5964
/proc/meminfo: memFree=22388148/32872528 swapFree=1253612/1390560
[pid=5851] ppid=5848 vsize=1322564 CPUtime=1542.05 cores=1,3,5,7
/proc/5851/stat : 5851 (toysat) R 5848 5851 3971 0 -1 4202496 271889 0 0 0 154166 39 0 0 20 0 4 0 3587370 1354305536 272407 33554432000 4194304 16246674 140734101582736 140734101564608 12449412 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5851/statm: 330641 272407 911 2943 0 327535 0
[pid=5851/tid=5852] ppid=5848 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/5851/task/5852/stat : 5852 (toysat) S 5848 5851 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3587370 1354305536 272407 33554432000 4194304 16246674 140734101582736 140269285518576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5851/tid=5853] ppid=5848 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/5851/task/5853/stat : 5853 (toysat) S 5848 5851 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3587370 1354305536 272407 33554432000 4194304 16246674 140734101582736 140269202681072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5851/tid=5854] ppid=5848 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/5851/task/5854/stat : 5854 (toysat) S 5848 5851 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3587370 1354305536 272407 33554432000 4194304 16246674 140734101582736 140269192207536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 1322564

[startup+1602.3 s]
/proc/loadavg: 2.14 2.19 2.22 3/183 5965
/proc/meminfo: memFree=22387884/32872528 swapFree=1253612/1390560
[pid=5851] ppid=5848 vsize=1322564 CPUtime=1602.03 cores=1,3,5,7
/proc/5851/stat : 5851 (toysat) R 5848 5851 3971 0 -1 4202496 271889 0 0 0 160164 39 0 0 20 0 4 0 3587370 1354305536 272407 33554432000 4194304 16246674 140734101582736 140734101564608 12429241 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5851/statm: 330641 272407 911 2943 0 327535 0
[pid=5851/tid=5852] ppid=5848 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/5851/task/5852/stat : 5852 (toysat) S 5848 5851 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3587370 1354305536 272407 33554432000 4194304 16246674 140734101582736 140269285518576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5851/tid=5853] ppid=5848 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/5851/task/5853/stat : 5853 (toysat) S 5848 5851 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3587370 1354305536 272407 33554432000 4194304 16246674 140734101582736 140269202681072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5851/tid=5854] ppid=5848 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/5851/task/5854/stat : 5854 (toysat) S 5848 5851 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3587370 1354305536 272407 33554432000 4194304 16246674 140734101582736 140269192207536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 1322564

[startup+1662.3 s]
/proc/loadavg: 2.13 2.18 2.21 3/183 5966
/proc/meminfo: memFree=22387944/32872528 swapFree=1253612/1390560
[pid=5851] ppid=5848 vsize=1322564 CPUtime=1662.02 cores=1,3,5,7
/proc/5851/stat : 5851 (toysat) R 5848 5851 3971 0 -1 4202496 271889 0 0 0 166163 39 0 0 20 0 4 0 3587370 1354305536 272407 33554432000 4194304 16246674 140734101582736 140734101581832 12652957 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5851/statm: 330641 272407 911 2943 0 327535 0
[pid=5851/tid=5852] ppid=5848 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/5851/task/5852/stat : 5852 (toysat) S 5848 5851 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3587370 1354305536 272407 33554432000 4194304 16246674 140734101582736 140269285518576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5851/tid=5853] ppid=5848 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/5851/task/5853/stat : 5853 (toysat) S 5848 5851 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3587370 1354305536 272407 33554432000 4194304 16246674 140734101582736 140269202681072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5851/tid=5854] ppid=5848 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/5851/task/5854/stat : 5854 (toysat) S 5848 5851 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3587370 1354305536 272407 33554432000 4194304 16246674 140734101582736 140269192207536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 1322564

[startup+1722.3 s]
/proc/loadavg: 2.29 2.21 2.22 3/183 5968
/proc/meminfo: memFree=22387112/32872528 swapFree=1253612/1390560
[pid=5851] ppid=5848 vsize=1322564 CPUtime=1722.01 cores=1,3,5,7
/proc/5851/stat : 5851 (toysat) R 5848 5851 3971 0 -1 4202496 271889 0 0 0 172162 39 0 0 20 0 4 0 3587370 1354305536 272407 33554432000 4194304 16246674 140734101582736 140734101580544 12414123 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5851/statm: 330641 272407 911 2943 0 327535 0
[pid=5851/tid=5852] ppid=5848 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/5851/task/5852/stat : 5852 (toysat) S 5848 5851 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3587370 1354305536 272407 33554432000 4194304 16246674 140734101582736 140269285518576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5851/tid=5853] ppid=5848 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/5851/task/5853/stat : 5853 (toysat) S 5848 5851 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3587370 1354305536 272407 33554432000 4194304 16246674 140734101582736 140269202681072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5851/tid=5854] ppid=5848 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/5851/task/5854/stat : 5854 (toysat) S 5848 5851 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3587370 1354305536 272407 33554432000 4194304 16246674 140734101582736 140269192207536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 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.26 2.21 2.22 3/184 5972
/proc/meminfo: memFree=22386872/32872528 swapFree=1253612/1390560
[pid=5851] ppid=5848 vsize=1322564 CPUtime=1782 cores=1,3,5,7
/proc/5851/stat : 5851 (toysat) R 5848 5851 3971 0 -1 4202496 271889 0 0 0 178161 39 0 0 20 0 4 0 3587370 1354305536 272407 33554432000 4194304 16246674 140734101582736 140734101564608 12656213 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5851/statm: 330641 272407 911 2943 0 327535 0
[pid=5851/tid=5852] ppid=5848 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/5851/task/5852/stat : 5852 (toysat) S 5848 5851 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3587370 1354305536 272407 33554432000 4194304 16246674 140734101582736 140269285518576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5851/tid=5853] ppid=5848 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/5851/task/5853/stat : 5853 (toysat) S 5848 5851 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3587370 1354305536 272407 33554432000 4194304 16246674 140734101582736 140269202681072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5851/tid=5854] ppid=5848 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/5851/task/5854/stat : 5854 (toysat) S 5848 5851 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3587370 1354305536 272407 33554432000 4194304 16246674 140734101582736 140269192207536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 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.18 2.20 2.21 3/183 5972
/proc/meminfo: memFree=22385288/32872528 swapFree=1253612/1390560
[pid=5851] ppid=5848 vsize=1322564 CPUtime=1800 cores=1,3,5,7
/proc/5851/stat : 5851 (toysat) R 5848 5851 3971 0 -1 4202496 271889 0 0 0 179961 39 0 0 20 0 4 0 3587370 1354305536 272407 33554432000 4194304 16246674 140734101582736 140734101564608 12656213 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5851/statm: 330641 272407 911 2943 0 327535 0
[pid=5851/tid=5852] ppid=5848 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/5851/task/5852/stat : 5852 (toysat) S 5848 5851 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3587370 1354305536 272407 33554432000 4194304 16246674 140734101582736 140269285518576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5851/tid=5853] ppid=5848 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/5851/task/5853/stat : 5853 (toysat) S 5848 5851 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3587370 1354305536 272407 33554432000 4194304 16246674 140734101582736 140269202681072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5851/tid=5854] ppid=5848 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/5851/task/5854/stat : 5854 (toysat) S 5848 5851 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3587370 1354305536 272407 33554432000 4194304 16246674 140734101582736 140269192207536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 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 5851 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.3 s]
/proc/loadavg: 2.18 2.20 2.21 3/183 5972
/proc/meminfo: memFree=22385288/32872528 swapFree=1253612/1390560
[pid=5851] ppid=5848 vsize=1322564 CPUtime=1800 cores=1,3,5,7
/proc/5851/stat : 5851 (toysat) R 5848 5851 3971 0 -1 4202496 271889 0 0 0 179961 39 0 0 20 0 4 0 3587370 1354305536 272407 33554432000 4194304 16246674 140734101582736 140734101564608 12656213 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5851/statm: 330641 272407 911 2943 0 327535 0
[pid=5851/tid=5852] ppid=5848 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/5851/task/5852/stat : 5852 (toysat) S 5848 5851 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3587370 1354305536 272407 33554432000 4194304 16246674 140734101582736 140269285518576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5851/tid=5853] ppid=5848 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/5851/task/5853/stat : 5853 (toysat) S 5848 5851 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3587370 1354305536 272407 33554432000 4194304 16246674 140734101582736 140269202681072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5851/tid=5854] ppid=5848 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/5851/task/5854/stat : 5854 (toysat) S 5848 5851 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3587370 1354305536 272407 33554432000 4194304 16246674 140734101582736 140269192207536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 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.397939
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 1322564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.62
system time used= 0.397939
maximum resident set size= 1089628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271889
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= 54
involuntary context switches= 1898

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.53231 second user time and 6.98594 second system time

The end

Launcher Data 

Begin job on node119 at 2016-06-29 20:51:05
IDJOB=4118322
IDBENCH=111481
IDSOLVER=2542
FILE ID=node119/4118322-1467226265
RUNJOBID= node119-1467209132-3988
PBS_JOBID= 19997583
Free space on /tmp= 71716 MiB

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

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

MD5SUM BENCH= b391a1d34c83557e44dbc3e85562df70
RANDOM SEED=1049263277

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

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.444
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.444
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.444
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.444
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.444
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:        23490244 kB
Buffers:          154804 kB
Cached:          5983448 kB
SwapCached:            0 kB
Active:          5057384 kB
Inactive:        2173184 kB
Active(anon):    1095004 kB
Inactive(anon):        0 kB
Active(file):    3962380 kB
Inactive(file):  2173184 kB
Unevictable:     1390560 kB
Mlocked:         1253612 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16996 kB
Writeback:             0 kB
AnonPages:       2566800 kB
Mapped:            17524 kB
Shmem:               204 kB
Slab:             627556 kB
SReclaimable:      71664 kB
SUnreclaim:       555892 kB
KernelStack:        1488 kB
PageTables:         8968 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2618508 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    225280 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 node119 at 2016-06-29 21:21:06