Trace number 4103661

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) 321.257 321.327

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-pilot4.opb
MD5SUM3562a44ca41f194f065cdd316b346d0e
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1.2888
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables26494
Total number of constraints657
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 constraints657
Minimum length of a constraint10
Maximum length of a constraint1427
Number of terms in the objective function 120
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 4294967292
Number of bits of the sum of numbers in the objective function 32
Biggest number in a constraint 14948627381600911360
Number of bits of the biggest number in a constraint 64
Biggest sum of numbers in a constraint 99417465468392888124
Number of bits of the biggest sum of numbers67
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:27:57+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-4103661-1466238477.opb"]
0.00/0.01	c use --random-gen="3191497996 2935646850 1746042844 84881683 2671580257 3044852359 33425653 1370635783 2107283012 22326723 3852792742 4240711705 2724175127 1143363810 894315758 2700709056 4250744926 2113993450 3819790757 3539966625 1967560652 34377336 2429569646 2521468302 1008696083 2914751439 1469101670 2781463669 147553036 183352236 711757561 1620407107 1611117012 3144315313 3002207489 751676706 2281621618 2476742568 1322368003 2909212019 2102059045 3800877748 4101199700 2723047316 914685020 3839315594 2490626114 2532308733 4105497869 3742328819 1148652945 2677114905 552423699 2658324884 2046457381 1485708330 4283566910 4186654072 2220549182 3192739687 1066189305 2338520942 3038765633 3037278136 2911315816 2419859299 2418209292 3142386863 2354803767 3205046107 3815680198 906415731 3046892115 198641450 549495038 1467377578 2448026186 3637553888 1057686577 3065700342 1983260566 1473934261 1485655242 1935498786 1330690210 2070149661 3065277567 3623765368 2935913092 1012437021 1965442122 3440737108 1358665366 290871020 1015133983 1871072591 65701448 4056300551 3144866337 2771554677 2120815559 2945194809 233763309 1083619472 2961182385 3480482942 3811972936 319785994 2474625727 2946942091 2047029747 3735484301 4290571918 846447725 2161103075 1089667771 2131547640 104245747 2469144531 192429043 2586476663 2812402242 926480841 443590681 3548720341 2977556897 4120053935 2966554463 272602650 1001792950 1386287867 1660489154 322143399 989388584 1595598292 4279611484 320320138 2750044627 2844284694 762146944 1674568451 3034407853 3116143372 3381001537 463735036 2830314940 3258684344 4147053220 2266610329 1022177081 2889597953 3870085695 2790608215 3572463629 1460065541 1830078430 1150128503 1765359626 3387046531 3429956364 719350137 1360807465 1876232588 1721607738 4067039428 2351819188 2924221690 3888299612 3438298836 170057611 3195014966 3938964139 1264846991 4168538173 4180249427 3542837964 1264566923 2634163986 1696170480 399957843 61264349 1755612461 1927641322 3546299951 2025396377 4084163607 1068551389 713523547 796485062 340709735 3281448595 2471890173 2013809617 2515107480 3826022690 450356594 564693368 196754382 3862618947 592786549 2644545812 966352790 1237491402 2926495282 227681315 703191900 3439188067 2344306236 1470383238 886226081 252106396 4047197725 295643974 4201629914 1313877714 260480166 4146667681 2039958828 4200450052 685042636 3064765218 278685919 3737567921 4148258265 3683748212 3562309537 3051488232 1964140272 3757793031 2181322108 883771605 2043834010 1012784855 2131887052 381316148 727368453 342040617 3458356875 165856620 3996491755 3582800452 991689560 1334891078 3302407343 3577292183 485223529 1426360389 962185632 1286844983 735012594 2834236981 3855584050 1222286855 12031142 1155881762 1800986391 255 362436" option to reproduce the execution
0.29/0.30	c #vars 26494
0.29/0.30	c #constraints 657

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

