Trace number 4118106

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) 228.989 229.032

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-BIGINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-cardqp_inlp.opb
MD5SUMc82e474a4b046a910d07c1f80037da59
Bench CategoryOPT-BIGINT-NLC (optimisation, big integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark816688461479
Best CPU time to get the best result obtained on this benchmark1800.66
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables50
Total number of constraints1
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint50
Maximum length of a constraint50
Number of terms in the objective function 1275
Biggest coefficient in the objective function 39357191031
Number of bits for the biggest coefficient in the objective function 36
Sum of the numbers in the objective function 25596713602429
Number of bits of the sum of numbers in the objective function 45
Biggest number in a constraint 39357191031
Number of bits of the biggest number in a constraint 36
Biggest sum of numbers in a constraint 25596713602429
Number of bits of the biggest sum of numbers45
Number of products (including duplicates)1225
Sum of products size (including duplicates)2450
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-29T19:35:24+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-4118106-1467221724.opb"]
0.00/0.01	c use --random-gen="1964609091 2942995574 2451963370 4011264213 3830134889 2363033507 145152081 2773184313 3629670170 558433707 2766643703 3861117462 365167333 3458955004 3193176425 1178755337 2048678424 3280312392 3055680799 3879339063 3101951708 4178835591 1146182516 3812271493 1854527848 2963720671 2248115516 694239439 2277364330 2440860500 1600553562 4149185747 2072319251 34553199 1408282156 1863203273 1597950136 4169272565 3317081221 421534926 1418875591 3914459403 3500367163 708202055 2793187531 2504373774 2396547938 629794282 2892475314 3836152568 504476921 4256778458 306287483 4240313839 4247672204 1278456085 3301040948 1481536045 1761620564 1847282419 815724610 1884183847 3447458851 4015351135 1489341498 2500996662 228426704 2702359766 4033377858 56103022 1454568103 2219674165 2636046139 3504332777 1083550765 1880730833 3274791553 4204997521 2450011375 105996080 2180633031 293111895 226870727 3256902049 2506890156 288403671 199839782 2091829446 672635863 1639647240 1487509263 677507927 1768682566 2842424021 3853890682 2287715967 1668797558 2242757487 1166136338 2445614299 3720594872 4204867165 3388392335 1066810783 865685447 179272190 3022845253 1232534339 4119245694 910848199 1175714676 4021806820 2180230040 1777350420 3603988880 2331456084 617291000 4099989688 2894036367 387857218 1716041155 1748809421 3886794937 438194983 3904948263 2075601100 3905283159 3487726169 2233306815 2754071488 658402164 21658945 2581277657 3895477145 900158964 462516638 3484465543 1121950 1123458302 1352062233 3003315057 4084219601 1793368982 2384454957 2905196455 2298770411 1836874986 1204856454 2029424981 3024333647 1801437738 1940249563 1552733479 482862698 2722915211 3930968166 3652255682 3737538860 1144671861 3185053918 4258662293 3902349564 2784369855 3265630612 2668565938 3388138560 1678820228 1226092651 3762507533 1866223310 4193953556 3540115585 788320737 1066935086 2120900605 984044486 3431652215 2610587468 593782530 478749446 3813369501 206579681 2743054364 2001806304 872861786 3096745991 1136659524 3509456776 317846161 1242013260 2704378451 1731006744 1513419954 3731547385 898524697 1882736241 3024485187 1248108261 1490743972 1614862539 71863467 1418033278 4143909311 2304222719 1479153212 893518446 2437899884 3306203376 2741458511 1598176075 2340702585 2548891111 1762189198 1369536809 3012088397 1921760590 1081701505 2186600550 2919957557 4199508885 1512748626 1280773916 1385586654 743046202 288796174 3184085675 3944996168 2537811452 2091341633 4194240246 1088715743 1824969393 253763298 613160407 1351488825 2009832267 2728281478 2091545172 3272539401 2533796923 657866088 3433288383 2757820096 3728072683 3258041788 2467061137 3488669184 2119010314 2443070615 4130551938 2823000738 1634242997 537987822 2897463369 2347839020 972185245 255 362436" option to reproduce the execution
0.00/0.01	c #vars 50
0.00/0.01	c #constraints 1
0.00/0.03	c BCD2: Hardening is enabled.
0.00/0.03	c BCD2: BiasedSearch is enabled.
0.00/0.03	c Solving starts ...
0.00/0.03	c ============================[ Search Statistics ]============================
0.00/0.03	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.03	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.03	c =============================================================================
0.00/0.03	c  0.0s |       0 |        0 |        0 |      834      0 |        0 |        0
0.00/0.03	c  0.0s |       0 |     1234 |        0 |      834      0 |        0 |        0
0.00/0.03	c #cpu_time = 0.003s
0.00/0.03	c #wall_clock_time = 0.003s
0.00/0.03	c #decision = 1234
0.00/0.03	c #random_decision = 8
0.00/0.03	c #conflict = 0
0.00/0.03	c #restart = 0
0.00/0.03	o 920603516934

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6566
/proc/meminfo: memFree=29257320/32872528 swapFree=7620/7620
[pid=6566] ppid=6563 vsize=712124 CPUtime=0 cores=1,3,5,7
/proc/6566/stat : 6566 (toysat) R 6563 6566 5453 0 -1 4202496 2657 0 0 0 0 0 0 0 20 0 4 0 3068507 729214976 3017 33554432000 4194304 16246674 140734649128176 140734649127600 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6566/statm: 178799 3027 441 2943 0 175693 0
[pid=6566/tid=6567] ppid=6563 vsize=729532 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6567/stat : 6567 (toysat) S 6563 6566 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3068508 747040768 3085 33554432000 4194304 16246674 140734649128176 139732879125744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6566/tid=6568] ppid=6563 vsize=734652 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6568/stat : 6568 (toysat) S 6563 6566 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3068508 752283648 3101 33554432000 4194304 16246674 140734649128176 139732868635888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6566/tid=6569] ppid=6563 vsize=738748 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6569/stat : 6569 (toysat) S 6563 6566 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3068508 756477952 3121 33554432000 4194304 16246674 140734649128176 139732858162352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100176 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6566
/proc/meminfo: memFree=29257320/32872528 swapFree=7620/7620
[pid=6566] ppid=6563 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/6566/stat : 6566 (toysat) R 6563 6566 5453 0 -1 4202496 28268 0 0 0 5 4 0 0 20 0 4 0 3068507 1247350784 28615 33554432000 4194304 16246674 140734649128176 140734649127600 12655109 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6566/statm: 304529 28629 738 2943 0 301423 0
[pid=6566/tid=6567] ppid=6563 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6567/stat : 6567 (toysat) S 6563 6566 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3068508 1247350784 28638 33554432000 4194304 16246674 140734649128176 139732879125744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6566/tid=6568] ppid=6563 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6568/stat : 6568 (toysat) S 6563 6566 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3068508 1247350784 28648 33554432000 4194304 16246674 140734649128176 139732868635888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6566/tid=6569] ppid=6563 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6569/stat : 6569 (toysat) S 6563 6566 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3068508 1247350784 28656 33554432000 4194304 16246674 140734649128176 139732858162352 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) 1218116

