Trace number 4105763

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.1 1800.4

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=160-sizeP=81-sizeQ=160-451332552-max.opb
MD5SUM7144dfb48272235c3b7a545be98e4888
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-127
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -1
Optimality of the best value was proved NO
Number of variables13201
Total number of constraints38881
Number of constraints which are clauses38880
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 constraint12960
Number of terms in the objective function 81
Biggest coefficient in the objective function 1208925819614629174706176
Number of bits for the biggest coefficient in the objective function 81
Sum of the numbers in the objective function 2417851639229258349412351
Number of bits of the sum of numbers in the objective function 81
Biggest number in a constraint 883423532389192164791648750371459257913741948437809479060803100646309888
Number of bits of the biggest number in a constraint 240
Biggest sum of numbers in a constraint 3533694129556768659166594049428614927482833788414325188820087345754616777
Number of bits of the biggest sum of numbers241
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.08/1800.40	c 
1800.08/1800.40	c *** TERMINATED *** by signal 15
1800.08/1800.40	s UNKNOWN
1800.08/1800.40	c _____________________________________________________________________________
1800.08/1800.40	c 
1800.08/1800.40	c std/band forms        : 0,1
1800.08/1800.40	c 2cl/3cl ITE-codings   : 0,954050
1800.08/1800.40	c BDD/srt/adr Max costs : 972613,0,0
1800.08/1800.40	c BDDraw/bin/mul/srt/adr: 1,0,0,0,0
1800.08/1800.40	c BDD nodes             : 972614
1800.08/1800.40	c Es1/CC detections     : 0,0
1800.08/1800.40	c SAT/UNSAT calls       : 0,0
1800.08/1800.40	c restarts              : 0
1800.08/1800.40	c conflicts             : 0              (0 /sec)
1800.08/1800.40	c decisions             : 0              (0 /sec)
1800.08/1800.40	c propagations          : 0              (0 /sec)
1800.08/1800.40	c inspects              : 0              (0 /sec)
1800.08/1800.40	c CPU time (solving tm) : 1800 s        (0 s)
1800.08/1800.40	c Time for Opt-base     : 0 s
1800.08/1800.40	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-4105763-1467029549/watcher-4105763-1467029549 -o /tmp/evaluation-result-4105763-1467029549/solver-4105763-1467029549 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1467023770-25717 --watchdog 1960 -S 80 naps-1.02 HOME/instance-4105763-1467029549.opb 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing 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.23 2.21 2.18 3/177 26400
/proc/meminfo: memFree=30024956/32872528 swapFree=1541156/1696500
[pid=26400] ppid=26397 vsize=6556 CPUtime=0 cores=1,3,5,7
/proc/26400/stat : 26400 (naps-1.02) R 26397 26400 25700 0 -1 4202496 320 0 0 0 0 0 0 0 20 0 1 0 35993640 6713344 193 33554432000 4194304 5796924 140735745370080 140734871976392 5151211 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/26400/statm: 1639 193 128 392 0 1238 0

[startup+0.100159 s]
/proc/loadavg: 2.23 2.21 2.18 3/177 26400
/proc/meminfo: memFree=30024956/32872528 swapFree=1541156/1696500
[pid=26400] ppid=26397 vsize=7880 CPUtime=0.09 cores=1,3,5,7
/proc/26400/stat : 26400 (naps-1.02) R 26397 26400 25700 0 -1 4202496 694 0 0 0 9 0 0 0 20 0 1 0 35993640 8069120 548 33554432000 4194304 5796924 140735745370080 140734871976392 4621249 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/26400/statm: 1970 549 128 392 0 1569 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7880

[startup+0.200288 s]
/proc/loadavg: 2.23 2.21 2.18 3/177 26400
/proc/meminfo: memFree=30024956/32872528 swapFree=1541156/1696500
[pid=26400] ppid=26397 vsize=9392 CPUtime=0.19 cores=1,3,5,7
/proc/26400/stat : 26400 (naps-1.02) R 26397 26400 25700 0 -1 4202496 1087 0 0 0 19 0 0 0 20 0 1 0 35993640 9617408 1430 33554432000 4194304 5796924 140735745370080 140734871976392 5183584 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/26400/statm: 2348 1430 128 392 0 1947 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 9392

