Trace number 4108902

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 NameAnswerCPU timeWall clock time
Open-WBO PB16? (TO) 1800.08 1800.4

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-154.opb
MD5SUMf522aac6d99c68f89e25c943b464d005
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables48411
Total number of constraints1121517
Number of constraints which are clauses1007723
Number of constraints which are cardinality constraints (but not clauses)3523
Number of constraints which are nor clauses,nor cardinality constraints110271
Minimum length of a constraint2
Maximum length of a constraint690
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 691
Number of bits of the biggest sum of numbers10
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
0.00/0.00	c Open-WBO:	 a Modular MaxSAT Solver -- based on Glucose4.0 (core version)
0.00/0.00	c Version:	 Pseudo-Boolean Evaluation 2016
0.00/0.00	c Authors:	 Ruben Martins, Vasco Manquinho, Ines Lynce
0.00/0.00	c Contributors:	 Miguel Neves, Saurabh Joshi, Mikolas Janota
0.00/0.00	c Contact:	 open-wbo@sat.inesc-id.pt -- http://sat.inesc-id.pt/open-wbo/
0.00/0.00	c
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Instance file HOME/instance-4108902-1466266322.opb
0.00/0.00	c File size is 50888202 bytes.
1800.06/1800.40	c Sum of soft weights:            0
1800.06/1800.40	c |                                                                                                       |
1800.06/1800.40	c ========================================[ Problem Statistics ]===========================================
1800.06/1800.40	c |                                                                                                       |
1800.06/1800.40	c |  Problem Type:           Unweighted                                                                   |
1800.06/1800.40	c |  Number of variables:         48411                                                                   |
1800.06/1800.40	c |  Number of hard clauses:    1009495                                                                   |
1800.06/1800.40	c |  Number of soft clauses:          0                                                                   |
1800.06/1800.40	c |  Number of cardinality:        3524                                                                   |
1800.06/1800.40	c |  Number of PB :              110271                                                                   |
1800.06/1800.40	c |  Parse time:                   5.11 s                                                                 |
1800.06/1800.40	c |                                                                                                       |
1800.06/1800.40	s UNKNOWN

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-4108902-1466266322/watcher-4108902-1466266322 -o /tmp/evaluation-result-4108902-1466266322/solver-4108902-1466266322 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1466240628-16937 --watchdog 1960 open-wbo HOME/instance-4108902-1466266322.opb 

pid=23311
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.04 2.04 2.00 2/174 23314
/proc/meminfo: memFree=31075904/32872528 swapFree=447868/480572
[pid=23314] ppid=23311 vsize=51900 CPUtime=0 cores=0,2,4,6
/proc/23314/stat : 23314 (open-wbo) R 23311 23314 16921 0 -1 4202496 5691 0 0 0 0 0 0 0 20 0 1 0 28682426 53145600 5567 33554432000 4194304 6059633 140737366268688 140736951914360 5069786 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/23314/statm: 12975 5585 5566 456 0 87 0

[startup+0.100163 s]
/proc/loadavg: 2.04 2.04 2.00 2/174 23314
/proc/meminfo: memFree=31075904/32872528 swapFree=447868/480572
[pid=23314] ppid=23311 vsize=53476 CPUtime=0.09 cores=0,2,4,6
/proc/23314/stat : 23314 (open-wbo) R 23311 23314 16921 0 -1 4202496 13106 0 0 0 9 0 0 0 20 0 1 0 28682426 54759424 12981 33554432000 4194304 6059633 140737366268688 140736951914360 5043379 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/23314/statm: 13369 12981 12558 456 0 481 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 53476

[startup+0.200334 s]
/proc/loadavg: 2.04 2.04 2.00 2/174 23314
/proc/meminfo: memFree=31075904/32872528 swapFree=447868/480572
[pid=23314] ppid=23311 vsize=55404 CPUtime=0.19 cores=0,2,4,6
/proc/23314/stat : 23314 (open-wbo) R 23311 23314 16921 0 -1 4202496 13527 0 0 0 19 0 0 0 20 0 1 0 28682426 56733696 13402 33554432000 4194304 6059633 140737366268688 140736951914360 5043379 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/23314/statm: 13851 13402 12558 456 0 963 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 55404

