Trace number 4118682

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.11 1800.41

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/
minlplib2-pb-0.1.0/opb/normalized-autocorr_bern40-20.lin.opb
MD5SUM50074ccb0c1151a760791f0459c98771
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-12381
Best CPU time to get the best result obtained on this benchmark1800.59
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7243
Total number of constraints14406
Number of constraints which are clauses7203
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints7203
Minimum length of a constraint3
Maximum length of a constraint5
Number of terms in the objective function 7243
Biggest coefficient in the objective function 4380
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 889560
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 4380
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 889560
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-29T22:39:23+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-4118682-1467232763.opb"]
0.00/0.01	c use --random-gen="2295148150 1078104332 2582853432 3095443686 3710431106 797614738 3363130056 1627674922 748576173 1605634855 954425400 1655030853 4210614931 2666462787 2927169654 1831130736 182655268 1856900537 2222865291 1217129007 317770281 1795559403 2373257141 920109095 2106600852 2101673371 1731215971 910572804 1108085659 794389267 4082918988 2765169162 883241938 4176137447 3255617028 2928687143 1495491950 1259464634 2126421360 2258506764 3904313717 828044188 3620524976 3429277610 3306858408 2122672460 3375549321 462956251 378417912 1888000397 877497173 577333114 1802574983 3493422420 4095241701 1096183149 1265869749 2171317255 2475385260 1435827255 3791179050 1527413736 1611249762 3811473972 3636101609 3730989331 2409975675 1775030605 2253054162 2860415648 1929895148 3473324074 2975882041 4261685752 1488546305 3600381149 1691657090 2611272397 300081414 3045718304 1694800676 3133727401 773525663 1985022687 3913772735 2334713635 1880583503 2679280987 2569752361 1959264605 646946133 2349258104 4228501256 3960404228 1124588057 404352473 253234340 4133612804 3370401063 4087065783 738078961 605299737 1504538789 4030919602 2751249040 2507500737 876338636 3390397693 2502619490 2804965020 3161723736 2346083555 591667459 3666774355 1103740070 883349286 1423500290 797214360 2423663149 160003781 254719227 2475571450 894152975 1731758655 1414077565 1130315664 1581204271 2466924316 3624868003 749866197 563077530 1719623347 2862493252 2203207075 2226360602 570816598 3945205573 3418714561 1570894941 2395735462 4036748790 1258104791 3289669606 1571049391 3969117970 1805674754 3030023258 4099977584 3059133203 4050669331 376266398 417930259 1421237603 2685442651 4217620404 2607520632 3589895890 2341735609 884722463 2979600245 4155759206 391277727 2812902135 3877709621 1184977049 3844926814 2651806624 69669879 2454871334 2383886121 2095462058 1511548419 776524868 2070554095 4165793142 1715104321 2130499614 4103431794 1617904186 555049422 2587896423 2190521089 2470311023 1317687781 3284744494 2697488340 1333166250 2892372184 2939863686 1425577249 2951424760 4206944115 491031042 2070865809 2453520283 682862232 3113987876 83423352 2889718940 3267640157 1153319909 2515915101 3569534571 444662579 729416759 1263110713 2189190967 3971560640 16131723 1007393162 1657897277 299925810 1565160268 416183871 3665584799 2135790790 1271492800 4253862700 121403323 1337766793 1119601927 569571970 2410511397 497411608 3257577264 3360081173 3314917583 3838683272 1444480170 2249524830 2227768843 3099275886 1742484211 2545694763 844811505 1141980256 3913986450 3189333377 1419490284 995755702 3037802935 4114443352 2582726193 1566370836 666438577 1660580490 3344833803 106147903 277893324 1074646663 196383829 3384761782 1685414823 4266842140 491752023 970202634 255 362436" option to reproduce the execution
0.08/0.16	c #vars 7243
0.08/0.16	c #constraints 14406
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.49	c  0.0s |       0 |        0 |        0 |     7216      0 |        0 |        0
0.49/0.52	c  0.0s |       0 |       39 |        0 |     7216      0 |        0 |        0
0.49/0.52	c #cpu_time = 0.026s
0.49/0.52	c #wall_clock_time = 0.026s
0.49/0.52	c #decision = 39
0.49/0.52	c #random_decision = 1
0.49/0.52	c #conflict = 0
0.49/0.52	c #restart = 0
0.49/0.52	o 0
73.07/73.10	c BCD2: updating upper bound: 889560 -> 444779
145.47/145.56	c BCD2: 0 <= obj <= 444779
145.47/145.57	c BCD2: #cores=0, #unrelaxed=7243, #relaxed=0, #hardened=0
145.47/145.57	c BCD2: #sat=1 #unsat=1 bias=1/2
145.47/145.57	c Solving starts ...
145.47/145.57	c ============================[ Search Statistics ]============================
145.47/145.57	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
145.47/145.57	c       |         |          |          |    Limit     GC | Var      | Constra 
145.47/145.57	c =============================================================================
145.47/145.57	c  0.0s |       0 |        0 |        0 |     7216      0 |        0 |        0
145.47/145.59	c  0.0s |       0 |     2716 |        0 |     7216      0 |        0 |        0
145.47/145.59	c #cpu_time = 0.020s
145.47/145.59	c #wall_clock_time = 0.020s
145.47/145.59	c #decision = 2716
145.47/145.59	c #random_decision = 0
145.47/145.59	c #conflict = 0
145.47/145.59	c #restart = 0
145.47/145.59	c BCD2: found a new core of size 3: cost of the new core is >=68
145.47/145.59	c lower bound updated to -444712
218.45/218.53	c BCD2: 68 <= obj <= 444779
218.45/218.53	c BCD2: #cores=1, #unrelaxed=7240, #relaxed=3, #hardened=0
218.45/218.53	c BCD2: #sat=1 #unsat=2 bias=2/3
218.45/218.53	c Solving starts ...
218.45/218.53	c ============================[ Search Statistics ]============================
218.45/218.53	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
218.45/218.53	c       |         |          |          |    Limit     GC | Var      | Constra 
218.45/218.53	c =============================================================================
218.45/218.53	c  0.0s |       0 |        0 |        0 |     7216      0 |        0 |        1
218.45/218.56	c  0.0s |       0 |      996 |        0 |     7216      0 |        0 |        1
218.45/218.56	c #cpu_time = 0.022s
218.45/218.56	c #wall_clock_time = 0.022s
218.45/218.56	c #decision = 996
218.45/218.56	c #random_decision = 0
218.45/218.56	c #conflict = 0
218.45/218.56	c #restart = 0
218.45/218.56	c BCD2: relaxing 2 and merging with 1 cores into a new core of size 5: cost of the new core is >=136
218.45/218.56	c BCD2: refineLB: 69 -> 136
218.45/218.56	c lower bound updated to -444644
293.24/293.39	c BCD2: 136 <= obj <= 444779
293.24/293.39	c BCD2: #cores=1, #unrelaxed=7238, #relaxed=5, #hardened=0
293.24/293.39	c BCD2: #sat=1 #unsat=3 bias=3/4
293.24/293.39	c Solving starts ...
293.24/293.39	c ============================[ Search Statistics ]============================
293.24/293.39	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
293.24/293.39	c       |         |          |          |    Limit     GC | Var      | Constra 
293.24/293.39	c =============================================================================
293.24/293.39	c  0.0s |       0 |        0 |        0 |     7216      0 |        1 |        1
293.34/293.41	c  0.0s |       0 |        1 |        1 |     7216      0 |        2 |        3
293.34/293.41	c #cpu_time = 0.020s
293.34/293.41	c #wall_clock_time = 0.020s
293.34/293.41	c #decision = 1
293.34/293.41	c #random_decision = 0
293.34/293.41	c #conflict = 1
293.34/293.41	c #restart = 0
293.34/293.41	c BCD2: updating lower bound of a core
293.34/293.41	c BCD2: refineLB: 188 -> 204
293.34/293.41	c lower bound updated to -444576
370.13/370.24	c BCD2: 204 <= obj <= 444779
370.13/370.24	c BCD2: #cores=1, #unrelaxed=7238, #relaxed=5, #hardened=0
370.13/370.24	c BCD2: #sat=1 #unsat=4 bias=4/5
370.13/370.24	c Solving starts ...
370.13/370.24	c ============================[ Search Statistics ]============================
370.13/370.24	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
370.13/370.24	c       |         |          |          |    Limit     GC | Var      | Constra 
370.13/370.24	c =============================================================================
370.13/370.24	c  0.0s |       0 |        0 |        0 |     7216      0 |        2 |        3
370.13/370.27	c  0.0s |       0 |      533 |        0 |     7216      0 |        2 |        3
370.13/370.27	c #cpu_time = 0.022s
370.13/370.27	c #wall_clock_time = 0.022s
370.13/370.27	c #decision = 533
370.13/370.27	c #random_decision = 0
370.13/370.27	c #conflict = 0
370.13/370.27	c #restart = 0
370.13/370.27	c BCD2: relaxing 1 and merging with 1 cores into a new core of size 6: cost of the new core is >=237
370.13/370.27	c BCD2: refineLB: 205 -> 237
370.13/370.27	c lower bound updated to -444543
448.12/448.22	c BCD2: 237 <= obj <= 444779
448.12/448.22	c BCD2: #cores=1, #unrelaxed=7237, #relaxed=6, #hardened=0
448.12/448.22	c BCD2: #sat=1 #unsat=5 bias=5/6
448.12/448.23	c Solving starts ...
448.12/448.23	c ============================[ Search Statistics ]============================
448.12/448.23	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
448.12/448.23	c       |         |          |          |    Limit     GC | Var      | Constra 
448.12/448.23	c =============================================================================
448.12/448.23	c  0.0s |       0 |        0 |        0 |     7216      0 |        3 |        3
448.12/448.25	c  0.0s |       0 |        1 |        1 |     7216      0 |        4 |        5
448.12/448.25	c #cpu_time = 0.021s
448.12/448.25	c #wall_clock_time = 0.021s
448.12/448.25	c #decision = 1
448.12/448.25	c #random_decision = 0
448.12/448.25	c #conflict = 1
448.12/448.25	c #restart = 0
448.12/448.25	c BCD2: updating lower bound of a core
448.12/448.25	c BCD2: refineLB: 265 -> 270
448.12/448.25	c lower bound updated to -444510
528.11/528.25	c BCD2: 270 <= obj <= 444779
528.11/528.25	c BCD2: #cores=1, #unrelaxed=7237, #relaxed=6, #hardened=0
528.11/528.25	c BCD2: #sat=1 #unsat=6 bias=6/7
528.11/528.25	c Solving starts ...
528.11/528.25	c ============================[ Search Statistics ]============================
528.11/528.25	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
528.11/528.25	c       |         |          |          |    Limit     GC | Var      | Constra 
528.11/528.25	c =============================================================================
528.11/528.25	c  0.0s |       0 |        0 |        0 |     7216      0 |        4 |        5
528.11/528.28	c  0.0s |       0 |      905 |        0 |     7216      0 |        4 |        5
528.11/528.28	c #cpu_time = 0.022s
528.11/528.28	c #wall_clock_time = 0.022s
528.11/528.28	c #decision = 905
528.11/528.28	c #random_decision = 0
528.11/528.28	c #conflict = 0
528.11/528.28	c #restart = 0
528.11/528.28	c BCD2: relaxing 2 and merging with 1 cores into a new core of size 8: cost of the new core is >=274
528.11/528.28	c BCD2: refineLB: 271 -> 274
528.11/528.28	c lower bound updated to -444506
609.49/609.67	c BCD2: 274 <= obj <= 444779
609.49/609.67	c BCD2: #cores=1, #unrelaxed=7235, #relaxed=8, #hardened=0
609.49/609.67	c BCD2: #sat=1 #unsat=7 bias=7/8
609.49/609.67	c Solving starts ...
609.49/609.67	c ============================[ Search Statistics ]============================
609.49/609.67	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
609.49/609.67	c       |         |          |          |    Limit     GC | Var      | Constra 
609.49/609.67	c =============================================================================
609.49/609.67	c  0.0s |       0 |        0 |        0 |     7216      0 |        5 |        5
609.49/609.69	c  0.0s |       0 |        1 |        1 |     7216      0 |        6 |        7
609.49/609.69	c #cpu_time = 0.022s
609.49/609.69	c #wall_clock_time = 0.022s
609.49/609.69	c #decision = 1
609.49/609.69	c #random_decision = 0
609.49/609.69	c #conflict = 1
609.49/609.69	c #restart = 0
609.49/609.69	c BCD2: updating lower bound of a core
609.49/609.69	c BCD2: refineLB: 453 -> 478
609.49/609.69	c lower bound updated to -444302
693.38/693.57	c BCD2: 478 <= obj <= 444779
693.38/693.57	c BCD2: #cores=1, #unrelaxed=7235, #relaxed=8, #hardened=0
693.38/693.57	c BCD2: #sat=1 #unsat=8 bias=8/9
693.38/693.57	c Solving starts ...
693.38/693.57	c ============================[ Search Statistics ]============================
693.38/693.57	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
693.38/693.57	c       |         |          |          |    Limit     GC | Var      | Constra 
693.38/693.57	c =============================================================================
693.38/693.57	c  0.0s |       0 |        0 |        0 |     7216      0 |        6 |        7
693.48/693.60	c  0.0s |       0 |      514 |        0 |     7216      0 |        6 |        7
693.48/693.60	c #cpu_time = 0.024s
693.48/693.60	c #wall_clock_time = 0.024s
693.48/693.60	c #decision = 514
693.48/693.60	c #random_decision = 0
693.48/693.60	c #conflict = 0
693.48/693.60	c #restart = 0
693.48/693.60	c BCD2: relaxing 1 and merging with 1 cores into a new core of size 9: cost of the new core is >=480
693.48/693.60	c BCD2: refineLB: 479 -> 480
693.48/693.60	c lower bound updated to -444300
780.55/780.79	c BCD2: 480 <= obj <= 444779
780.55/780.79	c BCD2: #cores=1, #unrelaxed=7234, #relaxed=9, #hardened=0
780.55/780.79	c BCD2: #sat=1 #unsat=9 bias=9/10
780.55/780.79	c Solving starts ...
780.55/780.79	c ============================[ Search Statistics ]============================
780.55/780.79	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
780.55/780.79	c       |         |          |          |    Limit     GC | Var      | Constra 
780.55/780.79	c =============================================================================
780.55/780.79	c  0.0s |       0 |        0 |        0 |     7216      0 |        7 |        7
780.65/780.84	c  0.1s |       0 |     1028 |        1 |     7216      0 |        7 |        8
780.65/780.84	c #cpu_time = 0.045s
780.65/780.84	c #wall_clock_time = 0.045s
780.65/780.84	c #decision = 1028
780.65/780.84	c #random_decision = 0
780.65/780.84	c #conflict = 1
780.65/780.84	c #restart = 0
780.65/780.84	c BCD2: relaxing 1 and merging with 1 cores into a new core of size 10: cost of the new core is >=544
780.65/780.84	c lower bound updated to -444236
871.24/871.43	c BCD2: 544 <= obj <= 444779
871.24/871.43	c BCD2: #cores=1, #unrelaxed=7233, #relaxed=10, #hardened=0
871.24/871.43	c BCD2: #sat=1 #unsat=10 bias=10/11
871.24/871.43	c Solving starts ...
871.24/871.43	c ============================[ Search Statistics ]============================
871.24/871.43	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
871.24/871.43	c       |         |          |          |    Limit     GC | Var      | Constra 
871.24/871.43	c =============================================================================
871.24/871.43	c  0.0s |       0 |        0 |        0 |     7216      0 |        8 |        8
871.24/871.46	c  0.0s |       0 |      823 |        0 |     7216      0 |        8 |        9
871.24/871.46	c #cpu_time = 0.028s
871.24/871.46	c #wall_clock_time = 0.028s
871.24/871.46	c #decision = 823
871.24/871.46	c #random_decision = 0
871.24/871.46	c #conflict = 0
871.24/871.46	c #restart = 0
871.24/871.46	c BCD2: relaxing 2 and merging with 1 cores into a new core of size 12: cost of the new core is >=678
871.24/871.46	c BCD2: refineLB: 666 -> 678
871.24/871.46	c lower bound updated to -444102
961.12/961.36	c BCD2: 678 <= obj <= 444779
961.12/961.36	c BCD2: #cores=1, #unrelaxed=7231, #relaxed=12, #hardened=0
961.12/961.36	c BCD2: #sat=1 #unsat=11 bias=11/12
961.12/961.36	c Solving starts ...
961.12/961.36	c ============================[ Search Statistics ]============================
961.12/961.36	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
961.12/961.36	c       |         |          |          |    Limit     GC | Var      | Constra 
961.12/961.36	c =============================================================================
961.12/961.36	c  0.0s |       0 |        0 |        0 |     7216      0 |        9 |        9
961.23/961.41	c  0.1s |       0 |      990 |        1 |     7216      0 |        9 |       10
961.23/961.41	c #cpu_time = 0.049s
961.23/961.41	c #wall_clock_time = 0.049s
961.23/961.41	c #decision = 990
961.23/961.41	c #random_decision = 0
961.23/961.41	c #conflict = 1
961.23/961.41	c #restart = 0
961.23/961.41	c BCD2: relaxing 1 and merging with 1 cores into a new core of size 13: cost of the new core is >=884
961.23/961.41	c lower bound updated to -443896
1051.91/1052.18	c BCD2: 884 <= obj <= 444779
1051.91/1052.18	c BCD2: #cores=1, #unrelaxed=7230, #relaxed=13, #hardened=0
1051.91/1052.18	c BCD2: #sat=1 #unsat=12 bias=12/13
1051.91/1052.18	c Solving starts ...
1051.91/1052.18	c ============================[ Search Statistics ]============================
1051.91/1052.18	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1051.91/1052.18	c       |         |          |          |    Limit     GC | Var      | Constra 
1051.91/1052.18	c =============================================================================
1051.91/1052.18	c  0.0s |       0 |        0 |        0 |     7216      0 |       10 |       10
1052.01/1052.20	c  0.0s |       0 |     4741 |        1 |     7216      0 |       10 |       11
1052.01/1052.20	c #cpu_time = 0.017s
1052.01/1052.20	c #wall_clock_time = 0.017s
1052.01/1052.20	c #decision = 4741
1052.01/1052.20	c #random_decision = 0
1052.01/1052.20	c #conflict = 1
1052.01/1052.20	c #restart = 0
1052.01/1052.20	c BCD2: relaxing 3 and merging with 1 cores into a new core of size 16: cost of the new core is >=1147
1052.01/1052.20	c lower bound updated to -443633
1142.59/1142.82	c BCD2: 1147 <= obj <= 444779
1142.59/1142.82	c BCD2: #cores=1, #unrelaxed=7227, #relaxed=16, #hardened=0
1142.59/1142.82	c BCD2: #sat=1 #unsat=13 bias=13/14
1142.59/1142.82	c Solving starts ...
1142.59/1142.82	c ============================[ Search Statistics ]============================
1142.59/1142.82	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1142.59/1142.82	c       |         |          |          |    Limit     GC | Var      | Constra 
1142.59/1142.82	c =============================================================================
1142.59/1142.82	c  0.0s |       0 |        0 |        0 |     7216      0 |       11 |       11
1142.59/1142.84	c  0.0s |       0 |     4741 |        1 |     7216      0 |       11 |       12
1142.59/1142.84	c #cpu_time = 0.017s
1142.59/1142.84	c #wall_clock_time = 0.017s
1142.59/1142.84	c #decision = 4741
1142.59/1142.84	c #random_decision = 0
1142.59/1142.84	c #conflict = 1
1142.59/1142.84	c #restart = 0
1142.59/1142.84	c BCD2: relaxing 3 and merging with 1 cores into a new core of size 19: cost of the new core is >=1505
1142.59/1142.84	c lower bound updated to -443275
1234.38/1234.64	c BCD2: 1505 <= obj <= 444779
1234.38/1234.64	c BCD2: #cores=1, #unrelaxed=7224, #relaxed=19, #hardened=0
1234.38/1234.64	c BCD2: #sat=1 #unsat=14 bias=14/15
1234.38/1234.64	c Solving starts ...
1234.38/1234.64	c ============================[ Search Statistics ]============================
1234.38/1234.64	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1234.38/1234.64	c       |         |          |          |    Limit     GC | Var      | Constra 
1234.38/1234.64	c =============================================================================
1234.38/1234.64	c  0.0s |       0 |        0 |        0 |     7216      0 |       12 |       12
1234.38/1234.66	c  0.0s |       0 |     4741 |        1 |     7216      0 |       12 |       13
1234.38/1234.66	c #cpu_time = 0.017s
1234.38/1234.66	c #wall_clock_time = 0.017s
1234.38/1234.66	c #decision = 4741
1234.38/1234.66	c #random_decision = 0
1234.38/1234.66	c #conflict = 1
1234.38/1234.66	c #restart = 0
1234.38/1234.66	c BCD2: relaxing 3 and merging with 1 cores into a new core of size 22: cost of the new core is >=1945
1234.38/1234.66	c lower bound updated to -442835
1324.87/1325.13	c BCD2: 1945 <= obj <= 444779
1324.87/1325.13	c BCD2: #cores=1, #unrelaxed=7221, #relaxed=22, #hardened=0
1324.87/1325.13	c BCD2: #sat=1 #unsat=15 bias=15/16
1324.87/1325.13	c Solving starts ...
1324.87/1325.13	c ============================[ Search Statistics ]============================
1324.87/1325.13	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1324.87/1325.13	c       |         |          |          |    Limit     GC | Var      | Constra 
1324.87/1325.13	c =============================================================================
1324.87/1325.13	c  0.0s |       0 |        0 |        0 |     7216      0 |       13 |       13
1324.87/1325.15	c  0.0s |       0 |     4726 |        1 |     7216      0 |       13 |       14
1324.87/1325.15	c #cpu_time = 0.017s
1324.87/1325.15	c #wall_clock_time = 0.017s
1324.87/1325.15	c #decision = 4726
1324.87/1325.15	c #random_decision = 0
1324.87/1325.15	c #conflict = 1
1324.87/1325.15	c #restart = 0
1324.87/1325.15	c BCD2: relaxing 4 and merging with 1 cores into a new core of size 26: cost of the new core is >=2377
1324.87/1325.15	c lower bound updated to -442403
1416.16/1416.44	c BCD2: 2377 <= obj <= 444779
1416.16/1416.44	c BCD2: #cores=1, #unrelaxed=7217, #relaxed=26, #hardened=0
1416.16/1416.44	c BCD2: #sat=1 #unsat=16 bias=16/17
1416.16/1416.44	c Solving starts ...
1416.16/1416.44	c ============================[ Search Statistics ]============================
1416.16/1416.44	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1416.16/1416.44	c       |         |          |          |    Limit     GC | Var      | Constra 
1416.16/1416.44	c =============================================================================
1416.16/1416.44	c  0.0s |       0 |        0 |        0 |     7216      0 |       14 |       14
1416.16/1416.46	c  0.0s |       0 |     4725 |        1 |     7216      0 |       14 |       15
1416.16/1416.46	c #cpu_time = 0.018s
1416.16/1416.46	c #wall_clock_time = 0.018s
1416.16/1416.46	c #decision = 4725
1416.16/1416.46	c #random_decision = 0
1416.16/1416.46	c #conflict = 1
1416.16/1416.46	c #restart = 0
1416.16/1416.46	c BCD2: relaxing 4 and merging with 1 cores into a new core of size 30: cost of the new core is >=2893
1416.16/1416.46	c lower bound updated to -441887
1505.94/1506.29	c BCD2: 2893 <= obj <= 444779
1505.94/1506.29	c BCD2: #cores=1, #unrelaxed=7213, #relaxed=30, #hardened=0
1505.94/1506.29	c BCD2: #sat=1 #unsat=17 bias=17/18
1505.94/1506.29	c Solving starts ...
1505.94/1506.29	c ============================[ Search Statistics ]============================
1505.94/1506.29	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1505.94/1506.29	c       |         |          |          |    Limit     GC | Var      | Constra 
1505.94/1506.29	c =============================================================================
1505.94/1506.29	c  0.0s |       0 |        0 |        0 |     7216      0 |       15 |       15
1506.04/1506.31	c  0.0s |       0 |     4709 |        1 |     7216      0 |       15 |       16
1506.04/1506.31	c #cpu_time = 0.018s
1506.04/1506.31	c #wall_clock_time = 0.018s
1506.04/1506.31	c #decision = 4709
1506.04/1506.31	c #random_decision = 0
1506.04/1506.31	c #conflict = 1
1506.04/1506.31	c #restart = 0
1506.04/1506.31	c BCD2: relaxing 5 and merging with 1 cores into a new core of size 35: cost of the new core is >=3399
1506.04/1506.31	c lower bound updated to -441381
1596.63/1596.94	c BCD2: 3399 <= obj <= 444779
1596.63/1596.94	c BCD2: #cores=1, #unrelaxed=7208, #relaxed=35, #hardened=0
1596.63/1596.94	c BCD2: #sat=1 #unsat=18 bias=18/19
1596.63/1596.94	c Solving starts ...
1596.63/1596.94	c ============================[ Search Statistics ]============================
1596.63/1596.94	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1596.63/1596.94	c       |         |          |          |    Limit     GC | Var      | Constra 
1596.63/1596.94	c =============================================================================
1596.63/1596.94	c  0.0s |       0 |        0 |        0 |     7216      0 |       16 |       16
1596.63/1596.96	c  0.0s |       0 |     4692 |        1 |     7216      0 |       16 |       17
1596.63/1596.96	c #cpu_time = 0.020s
1596.63/1596.96	c #wall_clock_time = 0.020s
1596.63/1596.96	c #decision = 4692
1596.63/1596.96	c #random_decision = 0
1596.63/1596.96	c #conflict = 1
1596.63/1596.96	c #restart = 0
1596.63/1596.96	c BCD2: relaxing 6 and merging with 1 cores into a new core of size 41: cost of the new core is >=3895
1596.63/1596.96	c lower bound updated to -440885
1685.91/1686.22	c BCD2: 3895 <= obj <= 444779
1685.91/1686.22	c BCD2: #cores=1, #unrelaxed=7202, #relaxed=41, #hardened=0
1685.91/1686.22	c BCD2: #sat=1 #unsat=19 bias=19/20
1685.91/1686.22	c Solving starts ...
1685.91/1686.22	c ============================[ Search Statistics ]============================
1685.91/1686.22	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1685.91/1686.22	c       |         |          |          |    Limit     GC | Var      | Constra 
1685.91/1686.22	c =============================================================================
1685.91/1686.22	c  0.0s |       0 |        0 |        0 |     7216      0 |       17 |       17
1685.91/1686.24	c  0.0s |       0 |     4663 |        1 |     7216      0 |       17 |       18
1685.91/1686.24	c #cpu_time = 0.020s
1685.91/1686.24	c #wall_clock_time = 0.020s
1685.91/1686.24	c #decision = 4663
1685.91/1686.24	c #random_decision = 0
1685.91/1686.24	c #conflict = 1
1685.91/1686.24	c #restart = 0
1685.91/1686.24	c BCD2: relaxing 8 and merging with 1 cores into a new core of size 49: cost of the new core is >=4291
1685.91/1686.24	c lower bound updated to -440489
1775.21/1775.59	c BCD2: 4291 <= obj <= 444779
1775.21/1775.59	c BCD2: #cores=1, #unrelaxed=7194, #relaxed=49, #hardened=0
1775.21/1775.59	c BCD2: #sat=1 #unsat=20 bias=20/21
1775.21/1775.59	c Solving starts ...
1775.21/1775.59	c ============================[ Search Statistics ]============================
1775.21/1775.59	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1775.21/1775.59	c       |         |          |          |    Limit     GC | Var      | Constra 
1775.21/1775.59	c =============================================================================
1775.21/1775.59	c  0.0s |       0 |        0 |        0 |     7216      0 |       18 |       18
1775.30/1775.61	c  0.0s |       0 |     4631 |        1 |     7216      0 |       18 |       19
1775.30/1775.61	c #cpu_time = 0.021s
1775.30/1775.61	c #wall_clock_time = 0.021s
1775.30/1775.61	c #decision = 4631
1775.30/1775.61	c #random_decision = 0
1775.30/1775.61	c #conflict = 1
1775.30/1775.61	c #restart = 0
1775.30/1775.62	c BCD2: relaxing 10 and merging with 1 cores into a new core of size 59: cost of the new core is >=4603
1775.30/1775.62	c lower bound updated to -440177

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

