Trace number 4079367

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) 290.538 290.595

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/MH+IC/
normalized-minisat15_4_4_0_mh_ic.opb
MD5SUMb32f126aecba6bfb006545c8818dc00d
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2252617
Best CPU time to get the best result obtained on this benchmark603.74
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9765
Total number of constraints21293
Number of constraints which are clauses14520
Number of constraints which are cardinality constraints (but not clauses)23
Number of constraints which are nor clauses,nor cardinality constraints6750
Minimum length of a constraint2
Maximum length of a constraint330
Number of terms in the objective function 4005
Biggest coefficient in the objective function 68417929
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 3962242471
Number of bits of the sum of numbers in the objective function 32
Biggest number in a constraint 68417929
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 3962242471
Number of bits of the biggest sum of numbers32
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-07T20:19:37+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-4079367-1465323577.opb"]
0.00/0.01	c use --random-gen="2774440903 865836410 1820598691 3839941505 1822800733 2605650270 2927742294 570044413 2888610246 3278699959 4244045732 2606372816 3469331403 1184655975 2377182445 1015873837 2375586170 3607918201 596246671 1726326744 1053940136 511020943 1268145137 1916807592 2202032939 3810599313 1018167678 95450156 192194023 1644339457 2336635503 411053590 3126810559 1503088635 3578207166 2776665096 454662828 882594727 3787855779 2115645558 659779564 1235967930 812005366 2292785719 1451387894 508864912 3785919262 115278046 3943984753 1272627263 877923241 2092926037 2708692927 2243699189 2307423937 67776745 3125512098 3431287631 2861116121 2249024541 1491786402 268539914 259533583 953322200 2474528527 515808395 2569430429 2154636037 544572705 965015513 1372192636 1458847833 1623213219 3185266560 2547299729 2128430383 239834951 190019570 1889389734 2697623273 2788034069 3088367871 4151205051 3044874360 3979287363 2997916071 3034957672 3705888766 1736400938 954499181 3664744300 3654436878 2670867156 2764390633 2773962644 160123594 2752018948 686142639 1520790608 3020307569 1511998572 3432805078 3367102462 2338507697 2743413290 2013063536 1702902323 963770190 3665703854 2680762418 2641244729 1474375392 1561951336 3359387340 3380397400 1531301612 4056824728 199726405 1060176438 1265010931 712780027 1834497408 3362693616 3087208406 2707521906 2505846360 1416958516 2313813187 1805786991 835143560 131707132 2974111228 930575625 2569025739 1142251811 598016923 1350666330 1680019231 339419578 4648395 3213035601 2646903848 2269963044 3119418428 2983915352 3183506203 612718574 2534557025 2718893449 4262548681 3321698645 3075900165 1489419181 3608617171 2488340713 1144097311 2713020433 1823875860 3635143232 678423349 2972138462 533557250 2008112166 2604834468 2648807877 3331449918 4116756773 3455144436 3452788420 2940240575 2662916903 2763655046 4101361996 812296929 2162751649 4049018708 2602028206 1349182159 4074148824 299504886 3540305440 1990255516 2440274055 3991289763 1893901869 3923492887 2780182448 2276570115 203887726 3204377368 3067832015 150892297 2242198659 2994673766 4148099867 2757191400 3769568205 1404428911 969124395 562069360 155520792 1841255621 1953938387 3557428732 663058505 3976815803 2594051046 1448188614 1656421323 3109816789 3743196551 2896432450 1846121779 3447994716 1796485447 2301606866 3866895928 2092065288 2907871248 3992323667 3215629785 3964389092 999627488 2407287304 2499942514 3233943020 907066215 2256956854 780509219 2739973218 754780113 147530249 1224273895 1223898333 2263172329 1627267992 2709452818 3353975301 2890328843 2205861718 643892838 4021977435 198006290 1171802605 907649251 588227518 700910167 1314890049 732664975 3444031118 1479296455 1198054475 3540869310 3426929091 877398766 1141343170 255 362436" option to reproduce the execution
0.19/0.20	c #vars 9765
0.19/0.20	c #constraints 21293
0.39/0.49	c BCD2: Hardening is enabled.
0.39/0.49	c BCD2: BiasedSearch is enabled.
0.39/0.49	c Solving starts ...
0.39/0.49	c ============================[ Search Statistics ]============================
0.39/0.49	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.39/0.49	c       |         |          |          |    Limit     GC | Var      | Constra 
0.39/0.49	c =============================================================================
0.39/0.49	c  0.0s |       0 |        0 |        0 |    10562      0 |       60 |        0
0.69/0.71	c  0.2s |       1 |      220 |      100 |    10562      0 |       60 |        0
1.28/1.32	c  0.8s |       2 |      660 |      250 |    11619      0 |       60 |        0
3.19/3.21	c  2.7s |       3 |     1694 |      475 |    12781      0 |       60 |        0
4.68/4.76	c  4.3s |       4 |     2843 |      813 |    14060      0 |       60 |        0
6.18/6.24	c  5.8s |       5 |     4294 |     1320 |    15467      0 |       60 |        0
7.18/7.21	c  6.7s |       6 |     5761 |     2081 |    18716      0 |       60 |        0
8.68/8.72	c  8.2s |       7 |     7894 |     3223 |    20588      0 |       60 |        0
10.68/10.76	c 10.3s |       7 |    10918 |     4423 |    20588      0 |       60 |        0
11.38/11.44	c 11.0s |       8 |    11913 |     4936 |    22647      0 |       60 |        0
13.48/13.58	c 13.1s |       8 |    13981 |     6236 |    22647      0 |       60 |        0
15.58/15.63	c 15.1s |       9 |    15631 |     7506 |    24912      0 |       60 |        0
17.69/17.76	c 17.3s |       9 |    18459 |     8906 |    24912      0 |       60 |        0
19.79/19.86	c 19.4s |       9 |    21024 |    10206 |    24912      0 |       60 |        0
21.68/21.76	c 21.3s |      10 |    23056 |    11361 |    27404      0 |       60 |        0
23.78/23.82	c 23.3s |      10 |    25329 |    12461 |    27404      0 |       60 |        0
25.88/25.92	c 25.4s |      10 |    28213 |    13861 |    27404      0 |       60 |        0
27.49/27.57	c 27.1s |      10 |    30142 |    14801 |    27404      0 |       60 |        0
27.49/27.57	c #cpu_time = 27.003s
27.49/27.57	c #wall_clock_time = 27.072s
27.49/27.57	c #decision = 30142
27.49/27.57	c #random_decision = 28
27.49/27.57	c #conflict = 14801
27.49/27.57	c #restart = 10
27.49/27.57	o 146507460
36.18/36.20	c BCD2: updating upper bound: 3962242471 -> 146507474
45.58/45.66	c BCD2: 0 <= obj <= 146507474
45.58/45.66	c BCD2: #cores=0, #unrelaxed=4005, #relaxed=0, #hardened=0
45.58/45.66	c BCD2: #sat=1 #unsat=1 bias=1/2
45.58/45.66	c Solving starts ...
45.58/45.66	c ============================[ Search Statistics ]============================
45.58/45.66	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
45.58/45.66	c       |         |          |          |    Limit     GC | Var      | Constra 
45.58/45.66	c =============================================================================
45.58/45.66	c  0.0s |       0 |        0 |        0 |    27404      0 |       60 |        0
45.68/45.72	c  0.1s |       0 |       89 |        0 |    27404      0 |       60 |        0
45.68/45.72	c #cpu_time = 0.062s
45.68/45.72	c #wall_clock_time = 0.062s
45.68/45.72	c #decision = 89
45.68/45.72	c #random_decision = 0
45.68/45.72	c #conflict = 0
45.68/45.72	c #restart = 0
45.68/45.72	c BCD2: found a new core of size 90: cost of the new core is >=729
45.68/45.72	c lower bound updated to 714
55.28/55.34	c BCD2: 729 <= obj <= 146507474
55.28/55.34	c BCD2: #cores=1, #unrelaxed=3915, #relaxed=90, #hardened=0
55.28/55.34	c BCD2: #sat=1 #unsat=2 bias=2/3

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