[startup+0.300256 s]
/proc/loadavg: 2.04 2.04 2.00 2/174 23314
/proc/meminfo: memFree=31075904/32872528 swapFree=447868/480572
[pid=23314] ppid=23311 vsize=57152 CPUtime=0.29 cores=0,2,4,6
/proc/23314/stat : 23314 (open-wbo) R 23311 23314 16921 0 -1 4202496 13948 0 0 0 29 0 0 0 20 0 1 0 28682426 58523648 13823 33554432000 4194304 6059633 140737366268688 140736951914360 5043379 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/23314/statm: 14288 13825 12558 456 0 1400 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 57152

[startup+0.700265 s]
/proc/loadavg: 2.04 2.04 2.00 2/174 23314
/proc/meminfo: memFree=31075904/32872528 swapFree=447868/480572
[pid=23314] ppid=23311 vsize=63976 CPUtime=0.68 cores=0,2,4,6
/proc/23314/stat : 23314 (open-wbo) R 23311 23314 16921 0 -1 4202496 15565 0 0 0 68 0 0 0 20 0 1 0 28682426 65511424 15440 33554432000 4194304 6059633 140737366268688 140737366267048 5043379 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/23314/statm: 15994 15440 12558 456 0 3106 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 63976

[startup+1.50023 s]
/proc/loadavg: 2.04 2.04 2.00 3/175 23315
/proc/meminfo: memFree=31058052/32872528 swapFree=447868/480572
[pid=23314] ppid=23311 vsize=77632 CPUtime=1.49 cores=0,2,4,6
/proc/23314/stat : 23314 (open-wbo) R 23311 23314 16921 0 -1 4202496 18732 0 0 0 148 1 0 0 20 0 1 0 28682426 79495168 18607 33554432000 4194304 6059633 140737366268688 140737366267048 5043379 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/23314/statm: 19408 18607 12558 456 0 6520 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 77632

[startup+3.10028 s]
/proc/loadavg: 2.04 2.04 2.00 3/175 23315
/proc/meminfo: memFree=31038892/32872528 swapFree=447868/480572
[pid=23314] ppid=23311 vsize=100760 CPUtime=3.09 cores=0,2,4,6
/proc/23314/stat : 23314 (open-wbo) R 23311 23314 16921 0 -1 4202496 24397 0 0 0 307 2 0 0 20 0 1 0 28682426 103178240 24783 33554432000 4194304 6059633 140737366268688 140737366267016 5043379 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/23314/statm: 25190 24783 12558 456 0 12302 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 100760

[startup+6.30029 s]
/proc/loadavg: 2.12 2.06 2.01 3/175 23315
/proc/meminfo: memFree=30865044/32872528 swapFree=447868/480572
[pid=23314] ppid=23311 vsize=594040 CPUtime=6.28 cores=0,2,4,6
/proc/23314/stat : 23314 (open-wbo) R 23311 23314 16921 0 -1 4202496 95957 0 0 0 611 17 0 0 20 0 1 0 28682426 608296960 128655 33554432000 4194304 6059633 140737366268688 140737366266472 4239837 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/23314/statm: 148510 128655 162 456 0 148046 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 594040

[startup+12.7003 s]
/proc/loadavg: 2.11 2.05 2.01 3/175 23315
/proc/meminfo: memFree=30442372/32872528 swapFree=447868/480572
[pid=23314] ppid=23311 vsize=716848 CPUtime=12.68 cores=0,2,4,6
/proc/23314/stat : 23314 (open-wbo) R 23311 23314 16921 0 -1 4202496 110910 0 0 0 1248 20 0 0 20 0 1 0 28682426 734052352 150890 33554432000 4194304 6059633 140737366268688 140737366267064 4277549 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/23314/statm: 179212 150890 183 456 0 178748 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 716848

[startup+25.5004 s]
/proc/loadavg: 2.16 2.07 2.01 3/175 23315
/proc/meminfo: memFree=30426108/32872528 swapFree=447868/480572
[pid=23314] ppid=23311 vsize=720852 CPUtime=25.49 cores=0,2,4,6
/proc/23314/stat : 23314 (open-wbo) R 23311 23314 16921 0 -1 4202496 111909 0 0 0 2528 21 0 0 20 0 1 0 28682426 738152448 152911 33554432000 4194304 6059633 140737366268688 140737366267064 4277879 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/23314/statm: 180213 152911 183 456 0 179749 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 720852