[startup+0.20054 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6566
/proc/meminfo: memFree=29257320/32872528 swapFree=7620/7620
[pid=6566] ppid=6563 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/6566/stat : 6566 (toysat) R 6563 6566 5453 0 -1 4202496 52103 0 0 0 12 7 0 0 20 0 4 0 3068507 1247350784 52450 33554432000 4194304 16246674 140734649128176 140734649127600 12430849 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6566/statm: 304529 52456 738 2943 0 301423 0
[pid=6566/tid=6567] ppid=6563 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6567/stat : 6567 (toysat) S 6563 6566 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3068508 1247350784 52459 33554432000 4194304 16246674 140734649128176 139732879125744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6566/tid=6568] ppid=6563 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6568/stat : 6568 (toysat) S 6563 6566 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3068508 1247350784 52463 33554432000 4194304 16246674 140734649128176 139732868635888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6566/tid=6569] ppid=6563 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6569/stat : 6569 (toysat) S 6563 6566 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3068508 1247350784 52467 33554432000 4194304 16246674 140734649128176 139732858162352 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) 1218116

[startup+0.300494 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6566
/proc/meminfo: memFree=29257320/32872528 swapFree=7620/7620
[pid=6566] ppid=6563 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/6566/stat : 6566 (toysat) R 6563 6566 5453 0 -1 4202496 77158 0 0 0 19 10 0 0 20 0 4 0 3068507 1247350784 77505 33554432000 4194304 16246674 140734649128176 140734649127600 12449273 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6566/statm: 304529 77521 738 2943 0 301423 0
[pid=6566/tid=6567] ppid=6563 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6567/stat : 6567 (toysat) S 6563 6566 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3068508 1247350784 77529 33554432000 4194304 16246674 140734649128176 139732879125744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6566/tid=6568] ppid=6563 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6568/stat : 6568 (toysat) S 6563 6566 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3068508 1247350784 77539 33554432000 4194304 16246674 140734649128176 139732868635888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6566/tid=6569] ppid=6563 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6569/stat : 6569 (toysat) S 6563 6566 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3068508 1247350784 77548 33554432000 4194304 16246674 140734649128176 139732858162352 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) 1218116