pid=20897
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.17 2.20 2.18 4/179 20900
/proc/meminfo: memFree=29183124/32872528 swapFree=16636/1570076
[pid=20900] ppid=20897 vsize=640444 CPUtime=0 cores=0,2,4,6
/proc/20900/stat : 20900 (toysat) R 20897 20900 2168 0 -1 4202496 2374 0 0 0 0 0 0 0 20 0 4 0 114290032 655814656 2224 33554432000 4194304 16246674 140737363856640 140737363856064 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20900/statm: 160623 2232 441 2943 0 157517 0
[pid=20900/tid=20901] ppid=20897 vsize=657852 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20901/stat : 20901 (toysat) S 20897 20900 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114290032 673640448 2292 33554432000 4194304 16246674 140737363856640 140048790957296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20900/tid=20902] ppid=20897 vsize=661948 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20902/stat : 20902 (toysat) S 20897 20900 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114290032 677834752 2309 33554432000 4194304 16246674 140737363856640 140048780467440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20900/tid=20903] ppid=20897 vsize=666044 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20903/stat : 20903 (toysat) S 20897 20900 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114290032 682029056 2325 33554432000 4194304 16246674 140737363856640 140048769993904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100127 s]
/proc/loadavg: 2.17 2.20 2.18 4/179 20900
/proc/meminfo: memFree=29183124/32872528 swapFree=16636/1570076
[pid=20900] ppid=20897 vsize=1301060 CPUtime=0.09 cores=0,2,4,6
/proc/20900/stat : 20900 (toysat) R 20897 20900 2168 0 -1 4202496 27148 0 0 0 5 4 0 0 20 0 4 0 114290032 1332285440 26937 33554432000 4194304 16246674 140737363856640 140737363855952 7374276 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20900/statm: 325265 26952 799 2943 0 322159 0
[pid=20900/tid=20901] ppid=20897 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20901/stat : 20901 (toysat) S 20897 20900 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114290032 1332285440 26963 33554432000 4194304 16246674 140737363856640 140048790957296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20900/tid=20902] ppid=20897 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20902/stat : 20902 (toysat) S 20897 20900 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114290032 1332285440 26975 33554432000 4194304 16246674 140737363856640 140048780467440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20900/tid=20903] ppid=20897 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20903/stat : 20903 (toysat) S 20897 20900 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114290032 1332285440 26986 33554432000 4194304 16246674 140737363856640 140048769993904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200476 s]
/proc/loadavg: 2.17 2.20 2.18 4/179 20900
/proc/meminfo: memFree=29183124/32872528 swapFree=16636/1570076
[pid=20900] ppid=20897 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/20900/stat : 20900 (toysat) R 20897 20900 2168 0 -1 4202496 47622 0 0 0 12 7 0 0 20 0 4 0 114290032 1344868352 47921 33554432000 4194304 16246674 140737363856640 140737363855952 7392208 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20900/statm: 328337 47921 799 2943 0 325231 0
[pid=20900/tid=20901] ppid=20897 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20901/stat : 20901 (toysat) S 20897 20900 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114290032 1344868352 47921 33554432000 4194304 16246674 140737363856640 140048790957296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20900/tid=20902] ppid=20897 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20902/stat : 20902 (toysat) S 20897 20900 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114290032 1344868352 47921 33554432000 4194304 16246674 140737363856640 140048780467440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20900/tid=20903] ppid=20897 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20903/stat : 20903 (toysat) S 20897 20900 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114290032 1344868352 47921 33554432000 4194304 16246674 140737363856640 140048769993904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300436 s]
/proc/loadavg: 2.17 2.20 2.18 4/179 20900
/proc/meminfo: memFree=29183124/32872528 swapFree=16636/1570076
[pid=20900] ppid=20897 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/20900/stat : 20900 (toysat) R 20897 20900 2168 0 -1 4202496 48966 0 0 0 22 7 0 0 20 0 4 0 114290032 1344868352 49265 33554432000 4194304 16246674 140737363856640 140737363855952 6775184 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20900/statm: 328337 49273 840 2943 0 325231 0
[pid=20900/tid=20901] ppid=20897 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20901/stat : 20901 (toysat) S 20897 20900 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114290032 1344868352 49278 33554432000 4194304 16246674 140737363856640 140048790957296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20900/tid=20902] ppid=20897 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20902/stat : 20902 (toysat) S 20897 20900 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114290032 1344868352 49283 33554432000 4194304 16246674 140737363856640 140048780467440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20900/tid=20903] ppid=20897 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20903/stat : 20903 (toysat) S 20897 20900 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114290032 1344868352 49288 33554432000 4194304 16246674 140737363856640 140048769993904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700351 s]
/proc/loadavg: 2.17 2.20 2.18 4/179 20900
/proc/meminfo: memFree=29183124/32872528 swapFree=16636/1570076
[pid=20900] ppid=20897 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/20900/stat : 20900 (toysat) R 20897 20900 2168 0 -1 4202496 108130 0 0 0 53 16 0 0 20 0 4 0 114290032 1344868352 108429 33554432000 4194304 16246674 140737363856640 140737363838528 5600539 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20900/statm: 328337 108431 883 2943 0 325231 0
[pid=20900/tid=20901] ppid=20897 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20901/stat : 20901 (toysat) S 20897 20900 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114290032 1344868352 108432 33554432000 4194304 16246674 140737363856640 140048790957296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20900/tid=20902] ppid=20897 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20902/stat : 20902 (toysat) S 20897 20900 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114290032 1344868352 108436 33554432000 4194304 16246674 140737363856640 140048780467440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20900/tid=20903] ppid=20897 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20903/stat : 20903 (toysat) S 20897 20900 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114290032 1344868352 108439 33554432000 4194304 16246674 140737363856640 140048769993904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50035 s]
/proc/loadavg: 2.17 2.20 2.18 4/183 20904
/proc/meminfo: memFree=28630320/32872528 swapFree=16636/1570076
[pid=20900] ppid=20897 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/20900/stat : 20900 (toysat) R 20897 20900 2168 0 -1 4202496 165436 0 0 0 126 23 0 0 20 0 4 0 114290032 1344868352 165735 33554432000 4194304 16246674 140737363856640 140737363838528 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20900/statm: 328337 165737 883 2943 0 325231 0
[pid=20900/tid=20901] ppid=20897 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20901/stat : 20901 (toysat) S 20897 20900 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114290032 1344868352 165738 33554432000 4194304 16246674 140737363856640 140048790957296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20900/tid=20902] ppid=20897 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20902/stat : 20902 (toysat) S 20897 20900 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114290032 1344868352 165741 33554432000 4194304 16246674 140737363856640 140048780467440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20900/tid=20903] ppid=20897 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20903/stat : 20903 (toysat) S 20897 20900 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114290032 1344868352 165742 33554432000 4194304 16246674 140737363856640 140048769993904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10035 s]
/proc/loadavg: 2.17 2.20 2.18 4/183 20904
/proc/meminfo: memFree=28374896/32872528 swapFree=16636/1570076
[pid=20900] ppid=20897 vsize=1313348 CPUtime=3.09 cores=0,2,4,6
/proc/20900/stat : 20900 (toysat) R 20897 20900 2168 0 -1 4202496 253091 0 0 0 274 35 0 0 20 0 4 0 114290032 1344868352 253390 33554432000 4194304 16246674 140737363856640 140737363838528 13759916 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20900/statm: 328337 253394 883 2943 0 325231 0
[pid=20900/tid=20901] ppid=20897 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20901/stat : 20901 (toysat) S 20897 20900 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114290032 1344868352 253396 33554432000 4194304 16246674 140737363856640 140048790957296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20900/tid=20902] ppid=20897 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20902/stat : 20902 (toysat) S 20897 20900 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114290032 1344868352 253398 33554432000 4194304 16246674 140737363856640 140048780467440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20900/tid=20903] ppid=20897 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20903/stat : 20903 (toysat) S 20897 20900 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114290032 1344868352 253400 33554432000 4194304 16246674 140737363856640 140048769993904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1313348

