Trace number 4082031

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
NaPS 1.02? (TO) 1800.07 1800.4

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-95-90.opb
MD5SUM464b0bce452dea50452bb0b774d05715
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.096984
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables8550
Total number of constraints185
Number of constraints which are clauses95
Number of constraints which are cardinality constraints (but not clauses)90
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint90
Maximum length of a constraint95
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 96
Number of bits of the biggest sum of numbers7
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.06/1800.40	c 
1800.06/1800.40	c *** TERMINATED *** by signal 15
1800.06/1800.40	s UNKNOWN
1800.06/1800.40	c _____________________________________________________________________________
1800.06/1800.40	c 
1800.06/1800.40	c std/band forms        : 90,0
1800.06/1800.40	c 2cl/3cl ITE-codings   : 8370,0
1800.06/1800.40	c BDD/srt/adr Max costs : 187,0,0
1800.06/1800.40	c BDDraw/bin/mul/srt/adr: 90,0,0,0,0
1800.06/1800.40	c BDD nodes             : 16920
1800.06/1800.40	c Es1/CC detections     : 0,0
1800.06/1800.40	c SAT/UNSAT calls       : 0,0
1800.06/1800.40	c restarts              : 0
1800.06/1800.40	c conflicts             : 0              (0 /sec)
1800.06/1800.40	c decisions             : 0              (0 /sec)
1800.06/1800.40	c propagations          : 0              (0 /sec)
1800.06/1800.40	c inspects              : 0              (0 /sec)
1800.06/1800.40	c CPU time (solving tm) : 1798 s        (0 s)
1800.06/1800.40	c Time for Opt-base     : 0 s
1800.06/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-4082031-1465242538/watcher-4082031-1465242538 -o /tmp/evaluation-result-4082031-1465242538/solver-4082031-1465242538 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1465218415-9445 --watchdog 1960 naps-1.02 HOME/instance-4082031-1465242538.opb 

pid=13229
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.14 2.20 2.18 4/176 13232
/proc/meminfo: memFree=30197088/32872528 swapFree=18240/1696364
[pid=13232] ppid=13229 vsize=6684 CPUtime=0 cores=0,2,4,6
/proc/13232/stat : 13232 (naps-1.02) R 13229 13232 9429 0 -1 4202496 366 0 0 0 0 0 0 0 20 0 1 0 106185616 6844416 240 33554432000 4194304 5796924 140736775764000 140736775763272 4659057 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/13232/statm: 1671 240 127 392 0 1270 0

[startup+0.100203 s]
/proc/loadavg: 2.14 2.20 2.18 4/176 13232
/proc/meminfo: memFree=30197088/32872528 swapFree=18240/1696364
[pid=13232] ppid=13229 vsize=10636 CPUtime=0.09 cores=0,2,4,6
/proc/13232/stat : 13232 (naps-1.02) R 13229 13232 9429 0 -1 4202496 1415 0 0 0 9 0 0 0 20 0 1 0 106185616 10891264 1222 33554432000 4194304 5796924 140736775764000 140736775763272 4806891 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/13232/statm: 2659 1222 139 392 0 2258 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10636

[startup+0.200307 s]
/proc/loadavg: 2.14 2.20 2.18 4/176 13232
/proc/meminfo: memFree=30197088/32872528 swapFree=18240/1696364
[pid=13232] ppid=13229 vsize=11400 CPUtime=0.19 cores=0,2,4,6
/proc/13232/stat : 13232 (naps-1.02) R 13229 13232 9429 0 -1 4202496 1577 0 0 0 19 0 0 0 20 0 1 0 106185616 11673600 1384 33554432000 4194304 5796924 140736775764000 140736775763272 5087747 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/13232/statm: 2850 1384 139 392 0 2449 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 11400

