Trace number 4082020

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.12 1800.41

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-41-40.opb
MD5SUM2ea7e3b5e107f983d069c627d91480a3
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.019996
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables1640
Total number of constraints81
Number of constraints which are clauses41
Number of constraints which are cardinality constraints (but not clauses)40
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint41
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 42
Number of bits of the biggest sum of numbers6
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.09/1800.40	c 
1800.09/1800.40	c *** TERMINATED *** by signal 15
1800.09/1800.40	s UNKNOWN
1800.09/1800.40	c _____________________________________________________________________________
1800.09/1800.40	c 
1800.09/1800.40	c std/band forms        : 40,0
1800.09/1800.40	c 2cl/3cl ITE-codings   : 1560,0
1800.09/1800.40	c BDD/srt/adr Max costs : 79,0,0
1800.09/1800.40	c BDDraw/bin/mul/srt/adr: 40,0,0,0,0
1800.09/1800.40	c BDD nodes             : 3200
1800.09/1800.40	c Es1/CC detections     : 0,0
1800.09/1800.40	c SAT/UNSAT calls       : 0,0
1800.09/1800.40	c restarts              : 0
1800.09/1800.40	c conflicts             : 0              (0 /sec)
1800.09/1800.40	c decisions             : 0              (0 /sec)
1800.09/1800.40	c propagations          : 0              (0 /sec)
1800.09/1800.40	c inspects              : 0              (0 /sec)
1800.09/1800.40	c CPU time (solving tm) : 1799 s        (0 s)
1800.09/1800.40	c Time for Opt-base     : 0 s
1800.09/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-4082020-1465243500/watcher-4082020-1465243500 -o /tmp/evaluation-result-4082020-1465243500/solver-4082020-1465243500 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1465221119-32680 --watchdog 1960 naps-1.02 HOME/instance-4082020-1465243500.opb 

pid=3121
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 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.13 2.15 2.17 3/173 3124
/proc/meminfo: memFree=30486748/32872528 swapFree=17280/1464432
[pid=3124] ppid=3121 vsize=6692 CPUtime=0 cores=1,3,5,7
/proc/3124/stat : 3124 (naps-1.02) R 3121 3124 32663 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 106283008 6852608 228 33554432000 4194304 5796924 140735857828848 140735726841656 5092427 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/3124/statm: 1673 228 127 392 0 1272 0

[startup+0.100203 s]
/proc/loadavg: 2.13 2.15 2.17 3/173 3124
/proc/meminfo: memFree=30486748/32872528 swapFree=17280/1464432
[pid=3124] ppid=3121 vsize=6004 CPUtime=0.09 cores=1,3,5,7
/proc/3124/stat : 3124 (naps-1.02) R 3121 3124 32663 0 -1 4202496 1236 0 0 0 9 0 0 0 20 0 1 0 106283008 6148096 1027 33554432000 4194304 5796924 140735857828848 140735726841656 4611179 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/3124/statm: 1501 1027 155 392 0 1100 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6004

[startup+0.200284 s]
/proc/loadavg: 2.13 2.15 2.17 3/173 3124
/proc/meminfo: memFree=30486748/32872528 swapFree=17280/1464432
[pid=3124] ppid=3121 vsize=7164 CPUtime=0.19 cores=1,3,5,7
/proc/3124/stat : 3124 (naps-1.02) R 3121 3124 32663 0 -1 4202496 1600 0 0 0 19 0 0 0 20 0 1 0 106283008 7335936 1389 33554432000 4194304 5796924 140735857828848 140735726841656 4611179 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/3124/statm: 1791 1389 155 392 0 1390 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 7164