[startup+6.3004 s]
/proc/loadavg: 2.24 2.21 2.18 4/183 20904
/proc/meminfo: memFree=28093436/32872528 swapFree=16636/1570076
[pid=20900] ppid=20897 vsize=1326660 CPUtime=6.28 cores=0,2,4,6
/proc/20900/stat : 20900 (toysat) R 20897 20900 2168 0 -1 4202496 272341 0 0 0 591 37 0 0 20 0 4 0 114290032 1358499840 272640 33554432000 4194304 16246674 140737363856640 140737363855952 5717852 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20900/statm: 331665 272640 889 2943 0 328559 0
[pid=20900/tid=20901] ppid=20897 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20901/stat : 20901 (toysat) S 20897 20900 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114290032 1358499840 272640 33554432000 4194304 16246674 140737363856640 140048790957296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20900/tid=20902] ppid=20897 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20902/stat : 20902 (toysat) S 20897 20900 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114290032 1358499840 272640 33554432000 4194304 16246674 140737363856640 140048780467440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20900/tid=20903] ppid=20897 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20903/stat : 20903 (toysat) S 20897 20900 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114290032 1358499840 272640 33554432000 4194304 16246674 140737363856640 140048769993904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1326660

[startup+12.7004 s]
/proc/loadavg: 2.30 2.22 2.19 4/183 20904
/proc/meminfo: memFree=28092344/32872528 swapFree=16636/1570076
[pid=20900] ppid=20897 vsize=1326660 CPUtime=12.68 cores=0,2,4,6
/proc/20900/stat : 20900 (toysat) R 20897 20900 2168 0 -1 4202496 272343 0 0 0 1231 37 0 0 20 0 4 0 114290032 1358499840 272642 33554432000 4194304 16246674 140737363856640 140737363838528 5600384 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20900/statm: 331665 272642 891 2943 0 328559 0
[pid=20900/tid=20901] ppid=20897 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20901/stat : 20901 (toysat) S 20897 20900 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114290032 1358499840 272642 33554432000 4194304 16246674 140737363856640 140048790957296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20900/tid=20902] ppid=20897 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20902/stat : 20902 (toysat) S 20897 20900 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114290032 1358499840 272642 33554432000 4194304 16246674 140737363856640 140048780467440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20900/tid=20903] ppid=20897 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20903/stat : 20903 (toysat) S 20897 20900 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114290032 1358499840 272642 33554432000 4194304 16246674 140737363856640 140048769993904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1326660

