Trace number 4103789

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) 358.359 358.426

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-shell.opb
MD5SUM812fb8d8b2de50e0f82554fbb1bd21a5
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables45231
Total number of constraints653
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 constraints653
Minimum length of a constraint19
Maximum length of a constraint1560
Number of terms in the objective function 39844
Biggest coefficient in the objective function 2101312749568
Number of bits for the biggest coefficient in the objective function 41
Sum of the numbers in the objective function 249967315526150
Number of bits of the sum of numbers in the objective function 48
Biggest number in a constraint 2101312749568
Number of bits of the biggest number in a constraint 41
Biggest sum of numbers in a constraint 249967315526150
Number of bits of the biggest sum of numbers48
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-18T10:38:21+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-4103789-1466239100.opb"]
0.00/0.01	c use --random-gen="3625173710 926846971 98706941 3996241741 2487126511 3401347308 3179713871 3888424468 3761800568 1788854790 3724147874 3077446624 4113904786 2925433884 3413179573 3375204108 3823341092 4188723901 3648601154 4066809145 2328370715 1329863331 1840437547 1602197173 1430974979 1135344308 2430202927 3418635242 3087879958 1112208692 1977507079 2015595105 1076781776 119274146 88665848 2767999066 3074410947 540915250 2800652334 2382518931 675694703 3411336993 727626267 1062526563 2069547469 178627242 1741889883 959590951 3253057811 1465358096 1485172052 2949317065 1648657105 3788168034 3881236658 312199715 187245612 2484227848 590756085 1644245398 2305701006 1168532762 2138000447 4053569577 2310255533 3326745474 1421686026 165994495 3926295708 3263915828 3264265312 2511726971 2923684225 3054731277 1422276183 2204779529 395947942 1325592381 91134911 2500455907 2003646539 152589592 287283481 365984194 453874562 3092249974 3409338185 2226951461 2134037148 1749926079 1769055813 2195844732 897980331 3018985498 2267213539 2047255791 111886072 2066629082 3324360567 251729951 2387560853 3167569743 402640816 3592096788 2534991125 1752684736 4155250959 1083301803 3166928663 4272845330 403742041 1643331312 3707164893 3971342748 4167976757 3253626750 3967406917 2784451705 3226046296 1084588984 3959345607 4112758734 36010165 1079067407 2557907125 2101125049 1669225064 1761444605 2658252655 2679336157 3128179576 4193692427 1783159981 985029595 4041576156 2353969100 4129898575 3973995718 1021779788 627256150 1723541943 390758670 2710939379 955441305 618843422 737253380 763349036 767798383 3744915945 2686669015 1677797674 1797499439 995412715 260768532 2728462090 2415751657 2954927056 1542162999 463737146 2641470107 1188985034 3807168270 2882746902 1825545444 3986645468 3014118829 1768687359 2374649812 648572722 3200177555 335876791 3687735365 3874720707 1939778299 2447877259 2342828785 2600730008 100767147 1753741388 2797050715 1560285779 1767129402 179624788 1022229310 3282202717 3053961128 1280319053 384959240 321147130 3034906098 3110540163 1437848370 4028679197 4290872524 3087764351 1759047478 117442050 3600250658 3410570624 3104568498 2479712307 3034207082 952130326 2370974224 2237374305 769493238 2196546051 1498399509 1495850190 2843242076 2995349407 1504422051 3248538175 125598641 1179769730 2400675556 1061208623 1344765211 933014809 968116407 1626389244 1326979519 2743715334 1503180856 3974567725 1231339552 749994349 2265692373 937280301 1503009591 3123112717 2821482125 2683579697 357281065 786447895 2893779969 1453161019 623851249 80906044 2357211519 1173022123 3433775652 4239036282 1563271781 1852858983 3898457143 2880470148 1553792449 1295653183 1474766620 2982468513 4107808740 3829690260 3027061817 2712499076 3709371629 255 362436" option to reproduce the execution
0.19/0.27	c #vars 45231
0.19/0.27	c #constraints 653

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