[startup+0.300217 s]
/proc/loadavg: 2.13 2.15 2.17 3/173 3124
/proc/meminfo: memFree=30486748/32872528 swapFree=17280/1464432
[pid=3124] ppid=3121 vsize=8972 CPUtime=0.29 cores=1,3,5,7
/proc/3124/stat : 3124 (naps-1.02) R 3121 3124 32663 0 -1 4202496 1951 0 0 0 29 0 0 0 20 0 1 0 106283008 9187328 1738 33554432000 4194304 5796924 140735857828848 140735726841656 4611179 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/3124/statm: 2243 1738 155 392 0 1842 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8972

[startup+0.700216 s]
/proc/loadavg: 2.13 2.15 2.17 3/173 3124
/proc/meminfo: memFree=30486748/32872528 swapFree=17280/1464432
[pid=3124] ppid=3121 vsize=16312 CPUtime=0.69 cores=1,3,5,7
/proc/3124/stat : 3124 (naps-1.02) R 3121 3124 32663 0 -1 4202496 3146 0 0 0 69 0 0 0 20 0 1 0 106283008 16703488 3673 33554432000 4194304 5796924 140735857828848 140735857826088 4592031 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/3124/statm: 4078 3673 156 392 0 3677 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16312

[startup+1.50029 s]
/proc/loadavg: 2.13 2.15 2.17 4/174 3125
/proc/meminfo: memFree=30454584/32872528 swapFree=17280/1464432
[pid=3124] ppid=3121 vsize=34988 CPUtime=1.49 cores=1,3,5,7
/proc/3124/stat : 3124 (naps-1.02) R 3121 3124 32663 0 -1 4202496 3575 0 0 0 149 0 0 0 20 0 1 0 106283008 35827712 7168 33554432000 4194304 5796924 140735857828848 140735857826088 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/3124/statm: 8747 7168 156 392 0 8346 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 34988

[startup+3.10029 s]
/proc/loadavg: 2.13 2.15 2.17 4/174 3125
/proc/meminfo: memFree=30456188/32872528 swapFree=17280/1464432
[pid=3124] ppid=3121 vsize=29024 CPUtime=3.09 cores=1,3,5,7
/proc/3124/stat : 3124 (naps-1.02) R 3121 3124 32663 0 -1 4202496 4326 0 0 0 308 1 0 0 20 0 1 0 106283008 29720576 6533 33554432000 4194304 5796924 140735857828848 140735857826088 4607776 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/3124/statm: 7256 6533 166 392 0 6855 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 29024

[startup+6.30032 s]
/proc/loadavg: 2.12 2.15 2.16 3/175 3126
/proc/meminfo: memFree=30383224/32872528 swapFree=17280/1464432
[pid=3124] ppid=3121 vsize=91144 CPUtime=6.29 cores=1,3,5,7
/proc/3124/stat : 3124 (naps-1.02) R 3121 3124 32663 0 -1 4202496 6406 0 0 0 627 2 0 0 20 0 1 0 106283008 93331456 18818 33554432000 4194304 5796924 140735857828848 140735857826136 4606779 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/3124/statm: 22786 18818 166 392 0 22385 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 91144

[startup+12.7002 s]
/proc/loadavg: 2.11 2.15 2.16 3/175 3126
/proc/meminfo: memFree=30441016/32872528 swapFree=17280/1464432
[pid=3124] ppid=3121 vsize=79648 CPUtime=12.69 cores=1,3,5,7
/proc/3124/stat : 3124 (naps-1.02) R 3121 3124 32663 0 -1 4202496 7046 0 0 0 1267 2 0 0 20 0 1 0 106283008 81559552 14915 33554432000 4194304 5796924 140735857828848 140735857826312 4593778 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/3124/statm: 19912 14915 166 392 0 19511 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 79648

[startup+25.5004 s]
/proc/loadavg: 2.16 2.16 2.17 3/175 3126
/proc/meminfo: memFree=30325748/32872528 swapFree=17280/1464432
[pid=3124] ppid=3121 vsize=128968 CPUtime=25.49 cores=1,3,5,7
/proc/3124/stat : 3124 (naps-1.02) R 3121 3124 32663 0 -1 4202496 7135 0 0 0 2545 4 0 0 20 0 1 0 106283008 132063232 25691 33554432000 4194304 5796924 140735857828848 140735857826136 4591930 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/3124/statm: 32242 25691 166 392 0 31841 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 128968

