Trace number 4108935

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-LSU PB16? (TO) 1800.07 1800.41

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-147.opb
MD5SUM8c2053bb677dce90b85fb5832d9bc324
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 variables42127
Total number of constraints974306
Number of constraints which are clauses875463
Number of constraints which are cardinality constraints (but not clauses)3062
Number of constraints which are nor clauses,nor cardinality constraints95781
Minimum length of a constraint2
Maximum length of a constraint627
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 628
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 -- LSU
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-4108935-1466263757.opb
0.00/0.00	c File size is 44066372 bytes.
1800.05/1800.40	c Sum of soft weights:            0
1800.05/1800.40	c |                                                                                                       |
1800.05/1800.40	c ========================================[ Problem Statistics ]===========================================
1800.05/1800.40	c |                                                                                                       |
1800.05/1800.40	c |  Problem Type:           Unweighted                                                                   |
1800.05/1800.40	c |  Number of variables:         42127                                                                   |
1800.05/1800.40	c |  Number of hard clauses:     877004                                                                   |
1800.05/1800.40	c |  Number of soft clauses:          0                                                                   |
1800.05/1800.40	c |  Number of cardinality:        3063                                                                   |
1800.05/1800.40	c |  Number of PB :               95781                                                                   |
1800.05/1800.40	c |  Parse time:                   4.47 s                                                                 |
1800.05/1800.40	c |                                                                                                       |
1800.05/1800.40	c ==========================================[ Solver Settings ]============================================
1800.05/1800.40	c |                                                                                                       |
1800.05/1800.40	c |  Algorithm:                LinearSU                                                                   |
1800.05/1800.40	c |  Cardinality Encoding:       Modulo Totalizer                                                         |
1800.05/1800.40	c |                                                                                                       |
1800.05/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-4108935-1466263757/watcher-4108935-1466263757 -o /tmp/evaluation-result-4108935-1466263757/solver-4108935-1466263757 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1466240825-17558 --watchdog 1960 open-wbo-lsu HOME/instance-4108935-1466263757.opb 

pid=28338
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.02 2.08 2.12 3/176 28341
/proc/meminfo: memFree=30387304/32872528 swapFree=1074772/1156532
[pid=28341] ppid=28338 vsize=45240 CPUtime=0 cores=0,2,4,6
/proc/28341/stat : 28341 (open-wbo-lsu) R 28338 28341 17542 0 -1 4202496 5709 0 0 0 0 0 0 0 20 0 1 0 28425028 46325760 5584 33554432000 4194304 6058637 140734910430368 140736712704248 5068842 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28341/statm: 11310 5601 5582 456 0 87 0

[startup+0.100161 s]
/proc/loadavg: 2.02 2.08 2.12 3/176 28341
/proc/meminfo: memFree=30387304/32872528 swapFree=1074772/1156532
[pid=28341] ppid=28338 vsize=46816 CPUtime=0.09 cores=0,2,4,6
/proc/28341/stat : 28341 (open-wbo-lsu) R 28338 28341 17542 0 -1 4202496 11442 0 0 0 9 0 0 0 20 0 1 0 28425028 47939584 11317 33554432000 4194304 6058637 140734910430368 140736712704248 5042435 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28341/statm: 11704 11318 10894 456 0 481 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 46816

[startup+0.20034 s]
/proc/loadavg: 2.02 2.08 2.12 3/176 28341
/proc/meminfo: memFree=30387304/32872528 swapFree=1074772/1156532
[pid=28341] ppid=28338 vsize=48744 CPUtime=0.19 cores=0,2,4,6
/proc/28341/stat : 28341 (open-wbo-lsu) R 28338 28341 17542 0 -1 4202496 11858 0 0 0 19 0 0 0 20 0 1 0 28425028 49913856 11733 33554432000 4194304 6058637 140734910430368 140736712704248 4210712 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28341/statm: 12186 11733 10894 456 0 963 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 48744