[startup+51.1004 s]
/proc/loadavg: 2.18 2.08 2.01 3/175 23315
/proc/meminfo: memFree=30410952/32872528 swapFree=447868/480572
[pid=23314] ppid=23311 vsize=723572 CPUtime=51.08 cores=0,2,4,6
/proc/23314/stat : 23314 (open-wbo) R 23311 23314 16921 0 -1 4202496 112589 0 0 0 5087 21 0 0 20 0 1 0 28682426 740937728 157679 33554432000 4194304 6059633 140737366268688 140737366267064 4261576 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/23314/statm: 180893 157679 183 456 0 180429 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 723572

[startup+102.3 s]
/proc/loadavg: 2.14 2.08 2.01 3/175 23316
/proc/meminfo: memFree=30408968/32872528 swapFree=447868/480572
[pid=23314] ppid=23311 vsize=726564 CPUtime=102.28 cores=0,2,4,6
/proc/23314/stat : 23314 (open-wbo) R 23311 23314 16921 0 -1 4202496 113522 0 0 0 10204 24 0 0 20 0 1 0 28682426 744001536 155189 33554432000 4194304 6059633 140737366268688 140737366267064 4277549 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/23314/statm: 181641 155189 184 456 0 181177 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 726564

[startup+162.3 s]
/proc/loadavg: 2.09 2.08 2.01 3/175 23317
/proc/meminfo: memFree=30389500/32872528 swapFree=447868/480572
[pid=23314] ppid=23311 vsize=730072 CPUtime=162.27 cores=0,2,4,6
/proc/23314/stat : 23314 (open-wbo) R 23311 23314 16921 0 -1 4202496 114360 0 0 0 16202 25 0 0 20 0 1 0 28682426 747593728 160627 33554432000 4194304 6059633 140737366268688 140737366267064 4277570 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/23314/statm: 182518 160627 184 456 0 182054 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 730072

[startup+222.307 s]
/proc/loadavg: 2.03 2.06 2.01 4/175 23318
/proc/meminfo: memFree=30432112/32872528 swapFree=447868/480572
[pid=23314] ppid=23311 vsize=732016 CPUtime=222.25 cores=0,2,4,6
/proc/23314/stat : 23314 (open-wbo) R 23311 23314 16921 0 -1 4202496 115267 0 0 0 22198 27 0 0 20 0 1 0 28682426 749584384 159847 33554432000 4194304 6059633 140737366268688 140737366267064 4277900 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/23314/statm: 183004 159847 184 456 0 182540 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 732016

[startup+282.3 s]
/proc/loadavg: 2.01 2.05 2.00 3/175 23320
/proc/meminfo: memFree=30385916/32872528 swapFree=447868/480572
[pid=23314] ppid=23311 vsize=733548 CPUtime=282.21 cores=0,2,4,6
/proc/23314/stat : 23314 (open-wbo) R 23311 23314 16921 0 -1 4202496 115797 0 0 0 28192 29 0 0 20 0 1 0 28682426 751153152 160107 33554432000 4194304 6059633 140737366268688 140737366267512 4246291 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/23314/statm: 183387 160107 184 456 0 182923 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 733548