[startup+0.700415 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6566
/proc/meminfo: memFree=29257320/32872528 swapFree=7620/7620
[pid=6566] ppid=6563 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/6566/stat : 6566 (toysat) R 6563 6566 5453 0 -1 4202496 173257 0 0 0 47 22 0 0 20 0 4 0 3068507 1247350784 173604 33554432000 4194304 16246674 140734649128176 140734649110080 12657222 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6566/statm: 304529 173610 738 2943 0 301423 0
[pid=6566/tid=6567] ppid=6563 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6567/stat : 6567 (toysat) S 6563 6566 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3068508 1247350784 173614 33554432000 4194304 16246674 140734649128176 139732879125744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6566/tid=6568] ppid=6563 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6568/stat : 6568 (toysat) S 6563 6566 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3068508 1247350784 173618 33554432000 4194304 16246674 140734649128176 139732868635888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6566/tid=6569] ppid=6563 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6569/stat : 6569 (toysat) S 6563 6566 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3068508 1247350784 173621 33554432000 4194304 16246674 140734649128176 139732858162352 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) 1218116

[startup+1.50043 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6570
/proc/meminfo: memFree=28226148/32872528 swapFree=7620/7620
[pid=6566] ppid=6563 vsize=1357380 CPUtime=1.49 cores=1,3,5,7
/proc/6566/stat : 6566 (toysat) R 6563 6566 5453 0 -1 4202496 280329 0 0 0 114 35 0 0 20 0 4 0 3068507 1389957120 280654 33554432000 4194304 16246674 140734649128176 140734649127488 12653056 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6566/statm: 339345 280654 813 2943 0 336239 0
[pid=6566/tid=6567] ppid=6563 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6567/stat : 6567 (toysat) S 6563 6566 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3068508 1389957120 280654 33554432000 4194304 16246674 140734649128176 139732879125744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6566/tid=6568] ppid=6563 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6568/stat : 6568 (toysat) S 6563 6566 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3068508 1389957120 280654 33554432000 4194304 16246674 140734649128176 139732868635888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6566/tid=6569] ppid=6563 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6569/stat : 6569 (toysat) S 6563 6566 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3068508 1389957120 280654 33554432000 4194304 16246674 140734649128176 139732858162352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1357380

[startup+3.10042 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6570
/proc/meminfo: memFree=28135132/32872528 swapFree=7620/7620
[pid=6566] ppid=6563 vsize=1378884 CPUtime=3.09 cores=1,3,5,7
/proc/6566/stat : 6566 (toysat) R 6563 6566 5453 0 -1 4202496 285778 0 0 0 274 35 0 0 20 0 4 0 3068507 1411977216 286103 33554432000 4194304 16246674 140734649128176 140734649126080 13901608 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6566/statm: 344721 286103 813 2943 0 341615 0
[pid=6566/tid=6567] ppid=6563 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6567/stat : 6567 (toysat) S 6563 6566 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3068508 1411977216 286103 33554432000 4194304 16246674 140734649128176 139732879125744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6566/tid=6568] ppid=6563 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6568/stat : 6568 (toysat) S 6563 6566 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3068508 1411977216 286103 33554432000 4194304 16246674 140734649128176 139732868635664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6566/tid=6569] ppid=6563 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6569/stat : 6569 (toysat) S 6563 6566 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3068508 1411977216 286103 33554432000 4194304 16246674 140734649128176 139732858162352 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) 1378884