pid=17901
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.19 2.19 2.18 4/179 17904
/proc/meminfo: memFree=26852228/32872528 swapFree=1286400/1433568
[pid=17904] ppid=17901 vsize=679356 CPUtime=0 cores=1,3,5,7
/proc/17904/stat : 17904 (toysat) R 17901 17904 12983 0 -1 4202496 2525 0 0 0 0 0 0 0 20 0 4 0 25894478 695660544 3397 33554432000 4194304 16246674 140735255993184 140735255992608 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17904/statm: 170607 3407 441 2943 0 167501 0
[pid=17904/tid=17905] ppid=17901 vsize=696764 CPUtime=0 cores=1,3,5,7
/proc/17904/task/17905/stat : 17905 (toysat) S 17901 17904 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25894478 713486336 3465 33554432000 4194304 16246674 140735255993184 140616218422512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17904/tid=17906] ppid=17901 vsize=700860 CPUtime=0 cores=1,3,5,7
/proc/17904/task/17906/stat : 17906 (toysat) S 17901 17904 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25894478 717680640 3481 33554432000 4194304 16246674 140735255993184 140616207932656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17904/tid=17907] ppid=17901 vsize=705980 CPUtime=0 cores=1,3,5,7
/proc/17904/task/17907/stat : 17907 (toysat) S 17901 17904 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25894478 722923520 3497 33554432000 4194304 16246674 140735255993184 140616088415408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100164 s]
/proc/loadavg: 2.19 2.19 2.18 4/179 17904
/proc/meminfo: memFree=26852228/32872528 swapFree=1286400/1433568
[pid=17904] ppid=17901 vsize=1304132 CPUtime=0.09 cores=1,3,5,7
/proc/17904/stat : 17904 (toysat) R 17901 17904 12983 0 -1 4202496 29600 0 0 0 5 4 0 0 20 0 4 0 25894478 1335431168 30411 33554432000 4194304 16246674 140735255993184 140735255992496 7374276 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17904/statm: 326033 30424 801 2943 0 322927 0
[pid=17904/tid=17905] ppid=17901 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/17904/task/17905/stat : 17905 (toysat) S 17901 17904 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25894478 1335431168 30433 33554432000 4194304 16246674 140735255993184 140616218422512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17904/tid=17906] ppid=17901 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/17904/task/17906/stat : 17906 (toysat) S 17901 17904 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25894478 1335431168 30445 33554432000 4194304 16246674 140735255993184 140616207932656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17904/tid=17907] ppid=17901 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/17904/task/17907/stat : 17907 (toysat) S 17901 17904 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25894478 1335431168 30456 33554432000 4194304 16246674 140735255993184 140616088415408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1304132

[startup+0.200463 s]
/proc/loadavg: 2.19 2.19 2.18 4/179 17904
/proc/meminfo: memFree=26852228/32872528 swapFree=1286400/1433568
[pid=17904] ppid=17901 vsize=1310276 CPUtime=0.19 cores=1,3,5,7
/proc/17904/stat : 17904 (toysat) R 17901 17904 12983 0 -1 4202496 38760 0 0 0 14 5 0 0 20 0 4 0 25894478 1341722624 40081 33554432000 4194304 16246674 140735255993184 140735255992496 4220850 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17904/statm: 327569 40081 802 2943 0 324463 0
[pid=17904/tid=17905] ppid=17901 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/17904/task/17905/stat : 17905 (toysat) S 17901 17904 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25894478 1341722624 40081 33554432000 4194304 16246674 140735255993184 140616218422512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17904/tid=17906] ppid=17901 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/17904/task/17906/stat : 17906 (toysat) S 17901 17904 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25894478 1341722624 40081 33554432000 4194304 16246674 140735255993184 140616207932656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17904/tid=17907] ppid=17901 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/17904/task/17907/stat : 17907 (toysat) S 17901 17904 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25894478 1341722624 40081 33554432000 4194304 16246674 140735255993184 140616088415408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1310276

