Trace number 4104021

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? (MO) 142.72 142.751

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-pp08aCUTS.opb
MD5SUMc346de7e1ba29a95ee9f392619231545
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark24854395555
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4600
Total number of constraints310
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints310
Minimum length of a constraint17
Maximum length of a constraint147
Number of terms in the objective function 3424
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 180407058264
Number of bits of the sum of numbers in the objective function 38
Biggest number in a constraint 1073741824
Number of bits of the biggest number in a constraint 31
Biggest sum of numbers in a constraint 180407058264
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-18T11:24:16+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-4104021-1466241856.opb"]
0.00/0.01	c use --random-gen="2307297382 3261592271 2598654169 1221352185 1646661156 2380071172 3596697614 37593564 1751371871 1636225276 3014354014 1828514849 452702292 2934414565 3790798789 538948091 3396207390 2670138034 1191208562 837906976 3295523921 2217079167 3369902361 898667046 3608343291 2959970925 2184641484 2946693728 1526030193 3521711397 602466829 2885702607 3323052491 607905307 1371289043 1670746711 3277524039 133442141 4038698997 763443000 3054089265 4199013845 207223827 3662464308 1017582273 929419287 436187132 1210301437 2946936946 614499947 1688538357 3224816223 3889742321 3644474064 4076365122 3476560532 2148046432 2935696796 3302034014 3410087470 4022979705 2414702014 3204070027 780526542 1850234881 2007321092 3682246025 3331075730 3971559446 2058219292 1697074981 3228510555 851374468 2502183903 3773318397 20714886 142345239 2520575326 3073858661 3478139731 3788562846 1342219905 1864181566 343482383 1240914299 1773291419 1815904234 3313647203 3778386832 2919370284 236180537 1419053809 1743533864 2301924615 527069618 1860536816 1090326099 2143160903 1260269093 3552613986 3386389870 2195014478 495611681 3256356003 3035477947 2836947197 942549209 388230475 2392815800 3444308596 1377762370 3691920276 4059303522 2007914329 2040372405 3557645296 1363079095 2236278217 3583742005 299596951 1638701132 3857747657 3820835567 2423792841 2913109949 2039453619 673131306 1537430372 4193326147 3552779539 2789668512 1269335987 3951749480 3203003844 2975307070 2841459461 4025593859 1497895424 717581196 2342598961 1740368115 3679218342 2735196384 3156210964 4117821138 1966198806 1495777974 2509643678 3711276371 1543122580 3305886896 1501760904 3978305101 2369963331 1348451274 3798363549 3697052905 1728988324 3245200791 4828572 2616156522 4167530710 3539811484 615636327 1952901631 220867131 307218002 1307862604 607865993 2391028573 3155682479 2294247726 1310981949 3231817228 2108177726 2062088210 98777266 1862866504 1629522892 783332227 4027114812 2023203203 663941846 4000954392 1966687243 3445955031 218571012 1462384019 3320313983 3226109450 3484664448 2417257183 4278417812 740884426 2092633118 1583986543 523125215 4176039069 2481829368 1131242425 783361953 1156572059 576207263 3212365132 2796370826 782976187 4275508765 2883476767 716101437 2479920222 959014068 49686408 2737686844 1228966995 3760734737 2662653457 2293048726 4288614167 1874220884 3915128781 1429618274 3202729170 2663584289 3167131435 1293627652 1171326945 1451917838 2069176514 4275996980 516751912 3617715583 2870750281 3727396940 1307641683 3228277074 425320247 221779918 3285554642 2893094647 1400462003 958583220 2074840260 245349236 2032697865 1842200571 1032979997 1765731284 2147128153 3537009911 2593037093 689920390 1409018495 3060605243 1103581434 3946272171 1739329130 255 362436" option to reproduce the execution
0.00/0.05	c #vars 4600
0.00/0.05	c #constraints 310
2.09/2.18	c BCD2: Hardening is enabled.
2.09/2.18	c BCD2: BiasedSearch is enabled.
2.09/2.18	c Solving starts ...
2.09/2.18	c ============================[ Search Statistics ]============================
2.09/2.18	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.09/2.18	c       |         |          |          |    Limit     GC | Var      | Constra 
2.09/2.18	c =============================================================================
2.09/2.18	c  0.0s |       0 |        0 |        0 |     1658      0 |        0 |        0
2.20/2.24	c  0.1s |       0 |     2621 |       57 |     1658      0 |        0 |        0
2.20/2.24	c #cpu_time = 0.057s
2.20/2.24	c #wall_clock_time = 0.057s
2.20/2.24	c #decision = 2621
2.20/2.24	c #random_decision = 11
2.20/2.24	c #conflict = 57
2.20/2.24	c #restart = 0
2.20/2.24	o 180406820782
2.20/2.25	c BCD2: updating upper bound: 180407058264 -> 180406820781
2.20/2.28	c BCD2: 0 <= obj <= 180406820781
2.20/2.28	c BCD2: #cores=0, #unrelaxed=3424, #relaxed=0, #hardened=0
2.20/2.28	c BCD2: #sat=1 #unsat=1 bias=1/2
2.20/2.28	c Solving starts ...
2.20/2.28	c ============================[ Search Statistics ]============================
2.20/2.28	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.20/2.28	c       |         |          |          |    Limit     GC | Var      | Constra 
2.20/2.28	c =============================================================================
2.20/2.28	c  0.0s |       0 |        0 |        0 |     1658      0 |        0 |        0
2.20/2.30	c  0.0s |       0 |     2064 |        0 |     1658      0 |        0 |        0
2.20/2.30	c #cpu_time = 0.017s
2.20/2.30	c #wall_clock_time = 0.017s
2.20/2.30	c #decision = 2064
2.20/2.30	c #random_decision = 0
2.20/2.30	c #conflict = 0
2.20/2.30	c #restart = 0
2.20/2.30	c BCD2: found a new core of size 17: cost of the new core is >=16384
2.20/2.30	c lower bound updated to 16384
2.30/2.31	c BCD2: 16384 <= obj <= 180406820781
2.30/2.31	c BCD2: #cores=1, #unrelaxed=3407, #relaxed=17, #hardened=0
2.30/2.31	c BCD2: #sat=1 #unsat=2 bias=2/3
2.30/2.36	c Solving starts ...
2.30/2.36	c ============================[ Search Statistics ]============================
2.30/2.36	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.30/2.36	c       |         |          |          |    Limit     GC | Var      | Constra 
2.30/2.36	c =============================================================================
2.30/2.36	c  0.0s |       0 |        0 |        0 |     1658      0 |        0 |        0
2.30/2.38	c  0.0s |       0 |     2074 |        0 |     1658      0 |        0 |        0
2.30/2.38	c #cpu_time = 0.018s
2.30/2.38	c #wall_clock_time = 0.018s
2.30/2.38	c #decision = 2074
2.30/2.38	c #random_decision = 0
2.30/2.38	c #conflict = 0
2.30/2.38	c #restart = 0
2.30/2.38	c BCD2: found a new core of size 16: cost of the new core is >=32768
2.30/2.38	c lower bound updated to 49152
2.30/2.40	c BCD2: 49152 <= obj <= 180406820781
2.30/2.40	c BCD2: #cores=2, #unrelaxed=3391, #relaxed=33, #hardened=0
2.30/2.40	c BCD2: #sat=1 #unsat=3 bias=3/4
2.39/2.42	c Solving starts ...
2.39/2.42	c ============================[ Search Statistics ]============================
2.39/2.42	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.39/2.42	c       |         |          |          |    Limit     GC | Var      | Constra 
2.39/2.42	c =============================================================================
2.39/2.42	c  0.0s |       0 |        0 |        0 |     1658      0 |        0 |        0
2.39/2.44	c  0.0s |       0 |     2084 |        0 |     1658      0 |        0 |        0
2.39/2.44	c #cpu_time = 0.019s
2.39/2.44	c #wall_clock_time = 0.019s
2.39/2.44	c #decision = 2084
2.39/2.44	c #random_decision = 0
2.39/2.44	c #conflict = 0
2.39/2.44	c #restart = 0
2.39/2.44	c BCD2: found a new core of size 19: cost of the new core is >=16384
2.39/2.44	c lower bound updated to 65536
2.39/2.45	c BCD2: 65536 <= obj <= 180406820781
2.39/2.45	c BCD2: #cores=3, #unrelaxed=3372, #relaxed=52, #hardened=0
2.39/2.45	c BCD2: #sat=1 #unsat=4 bias=4/5
2.39/2.49	c Solving starts ...
2.39/2.49	c ============================[ Search Statistics ]============================
2.39/2.49	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.39/2.49	c       |         |          |          |    Limit     GC | Var      | Constra 
2.39/2.49	c =============================================================================
2.39/2.49	c  0.0s |       0 |        0 |        0 |     1658      0 |        0 |        0
2.49/2.51	c  0.0s |       0 |     2083 |        0 |     1658      0 |        0 |        0
2.49/2.51	c #cpu_time = 0.019s
2.49/2.51	c #wall_clock_time = 0.019s
2.49/2.51	c #decision = 2083
2.49/2.51	c #random_decision = 0
2.49/2.51	c #conflict = 0
2.49/2.51	c #restart = 0
2.49/2.51	c BCD2: found a new core of size 106: cost of the new core is >=8192
2.49/2.51	c lower bound updated to 73728
2.49/2.52	c BCD2: 73728 <= obj <= 180406820781
2.49/2.52	c BCD2: #cores=4, #unrelaxed=3266, #relaxed=158, #hardened=0
2.49/2.52	c BCD2: #sat=1 #unsat=5 bias=5/6
8.59/8.69	c Solving starts ...
8.59/8.69	c ============================[ Search Statistics ]============================
8.59/8.69	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
8.59/8.69	c       |         |          |          |    Limit     GC | Var      | Constra 
8.59/8.69	c =============================================================================
8.59/8.69	c  0.0s |       0 |        0 |        0 |     1658      0 |        0 |        0
8.69/8.71	c  0.0s |       0 |     2063 |        0 |     1658      0 |        0 |        0
8.69/8.71	c #cpu_time = 0.018s
8.69/8.71	c #wall_clock_time = 0.018s
8.69/8.71	c #decision = 2063
8.69/8.71	c #random_decision = 0
8.69/8.71	c #conflict = 0
8.69/8.71	c #restart = 0
8.69/8.71	c BCD2: found a new core of size 68: cost of the new core is >=16384
8.69/8.71	c lower bound updated to 90112
8.69/8.72	c BCD2: 90112 <= obj <= 180406820781
8.69/8.72	c BCD2: #cores=5, #unrelaxed=3198, #relaxed=226, #hardened=0
8.69/8.72	c BCD2: #sat=1 #unsat=6 bias=6/7
13.79/13.83	c Solving starts ...
13.79/13.83	c ============================[ Search Statistics ]============================
13.79/13.83	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
13.79/13.83	c       |         |          |          |    Limit     GC | Var      | Constra 
13.79/13.83	c =============================================================================
13.79/13.83	c  0.0s |       0 |        0 |        0 |     1658      0 |        0 |        0
13.79/13.85	c  0.0s |       0 |     2017 |        0 |     1658      0 |        0 |        0
13.79/13.85	c #cpu_time = 0.017s
13.79/13.85	c #wall_clock_time = 0.017s
13.79/13.85	c #decision = 2017
13.79/13.85	c #random_decision = 0
13.79/13.85	c #conflict = 0
13.79/13.85	c #restart = 0
13.79/13.85	c BCD2: found a new core of size 20: cost of the new core is >=8192
13.79/13.85	c lower bound updated to 98304
13.79/13.86	c BCD2: 98304 <= obj <= 180406820781
13.79/13.86	c BCD2: #cores=6, #unrelaxed=3178, #relaxed=246, #hardened=0
13.79/13.86	c BCD2: #sat=1 #unsat=7 bias=7/8
18.39/18.50	c Solving starts ...
18.39/18.50	c ============================[ Search Statistics ]============================
18.39/18.50	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
18.39/18.50	c       |         |          |          |    Limit     GC | Var      | Constra 
18.39/18.50	c =============================================================================
18.39/18.50	c  0.0s |       0 |        0 |        0 |     1658      0 |        0 |        0
18.49/18.52	c  0.0s |       0 |     2016 |        0 |     1658      0 |        0 |        0
18.49/18.52	c #cpu_time = 0.018s
18.49/18.52	c #wall_clock_time = 0.018s
18.49/18.52	c #decision = 2016
18.49/18.52	c #random_decision = 0
18.49/18.52	c #conflict = 0
18.49/18.52	c #restart = 0
18.49/18.52	c BCD2: found a new core of size 138: cost of the new core is >=2
18.49/18.52	c lower bound updated to 98306
18.49/18.53	c BCD2: 98306 <= obj <= 180406820781
18.49/18.53	c BCD2: #cores=7, #unrelaxed=3040, #relaxed=384, #hardened=0
18.49/18.53	c BCD2: #sat=1 #unsat=8 bias=8/9

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