[startup+0.300286 s]
/proc/loadavg: 2.23 2.21 2.18 3/177 26400
/proc/meminfo: memFree=30024956/32872528 swapFree=1541156/1696500
[pid=26400] ppid=26397 vsize=10980 CPUtime=0.29 cores=1,3,5,7
/proc/26400/stat : 26400 (naps-1.02) R 26397 26400 25700 0 -1 4202496 1417 0 0 0 29 0 0 0 20 0 1 0 35993640 11243520 1744 33554432000 4194304 5796924 140735745370080 140735745369336 4601168 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/26400/statm: 2745 1744 128 392 0 2344 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10980

[startup+0.700272 s]
/proc/loadavg: 2.23 2.21 2.18 3/177 26400
/proc/meminfo: memFree=30024956/32872528 swapFree=1541156/1696500
[pid=26400] ppid=26397 vsize=20284 CPUtime=0.69 cores=1,3,5,7
/proc/26400/stat : 26400 (naps-1.02) R 26397 26400 25700 0 -1 4202496 3988 0 0 0 69 0 0 0 20 0 1 0 35993640 20770816 4035 33554432000 4194304 5796924 140735745370080 140735745369336 5092432 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/26400/statm: 5071 4035 132 392 0 4670 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20284

[startup+1.50026 s]
/proc/loadavg: 2.21 2.21 2.18 3/178 26401
/proc/meminfo: memFree=29942596/32872528 swapFree=1541156/1696500
[pid=26400] ppid=26397 vsize=64140 CPUtime=1.49 cores=1,3,5,7
/proc/26400/stat : 26400 (naps-1.02) R 26397 26400 25700 0 -1 4202496 14933 0 0 0 147 2 0 0 20 0 1 0 35993640 65679360 14980 33554432000 4194304 5796924 140735745370080 140735731656920 5094677 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/26400/statm: 16035 14980 140 392 0 15634 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 64140

[startup+3.10028 s]
/proc/loadavg: 2.21 2.21 2.18 3/178 26401
/proc/meminfo: memFree=29835460/32872528 swapFree=1541156/1696500
[pid=26400] ppid=26397 vsize=137612 CPUtime=3.09 cores=1,3,5,7
/proc/26400/stat : 26400 (naps-1.02) R 26397 26400 25700 0 -1 4202496 33852 0 0 0 305 4 0 0 20 0 1 0 35993640 140914688 33404 33554432000 4194304 5796924 140735745370080 140735733224184 5095032 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/26400/statm: 34403 33404 140 392 0 34002 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 137612

[startup+6.30028 s]
/proc/loadavg: 2.21 2.21 2.18 3/178 26401
/proc/meminfo: memFree=29547988/32872528 swapFree=1541156/1696500
[pid=26400] ppid=26397 vsize=282952 CPUtime=6.29 cores=1,3,5,7
/proc/26400/stat : 26400 (naps-1.02) R 26397 26400 25700 0 -1 4202496 68723 0 0 0 619 10 0 0 20 0 1 0 35993640 289742848 69364 33554432000 4194304 5796924 140735745370080 140735736758248 4425326 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/26400/statm: 70738 69364 140 392 0 70337 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 282952

[startup+12.7002 s]
/proc/loadavg: 2.18 2.20 2.18 3/178 26401
/proc/meminfo: memFree=28972460/32872528 swapFree=1541156/1696500
[pid=26400] ppid=26397 vsize=565124 CPUtime=12.69 cores=1,3,5,7
/proc/26400/stat : 26400 (naps-1.02) R 26397 26400 25700 0 -1 4202496 135751 0 0 0 1248 21 0 0 20 0 1 0 35993640 578686976 139377 33554432000 4194304 5796924 140735745370080 140735741394824 5095032 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/26400/statm: 141281 139377 140 392 0 140880 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 565124