[startup+0.300446 s]
/proc/loadavg: 2.19 2.19 2.18 4/179 17904
/proc/meminfo: memFree=26852228/32872528 swapFree=1286400/1433568
[pid=17904] ppid=17901 vsize=1311300 CPUtime=0.29 cores=1,3,5,7
/proc/17904/stat : 17904 (toysat) R 17901 17904 12983 0 -1 4202496 39022 0 0 0 24 5 0 0 20 0 4 0 25894478 1342771200 40343 33554432000 4194304 16246674 140735255993184 140735255992496 4221116 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17904/statm: 327825 40343 802 2943 0 324719 0
[pid=17904/tid=17905] ppid=17901 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/17904/task/17905/stat : 17905 (toysat) S 17901 17904 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25894478 1342771200 40343 33554432000 4194304 16246674 140735255993184 140616218422512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17904/tid=17906] ppid=17901 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/17904/task/17906/stat : 17906 (toysat) S 17901 17904 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25894478 1342771200 40343 33554432000 4194304 16246674 140735255993184 140616207932656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17904/tid=17907] ppid=17901 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/17904/task/17907/stat : 17907 (toysat) S 17901 17904 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25894478 1342771200 40343 33554432000 4194304 16246674 140735255993184 140616088415408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1311300

[startup+0.70034 s]
/proc/loadavg: 2.19 2.19 2.18 4/179 17904
/proc/meminfo: memFree=26852228/32872528 swapFree=1286400/1433568
[pid=17904] ppid=17901 vsize=1319492 CPUtime=0.69 cores=1,3,5,7
/proc/17904/stat : 17904 (toysat) R 17901 17904 12983 0 -1 4202496 115678 0 0 0 54 15 0 0 20 0 4 0 25894478 1351159808 116999 33554432000 4194304 16246674 140735255993184 140735255992496 12654121 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17904/statm: 329873 117012 832 2943 0 326767 0
[pid=17904/tid=17905] ppid=17901 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/17904/task/17905/stat : 17905 (toysat) S 17901 17904 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25894478 1351159808 117021 33554432000 4194304 16246674 140735255993184 140616218422512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17904/tid=17906] ppid=17901 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/17904/task/17906/stat : 17906 (toysat) S 17901 17904 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25894478 1351159808 117030 33554432000 4194304 16246674 140735255993184 140616207932656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17904/tid=17907] ppid=17901 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/17904/task/17907/stat : 17907 (toysat) S 17901 17904 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25894478 1351159808 117038 33554432000 4194304 16246674 140735255993184 140616088415408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1319492

[startup+1.50035 s]
/proc/loadavg: 2.19 2.19 2.18 4/183 17908
/proc/meminfo: memFree=26039448/32872528 swapFree=1286400/1433568
[pid=17904] ppid=17901 vsize=1344068 CPUtime=1.48 cores=1,3,5,7
/proc/17904/stat : 17904 (toysat) R 17901 17904 12983 0 -1 4202496 276529 0 0 0 112 36 0 0 20 0 4 0 25894478 1376325632 277850 33554432000 4194304 16246674 140735255993184 140735255975104 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17904/statm: 336017 277855 833 2943 0 332911 0
[pid=17904/tid=17905] ppid=17901 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/17904/task/17905/stat : 17905 (toysat) S 17901 17904 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25894478 1376325632 277859 33554432000 4194304 16246674 140735255993184 140616218422512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17904/tid=17906] ppid=17901 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/17904/task/17906/stat : 17906 (toysat) S 17901 17904 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25894478 1376325632 277862 33554432000 4194304 16246674 140735255993184 140616207932656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17904/tid=17907] ppid=17901 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/17904/task/17907/stat : 17907 (toysat) S 17901 17904 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25894478 1376325632 277866 33554432000 4194304 16246674 140735255993184 140616088415408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1344068