[startup+6.30042 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6570
/proc/meminfo: memFree=28113308/32872528 swapFree=7620/7620
[pid=6566] ppid=6563 vsize=1397316 CPUtime=6.29 cores=1,3,5,7
/proc/6566/stat : 6566 (toysat) R 6563 6566 5453 0 -1 4202496 290387 0 0 0 594 35 0 0 20 0 4 0 3068507 1430851584 290712 33554432000 4194304 16246674 140734649128176 140734649127488 12657135 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6566/statm: 349329 290712 813 2943 0 346223 0
[pid=6566/tid=6567] ppid=6563 vsize=1397316 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6567/stat : 6567 (toysat) S 6563 6566 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3068508 1430851584 290712 33554432000 4194304 16246674 140734649128176 139732879125744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6566/tid=6568] ppid=6563 vsize=1397316 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6568/stat : 6568 (toysat) S 6563 6566 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3068508 1430851584 290712 33554432000 4194304 16246674 140734649128176 139732868635888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6566/tid=6569] ppid=6563 vsize=1397316 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6569/stat : 6569 (toysat) S 6563 6566 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3068508 1430851584 290712 33554432000 4194304 16246674 140734649128176 139732858162352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1397316

[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6570
/proc/meminfo: memFree=27085924/32872528 swapFree=7620/7620
[pid=6566] ppid=6563 vsize=2403908 CPUtime=12.69 cores=1,3,5,7
/proc/6566/stat : 6566 (toysat) R 6563 6566 5453 0 -1 4202496 542035 0 0 0 1198 71 0 0 20 0 4 0 3068507 2461601792 542360 33554432000 4194304 16246674 140734649128176 140734649127272 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6566/statm: 600977 542360 813 2943 0 597871 0
[pid=6566/tid=6567] ppid=6563 vsize=2403908 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6567/stat : 6567 (toysat) S 6563 6566 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3068508 2461601792 542360 33554432000 4194304 16246674 140734649128176 139732879125744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6566/tid=6568] ppid=6563 vsize=2403908 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6568/stat : 6568 (toysat) S 6563 6566 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3068508 2461601792 542360 33554432000 4194304 16246674 140734649128176 139732868635888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6566/tid=6569] ppid=6563 vsize=2403908 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6569/stat : 6569 (toysat) S 6563 6566 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3068508 2461601792 542360 33554432000 4194304 16246674 140734649128176 139732858162352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 2403908

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6570
/proc/meminfo: memFree=25575756/32872528 swapFree=7620/7620
[pid=6566] ppid=6563 vsize=3911236 CPUtime=25.49 cores=1,3,5,7
/proc/6566/stat : 6566 (toysat) R 6563 6566 5453 0 -1 4202496 918867 0 0 0 2428 121 0 0 20 0 4 0 3068507 4005105664 919192 33554432000 4194304 16246674 140734649128176 140734649127488 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6566/statm: 977809 919192 813 2943 0 974703 0
[pid=6566/tid=6567] ppid=6563 vsize=3911236 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6567/stat : 6567 (toysat) S 6563 6566 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3068508 4005105664 919192 33554432000 4194304 16246674 140734649128176 139732879125744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6566/tid=6568] ppid=6563 vsize=3911236 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6568/stat : 6568 (toysat) S 6563 6566 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3068508 4005105664 919192 33554432000 4194304 16246674 140734649128176 139732868635888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6566/tid=6569] ppid=6563 vsize=3911236 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6569/stat : 6569 (toysat) S 6563 6566 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3068508 4005105664 919192 33554432000 4194304 16246674 140734649128176 139732858162352 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) 3911236

[startup+51.1004 s]
/proc/loadavg: 2.08 2.02 2.01 3/183 6619
/proc/meminfo: memFree=22847508/32872528 swapFree=7620/7620
[pid=6566] ppid=6563 vsize=6677060 CPUtime=51.08 cores=1,3,5,7
/proc/6566/stat : 6566 (toysat) R 6563 6566 5453 0 -1 4202496 1610325 0 0 0 4891 217 0 0 20 0 4 0 3068507 6837309440 1610650 33554432000 4194304 16246674 140734649128176 140734649127272 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6566/statm: 1669265 1610650 814 2943 0 1666159 0
[pid=6566/tid=6567] ppid=6563 vsize=6677060 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6567/stat : 6567 (toysat) S 6563 6566 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3068508 6837309440 1610650 33554432000 4194304 16246674 140734649128176 139732879125744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6566/tid=6568] ppid=6563 vsize=6677060 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6568/stat : 6568 (toysat) S 6563 6566 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3068508 6837309440 1610650 33554432000 4194304 16246674 140734649128176 139732868635888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6566/tid=6569] ppid=6563 vsize=6677060 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6569/stat : 6569 (toysat) S 6563 6566 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3068508 6837309440 1610650 33554432000 4194304 16246674 140734649128176 139732858162352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 6677060