[startup+25.5005 s]
/proc/loadavg: 2.23 2.21 2.18 3/184 20907
/proc/meminfo: memFree=28091064/32872528 swapFree=16636/1570076
[pid=20900] ppid=20897 vsize=1326660 CPUtime=25.48 cores=0,2,4,6
/proc/20900/stat : 20900 (toysat) R 20897 20900 2168 0 -1 4202496 272343 0 0 0 2511 37 0 0 20 0 4 0 114290032 1358499840 272642 33554432000 4194304 16246674 140737363856640 140737363838528 5661428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20900/statm: 331665 272642 891 2943 0 328559 0
[pid=20900/tid=20901] ppid=20897 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20901/stat : 20901 (toysat) S 20897 20900 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114290032 1358499840 272642 33554432000 4194304 16246674 140737363856640 140048790957296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20900/tid=20902] ppid=20897 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20902/stat : 20902 (toysat) S 20897 20900 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114290032 1358499840 272642 33554432000 4194304 16246674 140737363856640 140048780467440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20900/tid=20903] ppid=20897 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20903/stat : 20903 (toysat) S 20897 20900 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114290032 1358499840 272642 33554432000 4194304 16246674 140737363856640 140048769993904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1326660

[startup+51.1005 s]
/proc/loadavg: 2.37 2.24 2.19 3/184 20907
/proc/meminfo: memFree=27173008/32872528 swapFree=16636/1570076
[pid=20900] ppid=20897 vsize=2244164 CPUtime=51.08 cores=0,2,4,6
/proc/20900/stat : 20900 (toysat) R 20897 20900 2168 0 -1 4202496 563697 0 0 0 5029 79 0 0 20 0 4 0 114290032 2298023936 502044 33554432000 4194304 16246674 140737363856640 140737363854416 4225334 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20900/statm: 561041 502044 915 2943 0 557935 0
[pid=20900/tid=20901] ppid=20897 vsize=2244164 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20901/stat : 20901 (toysat) S 20897 20900 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114290032 2298023936 502044 33554432000 4194304 16246674 140737363856640 140048790957296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20900/tid=20902] ppid=20897 vsize=2244164 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20902/stat : 20902 (toysat) S 20897 20900 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114290032 2298023936 502044 33554432000 4194304 16246674 140737363856640 140048780467216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20900/tid=20903] ppid=20897 vsize=2244164 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20903/stat : 20903 (toysat) S 20897 20900 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114290032 2298023936 502044 33554432000 4194304 16246674 140737363856640 140048769993904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 2244164