[startup+3.10037 s]
/proc/loadavg: 2.25 2.20 2.18 4/183 17908
/proc/meminfo: memFree=25696944/32872528 swapFree=1286400/1433568
[pid=17904] ppid=17901 vsize=1388100 CPUtime=3.09 cores=1,3,5,7
/proc/17904/stat : 17904 (toysat) R 17901 17904 12983 0 -1 4202496 287636 0 0 0 271 38 0 0 20 0 4 0 25894478 1421414400 288957 33554432000 4194304 16246674 140735255993184 140735255992360 12656213 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17904/statm: 347025 288957 833 2943 0 343919 0
[pid=17904/tid=17905] ppid=17901 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/17904/task/17905/stat : 17905 (toysat) S 17901 17904 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25894478 1421414400 288957 33554432000 4194304 16246674 140735255993184 140616218422512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17904/tid=17906] ppid=17901 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/17904/task/17906/stat : 17906 (toysat) S 17901 17904 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25894478 1421414400 288957 33554432000 4194304 16246674 140735255993184 140616207932656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17904/tid=17907] ppid=17901 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/17904/task/17907/stat : 17907 (toysat) S 17901 17904 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25894478 1421414400 288957 33554432000 4194304 16246674 140735255993184 140616088415408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1388100

[startup+6.30038 s]
/proc/loadavg: 2.25 2.20 2.18 4/183 17908
/proc/meminfo: memFree=24515284/32872528 swapFree=1286400/1433568
[pid=17904] ppid=17901 vsize=1467972 CPUtime=6.28 cores=1,3,5,7
/proc/17904/stat : 17904 (toysat) R 17901 17904 12983 0 -1 4202496 307605 0 0 0 588 40 0 0 20 0 4 0 25894478 1503203328 308926 33554432000 4194304 16246674 140735255993184 140735255992496 4220520 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17904/statm: 366993 308926 833 2943 0 363887 0
[pid=17904/tid=17905] ppid=17901 vsize=1467972 CPUtime=0 cores=1,3,5,7
/proc/17904/task/17905/stat : 17905 (toysat) S 17901 17904 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25894478 1503203328 308926 33554432000 4194304 16246674 140735255993184 140616218422512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17904/tid=17906] ppid=17901 vsize=1467972 CPUtime=0 cores=1,3,5,7
/proc/17904/task/17906/stat : 17906 (toysat) S 17901 17904 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25894478 1503203328 308926 33554432000 4194304 16246674 140735255993184 140616207932656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17904/tid=17907] ppid=17901 vsize=1467972 CPUtime=0 cores=1,3,5,7
/proc/17904/task/17907/stat : 17907 (toysat) S 17901 17904 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25894478 1503203328 308926 33554432000 4194304 16246674 140735255993184 140616088415408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1467972

[startup+12.7004 s]
/proc/loadavg: 2.21 2.20 2.18 5/183 17908
/proc/meminfo: memFree=23424456/32872528 swapFree=1286400/1433568
[pid=17904] ppid=17901 vsize=1467972 CPUtime=12.68 cores=1,3,5,7
/proc/17904/stat : 17904 (toysat) R 17901 17904 12983 0 -1 4202496 307605 0 0 0 1228 40 0 0 20 0 4 0 25894478 1503203328 308926 33554432000 4194304 16246674 140735255993184 140735255990976 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17904/statm: 366993 308926 833 2943 0 363887 0
[pid=17904/tid=17905] ppid=17901 vsize=1467972 CPUtime=0 cores=1,3,5,7
/proc/17904/task/17905/stat : 17905 (toysat) S 17901 17904 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25894478 1503203328 308926 33554432000 4194304 16246674 140735255993184 140616218422512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17904/tid=17906] ppid=17901 vsize=1467972 CPUtime=0 cores=1,3,5,7
/proc/17904/task/17906/stat : 17906 (toysat) S 17901 17904 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25894478 1503203328 308926 33554432000 4194304 16246674 140735255993184 140616207932656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17904/tid=17907] ppid=17901 vsize=1467972 CPUtime=0 cores=1,3,5,7
/proc/17904/task/17907/stat : 17907 (toysat) S 17901 17904 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25894478 1503203328 308926 33554432000 4194304 16246674 140735255993184 140616088415408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1467972