[startup+0.300265 s]
/proc/loadavg: 2.02 2.08 2.12 3/176 28341
/proc/meminfo: memFree=30387304/32872528 swapFree=1074772/1156532
[pid=28341] ppid=28338 vsize=50492 CPUtime=0.29 cores=0,2,4,6
/proc/28341/stat : 28341 (open-wbo-lsu) R 28338 28341 17542 0 -1 4202496 12271 0 0 0 29 0 0 0 20 0 1 0 28425028 51703808 12146 33554432000 4194304 6058637 140734910430368 140736712704248 4210712 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28341/statm: 12623 12146 10894 456 0 1400 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50492

[startup+0.700232 s]
/proc/loadavg: 2.02 2.08 2.12 3/176 28341
/proc/meminfo: memFree=30387304/32872528 swapFree=1074772/1156532
[pid=28341] ppid=28338 vsize=57184 CPUtime=0.69 cores=0,2,4,6
/proc/28341/stat : 28341 (open-wbo-lsu) R 28338 28341 17542 0 -1 4202496 13861 0 0 0 69 0 0 0 20 0 1 0 28425028 58556416 13736 33554432000 4194304 6058637 140734910430368 140734910428728 4210712 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28341/statm: 14296 13736 10894 456 0 3073 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 57184

[startup+1.50024 s]
/proc/loadavg: 2.02 2.08 2.12 3/177 28342
/proc/meminfo: memFree=30367796/32872528 swapFree=1074772/1156532
[pid=28341] ppid=28338 vsize=70708 CPUtime=1.49 cores=0,2,4,6
/proc/28341/stat : 28341 (open-wbo-lsu) R 28338 28341 17542 0 -1 4202496 16909 0 0 0 148 1 0 0 20 0 1 0 28425028 72404992 17295 33554432000 4194304 6058637 140734910430368 140734910428728 5042435 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28341/statm: 17677 17295 10894 456 0 6454 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 70708

[startup+3.10023 s]
/proc/loadavg: 2.02 2.08 2.12 4/177 28342
/proc/meminfo: memFree=30350240/32872528 swapFree=1074772/1156532
[pid=28341] ppid=28338 vsize=93572 CPUtime=3.09 cores=0,2,4,6
/proc/28341/stat : 28341 (open-wbo-lsu) R 28338 28341 17542 0 -1 4202496 22547 0 0 0 307 2 0 0 20 0 1 0 28425028 95817728 22933 33554432000 4194304 6058637 140734910430368 140734910428712 5042435 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28341/statm: 23393 22933 10894 456 0 12170 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 93572

[startup+6.30029 s]
/proc/loadavg: 2.02 2.08 2.12 4/177 28342
/proc/meminfo: memFree=29940516/32872528 swapFree=1074772/1156532
[pid=28341] ppid=28338 vsize=590428 CPUtime=6.28 cores=0,2,4,6
/proc/28341/stat : 28341 (open-wbo-lsu) R 28338 28341 17542 0 -1 4202496 94898 0 0 0 610 18 0 0 20 0 1 0 28425028 604598272 127947 33554432000 4194304 6058637 140734910430368 140734910428840 4277394 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28341/statm: 147607 127947 179 456 0 147143 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 590428

[startup+12.7003 s]
/proc/loadavg: 2.02 2.08 2.12 3/177 28342
/proc/meminfo: memFree=29854456/32872528 swapFree=1074772/1156532
[pid=28341] ppid=28338 vsize=601252 CPUtime=12.69 cores=0,2,4,6
/proc/28341/stat : 28341 (open-wbo-lsu) R 28338 28341 17542 0 -1 4202496 97701 0 0 0 1250 19 0 0 20 0 1 0 28425028 615682048 131772 33554432000 4194304 6058637 140734910430368 140734910428984 4299692 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28341/statm: 150313 131772 179 456 0 149849 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 601252