[startup+25.5004 s]
/proc/loadavg: 2.22 2.21 2.18 3/178 26401
/proc/meminfo: memFree=27631880/32872528 swapFree=1541156/1696500
[pid=26400] ppid=26397 vsize=1106444 CPUtime=25.49 cores=1,3,5,7
/proc/26400/stat : 26400 (naps-1.02) R 26397 26400 25700 0 -1 4202496 204539 0 0 0 2514 35 0 0 20 0 1 0 35993640 1132998656 260194 33554432000 4194304 5796924 140735745370080 140735745367720 4592645 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/26400/statm: 276611 260194 155 392 0 276210 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1106444

[startup+51.1004 s]
/proc/loadavg: 2.28 2.22 2.19 3/178 26401
/proc/meminfo: memFree=27603800/32872528 swapFree=1541156/1696500
[pid=26400] ppid=26397 vsize=1106444 CPUtime=51.08 cores=1,3,5,7
/proc/26400/stat : 26400 (naps-1.02) R 26397 26400 25700 0 -1 4202496 204685 0 0 0 5073 35 0 0 20 0 1 0 35993640 1132998656 261361 33554432000 4194304 5796924 140735745370080 140735745367720 4591861 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/26400/statm: 276611 261361 155 392 0 276210 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1106444

[startup+102.3 s]
/proc/loadavg: 2.16 2.20 2.18 4/177 26403
/proc/meminfo: memFree=27595164/32872528 swapFree=1541156/1696500
[pid=26400] ppid=26397 vsize=1106444 CPUtime=102.28 cores=1,3,5,7
/proc/26400/stat : 26400 (naps-1.02) R 26397 26400 25700 0 -1 4202496 204689 0 0 0 10193 35 0 0 20 0 1 0 35993640 1132998656 263409 33554432000 4194304 5796924 140735745370080 140735745367720 4592128 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/26400/statm: 276611 263409 155 392 0 276210 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1106444

[startup+162.3 s]
/proc/loadavg: 2.30 2.22 2.19 3/177 26404
/proc/meminfo: memFree=27585080/32872528 swapFree=1541156/1696500
[pid=26400] ppid=26397 vsize=1106444 CPUtime=162.27 cores=1,3,5,7
/proc/26400/stat : 26400 (naps-1.02) R 26397 26400 25700 0 -1 4202496 204694 0 0 0 16191 36 0 0 20 0 1 0 35993640 1132998656 265969 33554432000 4194304 5796924 140735745370080 140735745367720 4592031 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/26400/statm: 276611 265969 155 392 0 276210 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 1106444

[startup+222.307 s]
/proc/loadavg: 2.27 2.22 2.18 3/177 26405
/proc/meminfo: memFree=27574380/32872528 swapFree=1541156/1696500
[pid=26400] ppid=26397 vsize=1106444 CPUtime=222.27 cores=1,3,5,7
/proc/26400/stat : 26400 (naps-1.02) R 26397 26400 25700 0 -1 4202496 204699 0 0 0 22191 36 0 0 20 0 1 0 35993640 1132998656 268529 33554432000 4194304 5796924 140735745370080 140735745367720 4592031 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/26400/statm: 276611 268529 155 392 0 276210 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 1106444

[startup+282.3 s]
/proc/loadavg: 2.22 2.22 2.18 3/177 26406
/proc/meminfo: memFree=27565868/32872528 swapFree=1541156/1696500
[pid=26400] ppid=26397 vsize=1106444 CPUtime=282.25 cores=1,3,5,7
/proc/26400/stat : 26400 (naps-1.02) R 26397 26400 25700 0 -1 4202496 204703 0 0 0 28189 36 0 0 20 0 1 0 35993640 1132998656 270577 33554432000 4194304 5796924 140735745370080 140735745367720 4591861 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/26400/statm: 276611 270577 155 392 0 276210 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 1106444