[startup+25.5004 s]
/proc/loadavg: 2.26 2.21 2.18 4/183 17909
/proc/meminfo: memFree=21231028/32872528 swapFree=1286400/1433568
[pid=17904] ppid=17901 vsize=2432580 CPUtime=25.49 cores=1,3,5,7
/proc/17904/stat : 17904 (toysat) R 17901 17904 12983 0 -1 4202496 548757 0 0 0 2479 70 0 0 20 0 4 0 25894478 2490961920 550078 33554432000 4194304 16246674 140735255993184 140735255990976 12653056 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17904/statm: 608145 550078 833 2943 0 605039 0
[pid=17904/tid=17905] ppid=17901 vsize=2432580 CPUtime=0 cores=1,3,5,7
/proc/17904/task/17905/stat : 17905 (toysat) S 17901 17904 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25894478 2490961920 550078 33554432000 4194304 16246674 140735255993184 140616218422512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17904/tid=17906] ppid=17901 vsize=2432580 CPUtime=0 cores=1,3,5,7
/proc/17904/task/17906/stat : 17906 (toysat) S 17901 17904 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25894478 2490961920 550078 33554432000 4194304 16246674 140735255993184 140616207932656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17904/tid=17907] ppid=17901 vsize=2432580 CPUtime=0 cores=1,3,5,7
/proc/17904/task/17907/stat : 17907 (toysat) S 17901 17904 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25894478 2490961920 550078 33554432000 4194304 16246674 140735255993184 140616088415408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2432580

[startup+51.1005 s]
/proc/loadavg: 2.23 2.20 2.18 5/183 17909
/proc/meminfo: memFree=15388228/32872528 swapFree=1286400/1433568
[pid=17904] ppid=17901 vsize=4628036 CPUtime=51.09 cores=1,3,5,7
/proc/17904/stat : 17904 (toysat) R 17901 17904 12983 0 -1 4202496 1127573 0 0 0 4962 147 0 0 20 0 4 0 25894478 4739108864 1098942 33554432000 4194304 16246674 140735255993184 140735255992280 4220543 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17904/statm: 1157009 1098942 833 2943 0 1153903 0
[pid=17904/tid=17905] ppid=17901 vsize=4628036 CPUtime=0 cores=1,3,5,7
/proc/17904/task/17905/stat : 17905 (toysat) S 17901 17904 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25894478 4739108864 1098942 33554432000 4194304 16246674 140735255993184 140616218422512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17904/tid=17906] ppid=17901 vsize=4628036 CPUtime=0 cores=1,3,5,7
/proc/17904/task/17906/stat : 17906 (toysat) S 17901 17904 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25894478 4739108864 1098942 33554432000 4194304 16246674 140735255993184 140616207932656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17904/tid=17907] ppid=17901 vsize=4628036 CPUtime=0 cores=1,3,5,7
/proc/17904/task/17907/stat : 17907 (toysat) S 17901 17904 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25894478 4739108864 1098942 33554432000 4194304 16246674 140735255993184 140616088415408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 4628036