[startup+0.300303 s]
/proc/loadavg: 2.14 2.20 2.18 4/176 13232
/proc/meminfo: memFree=30197088/32872528 swapFree=18240/1696364
[pid=13232] ppid=13229 vsize=14636 CPUtime=0.29 cores=0,2,4,6
/proc/13232/stat : 13232 (naps-1.02) R 13229 13232 9429 0 -1 4202496 3466 0 0 0 29 0 0 0 20 0 1 0 106185616 14987264 3116 33554432000 4194304 5796924 140736775764000 140736775763272 4611179 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/13232/statm: 3659 3117 155 392 0 3258 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14636

[startup+0.700295 s]
/proc/loadavg: 2.14 2.20 2.18 4/176 13232
/proc/meminfo: memFree=30197088/32872528 swapFree=18240/1696364
[pid=13232] ppid=13229 vsize=20960 CPUtime=0.69 cores=0,2,4,6
/proc/13232/stat : 13232 (naps-1.02) R 13229 13232 9429 0 -1 4202496 4585 0 0 0 69 0 0 0 20 0 1 0 106185616 21463040 4745 33554432000 4194304 5796924 140736775764000 140736775761640 4606789 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/13232/statm: 5240 4745 155 392 0 4839 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20960

[startup+1.50024 s]
/proc/loadavg: 2.14 2.20 2.18 4/177 13233
/proc/meminfo: memFree=30173624/32872528 swapFree=18240/1696364
[pid=13232] ppid=13229 vsize=25784 CPUtime=1.49 cores=0,2,4,6
/proc/13232/stat : 13232 (naps-1.02) R 13229 13232 9429 0 -1 4202496 6188 0 0 0 148 1 0 0 20 0 1 0 106185616 26402816 5819 33554432000 4194304 5796924 140736775764000 140736775761640 4592593 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/13232/statm: 6446 5819 156 392 0 6045 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25784

[startup+3.1003 s]
/proc/loadavg: 2.21 2.21 2.18 3/177 13233
/proc/meminfo: memFree=30166608/32872528 swapFree=18240/1696364
[pid=13232] ppid=13229 vsize=45052 CPUtime=3.09 cores=0,2,4,6
/proc/13232/stat : 13232 (naps-1.02) R 13229 13232 9429 0 -1 4202496 7233 0 0 0 307 2 0 0 20 0 1 0 106185616 46133248 9929 33554432000 4194304 5796924 140736775764000 140736775761272 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/13232/statm: 11263 9929 156 392 0 10862 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 45052

[startup+6.30026 s]
/proc/loadavg: 2.21 2.21 2.18 3/177 13233
/proc/meminfo: memFree=30166376/32872528 swapFree=18240/1696364
[pid=13232] ppid=13229 vsize=64164 CPUtime=6.29 cores=0,2,4,6
/proc/13232/stat : 13232 (naps-1.02) R 13229 13232 9429 0 -1 4202496 8778 0 0 0 626 3 0 0 20 0 1 0 106185616 65703936 14362 33554432000 4194304 5796924 140736775764000 140736775761464 4606779 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/13232/statm: 16041 14362 156 392 0 15640 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 64164

[startup+12.7003 s]
/proc/loadavg: 2.33 2.24 2.19 3/177 13233
/proc/meminfo: memFree=30096256/32872528 swapFree=18240/1696364
[pid=13232] ppid=13229 vsize=113952 CPUtime=12.69 cores=0,2,4,6
/proc/13232/stat : 13232 (naps-1.02) R 13229 13232 9429 0 -1 4202496 9935 0 0 0 1264 5 0 0 20 0 1 0 106185616 116686848 25226 33554432000 4194304 5796924 140736775764000 140736775761640 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/13232/statm: 28488 25226 156 392 0 28087 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 113952

[startup+25.5003 s]
/proc/loadavg: 2.36 2.25 2.19 3/177 13233
/proc/meminfo: memFree=30059772/32872528 swapFree=18240/1696364
[pid=13232] ppid=13229 vsize=164040 CPUtime=25.49 cores=0,2,4,6
/proc/13232/stat : 13232 (naps-1.02) R 13229 13232 9429 0 -1 4202496 11959 0 0 0 2542 7 0 0 20 0 1 0 106185616 167976960 33930 33554432000 4194304 5796924 140736775764000 140736775761640 4606789 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/13232/statm: 41010 33930 156 392 0 40609 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 164040