pid=7686
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.02 2.01 2.00 3/179 7689
/proc/meminfo: memFree=29705440/32872528 swapFree=7620/7620
[pid=7689] ppid=7686 vsize=736700 CPUtime=0 cores=1,3,5,7
/proc/7689/stat : 7689 (toysat) R 7686 7689 5453 0 -1 4202496 2751 0 0 0 0 0 0 0 20 0 4 0 4172460 754380800 2601 33554432000 4194304 16246674 140736048830736 140736048830160 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7689/statm: 184687 2611 441 2943 0 181581 0
[pid=7689/tid=7690] ppid=7686 vsize=754108 CPUtime=0 cores=1,3,5,7
/proc/7689/task/7690/stat : 7690 (toysat) S 7686 7689 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4172460 772206592 2671 33554432000 4194304 16246674 140736048830736 140005398785264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7689/tid=7691] ppid=7686 vsize=758204 CPUtime=0 cores=1,3,5,7
/proc/7689/task/7691/stat : 7691 (toysat) S 7686 7689 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4172460 776400896 2687 33554432000 4194304 16246674 140736048830736 140005388295408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7689/tid=7692] ppid=7686 vsize=763324 CPUtime=0 cores=1,3,5,7
/proc/7689/task/7692/stat : 7692 (toysat) S 7686 7689 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4172460 781643776 2704 33554432000 4194304 16246674 140736048830736 140005377821872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 7689
/proc/meminfo: memFree=29705440/32872528 swapFree=7620/7620
[pid=7689] ppid=7686 vsize=1301060 CPUtime=0.08 cores=1,3,5,7
/proc/7689/stat : 7689 (toysat) R 7686 7689 5453 0 -1 4202496 25651 0 0 0 5 3 0 0 20 0 4 0 4172460 1332285440 25440 33554432000 4194304 16246674 140736048830736 140736048829832 8058796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7689/statm: 325265 25455 799 2943 0 322159 0
[pid=7689/tid=7690] ppid=7686 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/7689/task/7690/stat : 7690 (toysat) S 7686 7689 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4172460 1332285440 25466 33554432000 4194304 16246674 140736048830736 140005398785264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7689/tid=7691] ppid=7686 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/7689/task/7691/stat : 7691 (toysat) S 7686 7689 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4172460 1332285440 25477 33554432000 4194304 16246674 140736048830736 140005388295408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7689/tid=7692] ppid=7686 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/7689/task/7692/stat : 7692 (toysat) S 7686 7689 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4172460 1332285440 25487 33554432000 4194304 16246674 140736048830736 140005377821872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1301060

