Trace number 4111276

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

General information on the benchmark

Namenormalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/
normalized-single-obj-f58-fob_fxl_loss.seq-B-3-combined-abcdeir.opb
MD5SUMcc25c00be38bef4aca4467a3976eba5e
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark354178533
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables113873
Total number of constraints380994
Number of constraints which are clauses380846
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints148
Minimum length of a constraint1
Maximum length of a constraint4060
Number of terms in the objective function 795
Biggest coefficient in the objective function 6328387760
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 240478734879
Number of bits of the sum of numbers in the objective function 38
Biggest number in a constraint 6328387760
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 240478734879
Number of bits of the biggest sum of numbers38
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-20T07:51:04+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-4111276-1466401863.opb"]
0.00/0.01	c use --random-gen="1657334111 926021908 65431801 4037902261 3356164102 1535563777 2956611034 2246066726 291909252 4112072180 3344557056 3931204466 4177541815 3830202572 3818905198 462169187 3063494744 2306994185 4228909790 2469460097 3550926203 3679076256 1677310497 3577230653 1594583559 3063233024 2621065321 1523574831 3170427245 263017958 3758163894 2024715343 3330195622 103944123 2055043391 3363063073 2273135289 1095572727 3151111592 1144923836 3846448586 4205582072 4215587205 1417363847 2319681038 3554278374 2767271957 3426520936 3873649377 3626330101 2074554145 2920171877 2566133718 3122890890 749906166 532654370 463963345 2010100471 4253779843 788184856 4086087159 265292003 1995506069 2139222642 115816473 3684340331 724547964 188546237 4023324253 4041746813 2337284659 621967374 3788267202 1241958288 2967222305 654942451 2000553055 725125480 2416544268 930059724 3045036008 1986548821 4153221317 757263812 1197422308 2844846062 1968470954 2193594947 3197996050 3608006093 1373396357 341161773 3958223728 2733999104 3699820468 211745757 1260169890 3621558564 1036490567 2225992285 1677350349 2094932903 4244260750 3952688243 944757628 1501014818 626898967 1158264291 419476441 1667349704 1492403080 3827990277 2335554266 21860732 2222461380 114653960 3160204767 2617054084 711037922 4243409997 2790520711 2191663453 665751871 3027979785 4178134663 3622073383 3273514423 2142528677 1344620782 3207407893 2721245091 3540192710 1086146901 3624608276 2353382342 4183154544 4107250337 3843104687 2704713067 3662463705 4021334921 182012271 3198411792 2041773362 3216465932 1587014123 123033454 3391462994 446453228 4119859436 3472892679 2902738055 2311762048 14383494 2526703426 2466933756 1989026156 106191412 199246936 1121791257 2731987234 3136472779 3500536092 914982004 1765583135 4129928451 2808837388 2737245252 3476210346 3116805107 1698419301 1960873203 1162939221 4220261309 1954922349 1078927834 1888027422 1606628367 2774379403 3529295743 855980500 558351301 1124995589 3866887582 1298572113 2812911620 2773258887 2131912046 2861615516 788446569 1630189931 379013168 1476791715 487259927 3670124610 1275310835 341620226 3106547642 824258390 2370830539 419818444 3965389258 1075058225 4086882043 1311093736 3485204255 3196503369 1381104560 1062982569 2597632474 1971283243 1153409624 1341073904 3704641500 1636003078 111510735 3498417869 3472991625 3128744837 3924039720 1594418173 1580020499 423600949 77381070 3781925192 1398107699 1951596838 3469846112 1724438072 3648180688 1172555831 382484081 1010595030 2095974289 2979795354 228155077 1597351545 1643636452 2666341830 2024126453 1913334317 594445505 2325213773 958971330 1143288054 3201210081 486979143 3938991101 688077890 3183241366 2927733630 1975901158 2890918370 476187891 3476958553 2374810241 255 362436" option to reproduce the execution
2.08/2.16	c #vars 113873
2.08/2.16	c #constraints 380994
7.18/7.28	c BCD2: Hardening is enabled.
7.18/7.28	c BCD2: BiasedSearch is enabled.
7.18/7.28	c Solving starts ...
7.18/7.28	c ============================[ Search Statistics ]============================
7.18/7.28	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
7.18/7.28	c       |         |          |          |    Limit     GC | Var      | Constra 
7.18/7.28	c =============================================================================
7.18/7.29	c  0.0s |       0 |        0 |        0 |   146107      0 |     1014 |        0
7.70/7.79	c  0.5s |       1 |      514 |      100 |   146107      0 |     1014 |     2882
8.38/8.42	c  1.1s |       1 |     1114 |      101 |   160718      0 |     1014 |     2882
8.38/8.42	c #cpu_time = 1.051s
8.38/8.42	c #wall_clock_time = 1.054s
8.38/8.42	c #decision = 1114
8.38/8.42	c #random_decision = 2
8.38/8.42	c #conflict = 101
8.38/8.42	c #restart = 1
8.38/8.42	o 234150349409
75.47/75.59	c BCD2: updating upper bound: 240478734879 -> 234150349408
79.07/79.11	c BCD2: 0 <= obj <= 234150349408
79.07/79.11	c BCD2: #cores=0, #unrelaxed=795, #relaxed=0, #hardened=0
79.07/79.11	c BCD2: #sat=1 #unsat=1 bias=1/2
79.07/79.11	c Solving starts ...
79.07/79.11	c ============================[ Search Statistics ]============================
79.07/79.11	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
79.07/79.11	c       |         |          |          |    Limit     GC | Var      | Constra 
79.07/79.11	c =============================================================================
79.07/79.11	c  0.0s |       0 |        0 |        0 |   160718      0 |     1014 |     2882
79.19/79.25	c  0.1s |       0 |        3 |        0 |   160718      0 |     1014 |     2882
79.19/79.25	c #cpu_time = 0.143s
79.19/79.25	c #wall_clock_time = 0.143s
79.19/79.25	c #decision = 3
79.19/79.25	c #random_decision = 0
79.19/79.25	c #conflict = 0
79.19/79.25	c #restart = 0
79.19/79.25	c BCD2: found a new core of size 4: cost of the new core is >=115330
79.19/79.25	c lower bound updated to 115330
150.37/150.45	c BCD2: 115330 <= obj <= 234150349408
150.37/150.45	c BCD2: #cores=1, #unrelaxed=791, #relaxed=4, #hardened=0
150.37/150.45	c BCD2: #sat=1 #unsat=2 bias=2/3
150.37/150.45	c Solving starts ...
150.37/150.45	c ============================[ Search Statistics ]============================
150.37/150.45	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
150.37/150.45	c       |         |          |          |    Limit     GC | Var      | Constra 
150.37/150.45	c =============================================================================
150.37/150.45	c  0.0s |       0 |        0 |        0 |   160718      0 |     1014 |     2882
150.57/150.62	c  0.2s |       0 |        4 |        0 |   160718      0 |     1014 |     2882
150.57/150.62	c #cpu_time = 0.160s
150.57/150.62	c #wall_clock_time = 0.160s
150.57/150.62	c #decision = 4
150.57/150.62	c #random_decision = 0
150.57/150.62	c #conflict = 0
150.57/150.62	c #restart = 0
150.57/150.62	c BCD2: found a new core of size 4: cost of the new core is >=115330
150.57/150.62	c lower bound updated to 230660
224.75/224.82	c BCD2: 230660 <= obj <= 234150349408
224.75/224.82	c BCD2: #cores=2, #unrelaxed=787, #relaxed=8, #hardened=0
224.75/224.82	c BCD2: #sat=1 #unsat=3 bias=3/4
224.75/224.82	c Solving starts ...
224.75/224.82	c ============================[ Search Statistics ]============================
224.75/224.82	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
224.75/224.82	c       |         |          |          |    Limit     GC | Var      | Constra 
224.75/224.82	c =============================================================================
224.75/224.82	c  0.0s |       0 |        0 |        0 |   160718      0 |     1014 |     2882
224.85/224.97	c  0.1s |       0 |        5 |        0 |   160718      0 |     1014 |     2882
224.85/224.97	c #cpu_time = 0.142s
224.85/224.97	c #wall_clock_time = 0.143s
224.85/224.97	c #decision = 5
224.85/224.97	c #random_decision = 0
224.85/224.97	c #conflict = 0
224.85/224.97	c #restart = 0
224.85/224.97	c BCD2: found a new core of size 4: cost of the new core is >=115330
224.85/224.97	c lower bound updated to 345990
299.83/299.92	c BCD2: 345990 <= obj <= 234150349408
299.83/299.92	c BCD2: #cores=3, #unrelaxed=783, #relaxed=12, #hardened=0
299.83/299.92	c BCD2: #sat=1 #unsat=4 bias=4/5
299.83/299.93	c Solving starts ...
299.83/299.93	c ============================[ Search Statistics ]============================
299.83/299.93	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
299.83/299.93	c       |         |          |          |    Limit     GC | Var      | Constra 
299.83/299.93	c =============================================================================
299.83/299.93	c  0.0s |       0 |        0 |        0 |   160718      0 |     1014 |     2882
300.03/300.10	c  0.2s |       0 |        6 |        0 |   160718      0 |     1014 |     2882
300.03/300.10	c #cpu_time = 0.172s
300.03/300.10	c #wall_clock_time = 0.172s
300.03/300.10	c #decision = 6
300.03/300.10	c #random_decision = 0
300.03/300.10	c #conflict = 0
300.03/300.10	c #restart = 0
300.03/300.10	c BCD2: found a new core of size 4: cost of the new core is >=115330
300.03/300.10	c lower bound updated to 461320
373.82/373.92	c BCD2: 461320 <= obj <= 234150349408
373.82/373.92	c BCD2: #cores=4, #unrelaxed=779, #relaxed=16, #hardened=0
373.82/373.92	c BCD2: #sat=1 #unsat=5 bias=5/6
373.82/373.92	c Solving starts ...
373.82/373.92	c ============================[ Search Statistics ]============================
373.82/373.92	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
373.82/373.92	c       |         |          |          |    Limit     GC | Var      | Constra 
373.82/373.92	c =============================================================================
373.82/373.92	c  0.0s |       0 |        0 |        0 |   160718      0 |     1014 |     2882
373.93/374.08	c  0.2s |       0 |        7 |        0 |   160718      0 |     1014 |     2882
373.93/374.08	c #cpu_time = 0.160s
373.93/374.08	c #wall_clock_time = 0.160s
373.93/374.08	c #decision = 7
373.93/374.08	c #random_decision = 0
373.93/374.08	c #conflict = 0
373.93/374.08	c #restart = 0
373.93/374.08	c BCD2: found a new core of size 4: cost of the new core is >=115330
373.93/374.08	c lower bound updated to 576650
447.51/447.68	c BCD2: 576650 <= obj <= 234150349408
447.51/447.68	c BCD2: #cores=5, #unrelaxed=775, #relaxed=20, #hardened=0
447.51/447.68	c BCD2: #sat=1 #unsat=6 bias=6/7
447.51/447.68	c Solving starts ...
447.51/447.68	c ============================[ Search Statistics ]============================
447.51/447.68	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
447.51/447.68	c       |         |          |          |    Limit     GC | Var      | Constra 
447.51/447.68	c =============================================================================
447.51/447.68	c  0.0s |       0 |        0 |        0 |   160718      0 |     1014 |     2882
447.72/447.86	c  0.2s |       0 |        8 |        0 |   160718      0 |     1014 |     2882
447.72/447.86	c #cpu_time = 0.176s
447.72/447.86	c #wall_clock_time = 0.177s
447.72/447.86	c #decision = 8
447.72/447.86	c #random_decision = 0
447.72/447.86	c #conflict = 0
447.72/447.86	c #restart = 0
447.72/447.86	c BCD2: found a new core of size 4: cost of the new core is >=115330
447.72/447.86	c lower bound updated to 691980
520.79/520.97	c BCD2: 691980 <= obj <= 234150349408
520.79/520.97	c BCD2: #cores=6, #unrelaxed=771, #relaxed=24, #hardened=0
520.79/520.97	c BCD2: #sat=1 #unsat=7 bias=7/8
520.79/520.97	c Solving starts ...
520.79/520.97	c ============================[ Search Statistics ]============================
520.79/520.97	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
520.79/520.97	c       |         |          |          |    Limit     GC | Var      | Constra 
520.79/520.97	c =============================================================================
520.79/520.97	c  0.0s |       0 |        0 |        0 |   160718      0 |     1014 |     2882
520.99/521.13	c  0.2s |       0 |        9 |        0 |   160718      0 |     1014 |     2882
520.99/521.13	c #cpu_time = 0.158s
520.99/521.13	c #wall_clock_time = 0.158s
520.99/521.13	c #decision = 9
520.99/521.13	c #random_decision = 0
520.99/521.13	c #conflict = 0
520.99/521.13	c #restart = 0
520.99/521.13	c BCD2: found a new core of size 4: cost of the new core is >=115330
520.99/521.13	c lower bound updated to 807310
599.78/599.93	c BCD2: 807310 <= obj <= 234150349408
599.78/599.93	c BCD2: #cores=7, #unrelaxed=767, #relaxed=28, #hardened=0
599.78/599.93	c BCD2: #sat=1 #unsat=8 bias=8/9
599.78/599.93	c Solving starts ...
599.78/599.93	c ============================[ Search Statistics ]============================
599.78/599.93	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
599.78/599.93	c       |         |          |          |    Limit     GC | Var      | Constra 
599.78/599.93	c =============================================================================
599.78/599.93	c  0.0s |       0 |        0 |        0 |   160718      0 |     1014 |     2882
599.98/600.11	c  0.2s |       0 |       10 |        0 |   160718      0 |     1014 |     2882
599.98/600.11	c #cpu_time = 0.179s
599.98/600.11	c #wall_clock_time = 0.180s
599.98/600.11	c #decision = 10
599.98/600.11	c #random_decision = 0
599.98/600.11	c #conflict = 0
599.98/600.11	c #restart = 0
599.98/600.11	c BCD2: found a new core of size 4: cost of the new core is >=115330
599.98/600.11	c lower bound updated to 922640
680.17/680.33	c BCD2: 922640 <= obj <= 234150349408
680.17/680.33	c BCD2: #cores=8, #unrelaxed=763, #relaxed=32, #hardened=0
680.17/680.33	c BCD2: #sat=1 #unsat=9 bias=9/10
680.17/680.33	c Solving starts ...
680.17/680.33	c ============================[ Search Statistics ]============================
680.17/680.33	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
680.17/680.33	c       |         |          |          |    Limit     GC | Var      | Constra 
680.17/680.33	c =============================================================================
680.17/680.34	c  0.0s |       0 |        0 |        0 |   160718      0 |     1014 |     2882
680.37/680.51	c  0.2s |       0 |       11 |        0 |   160718      0 |     1014 |     2882
680.37/680.51	c #cpu_time = 0.170s
680.37/680.51	c #wall_clock_time = 0.171s
680.37/680.51	c #decision = 11
680.37/680.51	c #random_decision = 0
680.37/680.51	c #conflict = 0
680.37/680.51	c #restart = 0
680.37/680.51	c BCD2: found a new core of size 4: cost of the new core is >=115330
680.37/680.51	c lower bound updated to 1037970
765.46/765.64	c BCD2: 1037970 <= obj <= 234150349408
765.46/765.64	c BCD2: #cores=9, #unrelaxed=759, #relaxed=36, #hardened=0
765.46/765.64	c BCD2: #sat=1 #unsat=10 bias=10/11
765.46/765.64	c Solving starts ...
765.46/765.64	c ============================[ Search Statistics ]============================
765.46/765.64	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
765.46/765.64	c       |         |          |          |    Limit     GC | Var      | Constra 
765.46/765.64	c =============================================================================
765.46/765.64	c  0.0s |       0 |        0 |        0 |   160718      0 |     1014 |     2882
765.65/765.85	c  0.2s |       0 |       12 |        0 |   160718      0 |     1014 |     2882
765.65/765.85	c #cpu_time = 0.203s
765.65/765.85	c #wall_clock_time = 0.203s
765.65/765.85	c #decision = 12
765.65/765.85	c #random_decision = 0
765.65/765.85	c #conflict = 0
765.65/765.85	c #restart = 0
765.65/765.85	c BCD2: found a new core of size 4: cost of the new core is >=115330
765.65/765.85	c lower bound updated to 1153300
847.24/847.49	c BCD2: 1153300 <= obj <= 234150349408
847.24/847.49	c BCD2: #cores=10, #unrelaxed=755, #relaxed=40, #hardened=0
847.24/847.49	c BCD2: #sat=1 #unsat=11 bias=11/12
847.24/847.49	c Solving starts ...
847.24/847.49	c ============================[ Search Statistics ]============================
847.24/847.49	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
847.24/847.49	c       |         |          |          |    Limit     GC | Var      | Constra 
847.24/847.49	c =============================================================================
847.24/847.49	c  0.0s |       0 |        0 |        0 |   160718      0 |     1014 |     2882
847.44/847.68	c  0.2s |       0 |       13 |        0 |   160718      0 |     1014 |     2882
847.44/847.68	c #cpu_time = 0.186s
847.44/847.68	c #wall_clock_time = 0.186s
847.44/847.68	c #decision = 13
847.44/847.68	c #random_decision = 0
847.44/847.68	c #conflict = 0
847.44/847.68	c #restart = 0
847.44/847.68	c BCD2: found a new core of size 4: cost of the new core is >=115330
847.44/847.68	c lower bound updated to 1268630
936.32/936.51	c BCD2: 1268630 <= obj <= 234150349408
936.32/936.51	c BCD2: #cores=11, #unrelaxed=751, #relaxed=44, #hardened=0
936.32/936.51	c BCD2: #sat=1 #unsat=12 bias=12/13
936.32/936.51	c Solving starts ...
936.32/936.51	c ============================[ Search Statistics ]============================
936.32/936.51	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
936.32/936.51	c       |         |          |          |    Limit     GC | Var      | Constra 
936.32/936.51	c =============================================================================
936.32/936.51	c  0.0s |       0 |        0 |        0 |   160718      0 |     1014 |     2882
936.52/936.71	c  0.2s |       0 |       14 |        0 |   160718      0 |     1014 |     2882
936.52/936.71	c #cpu_time = 0.198s
936.52/936.71	c #wall_clock_time = 0.199s
936.52/936.71	c #decision = 14
936.52/936.71	c #random_decision = 0
936.52/936.71	c #conflict = 0
936.52/936.71	c #restart = 0
936.52/936.71	c BCD2: found a new core of size 4: cost of the new core is >=115330
936.52/936.71	c lower bound updated to 1383960
1022.31/1022.52	c BCD2: 1383960 <= obj <= 234150349408
1022.31/1022.52	c BCD2: #cores=12, #unrelaxed=747, #relaxed=48, #hardened=0
1022.31/1022.52	c BCD2: #sat=1 #unsat=13 bias=13/14
1022.31/1022.52	c Solving starts ...
1022.31/1022.52	c ============================[ Search Statistics ]============================
1022.31/1022.52	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1022.31/1022.52	c       |         |          |          |    Limit     GC | Var      | Constra 
1022.31/1022.52	c =============================================================================
1022.31/1022.52	c  0.0s |       0 |        0 |        0 |   160718      0 |     1014 |     2882
1022.51/1022.70	c  0.2s |       0 |       15 |        0 |   160718      0 |     1014 |     2882
1022.51/1022.70	c #cpu_time = 0.181s
1022.51/1022.70	c #wall_clock_time = 0.182s
1022.51/1022.70	c #decision = 15
1022.51/1022.70	c #random_decision = 0
1022.51/1022.70	c #conflict = 0
1022.51/1022.70	c #restart = 0
1022.51/1022.70	c BCD2: found a new core of size 4: cost of the new core is >=115330
1022.51/1022.70	c lower bound updated to 1499290
1113.00/1113.24	c BCD2: 1499290 <= obj <= 234150349408
1113.00/1113.24	c BCD2: #cores=13, #unrelaxed=743, #relaxed=52, #hardened=0
1113.00/1113.24	c BCD2: #sat=1 #unsat=14 bias=14/15
1113.00/1113.24	c Solving starts ...
1113.00/1113.24	c ============================[ Search Statistics ]============================
1113.00/1113.24	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1113.00/1113.24	c       |         |          |          |    Limit     GC | Var      | Constra 
1113.00/1113.24	c =============================================================================
1113.00/1113.24	c  0.0s |       0 |        0 |        0 |   160718      0 |     1014 |     2882
1113.19/1113.44	c  0.2s |       0 |       16 |        0 |   160718      0 |     1014 |     2882
1113.19/1113.44	c #cpu_time = 0.202s
1113.19/1113.44	c #wall_clock_time = 0.202s
1113.19/1113.44	c #decision = 16
1113.19/1113.44	c #random_decision = 0
1113.19/1113.44	c #conflict = 0
1113.19/1113.44	c #restart = 0
1113.19/1113.44	c BCD2: found a new core of size 4: cost of the new core is >=115330
1113.19/1113.44	c lower bound updated to 1614620
1197.38/1197.68	c BCD2: 1614620 <= obj <= 234150349408
1197.38/1197.68	c BCD2: #cores=14, #unrelaxed=739, #relaxed=56, #hardened=0
1197.38/1197.68	c BCD2: #sat=1 #unsat=15 bias=15/16
1197.38/1197.68	c Solving starts ...
1197.38/1197.68	c ============================[ Search Statistics ]============================
1197.38/1197.68	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1197.38/1197.68	c       |         |          |          |    Limit     GC | Var      | Constra 
1197.38/1197.68	c =============================================================================
1197.38/1197.68	c  0.0s |       0 |        0 |        0 |   160718      0 |     1014 |     2882
1197.58/1197.86	c  0.2s |       0 |       17 |        0 |   160718      0 |     1014 |     2882
1197.58/1197.86	c #cpu_time = 0.179s
1197.58/1197.86	c #wall_clock_time = 0.179s
1197.58/1197.86	c #decision = 17
1197.58/1197.86	c #random_decision = 0
1197.58/1197.86	c #conflict = 0
1197.58/1197.86	c #restart = 0
1197.58/1197.86	c BCD2: found a new core of size 4: cost of the new core is >=115330
1197.58/1197.86	c lower bound updated to 1729950
1285.97/1286.27	c BCD2: 1729950 <= obj <= 234150349408
1285.97/1286.27	c BCD2: #cores=15, #unrelaxed=735, #relaxed=60, #hardened=0
1285.97/1286.27	c BCD2: #sat=1 #unsat=16 bias=16/17
1285.97/1286.27	c Solving starts ...
1285.97/1286.27	c ============================[ Search Statistics ]============================
1285.97/1286.27	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1285.97/1286.27	c       |         |          |          |    Limit     GC | Var      | Constra 
1285.97/1286.27	c =============================================================================
1285.97/1286.27	c  0.0s |       0 |        0 |        0 |   160718      0 |     1014 |     2882
1286.17/1286.48	c  0.2s |       0 |       18 |        0 |   160718      0 |     1014 |     2882
1286.17/1286.48	c #cpu_time = 0.208s
1286.17/1286.48	c #wall_clock_time = 0.208s
1286.17/1286.48	c #decision = 18
1286.17/1286.48	c #random_decision = 0
1286.17/1286.48	c #conflict = 0
1286.17/1286.48	c #restart = 0
1286.17/1286.48	c BCD2: found a new core of size 4: cost of the new core is >=115330
1286.17/1286.48	c lower bound updated to 1845280
1373.15/1373.41	c BCD2: 1845280 <= obj <= 234150349408
1373.15/1373.41	c BCD2: #cores=16, #unrelaxed=731, #relaxed=64, #hardened=0
1373.15/1373.41	c BCD2: #sat=1 #unsat=17 bias=17/18
1373.15/1373.41	c Solving starts ...
1373.15/1373.41	c ============================[ Search Statistics ]============================
1373.15/1373.41	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1373.15/1373.41	c       |         |          |          |    Limit     GC | Var      | Constra 
1373.15/1373.41	c =============================================================================
1373.15/1373.41	c  0.0s |       0 |        0 |        0 |   160718      0 |     1014 |     2882
1373.25/1373.59	c  0.2s |       0 |       19 |        0 |   160718      0 |     1014 |     2882
1373.25/1373.59	c #cpu_time = 0.179s
1373.25/1373.59	c #wall_clock_time = 0.179s
1373.25/1373.59	c #decision = 19
1373.25/1373.59	c #random_decision = 0
1373.25/1373.59	c #conflict = 0
1373.25/1373.59	c #restart = 0
1373.25/1373.59	c BCD2: found a new core of size 4: cost of the new core is >=115330
1373.25/1373.59	c lower bound updated to 1960610
1457.54/1457.86	c BCD2: 1960610 <= obj <= 234150349408
1457.54/1457.86	c BCD2: #cores=17, #unrelaxed=727, #relaxed=68, #hardened=0
1457.54/1457.86	c BCD2: #sat=1 #unsat=18 bias=18/19
1457.54/1457.86	c Solving starts ...
1457.54/1457.86	c ============================[ Search Statistics ]============================
1457.54/1457.86	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1457.54/1457.86	c       |         |          |          |    Limit     GC | Var      | Constra 
1457.54/1457.86	c =============================================================================
1457.54/1457.86	c  0.0s |       0 |        0 |        0 |   160718      0 |     1014 |     2882
1457.74/1458.06	c  0.2s |       0 |       18 |        0 |   160718      0 |     1014 |     2882
1457.74/1458.06	c #cpu_time = 0.196s
1457.74/1458.06	c #wall_clock_time = 0.196s
1457.74/1458.06	c #decision = 18
1457.74/1458.06	c #random_decision = 0
1457.74/1458.06	c #conflict = 0
1457.74/1458.06	c #restart = 0
1457.74/1458.06	c BCD2: found a new core of size 2: cost of the new core is >=166536520
1457.74/1458.06	c lower bound updated to 168497130
1542.22/1542.57	c BCD2: 168497130 <= obj <= 234150349408
1542.22/1542.57	c BCD2: #cores=18, #unrelaxed=725, #relaxed=70, #hardened=0
1542.22/1542.57	c BCD2: #sat=1 #unsat=19 bias=19/20
1542.22/1542.57	c Solving starts ...
1542.22/1542.57	c ============================[ Search Statistics ]============================
1542.22/1542.57	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1542.22/1542.57	c       |         |          |          |    Limit     GC | Var      | Constra 
1542.22/1542.57	c =============================================================================
1542.22/1542.57	c  0.0s |       0 |        0 |        0 |   160718      0 |     1014 |     2882
1542.42/1542.75	c  0.2s |       0 |       21 |        0 |   160718      0 |     1014 |     2882
1542.42/1542.75	c #cpu_time = 0.181s
1542.42/1542.75	c #wall_clock_time = 0.181s
1542.42/1542.75	c #decision = 21
1542.42/1542.75	c #random_decision = 0
1542.42/1542.75	c #conflict = 0
1542.42/1542.75	c #restart = 0
1542.42/1542.75	c BCD2: found a new core of size 4: cost of the new core is >=115330
1542.42/1542.75	c lower bound updated to 168612460
1631.71/1632.04	c BCD2: 168612460 <= obj <= 234150349408
1631.71/1632.04	c BCD2: #cores=19, #unrelaxed=721, #relaxed=74, #hardened=0
1631.71/1632.04	c BCD2: #sat=1 #unsat=20 bias=20/21
1631.71/1632.04	c Solving starts ...
1631.71/1632.04	c ============================[ Search Statistics ]============================
1631.71/1632.04	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1631.71/1632.04	c       |         |          |          |    Limit     GC | Var      | Constra 
1631.71/1632.04	c =============================================================================
1631.71/1632.04	c  0.0s |       0 |        0 |        0 |   160718      0 |     1014 |     2882
1631.91/1632.24	c  0.2s |       0 |       22 |        0 |   160718      0 |     1014 |     2882
1631.91/1632.24	c #cpu_time = 0.202s
1631.91/1632.24	c #wall_clock_time = 0.202s
1631.91/1632.24	c #decision = 22
1631.91/1632.24	c #random_decision = 0
1631.91/1632.24	c #conflict = 0
1631.91/1632.24	c #restart = 0
1631.91/1632.24	c BCD2: found a new core of size 4: cost of the new core is >=115330
1631.91/1632.24	c lower bound updated to 168727790
1715.71/1716.09	c BCD2: 168727790 <= obj <= 234150349408
1715.71/1716.09	c BCD2: #cores=20, #unrelaxed=717, #relaxed=78, #hardened=0
1715.71/1716.09	c BCD2: #sat=1 #unsat=21 bias=21/22
1715.71/1716.09	c Solving starts ...
1715.71/1716.09	c ============================[ Search Statistics ]============================
1715.71/1716.09	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1715.71/1716.09	c       |         |          |          |    Limit     GC | Var      | Constra 
1715.71/1716.09	c =============================================================================
1715.71/1716.09	c  0.0s |       0 |        0 |        0 |   160718      0 |     1014 |     2882
1715.90/1716.27	c  0.2s |       0 |       23 |        0 |   160718      0 |     1014 |     2882
1715.90/1716.27	c #cpu_time = 0.179s
1715.90/1716.27	c #wall_clock_time = 0.179s
1715.90/1716.27	c #decision = 23
1715.90/1716.27	c #random_decision = 0
1715.90/1716.27	c #conflict = 0
1715.90/1716.27	c #restart = 0
1715.90/1716.27	c BCD2: found a new core of size 4: cost of the new core is >=115330
1715.90/1716.27	c lower bound updated to 168843120

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

