Trace number 4105719

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
NaPS 1.02? (TO) 1800.06 1800.34

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=220-sizeP=111-sizeQ=220-687342390.opb
MD5SUM6e35a6365bb53fc415f73802d28edd05
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark1.9847
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1
Optimality of the best value was proved YES
Number of variables24751
Total number of constraints73261
Number of constraints which are clauses73260
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint24420
Number of terms in the objective function 111
Biggest coefficient in the objective function 1298074214633706907132624082305024
Number of bits for the biggest coefficient in the objective function 111
Sum of the numbers in the objective function 2596148429267413814265248164610047
Number of bits of the sum of numbers in the objective function 111
Biggest number in a constraint 1093625362391505962186251113558810682676584715446606218212885303204976499599687961611756588511526912
Number of bits of the biggest number in a constraint 330
Biggest sum of numbers in a constraint 4374501449566023848745004454235241283418574603663113591819857963636207601588942656194290280593199415
Number of bits of the biggest sum of numbers331
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 NaPS 1.02b.
1800.01/1800.30	c 
1800.01/1800.30	c *** TERMINATED *** by signal 15
1800.01/1800.30	s UNKNOWN
1800.01/1800.30	c _____________________________________________________________________________
1800.01/1800.30	c 
1800.01/1800.30	c std/band forms        : 0,1
1800.01/1800.30	c 2cl/3cl ITE-codings   : 0,2498200
1800.01/1800.30	c BDD/srt/adr Max costs : 2533316,0,0
1800.01/1800.30	c BDDraw/bin/mul/srt/adr: 1,0,0,0,0
1800.01/1800.30	c BDD nodes             : 2533317
1800.01/1800.30	c Es1/CC detections     : 0,0
1800.01/1800.30	c SAT/UNSAT calls       : 0,0
1800.01/1800.30	c restarts              : 0
1800.01/1800.30	c conflicts             : 0              (0 /sec)
1800.01/1800.30	c decisions             : 0              (0 /sec)
1800.01/1800.30	c propagations          : 0              (0 /sec)
1800.01/1800.30	c inspects              : 0              (0 /sec)
1800.01/1800.30	c CPU time (solving tm) : 1799 s        (0 s)
1800.01/1800.30	c Time for Opt-base     : 0 s
1800.01/1800.30	c _____________________________________________________________________________

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-4105719-1467028642/watcher-4105719-1467028642 -o /tmp/evaluation-result-4105719-1467028642/solver-4105719-1467028642 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1467020148-28663 --watchdog 1960 -S 80 naps-1.02 HOME/instance-4105719-1467028642.opb 

pid=29452
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 Stack size limit: 81920 KiB
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: 81920 KiB


[startup+0 s]
/proc/loadavg: 2.09 2.04 2.01 3/177 29455
/proc/meminfo: memFree=27859720/32872528 swapFree=190200/190200
[pid=29455] ppid=29452 vsize=6552 CPUtime=0 cores=0,2,4,6
/proc/29455/stat : 29455 (naps-1.02) R 29452 29455 28647 0 -1 4202496 318 0 0 0 0 0 0 0 20 0 1 0 35905000 6709248 191 33554432000 4194304 5796924 140737037254064 140737147734280 5183584 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/29455/statm: 1638 191 128 392 0 1237 0

[startup+0.100198 s]
/proc/loadavg: 2.09 2.04 2.01 3/177 29455
/proc/meminfo: memFree=27859720/32872528 swapFree=190200/190200
[pid=29455] ppid=29452 vsize=7824 CPUtime=0.09 cores=0,2,4,6
/proc/29455/stat : 29455 (naps-1.02) R 29452 29455 28647 0 -1 4202496 695 0 0 0 9 0 0 0 20 0 1 0 35905000 8011776 546 33554432000 4194304 5796924 140737037254064 140737147734280 4564240 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/29455/statm: 1956 546 128 392 0 1555 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7824

[startup+0.20028 s]
/proc/loadavg: 2.09 2.04 2.01 3/177 29455
/proc/meminfo: memFree=27859720/32872528 swapFree=190200/190200
[pid=29455] ppid=29452 vsize=9424 CPUtime=0.19 cores=0,2,4,6
/proc/29455/stat : 29455 (naps-1.02) R 29452 29455 28647 0 -1 4202496 1118 0 0 0 19 0 0 0 20 0 1 0 35905000 9650176 944 33554432000 4194304 5796924 140737037254064 140737147734280 4349703 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/29455/statm: 2356 944 128 392 0 1955 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 9424