[startup+25.5004 s]
/proc/loadavg: 2.01 2.08 2.12 4/177 28434
/proc/meminfo: memFree=30000884/32872528 swapFree=1074772/1156532
[pid=28341] ppid=28338 vsize=605952 CPUtime=25.49 cores=0,2,4,6
/proc/28341/stat : 28341 (open-wbo-lsu) R 28338 28341 17542 0 -1 4202496 98882 0 0 0 2530 19 0 0 20 0 1 0 28425028 620494848 133975 33554432000 4194304 6058637 140734910430368 140734910428984 4278255 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28341/statm: 151488 133975 179 456 0 151024 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 605952

[startup+51.1003 s]
/proc/loadavg: 2.07 2.08 2.12 4/178 28437
/proc/meminfo: memFree=29951140/32872528 swapFree=1074772/1156532
[pid=28341] ppid=28338 vsize=607044 CPUtime=51.08 cores=0,2,4,6
/proc/28341/stat : 28341 (open-wbo-lsu) R 28338 28341 17542 0 -1 4202496 99165 0 0 0 5089 19 0 0 20 0 1 0 28425028 621613056 135791 33554432000 4194304 6058637 140734910430368 140734910428984 4277663 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28341/statm: 151761 135791 179 456 0 151297 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 607044

[startup+102.3 s]
/proc/loadavg: 2.21 2.11 2.12 3/178 28438
/proc/meminfo: memFree=29947948/32872528 swapFree=1074772/1156532
[pid=28341] ppid=28338 vsize=609220 CPUtime=102.28 cores=0,2,4,6
/proc/28341/stat : 28341 (open-wbo-lsu) R 28338 28341 17542 0 -1 4202496 100233 0 0 0 10207 21 0 0 20 0 1 0 28425028 623841280 134564 33554432000 4194304 6058637 140734910430368 140734910428984 4277615 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28341/statm: 152305 134564 180 456 0 151841 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 609220

[startup+162.3 s]
/proc/loadavg: 2.16 2.12 2.12 3/177 28485
/proc/meminfo: memFree=29718144/32872528 swapFree=1074772/1156532
[pid=28341] ppid=28338 vsize=611156 CPUtime=162.26 cores=0,2,4,6
/proc/28341/stat : 28341 (open-wbo-lsu) R 28338 28341 17542 0 -1 4202496 100847 0 0 0 16203 23 0 0 20 0 1 0 28425028 625823744 134170 33554432000 4194304 6058637 140734910430368 140734910428984 4277663 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28341/statm: 152789 134170 180 456 0 152325 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 611156

[startup+222.307 s]
/proc/loadavg: 2.10 2.11 2.12 3/177 28486
/proc/meminfo: memFree=29714756/32872528 swapFree=1074772/1156532
[pid=28341] ppid=28338 vsize=612404 CPUtime=222.24 cores=0,2,4,6
/proc/28341/stat : 28341 (open-wbo-lsu) R 28338 28341 17542 0 -1 4202496 101670 0 0 0 22198 26 0 0 20 0 1 0 28425028 627101696 134311 33554432000 4194304 6058637 140734910430368 140734910429432 4277663 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28341/statm: 153101 134311 180 456 0 152637 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 612404

[startup+282.3 s]
/proc/loadavg: 2.15 2.12 2.12 3/177 28487
/proc/meminfo: memFree=29709224/32872528 swapFree=1074772/1156532
[pid=28341] ppid=28338 vsize=613344 CPUtime=282.21 cores=0,2,4,6
/proc/28341/stat : 28341 (open-wbo-lsu) R 28338 28341 17542 0 -1 4202496 102025 0 0 0 28193 28 0 0 20 0 1 0 28425028 628064256 135269 33554432000 4194304 6058637 140734910430368 140734910429432 4277471 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28341/statm: 153336 135269 180 456 0 152872 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 613344

[startup+342.3 s]
/proc/loadavg: 2.15 2.12 2.11 3/177 28488
/proc/meminfo: memFree=29704592/32872528 swapFree=1074772/1156532
[pid=28341] ppid=28338 vsize=614216 CPUtime=342.2 cores=0,2,4,6
/proc/28341/stat : 28341 (open-wbo-lsu) R 28338 28341 17542 0 -1 4202496 102698 0 0 0 34190 30 0 0 20 0 1 0 28425028 628957184 135256 33554432000 4194304 6058637 140734910430368 140734910429432 4277589 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28341/statm: 153554 135256 180 456 0 153090 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 614216