[startup+102.3 s]
/proc/loadavg: 2.35 2.25 2.19 3/183 20908
/proc/meminfo: memFree=26036008/32872528 swapFree=16636/1570076
[pid=20900] ppid=20897 vsize=3377732 CPUtime=102.28 cores=0,2,4,6
/proc/20900/stat : 20900 (toysat) R 20897 20900 2168 0 -1 4202496 1235698 0 0 0 10047 181 0 0 20 0 4 0 114290032 3458797568 785437 33554432000 4194304 16246674 140737363856640 140737363855856 12652880 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20900/statm: 844433 785437 916 2943 0 841327 0
[pid=20900/tid=20901] ppid=20897 vsize=3377732 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20901/stat : 20901 (toysat) S 20897 20900 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114290032 3458797568 785437 33554432000 4194304 16246674 140737363856640 140048790957296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20900/tid=20902] ppid=20897 vsize=3377732 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20902/stat : 20902 (toysat) S 20897 20900 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114290032 3458797568 785437 33554432000 4194304 16246674 140737363856640 140048780467440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20900/tid=20903] ppid=20897 vsize=3377732 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20903/stat : 20903 (toysat) S 20897 20900 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114290032 3458797568 785437 33554432000 4194304 16246674 140737363856640 140048769993904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 3377732