pid=21047
running on 8 cores: 4-7,12-15

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.23 2.28 3.03 4/258 21053
/proc/meminfo: memFree=31918192/32872528 swapFree=8316/8316
[pid=21053] ppid=21047 vsize=1124796 CPUtime=0 cores=4-7,12-15
/proc/21053/stat : 21053 (toysat) R 21047 21053 15739 0 -1 4202496 4267 0 0 0 0 0 0 0 20 0 4 0 42230998 1151791104 4628 33554432000 4194304 16246674 140735610297808 140735610297232 13880264 0 2 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/21053/statm: 281967 4637 441 2943 0 278861 0
[pid=21053/tid=21057] ppid=21047 vsize=1147324 CPUtime=0 cores=4-7,12-15
/proc/21053/task/21057/stat : 21057 (toysat) S 21047 21053 15739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 42230998 1174859776 4713 33554432000 4194304 16246674 140735610297808 140687766957296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=21053/tid=21058] ppid=21047 vsize=1151420 CPUtime=0 cores=4-7,12-15
/proc/21053/task/21058/stat : 21058 (toysat) S 21047 21053 15739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42230998 1179054080 4731 33554432000 4194304 16246674 140735610297808 140687756467440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=21053/tid=21059] ppid=21047 vsize=1155516 CPUtime=0 cores=4-7,12-15
/proc/21053/task/21059/stat : 21059 (toysat) S 21047 21053 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 42230998 1183248384 4748 33554432000 4194304 16246674 140735610297808 140687745993904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0