[startup+0.200534 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 7689
/proc/meminfo: memFree=29705440/32872528 swapFree=7620/7620
[pid=7689] ppid=7686 vsize=1302084 CPUtime=0.19 cores=1,3,5,7
/proc/7689/stat : 7689 (toysat) R 7686 7689 5453 0 -1 4202496 47693 0 0 0 13 6 0 0 20 0 4 0 4172460 1333334016 47482 33554432000 4194304 16246674 140736048830736 140736048829832 6934971 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7689/statm: 325521 47491 834 2943 0 322415 0
[pid=7689/tid=7690] ppid=7686 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/7689/task/7690/stat : 7690 (toysat) S 7686 7689 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4172460 1333334016 47497 33554432000 4194304 16246674 140736048830736 140005398785264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7689/tid=7691] ppid=7686 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/7689/task/7691/stat : 7691 (toysat) S 7686 7689 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4172460 1333334016 47502 33554432000 4194304 16246674 140736048830736 140005388295408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7689/tid=7692] ppid=7686 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/7689/task/7692/stat : 7692 (toysat) S 7686 7689 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4172460 1333334016 47507 33554432000 4194304 16246674 140736048830736 140005377821872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1302084

[startup+0.300497 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 7689
/proc/meminfo: memFree=29705440/32872528 swapFree=7620/7620
[pid=7689] ppid=7686 vsize=1302084 CPUtime=0.29 cores=1,3,5,7
/proc/7689/stat : 7689 (toysat) R 7686 7689 5453 0 -1 4202496 66126 0 0 0 19 10 0 0 20 0 4 0 4172460 1333334016 65914 33554432000 4194304 16246674 140736048830736 140736048829832 6759797 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7689/statm: 325521 65923 834 2943 0 322415 0
[pid=7689/tid=7690] ppid=7686 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/7689/task/7690/stat : 7690 (toysat) S 7686 7689 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4172460 1333334016 65928 33554432000 4194304 16246674 140736048830736 140005398785264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7689/tid=7691] ppid=7686 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/7689/task/7691/stat : 7691 (toysat) S 7686 7689 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4172460 1333334016 65934 33554432000 4194304 16246674 140736048830736 140005388295408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7689/tid=7692] ppid=7686 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/7689/task/7692/stat : 7692 (toysat) S 7686 7689 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4172460 1333334016 65939 33554432000 4194304 16246674 140736048830736 140005377821872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1302084