pid=22278
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.00 2.00 2.00 3/179 22281
/proc/meminfo: memFree=29770564/32872528 swapFree=163656/177964
[pid=22281] ppid=22278 vsize=672324 CPUtime=0 cores=1,3,5,7
/proc/22281/stat : 22281 (toysat) R 22278 22281 20760 0 -1 4202496 2500 0 0 0 0 0 0 0 20 0 4 0 26235502 688459776 3371 33554432000 4194304 16246674 140735731962352 140735731961776 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22281/statm: 168849 3381 442 2943 0 165743 0
[pid=22281/tid=22282] ppid=22278 vsize=691780 CPUtime=0 cores=1,3,5,7
/proc/22281/task/22282/stat : 22282 (toysat) S 22278 22281 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26235502 708382720 3444 33554432000 4194304 16246674 140735731962352 139727852252400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22281/tid=22283] ppid=22278 vsize=695876 CPUtime=0 cores=1,3,5,7
/proc/22281/task/22283/stat : 22283 (toysat) S 22278 22281 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26235502 712577024 3462 33554432000 4194304 16246674 140735731962352 139727768366320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22281/tid=22284] ppid=22278 vsize=699972 CPUtime=0 cores=1,3,5,7
/proc/22281/task/22284/stat : 22284 (toysat) S 22278 22281 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26235502 716771328 3478 33554432000 4194304 16246674 140735731962352 139727757892784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100134 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22281
/proc/meminfo: memFree=29770564/32872528 swapFree=163656/177964
[pid=22281] ppid=22278 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/22281/stat : 22281 (toysat) R 22278 22281 20760 0 -1 4202496 30069 0 0 0 5 4 0 0 20 0 4 0 26235502 1249447936 30879 33554432000 4194304 16246674 140735731962352 140735731961664 12414100 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22281/statm: 305041 30895 835 2943 0 301935 0
[pid=22281/tid=22282] ppid=22278 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/22281/task/22282/stat : 22282 (toysat) S 22278 22281 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26235502 1249447936 30906 33554432000 4194304 16246674 140735731962352 139727852252400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22281/tid=22283] ppid=22278 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/22281/task/22283/stat : 22283 (toysat) S 22278 22281 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26235502 1249447936 30917 33554432000 4194304 16246674 140735731962352 139727768366320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22281/tid=22284] ppid=22278 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/22281/task/22284/stat : 22284 (toysat) S 22278 22281 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26235502 1249447936 30928 33554432000 4194304 16246674 140735731962352 139727757892784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200553 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22281
/proc/meminfo: memFree=29770564/32872528 swapFree=163656/177964
[pid=22281] ppid=22278 vsize=1220164 CPUtime=0.19 cores=1,3,5,7
/proc/22281/stat : 22281 (toysat) R 22278 22281 20760 0 -1 4202496 61621 0 0 0 11 8 0 0 20 0 4 0 26235502 1249447936 62430 33554432000 4194304 16246674 140735731962352 140735731961664 12657222 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22281/statm: 305041 62443 835 2943 0 301935 0
[pid=22281/tid=22282] ppid=22278 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/22281/task/22282/stat : 22282 (toysat) S 22278 22281 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26235502 1249447936 62453 33554432000 4194304 16246674 140735731962352 139727852252400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22281/tid=22283] ppid=22278 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/22281/task/22283/stat : 22283 (toysat) S 22278 22281 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26235502 1249447936 62463 33554432000 4194304 16246674 140735731962352 139727768366320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22281/tid=22284] ppid=22278 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/22281/task/22284/stat : 22284 (toysat) S 22278 22281 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26235502 1249447936 62473 33554432000 4194304 16246674 140735731962352 139727757892784 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) 1220164