[startup+0.100203 s]
/proc/loadavg: 2.23 2.28 3.03 4/258 21053
/proc/meminfo: memFree=31918192/32872528 swapFree=8316/8316
[pid=21053] ppid=21047 vsize=1302084 CPUtime=0.09 cores=4-7,12-15
/proc/21053/stat : 21053 (toysat) R 21047 21053 15739 0 -1 4202496 27120 0 0 0 6 3 0 0 20 0 4 0 42230998 1333334016 27420 33554432000 4194304 16246674 140735610297808 140735610297120 7378693 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/21053/statm: 325521 27435 800 2943 0 322415 0
[pid=21053/tid=21057] ppid=21047 vsize=1302084 CPUtime=0 cores=4-7,12-15
/proc/21053/task/21057/stat : 21057 (toysat) S 21047 21053 15739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 42230998 1333334016 27447 33554432000 4194304 16246674 140735610297808 140687766957296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=21053/tid=21058] ppid=21047 vsize=1302084 CPUtime=0 cores=4-7,12-15
/proc/21053/task/21058/stat : 21058 (toysat) S 21047 21053 15739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42230998 1333334016 27458 33554432000 4194304 16246674 140735610297808 140687756467440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=21053/tid=21059] ppid=21047 vsize=1302084 CPUtime=0 cores=4-7,12-15
/proc/21053/task/21059/stat : 21059 (toysat) S 21047 21053 15739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42230998 1333334016 27469 33554432000 4194304 16246674 140735610297808 140687745993904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200568 s]
/proc/loadavg: 2.23 2.28 3.03 4/258 21053
/proc/meminfo: memFree=31918192/32872528 swapFree=8316/8316
[pid=21053] ppid=21047 vsize=1313348 CPUtime=0.19 cores=4-7,12-15
/proc/21053/stat : 21053 (toysat) R 21047 21053 15739 0 -1 4202496 49191 0 0 0 12 7 0 0 20 0 4 0 42230998 1344868352 50001 33554432000 4194304 16246674 140735610297808 140735610297120 14795908 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/21053/statm: 328337 50001 800 2943 0 325231 0
[pid=21053/tid=21057] ppid=21047 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/21053/task/21057/stat : 21057 (toysat) S 21047 21053 15739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 42230998 1344868352 50001 33554432000 4194304 16246674 140735610297808 140687766957296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=21053/tid=21058] ppid=21047 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/21053/task/21058/stat : 21058 (toysat) S 21047 21053 15739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42230998 1344868352 50001 33554432000 4194304 16246674 140735610297808 140687756467440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=21053/tid=21059] ppid=21047 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/21053/task/21059/stat : 21059 (toysat) S 21047 21053 15739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42230998 1344868352 50001 33554432000 4194304 16246674 140735610297808 140687745993904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300544 s]
/proc/loadavg: 2.23 2.28 3.03 4/258 21053
/proc/meminfo: memFree=31918192/32872528 swapFree=8316/8316
[pid=21053] ppid=21047 vsize=1313348 CPUtime=0.29 cores=4-7,12-15
/proc/21053/stat : 21053 (toysat) R 21047 21053 15739 0 -1 4202496 58924 0 0 0 21 8 0 0 20 0 4 0 42230998 1344868352 59734 33554432000 4194304 16246674 140735610297808 140735610297120 13752943 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/21053/statm: 328337 59734 800 2943 0 325231 0
[pid=21053/tid=21057] ppid=21047 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/21053/task/21057/stat : 21057 (toysat) S 21047 21053 15739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 42230998 1344868352 59734 33554432000 4194304 16246674 140735610297808 140687766957296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=21053/tid=21058] ppid=21047 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/21053/task/21058/stat : 21058 (toysat) S 21047 21053 15739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42230998 1344868352 59734 33554432000 4194304 16246674 140735610297808 140687756467440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=21053/tid=21059] ppid=21047 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/21053/task/21059/stat : 21059 (toysat) S 21047 21053 15739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42230998 1344868352 59734 33554432000 4194304 16246674 140735610297808 140687745993904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700442 s]
/proc/loadavg: 2.23 2.28 3.03 4/258 21053
/proc/meminfo: memFree=31918192/32872528 swapFree=8316/8316
[pid=21053] ppid=21047 vsize=1313348 CPUtime=0.69 cores=4-7,12-15
/proc/21053/stat : 21053 (toysat) R 21047 21053 15739 0 -1 4202496 69613 0 0 0 59 10 0 0 20 0 4 0 42230998 1344868352 70423 33554432000 4194304 16246674 140735610297808 140735610279680 8057278 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/21053/statm: 328337 70440 800 2943 0 325231 0
[pid=21053/tid=21057] ppid=21047 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/21053/task/21057/stat : 21057 (toysat) S 21047 21053 15739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 42230998 1344868352 70453 33554432000 4194304 16246674 140735610297808 140687766957296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=21053/tid=21058] ppid=21047 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/21053/task/21058/stat : 21058 (toysat) S 21047 21053 15739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42230998 1344868352 70465 33554432000 4194304 16246674 140735610297808 140687756467440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=21053/tid=21059] ppid=21047 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/21053/task/21059/stat : 21059 (toysat) S 21047 21053 15739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42230998 1344868352 70476 33554432000 4194304 16246674 140735610297808 140687745993904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50041 s]
/proc/loadavg: 2.23 2.28 3.03 4/266 21061
/proc/meminfo: memFree=31311008/32872528 swapFree=8316/8316
[pid=21053] ppid=21047 vsize=1313348 CPUtime=1.48 cores=4-7,12-15
/proc/21053/stat : 21053 (toysat) R 21047 21053 15739 0 -1 4202496 86027 0 0 0 136 12 0 0 20 0 4 0 42230998 1344868352 86837 33554432000 4194304 16246674 140735610297808 140735610279680 4220897 0 2 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/21053/statm: 328337 86837 801 2943 0 325231 0
[pid=21053/tid=21057] ppid=21047 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/21053/task/21057/stat : 21057 (toysat) S 21047 21053 15739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 42230998 1344868352 86837 33554432000 4194304 16246674 140735610297808 140687766957296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=21053/tid=21058] ppid=21047 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/21053/task/21058/stat : 21058 (toysat) S 21047 21053 15739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42230998 1344868352 86837 33554432000 4194304 16246674 140735610297808 140687756467440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=21053/tid=21059] ppid=21047 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/21053/task/21059/stat : 21059 (toysat) S 21047 21053 15739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42230998 1344868352 86837 33554432000 4194304 16246674 140735610297808 140687745993904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1313348