[startup+0.700404 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 7689
/proc/meminfo: memFree=29705440/32872528 swapFree=7620/7620
[pid=7689] ppid=7686 vsize=1318468 CPUtime=0.69 cores=1,3,5,7
/proc/7689/stat : 7689 (toysat) R 7686 7689 5453 0 -1 4202496 100978 0 0 0 54 15 0 0 20 0 4 0 4172460 1350111232 100767 33554432000 4194304 16246674 140736048830736 140736048830048 12449399 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7689/statm: 329617 100784 878 2943 0 326511 0
[pid=7689/tid=7690] ppid=7686 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/7689/task/7690/stat : 7690 (toysat) S 7686 7689 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4172460 1350111232 100794 33554432000 4194304 16246674 140736048830736 140005398785264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7689/tid=7691] ppid=7686 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/7689/task/7691/stat : 7691 (toysat) S 7686 7689 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4172460 1350111232 100804 33554432000 4194304 16246674 140736048830736 140005388295408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7689/tid=7692] ppid=7686 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/7689/task/7692/stat : 7692 (toysat) S 7686 7689 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4172460 1350111232 100816 33554432000 4194304 16246674 140736048830736 140005377821872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1318468

[startup+1.50041 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 7693
/proc/meminfo: memFree=28776748/32872528 swapFree=7620/7620
[pid=7689] ppid=7686 vsize=1318468 CPUtime=1.49 cores=1,3,5,7
/proc/7689/stat : 7689 (toysat) R 7686 7689 5453 0 -1 4202496 270795 0 0 0 113 36 0 0 20 0 4 0 4172460 1350111232 270583 33554432000 4194304 16246674 140736048830736 140736048812608 12449282 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7689/statm: 329617 270583 878 2943 0 326511 0
[pid=7689/tid=7690] ppid=7686 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/7689/task/7690/stat : 7690 (toysat) S 7686 7689 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4172460 1350111232 270583 33554432000 4194304 16246674 140736048830736 140005398785264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7689/tid=7691] ppid=7686 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/7689/task/7691/stat : 7691 (toysat) S 7686 7689 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4172460 1350111232 270583 33554432000 4194304 16246674 140736048830736 140005388295408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7689/tid=7692] ppid=7686 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/7689/task/7692/stat : 7692 (toysat) S 7686 7689 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4172460 1350111232 270583 33554432000 4194304 16246674 140736048830736 140005377821872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1318468