[startup+0.300502 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22281
/proc/meminfo: memFree=29770564/32872528 swapFree=163656/177964
[pid=22281] ppid=22278 vsize=1220164 CPUtime=0.29 cores=1,3,5,7
/proc/22281/stat : 22281 (toysat) R 22278 22281 20760 0 -1 4202496 93568 0 0 0 16 13 0 0 20 0 4 0 26235502 1249447936 94378 33554432000 4194304 16246674 140735731962352 140735731961664 12653060 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22281/statm: 305041 94392 836 2943 0 301935 0
[pid=22281/tid=22282] ppid=22278 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/22281/task/22282/stat : 22282 (toysat) S 22278 22281 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26235502 1249447936 94400 33554432000 4194304 16246674 140735731962352 139727852252400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22281/tid=22283] ppid=22278 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/22281/task/22283/stat : 22283 (toysat) S 22278 22281 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26235502 1249447936 94409 33554432000 4194304 16246674 140735731962352 139727768366320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22281/tid=22284] ppid=22278 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/22281/task/22284/stat : 22284 (toysat) S 22278 22281 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26235502 1249447936 94418 33554432000 4194304 16246674 140735731962352 139727757892784 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) 1220164

[startup+0.700419 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22281
/proc/meminfo: memFree=29770564/32872528 swapFree=163656/177964
[pid=22281] ppid=22278 vsize=1220164 CPUtime=0.69 cores=1,3,5,7
/proc/22281/stat : 22281 (toysat) R 22278 22281 20760 0 -1 4202496 217928 0 0 0 41 28 0 0 20 0 4 0 26235502 1249447936 218738 33554432000 4194304 16246674 140735731962352 140735731944256 12371341 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22281/statm: 305041 218758 836 2943 0 301935 0
[pid=22281/tid=22282] ppid=22278 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/22281/task/22282/stat : 22282 (toysat) S 22278 22281 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26235502 1249447936 218769 33554432000 4194304 16246674 140735731962352 139727852252400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22281/tid=22283] ppid=22278 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/22281/task/22283/stat : 22283 (toysat) S 22278 22281 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26235502 1249447936 218781 33554432000 4194304 16246674 140735731962352 139727768366320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22281/tid=22284] ppid=22278 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/22281/task/22284/stat : 22284 (toysat) S 22278 22281 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26235502 1249447936 218791 33554432000 4194304 16246674 140735731962352 139727757892784 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) 1220164