[startup+342.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/175 23321
/proc/meminfo: memFree=30390152/32872528 swapFree=447868/480572
[pid=23314] ppid=23311 vsize=734824 CPUtime=342.2 cores=0,2,4,6
/proc/23314/stat : 23314 (open-wbo) R 23311 23314 16921 0 -1 4202496 116498 0 0 0 34190 30 0 0 20 0 1 0 28682426 752459776 161631 33554432000 4194304 6059633 140737366268688 140737366267064 4277781 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/23314/statm: 183706 161631 184 456 0 183242 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 734824

[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.00 4/175 23322
/proc/meminfo: memFree=30379244/32872528 swapFree=447868/480572
[pid=23314] ppid=23311 vsize=735372 CPUtime=402.19 cores=0,2,4,6
/proc/23314/stat : 23314 (open-wbo) R 23311 23314 16921 0 -1 4202496 116828 0 0 0 40186 33 0 0 20 0 1 0 28682426 753020928 162119 33554432000 4194304 6059633 140737366268688 140737366267064 4277667 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/23314/statm: 183843 162119 184 456 0 183379 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 735372

[startup+462.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/175 23323
/proc/meminfo: memFree=30355940/32872528 swapFree=447868/480572
[pid=23314] ppid=23311 vsize=735680 CPUtime=462.17 cores=0,2,4,6
/proc/23314/stat : 23314 (open-wbo) R 23311 23314 16921 0 -1 4202496 117367 0 0 0 46182 35 0 0 20 0 1 0 28682426 753336320 162903 33554432000 4194304 6059633 140737366268688 140737366267064 4277570 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/23314/statm: 183920 162903 184 456 0 183456 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 735680

[startup+522.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/176 23327
/proc/meminfo: memFree=30339960/32872528 swapFree=447868/480572
[pid=23314] ppid=23311 vsize=818420 CPUtime=522.16 cores=0,2,4,6
/proc/23314/stat : 23314 (open-wbo) R 23311 23314 16921 0 -1 4202496 118417 0 0 0 52176 40 0 0 20 0 1 0 28682426 838062080 164876 33554432000 4194304 6059633 140737366268688 140737366267480 4278447 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/23314/statm: 204605 164876 184 456 0 204141 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 818420

[startup+582.3 s]
/proc/loadavg: 2.02 2.03 2.00 4/175 23329
/proc/meminfo: memFree=30321300/32872528 swapFree=447868/480572
[pid=23314] ppid=23311 vsize=828100 CPUtime=582.16 cores=0,2,4,6
/proc/23314/stat : 23314 (open-wbo) R 23311 23314 16921 0 -1 4202496 120538 0 0 0 58171 45 0 0 20 0 1 0 28682426 847974400 167436 33554432000 4194304 6059633 140737366268688 140737366267480 4277570 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/23314/statm: 207025 167436 184 456 0 206561 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 828100


################
# More data... #
################


[startup+882.307 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 23335
/proc/meminfo: memFree=30315124/32872528 swapFree=447868/480572
[pid=23314] ppid=23311 vsize=840304 CPUtime=882.12 cores=0,2,4,6
/proc/23314/stat : 23314 (open-wbo) R 23311 23314 16921 0 -1 4202496 122753 0 0 0 88160 52 0 0 20 0 1 0 28682426 860471296 170015 33554432000 4194304 6059633 140737366268688 140737366267480 4277710 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/23314/statm: 210076 170015 184 456 0 209612 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 840304

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/175 23336
/proc/meminfo: memFree=30310692/32872528 swapFree=447868/480572
[pid=23314] ppid=23311 vsize=840304 CPUtime=942.1 cores=0,2,4,6
/proc/23314/stat : 23314 (open-wbo) R 23311 23314 16921 0 -1 4202496 123340 0 0 0 94155 55 0 0 20 0 1 0 28682426 860471296 171053 33554432000 4194304 6059633 140737366268688 140737366267480 4278373 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/23314/statm: 210076 171053 184 456 0 209612 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 840304

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 23337
/proc/meminfo: memFree=30304744/32872528 swapFree=447868/480572
[pid=23314] ppid=23311 vsize=840304 CPUtime=1002.09 cores=0,2,4,6
/proc/23314/stat : 23314 (open-wbo) R 23311 23314 16921 0 -1 4202496 123939 0 0 0 100150 59 0 0 20 0 1 0 28682426 860471296 172092 33554432000 4194304 6059633 140737366268688 140737366267480 4277570 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/23314/statm: 210076 172092 184 456 0 209612 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 840304

[startup+1062.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/175 23338
/proc/meminfo: memFree=30331564/32872528 swapFree=447868/480572
[pid=23314] ppid=23311 vsize=758916 CPUtime=1062.08 cores=0,2,4,6
/proc/23314/stat : 23314 (open-wbo) R 23311 23314 16921 0 -1 4202496 124317 0 0 0 106147 61 0 0 20 0 1 0 28682426 777129984 164721 33554432000 4194304 6059633 140737366268688 140737366267512 4261221 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/23314/statm: 189729 164721 184 456 0 189265 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 758916

[startup+1122.3 s]
/proc/loadavg: 2.10 2.04 2.01 4/176 23342
/proc/meminfo: memFree=30327932/32872528 swapFree=447868/480572
[pid=23314] ppid=23311 vsize=758916 CPUtime=1122.07 cores=0,2,4,6
/proc/23314/stat : 23314 (open-wbo) R 23311 23314 16921 0 -1 4202496 124500 0 0 0 112143 64 0 0 20 0 1 0 28682426 777129984 164578 33554432000 4194304 6059633 140737366268688 140737366267512 4278479 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/23314/statm: 189729 164578 184 456 0 189265 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 758916

[startup+1182.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/175 23344
/proc/meminfo: memFree=30327328/32872528 swapFree=447868/480572
[pid=23314] ppid=23311 vsize=758916 CPUtime=1182.06 cores=0,2,4,6
/proc/23314/stat : 23314 (open-wbo) R 23311 23314 16921 0 -1 4202496 125015 0 0 0 118141 65 0 0 20 0 1 0 28682426 777129984 165262 33554432000 4194304 6059633 140737366268688 140737366267512 4277570 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/23314/statm: 189729 165262 184 456 0 189265 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 758916

[startup+1242.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/175 23345
/proc/meminfo: memFree=30336924/32872528 swapFree=447868/480572
[pid=23314] ppid=23311 vsize=758916 CPUtime=1242.05 cores=0,2,4,6
/proc/23314/stat : 23314 (open-wbo) R 23311 23314 16921 0 -1 4202496 125249 0 0 0 124138 67 0 0 20 0 1 0 28682426 777129984 163097 33554432000 4194304 6059633 140737366268688 140737366267512 4277781 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/23314/statm: 189729 163097 184 456 0 189265 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 758916

[startup+1302.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/175 23437
/proc/meminfo: memFree=30440132/32872528 swapFree=447868/480572
[pid=23314] ppid=23311 vsize=758916 CPUtime=1302.03 cores=0,2,4,6
/proc/23314/stat : 23314 (open-wbo) R 23311 23314 16921 0 -1 4202496 125255 0 0 0 130136 67 0 0 20 0 1 0 28682426 777129984 166626 33554432000 4194304 6059633 140737366268688 140737366267512 4278447 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/23314/statm: 189729 166626 184 456 0 189265 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 758916

[startup+1362.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/175 23484
/proc/meminfo: memFree=30452292/32872528 swapFree=447868/480572
[pid=23314] ppid=23311 vsize=758916 CPUtime=1362.03 cores=0,2,4,6
/proc/23314/stat : 23314 (open-wbo) R 23311 23314 16921 0 -1 4202496 125776 0 0 0 136132 71 0 0 20 0 1 0 28682426 777129984 163042 33554432000 4194304 6059633 140737366268688 140737366267512 4277685 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/23314/statm: 189729 163042 184 456 0 189265 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 758916

[startup+1422.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/175 23485
/proc/meminfo: memFree=30364144/32872528 swapFree=447868/480572
[pid=23314] ppid=23311 vsize=758916 CPUtime=1422.03 cores=0,2,4,6
/proc/23314/stat : 23314 (open-wbo) R 23311 23314 16921 0 -1 4202496 125784 0 0 0 142131 72 0 0 20 0 1 0 28682426 777129984 167138 33554432000 4194304 6059633 140737366268688 140737366267512 4278447 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/23314/statm: 189729 167138 184 456 0 189265 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 758916

[startup+1482.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/175 23487
/proc/meminfo: memFree=30327500/32872528 swapFree=447868/480572
[pid=23314] ppid=23311 vsize=758916 CPUtime=1482.01 cores=0,2,4,6
/proc/23314/stat : 23314 (open-wbo) R 23311 23314 16921 0 -1 4202496 126642 0 0 0 148126 75 0 0 20 0 1 0 28682426 777129984 167650 33554432000 4194304 6059633 140737366268688 140737366267512 4277781 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/23314/statm: 189729 167650 184 456 0 189265 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 758916

[startup+1542.31 s]
/proc/loadavg: 2.21 2.08 2.02 3/175 23488
/proc/meminfo: memFree=30323564/32872528 swapFree=447868/480572
[pid=23314] ppid=23311 vsize=758916 CPUtime=1542.01 cores=0,2,4,6
/proc/23314/stat : 23314 (open-wbo) R 23311 23314 16921 0 -1 4202496 127532 0 0 0 154121 80 0 0 20 0 1 0 28682426 777129984 168186 33554432000 4194304 6059633 140737366268688 140737366267512 4277663 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/23314/statm: 189729 168186 184 456 0 189265 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 758916

[startup+1602.3 s]
/proc/loadavg: 2.13 2.08 2.02 3/175 23489
/proc/meminfo: memFree=30327840/32872528 swapFree=447868/480572
[pid=23314] ppid=23311 vsize=758916 CPUtime=1601.99 cores=0,2,4,6
/proc/23314/stat : 23314 (open-wbo) R 23311 23314 16921 0 -1 4202496 128445 0 0 0 160115 84 0 0 20 0 1 0 28682426 777129984 167715 33554432000 4194304 6059633 140737366268688 140737366267512 4277549 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/23314/statm: 189729 167715 184 456 0 189265 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 758916

[startup+1662.3 s]
/proc/loadavg: 2.09 2.08 2.02 3/175 23490
/proc/meminfo: memFree=30323428/32872528 swapFree=447868/480572
[pid=23314] ppid=23311 vsize=758916 CPUtime=1661.98 cores=0,2,4,6
/proc/23314/stat : 23314 (open-wbo) R 23311 23314 16921 0 -1 4202496 129331 0 0 0 166110 88 0 0 20 0 1 0 28682426 777129984 168244 33554432000 4194304 6059633 140737366268688 140737366267512 4254639 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/23314/statm: 189729 168244 184 456 0 189265 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 758916

[startup+1722.3 s]
/proc/loadavg: 2.13 2.09 2.02 3/176 23494
/proc/meminfo: memFree=30329424/32872528 swapFree=447868/480572
[pid=23314] ppid=23311 vsize=758916 CPUtime=1721.97 cores=0,2,4,6
/proc/23314/stat : 23314 (open-wbo) R 23311 23314 16921 0 -1 4202496 130225 0 0 0 172105 92 0 0 20 0 1 0 28682426 777129984 167767 33554432000 4194304 6059633 140737366268688 140737366267512 4278363 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/23314/statm: 189729 167767 184 456 0 189265 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 758916

[startup+1782.3 s]
/proc/loadavg: 2.09 2.09 2.02 3/175 23496
/proc/meminfo: memFree=30332712/32872528 swapFree=447868/480572
[pid=23314] ppid=23311 vsize=758916 CPUtime=1781.96 cores=0,2,4,6
/proc/23314/stat : 23314 (open-wbo) R 23311 23314 16921 0 -1 4202496 131110 0 0 0 178100 96 0 0 20 0 1 0 28682426 777129984 166252 33554432000 4194304 6059633 140737366268688 140737366267512 4277549 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/23314/statm: 189729 166252 184 456 0 189265 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 758916



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.14 2.10 2.02 3/175 23496
/proc/meminfo: memFree=30330796/32872528 swapFree=447868/480572
[pid=23314] ppid=23311 vsize=758916 CPUtime=1800.06 cores=0,2,4,6
/proc/23314/stat : 23314 (open-wbo) R 23311 23314 16921 0 -1 4202496 131111 0 0 0 179910 96 0 0 20 0 1 0 28682426 777129984 166764 33554432000 4194304 6059633 140737366268688 140737366267512 4277900 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/23314/statm: 189729 166764 184 456 0 189265 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 758916

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

Child status: 40
Real time (s): 1800.4
CPU time (s): 1800.08
CPU user time (s): 1799.11
CPU system time (s): 0.970852
CPU usage (%): 99.9818
Max. virtual memory (cumulated for all children) (KiB): 970532

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.11
system time used= 0.970852
maximum resident set size= 801256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131114
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= 92
involuntary context switches= 1850

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.05423 second user time and 6.75497 second system time

The end

Launcher Data 

Begin job on node104 at 2016-06-18 18:12:03
IDJOB=4108902
IDBENCH=89677
IDSOLVER=2547
FILE ID=node104/4108902-1466266322
RUNJOBID= node104-1466240628-16937
PBS_JOBID= 19918194
Free space on /tmp= 71644 MiB

SOLVER NAME= Open-WBO PB16
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-154.opb
COMMAND LINE= open-wbo BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4108902-1466266322/watcher-4108902-1466266322 -o /tmp/evaluation-result-4108902-1466266322/solver-4108902-1466266322 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1466240628-16937 --watchdog 1960  open-wbo HOME/instance-4108902-1466266322.opb

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

MD5SUM BENCH= f522aac6d99c68f89e25c943b464d005
RANDOM SEED=916520970

node104.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.035
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:        31076548 kB
Buffers:          135132 kB
Cached:           248628 kB
SwapCached:        40452 kB
Active:           289288 kB
Inactive:         283732 kB
Active(anon):     151412 kB
Inactive(anon):    39968 kB
Active(file):     137876 kB
Inactive(file):   243764 kB
Unevictable:      480572 kB
Mlocked:          447868 kB
SwapTotal:      67108856 kB
SwapFree:       67060428 kB
Dirty:             54192 kB
Writeback:             0 kB
AnonPages:        675552 kB
Mapped:             7852 kB
Shmem:                 0 kB
Slab:             608804 kB
SReclaimable:      52524 kB
SUnreclaim:       556280 kB
KernelStack:        1424 kB
PageTables:         5444 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     755484 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    120832 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= 71636 MiB
End job on node104 at 2016-06-18 18:42:04