[startup+51.1004 s]
/proc/loadavg: 2.16 2.16 2.17 3/175 3126
/proc/meminfo: memFree=30250800/32872528 swapFree=17280/1464432
[pid=3124] ppid=3121 vsize=172852 CPUtime=51.08 cores=1,3,5,7
/proc/3124/stat : 3124 (naps-1.02) R 3121 3124 32663 0 -1 4202496 8152 0 0 0 5101 7 0 0 20 0 1 0 106283008 177000448 35740 33554432000 4194304 5796924 140735857828848 140735857826136 4606771 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/3124/statm: 43213 35740 166 392 0 42812 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 172852

[startup+102.3 s]
/proc/loadavg: 2.17 2.16 2.17 3/175 3127
/proc/meminfo: memFree=30286152/32872528 swapFree=17280/1464432
[pid=3124] ppid=3121 vsize=142032 CPUtime=102.28 cores=1,3,5,7
/proc/3124/stat : 3124 (naps-1.02) R 3121 3124 32663 0 -1 4202496 8447 0 0 0 10217 11 0 0 20 0 1 0 106283008 145440768 31067 33554432000 4194304 5796924 140735857828848 140735857826312 4591895 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/3124/statm: 35508 31067 166 392 0 35107 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 142032

[startup+162.3 s]
/proc/loadavg: 2.10 2.14 2.16 4/175 3128
/proc/meminfo: memFree=30228932/32872528 swapFree=17280/1464432
[pid=3124] ppid=3121 vsize=142032 CPUtime=162.26 cores=1,3,5,7
/proc/3124/stat : 3124 (naps-1.02) R 3121 3124 32663 0 -1 4202496 9911 0 0 0 16210 16 0 0 20 0 1 0 106283008 145440768 34144 33554432000 4194304 5796924 140735857828848 140735857826136 4606718 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/3124/statm: 35508 34144 166 392 0 35107 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 142032

[startup+222.307 s]
/proc/loadavg: 2.22 2.17 2.17 4/175 3129
/proc/meminfo: memFree=30176156/32872528 swapFree=17280/1464432
[pid=3124] ppid=3121 vsize=222940 CPUtime=222.26 cores=1,3,5,7
/proc/3124/stat : 3124 (naps-1.02) R 3121 3124 32663 0 -1 4202496 11767 0 0 0 22206 20 0 0 20 0 1 0 106283008 228290560 44240 33554432000 4194304 5796924 140735857828848 140735857826488 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/3124/statm: 55735 44240 166 392 0 55334 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 222940

[startup+282.3 s]
/proc/loadavg: 2.21 2.17 2.17 3/175 3130
/proc/meminfo: memFree=30239044/32872528 swapFree=17280/1464432
[pid=3124] ppid=3121 vsize=142032 CPUtime=282.25 cores=1,3,5,7
/proc/3124/stat : 3124 (naps-1.02) R 3121 3124 32663 0 -1 4202496 12781 0 0 0 28200 25 0 0 20 0 1 0 106283008 145440768 33120 33554432000 4194304 5796924 140735857828848 140735857826312 4606430 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/3124/statm: 35508 33120 166 392 0 35107 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 142032

[startup+342.3 s]
/proc/loadavg: 2.15 2.17 2.17 4/176 3135
/proc/meminfo: memFree=30266724/32872528 swapFree=17280/1464432
[pid=3124] ppid=3121 vsize=142032 CPUtime=342.24 cores=1,3,5,7
/proc/3124/stat : 3124 (naps-1.02) R 3121 3124 32663 0 -1 4202496 13746 0 0 0 34196 28 0 0 20 0 1 0 106283008 145440768 35168 33554432000 4194304 5796924 140735857828848 140735857826312 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/3124/statm: 35508 35168 166 392 0 35107 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 142032