[startup+1.50043 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 22285
/proc/meminfo: memFree=28721192/32872528 swapFree=163656/177964
[pid=22281] ppid=22278 vsize=1296964 CPUtime=1.49 cores=1,3,5,7
/proc/22281/stat : 22281 (toysat) R 22278 22281 20760 0 -1 4202496 265371 0 0 0 114 35 0 0 20 0 4 0 26235502 1328091136 266180 33554432000 4194304 16246674 140735731962352 140735731961664 12654401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22281/statm: 324241 266180 836 2943 0 321135 0
[pid=22281/tid=22282] ppid=22278 vsize=1296964 CPUtime=0 cores=1,3,5,7
/proc/22281/task/22282/stat : 22282 (toysat) S 22278 22281 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26235502 1328091136 266180 33554432000 4194304 16246674 140735731962352 139727852252400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22281/tid=22283] ppid=22278 vsize=1296964 CPUtime=0 cores=1,3,5,7
/proc/22281/task/22283/stat : 22283 (toysat) S 22278 22281 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26235502 1328091136 266180 33554432000 4194304 16246674 140735731962352 139727768366320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22281/tid=22284] ppid=22278 vsize=1296964 CPUtime=0 cores=1,3,5,7
/proc/22281/task/22284/stat : 22284 (toysat) S 22278 22281 20760 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 26235502 1328091136 266180 33554432000 4194304 16246674 140735731962352 139727757892784 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) 1296964