[startup+162.3 s]
/proc/loadavg: 2.24 2.23 2.19 3/183 20909
/proc/meminfo: memFree=20098308/32872528 swapFree=16636/1570076
[pid=20900] ppid=20897 vsize=9304644 CPUtime=162.26 cores=0,2,4,6
/proc/20900/stat : 20900 (toysat) R 20897 20900 2168 0 -1 4202496 2717429 0 0 0 15842 384 0 0 20 0 4 0 114290032 9527955456 2267168 33554432000 4194304 16246674 140737363856640 140737363855736 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20900/statm: 2326161 2267168 916 2943 0 2323055 0
[pid=20900/tid=20901] ppid=20897 vsize=9304644 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20901/stat : 20901 (toysat) S 20897 20900 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114290032 9527955456 2267168 33554432000 4194304 16246674 140737363856640 140048790957296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20900/tid=20902] ppid=20897 vsize=9304644 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20902/stat : 20902 (toysat) S 20897 20900 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114290032 9527955456 2267168 33554432000 4194304 16246674 140737363856640 140048780467440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20900/tid=20903] ppid=20897 vsize=9304644 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20903/stat : 20903 (toysat) S 20897 20900 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114290032 9527955456 2267168 33554432000 4194304 16246674 140737363856640 140048769993904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 9304644

[startup+222.308 s]
/proc/loadavg: 2.22 2.23 2.18 3/183 20911
/proc/meminfo: memFree=16963612/32872528 swapFree=16636/1570076
[pid=20900] ppid=20897 vsize=12432964 CPUtime=222.26 cores=0,2,4,6
/proc/20900/stat : 20900 (toysat) R 20897 20900 2168 0 -1 4202496 3499513 0 0 0 21735 491 0 0 20 0 4 0 114290032 12731355136 3049252 33554432000 4194304 16246674 140737363856640 140737363855736 4221035 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20900/statm: 3108241 3049252 920 2943 0 3105135 0
[pid=20900/tid=20901] ppid=20897 vsize=12432964 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20901/stat : 20901 (toysat) S 20897 20900 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114290032 12731355136 3049252 33554432000 4194304 16246674 140737363856640 140048790957296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20900/tid=20902] ppid=20897 vsize=12432964 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20902/stat : 20902 (toysat) S 20897 20900 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114290032 12731355136 3049252 33554432000 4194304 16246674 140737363856640 140048780467440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20900/tid=20903] ppid=20897 vsize=12432964 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20903/stat : 20903 (toysat) S 20897 20900 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114290032 12731355136 3049252 33554432000 4194304 16246674 140737363856640 140048769993904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 12432964