[startup+102.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 6620
/proc/meminfo: memFree=16922152/32872528 swapFree=7620/7620
[pid=6566] ppid=6563 vsize=12590660 CPUtime=102.27 cores=1,3,5,7
/proc/6566/stat : 6566 (toysat) R 6563 6566 5453 0 -1 4202496 3088728 0 0 0 9810 417 0 0 20 0 4 0 3068507 12892835840 3089053 33554432000 4194304 16246674 140734649128176 140734649127272 4206613 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6566/statm: 3147665 3089053 814 2943 0 3144559 0
[pid=6566/tid=6567] ppid=6563 vsize=12590660 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6567/stat : 6567 (toysat) S 6563 6566 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3068508 12892835840 3089053 33554432000 4194304 16246674 140734649128176 139732879125744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6566/tid=6568] ppid=6563 vsize=12590660 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6568/stat : 6568 (toysat) S 6563 6566 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3068508 12892835840 3089053 33554432000 4194304 16246674 140734649128176 139732868635888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6566/tid=6569] ppid=6563 vsize=12590660 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6569/stat : 6569 (toysat) S 6563 6566 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3068508 12892835840 3089053 33554432000 4194304 16246674 140734649128176 139732858162352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 12590660

[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 6621
/proc/meminfo: memFree=15450672/32872528 swapFree=7620/7620
[pid=6566] ppid=6563 vsize=14059076 CPUtime=162.27 cores=1,3,5,7
/proc/6566/stat : 6566 (toysat) R 6563 6566 5453 0 -1 4202496 3455836 0 0 0 15758 469 0 0 20 0 4 0 3068507 14396493824 3456161 33554432000 4194304 16246674 140734649128176 140734649127272 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6566/statm: 3514769 3456161 818 2943 0 3511663 0
[pid=6566/tid=6567] ppid=6563 vsize=14059076 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6567/stat : 6567 (toysat) S 6563 6566 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3068508 14396493824 3456161 33554432000 4194304 16246674 140734649128176 139732879125744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6566/tid=6568] ppid=6563 vsize=14059076 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6568/stat : 6568 (toysat) S 6563 6566 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3068508 14396493824 3456161 33554432000 4194304 16246674 140734649128176 139732868635888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6566/tid=6569] ppid=6563 vsize=14059076 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6569/stat : 6569 (toysat) S 6563 6566 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3068508 14396493824 3456161 33554432000 4194304 16246674 140734649128176 139732858162352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 14059076

[startup+222.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/183 6622
/proc/meminfo: memFree=15450576/32872528 swapFree=7620/7620
[pid=6566] ppid=6563 vsize=14059076 CPUtime=222.25 cores=1,3,5,7
/proc/6566/stat : 6566 (toysat) R 6563 6566 5453 0 -1 4202496 3455836 0 0 0 21754 471 0 0 20 0 4 0 3068507 14396493824 3456161 33554432000 4194304 16246674 140734649128176 140734649127352 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6566/statm: 3514769 3456161 818 2943 0 3511663 0
[pid=6566/tid=6567] ppid=6563 vsize=14059076 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6567/stat : 6567 (toysat) S 6563 6566 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3068508 14396493824 3456161 33554432000 4194304 16246674 140734649128176 139732879125744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6566/tid=6568] ppid=6563 vsize=14059076 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6568/stat : 6568 (toysat) S 6563 6566 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3068508 14396493824 3456161 33554432000 4194304 16246674 140734649128176 139732868635888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6566/tid=6569] ppid=6563 vsize=14059076 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6569/stat : 6569 (toysat) S 6563 6566 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3068508 14396493824 3456161 33554432000 4194304 16246674 140734649128176 139732858162352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 14059076



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+228.2 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 6622
/proc/meminfo: memFree=14097968/32872528 swapFree=7620/7620
[pid=6566] ppid=6563 vsize=15916612 CPUtime=228.16 cores=1,3,5,7
/proc/6566/stat : 6566 (toysat) R 6563 6566 5453 0 -1 4202496 3920161 0 0 0 22268 548 0 0 20 0 4 0 3068507 16298610688 3920486 33554432000 4194304 16246674 140734649128176 140734649127272 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6566/statm: 3979153 3920486 818 2943 0 3976047 0
[pid=6566/tid=6567] ppid=6563 vsize=15916612 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6567/stat : 6567 (toysat) S 6563 6566 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3068508 16298610688 3920486 33554432000 4194304 16246674 140734649128176 139732879125744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6566/tid=6568] ppid=6563 vsize=15916612 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6568/stat : 6568 (toysat) S 6563 6566 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3068508 16298610688 3920486 33554432000 4194304 16246674 140734649128176 139732868635888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6566/tid=6569] ppid=6563 vsize=15916612 CPUtime=0 cores=1,3,5,7
/proc/6566/task/6569/stat : 6569 (toysat) S 6563 6566 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3068508 16298610688 3920486 33554432000 4194304 16246674 140734649128176 139732858162352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 228.16
Current children cumulated vsize (KiB) 15916612

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