[startup+0.300242 s]
/proc/loadavg: 2.09 2.04 2.01 3/177 29455
/proc/meminfo: memFree=27859720/32872528 swapFree=190200/190200
[pid=29455] ppid=29452 vsize=10824 CPUtime=0.29 cores=0,2,4,6
/proc/29455/stat : 29455 (naps-1.02) R 29452 29455 28647 0 -1 4202496 1494 0 0 0 29 0 0 0 20 0 1 0 35905000 11083776 1295 33554432000 4194304 5796924 140737037254064 140737147734280 5183584 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/29455/statm: 2706 1295 128 392 0 2305 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10824

[startup+0.70022 s]
/proc/loadavg: 2.09 2.04 2.01 3/177 29455
/proc/meminfo: memFree=27859720/32872528 swapFree=190200/190200
[pid=29455] ppid=29452 vsize=16288 CPUtime=0.69 cores=0,2,4,6
/proc/29455/stat : 29455 (naps-1.02) R 29452 29455 28647 0 -1 4202496 3057 0 0 0 69 0 0 0 20 0 1 0 35905000 16678912 3191 33554432000 4194304 5796924 140737037254064 140737037253432 5087571 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/29455/statm: 4072 3191 128 392 0 3671 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16288

[startup+1.50027 s]
/proc/loadavg: 2.09 2.04 2.01 3/178 29456
/proc/meminfo: memFree=27840296/32872528 swapFree=190200/190200
[pid=29455] ppid=29452 vsize=32564 CPUtime=1.49 cores=0,2,4,6
/proc/29455/stat : 29455 (naps-1.02) R 29452 29455 28647 0 -1 4202496 7766 0 0 0 148 1 0 0 20 0 1 0 35905000 33345536 7324 33554432000 4194304 5796924 140737037254064 140737037253432 4201991 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/29455/statm: 8141 7324 132 392 0 7740 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32564

[startup+3.10027 s]
/proc/loadavg: 2.08 2.04 2.00 3/178 29456
/proc/meminfo: memFree=27829740/32872528 swapFree=190200/190200
[pid=29455] ppid=29452 vsize=113784 CPUtime=3.09 cores=0,2,4,6
/proc/29455/stat : 29455 (naps-1.02) R 29452 29455 28647 0 -1 4202496 28067 0 0 0 306 3 0 0 20 0 1 0 35905000 116514816 27625 33554432000 4194304 5796924 140737037254064 140737011220264 5095032 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/29455/statm: 28446 27627 140 392 0 28045 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 113784

[startup+6.30028 s]
/proc/loadavg: 2.08 2.04 2.00 3/178 29456
/proc/meminfo: memFree=27638476/32872528 swapFree=190200/190200
[pid=29455] ppid=29452 vsize=259260 CPUtime=6.29 cores=0,2,4,6
/proc/29455/stat : 29455 (naps-1.02) R 29452 29455 28647 0 -1 4202496 64278 0 0 0 620 9 0 0 20 0 1 0 35905000 265482240 63870 33554432000 4194304 5796924 140737037254064 140737014608840 5095032 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/29455/statm: 64815 63872 140 392 0 64414 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 259260

[startup+12.7003 s]
/proc/loadavg: 2.07 2.04 2.00 3/178 29456
/proc/meminfo: memFree=27350240/32872528 swapFree=190200/190200
[pid=29455] ppid=29452 vsize=537840 CPUtime=12.69 cores=0,2,4,6
/proc/29455/stat : 29455 (naps-1.02) R 29452 29455 28647 0 -1 4202496 132749 0 0 0 1250 19 0 0 20 0 1 0 35905000 550748160 133577 33554432000 4194304 5796924 140737037254064 140737019229080 5094444 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/29455/statm: 134460 133577 140 392 0 134059 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 537840

[startup+25.5004 s]
/proc/loadavg: 2.06 2.04 2.00 3/178 29456
/proc/meminfo: memFree=26778072/32872528 swapFree=190200/190200
[pid=29455] ppid=29452 vsize=1092152 CPUtime=25.49 cores=0,2,4,6
/proc/29455/stat : 29455 (naps-1.02) R 29452 29455 28647 0 -1 4202496 262860 0 0 0 2511 38 0 0 20 0 1 0 35905000 1118363648 272131 33554432000 4194304 5796924 140737037254064 140737025795656 5095032 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/29455/statm: 273038 272134 140 392 0 272637 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1092152

