Trace number 4103285

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) 223.111 223.157

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos13.opb
MD5SUM1218478b67ec647ce24db44195ab22fa
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-89895551
Best CPU time to get the best result obtained on this benchmark1800.13
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -89698560
Optimality of the best value was proved NO
Number of variables1935
Total number of constraints19275
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 constraints19274
Minimum length of a constraint10
Maximum length of a constraint1815
Number of terms in the objective function 120
Biggest coefficient in the objective function 103558656
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 2282563635
Number of bits of the sum of numbers in the objective function 32
Biggest number in a constraint 69966336000
Number of bits of the biggest number in a constraint 37
Biggest sum of numbers in a constraint 636991772142
Number of bits of the biggest sum of numbers40
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-18T09:29:36+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-4103285-1466234974.opb"]
0.00/0.01	c use --random-gen="355361440 1083741015 2840672279 659772318 461497075 2505219765 2566356641 3619212596 3063999036 2012937134 3938363239 1358847163 4212112453 828111465 2528940993 809436479 3509814719 1144010395 2889125907 2433716341 4213107064 3533492415 3520457397 3356739185 311698644 2415738368 1538784891 3413915763 3364939571 3312448680 3280938401 1660644359 3029159147 825457258 3644289733 4208361865 3425741664 1838966065 3843117025 4081418216 1047442871 2187388045 4085080043 344561366 3810668706 73243326 1289807534 2096012642 3062982414 3570168587 2864713359 3840523585 2459936091 3234051707 46393624 2844938920 4059554250 2372572621 3449117568 3316552351 1090151799 3342652615 1862642041 1921712836 3430953583 4125762845 2438122571 1389208683 2036627338 3142720800 3315079966 37323694 2924726647 1774492938 1737001907 76731532 670310427 2267876627 1854836928 326115653 925486896 1093357255 3753636743 4148444631 1590750430 4290391478 2156732800 3559241431 2523763257 2699429655 714742818 2532149368 294550777 2187772274 1572173365 2460386780 4102921843 2345191999 359848121 523965896 2096244027 173972805 68249658 2678705895 2279927573 2969721730 992506292 3607606744 2682315466 4197386524 2875683520 3963561202 1926099875 1325009646 225673110 215328193 2176848870 162071530 3686813066 54782106 4039685713 2593041501 2855867883 2040165222 2429660425 1988746988 2174662733 434501815 845811198 4246881651 930535801 2726290469 3928392673 1438413483 941197753 335234691 3142162981 3796587593 1542686872 1107991432 2810524112 3765499640 647075286 1476618972 243115794 4222301267 2083409669 736763592 586048278 2659970373 49035322 1827747151 4111109557 1295425167 649104801 2992157304 3742687423 4191368733 445523517 412433760 643807464 1665028137 2099253752 875959325 1240256913 655956251 3548471596 3907356635 2705249077 3817482561 978683290 222086430 1700530846 408377427 3524617747 3059798411 337157558 12468603 4193116837 1060711683 1799753366 1375366126 3027381038 4208669729 210922891 2813393841 3704951464 2559692288 3789710360 2106500452 1418016584 2068099643 451287308 3720841647 1047123503 741749209 654814696 192340232 2307058766 1118015656 1206573794 99644896 1437430521 1969020237 1580772252 1281928171 666273006 920226025 263709069 1108165308 3961783886 2872695471 3337455434 688482167 2433477528 442804852 1264429603 3421396961 1174022101 1464267921 4260257136 1652961073 2150387946 3934059168 1954520765 1581000381 327213197 1110744897 3432404295 1079740150 1268208958 1760840069 3212361896 3155490015 3514018114 3417241732 1565833931 2599025042 3224376748 1520026978 2158565347 4063447722 1897426696 2668637563 1558747440 3108209969 688777244 1658189004 2408794096 4197084390 3626386570 2767006249 212242890 969140683 255528991 1475419503 255 362436" option to reproduce the execution
4.39/4.40	c #vars 1935
4.39/4.40	c #constraints 19275

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

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

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