[startup+102.3 s]
/proc/loadavg: 2.34 2.23 2.19 4/183 17910
/proc/meminfo: memFree=11854716/32872528 swapFree=1286400/1433568
[pid=17904] ppid=17901 vsize=4730436 CPUtime=102.28 cores=1,3,5,7
/proc/17904/stat : 17904 (toysat) R 17901 17904 12983 0 -1 4202496 2000535 0 0 0 9942 286 0 0 20 0 4 0 25894478 4843966464 1124544 33554432000 4194304 16246674 140735255993184 140735255992360 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17904/statm: 1182609 1124544 833 2943 0 1179503 0
[pid=17904/tid=17905] ppid=17901 vsize=4730436 CPUtime=0 cores=1,3,5,7
/proc/17904/task/17905/stat : 17905 (toysat) S 17901 17904 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25894478 4843966464 1124544 33554432000 4194304 16246674 140735255993184 140616218422512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17904/tid=17906] ppid=17901 vsize=4730436 CPUtime=0 cores=1,3,5,7
/proc/17904/task/17906/stat : 17906 (toysat) S 17901 17904 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25894478 4843966464 1124544 33554432000 4194304 16246674 140735255993184 140616207932656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17904/tid=17907] ppid=17901 vsize=4730436 CPUtime=0 cores=1,3,5,7
/proc/17904/task/17907/stat : 17907 (toysat) S 17901 17904 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25894478 4843966464 1124544 33554432000 4194304 16246674 140735255993184 140616088415408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 4730436

[startup+162.3 s]
/proc/loadavg: 2.40 2.27 2.20 5/184 17914
/proc/meminfo: memFree=9948768/32872528 swapFree=1286400/1433568
[pid=17904] ppid=17901 vsize=5656132 CPUtime=162.26 cores=1,3,5,7
/proc/17904/stat : 17904 (toysat) R 17901 17904 12983 0 -1 4202496 3242912 0 0 0 15752 474 0 0 20 0 4 0 25894478 5791879168 1355977 33554432000 4194304 16246674 140735255993184 140735255992280 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17904/statm: 1414033 1355977 835 2943 0 1410927 0
[pid=17904/tid=17905] ppid=17901 vsize=5656132 CPUtime=0 cores=1,3,5,7
/proc/17904/task/17905/stat : 17905 (toysat) S 17901 17904 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25894478 5791879168 1355977 33554432000 4194304 16246674 140735255993184 140616218422512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17904/tid=17906] ppid=17901 vsize=5656132 CPUtime=0 cores=1,3,5,7
/proc/17904/task/17906/stat : 17906 (toysat) S 17901 17904 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25894478 5791879168 1355977 33554432000 4194304 16246674 140735255993184 140616207932656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17904/tid=17907] ppid=17901 vsize=5656132 CPUtime=0 cores=1,3,5,7
/proc/17904/task/17907/stat : 17907 (toysat) S 17901 17904 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25894478 5791879168 1355977 33554432000 4194304 16246674 140735255993184 140616088415408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 5656132

[startup+222.308 s]
/proc/loadavg: 2.33 2.27 2.20 4/183 17963
/proc/meminfo: memFree=7544880/32872528 swapFree=1286400/1433568
[pid=17904] ppid=17901 vsize=13591108 CPUtime=222.26 cores=1,3,5,7
/proc/17904/stat : 17904 (toysat) R 17901 17904 12983 0 -1 4202496 5226664 0 0 0 21488 738 0 0 20 0 4 0 25894478 13917294592 3339731 33554432000 4194304 16246674 140735255993184 140735255991104 14013960 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17904/statm: 3397777 3339731 840 2943 0 3394671 0
[pid=17904/tid=17905] ppid=17901 vsize=13591108 CPUtime=0 cores=1,3,5,7
/proc/17904/task/17905/stat : 17905 (toysat) S 17901 17904 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25894478 13917294592 3339731 33554432000 4194304 16246674 140735255993184 140616218422512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17904/tid=17906] ppid=17901 vsize=13591108 CPUtime=0 cores=1,3,5,7
/proc/17904/task/17906/stat : 17906 (toysat) S 17901 17904 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25894478 13917294592 3339731 33554432000 4194304 16246674 140735255993184 140616207932432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17904/tid=17907] ppid=17901 vsize=13591108 CPUtime=0 cores=1,3,5,7
/proc/17904/task/17907/stat : 17907 (toysat) S 17901 17904 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25894478 13917294592 3339731 33554432000 4194304 16246674 140735255993184 140616088415408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 13591108