[startup+228.6 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 6622
/proc/meminfo: memFree=14097968/32872528 swapFree=7620/7620
[pid=6566] ppid=6563 vsize=0 CPUtime=228.56 cores=1,3,5,7
/proc/6566/stat : 6566 (toysat) Z 6563 6566 5453 0 -1 4203532 3920742 0 0 0 22268 588 0 0 20 0 2 0 3068507 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6566/statm: 0 0 0 0 0 0 0
[pid=6566/tid=6568] ppid=6563 vsize=0 CPUtime=0.38 cores=1,3,5,7
/proc/6566/task/6568/stat : 6568 (toysat) R 6563 6566 5453 0 -1 4203588 8 0 0 0 0 38 0 0 20 0 2 0 3068508 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) 228.56
Current children cumulated vsize (KiB) 0

[startup+229 s]
/proc/loadavg: 2.04 2.02 2.00 3/181 6622
/proc/meminfo: memFree=29270684/32872528 swapFree=7620/7620
[pid=6566] ppid=6563 vsize=0 CPUtime=228.96 cores=1,3,5,7
/proc/6566/stat : 6566 (toysat) Z 6563 6566 5453 0 -1 4203532 3920742 0 0 0 22268 628 0 0 20 0 2 0 3068507 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6566/statm: 0 0 0 0 0 0 0
[pid=6566/tid=6568] ppid=6563 vsize=0 CPUtime=0.79 cores=1,3,5,7
/proc/6566/task/6568/stat : 6568 (toysat) R 6563 6566 5453 0 -1 4203588 8 0 0 0 0 79 0 0 20 0 2 0 3068508 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) 228.96
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 229.032
CPU time (s): 228.989
CPU user time (s): 222.683
CPU system time (s): 6.30604
CPU usage (%): 99.9815
Max. virtual memory (cumulated for all children) (KiB): 15916612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 222.683
system time used= 6.30604
maximum resident set size= 15684268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3920742
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= 73
involuntary context switches= 254

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.593909 second user time and 0.872867 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-29 19:35:24
IDJOB=4118106
IDBENCH=111452
IDSOLVER=2542
FILE ID=node106/4118106-1467221724
RUNJOBID= node106-1467209087-5470
PBS_JOBID= 19997588
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/OPT-BIGINT-NLC/minlplib2-pb-0.1.0/opb/normalized-cardqp_inlp.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118106-1467221724/watcher-4118106-1467221724 -o /tmp/evaluation-result-4118106-1467221724/solver-4118106-1467221724 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1467209087-5470 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4118106-1467221724.opb

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

MD5SUM BENCH= c82e474a4b046a910d07c1f80037da59
RANDOM SEED=1283619513

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.495
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:        29257964 kB
Buffers:          110268 kB
Cached:          1599248 kB
SwapCached:            0 kB
Active:          2271500 kB
Inactive:         578728 kB
Active(anon):    1143160 kB
Inactive(anon):        0 kB
Active(file):    1128340 kB
Inactive(file):   578728 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16348 kB
Writeback:             0 kB
AnonPages:       1147792 kB
Mapped:            18948 kB
Shmem:               204 kB
Slab:             626288 kB
SReclaimable:      69516 kB
SUnreclaim:       556772 kB
KernelStack:        1504 kB
PageTables:         5956 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1276360 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1124352 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= 71716 MiB
End job on node106 at 2016-06-29 19:39:13