[startup+51.1003 s]
/proc/loadavg: 2.30 2.24 2.19 3/177 13233
/proc/meminfo: memFree=30047800/32872528 swapFree=18240/1696364
[pid=13232] ppid=13229 vsize=164040 CPUtime=51.09 cores=0,2,4,6
/proc/13232/stat : 13232 (naps-1.02) R 13229 13232 9429 0 -1 4202496 15606 0 0 0 5095 14 0 0 20 0 1 0 106185616 167976960 35348 33554432000 4194304 5796924 140736775764000 140736775761640 4592000 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/13232/statm: 41010 35348 156 392 0 40609 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 164040

[startup+102.3 s]
/proc/loadavg: 2.27 2.23 2.19 3/178 13238
/proc/meminfo: memFree=29993964/32872528 swapFree=18240/1696364
[pid=13232] ppid=13229 vsize=245428 CPUtime=102.28 cores=0,2,4,6
/proc/13232/stat : 13232 (naps-1.02) R 13229 13232 9429 0 -1 4202496 18676 0 0 0 10207 21 0 0 20 0 1 0 106185616 251318272 46228 33554432000 4194304 5796924 140736775764000 140736775761640 4606789 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/13232/statm: 61357 46228 156 392 0 60956 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 245428

[startup+162.3 s]
/proc/loadavg: 2.23 2.22 2.18 3/177 13239
/proc/meminfo: memFree=29907840/32872528 swapFree=18240/1696364
[pid=13232] ppid=13229 vsize=377688 CPUtime=162.26 cores=0,2,4,6
/proc/13232/stat : 13232 (naps-1.02) R 13229 13232 9429 0 -1 4202496 20618 0 0 0 16198 28 0 0 20 0 1 0 106185616 386752512 73734 33554432000 4194304 5796924 140736775764000 140736775761640 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/13232/statm: 94422 73734 156 392 0 94021 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 377688

[startup+222.307 s]
/proc/loadavg: 2.20 2.21 2.18 3/177 13240
/proc/meminfo: memFree=29857420/32872528 swapFree=18240/1696364
[pid=13232] ppid=13229 vsize=377688 CPUtime=222.26 cores=0,2,4,6
/proc/13232/stat : 13232 (naps-1.02) R 13229 13232 9429 0 -1 4202496 21606 0 0 0 22191 35 0 0 20 0 1 0 106185616 386752512 83047 33554432000 4194304 5796924 140736775764000 140736775761640 4607194 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/13232/statm: 94422 83047 156 392 0 94021 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 377688

[startup+282.3 s]
/proc/loadavg: 2.24 2.21 2.18 4/177 13241
/proc/meminfo: memFree=29856476/32872528 swapFree=18240/1696364
[pid=13232] ppid=13229 vsize=377688 CPUtime=282.25 cores=0,2,4,6
/proc/13232/stat : 13232 (naps-1.02) R 13229 13232 9429 0 -1 4202496 22597 0 0 0 28181 44 0 0 20 0 1 0 106185616 386752512 80999 33554432000 4194304 5796924 140736775764000 140736775761640 4606771 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/13232/statm: 94422 80999 156 392 0 94021 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 377688

[startup+342.3 s]
/proc/loadavg: 2.18 2.20 2.18 3/177 13242
/proc/meminfo: memFree=29880232/32872528 swapFree=18240/1696364
[pid=13232] ppid=13229 vsize=377688 CPUtime=342.24 cores=0,2,4,6
/proc/13232/stat : 13232 (naps-1.02) R 13229 13232 9429 0 -1 4202496 24383 0 0 0 34174 50 0 0 20 0 1 0 106185616 386752512 72084 33554432000 4194304 5796924 140736775764000 140736775761640 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/13232/statm: 94422 72084 156 392 0 94021 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 377688