[startup+402.3 s]
/proc/loadavg: 2.23 2.18 2.17 4/175 3136
/proc/meminfo: memFree=30024620/32872528 swapFree=17280/1464432
[pid=3124] ppid=3121 vsize=142032 CPUtime=402.23 cores=1,3,5,7
/proc/3124/stat : 3124 (naps-1.02) R 3121 3124 32663 0 -1 4202496 14714 0 0 0 40191 32 0 0 20 0 1 0 106283008 145440768 34144 33554432000 4194304 5796924 140735857828848 140735857826312 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/3124/statm: 35508 34144 166 392 0 35107 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 142032

[startup+462.3 s]
/proc/loadavg: 2.21 2.18 2.17 3/175 3137
/proc/meminfo: memFree=30007332/32872528 swapFree=17280/1464432
[pid=3124] ppid=3121 vsize=222940 CPUtime=462.22 cores=1,3,5,7
/proc/3124/stat : 3124 (naps-1.02) R 3121 3124 32663 0 -1 4202496 15630 0 0 0 46189 33 0 0 20 0 1 0 106283008 228290560 51408 33554432000 4194304 5796924 140735857828848 140735857826488 4606799 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/3124/statm: 55735 51408 166 392 0 55334 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 222940

[startup+522.3 s]
/proc/loadavg: 2.16 2.17 2.17 4/175 3138
/proc/meminfo: memFree=30072184/32872528 swapFree=17280/1464432
[pid=3124] ppid=3121 vsize=222940 CPUtime=522.21 cores=1,3,5,7
/proc/3124/stat : 3124 (naps-1.02) R 3121 3124 32663 0 -1 4202496 16591 0 0 0 52184 37 0 0 20 0 1 0 106283008 228290560 47312 33554432000 4194304 5796924 140735857828848 140735857826488 4607201 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/3124/statm: 55735 47312 166 392 0 55334 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 222940

[startup+582.3 s]
/proc/loadavg: 2.16 2.17 2.17 3/175 3139
/proc/meminfo: memFree=29886736/32872528 swapFree=17280/1464432
[pid=3124] ppid=3121 vsize=175892 CPUtime=582.19 cores=1,3,5,7
/proc/3124/stat : 3124 (naps-1.02) R 3121 3124 32663 0 -1 4202496 17528 0 0 0 58179 40 0 0 20 0 1 0 106283008 180113408 43266 33554432000 4194304 5796924 140735857828848 140735857825960 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/3124/statm: 43973 43266 166 392 0 43572 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 175892


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


[startup+882.307 s]
/proc/loadavg: 2.27 2.23 2.19 4/175 3145
/proc/meminfo: memFree=29764656/32872528 swapFree=17284/1464436
[pid=3124] ppid=3121 vsize=249988 CPUtime=882.15 cores=1,3,5,7
/proc/3124/stat : 3124 (naps-1.02) R 3121 3124 32663 0 -1 4202496 28889 0 0 0 88163 52 0 0 20 0 1 0 106283008 255987712 50593 33554432000 4194304 5796924 140735857828848 140735857825960 4606768 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/3124/statm: 62497 50593 166 392 0 62096 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 249988

[startup+942.3 s]
/proc/loadavg: 2.42 2.29 2.21 3/176 3150
/proc/meminfo: memFree=29956740/32872528 swapFree=17280/1464432
[pid=3124] ppid=3121 vsize=334284 CPUtime=942.14 cores=1,3,5,7
/proc/3124/stat : 3124 (naps-1.02) R 3121 3124 32663 0 -1 4202496 30017 0 0 0 94160 54 0 0 20 0 1 0 106283008 342306816 63473 33554432000 4194304 5796924 140735857828848 140735857826488 4606771 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/3124/statm: 83571 63473 166 392 0 83170 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 334284