pid=16203
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.08 2.11 2.09 3/179 16206
/proc/meminfo: memFree=18517072/32872528 swapFree=249320/249320
[pid=16206] ppid=16203 vsize=797116 CPUtime=0 cores=0,2,4,6
/proc/16206/stat : 16206 (toysat) R 16203 16206 11324 0 -1 4202496 2989 0 0 0 0 0 0 0 20 0 4 0 25960471 816246784 2838 33554432000 4194304 16246674 140736923251680 140736923251104 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16206/statm: 200047 2848 441 2943 0 196941 0
[pid=16206/tid=16207] ppid=16203 vsize=814524 CPUtime=0 cores=0,2,4,6
/proc/16206/task/16207/stat : 16207 (toysat) S 16203 16206 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25960471 834072576 2907 33554432000 4194304 16246674 140736923251680 140193072917744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16206/tid=16208] ppid=16203 vsize=818620 CPUtime=0 cores=0,2,4,6
/proc/16206/task/16208/stat : 16208 (toysat) S 16203 16206 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25960471 838266880 2924 33554432000 4194304 16246674 140736923251680 140193062427888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16206/tid=16209] ppid=16203 vsize=823740 CPUtime=0 cores=0,2,4,6
/proc/16206/task/16209/stat : 16209 (toysat) S 16203 16206 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25960471 843509760 2941 33554432000 4194304 16246674 140736923251680 140193051954352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100168 s]
/proc/loadavg: 2.08 2.11 2.09 3/179 16206
/proc/meminfo: memFree=18517072/32872528 swapFree=249320/249320
[pid=16206] ppid=16203 vsize=1303108 CPUtime=0.09 cores=0,2,4,6
/proc/16206/stat : 16206 (toysat) R 16203 16206 11324 0 -1 4202496 30993 0 0 0 5 4 0 0 20 0 4 0 25960471 1334382592 30780 33554432000 4194304 16246674 140736923251680 140736923250992 7364033 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16206/statm: 325777 30794 799 2943 0 322671 0
[pid=16206/tid=16207] ppid=16203 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/16206/task/16207/stat : 16207 (toysat) S 16203 16206 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25960471 1334382592 30805 33554432000 4194304 16246674 140736923251680 140193072917744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16206/tid=16208] ppid=16203 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/16206/task/16208/stat : 16208 (toysat) S 16203 16206 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25960471 1334382592 30815 33554432000 4194304 16246674 140736923251680 140193062427888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16206/tid=16209] ppid=16203 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/16206/task/16209/stat : 16209 (toysat) S 16203 16206 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25960471 1334382592 30826 33554432000 4194304 16246674 140736923251680 140193051954352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1303108

[startup+0.200507 s]
/proc/loadavg: 2.08 2.11 2.09 3/179 16206
/proc/meminfo: memFree=18517072/32872528 swapFree=249320/249320
[pid=16206] ppid=16203 vsize=1310276 CPUtime=0.19 cores=0,2,4,6
/proc/16206/stat : 16206 (toysat) R 16203 16206 11324 0 -1 4202496 44299 0 0 0 12 7 0 0 20 0 4 0 25960471 1341722624 44597 33554432000 4194304 16246674 140736923251680 140736923250992 4220498 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16206/statm: 327569 44597 801 2943 0 324463 0
[pid=16206/tid=16207] ppid=16203 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16206/task/16207/stat : 16207 (toysat) S 16203 16206 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25960471 1341722624 44597 33554432000 4194304 16246674 140736923251680 140193072917744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16206/tid=16208] ppid=16203 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16206/task/16208/stat : 16208 (toysat) S 16203 16206 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25960471 1341722624 44597 33554432000 4194304 16246674 140736923251680 140193062427888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16206/tid=16209] ppid=16203 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16206/task/16209/stat : 16209 (toysat) S 16203 16206 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25960471 1341722624 44597 33554432000 4194304 16246674 140736923251680 140193051954352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1310276