[startup+0 s]
/proc/loadavg: 2.44 2.35 2.28 4/179 19257
/proc/meminfo: memFree=29045168/32872528 swapFree=1431120/1543540
[pid=19257] ppid=19254 vsize=833980 CPUtime=0 cores=0,2,4,6
/proc/19257/stat : 19257 (toysat) R 19254 19257 15180 0 -1 4202496 3131 0 0 0 0 0 0 0 20 0 4 0 25546363 853995520 2982 33554432000 4194304 16246674 140737425031072 140737425030496 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19257/statm: 209007 2991 441 2943 0 205901 0
[pid=19257/tid=19258] ppid=19254 vsize=851388 CPUtime=0 cores=0,2,4,6
/proc/19257/task/19258/stat : 19258 (toysat) S 19254 19257 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25546363 871821312 3051 33554432000 4194304 16246674 140737425031072 140010813631728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19257/tid=19259] ppid=19254 vsize=856508 CPUtime=0 cores=0,2,4,6
/proc/19257/task/19259/stat : 19259 (toysat) S 19254 19257 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25546363 877064192 3068 33554432000 4194304 16246674 140737425031072 140010803141872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19257/tid=19260] ppid=19254 vsize=860604 CPUtime=0 cores=0,2,4,6
/proc/19257/task/19260/stat : 19260 (toysat) S 19254 19257 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25546363 881258496 3085 33554432000 4194304 16246674 140737425031072 140010792668336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100127 s]
/proc/loadavg: 2.44 2.35 2.28 4/179 19257
/proc/meminfo: memFree=29045168/32872528 swapFree=1431120/1543540
[pid=19257] ppid=19254 vsize=1304132 CPUtime=0.08 cores=0,2,4,6
/proc/19257/stat : 19257 (toysat) R 19254 19257 15180 0 -1 4202496 30550 0 0 0 5 3 0 0 20 0 4 0 25546363 1335431168 30338 33554432000 4194304 16246674 140737425031072 140737425014064 8058796 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19257/statm: 326033 30354 801 2943 0 322927 0
[pid=19257/tid=19258] ppid=19254 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/19257/task/19258/stat : 19258 (toysat) S 19254 19257 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25546363 1335431168 30364 33554432000 4194304 16246674 140737425031072 140010813631728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19257/tid=19259] ppid=19254 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/19257/task/19259/stat : 19259 (toysat) S 19254 19257 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25546363 1335431168 30375 33554432000 4194304 16246674 140737425031072 140010803141872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19257/tid=19260] ppid=19254 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/19257/task/19260/stat : 19260 (toysat) S 19254 19257 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25546363 1335431168 30385 33554432000 4194304 16246674 140737425031072 140010792668336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1304132

[startup+0.46824 s]
/proc/loadavg: 2.44 2.35 2.28 4/179 19257
/proc/meminfo: memFree=29045168/32872528 swapFree=1431120/1543540
[pid=19257] ppid=19254 vsize=1312324 CPUtime=0.46 cores=0,2,4,6
/proc/19257/stat : 19257 (toysat) R 19254 19257 15180 0 -1 4202496 44150 0 0 0 40 6 0 0 20 0 4 0 25546363 1343819776 44449 33554432000 4194304 16246674 140737425031072 140737425014064 7361374 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19257/statm: 328081 44449 801 2943 0 324975 0
[pid=19257/tid=19258] ppid=19254 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/19257/task/19258/stat : 19258 (toysat) S 19254 19257 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25546363 1343819776 44449 33554432000 4194304 16246674 140737425031072 140010813631728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19257/tid=19259] ppid=19254 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/19257/task/19259/stat : 19259 (toysat) S 19254 19257 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25546363 1343819776 44449 33554432000 4194304 16246674 140737425031072 140010803141872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19257/tid=19260] ppid=19254 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/19257/task/19260/stat : 19260 (toysat) S 19254 19257 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25546363 1343819776 44449 33554432000 4194304 16246674 140737425031072 140010792668336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 1312324