[startup+1002.3 s]
/proc/loadavg: 2.43 2.31 2.22 3/175 3151
/proc/meminfo: memFree=29779016/32872528 swapFree=17280/1464432
[pid=3124] ppid=3121 vsize=253904 CPUtime=1002.13 cores=1,3,5,7
/proc/3124/stat : 3124 (naps-1.02) R 3121 3124 32663 0 -1 4202496 30678 0 0 0 100157 56 0 0 20 0 1 0 106283008 259997696 54418 33554432000 4194304 5796924 140735857828848 140735857825960 4606768 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/3124/statm: 63476 54418 166 392 0 63075 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 253904

[startup+1062.3 s]
/proc/loadavg: 2.20 2.27 2.21 4/175 3152
/proc/meminfo: memFree=29545508/32872528 swapFree=17280/1464432
[pid=3124] ppid=3121 vsize=337824 CPUtime=1062.13 cores=1,3,5,7
/proc/3124/stat : 3124 (naps-1.02) R 3121 3124 32663 0 -1 4202496 31964 0 0 0 106155 58 0 0 20 0 1 0 106283008 345931776 65922 33554432000 4194304 5796924 140735857828848 140735857825960 4607192 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/3124/statm: 84456 65922 166 392 0 84055 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 337824

[startup+1122.3 s]
/proc/loadavg: 2.17 2.25 2.20 3/175 3153
/proc/meminfo: memFree=29969628/32872528 swapFree=17280/1464432
[pid=3124] ppid=3121 vsize=257784 CPUtime=1122.11 cores=1,3,5,7
/proc/3124/stat : 3124 (naps-1.02) R 3121 3124 32663 0 -1 4202496 32661 0 0 0 112150 61 0 0 20 0 1 0 106283008 263970816 54260 33554432000 4194304 5796924 140735857828848 140735857826488 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/3124/statm: 64446 54260 166 392 0 64045 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 257784

[startup+1182.3 s]
/proc/loadavg: 2.25 2.25 2.20 4/175 3154
/proc/meminfo: memFree=29729404/32872528 swapFree=17280/1464432
[pid=3124] ppid=3121 vsize=340900 CPUtime=1182.1 cores=1,3,5,7
/proc/3124/stat : 3124 (naps-1.02) R 3121 3124 32663 0 -1 4202496 33727 0 0 0 118147 63 0 0 20 0 1 0 106283008 349081600 65542 33554432000 4194304 5796924 140735857828848 140735857825960 4607198 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/3124/statm: 85225 65542 166 392 0 84824 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 340900

[startup+1242.3 s]
/proc/loadavg: 2.23 2.24 2.20 4/175 3156
/proc/meminfo: memFree=29626448/32872528 swapFree=17280/1464432
[pid=3124] ppid=3121 vsize=211444 CPUtime=1242.1 cores=1,3,5,7
/proc/3124/stat : 3124 (naps-1.02) R 3121 3124 32663 0 -1 4202496 34300 0 0 0 124145 65 0 0 20 0 1 0 106283008 216518656 49157 33554432000 4194304 5796924 140735857828848 140735857826312 4606779 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/3124/statm: 52861 49157 166 392 0 52460 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 211444

[startup+1302.3 s]
/proc/loadavg: 2.23 2.24 2.20 4/175 3157
/proc/meminfo: memFree=29991780/32872528 swapFree=17280/1464432
[pid=3124] ppid=3121 vsize=344248 CPUtime=1302.09 cores=1,3,5,7
/proc/3124/stat : 3124 (naps-1.02) R 3121 3124 32663 0 -1 4202496 35571 0 0 0 130141 68 0 0 20 0 1 0 106283008 352509952 64219 33554432000 4194304 5796924 140735857828848 140735857826488 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/3124/statm: 86062 64219 166 392 0 85661 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 344248