[startup+0.300487 s]
/proc/loadavg: 2.08 2.11 2.09 3/179 16206
/proc/meminfo: memFree=18517072/32872528 swapFree=249320/249320
[pid=16206] ppid=16203 vsize=1311300 CPUtime=0.29 cores=0,2,4,6
/proc/16206/stat : 16206 (toysat) R 16203 16206 11324 0 -1 4202496 44566 0 0 0 22 7 0 0 20 0 4 0 25960471 1342771200 44864 33554432000 4194304 16246674 140736923251680 140736923250992 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16206/statm: 327825 44864 812 2943 0 324719 0
[pid=16206/tid=16207] ppid=16203 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16206/task/16207/stat : 16207 (toysat) S 16203 16206 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25960471 1342771200 44864 33554432000 4194304 16246674 140736923251680 140193072917744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16206/tid=16208] ppid=16203 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16206/task/16208/stat : 16208 (toysat) S 16203 16206 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25960471 1342771200 44864 33554432000 4194304 16246674 140736923251680 140193062427888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16206/tid=16209] ppid=16203 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16206/task/16209/stat : 16209 (toysat) S 16203 16206 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25960471 1342771200 44864 33554432000 4194304 16246674 140736923251680 140193051954352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1311300

[startup+0.700393 s]
/proc/loadavg: 2.08 2.11 2.09 3/179 16206
/proc/meminfo: memFree=18517072/32872528 swapFree=249320/249320
[pid=16206] ppid=16203 vsize=1327684 CPUtime=0.68 cores=0,2,4,6
/proc/16206/stat : 16206 (toysat) R 16203 16206 11324 0 -1 4202496 126779 0 0 0 51 17 0 0 20 0 4 0 25960471 1359548416 127078 33554432000 4194304 16246674 140736923251680 140736923250992 12657222 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16206/statm: 331921 127084 832 2943 0 328815 0
[pid=16206/tid=16207] ppid=16203 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/16206/task/16207/stat : 16207 (toysat) S 16203 16206 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25960471 1359548416 127087 33554432000 4194304 16246674 140736923251680 140193072917744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16206/tid=16208] ppid=16203 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/16206/task/16208/stat : 16208 (toysat) S 16203 16206 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25960471 1359548416 127091 33554432000 4194304 16246674 140736923251680 140193062427888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16206/tid=16209] ppid=16203 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/16206/task/16209/stat : 16209 (toysat) S 16203 16206 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25960471 1359548416 127094 33554432000 4194304 16246674 140736923251680 140193051954352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1327684

[startup+1.50039 s]
/proc/loadavg: 2.08 2.11 2.09 3/183 16210
/proc/meminfo: memFree=17659980/32872528 swapFree=249320/249320
[pid=16206] ppid=16203 vsize=1391172 CPUtime=1.49 cores=0,2,4,6
/proc/16206/stat : 16206 (toysat) R 16203 16206 11324 0 -1 4202496 288203 0 0 0 110 39 0 0 20 0 4 0 25960471 1424560128 288501 33554432000 4194304 16246674 140736923251680 140736923233600 4221016 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16206/statm: 347793 288507 834 2943 0 344687 0
[pid=16206/tid=16207] ppid=16203 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/16206/task/16207/stat : 16207 (toysat) S 16203 16206 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25960471 1424560128 288510 33554432000 4194304 16246674 140736923251680 140193072917744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16206/tid=16208] ppid=16203 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/16206/task/16208/stat : 16208 (toysat) S 16203 16206 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25960471 1424560128 288514 33554432000 4194304 16246674 140736923251680 140193062427888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16206/tid=16209] ppid=16203 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/16206/task/16209/stat : 16209 (toysat) S 16203 16206 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25960471 1424560128 288518 33554432000 4194304 16246674 140736923251680 140193051954352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1391172