[startup+402.3 s]
/proc/loadavg: 2.06 2.10 2.10 3/177 28489
/proc/meminfo: memFree=29694540/32872528 swapFree=1074772/1156532
[pid=28341] ppid=28338 vsize=623760 CPUtime=402.18 cores=0,2,4,6
/proc/28341/stat : 28341 (open-wbo-lsu) R 28338 28341 17542 0 -1 4202496 104392 0 0 0 40186 32 0 0 20 0 1 0 28425028 638730240 137024 33554432000 4194304 6058637 140734910430368 140734910429432 4277378 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28341/statm: 155940 137024 180 456 0 155476 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 623760

[startup+462.3 s]
/proc/loadavg: 2.05 2.09 2.10 3/177 28491
/proc/meminfo: memFree=29690960/32872528 swapFree=1074772/1156532
[pid=28341] ppid=28338 vsize=623760 CPUtime=462.17 cores=0,2,4,6
/proc/28341/stat : 28341 (open-wbo-lsu) R 28338 28341 17542 0 -1 4202496 104903 0 0 0 46183 34 0 0 20 0 1 0 28425028 638730240 137406 33554432000 4194304 6058637 140734910430368 140734910429432 4246099 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28341/statm: 155940 137406 180 456 0 155476 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 623760

[startup+522.3 s]
/proc/loadavg: 2.13 2.10 2.10 3/177 28538
/proc/meminfo: memFree=29873076/32872528 swapFree=1074772/1156532
[pid=28341] ppid=28338 vsize=626576 CPUtime=522.15 cores=0,2,4,6
/proc/28341/stat : 28341 (open-wbo-lsu) R 28338 28341 17542 0 -1 4202496 105641 0 0 0 52179 36 0 0 20 0 1 0 28425028 641613824 139902 33554432000 4194304 6058637 140734910430368 140734910428968 4277708 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28341/statm: 156644 139902 180 456 0 156180 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 626576

[startup+582.3 s]
/proc/loadavg: 2.22 2.13 2.10 3/177 28539
/proc/meminfo: memFree=29855244/32872528 swapFree=1074772/1156532
[pid=28341] ppid=28338 vsize=626576 CPUtime=582.15 cores=0,2,4,6
/proc/28341/stat : 28341 (open-wbo-lsu) R 28338 28341 17542 0 -1 4202496 105646 0 0 0 58178 37 0 0 20 0 1 0 28425028 641613824 142462 33554432000 4194304 6058637 140734910430368 140734910428968 4277518 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28341/statm: 156644 142462 180 456 0 156180 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 626576


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


[startup+882.307 s]
/proc/loadavg: 2.14 2.14 2.09 3/177 28548
/proc/meminfo: memFree=29820256/32872528 swapFree=1074772/1156532
[pid=28341] ppid=28338 vsize=626576 CPUtime=882.1 cores=0,2,4,6
/proc/28341/stat : 28341 (open-wbo-lsu) R 28338 28341 17542 0 -1 4202496 106266 0 0 0 88170 40 0 0 20 0 1 0 28425028 641613824 145534 33554432000 4194304 6058637 140734910430368 140734910429432 4277708 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28341/statm: 156644 145534 180 456 0 156180 0
Current children cumulated CPU time (s) 882.1
Current children cumulated vsize (KiB) 626576

[startup+942.3 s]
/proc/loadavg: 2.17 2.15 2.09 3/177 28549
/proc/meminfo: memFree=29846932/32872528 swapFree=1074772/1156532
[pid=28341] ppid=28338 vsize=626576 CPUtime=942.09 cores=0,2,4,6
/proc/28341/stat : 28341 (open-wbo-lsu) R 28338 28341 17542 0 -1 4202496 106798 0 0 0 94165 44 0 0 20 0 1 0 28425028 641613824 140414 33554432000 4194304 6058637 140734910430368 140734910429432 4246099 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28341/statm: 156644 140414 180 456 0 156180 0
Current children cumulated CPU time (s) 942.09
Current children cumulated vsize (KiB) 626576