[startup+342.3 s]
/proc/loadavg: 2.22 2.23 2.18 3/177 26407
/proc/meminfo: memFree=27556784/32872528 swapFree=1541156/1696500
[pid=26400] ppid=26397 vsize=1106444 CPUtime=342.24 cores=1,3,5,7
/proc/26400/stat : 26400 (naps-1.02) R 26397 26400 25700 0 -1 4202496 204983 0 0 0 34188 36 0 0 20 0 1 0 35993640 1132998656 272390 33554432000 4194304 5796924 140735745370080 140735745367720 4591861 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/26400/statm: 276611 272390 155 392 0 276210 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 1106444

[startup+402.3 s]
/proc/loadavg: 2.35 2.26 2.19 3/177 26409
/proc/meminfo: memFree=27546280/32872528 swapFree=1541156/1696500
[pid=26400] ppid=26397 vsize=1187832 CPUtime=402.23 cores=1,3,5,7
/proc/26400/stat : 26400 (naps-1.02) R 26397 26400 25700 0 -1 4202496 205390 0 0 0 40186 37 0 0 20 0 1 0 35993640 1216339968 274841 33554432000 4194304 5796924 140735745370080 140735745367720 4591861 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/26400/statm: 296958 274841 155 392 0 296557 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 1187832

[startup+462.3 s]
/proc/loadavg: 2.23 2.24 2.19 3/178 26413
/proc/meminfo: memFree=27536272/32872528 swapFree=1541156/1696500
[pid=26400] ppid=26397 vsize=1187832 CPUtime=462.22 cores=1,3,5,7
/proc/26400/stat : 26400 (naps-1.02) R 26397 26400 25700 0 -1 4202496 205395 0 0 0 46185 37 0 0 20 0 1 0 35993640 1216339968 277401 33554432000 4194304 5796924 140735745370080 140735745367720 4592014 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/26400/statm: 296958 277401 155 392 0 296557 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 1187832

[startup+522.3 s]
/proc/loadavg: 2.26 2.24 2.19 3/177 26414
/proc/meminfo: memFree=27525956/32872528 swapFree=1541156/1696500
[pid=26400] ppid=26397 vsize=1187832 CPUtime=522.21 cores=1,3,5,7
/proc/26400/stat : 26400 (naps-1.02) R 26397 26400 25700 0 -1 4202496 205399 0 0 0 52184 37 0 0 20 0 1 0 35993640 1216339968 279449 33554432000 4194304 5796924 140735745370080 140735745367720 4592160 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/26400/statm: 296958 279449 155 392 0 296557 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 1187832

[startup+582.3 s]
/proc/loadavg: 2.15 2.21 2.18 3/177 26415
/proc/meminfo: memFree=27518032/32872528 swapFree=1541156/1696500
[pid=26400] ppid=26397 vsize=1187832 CPUtime=582.21 cores=1,3,5,7
/proc/26400/stat : 26400 (naps-1.02) R 26397 26400 25700 0 -1 4202496 205403 0 0 0 58183 38 0 0 20 0 1 0 35993640 1216339968 281497 33554432000 4194304 5796924 140735745370080 140735745367720 4593833 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/26400/statm: 296958 281497 155 392 0 296557 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 1187832

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


[startup+882.307 s]
/proc/loadavg: 2.26 2.23 2.18 3/177 26421
/proc/meminfo: memFree=27472768/32872528 swapFree=1541156/1696500
[pid=26400] ppid=26397 vsize=1187832 CPUtime=882.16 cores=1,3,5,7
/proc/26400/stat : 26400 (naps-1.02) R 26397 26400 25700 0 -1 4202496 205423 0 0 0 88178 38 0 0 20 0 1 0 35993640 1216339968 291737 33554432000 4194304 5796924 140735745370080 140735745367720 4592040 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/26400/statm: 296958 291737 155 392 0 296557 0
Current children cumulated CPU time (s) 882.16
Current children cumulated vsize (KiB) 1187832

[startup+942.3 s]
/proc/loadavg: 2.33 2.25 2.19 3/177 26422
/proc/meminfo: memFree=27463668/32872528 swapFree=1541156/1696500
[pid=26400] ppid=26397 vsize=1320092 CPUtime=942.14 cores=1,3,5,7
/proc/26400/stat : 26400 (naps-1.02) R 26397 26400 25700 0 -1 4202496 205891 0 0 0 94175 39 0 0 20 0 1 0 35993640 1351774208 293738 33554432000 4194304 5796924 140735745370080 140735745367720 4592160 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/26400/statm: 330023 293738 155 392 0 329622 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 1320092