[startup+402.3 s]
/proc/loadavg: 2.11 2.18 2.17 3/177 13244
/proc/meminfo: memFree=29944268/32872528 swapFree=18240/1696364
[pid=13232] ppid=13229 vsize=287264 CPUtime=402.23 cores=0,2,4,6
/proc/13232/stat : 13232 (naps-1.02) R 13229 13232 9429 0 -1 4202496 35033 0 0 0 40166 57 0 0 20 0 1 0 106185616 294158336 62541 33554432000 4194304 5796924 140736775764000 140736775761112 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/13232/statm: 71816 62541 165 392 0 71415 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 287264

[startup+462.3 s]
/proc/loadavg: 2.16 2.17 2.17 4/177 13245
/proc/meminfo: memFree=29879632/32872528 swapFree=18240/1696364
[pid=13232] ppid=13229 vsize=330220 CPUtime=462.21 cores=0,2,4,6
/proc/13232/stat : 13232 (naps-1.02) R 13229 13232 9429 0 -1 4202496 46575 0 0 0 46154 67 0 0 20 0 1 0 106185616 338145280 75458 33554432000 4194304 5796924 140736775764000 140736775761112 4606799 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/13232/statm: 82555 75458 165 392 0 82154 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 330220

[startup+522.3 s]
/proc/loadavg: 2.17 2.17 2.17 3/177 13246
/proc/meminfo: memFree=29862136/32872528 swapFree=18240/1696364
[pid=13232] ppid=13229 vsize=354412 CPUtime=522.21 cores=0,2,4,6
/proc/13232/stat : 13232 (naps-1.02) R 13229 13232 9429 0 -1 4202496 53430 0 0 0 52144 77 0 0 20 0 1 0 106185616 362917888 77769 33554432000 4194304 5796924 140736775764000 140736775761112 4606799 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/13232/statm: 88603 77769 165 392 0 88202 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 354412

[startup+582.3 s]
/proc/loadavg: 2.15 2.17 2.17 3/177 13247
/proc/meminfo: memFree=29862572/32872528 swapFree=18240/1696364
[pid=13232] ppid=13229 vsize=374336 CPUtime=582.19 cores=0,2,4,6
/proc/13232/stat : 13232 (naps-1.02) R 13229 13232 9429 0 -1 4202496 59282 0 0 0 58134 85 0 0 20 0 1 0 106185616 383320064 75499 33554432000 4194304 5796924 140736775764000 140736775761640 4606771 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/13232/statm: 93584 75499 165 392 0 93183 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 374336


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


[startup+882.307 s]
/proc/loadavg: 2.25 2.19 2.18 3/177 13370
/proc/meminfo: memFree=29766084/32872528 swapFree=18240/1696364
[pid=13232] ppid=13229 vsize=427804 CPUtime=882.16 cores=0,2,4,6
/proc/13232/stat : 13232 (naps-1.02) R 13229 13232 9429 0 -1 4202496 75167 0 0 0 88102 114 0 0 20 0 1 0 106185616 438071296 100196 33554432000 4194304 5796924 140736775764000 140736775761112 4606768 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/13232/statm: 106951 100196 165 392 0 106550 0
Current children cumulated CPU time (s) 882.16
Current children cumulated vsize (KiB) 427804

[startup+942.3 s]
/proc/loadavg: 2.09 2.15 2.17 3/177 13371
/proc/meminfo: memFree=29690808/32872528 swapFree=18240/1696364
[pid=13232] ppid=13229 vsize=570460 CPUtime=942.14 cores=0,2,4,6
/proc/13232/stat : 13232 (naps-1.02) R 13229 13232 9429 0 -1 4202496 78118 0 0 0 94097 117 0 0 20 0 1 0 106185616 584151040 128695 33554432000 4194304 5796924 140736775764000 140736775761112 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/13232/statm: 142615 128695 165 392 0 142214 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 570460