[startup+3.1004 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 7693
/proc/meminfo: memFree=28622988/32872528 swapFree=7620/7620
[pid=7689] ppid=7686 vsize=1318468 CPUtime=3.09 cores=1,3,5,7
/proc/7689/stat : 7689 (toysat) R 7686 7689 5453 0 -1 4202496 270795 0 0 0 273 36 0 0 20 0 4 0 4172460 1350111232 270583 33554432000 4194304 16246674 140736048830736 140736048812608 12654330 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7689/statm: 329617 270583 878 2943 0 326511 0
[pid=7689/tid=7690] ppid=7686 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/7689/task/7690/stat : 7690 (toysat) S 7686 7689 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4172460 1350111232 270583 33554432000 4194304 16246674 140736048830736 140005398785264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7689/tid=7691] ppid=7686 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/7689/task/7691/stat : 7691 (toysat) S 7686 7689 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4172460 1350111232 270583 33554432000 4194304 16246674 140736048830736 140005388295408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7689/tid=7692] ppid=7686 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/7689/task/7692/stat : 7692 (toysat) S 7686 7689 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4172460 1350111232 270583 33554432000 4194304 16246674 140736048830736 140005377821872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1318468

[startup+6.30041 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 7693
/proc/meminfo: memFree=28623740/32872528 swapFree=7620/7620
[pid=7689] ppid=7686 vsize=1318468 CPUtime=6.29 cores=1,3,5,7
/proc/7689/stat : 7689 (toysat) R 7686 7689 5453 0 -1 4202496 270795 0 0 0 593 36 0 0 20 0 4 0 4172460 1350111232 270583 33554432000 4194304 16246674 140736048830736 140736048812608 12652957 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7689/statm: 329617 270583 878 2943 0 326511 0
[pid=7689/tid=7690] ppid=7686 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/7689/task/7690/stat : 7690 (toysat) S 7686 7689 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4172460 1350111232 270583 33554432000 4194304 16246674 140736048830736 140005398785264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7689/tid=7691] ppid=7686 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/7689/task/7691/stat : 7691 (toysat) S 7686 7689 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4172460 1350111232 270583 33554432000 4194304 16246674 140736048830736 140005388295408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7689/tid=7692] ppid=7686 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/7689/task/7692/stat : 7692 (toysat) S 7686 7689 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4172460 1350111232 270583 33554432000 4194304 16246674 140736048830736 140005377821872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1318468