[startup+1002.3 s]
/proc/loadavg: 2.28 2.25 2.19 3/177 26424
/proc/meminfo: memFree=27454556/32872528 swapFree=1541156/1696500
[pid=26400] ppid=26397 vsize=1320092 CPUtime=1002.14 cores=1,3,5,7
/proc/26400/stat : 26400 (naps-1.02) R 26397 26400 25700 0 -1 4202496 205899 0 0 0 100174 40 0 0 20 0 1 0 35993640 1351774208 295803 33554432000 4194304 5796924 140735745370080 140735745367720 4591910 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/26400/statm: 330023 295803 155 392 0 329622 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 1320092

[startup+1062.3 s]
/proc/loadavg: 2.36 2.28 2.20 3/178 26428
/proc/meminfo: memFree=27450908/32872528 swapFree=1541156/1696500
[pid=26400] ppid=26397 vsize=1320092 CPUtime=1062.12 cores=1,3,5,7
/proc/26400/stat : 26400 (naps-1.02) R 26397 26400 25700 0 -1 4202496 205907 0 0 0 106172 40 0 0 20 0 1 0 35993640 1351774208 296827 33554432000 4194304 5796924 140735745370080 140735745367720 4591861 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/26400/statm: 330023 296827 155 392 0 329622 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 1320092

[startup+1122.3 s]
/proc/loadavg: 2.22 2.25 2.19 3/177 26429
/proc/meminfo: memFree=27542212/32872528 swapFree=1541156/1696500
[pid=26400] ppid=26397 vsize=1187832 CPUtime=1122.11 cores=1,3,5,7
/proc/26400/stat : 26400 (naps-1.02) R 26397 26400 25700 0 -1 4202496 206269 0 0 0 112168 43 0 0 20 0 1 0 35993640 1216339968 274046 33554432000 4194304 5796924 140735745370080 140735745367544 4592059 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/26400/statm: 296958 274046 156 392 0 296557 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 1187832

[startup+1182.3 s]
/proc/loadavg: 2.20 2.23 2.18 3/177 26430
/proc/meminfo: memFree=27533808/32872528 swapFree=1541156/1696500
[pid=26400] ppid=26397 vsize=1187832 CPUtime=1182.1 cores=1,3,5,7
/proc/26400/stat : 26400 (naps-1.02) R 26397 26400 25700 0 -1 4202496 206283 0 0 0 118167 43 0 0 20 0 1 0 35993640 1216339968 276102 33554432000 4194304 5796924 140735745370080 140735745367544 4606811 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/26400/statm: 296958 276102 164 392 0 296557 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 1187832

[startup+1242.3 s]
/proc/loadavg: 2.17 2.22 2.18 3/176 26431
/proc/meminfo: memFree=27529764/32872528 swapFree=1541156/1696500
[pid=26400] ppid=26397 vsize=1187832 CPUtime=1242.07 cores=1,3,5,7
/proc/26400/stat : 26400 (naps-1.02) R 26397 26400 25700 0 -1 4202496 206314 0 0 0 124164 43 0 0 20 0 1 0 35993640 1216339968 277127 33554432000 4194304 5796924 140735745370080 140735745367544 4591861 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/26400/statm: 296958 277127 165 392 0 296557 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 1187832

[startup+1302.3 s]
/proc/loadavg: 2.19 2.22 2.18 4/177 26434
/proc/meminfo: memFree=27523380/32872528 swapFree=1541156/1696500
[pid=26400] ppid=26397 vsize=1187832 CPUtime=1302.06 cores=1,3,5,7
/proc/26400/stat : 26400 (naps-1.02) R 26397 26400 25700 0 -1 4202496 206323 0 0 0 130163 43 0 0 20 0 1 0 35993640 1216339968 278151 33554432000 4194304 5796924 140735745370080 140735745367544 4591895 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/26400/statm: 296958 278151 165 392 0 296557 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 1187832