[startup+1002.3 s]
/proc/loadavg: 2.23 2.18 2.18 4/177 13373
/proc/meminfo: memFree=29762028/32872528 swapFree=18240/1696364
[pid=13232] ppid=13229 vsize=441560 CPUtime=1002.13 cores=0,2,4,6
/proc/13232/stat : 13232 (naps-1.02) R 13229 13232 9429 0 -1 4202496 79423 0 0 0 100090 123 0 0 20 0 1 0 106185616 452157440 106524 33554432000 4194304 5796924 140736775764000 140736775761112 4607229 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/13232/statm: 110390 106524 165 392 0 109989 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 441560

[startup+1062.3 s]
/proc/loadavg: 2.37 2.22 2.19 3/177 13374
/proc/meminfo: memFree=29639100/32872528 swapFree=18240/1696364
[pid=13232] ppid=13229 vsize=583492 CPUtime=1062.12 cores=0,2,4,6
/proc/13232/stat : 13232 (naps-1.02) R 13229 13232 9429 0 -1 4202496 82152 0 0 0 106086 126 0 0 20 0 1 0 106185616 597495808 133269 33554432000 4194304 5796924 140736775764000 140736775761112 4606789 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/13232/statm: 145873 133269 165 392 0 145472 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 583492

[startup+1122.3 s]
/proc/loadavg: 2.22 2.21 2.18 3/177 13375
/proc/meminfo: memFree=29752728/32872528 swapFree=18240/1696364
[pid=13232] ppid=13229 vsize=457052 CPUtime=1122.11 cores=0,2,4,6
/proc/13232/stat : 13232 (naps-1.02) R 13229 13232 9429 0 -1 4202496 83908 0 0 0 112079 132 0 0 20 0 1 0 106185616 468021248 106943 33554432000 4194304 5796924 140736775764000 140736775761112 4606480 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/13232/statm: 114263 106943 165 392 0 113862 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 457052

[startup+1182.3 s]
/proc/loadavg: 2.20 2.20 2.18 4/177 13376
/proc/meminfo: memFree=29534660/32872528 swapFree=18240/1696364
[pid=13232] ppid=13229 vsize=594884 CPUtime=1182.11 cores=0,2,4,6
/proc/13232/stat : 13232 (naps-1.02) R 13229 13232 9429 0 -1 4202496 85756 0 0 0 118075 136 0 0 20 0 1 0 106185616 609161216 133319 33554432000 4194304 5796924 140736775764000 140736775761112 4607258 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/13232/statm: 148721 133319 165 392 0 148320 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 594884

[startup+1242.3 s]
/proc/loadavg: 2.16 2.19 2.18 3/177 13377
/proc/meminfo: memFree=29680340/32872528 swapFree=18240/1696364
[pid=13232] ppid=13229 vsize=469948 CPUtime=1242.09 cores=0,2,4,6
/proc/13232/stat : 13232 (naps-1.02) R 13229 13232 9429 0 -1 4202496 87992 0 0 0 124068 141 0 0 20 0 1 0 106185616 481226752 102091 33554432000 4194304 5796924 140736775764000 140736775761112 4583342 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/13232/statm: 117487 102091 165 392 0 117086 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 469948

[startup+1302.3 s]
/proc/loadavg: 2.11 2.17 2.17 3/178 13382
/proc/meminfo: memFree=29600936/32872528 swapFree=18240/1696364
[pid=13232] ppid=13229 vsize=604624 CPUtime=1302.06 cores=0,2,4,6
/proc/13232/stat : 13232 (naps-1.02) R 13229 13232 9429 0 -1 4202496 89105 0 0 0 130062 144 0 0 20 0 1 0 106185616 619134976 130182 33554432000 4194304 5796924 140736775764000 140736775761112 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/13232/statm: 151156 130182 165 392 0 150755 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 604624