[startup+0.500507 s]
/proc/loadavg: 2.44 2.35 2.28 4/179 19257
/proc/meminfo: memFree=29045168/32872528 swapFree=1431120/1543540
[pid=19257] ppid=19254 vsize=1312324 CPUtime=0.49 cores=0,2,4,6
/proc/19257/stat : 19257 (toysat) R 19254 19257 15180 0 -1 4202496 45630 0 0 0 43 6 0 0 20 0 4 0 25546363 1343819776 45929 33554432000 4194304 16246674 140737425031072 140737425014064 7440406 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19257/statm: 328081 45929 802 2943 0 324975 0
[pid=19257/tid=19258] ppid=19254 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/19257/task/19258/stat : 19258 (toysat) S 19254 19257 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25546363 1343819776 45929 33554432000 4194304 16246674 140737425031072 140010813631728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19257/tid=19259] ppid=19254 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/19257/task/19259/stat : 19259 (toysat) S 19254 19257 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25546363 1343819776 45929 33554432000 4194304 16246674 140737425031072 140010803141872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19257/tid=19260] ppid=19254 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/19257/task/19260/stat : 19260 (toysat) S 19254 19257 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25546363 1343819776 45929 33554432000 4194304 16246674 140737425031072 140010792668336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 1312324

[startup+0.700362 s]
/proc/loadavg: 2.44 2.35 2.28 4/179 19257
/proc/meminfo: memFree=29045168/32872528 swapFree=1431120/1543540
[pid=19257] ppid=19254 vsize=1312324 CPUtime=0.69 cores=0,2,4,6
/proc/19257/stat : 19257 (toysat) R 19254 19257 15180 0 -1 4202496 50631 0 0 0 62 7 0 0 20 0 4 0 25546363 1343819776 50930 33554432000 4194304 16246674 140737425031072 140737425014064 4220880 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19257/statm: 328081 50930 802 2943 0 324975 0
[pid=19257/tid=19258] ppid=19254 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/19257/task/19258/stat : 19258 (toysat) S 19254 19257 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25546363 1343819776 50930 33554432000 4194304 16246674 140737425031072 140010813631728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19257/tid=19259] ppid=19254 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/19257/task/19259/stat : 19259 (toysat) S 19254 19257 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25546363 1343819776 50930 33554432000 4194304 16246674 140737425031072 140010803141872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19257/tid=19260] ppid=19254 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/19257/task/19260/stat : 19260 (toysat) S 19254 19257 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25546363 1343819776 50930 33554432000 4194304 16246674 140737425031072 140010792668336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1312324

[startup+1.50043 s]
/proc/loadavg: 2.44 2.35 2.28 4/183 19261
/proc/meminfo: memFree=28787772/32872528 swapFree=1431120/1543540
[pid=19257] ppid=19254 vsize=1318468 CPUtime=1.49 cores=0,2,4,6
/proc/19257/stat : 19257 (toysat) R 19254 19257 15180 0 -1 4202496 83488 0 0 0 137 12 0 0 20 0 4 0 25546363 1350111232 83787 33554432000 4194304 16246674 140737425031072 140737425028864 4206664 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19257/statm: 329617 83787 802 2943 0 326511 0
[pid=19257/tid=19258] ppid=19254 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/19257/task/19258/stat : 19258 (toysat) S 19254 19257 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25546363 1350111232 83787 33554432000 4194304 16246674 140737425031072 140010813631728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19257/tid=19259] ppid=19254 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/19257/task/19259/stat : 19259 (toysat) S 19254 19257 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25546363 1350111232 83787 33554432000 4194304 16246674 140737425031072 140010803141872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19257/tid=19260] ppid=19254 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/19257/task/19260/stat : 19260 (toysat) S 19254 19257 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25546363 1350111232 83787 33554432000 4194304 16246674 140737425031072 140010792668336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1318468

[startup+3.10041 s]
/proc/loadavg: 2.44 2.35 2.28 4/183 19261
/proc/meminfo: memFree=28681288/32872528 swapFree=1431120/1543540
[pid=19257] ppid=19254 vsize=1343044 CPUtime=3.09 cores=0,2,4,6
/proc/19257/stat : 19257 (toysat) R 19254 19257 15180 0 -1 4202496 126047 0 0 0 290 19 0 0 20 0 4 0 25546363 1375277056 132478 33554432000 4194304 16246674 140737425031072 140737425014064 7373327 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19257/statm: 335761 132478 802 2943 0 332655 0
[pid=19257/tid=19258] ppid=19254 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/19257/task/19258/stat : 19258 (toysat) S 19254 19257 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25546363 1375277056 132478 33554432000 4194304 16246674 140737425031072 140010813631728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19257/tid=19259] ppid=19254 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/19257/task/19259/stat : 19259 (toysat) S 19254 19257 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25546363 1375277056 132478 33554432000 4194304 16246674 140737425031072 140010803141872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19257/tid=19260] ppid=19254 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/19257/task/19260/stat : 19260 (toysat) S 19254 19257 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25546363 1375277056 132478 33554432000 4194304 16246674 140737425031072 140010792668336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1343044