[startup+1362.3 s]
/proc/loadavg: 2.14 2.21 2.18 3/177 26435
/proc/meminfo: memFree=27519292/32872528 swapFree=1541156/1696500
[pid=26400] ppid=26397 vsize=1187832 CPUtime=1362.06 cores=1,3,5,7
/proc/26400/stat : 26400 (naps-1.02) R 26397 26400 25700 0 -1 4202496 206330 0 0 0 136162 44 0 0 20 0 1 0 35993640 1216339968 279175 33554432000 4194304 5796924 140735745370080 140735745367544 4592128 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/26400/statm: 296958 279175 165 392 0 296557 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 1187832

[startup+1422.3 s]
/proc/loadavg: 2.22 2.22 2.18 3/177 26436
/proc/meminfo: memFree=27517484/32872528 swapFree=1541156/1696500
[pid=26400] ppid=26397 vsize=1187832 CPUtime=1422.05 cores=1,3,5,7
/proc/26400/stat : 26400 (naps-1.02) R 26397 26400 25700 0 -1 4202496 206333 0 0 0 142161 44 0 0 20 0 1 0 35993640 1216339968 279687 33554432000 4194304 5796924 140735745370080 140735745367544 4592059 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/26400/statm: 296958 279687 165 392 0 296557 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 1187832

[startup+1482.3 s]
/proc/loadavg: 2.19 2.22 2.18 3/177 26437
/proc/meminfo: memFree=27515504/32872528 swapFree=1541156/1696500
[pid=26400] ppid=26397 vsize=1187832 CPUtime=1482.03 cores=1,3,5,7
/proc/26400/stat : 26400 (naps-1.02) R 26397 26400 25700 0 -1 4202496 206334 0 0 0 148159 44 0 0 20 0 1 0 35993640 1216339968 280323 33554432000 4194304 5796924 140735745370080 140735745367544 4591930 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/26400/statm: 296958 280323 165 392 0 296557 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 1187832

[startup+1542.31 s]
/proc/loadavg: 2.21 2.22 2.18 3/177 26438
/proc/meminfo: memFree=27513476/32872528 swapFree=1541156/1696500
[pid=26400] ppid=26397 vsize=1187832 CPUtime=1542.03 cores=1,3,5,7
/proc/26400/stat : 26400 (naps-1.02) R 26397 26400 25700 0 -1 4202496 206336 0 0 0 154159 44 0 0 20 0 1 0 35993640 1216339968 281347 33554432000 4194304 5796924 140735745370080 140735745367544 4592160 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/26400/statm: 296958 281347 165 392 0 296557 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 1187832

[startup+1602.3 s]
/proc/loadavg: 2.17 2.21 2.18 3/177 26440
/proc/meminfo: memFree=27508348/32872528 swapFree=1541156/1696500
[pid=26400] ppid=26397 vsize=1187832 CPUtime=1602.01 cores=1,3,5,7
/proc/26400/stat : 26400 (naps-1.02) R 26397 26400 25700 0 -1 4202496 206337 0 0 0 160157 44 0 0 20 0 1 0 35993640 1216339968 281859 33554432000 4194304 5796924 140735745370080 140735745367544 4592010 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/26400/statm: 296958 281859 165 392 0 296557 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 1187832

[startup+1662.3 s]
/proc/loadavg: 2.15 2.20 2.18 3/178 26444
/proc/meminfo: memFree=27503688/32872528 swapFree=1541156/1696500
[pid=26400] ppid=26397 vsize=1187832 CPUtime=1662.01 cores=1,3,5,7
/proc/26400/stat : 26400 (naps-1.02) R 26397 26400 25700 0 -1 4202496 206342 0 0 0 166157 44 0 0 20 0 1 0 35993640 1216339968 283171 33554432000 4194304 5796924 140735745370080 140735745367544 4593857 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/26400/statm: 296958 283171 165 392 0 296557 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 1187832