[startup+1002.3 s]
/proc/loadavg: 2.23 2.16 2.10 3/177 28550
/proc/meminfo: memFree=29839700/32872528 swapFree=1074772/1156532
[pid=28341] ppid=28338 vsize=626576 CPUtime=1002.08 cores=0,2,4,6
/proc/28341/stat : 28341 (open-wbo-lsu) R 28338 28341 17542 0 -1 4202496 107261 0 0 0 100162 46 0 0 20 0 1 0 28425028 641613824 140203 33554432000 4194304 6058637 140734910430368 140734910429432 4277598 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28341/statm: 156644 140203 180 456 0 156180 0
Current children cumulated CPU time (s) 1002.08
Current children cumulated vsize (KiB) 626576

[startup+1062.3 s]
/proc/loadavg: 2.15 2.15 2.09 3/177 28552
/proc/meminfo: memFree=29810628/32872528 swapFree=1074772/1156532
[pid=28341] ppid=28338 vsize=626576 CPUtime=1062.07 cores=0,2,4,6
/proc/28341/stat : 28341 (open-wbo-lsu) R 28338 28341 17542 0 -1 4202496 107322 0 0 0 106161 46 0 0 20 0 1 0 28425028 641613824 145885 33554432000 4194304 6058637 140734910430368 140734910429432 4277518 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28341/statm: 156644 145885 180 456 0 156180 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 626576

[startup+1122.3 s]
/proc/loadavg: 2.21 2.16 2.10 3/177 28553
/proc/meminfo: memFree=29826996/32872528 swapFree=1074772/1156532
[pid=28341] ppid=28338 vsize=626848 CPUtime=1122.06 cores=0,2,4,6
/proc/28341/stat : 28341 (open-wbo-lsu) R 28338 28341 17542 0 -1 4202496 108133 0 0 0 112157 49 0 0 20 0 1 0 28425028 641892352 139592 33554432000 4194304 6058637 140734910430368 140734910429432 4278181 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28341/statm: 156712 139592 180 456 0 156248 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 626848

[startup+1182.3 s]
/proc/loadavg: 2.24 2.18 2.10 3/177 28554
/proc/meminfo: memFree=29801836/32872528 swapFree=1074772/1156532
[pid=28341] ppid=28338 vsize=627328 CPUtime=1182.06 cores=0,2,4,6
/proc/28341/stat : 28341 (open-wbo-lsu) R 28338 28341 17542 0 -1 4202496 108278 0 0 0 118156 50 0 0 20 0 1 0 28425028 642383872 144847 33554432000 4194304 6058637 140734910430368 140734910428984 4277676 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28341/statm: 156832 144847 180 456 0 156368 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 627328

[startup+1242.3 s]
/proc/loadavg: 2.29 2.20 2.11 3/177 28555
/proc/meminfo: memFree=29802808/32872528 swapFree=1074772/1156532
[pid=28341] ppid=28338 vsize=627996 CPUtime=1242.05 cores=0,2,4,6
/proc/28341/stat : 28341 (open-wbo-lsu) R 28338 28341 17542 0 -1 4202496 108553 0 0 0 124153 52 0 0 20 0 1 0 28425028 643067904 144385 33554432000 4194304 6058637 140734910430368 140734910428984 4277357 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28341/statm: 156999 144385 180 456 0 156535 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 627996

[startup+1302.3 s]
/proc/loadavg: 2.27 2.21 2.12 3/178 28559
/proc/meminfo: memFree=29726740/32872528 swapFree=1074772/1156532
[pid=28341] ppid=28338 vsize=629260 CPUtime=1302.03 cores=0,2,4,6
/proc/28341/stat : 28341 (open-wbo-lsu) R 28338 28341 17542 0 -1 4202496 109368 0 0 0 130148 55 0 0 20 0 1 0 28425028 644362240 139495 33554432000 4194304 6058637 140734910430368 140734910429176 4246099 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28341/statm: 157315 139495 180 456 0 156851 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 629260