[startup+3.10041 s]
/proc/loadavg: 2.08 2.11 2.09 3/183 16210
/proc/meminfo: memFree=17283036/32872528 swapFree=249320/249320
[pid=16206] ppid=16203 vsize=1471044 CPUtime=3.08 cores=0,2,4,6
/proc/16206/stat : 16206 (toysat) R 16203 16206 11324 0 -1 4202496 308380 0 0 0 267 41 0 0 20 0 4 0 25960471 1506349056 308678 33554432000 4194304 16246674 140736923251680 140736923249536 4220815 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16206/statm: 367761 308678 834 2943 0 364655 0
[pid=16206/tid=16207] ppid=16203 vsize=1471044 CPUtime=0 cores=0,2,4,6
/proc/16206/task/16207/stat : 16207 (toysat) S 16203 16206 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25960471 1506349056 308678 33554432000 4194304 16246674 140736923251680 140193072917744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16206/tid=16208] ppid=16203 vsize=1471044 CPUtime=0 cores=0,2,4,6
/proc/16206/task/16208/stat : 16208 (toysat) S 16203 16206 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25960471 1506349056 308678 33554432000 4194304 16246674 140736923251680 140193062427888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16206/tid=16209] ppid=16203 vsize=1471044 CPUtime=0 cores=0,2,4,6
/proc/16206/task/16209/stat : 16209 (toysat) S 16203 16206 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25960471 1506349056 308678 33554432000 4194304 16246674 140736923251680 140193051954352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1471044

[startup+6.3004 s]
/proc/loadavg: 2.07 2.11 2.09 3/183 16210
/proc/meminfo: memFree=17057428/32872528 swapFree=249320/249320
[pid=16206] ppid=16203 vsize=1696324 CPUtime=6.29 cores=0,2,4,6
/proc/16206/stat : 16206 (toysat) R 16203 16206 11324 0 -1 4202496 364701 0 0 0 580 49 0 0 20 0 4 0 25960471 1737035776 364999 33554432000 4194304 16246674 140736923251680 140736923249408 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16206/statm: 424081 364999 834 2943 0 420975 0
[pid=16206/tid=16207] ppid=16203 vsize=1696324 CPUtime=0 cores=0,2,4,6
/proc/16206/task/16207/stat : 16207 (toysat) S 16203 16206 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25960471 1737035776 364999 33554432000 4194304 16246674 140736923251680 140193072917744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16206/tid=16208] ppid=16203 vsize=1696324 CPUtime=0 cores=0,2,4,6
/proc/16206/task/16208/stat : 16208 (toysat) S 16203 16206 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25960471 1737035776 364999 33554432000 4194304 16246674 140736923251680 140193062427888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16206/tid=16209] ppid=16203 vsize=1696324 CPUtime=0 cores=0,2,4,6
/proc/16206/task/16209/stat : 16209 (toysat) S 16203 16206 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25960471 1737035776 364999 33554432000 4194304 16246674 140736923251680 140193051954352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1696324

[startup+12.7004 s]
/proc/loadavg: 2.07 2.10 2.09 3/183 16210
/proc/meminfo: memFree=14727768/32872528 swapFree=249320/249320
[pid=16206] ppid=16203 vsize=2982468 CPUtime=12.69 cores=0,2,4,6
/proc/16206/stat : 16206 (toysat) R 16203 16206 11324 0 -1 4202496 686237 0 0 0 1178 91 0 0 20 0 4 0 25960471 3054047232 686535 33554432000 4194304 16246674 140736923251680 140736923250776 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16206/statm: 745617 686535 834 2943 0 742511 0
[pid=16206/tid=16207] ppid=16203 vsize=2982468 CPUtime=0 cores=0,2,4,6
/proc/16206/task/16207/stat : 16207 (toysat) S 16203 16206 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25960471 3054047232 686535 33554432000 4194304 16246674 140736923251680 140193072917744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16206/tid=16208] ppid=16203 vsize=2982468 CPUtime=0 cores=0,2,4,6
/proc/16206/task/16208/stat : 16208 (toysat) S 16203 16206 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25960471 3054047232 686535 33554432000 4194304 16246674 140736923251680 140193062427888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16206/tid=16209] ppid=16203 vsize=2982468 CPUtime=0 cores=0,2,4,6
/proc/16206/task/16209/stat : 16209 (toysat) S 16203 16206 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25960471 3054047232 686535 33554432000 4194304 16246674 140736923251680 140193051954352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 2982468