[startup+3.10044 s]
/proc/loadavg: 2.23 2.28 3.03 4/266 21061
/proc/meminfo: memFree=31035968/32872528 swapFree=8316/8316
[pid=21053] ppid=21047 vsize=1351236 CPUtime=3.09 cores=4-7,12-15
/proc/21053/stat : 21053 (toysat) R 21047 21053 15739 0 -1 4202496 206373 0 0 0 278 31 0 0 20 0 4 0 42230998 1383665664 207183 33554432000 4194304 16246674 140735610297808 140735610279680 6972638 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/21053/statm: 337809 207190 836 2943 0 334703 0
[pid=21053/tid=21057] ppid=21047 vsize=1351236 CPUtime=0 cores=4-7,12-15
/proc/21053/task/21057/stat : 21057 (toysat) S 21047 21053 15739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 42230998 1383665664 207196 33554432000 4194304 16246674 140735610297808 140687766957296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=21053/tid=21058] ppid=21047 vsize=1351236 CPUtime=0 cores=4-7,12-15
/proc/21053/task/21058/stat : 21058 (toysat) S 21047 21053 15739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42230998 1383665664 207202 33554432000 4194304 16246674 140735610297808 140687756467440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=21053/tid=21059] ppid=21047 vsize=1351236 CPUtime=0 cores=4-7,12-15
/proc/21053/task/21059/stat : 21059 (toysat) S 21047 21053 15739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42230998 1383665664 207208 33554432000 4194304 16246674 140735610297808 140687745993904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1351236