[startup+3.10039 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 22285
/proc/meminfo: memFree=28698360/32872528 swapFree=163656/177964
[pid=22281] ppid=22278 vsize=1309252 CPUtime=3.09 cores=1,3,5,7
/proc/22281/stat : 22281 (toysat) R 22278 22281 20760 0 -1 4202496 268517 0 0 0 274 35 0 0 20 0 4 0 26235502 1340674048 269326 33554432000 4194304 16246674 140735731962352 140735731944256 12654316 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22281/statm: 327313 269326 909 2943 0 324207 0
[pid=22281/tid=22282] ppid=22278 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/22281/task/22282/stat : 22282 (toysat) S 22278 22281 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26235502 1340674048 269326 33554432000 4194304 16246674 140735731962352 139727852252400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22281/tid=22283] ppid=22278 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/22281/task/22283/stat : 22283 (toysat) S 22278 22281 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26235502 1340674048 269326 33554432000 4194304 16246674 140735731962352 139727768366320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22281/tid=22284] ppid=22278 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/22281/task/22284/stat : 22284 (toysat) S 22278 22281 20760 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 26235502 1340674048 269326 33554432000 4194304 16246674 140735731962352 139727757892784 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) 1309252

[startup+6.30044 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 22285
/proc/meminfo: memFree=28645048/32872528 swapFree=163656/177964
[pid=22281] ppid=22278 vsize=1357380 CPUtime=6.29 cores=1,3,5,7
/proc/22281/stat : 22281 (toysat) R 22278 22281 20760 0 -1 4202496 280549 0 0 0 592 37 0 0 20 0 4 0 26235502 1389957120 281358 33554432000 4194304 16246674 140735731962352 140735731944256 12414100 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22281/statm: 339345 281358 909 2943 0 336239 0
[pid=22281/tid=22282] ppid=22278 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/22281/task/22282/stat : 22282 (toysat) S 22278 22281 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26235502 1389957120 281358 33554432000 4194304 16246674 140735731962352 139727852252400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22281/tid=22283] ppid=22278 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/22281/task/22283/stat : 22283 (toysat) S 22278 22281 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26235502 1389957120 281358 33554432000 4194304 16246674 140735731962352 139727768366320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22281/tid=22284] ppid=22278 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/22281/task/22284/stat : 22284 (toysat) S 22278 22281 20760 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 26235502 1389957120 281358 33554432000 4194304 16246674 140735731962352 139727757892784 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) 1357380