[startup+282.3 s]
/proc/loadavg: 2.25 2.23 2.18 3/183 20912
/proc/meminfo: memFree=16692232/32872528 swapFree=16636/1570076
[pid=20900] ppid=20897 vsize=12990020 CPUtime=282.24 cores=0,2,4,6
/proc/20900/stat : 20900 (toysat) R 20897 20900 2168 0 -1 4202496 3638760 0 0 0 27710 514 0 0 20 0 4 0 114290032 13301780480 3188500 33554432000 4194304 16246674 140737363856640 140737363855736 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20900/statm: 3247505 3188500 920 2943 0 3244399 0
[pid=20900/tid=20901] ppid=20897 vsize=12990020 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20901/stat : 20901 (toysat) S 20897 20900 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114290032 13301780480 3188500 33554432000 4194304 16246674 140737363856640 140048790957296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20900/tid=20902] ppid=20897 vsize=12990020 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20902/stat : 20902 (toysat) S 20897 20900 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114290032 13301780480 3188500 33554432000 4194304 16246674 140737363856640 140048780467440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20900/tid=20903] ppid=20897 vsize=12990020 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20903/stat : 20903 (toysat) S 20897 20900 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114290032 13301780480 3188500 33554432000 4194304 16246674 140737363856640 140048769993904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 12990020



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+289.5 s]
/proc/loadavg: 2.21 2.22 2.18 3/183 20912
/proc/meminfo: memFree=13560968/32872528 swapFree=16636/1570076
[pid=20900] ppid=20897 vsize=15909444 CPUtime=289.44 cores=0,2,4,6
/proc/20900/stat : 20900 (toysat) R 20897 20900 2168 0 -1 4202496 4368565 0 0 0 28323 621 0 0 20 0 4 0 114290032 16291270656 3918304 33554432000 4194304 16246674 140737363856640 140737363855736 4221105 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20900/statm: 3977361 3918314 920 2943 0 3974255 0
[pid=20900/tid=20901] ppid=20897 vsize=15909444 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20901/stat : 20901 (toysat) S 20897 20900 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114290032 16291270656 3918319 33554432000 4194304 16246674 140737363856640 140048790957296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20900/tid=20902] ppid=20897 vsize=15909444 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20902/stat : 20902 (toysat) S 20897 20900 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114290032 16291270656 3918324 33554432000 4194304 16246674 140737363856640 140048780467440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20900/tid=20903] ppid=20897 vsize=15909444 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20903/stat : 20903 (toysat) S 20897 20900 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114290032 16291270656 3918330 33554432000 4194304 16246674 140737363856640 140048769993904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 289.44
Current children cumulated vsize (KiB) 15909444

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

[startup+289.605 s]
/proc/loadavg: 2.21 2.22 2.18 3/183 20912
/proc/meminfo: memFree=13560968/32872528 swapFree=16636/1570076
[pid=20900] ppid=20897 vsize=0 CPUtime=289.55 cores=0,2,4,6
/proc/20900/stat : 20900 (toysat) Z 20897 20900 2168 0 -1 4203532 4369038 0 0 0 28324 631 0 0 20 0 2 0 114290032 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20900/statm: 0 0 0 0 0 0 0
[pid=20900/tid=20903] ppid=20897 vsize=0 CPUtime=0.08 cores=0,2,4,6
/proc/20900/task/20903/stat : 20903 (toysat) R 20897 20900 2168 0 -1 4203588 2 0 0 0 0 8 0 0 20 0 2 0 114290032 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 289.55
Current children cumulated vsize (KiB) 0