[startup+6.30043 s]
/proc/loadavg: 2.21 2.27 3.02 4/266 21061
/proc/meminfo: memFree=29684864/32872528 swapFree=8316/8316
[pid=21053] ppid=21047 vsize=1351236 CPUtime=6.29 cores=4-7,12-15
/proc/21053/stat : 21053 (toysat) R 21047 21053 15739 0 -1 4202496 278428 0 0 0 586 43 0 0 20 0 4 0 42230998 1383665664 279238 33554432000 4194304 16246674 140735610297808 140735610297120 13775084 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/21053/statm: 337809 279238 838 2943 0 334703 0
[pid=21053/tid=21057] ppid=21047 vsize=1351236 CPUtime=0 cores=4-7,12-15
/proc/21053/task/21057/stat : 21057 (toysat) S 21047 21053 15739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 42230998 1383665664 279238 33554432000 4194304 16246674 140735610297808 140687766957296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=21053/tid=21058] ppid=21047 vsize=1351236 CPUtime=0 cores=4-7,12-15
/proc/21053/task/21058/stat : 21058 (toysat) S 21047 21053 15739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42230998 1383665664 279238 33554432000 4194304 16246674 140735610297808 140687756467440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=21053/tid=21059] ppid=21047 vsize=1351236 CPUtime=0 cores=4-7,12-15
/proc/21053/task/21059/stat : 21059 (toysat) S 21047 21053 15739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42230998 1383665664 279238 33554432000 4194304 16246674 140735610297808 140687745993904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1351236