[startup+1362.3 s]
/proc/loadavg: 2.27 2.24 2.19 3/175 3158
/proc/meminfo: memFree=29825276/32872528 swapFree=17280/1464432
[pid=3124] ppid=3121 vsize=214508 CPUtime=1362.08 cores=1,3,5,7
/proc/3124/stat : 3124 (naps-1.02) R 3121 3124 32663 0 -1 4202496 36109 0 0 0 136138 70 0 0 20 0 1 0 106283008 219656192 47286 33554432000 4194304 5796924 140735857828848 140735857826312 4606768 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/3124/statm: 53627 47286 166 392 0 53226 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 214508

[startup+1422.3 s]
/proc/loadavg: 2.17 2.22 2.19 4/175 3159
/proc/meminfo: memFree=29567356/32872528 swapFree=17284/1464436
[pid=3124] ppid=3121 vsize=264912 CPUtime=1422.07 cores=1,3,5,7
/proc/3124/stat : 3124 (naps-1.02) R 3121 3124 32663 0 -1 4202496 36474 0 0 0 142136 71 0 0 20 0 1 0 106283008 271269888 59401 33554432000 4194304 5796924 140735857828848 140735857825960 4607194 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/3124/statm: 66228 59401 166 392 0 65827 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 264912

[startup+1482.3 s]
/proc/loadavg: 2.16 2.21 2.18 3/175 3160
/proc/meminfo: memFree=29348740/32872528 swapFree=17280/1464432
[pid=3124] ppid=3121 vsize=347752 CPUtime=1482.06 cores=1,3,5,7
/proc/3124/stat : 3124 (naps-1.02) R 3121 3124 32663 0 -1 4202496 37489 0 0 0 148133 73 0 0 20 0 1 0 106283008 356098048 69610 33554432000 4194304 5796924 140735857828848 140735857825960 4592059 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/3124/statm: 86938 69610 166 392 0 86537 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 347752

[startup+1542.31 s]
/proc/loadavg: 2.18 2.20 2.18 3/176 3165
/proc/meminfo: memFree=29912056/32872528 swapFree=17280/1464432
[pid=3124] ppid=3121 vsize=220076 CPUtime=1542.05 cores=1,3,5,7
/proc/3124/stat : 3124 (naps-1.02) R 3121 3124 32663 0 -1 4202496 38403 0 0 0 154130 75 0 0 20 0 1 0 106283008 225357824 50495 33554432000 4194304 5796924 140735857828848 140735857826312 4606523 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/3124/statm: 55019 50495 166 392 0 54618 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 220076

[startup+1602.3 s]
/proc/loadavg: 2.11 2.18 2.17 4/175 3166
/proc/meminfo: memFree=29720252/32872528 swapFree=17280/1464432
[pid=3124] ppid=3121 vsize=271280 CPUtime=1602.04 cores=1,3,5,7
/proc/3124/stat : 3124 (naps-1.02) R 3121 3124 32663 0 -1 4202496 38959 0 0 0 160127 77 0 0 20 0 1 0 106283008 277790720 60822 33554432000 4194304 5796924 140735857828848 140735857825960 4606799 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/3124/statm: 67820 60822 166 392 0 67419 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 271280

[startup+1662.3 s]
/proc/loadavg: 2.14 2.17 2.17 3/175 3167
/proc/meminfo: memFree=29547572/32872528 swapFree=17280/1464432
[pid=3124] ppid=3121 vsize=354364 CPUtime=1662.02 cores=1,3,5,7
/proc/3124/stat : 3124 (naps-1.02) R 3121 3124 32663 0 -1 4202496 40048 0 0 0 166123 79 0 0 20 0 1 0 106283008 362868736 73093 33554432000 4194304 5796924 140735857828848 140735857825960 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/3124/statm: 88591 73093 166 392 0 88190 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 354364