[startup+6.30041 s]
/proc/loadavg: 2.48 2.36 2.29 3/183 19261
/proc/meminfo: memFree=27902144/32872528 swapFree=1431120/1543540
[pid=19257] ppid=19254 vsize=1392196 CPUtime=6.29 cores=0,2,4,6
/proc/19257/stat : 19257 (toysat) R 19254 19257 15180 0 -1 4202496 270264 0 0 0 592 37 0 0 20 0 4 0 25546363 1425608704 285893 33554432000 4194304 16246674 140737425031072 140737425028816 4220871 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19257/statm: 348049 285893 835 2943 0 344943 0
[pid=19257/tid=19258] ppid=19254 vsize=1392196 CPUtime=0 cores=0,2,4,6
/proc/19257/task/19258/stat : 19258 (toysat) S 19254 19257 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25546363 1425608704 285893 33554432000 4194304 16246674 140737425031072 140010813631728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19257/tid=19259] ppid=19254 vsize=1392196 CPUtime=0 cores=0,2,4,6
/proc/19257/task/19259/stat : 19259 (toysat) S 19254 19257 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25546363 1425608704 285893 33554432000 4194304 16246674 140737425031072 140010803141648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19257/tid=19260] ppid=19254 vsize=1392196 CPUtime=0 cores=0,2,4,6
/proc/19257/task/19260/stat : 19260 (toysat) S 19254 19257 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25546363 1425608704 285893 33554432000 4194304 16246674 140737425031072 140010792668336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1392196

[startup+12.7004 s]
/proc/loadavg: 2.45 2.35 2.29 3/183 19261
/proc/meminfo: memFree=26989788/32872528 swapFree=1431120/1543540
[pid=19257] ppid=19254 vsize=2291268 CPUtime=12.69 cores=0,2,4,6
/proc/19257/stat : 19257 (toysat) R 19254 19257 15180 0 -1 4202496 495041 0 0 0 1202 67 0 0 20 0 4 0 25546363 2346258432 513736 33554432000 4194304 16246674 140737425031072 140737425030288 4220880 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19257/statm: 572817 513736 835 2943 0 569711 0
[pid=19257/tid=19258] ppid=19254 vsize=2291268 CPUtime=0 cores=0,2,4,6
/proc/19257/task/19258/stat : 19258 (toysat) S 19254 19257 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25546363 2346258432 513736 33554432000 4194304 16246674 140737425031072 140010813631728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19257/tid=19259] ppid=19254 vsize=2291268 CPUtime=0 cores=0,2,4,6
/proc/19257/task/19259/stat : 19259 (toysat) S 19254 19257 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25546363 2346258432 513736 33554432000 4194304 16246674 140737425031072 140010803141872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19257/tid=19260] ppid=19254 vsize=2291268 CPUtime=0 cores=0,2,4,6
/proc/19257/task/19260/stat : 19260 (toysat) S 19254 19257 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25546363 2346258432 513736 33554432000 4194304 16246674 140737425031072 140010792668336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 2291268

[startup+25.5004 s]
/proc/loadavg: 2.35 2.33 2.28 3/184 19264
/proc/meminfo: memFree=26447144/32872528 swapFree=1431120/1543540
[pid=19257] ppid=19254 vsize=2831940 CPUtime=25.5 cores=0,2,4,6
/proc/19257/stat : 19257 (toysat) R 19254 19257 15180 0 -1 4202496 630209 0 0 0 2463 87 0 0 20 0 4 0 25546363 2899906560 648904 33554432000 4194304 16246674 140737425031072 140737425030168 4220489 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19257/statm: 707985 648904 835 2943 0 704879 0
[pid=19257/tid=19258] ppid=19254 vsize=2831940 CPUtime=0 cores=0,2,4,6
/proc/19257/task/19258/stat : 19258 (toysat) S 19254 19257 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25546363 2899906560 648904 33554432000 4194304 16246674 140737425031072 140010813631728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19257/tid=19259] ppid=19254 vsize=2831940 CPUtime=0 cores=0,2,4,6
/proc/19257/task/19259/stat : 19259 (toysat) S 19254 19257 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25546363 2899906560 648904 33554432000 4194304 16246674 140737425031072 140010803141872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19257/tid=19260] ppid=19254 vsize=2831940 CPUtime=0 cores=0,2,4,6
/proc/19257/task/19260/stat : 19260 (toysat) S 19254 19257 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25546363 2899906560 648904 33554432000 4194304 16246674 140737425031072 140010792668336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 2831940