[startup+1722.3 s]
/proc/loadavg: 2.13 2.19 2.17 3/177 26445
/proc/meminfo: memFree=27502028/32872528 swapFree=1541156/1696500
[pid=26400] ppid=26397 vsize=1187832 CPUtime=1722 cores=1,3,5,7
/proc/26400/stat : 26400 (naps-1.02) R 26397 26400 25700 0 -1 4202496 206343 0 0 0 172156 44 0 0 20 0 1 0 35993640 1216339968 283683 33554432000 4194304 5796924 140735745370080 140735745367544 4591861 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/26400/statm: 296958 283683 165 392 0 296557 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 1187832

[startup+1782.3 s]
/proc/loadavg: 2.20 2.20 2.18 3/177 26446
/proc/meminfo: memFree=27499736/32872528 swapFree=1541156/1696500
[pid=26400] ppid=26397 vsize=1187832 CPUtime=1781.99 cores=1,3,5,7
/proc/26400/stat : 26400 (naps-1.02) R 26397 26400 25700 0 -1 4202496 206344 0 0 0 178155 44 0 0 20 0 1 0 35993640 1216339968 284195 33554432000 4194304 5796924 140735745370080 140735745367544 4592073 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/26400/statm: 296958 284195 165 392 0 296557 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 1187832



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.30 2.22 2.19 3/177 26492
/proc/meminfo: memFree=28991364/32872528 swapFree=1541156/1696500
[pid=26400] ppid=26397 vsize=1187832 CPUtime=1800.08 cores=1,3,5,7
/proc/26400/stat : 26400 (naps-1.02) R 26397 26400 25700 0 -1 4202496 206344 0 0 0 179964 44 0 0 20 0 1 0 35993640 1216339968 284195 33554432000 4194304 5796924 140735745370080 140735745367544 4594694 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/26400/statm: 296958 284195 165 392 0 296557 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1187832

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

Child status: 0
Real time (s): 1800.4
CPU time (s): 1800.1
CPU user time (s): 1799.65
CPU system time (s): 0.449931
CPU usage (%): 99.9829
Max. virtual memory (cumulated for all children) (KiB): 1531708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.65
system time used= 0.449931
maximum resident set size= 1327524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 206356
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= 65
involuntary context switches= 1850

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.70728 second user time and 6.76397 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-27 14:12:29
IDJOB=4105763
IDBENCH=3001
IDSOLVER=2544
FILE ID=node125/4105763-1467029549
RUNJOBID= node125-1467023770-25717
PBS_JOBID= 19976985
Free space on /tmp= 71732 MiB

SOLVER NAME= NaPS 1.02
BENCH NAME= PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=160-sizeP=81-sizeQ=160-451332552-max.opb
COMMAND LINE= naps-1.02 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105763-1467029549/watcher-4105763-1467029549 -o /tmp/evaluation-result-4105763-1467029549/solver-4105763-1467029549 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1467023770-25717 --watchdog 1960 -S 80 naps-1.02 HOME/instance-4105763-1467029549.opb

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

MD5SUM BENCH= 7144dfb48272235c3b7a545be98e4888
RANDOM SEED=904179243

node125.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.021
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.04
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.021
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		: 2667.021
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.021
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.021
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.021
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.56
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.021
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.021
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:        30025964 kB
Buffers:          115708 kB
Cached:           151812 kB
SwapCached:         2112 kB
Active:           228744 kB
Inactive:         184912 kB
Active(anon):     147288 kB
Inactive(anon):     1088 kB
Active(file):      81456 kB
Inactive(file):   183824 kB
Unevictable:     1696500 kB
Mlocked:         1541156 kB
SwapTotal:      67108856 kB
SwapFree:       67098716 kB
Dirty:             12312 kB
Writeback:             0 kB
AnonPages:       1829572 kB
Mapped:             8964 kB
Shmem:                 0 kB
Slab:             601484 kB
SReclaimable:      44644 kB
SUnreclaim:       556840 kB
KernelStack:        1480 kB
PageTables:         7896 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1960368 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    145408 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= 71728 MiB
End job on node125 at 2016-06-27 14:42:30