[startup+1722.3 s]
/proc/loadavg: 2.29 2.20 2.18 3/175 3168
/proc/meminfo: memFree=29452064/32872528 swapFree=17280/1464432
[pid=3124] ppid=3121 vsize=276348 CPUtime=1722.01 cores=1,3,5,7
/proc/3124/stat : 3124 (naps-1.02) R 3121 3124 32663 0 -1 4202496 40895 0 0 0 172119 82 0 0 20 0 1 0 106283008 282980352 55954 33554432000 4194304 5796924 140735857828848 140735857826312 4606779 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/3124/statm: 69087 55954 166 392 0 68686 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 276348

[startup+1782.3 s]
/proc/loadavg: 2.20 2.19 2.18 4/175 3215
/proc/meminfo: memFree=30295260/32872528 swapFree=17280/1464432
[pid=3124] ppid=3121 vsize=358176 CPUtime=1782 cores=1,3,5,7
/proc/3124/stat : 3124 (naps-1.02) R 3121 3124 32663 0 -1 4202496 41894 0 0 0 178116 84 0 0 20 0 1 0 106283008 366772224 69727 33554432000 4194304 5796924 140735857828848 140735857825960 4606799 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/3124/statm: 89544 69727 166 392 0 89143 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 358176



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.14 2.18 2.18 3/175 3353
/proc/meminfo: memFree=30262240/32872528 swapFree=17280/1464432
[pid=3124] ppid=3121 vsize=358432 CPUtime=1800.09 cores=1,3,5,7
/proc/3124/stat : 3124 (naps-1.02) R 3121 3124 32663 0 -1 4202496 41975 0 0 0 179925 84 0 0 20 0 1 0 106283008 367034368 72363 33554432000 4194304 5796924 140735857828848 140735857825960 4606768 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/3124/statm: 89608 72363 166 392 0 89207 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 358432

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

Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.12
CPU user time (s): 1799.26
CPU system time (s): 0.857869
CPU usage (%): 99.9838
Max. virtual memory (cumulated for all children) (KiB): 437876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.26
system time used= 0.857869
maximum resident set size= 376996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41987
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= 36
involuntary context switches= 1861

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.82727 second user time and 5.75413 second system time

The end

Launcher Data 

Begin job on node121 at 2016-06-06 22:05:00
IDJOB=4082020
IDBENCH=2604
IDSOLVER=2544
FILE ID=node121/4082020-1465243500
RUNJOBID= node121-1465221119-32680
PBS_JOBID= 19843226
Free space on /tmp= 71728 MiB

SOLVER NAME= NaPS 1.02
BENCH NAME= PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-41-40.opb
COMMAND LINE= naps-1.02 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4082020-1465243500/watcher-4082020-1465243500 -o /tmp/evaluation-result-4082020-1465243500/solver-4082020-1465243500 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1465221119-32680 --watchdog 1960  naps-1.02 HOME/instance-4082020-1465243500.opb

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

MD5SUM BENCH= 2ea7e3b5e107f983d069c627d91480a3
RANDOM SEED=39642176

node121.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.050
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.10
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.050
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.050
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.57
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.050
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.050
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.050
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.050
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.54
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.050
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:        30487104 kB
Buffers:           23652 kB
Cached:            97216 kB
SwapCached:         1740 kB
Active:           155592 kB
Inactive:          61804 kB
Active(anon):      96788 kB
Inactive(anon):     2100 kB
Active(file):      58804 kB
Inactive(file):    59704 kB
Unevictable:     1464432 kB
Mlocked:           17280 kB
SwapTotal:      67108856 kB
SwapFree:       67099232 kB
Dirty:              8596 kB
Writeback:             0 kB
AnonPages:       1562132 kB
Mapped:             7652 kB
Shmem:                 0 kB
Slab:             567420 kB
SReclaimable:      11324 kB
SUnreclaim:       556096 kB
KernelStack:        1440 kB
PageTables:         6928 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1686980 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1521664 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= 71724 MiB
End job on node121 at 2016-06-06 22:35:00