[startup+1362.3 s]
/proc/loadavg: 2.35 2.23 2.13 3/177 28561
/proc/meminfo: memFree=29809884/32872528 swapFree=1074772/1156532
[pid=28341] ppid=28338 vsize=629260 CPUtime=1362.02 cores=0,2,4,6
/proc/28341/stat : 28341 (open-wbo-lsu) R 28338 28341 17542 0 -1 4202496 109380 0 0 0 136147 55 0 0 20 0 1 0 28425028 644362240 145639 33554432000 4194304 6058637 140734910430368 140734910429432 4277589 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28341/statm: 157315 145639 180 456 0 156851 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 629260

[startup+1422.3 s]
/proc/loadavg: 2.24 2.22 2.13 3/177 28562
/proc/meminfo: memFree=29819712/32872528 swapFree=1074772/1156532
[pid=28341] ppid=28338 vsize=629260 CPUtime=1422.02 cores=0,2,4,6
/proc/28341/stat : 28341 (open-wbo-lsu) R 28338 28341 17542 0 -1 4202496 109888 0 0 0 142145 57 0 0 20 0 1 0 28425028 644362240 144451 33554432000 4194304 6058637 140734910430368 140734910429432 4277378 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28341/statm: 157315 144451 180 456 0 156851 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 629260

[startup+1482.3 s]
/proc/loadavg: 2.18 2.21 2.13 3/177 28563
/proc/meminfo: memFree=29795724/32872528 swapFree=1074772/1156532
[pid=28341] ppid=28338 vsize=629532 CPUtime=1482 cores=0,2,4,6
/proc/28341/stat : 28341 (open-wbo-lsu) R 28338 28341 17542 0 -1 4202496 110091 0 0 0 148141 59 0 0 20 0 1 0 28425028 644640768 145263 33554432000 4194304 6058637 140734910430368 140734910428984 4277378 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28341/statm: 157383 145263 180 456 0 156919 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 629532

[startup+1542.31 s]
/proc/loadavg: 2.29 2.22 2.13 3/177 28564
/proc/meminfo: memFree=29814448/32872528 swapFree=1074772/1156532
[pid=28341] ppid=28338 vsize=629844 CPUtime=1542 cores=0,2,4,6
/proc/28341/stat : 28341 (open-wbo-lsu) R 28338 28341 17542 0 -1 4202496 110633 0 0 0 154139 61 0 0 20 0 1 0 28425028 644960256 143583 33554432000 4194304 6058637 140734910430368 140734910429432 4277357 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28341/statm: 157461 143583 180 456 0 156997 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 629844

[startup+1602.3 s]
/proc/loadavg: 2.18 2.20 2.13 3/177 28565
/proc/meminfo: memFree=29801460/32872528 swapFree=1074772/1156532
[pid=28341] ppid=28338 vsize=630120 CPUtime=1601.98 cores=0,2,4,6
/proc/28341/stat : 28341 (open-wbo-lsu) R 28338 28341 17542 0 -1 4202496 110836 0 0 0 160135 63 0 0 20 0 1 0 28425028 645242880 142753 33554432000 4194304 6058637 140734910430368 140734910429432 4246099 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28341/statm: 157530 142753 180 456 0 157066 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 630120

[startup+1662.3 s]
/proc/loadavg: 2.22 2.20 2.13 3/177 28567
/proc/meminfo: memFree=29820432/32872528 swapFree=1074772/1156532
[pid=28341] ppid=28338 vsize=630272 CPUtime=1661.97 cores=0,2,4,6
/proc/28341/stat : 28341 (open-wbo-lsu) R 28338 28341 17542 0 -1 4202496 111368 0 0 0 166133 64 0 0 20 0 1 0 28425028 645398528 141569 33554432000 4194304 6058637 140734910430368 140734910429432 4277378 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28341/statm: 157568 141569 180 456 0 157104 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 630272