[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 22285
/proc/meminfo: memFree=28633148/32872528 swapFree=163656/177964
[pid=22281] ppid=22278 vsize=1369668 CPUtime=12.69 cores=1,3,5,7
/proc/22281/stat : 22281 (toysat) R 22278 22281 20760 0 -1 4202496 283621 0 0 0 1232 37 0 0 20 0 4 0 26235502 1402540032 284430 33554432000 4194304 16246674 140735731962352 140735731944256 12429788 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22281/statm: 342417 284430 909 2943 0 339311 0
[pid=22281/tid=22282] ppid=22278 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/22281/task/22282/stat : 22282 (toysat) S 22278 22281 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26235502 1402540032 284430 33554432000 4194304 16246674 140735731962352 139727852252400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22281/tid=22283] ppid=22278 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/22281/task/22283/stat : 22283 (toysat) S 22278 22281 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26235502 1402540032 284430 33554432000 4194304 16246674 140735731962352 139727768366320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22281/tid=22284] ppid=22278 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/22281/task/22284/stat : 22284 (toysat) S 22278 22281 20760 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 26235502 1402540032 284430 33554432000 4194304 16246674 140735731962352 139727757892784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1369668

[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 22285
/proc/meminfo: memFree=27038756/32872528 swapFree=163656/177964
[pid=22281] ppid=22278 vsize=2133572 CPUtime=25.49 cores=1,3,5,7
/proc/22281/stat : 22281 (toysat) R 22278 22281 20760 0 -1 4202496 474597 0 0 0 2485 64 0 0 20 0 4 0 26235502 2184777728 475406 33554432000 4194304 16246674 140735731962352 140735731960192 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22281/statm: 533393 475406 909 2943 0 530287 0
[pid=22281/tid=22282] ppid=22278 vsize=2133572 CPUtime=0 cores=1,3,5,7
/proc/22281/task/22282/stat : 22282 (toysat) S 22278 22281 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26235502 2184777728 475406 33554432000 4194304 16246674 140735731962352 139727852252400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22281/tid=22283] ppid=22278 vsize=2133572 CPUtime=0 cores=1,3,5,7
/proc/22281/task/22283/stat : 22283 (toysat) S 22278 22281 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26235502 2184777728 475406 33554432000 4194304 16246674 140735731962352 139727768366320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22281/tid=22284] ppid=22278 vsize=2133572 CPUtime=0 cores=1,3,5,7
/proc/22281/task/22284/stat : 22284 (toysat) S 22278 22281 20760 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 26235502 2184777728 475406 33554432000 4194304 16246674 140735731962352 139727757892784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2133572