[startup+12.7005 s]
/proc/loadavg: 2.19 2.27 3.01 4/266 21061
/proc/meminfo: memFree=29686644/32872528 swapFree=8316/8316
[pid=21053] ppid=21047 vsize=1351236 CPUtime=12.68 cores=4-7,12-15
/proc/21053/stat : 21053 (toysat) R 21047 21053 15739 0 -1 4202496 278496 0 0 0 1225 43 0 0 20 0 4 0 42230998 1383665664 279306 33554432000 4194304 16246674 140735610297808 140735610279680 12414049 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/21053/statm: 337809 279306 900 2943 0 334703 0
[pid=21053/tid=21057] ppid=21047 vsize=1351236 CPUtime=0 cores=4-7,12-15
/proc/21053/task/21057/stat : 21057 (toysat) S 21047 21053 15739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 42230998 1383665664 279306 33554432000 4194304 16246674 140735610297808 140687766957296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=21053/tid=21058] ppid=21047 vsize=1351236 CPUtime=0 cores=4-7,12-15
/proc/21053/task/21058/stat : 21058 (toysat) S 21047 21053 15739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42230998 1383665664 279306 33554432000 4194304 16246674 140735610297808 140687756467440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=21053/tid=21059] ppid=21047 vsize=1351236 CPUtime=0 cores=4-7,12-15
/proc/21053/task/21059/stat : 21059 (toysat) S 21047 21053 15739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42230998 1383665664 279306 33554432000 4194304 16246674 140735610297808 140687745993904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1351236

[startup+25.5006 s]
/proc/loadavg: 2.15 2.26 3.00 4/266 21061
/proc/meminfo: memFree=29677920/32872528 swapFree=8316/8316
[pid=21053] ppid=21047 vsize=1361476 CPUtime=25.48 cores=4-7,12-15
/proc/21053/stat : 21053 (toysat) R 21047 21053 15739 0 -1 4202496 280918 0 0 0 2505 43 0 0 20 0 4 0 42230998 1394151424 281728 33554432000 4194304 16246674 140735610297808 140735610279680 12414079 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/21053/statm: 340369 281728 900 2943 0 337263 0
[pid=21053/tid=21057] ppid=21047 vsize=1361476 CPUtime=0 cores=4-7,12-15
/proc/21053/task/21057/stat : 21057 (toysat) S 21047 21053 15739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 42230998 1394151424 281728 33554432000 4194304 16246674 140735610297808 140687766957296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=21053/tid=21058] ppid=21047 vsize=1361476 CPUtime=0 cores=4-7,12-15
/proc/21053/task/21058/stat : 21058 (toysat) S 21047 21053 15739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42230998 1394151424 281728 33554432000 4194304 16246674 140735610297808 140687756467440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=21053/tid=21059] ppid=21047 vsize=1361476 CPUtime=0 cores=4-7,12-15
/proc/21053/task/21059/stat : 21059 (toysat) S 21047 21053 15739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42230998 1394151424 281728 33554432000 4194304 16246674 140735610297808 140687745993904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1361476

[startup+51.1006 s]
/proc/loadavg: 2.10 2.23 2.97 4/265 21061
/proc/meminfo: memFree=29282920/32872528 swapFree=8316/8316
[pid=21053] ppid=21047 vsize=1754692 CPUtime=51.08 cores=4-7,12-15
/proc/21053/stat : 21053 (toysat) R 21047 21053 15739 0 -1 4202496 379360 0 0 0 5052 56 0 0 20 0 4 0 42230998 1796804608 380170 33554432000 4194304 16246674 140735610297808 140735610279680 12413997 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/21053/statm: 438673 380170 900 2943 0 435567 0
[pid=21053/tid=21057] ppid=21047 vsize=1754692 CPUtime=0 cores=4-7,12-15
/proc/21053/task/21057/stat : 21057 (toysat) S 21047 21053 15739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 42230998 1796804608 380170 33554432000 4194304 16246674 140735610297808 140687766957296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=21053/tid=21058] ppid=21047 vsize=1754692 CPUtime=0 cores=4-7,12-15
/proc/21053/task/21058/stat : 21058 (toysat) S 21047 21053 15739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42230998 1796804608 380170 33554432000 4194304 16246674 140735610297808 140687756467440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=21053/tid=21059] ppid=21047 vsize=1754692 CPUtime=0 cores=4-7,12-15
/proc/21053/task/21059/stat : 21059 (toysat) S 21047 21053 15739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42230998 1796804608 380170 33554432000 4194304 16246674 140735610297808 140687745993904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1754692

[startup+102.301 s]
/proc/loadavg: 2.04 2.20 2.92 4/265 21062
/proc/meminfo: memFree=28398180/32872528 swapFree=8316/8316
[pid=21053] ppid=21047 vsize=1754692 CPUtime=102.28 cores=4-7,12-15
/proc/21053/stat : 21053 (toysat) R 21047 21053 15739 0 -1 4202496 379378 0 0 0 10172 56 0 0 20 0 4 0 42230998 1796804608 380186 33554432000 4194304 16246674 140735610297808 140735610279680 4220897 0 2 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/21053/statm: 438673 380186 916 2943 0 435567 0
[pid=21053/tid=21057] ppid=21047 vsize=1754692 CPUtime=0 cores=4-7,12-15
/proc/21053/task/21057/stat : 21057 (toysat) S 21047 21053 15739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 42230998 1796804608 380186 33554432000 4194304 16246674 140735610297808 140687766957296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=21053/tid=21058] ppid=21047 vsize=1754692 CPUtime=0 cores=4-7,12-15
/proc/21053/task/21058/stat : 21058 (toysat) S 21047 21053 15739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42230998 1796804608 380186 33554432000 4194304 16246674 140735610297808 140687756467440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=21053/tid=21059] ppid=21047 vsize=1754692 CPUtime=0 cores=4-7,12-15
/proc/21053/task/21059/stat : 21059 (toysat) S 21047 21053 15739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42230998 1796804608 380186 33554432000 4194304 16246674 140735610297808 140687745993904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1754692


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

/proc/21053/task/21059/stat : 21059 (toysat) S 21047 21053 15739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42230998 1856573440 394778 33554432000 4194304 16246674 140735610297808 140687745993904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 1813060