[startup+1362.3 s]
/proc/loadavg: 2.15 2.17 2.17 4/177 13383
/proc/meminfo: memFree=29523144/32872528 swapFree=18240/1696364
[pid=13232] ppid=13229 vsize=830664 CPUtime=1362.03 cores=0,2,4,6
/proc/13232/stat : 13232 (naps-1.02) R 13229 13232 9429 0 -1 4202496 92262 0 0 0 136056 147 0 0 20 0 1 0 106185616 850599936 155832 33554432000 4194304 5796924 140736775764000 140736775761112 4606799 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/13232/statm: 207666 155832 165 392 0 207265 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 830664

[startup+1422.3 s]
/proc/loadavg: 2.15 2.16 2.17 3/177 13384
/proc/meminfo: memFree=29552204/32872528 swapFree=18240/1696364
[pid=13232] ppid=13229 vsize=616516 CPUtime=1422.02 cores=0,2,4,6
/proc/13232/stat : 13232 (naps-1.02) R 13229 13232 9429 0 -1 4202496 93639 0 0 0 142051 151 0 0 20 0 1 0 106185616 631312384 125059 33554432000 4194304 5796924 140736775764000 140736775761112 4607222 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/13232/statm: 154129 125059 165 392 0 153728 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 616516

[startup+1482.3 s]
/proc/loadavg: 2.18 2.16 2.17 3/177 13385
/proc/meminfo: memFree=29487368/32872528 swapFree=18240/1696364
[pid=13232] ppid=13229 vsize=837264 CPUtime=1482 cores=0,2,4,6
/proc/13232/stat : 13232 (naps-1.02) R 13229 13232 9429 0 -1 4202496 95455 0 0 0 148047 153 0 0 20 0 1 0 106185616 857358336 155999 33554432000 4194304 5796924 140736775764000 140736775761112 4606768 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/13232/statm: 209316 155999 165 392 0 208915 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 837264

[startup+1542.31 s]
/proc/loadavg: 2.29 2.19 2.18 4/177 13386
/proc/meminfo: memFree=29551664/32872528 swapFree=18240/1696364
[pid=13232] ppid=13229 vsize=493924 CPUtime=1542.01 cores=0,2,4,6
/proc/13232/stat : 13232 (naps-1.02) R 13229 13232 9429 0 -1 4202496 96764 0 0 0 154043 158 0 0 20 0 1 0 106185616 505778176 116631 33554432000 4194304 5796924 140736775764000 140736775761112 4607222 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/13232/statm: 123481 116631 165 392 0 123080 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 493924

[startup+1602.3 s]
/proc/loadavg: 2.38 2.23 2.19 3/177 13388
/proc/meminfo: memFree=29492852/32872528 swapFree=18240/1696364
[pid=13232] ppid=13229 vsize=627988 CPUtime=1601.99 cores=0,2,4,6
/proc/13232/stat : 13232 (naps-1.02) R 13229 13232 9429 0 -1 4202496 97677 0 0 0 160039 160 0 0 20 0 1 0 106185616 643059712 144115 33554432000 4194304 5796924 140736775764000 140736775761112 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/13232/statm: 156997 144115 165 392 0 156596 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 627988

[startup+1662.3 s]
/proc/loadavg: 2.29 2.23 2.19 3/177 13389
/proc/meminfo: memFree=29322748/32872528 swapFree=18240/1696364
[pid=13232] ppid=13229 vsize=849956 CPUtime=1661.98 cores=0,2,4,6
/proc/13232/stat : 13232 (naps-1.02) R 13229 13232 9429 0 -1 4202496 99714 0 0 0 166036 162 0 0 20 0 1 0 106185616 870354944 168635 33554432000 4194304 5796924 140736775764000 140736775761112 4591861 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/13232/statm: 212489 168635 165 392 0 212088 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 849956