[startup+51.1004 s]
/proc/loadavg: 2.11 2.05 2.01 3/178 29456
/proc/meminfo: memFree=25369200/32872528 swapFree=190200/190200
[pid=29455] ppid=29452 vsize=2692480 CPUtime=51.09 cores=0,2,4,6
/proc/29455/stat : 29455 (naps-1.02) R 29452 29455 28647 0 -1 4202496 500528 0 0 0 5025 84 0 0 20 0 1 0 35905000 2757099520 646256 33554432000 4194304 5796924 140737037254064 140737036457272 4600776 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/29455/statm: 673120 646256 141 392 0 672719 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 2692480

[startup+102.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/176 29457
/proc/meminfo: memFree=25139260/32872528 swapFree=190200/190200
[pid=29455] ppid=29452 vsize=2872416 CPUtime=102.29 cores=0,2,4,6
/proc/29455/stat : 29455 (naps-1.02) R 29452 29455 28647 0 -1 4202496 504234 0 0 0 10142 87 0 0 20 0 1 0 35905000 2941353984 677895 33554432000 4194304 5796924 140737037254064 140737037252456 4591910 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/29455/statm: 718104 677895 155 392 0 717703 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 2872416

[startup+162.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/178 29463
/proc/meminfo: memFree=25131020/32872528 swapFree=190200/190200
[pid=29455] ppid=29452 vsize=3004676 CPUtime=162.27 cores=0,2,4,6
/proc/29455/stat : 29455 (naps-1.02) R 29452 29455 28647 0 -1 4202496 504756 0 0 0 16139 88 0 0 20 0 1 0 35905000 3076788224 678928 33554432000 4194304 5796924 140737037254064 140737037251704 4592059 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/29455/statm: 751169 678928 155 392 0 750768 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 3004676

[startup+222.307 s]
/proc/loadavg: 2.08 2.04 2.01 3/178 29487
/proc/meminfo: memFree=25123488/32872528 swapFree=190200/190200
[pid=29455] ppid=29452 vsize=3004676 CPUtime=222.26 cores=0,2,4,6
/proc/29455/stat : 29455 (naps-1.02) R 29452 29455 28647 0 -1 4202496 504758 0 0 0 22138 88 0 0 20 0 1 0 35905000 3076788224 679952 33554432000 4194304 5796924 140737037254064 140737037251704 4592014 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/29455/statm: 751169 679952 155 392 0 750768 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 3004676

[startup+282.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 29488
/proc/meminfo: memFree=25117656/32872528 swapFree=190200/190200
[pid=29455] ppid=29452 vsize=3004676 CPUtime=282.25 cores=0,2,4,6
/proc/29455/stat : 29455 (naps-1.02) R 29452 29455 28647 0 -1 4202496 504760 0 0 0 28137 88 0 0 20 0 1 0 35905000 3076788224 680976 33554432000 4194304 5796924 140737037254064 140737037251704 4606480 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/29455/statm: 751169 680976 155 392 0 750768 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 3004676

[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 29489
/proc/meminfo: memFree=25114676/32872528 swapFree=190200/190200
[pid=29455] ppid=29452 vsize=3004676 CPUtime=342.24 cores=0,2,4,6
/proc/29455/stat : 29455 (naps-1.02) R 29452 29455 28647 0 -1 4202496 504761 0 0 0 34136 88 0 0 20 0 1 0 35905000 3076788224 681488 33554432000 4194304 5796924 140737037254064 140737037251704 4591861 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/29455/statm: 751169 681488 155 392 0 750768 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 3004676

[startup+402.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 29490
/proc/meminfo: memFree=25111468/32872528 swapFree=190200/190200
[pid=29455] ppid=29452 vsize=3004676 CPUtime=402.23 cores=0,2,4,6
/proc/29455/stat : 29455 (naps-1.02) R 29452 29455 28647 0 -1 4202496 504763 0 0 0 40135 88 0 0 20 0 1 0 35905000 3076788224 682512 33554432000 4194304 5796924 140737037254064 140737037251704 4592128 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/29455/statm: 751169 682512 155 392 0 750768 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 3004676

[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 29492
/proc/meminfo: memFree=25111156/32872528 swapFree=190200/190200
[pid=29455] ppid=29452 vsize=3004676 CPUtime=462.22 cores=0,2,4,6
/proc/29455/stat : 29455 (naps-1.02) R 29452 29455 28647 0 -1 4202496 504763 0 0 0 46134 88 0 0 20 0 1 0 35905000 3076788224 682512 33554432000 4194304 5796924 140737037254064 140737037251704 4592584 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/29455/statm: 751169 682512 155 392 0 750768 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 3004676

[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 29493
/proc/meminfo: memFree=25107680/32872528 swapFree=190200/190200
[pid=29455] ppid=29452 vsize=3004676 CPUtime=522.21 cores=0,2,4,6
/proc/29455/stat : 29455 (naps-1.02) R 29452 29455 28647 0 -1 4202496 504765 0 0 0 52133 88 0 0 20 0 1 0 35905000 3076788224 683536 33554432000 4194304 5796924 140737037254064 140737037251704 4592560 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/29455/statm: 751169 683536 155 392 0 750768 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 3004676

[startup+582.3 s]
/proc/loadavg: 2.22 2.08 2.02 3/177 29494
/proc/meminfo: memFree=25105484/32872528 swapFree=190200/190200
[pid=29455] ppid=29452 vsize=3004676 CPUtime=582.2 cores=0,2,4,6
/proc/29455/stat : 29455 (naps-1.02) R 29452 29455 28647 0 -1 4202496 504766 0 0 0 58132 88 0 0 20 0 1 0 35905000 3076788224 684048 33554432000 4194304 5796924 140737037254064 140737037251704 4591861 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/29455/statm: 751169 684048 155 392 0 750768 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 3004676

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


[startup+942.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/177 29550
/proc/meminfo: memFree=24026396/32872528 swapFree=190200/190200
[pid=29455] ppid=29452 vsize=3004676 CPUtime=942.15 cores=0,2,4,6
/proc/29455/stat : 29455 (naps-1.02) R 29452 29455 28647 0 -1 4202496 504779 0 0 0 94126 89 0 0 20 0 1 0 35905000 3076788224 687632 33554432000 4194304 5796924 140737037254064 140737037251704 4592560 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/29455/statm: 751169 687632 155 392 0 750768 0
Current children cumulated CPU time (s) 942.15
Current children cumulated vsize (KiB) 3004676

[startup+1002.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 29551
/proc/meminfo: memFree=24024380/32872528 swapFree=190200/190200
[pid=29455] ppid=29452 vsize=3004676 CPUtime=1002.14 cores=0,2,4,6
/proc/29455/stat : 29455 (naps-1.02) R 29452 29455 28647 0 -1 4202496 504781 0 0 0 100125 89 0 0 20 0 1 0 35905000 3076788224 688144 33554432000 4194304 5796924 140737037254064 140737037251704 4607232 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/29455/statm: 751169 688144 155 392 0 750768 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 3004676

[startup+1062.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 29553
/proc/meminfo: memFree=24022236/32872528 swapFree=190200/190200
[pid=29455] ppid=29452 vsize=3004676 CPUtime=1062.13 cores=0,2,4,6
/proc/29455/stat : 29455 (naps-1.02) R 29452 29455 28647 0 -1 4202496 504782 0 0 0 106124 89 0 0 20 0 1 0 35905000 3076788224 688656 33554432000 4194304 5796924 140737037254064 140737037251704 4592160 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/29455/statm: 751169 688656 155 392 0 750768 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 3004676

[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 29554
/proc/meminfo: memFree=24018164/32872528 swapFree=190200/190200
[pid=29455] ppid=29452 vsize=3004676 CPUtime=1122.12 cores=0,2,4,6
/proc/29455/stat : 29455 (naps-1.02) R 29452 29455 28647 0 -1 4202496 504784 0 0 0 112123 89 0 0 20 0 1 0 35905000 3076788224 689680 33554432000 4194304 5796924 140737037254064 140737037251704 4591861 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/29455/statm: 751169 689680 155 392 0 750768 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 3004676

[startup+1182.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 29555
/proc/meminfo: memFree=24015892/32872528 swapFree=190200/190200
[pid=29455] ppid=29452 vsize=3004676 CPUtime=1182.11 cores=0,2,4,6
/proc/29455/stat : 29455 (naps-1.02) R 29452 29455 28647 0 -1 4202496 504785 0 0 0 118122 89 0 0 20 0 1 0 35905000 3076788224 690192 33554432000 4194304 5796924 140737037254064 140737037251704 4592613 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/29455/statm: 751169 690192 155 392 0 750768 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 3004676

[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 29556
/proc/meminfo: memFree=24013376/32872528 swapFree=190200/190200
[pid=29455] ppid=29452 vsize=3004676 CPUtime=1242.1 cores=0,2,4,6
/proc/29455/stat : 29455 (naps-1.02) R 29452 29455 28647 0 -1 4202496 504786 0 0 0 124121 89 0 0 20 0 1 0 35905000 3076788224 690704 33554432000 4194304 5796924 140737037254064 140737037251704 4591861 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/29455/statm: 751169 690704 155 392 0 750768 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 3004676

[startup+1302.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 29557
/proc/meminfo: memFree=24011096/32872528 swapFree=190200/190200
[pid=29455] ppid=29452 vsize=3004676 CPUtime=1302.09 cores=0,2,4,6
/proc/29455/stat : 29455 (naps-1.02) R 29452 29455 28647 0 -1 4202496 504787 0 0 0 130120 89 0 0 20 0 1 0 35905000 3076788224 691216 33554432000 4194304 5796924 140737037254064 140737037251704 4591861 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/29455/statm: 751169 691216 155 392 0 750768 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 3004676

[startup+1362.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/178 29562
/proc/meminfo: memFree=24008780/32872528 swapFree=190200/190200
[pid=29455] ppid=29452 vsize=3004676 CPUtime=1362.08 cores=0,2,4,6
/proc/29455/stat : 29455 (naps-1.02) R 29452 29455 28647 0 -1 4202496 504788 0 0 0 136119 89 0 0 20 0 1 0 35905000 3076788224 691728 33554432000 4194304 5796924 140737037254064 140737037251704 4591861 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/29455/statm: 751169 691728 155 392 0 750768 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 3004676

[startup+1422.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 29563
/proc/meminfo: memFree=24005300/32872528 swapFree=190200/190200
[pid=29455] ppid=29452 vsize=3004676 CPUtime=1422.08 cores=0,2,4,6
/proc/29455/stat : 29455 (naps-1.02) R 29452 29455 28647 0 -1 4202496 504790 0 0 0 142119 89 0 0 20 0 1 0 35905000 3076788224 692752 33554432000 4194304 5796924 140737037254064 140737037251704 4592059 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/29455/statm: 751169 692752 155 392 0 750768 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 3004676

[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 29564
/proc/meminfo: memFree=24003280/32872528 swapFree=190200/190200
[pid=29455] ppid=29452 vsize=3004676 CPUtime=1482.06 cores=0,2,4,6
/proc/29455/stat : 29455 (naps-1.02) R 29452 29455 28647 0 -1 4202496 504791 0 0 0 148117 89 0 0 20 0 1 0 35905000 3076788224 693264 33554432000 4194304 5796924 140737037254064 140737037251704 4592071 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/29455/statm: 751169 693264 155 392 0 750768 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 3004676

[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 29565
/proc/meminfo: memFree=23999212/32872528 swapFree=190200/190200
[pid=29455] ppid=29452 vsize=3004676 CPUtime=1542.06 cores=0,2,4,6
/proc/29455/stat : 29455 (naps-1.02) R 29452 29455 28647 0 -1 4202496 504796 0 0 0 154117 89 0 0 20 0 1 0 35905000 3076788224 694288 33554432000 4194304 5796924 140737037254064 140737037251704 4592560 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/29455/statm: 751169 694288 155 392 0 750768 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 3004676

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 29566
/proc/meminfo: memFree=23994896/32872528 swapFree=190200/190200
[pid=29455] ppid=29452 vsize=3004676 CPUtime=1602.04 cores=0,2,4,6
/proc/29455/stat : 29455 (naps-1.02) R 29452 29455 28647 0 -1 4202496 504798 0 0 0 160115 89 0 0 20 0 1 0 35905000 3076788224 695312 33554432000 4194304 5796924 140737037254064 140737037251704 4591861 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/29455/statm: 751169 695312 155 392 0 750768 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 3004676

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29568
/proc/meminfo: memFree=23992936/32872528 swapFree=190200/190200
[pid=29455] ppid=29452 vsize=3004676 CPUtime=1662.03 cores=0,2,4,6
/proc/29455/stat : 29455 (naps-1.02) R 29452 29455 28647 0 -1 4202496 504799 0 0 0 166114 89 0 0 20 0 1 0 35905000 3076788224 695824 33554432000 4194304 5796924 140737037254064 140737037251704 4591848 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/29455/statm: 751169 695824 155 392 0 750768 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 3004676

[startup+1722.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 29569
/proc/meminfo: memFree=23990792/32872528 swapFree=190200/190200
[pid=29455] ppid=29452 vsize=3004676 CPUtime=1722.02 cores=0,2,4,6
/proc/29455/stat : 29455 (naps-1.02) R 29452 29455 28647 0 -1 4202496 504800 0 0 0 172113 89 0 0 20 0 1 0 35905000 3076788224 696336 33554432000 4194304 5796924 140737037254064 140737037251704 4592071 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/29455/statm: 751169 696336 155 392 0 750768 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 3004676

[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 29570
/proc/meminfo: memFree=23986360/32872528 swapFree=190200/190200
[pid=29455] ppid=29452 vsize=3004676 CPUtime=1782.01 cores=0,2,4,6
/proc/29455/stat : 29455 (naps-1.02) R 29452 29455 28647 0 -1 4202496 504802 0 0 0 178112 89 0 0 20 0 1 0 35905000 3076788224 697360 33554432000 4194304 5796924 140737037254064 140737037251704 4591861 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/29455/statm: 751169 697360 155 392 0 750768 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 3004676



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 29570
/proc/meminfo: memFree=23984552/32872528 swapFree=190200/190200
[pid=29455] ppid=29452 vsize=3004676 CPUtime=1800.01 cores=0,2,4,6
/proc/29455/stat : 29455 (naps-1.02) R 29452 29455 28647 0 -1 4202496 504804 0 0 0 179912 89 0 0 20 0 1 0 35905000 3076788224 697872 33554432000 4194304 5796924 140737037254064 140737037251704 4592014 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/29455/statm: 751169 697872 155 392 0 750768 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 3004676

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

[startup+1800.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 29570
/proc/meminfo: memFree=23984552/32872528 swapFree=190200/190200
[pid=29455] ppid=29452 vsize=3004676 CPUtime=1800.01 cores=0,2,4,6
/proc/29455/stat : 29455 (naps-1.02) R 29452 29455 28647 0 -1 4202496 504804 0 0 0 179912 89 0 0 20 0 1 0 35905000 3076788224 697872 33554432000 4194304 5796924 140737037254064 140737037251704 4592014 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/29455/statm: 751169 697872 155 392 0 750768 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 3004676

Child status: 0
Real time (s): 1800.34
CPU time (s): 1800.06
CPU user time (s): 1799.12
CPU system time (s): 0.938857
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 3004676

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.12
system time used= 0.938857
maximum resident set size= 2791536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 504816
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= 14
involuntary context switches= 1883

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.71928 second user time and 6.88395 second system time

The end

Launcher Data 

Begin job on node102 at 2016-06-27 13:57:22
IDJOB=4105719
IDBENCH=2989
IDSOLVER=2544
FILE ID=node102/4105719-1467028642
RUNJOBID= node102-1467020148-28663
PBS_JOBID= 19976983
Free space on /tmp= 71696 MiB

SOLVER NAME= NaPS 1.02
BENCH NAME= PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=220-sizeP=111-sizeQ=220-687342390.opb
COMMAND LINE= naps-1.02 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105719-1467028642/watcher-4105719-1467028642 -o /tmp/evaluation-result-4105719-1467028642/solver-4105719-1467028642 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1467020148-28663 --watchdog 1960 -S 80 naps-1.02 HOME/instance-4105719-1467028642.opb

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

MD5SUM BENCH= 6e35a6365bb53fc415f73802d28edd05
RANDOM SEED=550543316

node102.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.731
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.46
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.731
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.54
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.731
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.731
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.731
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.731
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.731
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.731
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:        27860100 kB
Buffers:           93756 kB
Cached:           321628 kB
SwapCached:         1524 kB
Active:          3727660 kB
Inactive:         344084 kB
Active(anon):    3656992 kB
Inactive(anon):     1436 kB
Active(file):      70668 kB
Inactive(file):   342648 kB
Unevictable:      190200 kB
Mlocked:          190200 kB
SwapTotal:      67108856 kB
SwapFree:       67097256 kB
Dirty:              7840 kB
Writeback:             0 kB
AnonPages:       3860056 kB
Mapped:             9072 kB
Shmem:                 0 kB
Slab:             599188 kB
SReclaimable:      42408 kB
SUnreclaim:       556780 kB
KernelStack:        1448 kB
PageTables:        11272 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4097656 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    606208 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= 71688 MiB
End job on node102 at 2016-06-27 14:27:22