[startup+25.5005 s]
/proc/loadavg: 2.05 2.10 2.09 3/183 16210
/proc/meminfo: memFree=10682708/32872528 swapFree=249320/249320
[pid=16206] ppid=16203 vsize=6019652 CPUtime=25.49 cores=0,2,4,6
/proc/16206/stat : 16206 (toysat) R 16203 16206 11324 0 -1 4202496 1445535 0 0 0 2361 188 0 0 20 0 4 0 25960471 6164123648 1445833 33554432000 4194304 16246674 140736923251680 140736923250992 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16206/statm: 1504913 1445833 835 2943 0 1501807 0
[pid=16206/tid=16207] ppid=16203 vsize=6019652 CPUtime=0 cores=0,2,4,6
/proc/16206/task/16207/stat : 16207 (toysat) S 16203 16206 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25960471 6164123648 1445833 33554432000 4194304 16246674 140736923251680 140193072917744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16206/tid=16208] ppid=16203 vsize=6019652 CPUtime=0 cores=0,2,4,6
/proc/16206/task/16208/stat : 16208 (toysat) S 16203 16206 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25960471 6164123648 1445833 33554432000 4194304 16246674 140736923251680 140193062427888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16206/tid=16209] ppid=16203 vsize=6019652 CPUtime=0 cores=0,2,4,6
/proc/16206/task/16209/stat : 16209 (toysat) S 16203 16206 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25960471 6164123648 1445833 33554432000 4194304 16246674 140736923251680 140193051954352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 6019652

[startup+51.1005 s]
/proc/loadavg: 2.03 2.09 2.08 3/183 16210
/proc/meminfo: memFree=13884232/32872528 swapFree=249320/249320
[pid=16206] ppid=16203 vsize=3170884 CPUtime=51.08 cores=0,2,4,6
/proc/16206/stat : 16206 (toysat) R 16203 16206 11324 0 -1 4202496 2297626 0 0 0 4777 331 0 0 20 0 4 0 25960471 3246985216 733508 33554432000 4194304 16246674 140736923251680 140736923250344 4221016 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16206/statm: 792721 733517 836 2943 0 789615 0
[pid=16206/tid=16207] ppid=16203 vsize=3170884 CPUtime=0 cores=0,2,4,6
/proc/16206/task/16207/stat : 16207 (toysat) S 16203 16206 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25960471 3246985216 733523 33554432000 4194304 16246674 140736923251680 140193072917744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16206/tid=16208] ppid=16203 vsize=3170884 CPUtime=0 cores=0,2,4,6
/proc/16206/task/16208/stat : 16208 (toysat) S 16203 16206 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25960471 3246985216 733528 33554432000 4194304 16246674 140736923251680 140193062427664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16206/tid=16209] ppid=16203 vsize=3170884 CPUtime=0 cores=0,2,4,6
/proc/16206/task/16209/stat : 16209 (toysat) S 16203 16206 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25960471 3246985216 733534 33554432000 4194304 16246674 140736923251680 140193051954352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 3170884