[startup+1302.3 s]
/proc/loadavg: 2.02 2.02 2.25 4/265 21115
/proc/meminfo: memFree=17563096/32872528 swapFree=8316/8316
[pid=21053] ppid=21047 vsize=1813060 CPUtime=1302.07 cores=4-7,12-15
/proc/21053/stat : 21053 (toysat) R 21047 21053 15739 0 -1 4202496 393993 0 0 0 130143 64 0 0 20 0 4 0 42230998 1856573440 394778 33554432000 4194304 16246674 140735610297808 140735610295616 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21053/statm: 453265 394778 916 2943 0 450159 0
[pid=21053/tid=21057] ppid=21047 vsize=1813060 CPUtime=0 cores=4-7,12-15
/proc/21053/task/21057/stat : 21057 (toysat) S 21047 21053 15739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 42230998 1856573440 394778 33554432000 4194304 16246674 140735610297808 140687766957296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=21053/tid=21058] ppid=21047 vsize=1813060 CPUtime=0 cores=4-7,12-15
/proc/21053/task/21058/stat : 21058 (toysat) S 21047 21053 15739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42230998 1856573440 394778 33554432000 4194304 16246674 140735610297808 140687756467440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=21053/tid=21059] ppid=21047 vsize=1813060 CPUtime=0 cores=4-7,12-15
/proc/21053/task/21059/stat : 21059 (toysat) S 21047 21053 15739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42230998 1856573440 394778 33554432000 4194304 16246674 140735610297808 140687745993904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 1813060

[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.23 4/265 21117
/proc/meminfo: memFree=17612248/32872528 swapFree=8316/8316
[pid=21053] ppid=21047 vsize=1763908 CPUtime=1362.06 cores=4-7,12-15
/proc/21053/stat : 21053 (toysat) R 21047 21053 15739 0 -1 4202496 393993 0 0 0 136142 64 0 0 20 0 4 0 42230998 1806241792 382490 33554432000 4194304 16246674 140735610297808 140735610279680 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21053/statm: 440977 382490 916 2943 0 437871 0
[pid=21053/tid=21057] ppid=21047 vsize=1763908 CPUtime=0 cores=4-7,12-15
/proc/21053/task/21057/stat : 21057 (toysat) S 21047 21053 15739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 42230998 1806241792 382490 33554432000 4194304 16246674 140735610297808 140687766957296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=21053/tid=21058] ppid=21047 vsize=1763908 CPUtime=0 cores=4-7,12-15
/proc/21053/task/21058/stat : 21058 (toysat) S 21047 21053 15739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42230998 1806241792 382490 33554432000 4194304 16246674 140735610297808 140687756467440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=21053/tid=21059] ppid=21047 vsize=1763908 CPUtime=0 cores=4-7,12-15
/proc/21053/task/21059/stat : 21059 (toysat) S 21047 21053 15739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42230998 1806241792 382490 33554432000 4194304 16246674 140735610297808 140687745993904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 1763908

[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.21 4/265 21118
/proc/meminfo: memFree=17612128/32872528 swapFree=8316/8316
[pid=21053] ppid=21047 vsize=1763908 CPUtime=1422.05 cores=4-7,12-15
/proc/21053/stat : 21053 (toysat) R 21047 21053 15739 0 -1 4202496 393993 0 0 0 142141 64 0 0 20 0 4 0 42230998 1806241792 382490 33554432000 4194304 16246674 140735610297808 140735610279680 6955204 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21053/statm: 440977 382490 916 2943 0 437871 0
[pid=21053/tid=21057] ppid=21047 vsize=1763908 CPUtime=0 cores=4-7,12-15
/proc/21053/task/21057/stat : 21057 (toysat) S 21047 21053 15739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 42230998 1806241792 382490 33554432000 4194304 16246674 140735610297808 140687766957296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=21053/tid=21058] ppid=21047 vsize=1763908 CPUtime=0 cores=4-7,12-15
/proc/21053/task/21058/stat : 21058 (toysat) S 21047 21053 15739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42230998 1806241792 382490 33554432000 4194304 16246674 140735610297808 140687756467440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=21053/tid=21059] ppid=21047 vsize=1763908 CPUtime=0 cores=4-7,12-15
/proc/21053/task/21059/stat : 21059 (toysat) S 21047 21053 15739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42230998 1806241792 382490 33554432000 4194304 16246674 140735610297808 140687745993904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 1763908

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.19 4/265 21119
/proc/meminfo: memFree=17612260/32872528 swapFree=8316/8316
[pid=21053] ppid=21047 vsize=1763908 CPUtime=1482.03 cores=4-7,12-15
/proc/21053/stat : 21053 (toysat) R 21047 21053 15739 0 -1 4202496 393993 0 0 0 148139 64 0 0 20 0 4 0 42230998 1806241792 382490 33554432000 4194304 16246674 140735610297808 140735610279680 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21053/statm: 440977 382490 916 2943 0 437871 0
[pid=21053/tid=21057] ppid=21047 vsize=1763908 CPUtime=0 cores=4-7,12-15
/proc/21053/task/21057/stat : 21057 (toysat) S 21047 21053 15739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 42230998 1806241792 382490 33554432000 4194304 16246674 140735610297808 140687766957296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=21053/tid=21058] ppid=21047 vsize=1763908 CPUtime=0 cores=4-7,12-15
/proc/21053/task/21058/stat : 21058 (toysat) S 21047 21053 15739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42230998 1806241792 382490 33554432000 4194304 16246674 140735610297808 140687756467440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=21053/tid=21059] ppid=21047 vsize=1763908 CPUtime=0 cores=4-7,12-15
/proc/21053/task/21059/stat : 21059 (toysat) S 21047 21053 15739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42230998 1806241792 382490 33554432000 4194304 16246674 140735610297808 140687745993904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 1763908

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.18 4/265 21120
/proc/meminfo: memFree=17612148/32872528 swapFree=8316/8316
[pid=21053] ppid=21047 vsize=1763908 CPUtime=1542.03 cores=4-7,12-15
/proc/21053/stat : 21053 (toysat) R 21047 21053 15739 0 -1 4202496 393993 0 0 0 154139 64 0 0 20 0 4 0 42230998 1806241792 382490 33554432000 4194304 16246674 140735610297808 140735610279680 12414096 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21053/statm: 440977 382490 916 2943 0 437871 0
[pid=21053/tid=21057] ppid=21047 vsize=1763908 CPUtime=0 cores=4-7,12-15
/proc/21053/task/21057/stat : 21057 (toysat) S 21047 21053 15739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 42230998 1806241792 382490 33554432000 4194304 16246674 140735610297808 140687766957296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=21053/tid=21058] ppid=21047 vsize=1763908 CPUtime=0 cores=4-7,12-15
/proc/21053/task/21058/stat : 21058 (toysat) S 21047 21053 15739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42230998 1806241792 382490 33554432000 4194304 16246674 140735610297808 140687756467440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=21053/tid=21059] ppid=21047 vsize=1763908 CPUtime=0 cores=4-7,12-15
/proc/21053/task/21059/stat : 21059 (toysat) S 21047 21053 15739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42230998 1806241792 382490 33554432000 4194304 16246674 140735610297808 140687745993904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 1763908

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.16 4/265 21121
/proc/meminfo: memFree=17549984/32872528 swapFree=8316/8316
[pid=21053] ppid=21047 vsize=1826372 CPUtime=1602.02 cores=4-7,12-15
/proc/21053/stat : 21053 (toysat) R 21047 21053 15739 0 -1 4202496 409609 0 0 0 160135 67 0 0 20 0 4 0 42230998 1870204928 398106 33554432000 4194304 16246674 140735610297808 140735610279680 6955204 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21053/statm: 456593 398106 916 2943 0 453487 0
[pid=21053/tid=21057] ppid=21047 vsize=1826372 CPUtime=0 cores=4-7,12-15
/proc/21053/task/21057/stat : 21057 (toysat) S 21047 21053 15739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 42230998 1870204928 398106 33554432000 4194304 16246674 140735610297808 140687766957296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=21053/tid=21058] ppid=21047 vsize=1826372 CPUtime=0 cores=4-7,12-15
/proc/21053/task/21058/stat : 21058 (toysat) S 21047 21053 15739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42230998 1870204928 398106 33554432000 4194304 16246674 140735610297808 140687756467440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=21053/tid=21059] ppid=21047 vsize=1826372 CPUtime=0 cores=4-7,12-15
/proc/21053/task/21059/stat : 21059 (toysat) S 21047 21053 15739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42230998 1870204928 398106 33554432000 4194304 16246674 140735610297808 140687745993904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 1826372

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.15 4/265 21123
/proc/meminfo: memFree=17550256/32872528 swapFree=8316/8316
[pid=21053] ppid=21047 vsize=1826372 CPUtime=1662.01 cores=4-7,12-15
/proc/21053/stat : 21053 (toysat) R 21047 21053 15739 0 -1 4202496 409609 0 0 0 166134 67 0 0 20 0 4 0 42230998 1870204928 398106 33554432000 4194304 16246674 140735610297808 140735610279680 12449269 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21053/statm: 456593 398106 916 2943 0 453487 0
[pid=21053/tid=21057] ppid=21047 vsize=1826372 CPUtime=0 cores=4-7,12-15
/proc/21053/task/21057/stat : 21057 (toysat) S 21047 21053 15739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 42230998 1870204928 398106 33554432000 4194304 16246674 140735610297808 140687766957296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=21053/tid=21058] ppid=21047 vsize=1826372 CPUtime=0 cores=4-7,12-15
/proc/21053/task/21058/stat : 21058 (toysat) S 21047 21053 15739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42230998 1870204928 398106 33554432000 4194304 16246674 140735610297808 140687756467440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=21053/tid=21059] ppid=21047 vsize=1826372 CPUtime=0 cores=4-7,12-15
/proc/21053/task/21059/stat : 21059 (toysat) S 21047 21053 15739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42230998 1870204928 398106 33554432000 4194304 16246674 140735610297808 140687745993904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 1826372