[startup+1722.3 s]
/proc/loadavg: 2.35 2.25 2.19 4/177 13390
/proc/meminfo: memFree=29532616/32872528 swapFree=18240/1696364
[pid=13232] ppid=13229 vsize=636928 CPUtime=1721.97 cores=0,2,4,6
/proc/13232/stat : 13232 (naps-1.02) R 13229 13232 9429 0 -1 4202496 101358 0 0 0 172030 167 0 0 20 0 1 0 106185616 652214272 131963 33554432000 4194304 5796924 140736775764000 140736775761112 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/13232/statm: 159232 131963 165 392 0 158831 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 636928

[startup+1782.3 s]
/proc/loadavg: 2.35 2.27 2.20 3/177 13391
/proc/meminfo: memFree=29341172/32872528 swapFree=18240/1696364
[pid=13232] ppid=13229 vsize=855112 CPUtime=1781.96 cores=0,2,4,6
/proc/13232/stat : 13232 (naps-1.02) R 13229 13232 9429 0 -1 4202496 102627 0 0 0 178027 169 0 0 20 0 1 0 106185616 875634688 160824 33554432000 4194304 5796924 140736775764000 140736775761640 4606799 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/13232/statm: 213778 160824 165 392 0 213377 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 855112



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.27 2.26 2.20 3/176 13392
/proc/meminfo: memFree=29446808/32872528 swapFree=18240/1696364
[pid=13232] ppid=13229 vsize=855448 CPUtime=1800.06 cores=0,2,4,6
/proc/13232/stat : 13232 (naps-1.02) R 13229 13232 9429 0 -1 4202496 102714 0 0 0 179836 170 0 0 20 0 1 0 106185616 875978752 168065 33554432000 4194304 5796924 140736775764000 140736775761112 4606771 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/13232/statm: 213862 168065 165 392 0 213461 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 855448

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 13232 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.07
CPU user time (s): 1798.36
CPU system time (s): 1.70574
CPU usage (%): 99.9814
Max. virtual memory (cumulated for all children) (KiB): 981108

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.36
system time used= 1.70574
maximum resident set size= 790268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102726
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= 96
involuntary context switches= 1854

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.70113 second user time and 7.60984 second system time

The end

Launcher Data 

Begin job on node137 at 2016-06-06 21:48:58
IDJOB=4082031
IDBENCH=2585
IDSOLVER=2544
FILE ID=node137/4082031-1465242538
RUNJOBID= node137-1465218415-9445
PBS_JOBID= 19843212
Free space on /tmp= 71736 MiB

SOLVER NAME= NaPS 1.02
BENCH NAME= PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-95-90.opb
COMMAND LINE= naps-1.02 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4082031-1465242538/watcher-4082031-1465242538 -o /tmp/evaluation-result-4082031-1465242538/solver-4082031-1465242538 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1465218415-9445 --watchdog 1960  naps-1.02 HOME/instance-4082031-1465242538.opb

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

MD5SUM BENCH= 464b0bce452dea50452bb0b774d05715
RANDOM SEED=1978045122

node137.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.018
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.03
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.018
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.018
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.018
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.018
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.56
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.018
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		: 2667.018
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.018
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:        30197996 kB
Buffers:           22720 kB
Cached:            97008 kB
SwapCached:         2172 kB
Active:           207828 kB
Inactive:          59876 kB
Active(anon):     148208 kB
Inactive(anon):     2256 kB
Active(file):      59620 kB
Inactive(file):    57620 kB
Unevictable:     1696364 kB
Mlocked:           18240 kB
SwapTotal:      67108856 kB
SwapFree:       67098812 kB
Dirty:              3948 kB
Writeback:             4 kB
AnonPages:       1853196 kB
Mapped:             7824 kB
Shmem:                 0 kB
Slab:             566332 kB
SReclaimable:      10404 kB
SUnreclaim:       555928 kB
KernelStack:        1480 kB
PageTables:         7640 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1977132 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1775616 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= 71732 MiB
End job on node137 at 2016-06-06 22:18:59