[startup+51.1004 s]
/proc/loadavg: 2.36 2.34 2.28 3/184 19264
/proc/meminfo: memFree=23334964/32872528 swapFree=1431120/1543540
[pid=19257] ppid=19254 vsize=5938756 CPUtime=51.08 cores=0,2,4,6
/proc/19257/stat : 19257 (toysat) R 19254 19257 15180 0 -1 4202496 1406915 0 0 0 4921 187 0 0 20 0 4 0 25546363 6081286144 1425610 33554432000 4194304 16246674 140737425031072 140737425028928 4220921 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19257/statm: 1484689 1425610 835 2943 0 1481583 0
[pid=19257/tid=19258] ppid=19254 vsize=5938756 CPUtime=0 cores=0,2,4,6
/proc/19257/task/19258/stat : 19258 (toysat) S 19254 19257 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25546363 6081286144 1425610 33554432000 4194304 16246674 140737425031072 140010813631728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19257/tid=19259] ppid=19254 vsize=5938756 CPUtime=0 cores=0,2,4,6
/proc/19257/task/19259/stat : 19259 (toysat) S 19254 19257 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25546363 6081286144 1425610 33554432000 4194304 16246674 140737425031072 140010803141648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19257/tid=19260] ppid=19254 vsize=5938756 CPUtime=0 cores=0,2,4,6
/proc/19257/task/19260/stat : 19260 (toysat) S 19254 19257 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25546363 6081286144 1425610 33554432000 4194304 16246674 140737425031072 140010792668336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 5938756

[startup+102.3 s]
/proc/loadavg: 2.30 2.32 2.27 3/183 19265
/proc/meminfo: memFree=16464064/32872528 swapFree=1431120/1543540
[pid=19257] ppid=19254 vsize=12795460 CPUtime=102.27 cores=0,2,4,6
/proc/19257/stat : 19257 (toysat) R 19254 19257 15180 0 -1 4202496 3121092 0 0 0 9806 421 0 0 20 0 4 0 25546363 13102551040 3139787 33554432000 4194304 16246674 140737425031072 140737425028864 4206577 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19257/statm: 3198865 3139787 835 2943 0 3195759 0
[pid=19257/tid=19258] ppid=19254 vsize=12795460 CPUtime=0 cores=0,2,4,6
/proc/19257/task/19258/stat : 19258 (toysat) S 19254 19257 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25546363 13102551040 3139787 33554432000 4194304 16246674 140737425031072 140010813631728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19257/tid=19259] ppid=19254 vsize=12795460 CPUtime=0 cores=0,2,4,6
/proc/19257/task/19259/stat : 19259 (toysat) S 19254 19257 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25546363 13102551040 3139787 33554432000 4194304 16246674 140737425031072 140010803141648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19257/tid=19260] ppid=19254 vsize=12795460 CPUtime=0 cores=0,2,4,6
/proc/19257/task/19260/stat : 19260 (toysat) S 19254 19257 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25546363 13102551040 3139787 33554432000 4194304 16246674 140737425031072 140010792668336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 12795460