[startup+102.3 s]
/proc/loadavg: 2.09 2.10 2.09 3/184 16262
/proc/meminfo: memFree=22287460/32872528 swapFree=249320/249320
[pid=16206] ppid=16203 vsize=5147204 CPUtime=102.28 cores=0,2,4,6
/proc/16206/stat : 16206 (toysat) R 16203 16206 11324 0 -1 4202496 4391212 0 0 0 9585 643 0 0 20 0 4 0 25960471 5270736896 1227865 33554432000 4194304 16246674 140736923251680 140736923250344 4225154 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16206/statm: 1286801 1227869 836 2943 0 1283695 0
[pid=16206/tid=16207] ppid=16203 vsize=5147204 CPUtime=0 cores=0,2,4,6
/proc/16206/task/16207/stat : 16207 (toysat) S 16203 16206 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25960471 5270736896 1227919 33554432000 4194304 16246674 140736923251680 140193072917744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16206/tid=16208] ppid=16203 vsize=5147204 CPUtime=0 cores=0,2,4,6
/proc/16206/task/16208/stat : 16208 (toysat) S 16203 16206 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25960471 5270736896 1227926 33554432000 4194304 16246674 140736923251680 140193062427664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16206/tid=16209] ppid=16203 vsize=5147204 CPUtime=0 cores=0,2,4,6
/proc/16206/task/16209/stat : 16209 (toysat) S 16203 16206 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25960471 5270736896 1227931 33554432000 4194304 16246674 140736923251680 140193051954352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 5147204

[startup+162.3 s]
/proc/loadavg: 2.03 2.08 2.08 3/183 16263
/proc/meminfo: memFree=17562784/32872528 swapFree=249320/249320
[pid=16206] ppid=16203 vsize=11435588 CPUtime=162.26 cores=0,2,4,6
/proc/16206/stat : 16206 (toysat) R 16203 16206 11324 0 -1 4202496 5963436 0 0 0 15367 859 0 0 20 0 4 0 25960471 11710042112 2800089 33554432000 4194304 16246674 140736923251680 140736923250776 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16206/statm: 2858897 2800089 841 2943 0 2855791 0
[pid=16206/tid=16207] ppid=16203 vsize=11435588 CPUtime=0 cores=0,2,4,6
/proc/16206/task/16207/stat : 16207 (toysat) S 16203 16206 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25960471 11710042112 2800089 33554432000 4194304 16246674 140736923251680 140193072917744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16206/tid=16208] ppid=16203 vsize=11435588 CPUtime=0 cores=0,2,4,6
/proc/16206/task/16208/stat : 16208 (toysat) S 16203 16206 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25960471 11710042112 2800089 33554432000 4194304 16246674 140736923251680 140193062427888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16206/tid=16209] ppid=16203 vsize=11435588 CPUtime=0 cores=0,2,4,6
/proc/16206/task/16209/stat : 16209 (toysat) S 16203 16206 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25960471 11710042112 2800089 33554432000 4194304 16246674 140736923251680 140193051954352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 11435588

[startup+222.308 s]
/proc/loadavg: 2.01 2.06 2.08 3/183 16265
/proc/meminfo: memFree=24163880/32872528 swapFree=249320/249320
[pid=16206] ppid=16203 vsize=6183492 CPUtime=222.26 cores=0,2,4,6
/proc/16206/stat : 16206 (toysat) R 16203 16206 11324 0 -1 4202496 6114310 0 0 0 21306 920 0 0 20 0 4 0 25960471 6331895808 1487066 33554432000 4194304 16246674 140736923251680 140736923249536 4220520 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16206/statm: 1545873 1487066 841 2943 0 1542767 0
[pid=16206/tid=16207] ppid=16203 vsize=6183492 CPUtime=0 cores=0,2,4,6
/proc/16206/task/16207/stat : 16207 (toysat) S 16203 16206 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25960471 6331895808 1487066 33554432000 4194304 16246674 140736923251680 140193072917744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16206/tid=16208] ppid=16203 vsize=6183492 CPUtime=0 cores=0,2,4,6
/proc/16206/task/16208/stat : 16208 (toysat) S 16203 16206 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25960471 6331895808 1487066 33554432000 4194304 16246674 140736923251680 140193062427664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16206/tid=16209] ppid=16203 vsize=6183492 CPUtime=0 cores=0,2,4,6
/proc/16206/task/16209/stat : 16209 (toysat) S 16203 16206 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25960471 6331895808 1487066 33554432000 4194304 16246674 140736923251680 140193051954352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 6183492