[startup+282.3 s]
/proc/loadavg: 2.31 2.27 2.20 3/183 17964
/proc/meminfo: memFree=3221720/32872528 swapFree=1286400/1433568
[pid=17904] ppid=17901 vsize=15567428 CPUtime=282.24 cores=1,3,5,7
/proc/17904/stat : 17904 (toysat) R 17901 17904 12983 0 -1 4202496 5662771 0 0 0 27424 800 0 0 20 0 4 0 25894478 15941046272 3833581 33554432000 4194304 16246674 140735255993184 140735255991104 4220807 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17904/statm: 3891857 3833581 840 2943 0 3888751 0
[pid=17904/tid=17905] ppid=17901 vsize=15567428 CPUtime=0 cores=1,3,5,7
/proc/17904/task/17905/stat : 17905 (toysat) S 17901 17904 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25894478 15941046272 3833581 33554432000 4194304 16246674 140735255993184 140616218422512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17904/tid=17906] ppid=17901 vsize=15567428 CPUtime=0 cores=1,3,5,7
/proc/17904/task/17906/stat : 17906 (toysat) S 17901 17904 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25894478 15941046272 3833581 33554432000 4194304 16246674 140735255993184 140616207932432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17904/tid=17907] ppid=17901 vsize=15567428 CPUtime=0 cores=1,3,5,7
/proc/17904/task/17907/stat : 17907 (toysat) S 17901 17904 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25894478 15941046272 3833581 33554432000 4194304 16246674 140735255993184 140616088415408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 15567428



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+320.5 s]
/proc/loadavg: 2.28 2.27 2.20 3/183 17965
/proc/meminfo: memFree=2108352/32872528 swapFree=1286400/1433568
[pid=17904] ppid=17901 vsize=15888964 CPUtime=320.43 cores=1,3,5,7
/proc/17904/stat : 17904 (toysat) R 17901 17904 12983 0 -1 4202496 5743323 0 0 0 31227 816 0 0 20 0 4 0 25894478 16270299136 3914133 33554432000 4194304 16246674 140735255993184 140735255992280 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17904/statm: 3972241 3914144 840 2943 0 3969135 0
[pid=17904/tid=17905] ppid=17901 vsize=15888964 CPUtime=0 cores=1,3,5,7
/proc/17904/task/17905/stat : 17905 (toysat) S 17901 17904 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25894478 16270299136 3914151 33554432000 4194304 16246674 140735255993184 140616218422512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17904/tid=17906] ppid=17901 vsize=15888964 CPUtime=0 cores=1,3,5,7
/proc/17904/task/17906/stat : 17906 (toysat) S 17901 17904 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25894478 16270299136 3914157 33554432000 4194304 16246674 140735255993184 140616207932656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17904/tid=17907] ppid=17901 vsize=15888964 CPUtime=0 cores=1,3,5,7
/proc/17904/task/17907/stat : 17907 (toysat) S 17901 17904 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25894478 16270299136 3914165 33554432000 4194304 16246674 140735255993184 140616088415408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 320.43
Current children cumulated vsize (KiB) 15888964

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

[startup+320.8 s]
/proc/loadavg: 2.28 2.27 2.20 3/183 17965
/proc/meminfo: memFree=2108352/32872528 swapFree=1286400/1433568
[pid=17904] ppid=17901 vsize=0 CPUtime=320.72 cores=1,3,5,7
/proc/17904/stat : 17904 (toysat) Z 17901 17904 12983 0 -1 4203532 5744048 0 0 0 31227 845 0 0 20 0 2 0 25894478 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17904/statm: 0 0 0 0 0 0 0
[pid=17904/tid=17906] ppid=17901 vsize=0 CPUtime=0.28 cores=1,3,5,7
/proc/17904/task/17906/stat : 17906 (toysat) R 17901 17904 12983 0 -1 4203588 8 0 0 0 0 28 0 0 20 0 2 0 25894478 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 320.72
Current children cumulated vsize (KiB) 0