[startup+1722.3 s]
/proc/loadavg: 2.27 2.21 2.14 3/177 28568
/proc/meminfo: memFree=29776684/32872528 swapFree=1074772/1156532
[pid=28341] ppid=28338 vsize=630428 CPUtime=1721.97 cores=0,2,4,6
/proc/28341/stat : 28341 (open-wbo-lsu) R 28338 28341 17542 0 -1 4202496 111411 0 0 0 172132 65 0 0 20 0 1 0 28425028 645558272 148255 33554432000 4194304 6058637 140734910430368 140734910428984 4278171 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28341/statm: 157607 148255 180 456 0 157143 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 630428

[startup+1782.3 s]
/proc/loadavg: 2.14 2.19 2.13 4/177 28569
/proc/meminfo: memFree=29820840/32872528 swapFree=1074772/1156532
[pid=28341] ppid=28338 vsize=637692 CPUtime=1781.96 cores=0,2,4,6
/proc/28341/stat : 28341 (open-wbo-lsu) R 28338 28341 17542 0 -1 4202496 113321 0 0 0 178128 68 0 0 20 0 1 0 28425028 652996608 142703 33554432000 4194304 6058637 140734910430368 140734910429432 4277424 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28341/statm: 159423 142703 180 456 0 158959 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 637692



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.11 2.18 2.13 4/177 28570
/proc/meminfo: memFree=29794032/32872528 swapFree=1074772/1156532
[pid=28341] ppid=28338 vsize=637692 CPUtime=1800.05 cores=0,2,4,6
/proc/28341/stat : 28341 (open-wbo-lsu) R 28338 28341 17542 0 -1 4202496 113327 0 0 0 179937 68 0 0 20 0 1 0 28425028 652996608 145775 33554432000 4194304 6058637 140734910430368 140734910429432 4277378 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/28341/statm: 159423 145775 180 456 0 158959 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 637692

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

Child status: 40
Real time (s): 1800.41
CPU time (s): 1800.07
CPU user time (s): 1799.38
CPU system time (s): 0.690894
CPU usage (%): 99.9813
Max. virtual memory (cumulated for all children) (KiB): 838464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.38
system time used= 0.690894
maximum resident set size= 693972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113330
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= 85
involuntary context switches= 1852

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.55415 second user time and 7.8918 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-18 17:29:18
IDJOB=4108935
IDBENCH=89747
IDSOLVER=2545
FILE ID=node114/4108935-1466263757
RUNJOBID= node114-1466240825-17558
PBS_JOBID= 19918199
Free space on /tmp= 71680 MiB

SOLVER NAME= Open-WBO-LSU PB16
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-147.opb
COMMAND LINE= open-wbo-lsu BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4108935-1466263757/watcher-4108935-1466263757 -o /tmp/evaluation-result-4108935-1466263757/solver-4108935-1466263757 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1466240825-17558 --watchdog 1960  open-wbo-lsu HOME/instance-4108935-1466263757.opb

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

MD5SUM BENCH= 8c2053bb677dce90b85fb5832d9bc324
RANDOM SEED=28633432

node114.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.761
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.52
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.761
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.761
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.54
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.761
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.761
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.761
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.761
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.761
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:        30388104 kB
Buffers:          128560 kB
Cached:           236044 kB
SwapCached:          808 kB
Active:           352524 kB
Inactive:         229988 kB
Active(anon):     219224 kB
Inactive(anon):     1176 kB
Active(file):     133300 kB
Inactive(file):   228812 kB
Unevictable:     1156532 kB
Mlocked:         1074772 kB
SwapTotal:      67108856 kB
SwapFree:       67100508 kB
Dirty:             47664 kB
Writeback:             0 kB
AnonPages:       1375992 kB
Mapped:             8936 kB
Shmem:                 0 kB
Slab:             610840 kB
SReclaimable:      54612 kB
SUnreclaim:       556228 kB
KernelStack:        1432 kB
PageTables:         6760 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1522424 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    272384 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= 71668 MiB
End job on node114 at 2016-06-18 17:59:19