[startup+290 s]
/proc/loadavg: 2.21 2.22 2.18 3/183 20912
/proc/meminfo: memFree=13560968/32872528 swapFree=16636/1570076
[pid=20900] ppid=20897 vsize=0 CPUtime=289.95 cores=0,2,4,6
/proc/20900/stat : 20900 (toysat) Z 20897 20900 2168 0 -1 4203532 4369038 0 0 0 28324 671 0 0 20 0 2 0 114290032 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20900/statm: 0 0 0 0 0 0 0
[pid=20900/tid=20903] ppid=20897 vsize=0 CPUtime=0.48 cores=0,2,4,6
/proc/20900/task/20903/stat : 20903 (toysat) R 20897 20900 2168 0 -1 4203588 2 0 0 0 0 48 0 0 20 0 2 0 114290032 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 289.95
Current children cumulated vsize (KiB) 0

[startup+290.4 s]
/proc/loadavg: 2.21 2.22 2.18 3/181 20912
/proc/meminfo: memFree=26340780/32872528 swapFree=16636/1570076
[pid=20900] ppid=20897 vsize=0 CPUtime=290.35 cores=0,2,4,6
/proc/20900/stat : 20900 (toysat) Z 20897 20900 2168 0 -1 4203532 4369038 0 0 0 28324 711 0 0 20 0 2 0 114290032 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20900/statm: 0 0 0 0 0 0 0
[pid=20900/tid=20903] ppid=20897 vsize=0 CPUtime=0.88 cores=0,2,4,6
/proc/20900/task/20903/stat : 20903 (toysat) R 20897 20900 2168 0 -1 4203588 2 0 0 0 0 88 0 0 20 0 2 0 114290032 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 290.35
Current children cumulated vsize (KiB) 0

[startup+290.507 s]
/proc/loadavg: 2.21 2.22 2.18 3/181 20912
/proc/meminfo: memFree=26340780/32872528 swapFree=16636/1570076
[pid=20900] ppid=20897 vsize=0 CPUtime=290.45 cores=0,2,4,6
/proc/20900/stat : 20900 (toysat) Z 20897 20900 2168 0 -1 4203532 4369038 0 0 0 28324 721 0 0 20 0 2 0 114290032 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20900/statm: 0 0 0 0 0 0 0
[pid=20900/tid=20903] ppid=20897 vsize=0 CPUtime=0.98 cores=0,2,4,6
/proc/20900/task/20903/stat : 20903 (toysat) R 20897 20900 2168 0 -1 4203588 2 0 0 0 0 98 0 0 20 0 2 0 114290032 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 290.45
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 290.595
CPU time (s): 290.538
CPU user time (s): 283.242
CPU system time (s): 7.29589
CPU usage (%): 99.9803
Max. virtual memory (cumulated for all children) (KiB): 15909444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 283.242
system time used= 7.29589
maximum resident set size= 15675108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4369038
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= 202
involuntary context switches= 497

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.724889 second user time and 1.13383 second system time

The end

Launcher Data 

Begin job on node140 at 2016-06-07 20:19:37
IDJOB=4079367
IDBENCH=92671
IDSOLVER=2542
FILE ID=node140/4079367-1465323577
RUNJOBID= node140-1465312758-19943
PBS_JOBID= 19850417
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_0_mh_ic.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079367-1465323577/watcher-4079367-1465323577 -o /tmp/evaluation-result-4079367-1465323577/solver-4079367-1465323577 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465312758-19943 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079367-1465323577.opb

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

MD5SUM BENCH= b32f126aecba6bfb006545c8818dc00d
RANDOM SEED=600180024

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29183496 kB
Buffers:           54892 kB
Cached:           217548 kB
SwapCached:         1504 kB
Active:          1239016 kB
Inactive:         130180 kB
Active(anon):    1092868 kB
Inactive(anon):     6552 kB
Active(file):     146148 kB
Inactive(file):   123628 kB
Unevictable:     1570076 kB
Mlocked:           16636 kB
SwapTotal:      67108856 kB
SwapFree:       67098752 kB
Dirty:             17108 kB
Writeback:             0 kB
AnonPages:       2662408 kB
Mapped:            10788 kB
Shmem:                 0 kB
Slab:             614056 kB
SReclaimable:      57988 kB
SUnreclaim:       556068 kB
KernelStack:        1520 kB
PageTables:         9388 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2810424 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1556480 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= 71704 MiB
End job on node140 at 2016-06-07 20:24:27