[startup+51.1005 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 22285
/proc/meminfo: memFree=22980464/32872528 swapFree=163656/177964
[pid=22281] ppid=22278 vsize=6880836 CPUtime=51.08 cores=1,3,5,7
/proc/22281/stat : 22281 (toysat) R 22278 22281 20760 0 -1 4202496 1661415 0 0 0 4884 224 0 0 20 0 4 0 26235502 7045976064 1662224 33554432000 4194304 16246674 140735731962352 140735731961448 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22281/statm: 1720209 1662224 909 2943 0 1717103 0
[pid=22281/tid=22282] ppid=22278 vsize=6880836 CPUtime=0 cores=1,3,5,7
/proc/22281/task/22282/stat : 22282 (toysat) S 22278 22281 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26235502 7045976064 1662224 33554432000 4194304 16246674 140735731962352 139727852252400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22281/tid=22283] ppid=22278 vsize=6880836 CPUtime=0 cores=1,3,5,7
/proc/22281/task/22283/stat : 22283 (toysat) S 22278 22281 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26235502 7045976064 1662224 33554432000 4194304 16246674 140735731962352 139727768366320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22281/tid=22284] ppid=22278 vsize=6880836 CPUtime=0 cores=1,3,5,7
/proc/22281/task/22284/stat : 22284 (toysat) S 22278 22281 20760 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 26235502 7045976064 1662224 33554432000 4194304 16246674 140735731962352 139727757892784 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) 6880836

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 22286
/proc/meminfo: memFree=14497524/32872528 swapFree=163656/177964
[pid=22281] ppid=22278 vsize=13944388 CPUtime=102.29 cores=1,3,5,7
/proc/22281/stat : 22281 (toysat) R 22278 22281 20760 0 -1 4202496 3427305 0 0 0 9778 451 0 0 20 0 4 0 26235502 14279053312 3428114 33554432000 4194304 16246674 140735731962352 140735731961448 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22281/statm: 3486097 3428114 909 2943 0 3482991 0
[pid=22281/tid=22282] ppid=22278 vsize=13944388 CPUtime=0 cores=1,3,5,7
/proc/22281/task/22282/stat : 22282 (toysat) S 22278 22281 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26235502 14279053312 3428114 33554432000 4194304 16246674 140735731962352 139727852252400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22281/tid=22283] ppid=22278 vsize=13944388 CPUtime=0 cores=1,3,5,7
/proc/22281/task/22283/stat : 22283 (toysat) S 22278 22281 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26235502 14279053312 3428114 33554432000 4194304 16246674 140735731962352 139727768366320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22281/tid=22284] ppid=22278 vsize=13944388 CPUtime=0 cores=1,3,5,7
/proc/22281/task/22284/stat : 22284 (toysat) S 22278 22281 20760 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 26235502 14279053312 3428114 33554432000 4194304 16246674 140735731962352 139727757892784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 13944388



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+141.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 22287
/proc/meminfo: memFree=13259068/32872528 swapFree=163656/177964
[pid=22281] ppid=22278 vsize=15904324 CPUtime=141.88 cores=1,3,5,7
/proc/22281/stat : 22281 (toysat) R 22278 22281 20760 0 -1 4202496 3917069 0 0 0 13672 516 0 0 20 0 4 0 26235502 16286027776 3917878 33554432000 4194304 16246674 140735731962352 140735731961448 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22281/statm: 3976081 3917878 913 2943 0 3972975 0
[pid=22281/tid=22282] ppid=22278 vsize=15904324 CPUtime=0 cores=1,3,5,7
/proc/22281/task/22282/stat : 22282 (toysat) S 22278 22281 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26235502 16286027776 3917886 33554432000 4194304 16246674 140735731962352 139727852252400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22281/tid=22283] ppid=22278 vsize=15904324 CPUtime=0 cores=1,3,5,7
/proc/22281/task/22283/stat : 22283 (toysat) S 22278 22281 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26235502 16286027776 3917894 33554432000 4194304 16246674 140735731962352 139727768366320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22281/tid=22284] ppid=22278 vsize=15904324 CPUtime=0 cores=1,3,5,7
/proc/22281/task/22284/stat : 22284 (toysat) S 22278 22281 20760 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 26235502 16286027776 3917901 33554432000 4194304 16246674 140735731962352 139727757892784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 141.88
Current children cumulated vsize (KiB) 15904324

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