[startup+321.2 s]
/proc/loadavg: 2.28 2.27 2.20 3/181 17965
/proc/meminfo: memFree=14965616/32872528 swapFree=1286400/1433568
[pid=17904] ppid=17901 vsize=0 CPUtime=321.13 cores=1,3,5,7
/proc/17904/stat : 17904 (toysat) Z 17901 17904 12983 0 -1 4203532 5744048 0 0 0 31227 886 0 0 20 0 2 0 25894478 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17904/statm: 0 0 0 0 0 0 0
[pid=17904/tid=17906] ppid=17901 vsize=0 CPUtime=0.69 cores=1,3,5,7
/proc/17904/task/17906/stat : 17906 (toysat) R 17901 17904 12983 0 -1 4203588 8 0 0 0 0 69 0 0 20 0 2 0 25894478 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 321.13
Current children cumulated vsize (KiB) 0

[startup+321.307 s]
/proc/loadavg: 2.28 2.27 2.20 3/181 17965
/proc/meminfo: memFree=14965616/32872528 swapFree=1286400/1433568
[pid=17904] ppid=17901 vsize=0 CPUtime=321.23 cores=1,3,5,7
/proc/17904/stat : 17904 (toysat) Z 17901 17904 12983 0 -1 4203532 5744048 0 0 0 31227 896 0 0 20 0 2 0 25894478 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17904/statm: 0 0 0 0 0 0 0
[pid=17904/tid=17906] ppid=17901 vsize=0 CPUtime=0.79 cores=1,3,5,7
/proc/17904/task/17906/stat : 17906 (toysat) R 17901 17904 12983 0 -1 4203588 8 0 0 0 0 79 0 0 20 0 2 0 25894478 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 321.23
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 321.327
CPU time (s): 321.257
CPU user time (s): 312.276
CPU system time (s): 8.98163
CPU usage (%): 99.9782
Max. virtual memory (cumulated for all children) (KiB): 15888964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 312.276
system time used= 8.98163
maximum resident set size= 15659432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5744048
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= 222
involuntary context switches= 326

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.04169 second user time and 2.42163 second system time

The end

Launcher Data 

Begin job on node130 at 2016-06-18 10:27:57
IDJOB=4103661
IDBENCH=2424
IDSOLVER=2542
FILE ID=node130/4103661-1466238477
RUNJOBID= node130-1466206066-13000
PBS_JOBID= 19918147
Free space on /tmp= 71688 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-pilot4.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103661-1466238477/watcher-4103661-1466238477 -o /tmp/evaluation-result-4103661-1466238477/solver-4103661-1466238477 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466206066-13000 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103661-1466238477.opb

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

MD5SUM BENCH= 3562a44ca41f194f065cdd316b346d0e
RANDOM SEED=1552366016

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.365
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.365
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.53
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.365
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.56
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.365
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:        26852508 kB
Buffers:            1080 kB
Cached:           112552 kB
SwapCached:         1468 kB
Active:          3832160 kB
Inactive:          13488 kB
Active(anon):    3733072 kB
Inactive(anon):     1480 kB
Active(file):      99088 kB
Inactive(file):    12008 kB
Unevictable:     1433568 kB
Mlocked:         1286400 kB
SwapTotal:      67108856 kB
SwapFree:       67096656 kB
Dirty:             77408 kB
Writeback:             0 kB
AnonPages:       5165412 kB
Mapped:             8160 kB
Shmem:                 0 kB
Slab:             599032 kB
SReclaimable:      42436 kB
SUnreclaim:       556596 kB
KernelStack:        1496 kB
PageTables:        14280 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    5314340 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    235520 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node130 at 2016-06-18 10:33:19