[startup+1722.3 s]
/proc/loadavg: 2.07 2.03 2.15 4/265 21124
/proc/meminfo: memFree=17550012/32872528 swapFree=8316/8316
[pid=21053] ppid=21047 vsize=1826372 CPUtime=1722 cores=4-7,12-15
/proc/21053/stat : 21053 (toysat) R 21047 21053 15739 0 -1 4202496 409609 0 0 0 172133 67 0 0 20 0 4 0 42230998 1870204928 398106 33554432000 4194304 16246674 140735610297808 140735610279680 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21053/statm: 456593 398106 916 2943 0 453487 0
[pid=21053/tid=21057] ppid=21047 vsize=1826372 CPUtime=0 cores=4-7,12-15
/proc/21053/task/21057/stat : 21057 (toysat) S 21047 21053 15739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 42230998 1870204928 398106 33554432000 4194304 16246674 140735610297808 140687766957296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=21053/tid=21058] ppid=21047 vsize=1826372 CPUtime=0 cores=4-7,12-15
/proc/21053/task/21058/stat : 21058 (toysat) S 21047 21053 15739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42230998 1870204928 398106 33554432000 4194304 16246674 140735610297808 140687756467440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=21053/tid=21059] ppid=21047 vsize=1826372 CPUtime=0 cores=4-7,12-15
/proc/21053/task/21059/stat : 21059 (toysat) S 21047 21053 15739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42230998 1870204928 398106 33554432000 4194304 16246674 140735610297808 140687745993904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 1826372

[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.14 4/266 21128
/proc/meminfo: memFree=17337572/32872528 swapFree=8316/8316
[pid=21053] ppid=21047 vsize=1826372 CPUtime=1781.99 cores=4-7,12-15
/proc/21053/stat : 21053 (toysat) R 21047 21053 15739 0 -1 4202496 409609 0 0 0 178132 67 0 0 20 0 4 0 42230998 1870204928 398106 33554432000 4194304 16246674 140735610297808 140735610279680 6955336 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21053/statm: 456593 398106 916 2943 0 453487 0
[pid=21053/tid=21057] ppid=21047 vsize=1826372 CPUtime=0 cores=4-7,12-15
/proc/21053/task/21057/stat : 21057 (toysat) S 21047 21053 15739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 42230998 1870204928 398106 33554432000 4194304 16246674 140735610297808 140687766957296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=21053/tid=21058] ppid=21047 vsize=1826372 CPUtime=0 cores=4-7,12-15
/proc/21053/task/21058/stat : 21058 (toysat) S 21047 21053 15739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42230998 1870204928 398106 33554432000 4194304 16246674 140735610297808 140687756467440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=21053/tid=21059] ppid=21047 vsize=1826372 CPUtime=0 cores=4-7,12-15
/proc/21053/task/21059/stat : 21059 (toysat) S 21047 21053 15739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42230998 1870204928 398106 33554432000 4194304 16246674 140735610297808 140687745993904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 1826372



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.02 2.02 2.14 4/265 21128
/proc/meminfo: memFree=17337548/32872528 swapFree=8316/8316
[pid=21053] ppid=21047 vsize=1826372 CPUtime=1800.08 cores=4-7,12-15
/proc/21053/stat : 21053 (toysat) R 21047 21053 15739 0 -1 4202496 409609 0 0 0 179941 67 0 0 20 0 4 0 42230998 1870204928 398106 33554432000 4194304 16246674 140735610297808 140735610279680 6955142 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21053/statm: 456593 398106 916 2943 0 453487 0
[pid=21053/tid=21057] ppid=21047 vsize=1826372 CPUtime=0 cores=4-7,12-15
/proc/21053/task/21057/stat : 21057 (toysat) S 21047 21053 15739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 42230998 1870204928 398106 33554432000 4194304 16246674 140735610297808 140687766957296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=21053/tid=21058] ppid=21047 vsize=1826372 CPUtime=0 cores=4-7,12-15
/proc/21053/task/21058/stat : 21058 (toysat) S 21047 21053 15739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42230998 1870204928 398106 33554432000 4194304 16246674 140735610297808 140687756467440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=21053/tid=21059] ppid=21047 vsize=1826372 CPUtime=0 cores=4-7,12-15
/proc/21053/task/21059/stat : 21059 (toysat) S 21047 21053 15739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42230998 1870204928 398106 33554432000 4194304 16246674 140735610297808 140687745993904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1826372

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 21053 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.09
CPU user time (s): 1799.42
CPU system time (s): 0.671897
CPU usage (%): 99.9821
Max. virtual memory (cumulated for all children) (KiB): 1826372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.42
system time used= 0.671897
maximum resident set size= 1592424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 409609
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= 653
involuntary context switches= 2425

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.93364 second user time and 13.032 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-20 07:51:04
IDJOB=4111276
IDBENCH=109072
IDSOLVER=2542
FILE ID=node132/4111276-1466401863
RUNJOBID= node132-1466401863-21025
PBS_JOBID= 19923261
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-B-3-combined-abcdeir.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4111276-1466401863/watcher-4111276-1466401863 -o /tmp/evaluation-result-4111276-1466401863/solver-4111276-1466401863 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1466401863-21025 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4111276-1466401863.opb

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

MD5SUM BENCH= cc25c00be38bef4aca4467a3976eba5e
RANDOM SEED=1446273788

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

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        31917836 kB
Buffers:           62100 kB
Cached:           139428 kB
SwapCached:          768 kB
Active:           109016 kB
Inactive:          96204 kB
Active(anon):       4856 kB
Inactive(anon):     1180 kB
Active(file):     104160 kB
Inactive(file):    95024 kB
Unevictable:        8316 kB
Mlocked:            8316 kB
SwapTotal:      67108856 kB
SwapFree:       67100204 kB
Dirty:             56912 kB
Writeback:             0 kB
AnonPages:         13108 kB
Mapped:             7348 kB
Shmem:                 0 kB
Slab:             605384 kB
SReclaimable:      45324 kB
SUnreclaim:       560060 kB
KernelStack:        2216 kB
PageTables:         3736 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     103636 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 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= 71680 MiB
End job on node132 at 2016-06-20 08:21:05