[startup+12.7005 s]
/proc/loadavg: 2.10 2.02 2.01 3/183 7693
/proc/meminfo: memFree=28623588/32872528 swapFree=7620/7620
[pid=7689] ppid=7686 vsize=1318468 CPUtime=12.68 cores=1,3,5,7
/proc/7689/stat : 7689 (toysat) R 7686 7689 5453 0 -1 4202496 270795 0 0 0 1232 36 0 0 20 0 4 0 4172460 1350111232 270583 33554432000 4194304 16246674 140736048830736 140736048812608 13949845 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7689/statm: 329617 270583 878 2943 0 326511 0
[pid=7689/tid=7690] ppid=7686 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/7689/task/7690/stat : 7690 (toysat) S 7686 7689 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4172460 1350111232 270583 33554432000 4194304 16246674 140736048830736 140005398785264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7689/tid=7691] ppid=7686 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/7689/task/7691/stat : 7691 (toysat) S 7686 7689 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4172460 1350111232 270583 33554432000 4194304 16246674 140736048830736 140005388295408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7689/tid=7692] ppid=7686 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/7689/task/7692/stat : 7692 (toysat) S 7686 7689 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4172460 1350111232 270583 33554432000 4194304 16246674 140736048830736 140005377821872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1318468

[startup+25.5005 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 7693
/proc/meminfo: memFree=28623860/32872528 swapFree=7620/7620
[pid=7689] ppid=7686 vsize=1318468 CPUtime=25.48 cores=1,3,5,7
/proc/7689/stat : 7689 (toysat) R 7686 7689 5453 0 -1 4202496 270795 0 0 0 2512 36 0 0 20 0 4 0 4172460 1350111232 270583 33554432000 4194304 16246674 140736048830736 140736048812608 12653056 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7689/statm: 329617 270583 878 2943 0 326511 0
[pid=7689/tid=7690] ppid=7686 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/7689/task/7690/stat : 7690 (toysat) S 7686 7689 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4172460 1350111232 270583 33554432000 4194304 16246674 140736048830736 140005398785264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7689/tid=7691] ppid=7686 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/7689/task/7691/stat : 7691 (toysat) S 7686 7689 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4172460 1350111232 270583 33554432000 4194304 16246674 140736048830736 140005388295408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7689/tid=7692] ppid=7686 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/7689/task/7692/stat : 7692 (toysat) S 7686 7689 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4172460 1350111232 270583 33554432000 4194304 16246674 140736048830736 140005377821872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1318468

[startup+51.1005 s]
/proc/loadavg: 2.05 2.02 2.00 3/184 7696
/proc/meminfo: memFree=28624072/32872528 swapFree=7620/7620
[pid=7689] ppid=7686 vsize=1318468 CPUtime=51.08 cores=1,3,5,7
/proc/7689/stat : 7689 (toysat) R 7686 7689 5453 0 -1 4202496 270795 0 0 0 5072 36 0 0 20 0 4 0 4172460 1350111232 270583 33554432000 4194304 16246674 140736048830736 140736048812608 12654409 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7689/statm: 329617 270583 878 2943 0 326511 0
[pid=7689/tid=7690] ppid=7686 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/7689/task/7690/stat : 7690 (toysat) S 7686 7689 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4172460 1350111232 270583 33554432000 4194304 16246674 140736048830736 140005398785264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7689/tid=7691] ppid=7686 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/7689/task/7691/stat : 7691 (toysat) S 7686 7689 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4172460 1350111232 270583 33554432000 4194304 16246674 140736048830736 140005388295408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7689/tid=7692] ppid=7686 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/7689/task/7692/stat : 7692 (toysat) S 7686 7689 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4172460 1350111232 270583 33554432000 4194304 16246674 140736048830736 140005377821872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1318468