[startup+142.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 22287
/proc/meminfo: memFree=13259068/32872528 swapFree=163656/177964
[pid=22281] ppid=22278 vsize=0 CPUtime=142.37 cores=1,3,5,7
/proc/22281/stat : 22281 (toysat) Z 22278 22281 20760 0 -1 4203532 3917850 0 0 0 13672 565 0 0 20 0 2 0 26235502 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22281/statm: 0 0 0 0 0 0 0
[pid=22281/tid=22283] ppid=22278 vsize=0 CPUtime=0.47 cores=1,3,5,7
/proc/22281/task/22283/stat : 22283 (toysat) R 22278 22281 20760 0 -1 4203588 7 0 0 0 0 47 0 0 20 0 2 0 26235502 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 142.37
Current children cumulated vsize (KiB) 0

[startup+142.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 22287
/proc/meminfo: memFree=13259068/32872528 swapFree=163656/177964
[pid=22281] ppid=22278 vsize=0 CPUtime=142.57 cores=1,3,5,7
/proc/22281/stat : 22281 (toysat) Z 22278 22281 20760 0 -1 4203532 3917850 0 0 0 13672 585 0 0 20 0 2 0 26235502 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22281/statm: 0 0 0 0 0 0 0
[pid=22281/tid=22283] ppid=22278 vsize=0 CPUtime=0.67 cores=1,3,5,7
/proc/22281/task/22283/stat : 22283 (toysat) R 22278 22281 20760 0 -1 4203588 7 0 0 0 0 67 0 0 20 0 2 0 26235502 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 142.57
Current children cumulated vsize (KiB) 0

[startup+142.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 22287
/proc/meminfo: memFree=13259068/32872528 swapFree=163656/177964
[pid=22281] ppid=22278 vsize=0 CPUtime=142.67 cores=1,3,5,7
/proc/22281/stat : 22281 (toysat) Z 22278 22281 20760 0 -1 4203532 3917850 0 0 0 13672 595 0 0 20 0 2 0 26235502 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22281/statm: 0 0 0 0 0 0 0
[pid=22281/tid=22283] ppid=22278 vsize=0 CPUtime=0.77 cores=1,3,5,7
/proc/22281/task/22283/stat : 22283 (toysat) R 22278 22281 20760 0 -1 4203588 7 0 0 0 0 77 0 0 20 0 2 0 26235502 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 142.67
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 142.751
CPU time (s): 142.72
CPU user time (s): 136.724
CPU system time (s): 5.99609
CPU usage (%): 99.9784
Max. virtual memory (cumulated for all children) (KiB): 15904324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 136.724
system time used= 5.99609
maximum resident set size= 15674636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3917850
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= 57
involuntary context switches= 148

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.365944 second user time and 0.548916 second system time

The end

Launcher Data 

Begin job on node105 at 2016-06-18 11:24:16
IDJOB=4104021
IDBENCH=2534
IDSOLVER=2542
FILE ID=node105/4104021-1466241856
RUNJOBID= node105-1466229502-20777
PBS_JOBID= 19918174
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-pp08aCUTS.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4104021-1466241856/watcher-4104021-1466241856 -o /tmp/evaluation-result-4104021-1466241856/solver-4104021-1466241856 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466229502-20777 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4104021-1466241856.opb

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

MD5SUM BENCH= c346de7e1ba29a95ee9f392619231545
RANDOM SEED=1701897860

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.561
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.561
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.561
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.54
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.561
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.561
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.561
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.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29770572 kB
Buffers:           95492 kB
Cached:           199728 kB
SwapCached:         1664 kB
Active:          1984776 kB
Inactive:         199916 kB
Active(anon):    1887584 kB
Inactive(anon):     4408 kB
Active(file):      97192 kB
Inactive(file):   195508 kB
Unevictable:      177964 kB
Mlocked:          163656 kB
SwapTotal:      67108856 kB
SwapFree:       67097160 kB
Dirty:             16700 kB
Writeback:             0 kB
AnonPages:       2066448 kB
Mapped:            10544 kB
Shmem:                 0 kB
Slab:             603644 kB
SReclaimable:      47372 kB
SUnreclaim:       556272 kB
KernelStack:        1456 kB
PageTables:         7884 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2208732 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    190464 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= 71708 MiB
End job on node105 at 2016-06-18 11:26:39