[startup+282.3 s]
/proc/loadavg: 2.12 2.08 2.08 3/183 16266
/proc/meminfo: memFree=11085460/32872528 swapFree=249320/249320
[pid=16206] ppid=16203 vsize=11573828 CPUtime=282.24 cores=0,2,4,6
/proc/16206/stat : 16206 (toysat) R 16203 16206 11324 0 -1 4202496 7461804 0 0 0 27124 1100 0 0 20 0 4 0 25960471 11851599872 2834560 33554432000 4194304 16246674 140736923251680 140736923250776 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16206/statm: 2893457 2834560 841 2943 0 2890351 0
[pid=16206/tid=16207] ppid=16203 vsize=11573828 CPUtime=0 cores=0,2,4,6
/proc/16206/task/16207/stat : 16207 (toysat) S 16203 16206 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25960471 11851599872 2834560 33554432000 4194304 16246674 140736923251680 140193072917744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16206/tid=16208] ppid=16203 vsize=11573828 CPUtime=0 cores=0,2,4,6
/proc/16206/task/16208/stat : 16208 (toysat) S 16203 16206 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25960471 11851599872 2834560 33554432000 4194304 16246674 140736923251680 140193062427888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16206/tid=16209] ppid=16203 vsize=11573828 CPUtime=0 cores=0,2,4,6
/proc/16206/task/16209/stat : 16209 (toysat) S 16203 16206 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25960471 11851599872 2834560 33554432000 4194304 16246674 140736923251680 140193051954352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 11573828

[startup+342.301 s]
/proc/loadavg: 2.10 2.08 2.08 3/183 16267
/proc/meminfo: memFree=5353040/32872528 swapFree=249320/249320
[pid=16206] ppid=16203 vsize=12218948 CPUtime=342.23 cores=0,2,4,6
/proc/16206/stat : 16206 (toysat) R 16203 16206 11324 0 -1 4202496 7578207 0 0 0 33103 1120 0 0 20 0 4 0 25960471 12512202752 2995931 33554432000 4194304 16246674 140736923251680 140736923249600 14013626 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16206/statm: 3054737 2995931 841 2943 0 3051631 0
[pid=16206/tid=16207] ppid=16203 vsize=12218948 CPUtime=0 cores=0,2,4,6
/proc/16206/task/16207/stat : 16207 (toysat) S 16203 16206 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25960471 12512202752 2995931 33554432000 4194304 16246674 140736923251680 140193072917744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16206/tid=16208] ppid=16203 vsize=12218948 CPUtime=0 cores=0,2,4,6
/proc/16206/task/16208/stat : 16208 (toysat) S 16203 16206 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25960471 12512202752 2995931 33554432000 4194304 16246674 140736923251680 140193062427664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16206/tid=16209] ppid=16203 vsize=12218948 CPUtime=0 cores=0,2,4,6
/proc/16206/task/16209/stat : 16209 (toysat) S 16203 16206 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25960471 12512202752 2995931 33554432000 4194304 16246674 140736923251680 140193051954352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 12218948



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+357.607 s]
/proc/loadavg: 2.07 2.07 2.08 3/183 16267
/proc/meminfo: memFree=1721436/32872528 swapFree=249320/249320
[pid=16206] ppid=16203 vsize=15892036 CPUtime=357.53 cores=0,2,4,6
/proc/16206/stat : 16206 (toysat) R 16203 16206 11324 0 -1 4202496 8496428 0 0 0 34497 1256 0 0 20 0 4 0 25960471 16273444864 3914152 33554432000 4194304 16246674 140736923251680 140736923250776 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16206/statm: 3973009 3914152 841 2943 0 3969903 0
[pid=16206/tid=16207] ppid=16203 vsize=15892036 CPUtime=0 cores=0,2,4,6
/proc/16206/task/16207/stat : 16207 (toysat) S 16203 16206 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25960471 16273444864 3914152 33554432000 4194304 16246674 140736923251680 140193072917744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16206/tid=16208] ppid=16203 vsize=15892036 CPUtime=0 cores=0,2,4,6
/proc/16206/task/16208/stat : 16208 (toysat) S 16203 16206 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25960471 16273444864 3914152 33554432000 4194304 16246674 140736923251680 140193062427888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16206/tid=16209] ppid=16203 vsize=15892036 CPUtime=0 cores=0,2,4,6
/proc/16206/task/16209/stat : 16209 (toysat) S 16203 16206 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25960471 16273444864 3914152 33554432000 4194304 16246674 140736923251680 140193051954352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 357.53
Current children cumulated vsize (KiB) 15892036

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