[startup+102.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 7697
/proc/meminfo: memFree=28623712/32872528 swapFree=7620/7620
[pid=7689] ppid=7686 vsize=1318468 CPUtime=102.28 cores=1,3,5,7
/proc/7689/stat : 7689 (toysat) R 7686 7689 5453 0 -1 4202496 270798 0 0 0 10191 37 0 0 20 0 4 0 4172460 1350111232 270586 33554432000 4194304 16246674 140736048830736 140736048812608 12371212 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7689/statm: 329617 270586 881 2943 0 326511 0
[pid=7689/tid=7690] ppid=7686 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/7689/task/7690/stat : 7690 (toysat) S 7686 7689 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4172460 1350111232 270586 33554432000 4194304 16246674 140736048830736 140005398785264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7689/tid=7691] ppid=7686 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/7689/task/7691/stat : 7691 (toysat) S 7686 7689 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4172460 1350111232 270586 33554432000 4194304 16246674 140736048830736 140005388295408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7689/tid=7692] ppid=7686 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/7689/task/7692/stat : 7692 (toysat) S 7686 7689 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4172460 1350111232 270586 33554432000 4194304 16246674 140736048830736 140005377821872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1318468


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

/proc/7689/task/7692/stat : 7692 (toysat) S 7686 7689 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4172460 1354305536 271639 33554432000 4194304 16246674 140736048830736 140005377821872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 1322564

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 7897
/proc/meminfo: memFree=28430740/32872528 swapFree=7620/7620
[pid=7689] ppid=7686 vsize=1322564 CPUtime=1302.08 cores=1,3,5,7
/proc/7689/stat : 7689 (toysat) R 7686 7689 5453 0 -1 4202496 271883 0 0 0 130169 39 0 0 20 0 4 0 4172460 1354305536 271639 33554432000 4194304 16246674 140736048830736 140736048812608 6955412 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7689/statm: 330641 271639 910 2943 0 327535 0
[pid=7689/tid=7690] ppid=7686 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/7689/task/7690/stat : 7690 (toysat) S 7686 7689 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4172460 1354305536 271639 33554432000 4194304 16246674 140736048830736 140005398785264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7689/tid=7691] ppid=7686 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/7689/task/7691/stat : 7691 (toysat) S 7686 7689 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4172460 1354305536 271639 33554432000 4194304 16246674 140736048830736 140005388295408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7689/tid=7692] ppid=7686 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/7689/task/7692/stat : 7692 (toysat) S 7686 7689 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4172460 1354305536 271639 33554432000 4194304 16246674 140736048830736 140005377821872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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.05 2.01 2.00 3/183 7898
/proc/meminfo: memFree=28318724/32872528 swapFree=7620/7620
[pid=7689] ppid=7686 vsize=1322564 CPUtime=1362.07 cores=1,3,5,7
/proc/7689/stat : 7689 (toysat) R 7686 7689 5453 0 -1 4202496 271885 0 0 0 136168 39 0 0 20 0 4 0 4172460 1354305536 271641 33554432000 4194304 16246674 140736048830736 140736048812608 6955336 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7689/statm: 330641 271641 912 2943 0 327535 0
[pid=7689/tid=7690] ppid=7686 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/7689/task/7690/stat : 7690 (toysat) S 7686 7689 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4172460 1354305536 271641 33554432000 4194304 16246674 140736048830736 140005398785264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7689/tid=7691] ppid=7686 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/7689/task/7691/stat : 7691 (toysat) S 7686 7689 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4172460 1354305536 271641 33554432000 4194304 16246674 140736048830736 140005388295408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7689/tid=7692] ppid=7686 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/7689/task/7692/stat : 7692 (toysat) S 7686 7689 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4172460 1354305536 271641 33554432000 4194304 16246674 140736048830736 140005377821872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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.02 2.01 2.00 3/183 7899
/proc/meminfo: memFree=28221404/32872528 swapFree=7620/7620
[pid=7689] ppid=7686 vsize=1322564 CPUtime=1422.06 cores=1,3,5,7
/proc/7689/stat : 7689 (toysat) R 7686 7689 5453 0 -1 4202496 271885 0 0 0 142167 39 0 0 20 0 4 0 4172460 1354305536 271641 33554432000 4194304 16246674 140736048830736 140736048812608 12654520 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7689/statm: 330641 271641 912 2943 0 327535 0
[pid=7689/tid=7690] ppid=7686 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/7689/task/7690/stat : 7690 (toysat) S 7686 7689 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4172460 1354305536 271641 33554432000 4194304 16246674 140736048830736 140005398785264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7689/tid=7691] ppid=7686 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/7689/task/7691/stat : 7691 (toysat) S 7686 7689 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4172460 1354305536 271641 33554432000 4194304 16246674 140736048830736 140005388295408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7689/tid=7692] ppid=7686 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/7689/task/7692/stat : 7692 (toysat) S 7686 7689 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4172460 1354305536 271641 33554432000 4194304 16246674 140736048830736 140005377821872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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.00 3/183 7901
/proc/meminfo: memFree=28089124/32872528 swapFree=7620/7620
[pid=7689] ppid=7686 vsize=1322564 CPUtime=1482.05 cores=1,3,5,7
/proc/7689/stat : 7689 (toysat) R 7686 7689 5453 0 -1 4202496 271885 0 0 0 148166 39 0 0 20 0 4 0 4172460 1354305536 271641 33554432000 4194304 16246674 140736048830736 140736048812608 12429241 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7689/statm: 330641 271641 912 2943 0 327535 0
[pid=7689/tid=7690] ppid=7686 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/7689/task/7690/stat : 7690 (toysat) S 7686 7689 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4172460 1354305536 271641 33554432000 4194304 16246674 140736048830736 140005398785264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7689/tid=7691] ppid=7686 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/7689/task/7691/stat : 7691 (toysat) S 7686 7689 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4172460 1354305536 271641 33554432000 4194304 16246674 140736048830736 140005388295408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7689/tid=7692] ppid=7686 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/7689/task/7692/stat : 7692 (toysat) S 7686 7689 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4172460 1354305536 271641 33554432000 4194304 16246674 140736048830736 140005377821872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 1322564

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 7903
/proc/meminfo: memFree=27973400/32872528 swapFree=7620/7620
[pid=7689] ppid=7686 vsize=1322564 CPUtime=1542.04 cores=1,3,5,7
/proc/7689/stat : 7689 (toysat) R 7686 7689 5453 0 -1 4202496 271885 0 0 0 154165 39 0 0 20 0 4 0 4172460 1354305536 271641 33554432000 4194304 16246674 140736048830736 140736048812608 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7689/statm: 330641 271641 912 2943 0 327535 0
[pid=7689/tid=7690] ppid=7686 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/7689/task/7690/stat : 7690 (toysat) S 7686 7689 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4172460 1354305536 271641 33554432000 4194304 16246674 140736048830736 140005398785264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7689/tid=7691] ppid=7686 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/7689/task/7691/stat : 7691 (toysat) S 7686 7689 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4172460 1354305536 271641 33554432000 4194304 16246674 140736048830736 140005388295408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7689/tid=7692] ppid=7686 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/7689/task/7692/stat : 7692 (toysat) S 7686 7689 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4172460 1354305536 271641 33554432000 4194304 16246674 140736048830736 140005377821872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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.00 3/183 7904
/proc/meminfo: memFree=27881172/32872528 swapFree=7620/7620
[pid=7689] ppid=7686 vsize=1322564 CPUtime=1602.03 cores=1,3,5,7
/proc/7689/stat : 7689 (toysat) R 7686 7689 5453 0 -1 4202496 271885 0 0 0 160164 39 0 0 20 0 4 0 4172460 1354305536 271641 33554432000 4194304 16246674 140736048830736 140736048812608 12429253 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7689/statm: 330641 271641 912 2943 0 327535 0
[pid=7689/tid=7690] ppid=7686 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/7689/task/7690/stat : 7690 (toysat) S 7686 7689 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4172460 1354305536 271641 33554432000 4194304 16246674 140736048830736 140005398785264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7689/tid=7691] ppid=7686 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/7689/task/7691/stat : 7691 (toysat) S 7686 7689 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4172460 1354305536 271641 33554432000 4194304 16246674 140736048830736 140005388295408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7689/tid=7692] ppid=7686 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/7689/task/7692/stat : 7692 (toysat) S 7686 7689 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4172460 1354305536 271641 33554432000 4194304 16246674 140736048830736 140005377821872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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.00 2.00 2.00 3/183 7905
/proc/meminfo: memFree=27769848/32872528 swapFree=7620/7620
[pid=7689] ppid=7686 vsize=1322564 CPUtime=1662.02 cores=1,3,5,7
/proc/7689/stat : 7689 (toysat) R 7686 7689 5453 0 -1 4202496 271885 0 0 0 166163 39 0 0 20 0 4 0 4172460 1354305536 271641 33554432000 4194304 16246674 140736048830736 140736048812608 12449269 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7689/statm: 330641 271641 912 2943 0 327535 0
[pid=7689/tid=7690] ppid=7686 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/7689/task/7690/stat : 7690 (toysat) S 7686 7689 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4172460 1354305536 271641 33554432000 4194304 16246674 140736048830736 140005398785264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7689/tid=7691] ppid=7686 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/7689/task/7691/stat : 7691 (toysat) S 7686 7689 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4172460 1354305536 271641 33554432000 4194304 16246674 140736048830736 140005388295408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7689/tid=7692] ppid=7686 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/7689/task/7692/stat : 7692 (toysat) S 7686 7689 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4172460 1354305536 271641 33554432000 4194304 16246674 140736048830736 140005377821872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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.07 2.02 2.00 3/183 7906
/proc/meminfo: memFree=27671788/32872528 swapFree=7620/7620
[pid=7689] ppid=7686 vsize=1322564 CPUtime=1722.01 cores=1,3,5,7
/proc/7689/stat : 7689 (toysat) R 7686 7689 5453 0 -1 4202496 271885 0 0 0 172162 39 0 0 20 0 4 0 4172460 1354305536 271641 33554432000 4194304 16246674 140736048830736 140736048812608 12413997 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7689/statm: 330641 271641 912 2943 0 327535 0
[pid=7689/tid=7690] ppid=7686 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/7689/task/7690/stat : 7690 (toysat) S 7686 7689 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4172460 1354305536 271641 33554432000 4194304 16246674 140736048830736 140005398785264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7689/tid=7691] ppid=7686 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/7689/task/7691/stat : 7691 (toysat) S 7686 7689 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4172460 1354305536 271641 33554432000 4194304 16246674 140736048830736 140005388295408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7689/tid=7692] ppid=7686 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/7689/task/7692/stat : 7692 (toysat) S 7686 7689 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4172460 1354305536 271641 33554432000 4194304 16246674 140736048830736 140005377821872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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.07 2.03 2.00 3/183 7908
/proc/meminfo: memFree=27544216/32872528 swapFree=7620/7620
[pid=7689] ppid=7686 vsize=1322564 CPUtime=1782 cores=1,3,5,7
/proc/7689/stat : 7689 (toysat) R 7686 7689 5453 0 -1 4202496 271885 0 0 0 178161 39 0 0 20 0 4 0 4172460 1354305536 271641 33554432000 4194304 16246674 140736048830736 140736048812608 12656213 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7689/statm: 330641 271641 912 2943 0 327535 0
[pid=7689/tid=7690] ppid=7686 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/7689/task/7690/stat : 7690 (toysat) S 7686 7689 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4172460 1354305536 271641 33554432000 4194304 16246674 140736048830736 140005398785264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7689/tid=7691] ppid=7686 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/7689/task/7691/stat : 7691 (toysat) S 7686 7689 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4172460 1354305536 271641 33554432000 4194304 16246674 140736048830736 140005388295408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7689/tid=7692] ppid=7686 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/7689/task/7692/stat : 7692 (toysat) S 7686 7689 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4172460 1354305536 271641 33554432000 4194304 16246674 140736048830736 140005377821872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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.4 s]
/proc/loadavg: 2.12 2.04 2.01 3/183 7909
/proc/meminfo: memFree=27516032/32872528 swapFree=7620/7620
[pid=7689] ppid=7686 vsize=1322564 CPUtime=1800.09 cores=1,3,5,7
/proc/7689/stat : 7689 (toysat) R 7686 7689 5453 0 -1 4202496 271885 0 0 0 179970 39 0 0 20 0 4 0 4172460 1354305536 271641 33554432000 4194304 16246674 140736048830736 140736048812608 12654456 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7689/statm: 330641 271641 912 2943 0 327535 0
[pid=7689/tid=7690] ppid=7686 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/7689/task/7690/stat : 7690 (toysat) S 7686 7689 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4172460 1354305536 271641 33554432000 4194304 16246674 140736048830736 140005398785264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7689/tid=7691] ppid=7686 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/7689/task/7691/stat : 7691 (toysat) S 7686 7689 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4172460 1354305536 271641 33554432000 4194304 16246674 140736048830736 140005388295408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7689/tid=7692] ppid=7686 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/7689/task/7692/stat : 7692 (toysat) S 7686 7689 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4172460 1354305536 271641 33554432000 4194304 16246674 140736048830736 140005377821872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 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 7689 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.11
CPU user time (s): 1799.71
CPU system time (s): 0.395939
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 1322564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.71
system time used= 0.395939
maximum resident set size= 1086564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271885
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= 47
involuntary context switches= 1848

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.51286 second user time and 8.03578 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-29 22:39:23
IDJOB=4118682
IDBENCH=111521
IDSOLVER=2542
FILE ID=node106/4118682-1467232763
RUNJOBID= node106-1467209087-5470
PBS_JOBID= 19997588
Free space on /tmp= 71732 MiB

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

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

MD5SUM BENCH= 50074ccb0c1151a760791f0459c98771
RANDOM SEED=1090535672

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:        29705712 kB
Buffers:           38244 kB
Cached:          1199244 kB
SwapCached:            0 kB
Active:          1916384 kB
Inactive:         493512 kB
Active(anon):    1165236 kB
Inactive(anon):     9632 kB
Active(file):     751148 kB
Inactive(file):   483880 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16708 kB
Writeback:             0 kB
AnonPages:       1273968 kB
Mapped:            18788 kB
Shmem:               204 kB
Slab:             618360 kB
SReclaimable:      61684 kB
SUnreclaim:       556676 kB
KernelStack:        1520 kB
PageTables:         5824 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1311780 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1249280 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71712 MiB
End job on node106 at 2016-06-29 23:09:24