[startup+162.3 s]
/proc/loadavg: 2.24 2.30 2.27 3/183 19267
/proc/meminfo: memFree=14972724/32872528 swapFree=1431120/1543540
[pid=19257] ppid=19254 vsize=14283332 CPUtime=162.27 cores=0,2,4,6
/proc/19257/stat : 19257 (toysat) R 19254 19257 15180 0 -1 4202496 3493066 0 0 0 15747 480 0 0 20 0 4 0 25546363 14626131968 3511761 33554432000 4194304 16246674 140737425031072 140737425030168 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19257/statm: 3570833 3511761 840 2943 0 3567727 0
[pid=19257/tid=19258] ppid=19254 vsize=14283332 CPUtime=0 cores=0,2,4,6
/proc/19257/task/19258/stat : 19258 (toysat) S 19254 19257 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25546363 14626131968 3511761 33554432000 4194304 16246674 140737425031072 140010813631728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19257/tid=19259] ppid=19254 vsize=14283332 CPUtime=0 cores=0,2,4,6
/proc/19257/task/19259/stat : 19259 (toysat) S 19254 19257 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25546363 14626131968 3511761 33554432000 4194304 16246674 140737425031072 140010803141872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19257/tid=19260] ppid=19254 vsize=14283332 CPUtime=0 cores=0,2,4,6
/proc/19257/task/19260/stat : 19260 (toysat) S 19254 19257 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25546363 14626131968 3511761 33554432000 4194304 16246674 140737425031072 140010792668336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 14283332

[startup+222.3 s]
/proc/loadavg: 2.30 2.30 2.27 3/183 19268
/proc/meminfo: memFree=13889352/32872528 swapFree=1431120/1543540
[pid=19257] ppid=19254 vsize=15876676 CPUtime=222.26 cores=0,2,4,6
/proc/19257/stat : 19257 (toysat) R 19254 19257 15180 0 -1 4202496 3891156 0 0 0 21681 545 0 0 20 0 4 0 25546363 16257716224 3909851 33554432000 4194304 16246674 140737425031072 140737425030168 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19257/statm: 3969169 3909851 840 2943 0 3966063 0
[pid=19257/tid=19258] ppid=19254 vsize=15876676 CPUtime=0 cores=0,2,4,6
/proc/19257/task/19258/stat : 19258 (toysat) S 19254 19257 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25546363 16257716224 3909851 33554432000 4194304 16246674 140737425031072 140010813631728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19257/tid=19259] ppid=19254 vsize=15876676 CPUtime=0 cores=0,2,4,6
/proc/19257/task/19259/stat : 19259 (toysat) S 19254 19257 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25546363 16257716224 3909851 33554432000 4194304 16246674 140737425031072 140010803141872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19257/tid=19260] ppid=19254 vsize=15876676 CPUtime=0 cores=0,2,4,6
/proc/19257/task/19260/stat : 19260 (toysat) S 19254 19257 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25546363 16257716224 3909851 33554432000 4194304 16246674 140737425031072 140010792668336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 15876676



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+222.3 s]
/proc/loadavg: 2.30 2.30 2.27 3/183 19268
/proc/meminfo: memFree=13889352/32872528 swapFree=1431120/1543540
[pid=19257] ppid=19254 vsize=15876676 CPUtime=222.26 cores=0,2,4,6
/proc/19257/stat : 19257 (toysat) R 19254 19257 15180 0 -1 4202496 3891156 0 0 0 21681 545 0 0 20 0 4 0 25546363 16257716224 3909851 33554432000 4194304 16246674 140737425031072 140737425030168 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19257/statm: 3969169 3909851 840 2943 0 3966063 0
[pid=19257/tid=19258] ppid=19254 vsize=15876676 CPUtime=0 cores=0,2,4,6
/proc/19257/task/19258/stat : 19258 (toysat) S 19254 19257 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25546363 16257716224 3909851 33554432000 4194304 16246674 140737425031072 140010813631728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19257/tid=19259] ppid=19254 vsize=15876676 CPUtime=0 cores=0,2,4,6
/proc/19257/task/19259/stat : 19259 (toysat) S 19254 19257 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25546363 16257716224 3909851 33554432000 4194304 16246674 140737425031072 140010803141872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19257/tid=19260] ppid=19254 vsize=15876676 CPUtime=0 cores=0,2,4,6
/proc/19257/task/19260/stat : 19260 (toysat) S 19254 19257 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25546363 16257716224 3909851 33554432000 4194304 16246674 140737425031072 140010792668336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 15876676

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