[startup+358 s]
/proc/loadavg: 2.07 2.07 2.08 3/183 16267
/proc/meminfo: memFree=1721436/32872528 swapFree=249320/249320
[pid=16206] ppid=16203 vsize=0 CPUtime=357.93 cores=0,2,4,6
/proc/16206/stat : 16206 (toysat) Z 16203 16206 11324 0 -1 4203532 8496964 0 0 0 34497 1296 0 0 20 0 2 0 25960471 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16206/statm: 0 0 0 0 0 0 0
[pid=16206/tid=16208] ppid=16203 vsize=0 CPUtime=0.37 cores=0,2,4,6
/proc/16206/task/16208/stat : 16208 (toysat) R 16203 16206 11324 0 -1 4203588 8 0 0 0 0 37 0 0 20 0 2 0 25960471 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 357.93
Current children cumulated vsize (KiB) 0

[startup+358.4 s]
/proc/loadavg: 2.07 2.07 2.08 3/183 16267
/proc/meminfo: memFree=1721436/32872528 swapFree=249320/249320
[pid=16206] ppid=16203 vsize=0 CPUtime=358.32 cores=0,2,4,6
/proc/16206/stat : 16206 (toysat) Z 16203 16206 11324 0 -1 4203532 8496964 0 0 0 34497 1335 0 0 20 0 2 0 25960471 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16206/statm: 0 0 0 0 0 0 0
[pid=16206/tid=16208] ppid=16203 vsize=0 CPUtime=0.77 cores=0,2,4,6
/proc/16206/task/16208/stat : 16208 (toysat) R 16203 16206 11324 0 -1 4203588 8 0 0 0 0 77 0 0 20 0 2 0 25960471 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 358.32
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 358.426
CPU time (s): 358.359
CPU user time (s): 344.978
CPU system time (s): 13.381
CPU usage (%): 99.9811
Max. virtual memory (cumulated for all children) (KiB): 15892036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 344.978
system time used= 13.381
maximum resident set size= 15658752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8496964
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= 153
involuntary context switches= 360

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.926859 second user time and 1.36179 second system time

The end

Launcher Data 

Begin job on node103 at 2016-06-18 10:38:21
IDJOB=4103789
IDBENCH=2461
IDSOLVER=2542
FILE ID=node103/4103789-1466239100
RUNJOBID= node103-1466206104-11340
PBS_JOBID= 19918169
Free space on /tmp= 71712 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-shell.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103789-1466239100/watcher-4103789-1466239100 -o /tmp/evaluation-result-4103789-1466239100/solver-4103789-1466239100 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466206104-11340 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103789-1466239100.opb

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

MD5SUM BENCH= 812fb8d8b2de50e0f82554fbb1bd21a5
RANDOM SEED=838371016

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        18517592 kB
Buffers:          129796 kB
Cached:           147040 kB
SwapCached:         2188 kB
Active:         13161612 kB
Inactive:         183728 kB
Active(anon):   13067044 kB
Inactive(anon):     3672 kB
Active(file):      94568 kB
Inactive(file):   180056 kB
Unevictable:      249320 kB
Mlocked:          249320 kB
SwapTotal:      67108856 kB
SwapFree:       67099436 kB
Dirty:             18272 kB
Writeback:            20 kB
AnonPages:      13353408 kB
Mapped:            10476 kB
Shmem:                 0 kB
Slab:             602680 kB
SReclaimable:      46716 kB
SUnreclaim:       555964 kB
KernelStack:        1488 kB
PageTables:        30064 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:   13458936 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     40960 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71700 MiB
End job on node103 at 2016-06-18 10:44:19