[startup+222.6 s]
/proc/loadavg: 2.30 2.30 2.27 4/181 19268
/proc/meminfo: memFree=15279404/32872528 swapFree=1431120/1543540
[pid=19257] ppid=19254 vsize=0 CPUtime=222.56 cores=0,2,4,6
/proc/19257/stat : 19257 (toysat) Z 19254 19257 15180 0 -1 4203532 3891415 0 0 0 21682 574 0 0 20 0 2 0 25546363 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19257/statm: 0 0 0 0 0 0 0
[pid=19257/tid=19258] ppid=19254 vsize=0 CPUtime=0.28 cores=0,2,4,6
/proc/19257/task/19258/stat : 19258 (toysat) R 19254 19257 15180 0 -1 4203588 10 0 0 0 0 28 0 0 20 0 2 0 25546363 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 222.56
Current children cumulated vsize (KiB) 0

[startup+223 s]
/proc/loadavg: 2.30 2.30 2.27 4/181 19268
/proc/meminfo: memFree=15279404/32872528 swapFree=1431120/1543540
[pid=19257] ppid=19254 vsize=0 CPUtime=222.96 cores=0,2,4,6
/proc/19257/stat : 19257 (toysat) Z 19254 19257 15180 0 -1 4203532 3891415 0 0 0 21682 614 0 0 20 0 2 0 25546363 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19257/statm: 0 0 0 0 0 0 0
[pid=19257/tid=19258] ppid=19254 vsize=0 CPUtime=0.68 cores=0,2,4,6
/proc/19257/task/19258/stat : 19258 (toysat) R 19254 19257 15180 0 -1 4203588 10 0 0 0 0 68 0 0 20 0 2 0 25546363 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 222.96
Current children cumulated vsize (KiB) 0

[startup+223.1 s]
/proc/loadavg: 2.30 2.30 2.27 4/181 19268
/proc/meminfo: memFree=15279404/32872528 swapFree=1431120/1543540
[pid=19257] ppid=19254 vsize=0 CPUtime=223.06 cores=0,2,4,6
/proc/19257/stat : 19257 (toysat) Z 19254 19257 15180 0 -1 4203532 3891415 0 0 0 21682 624 0 0 20 0 2 0 25546363 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19257/statm: 0 0 0 0 0 0 0
[pid=19257/tid=19258] ppid=19254 vsize=0 CPUtime=0.78 cores=0,2,4,6
/proc/19257/task/19258/stat : 19258 (toysat) R 19254 19257 15180 0 -1 4203588 10 0 0 0 0 78 0 0 20 0 2 0 25546363 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 223.06
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 223.157
CPU time (s): 223.111
CPU user time (s): 216.82
CPU system time (s): 6.29104
CPU usage (%): 99.9795
Max. virtual memory (cumulated for all children) (KiB): 15876676

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 216.82
system time used= 6.29104
maximum resident set size= 15640440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3891415
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= 94
involuntary context switches= 314

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.63475 second user time and 1.93571 second system time

The end

Launcher Data 

Begin job on node116 at 2016-06-18 09:29:36
IDJOB=4103285
IDBENCH=2318
IDSOLVER=2542
FILE ID=node116/4103285-1466234974
RUNJOBID= node116-1466206094-15196
PBS_JOBID= 19918160
Free space on /tmp= 71676 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos13.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103285-1466234974/watcher-4103285-1466234974 -o /tmp/evaluation-result-4103285-1466234974/solver-4103285-1466234974 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466206094-15196 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103285-1466234974.opb

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

MD5SUM BENCH= 1218478b67ec647ce24db44195ab22fa
RANDOM SEED=1070269648

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29045068 kB
Buffers:          113080 kB
Cached:           168848 kB
SwapCached:         1796 kB
Active:          1388016 kB
Inactive:         152632 kB
Active(anon):    1257552 kB
Inactive(anon):     3796 kB
Active(file):     130464 kB
Inactive(file):   148836 kB
Unevictable:     1543540 kB
Mlocked:         1431120 kB
SwapTotal:      67108856 kB
SwapFree:       67099604 kB
Dirty:             51164 kB
Writeback:             0 kB
AnonPages:       2804124 kB
Mapped:            10844 kB
Shmem:                 0 kB
Slab:             606944 kB
SReclaimable:      50608 kB
SUnreclaim:       556336 kB
KernelStack:        1464 kB
PageTables:         9656 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2942296 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    677888 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= 71660 MiB
End job on node116 at 2016-06-18 09:33:20