Trace number 4391552

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
NACRE 1.0.5-Hybrid? (TO) 2400.05 2400.63

General information on the benchmark

NamePseudoBoolean/PseudoBoolean-dec-fpga/
Pb-chnl40-50.xml
MD5SUM6fc9298037ec0e80b4c0d0dc3fa4715e
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables4000
Number of constraints180
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":4000}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":4000}]
Minimum constraint arity40
Maximum constraint arity50
Distribution of constraint arities[{"arity":40,"count":100},{"arity":50,"count":80}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":180}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.02	c NACRE 1.0.5
2400.00/2400.60	c
2400.00/2400.60	c # time = 2400
2400.00/2400.60	c # Dec = 3778917
2400.00/2400.60	c # Propagate Calls = 50172476
2400.00/2400.60	c # assignAt Calls = 13204654
2400.00/2400.60	c # removeAt Calls = 28548168
2400.00/2400.60	c # Run = 2194
2400.00/2400.60	c # Conflicts = 1181119
2400.00/2400.60	c # Memory used = 3555.33 Mb
2400.00/2400.60	s UNKNOWN

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (14399 MiB free)
  memory of node 1: 16384 MiB (15168 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391552-1568316421/watcher-4391552-1568316421 -o /tmp/evaluation-result-4391552-1568316421/solver-4391552-1568316421 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1568304897-11109 --watchdog 2560 nacre_mini_release HOME/instance-4391552-1568316421.xml -ca -l100 -cm 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=13686, runsolver pid=13683

[startup+0.100157 s]*
/proc/loadavg: 2.50 2.17 2.10 3/205 13687
/proc/meminfo: memFree=30271536/32770624 swapFree=67008576/67108860
[pid=13686] ppid=13683 vsize=32404 memory=9028 CPUtime=0.1 cores=1,3,5,7
/proc/13686/stat : 13686 (nacre_mini_rele) R 13683 13686 11077 0 -1 4202496 2466 0 0 0 10 0 0 0 20 0 1 0 407564786 33181696 2257 33554432000 4194304 4935366 140732358895152 140732358892152 4365379 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 15212544 140732358902785 140732358902885 140732358902885 140732358905794 0
/proc/13686/statm: 8101 2257 617 181 0 1718 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32404 KiB
Current children cumulated memory: 9028 KiB

[startup+0.210148 s]*
/proc/loadavg: 2.50 2.17 2.10 3/205 13687
/proc/meminfo: memFree=30270792/32770624 swapFree=67008576/67108860
[pid=13686] ppid=13683 vsize=33440 memory=10200 CPUtime=0.21 cores=1,3,5,7
/proc/13686/stat : 13686 (nacre_mini_rele) R 13683 13686 11077 0 -1 4202496 2731 0 0 0 21 0 0 0 20 0 1 0 407564786 34242560 2550 33554432000 4194304 4935366 140732358895152 140732358892152 140101945801701 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 15212544 140732358902785 140732358902885 140732358902885 140732358905794 0
/proc/13686/statm: 8360 2550 617 181 0 1977 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 33440 KiB
Current children cumulated memory: 10200 KiB

[startup+0.309659 s]*
/proc/loadavg: 2.50 2.17 2.10 3/205 13687
/proc/meminfo: memFree=30270048/32770624 swapFree=67008576/67108860
[pid=13686] ppid=13683 vsize=34072 memory=10712 CPUtime=0.31 cores=1,3,5,7
/proc/13686/stat : 13686 (nacre_mini_rele) R 13683 13686 11077 0 -1 4202496 2874 0 0 0 31 0 0 0 20 0 1 0 407564786 34889728 2678 33554432000 4194304 4935366 140732358895152 140732358893304 4365360 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 15212544 140732358902785 140732358902885 140732358902885 140732358905794 0
/proc/13686/statm: 8518 2678 617 181 0 2135 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 34072 KiB
Current children cumulated memory: 10712 KiB

[startup+0.700299 s]
/proc/loadavg: 2.50 2.17 2.10 3/205 13687
/proc/meminfo: memFree=30268188/32770624 swapFree=67008576/67108860
[pid=13686] ppid=13683 vsize=38356 memory=14936 CPUtime=0.68 cores=1,3,5,7
/proc/13686/stat : 13686 (nacre_mini_rele) R 13683 13686 11077 0 -1 4202496 3942 0 0 0 68 0 0 0 20 0 1 0 407564786 39276544 3734 33554432000 4194304 4935366 140732358895152 140732358893304 4365351 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 15212544 140732358902785 140732358902885 140732358902885 140732358905794 0
/proc/13686/statm: 9589 3734 617 181 0 3206 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 38356 KiB
Current children cumulated memory: 14936 KiB

[startup+1.5003 s]
/proc/loadavg: 2.50 2.17 2.10 3/206 13689
/proc/meminfo: memFree=30262152/32770624 swapFree=67008576/67108860
[pid=13686] ppid=13683 vsize=44364 memory=21008 CPUtime=1.49 cores=1,3,5,7
/proc/13686/stat : 13686 (nacre_mini_rele) R 13683 13686 11077 0 -1 4202496 5451 0 0 0 148 1 0 0 20 0 1 0 407564786 45428736 5252 33554432000 4194304 4935366 140732358895152 140732358892904 4365369 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 15212544 140732358902785 140732358902885 140732358902885 140732358905794 0
/proc/13686/statm: 11091 5252 617 181 0 4708 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 44364 KiB
Current children cumulated memory: 21008 KiB

[startup+3.11 s]
/proc/loadavg: 2.46 2.17 2.10 3/206 13689
/proc/meminfo: memFree=30245880/32770624 swapFree=67008576/67108860
[pid=13686] ppid=13683 vsize=58180 memory=34840 CPUtime=3.1 cores=1,3,5,7
/proc/13686/stat : 13686 (nacre_mini_rele) R 13683 13686 11077 0 -1 4202496 13396 0 0 0 308 2 0 0 20 0 1 0 407564786 59576320 8710 33554432000 4194304 4935366 140732358895152 140732358892664 140101945801701 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 15212544 140732358902785 140732358902885 140732358902885 140732358905794 0
/proc/13686/statm: 14545 8710 617 181 0 8162 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 58180 KiB
Current children cumulated memory: 34840 KiB

[startup+6.3003 s]
/proc/loadavg: 2.46 2.17 2.10 3/205 13689
/proc/meminfo: memFree=30229744/32770624 swapFree=67008576/67108860
[pid=13686] ppid=13683 vsize=74020 memory=50420 CPUtime=6.28 cores=1,3,5,7
/proc/13686/stat : 13686 (nacre_mini_rele) R 13683 13686 11077 0 -1 4202496 24764 0 0 0 626 2 0 0 20 0 1 0 407564786 75796480 12605 33554432000 4194304 4935366 140732358895152 140732358892664 4365342 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 15212544 140732358902785 140732358902885 140732358902885 140732358905794 0
/proc/13686/statm: 18505 12605 617 181 0 12122 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 74020 KiB
Current children cumulated memory: 50420 KiB

[startup+12.7004 s]
/proc/loadavg: 2.35 2.15 2.09 3/205 13689
/proc/meminfo: memFree=30168148/32770624 swapFree=67008576/67108860
[pid=13686] ppid=13683 vsize=143616 memory=120080 CPUtime=12.69 cores=1,3,5,7
/proc/13686/stat : 13686 (nacre_mini_rele) R 13683 13686 11077 0 -1 4202496 53820 0 0 0 1263 6 0 0 20 0 1 0 407564786 147062784 30020 33554432000 4194304 4935366 140732358895152 140732358892904 4461244 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 15212544 140732358902785 140732358902885 140732358902885 140732358905794 0
/proc/13686/statm: 35904 30020 617 181 0 29521 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 143616 KiB
Current children cumulated memory: 120080 KiB

[startup+25.5004 s]
/proc/loadavg: 2.27 2.14 2.09 3/205 13689
/proc/meminfo: memFree=30067116/32770624 swapFree=67008576/67108860
[pid=13686] ppid=13683 vsize=239508 memory=215716 CPUtime=25.48 cores=1,3,5,7
/proc/13686/stat : 13686 (nacre_mini_rele) R 13683 13686 11077 0 -1 4202496 117242 0 0 0 2536 12 0 0 20 0 1 0 407564786 245256192 53929 33554432000 4194304 4935366 140732358895152 140732358892904 140101945801701 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 15212544 140732358902785 140732358902885 140732358902885 140732358905794 0
/proc/13686/statm: 59877 53929 617 181 0 53494 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 239508 KiB
Current children cumulated memory: 215716 KiB

[startup+51.1102 s]
/proc/loadavg: 2.18 2.13 2.09 3/205 13693
/proc/meminfo: memFree=29943888/32770624 swapFree=67008576/67108860
[pid=13686] ppid=13683 vsize=355920 memory=332136 CPUtime=51.09 cores=1,3,5,7
/proc/13686/stat : 13686 (nacre_mini_rele) R 13683 13686 11077 0 -1 4202496 181819 0 0 0 5090 19 0 0 20 0 1 0 407564786 364462080 83034 33554432000 4194304 4935366 140732358895152 140732358892840 4461261 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 15212544 140732358902785 140732358902885 140732358902885 140732358905794 0
/proc/13686/statm: 88980 83034 617 181 0 82597 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 355920 KiB
Current children cumulated memory: 332136 KiB

[startup+102.3 s]
/proc/loadavg: 2.08 2.11 2.08 3/205 13696
/proc/meminfo: memFree=29765296/32770624 swapFree=67008576/67108860
[pid=13686] ppid=13683 vsize=531260 memory=507432 CPUtime=102.27 cores=1,3,5,7
/proc/13686/stat : 13686 (nacre_mini_rele) R 13683 13686 11077 0 -1 4202496 264138 0 0 0 10195 32 0 0 20 0 1 0 407564786 544010240 126858 33554432000 4194304 4935366 140732358895152 140732358892840 4461238 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 15212544 140732358902785 140732358902885 140732358902885 140732358905794 0
/proc/13686/statm: 132815 126858 617 181 0 126432 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 531260 KiB
Current children cumulated memory: 507432 KiB

[startup+162.3 s]
/proc/loadavg: 2.03 2.09 2.08 3/205 13701
/proc/meminfo: memFree=29569012/32770624 swapFree=67008580/67108860
[pid=13686] ppid=13683 vsize=727264 memory=703648 CPUtime=162.25 cores=1,3,5,7
/proc/13686/stat : 13686 (nacre_mini_rele) R 13683 13686 11077 0 -1 4202496 366854 0 0 0 16180 45 0 0 20 0 1 0 407564786 744718336 175912 33554432000 4194304 4935366 140732358895152 140732358892840 4461227 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 15212544 140732358902785 140732358902885 140732358902885 140732358905794 0
/proc/13686/statm: 181816 175912 617 181 0 175433 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 727264 KiB
Current children cumulated memory: 703648 KiB

[startup+222.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/205 13705
/proc/meminfo: memFree=29400672/32770624 swapFree=67008580/67108860
[pid=13686] ppid=13683 vsize=888968 memory=864032 CPUtime=222.23 cores=1,3,5,7
/proc/13686/stat : 13686 (nacre_mini_rele) R 13683 13686 11077 0 -1 4202496 452237 0 0 0 22166 57 0 0 20 0 1 0 407564786 910303232 216008 33554432000 4194304 4935366 140732358895152 140732358892904 4461216 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 15212544 140732358902785 140732358902885 140732358902885 140732358905794 0
/proc/13686/statm: 222242 216008 617 181 0 215859 0
Current children cumulated CPU time: 222.23 s
Current children cumulated vsize: 888968 KiB
Current children cumulated memory: 864032 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.06 2.07 3/205 13716
/proc/meminfo: memFree=29248976/32770624 swapFree=67008592/67108860
[pid=13686] ppid=13683 vsize=1038648 memory=1013896 CPUtime=282.2 cores=1,3,5,7
/proc/13686/stat : 13686 (nacre_mini_rele) R 13683 13686 11077 0 -1 4202496 527270 0 0 0 28153 67 0 0 20 0 1 0 407564786 1063575552 253474 33554432000 4194304 4935366 140732358895152 140732358892904 4461244 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 15212544 140732358902785 140732358902885 140732358902885 140732358905794 0
/proc/13686/statm: 259662 253474 617 181 0 253279 0
Current children cumulated CPU time: 282.2 s
Current children cumulated vsize: 1038648 KiB
Current children cumulated memory: 1013896 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/204 13720
/proc/meminfo: memFree=29111036/32770624 swapFree=67008592/67108860
[pid=13686] ppid=13683 vsize=1174388 memory=1149720 CPUtime=342.18 cores=1,3,5,7
/proc/13686/stat : 13686 (nacre_mini_rele) R 13683 13686 11077 0 -1 4202496 626732 0 0 0 34139 79 0 0 20 0 1 0 407564786 1202573312 287430 33554432000 4194304 4935366 140732358895152 140732358892840 4461073 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 15212544 140732358902785 140732358902885 140732358902885 140732358905794 0
/proc/13686/statm: 293597 287430 617 181 0 287214 0
Current children cumulated CPU time: 342.18 s
Current children cumulated vsize: 1174388 KiB
Current children cumulated memory: 1149720 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/205 13725
/proc/meminfo: memFree=28990296/32770624 swapFree=67008592/67108860
[pid=13686] ppid=13683 vsize=1280920 memory=1256352 CPUtime=402.16 cores=1,3,5,7
/proc/13686/stat : 13686 (nacre_mini_rele) R 13683 13686 11077 0 -1 4202496 700494 0 0 0 40127 89 0 0 20 0 1 0 407564786 1311662080 314088 33554432000 4194304 4935366 140732358895152 140732358892840 4461250 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 15212544 140732358902785 140732358902885 140732358902885 140732358905794 0
/proc/13686/statm: 320230 314088 617 181 0 313847 0
Current children cumulated CPU time: 402.16 s
Current children cumulated vsize: 1280920 KiB
Current children cumulated memory: 1256352 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/205 13731
/proc/meminfo: memFree=28862712/32770624 swapFree=67008592/67108860
[pid=13686] ppid=13683 vsize=1407904 memory=1383612 CPUtime=462.14 cores=1,3,5,7
/proc/13686/stat : 13686 (nacre_mini_rele) R 13683 13686 11077 0 -1 4202496 797370 0 0 0 46114 100 0 0 20 0 1 0 407564786 1441693696 345903 33554432000 4194304 4935366 140732358895152 140732358892904 4329472 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 15212544 140732358902785 140732358902885 140732358902885 140732358905794 0
/proc/13686/statm: 351976 345903 617 181 0 345593 0
Current children cumulated CPU time: 462.14 s
Current children cumulated vsize: 1407904 KiB
Current children cumulated memory: 1383612 KiB


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

/proc/13686/statm: 708632 702711 617 181 0 702249 0
Current children cumulated CPU time: 1601.83 s
Current children cumulated vsize: 2834528 KiB
Current children cumulated memory: 2810844 KiB

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/205 13901
/proc/meminfo: memFree=25115620/32770624 swapFree=67008596/67108860
[pid=13686] ppid=13683 vsize=2903668 memory=2880264 CPUtime=1661.81 cores=1,3,5,7
/proc/13686/stat : 13686 (nacre_mini_rele) R 13683 13686 11077 0 -1 4202496 2248109 0 0 0 165901 280 0 0 20 0 1 0 407564786 2973356032 720066 33554432000 4194304 4935366 140732358895152 140732358892840 4461244 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 15212544 140732358902785 140732358902885 140732358902885 140732358905794 0
/proc/13686/statm: 725917 720066 617 181 0 719534 0
Current children cumulated CPU time: 1661.81 s
Current children cumulated vsize: 2903668 KiB
Current children cumulated memory: 2880264 KiB

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/204 13907
/proc/meminfo: memFree=24975748/32770624 swapFree=67008596/67108860
[pid=13686] ppid=13683 vsize=2966068 memory=2942728 CPUtime=1721.79 cores=1,3,5,7
/proc/13686/stat : 13686 (nacre_mini_rele) R 13683 13686 11077 0 -1 4202496 2282782 0 0 0 171893 286 0 0 20 0 1 0 407564786 3037253632 735682 33554432000 4194304 4935366 140732358895152 140732358892904 140101945810809 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 15212544 140732358902785 140732358902885 140732358902885 140732358905794 0
/proc/13686/statm: 741517 735682 617 181 0 735134 0
Current children cumulated CPU time: 1721.79 s
Current children cumulated vsize: 2966068 KiB
Current children cumulated memory: 2942728 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 13913
/proc/meminfo: memFree=24785140/32770624 swapFree=67008604/67108860
[pid=13686] ppid=13683 vsize=3015180 memory=2991752 CPUtime=1781.78 cores=1,3,5,7
/proc/13686/stat : 13686 (nacre_mini_rele) R 13683 13686 11077 0 -1 4202496 2316133 0 0 0 177887 291 0 0 20 0 1 0 407564786 3087544320 747938 33554432000 4194304 4935366 140732358895152 140732358892840 4461244 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 15212544 140732358902785 140732358902885 140732358902885 140732358905794 0
/proc/13686/statm: 753795 747938 617 181 0 747412 0
Current children cumulated CPU time: 1781.78 s
Current children cumulated vsize: 3015180 KiB
Current children cumulated memory: 2991752 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 13917
/proc/meminfo: memFree=24649348/32770624 swapFree=67008604/67108860
[pid=13686] ppid=13683 vsize=3058712 memory=3035284 CPUtime=1841.76 cores=1,3,5,7
/proc/13686/stat : 13686 (nacre_mini_rele) R 13683 13686 11077 0 -1 4202496 2343422 0 0 0 183881 295 0 0 20 0 1 0 407564786 3132121088 758821 33554432000 4194304 4935366 140732358895152 140732358892904 140101945794350 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 15212544 140732358902785 140732358902885 140732358902885 140732358905794 0
/proc/13686/statm: 764678 758821 617 181 0 758295 0
Current children cumulated CPU time: 1841.76 s
Current children cumulated vsize: 3058712 KiB
Current children cumulated memory: 3035284 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 13923
/proc/meminfo: memFree=24544856/32770624 swapFree=67008604/67108860
[pid=13686] ppid=13683 vsize=3127020 memory=3103552 CPUtime=1901.75 cores=1,3,5,7
/proc/13686/stat : 13686 (nacre_mini_rele) R 13683 13686 11077 0 -1 4202496 2369662 0 0 0 189874 301 0 0 20 0 1 0 407564786 3202068480 775888 33554432000 4194304 4935366 140732358895152 140732358892904 4461244 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 15212544 140732358902785 140732358902885 140732358902885 140732358905794 0
/proc/13686/statm: 781755 775888 617 181 0 775372 0
Current children cumulated CPU time: 1901.75 s
Current children cumulated vsize: 3127020 KiB
Current children cumulated memory: 3103552 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/206 13930
/proc/meminfo: memFree=24424424/32770624 swapFree=67008604/67108860
[pid=13686] ppid=13683 vsize=3174996 memory=3151784 CPUtime=1961.74 cores=1,3,5,7
/proc/13686/stat : 13686 (nacre_mini_rele) R 13683 13686 11077 0 -1 4202496 2386774 0 0 0 195868 306 0 0 20 0 1 0 407564786 3251195904 787946 33554432000 4194304 4935366 140732358895152 140732358892904 4461244 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 15212544 140732358902785 140732358902885 140732358902885 140732358905794 0
/proc/13686/statm: 793749 787946 617 181 0 787366 0
Current children cumulated CPU time: 1961.74 s
Current children cumulated vsize: 3174996 KiB
Current children cumulated memory: 3151784 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/206 13934
/proc/meminfo: memFree=24285952/32770624 swapFree=67008604/67108860
[pid=13686] ppid=13683 vsize=3239804 memory=3214020 CPUtime=2021.73 cores=1,3,5,7
/proc/13686/stat : 13686 (nacre_mini_rele) R 13683 13686 11077 0 -1 4202496 2406559 0 0 0 201863 310 0 0 20 0 1 0 407564786 3317559296 803505 33554432000 4194304 4935366 140732358895152 140732358892840 4461252 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 15212544 140732358902785 140732358902885 140732358902885 140732358905794 0
/proc/13686/statm: 809951 803505 617 181 0 803568 0
Current children cumulated CPU time: 2021.73 s
Current children cumulated vsize: 3239804 KiB
Current children cumulated memory: 3214020 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/206 13946
/proc/meminfo: memFree=24145164/32770624 swapFree=67008608/67108860
[pid=13686] ppid=13683 vsize=3292664 memory=3266880 CPUtime=2081.72 cores=1,3,5,7
/proc/13686/stat : 13686 (nacre_mini_rele) R 13683 13686 11077 0 -1 4202496 2429855 0 0 0 207859 313 0 0 20 0 1 0 407564786 3371687936 816720 33554432000 4194304 4935366 140732358895152 140732358892840 4461247 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 15212544 140732358902785 140732358902885 140732358902885 140732358905794 0
/proc/13686/statm: 823166 816720 617 181 0 816783 0
Current children cumulated CPU time: 2081.72 s
Current children cumulated vsize: 3292664 KiB
Current children cumulated memory: 3266880 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/206 13970
/proc/meminfo: memFree=23963196/32770624 swapFree=67008616/67108860
[pid=13686] ppid=13683 vsize=3356884 memory=3331036 CPUtime=2141.72 cores=1,3,5,7
/proc/13686/stat : 13686 (nacre_mini_rele) R 13683 13686 11077 0 -1 4202496 2462051 0 0 0 213854 318 0 0 20 0 1 0 407564786 3437449216 832759 33554432000 4194304 4935366 140732358895152 140732358892840 4461247 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 15212544 140732358902785 140732358902885 140732358902885 140732358905794 0
/proc/13686/statm: 839221 832759 617 181 0 832838 0
Current children cumulated CPU time: 2141.72 s
Current children cumulated vsize: 3356884 KiB
Current children cumulated memory: 3331036 KiB

[startup+2202.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/206 13974
/proc/meminfo: memFree=23794708/32770624 swapFree=67008616/67108860
[pid=13686] ppid=13683 vsize=3403080 memory=3377264 CPUtime=2201.72 cores=1,3,5,7
/proc/13686/stat : 13686 (nacre_mini_rele) R 13683 13686 11077 0 -1 4202496 2490966 0 0 0 219848 324 0 0 20 0 1 0 407564786 3484753920 844316 33554432000 4194304 4935366 140732358895152 140732358892840 4461250 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 15212544 140732358902785 140732358902885 140732358902885 140732358905794 0
/proc/13686/statm: 850770 844316 617 181 0 844387 0
Current children cumulated CPU time: 2201.72 s
Current children cumulated vsize: 3403080 KiB
Current children cumulated memory: 3377264 KiB

[startup+2262.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/204 13981
/proc/meminfo: memFree=23673264/32770624 swapFree=67008616/67108860
[pid=13686] ppid=13683 vsize=3456460 memory=3430628 CPUtime=2261.71 cores=1,3,5,7
/proc/13686/stat : 13686 (nacre_mini_rele) R 13683 13686 11077 0 -1 4202496 2527986 0 0 0 225842 329 0 0 20 0 1 0 407564786 3539415040 857657 33554432000 4194304 4935366 140732358895152 140732358892904 4407318 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 15212544 140732358902785 140732358902885 140732358902885 140732358905794 0
/proc/13686/statm: 864115 857657 617 181 0 857732 0
Current children cumulated CPU time: 2261.71 s
Current children cumulated vsize: 3456460 KiB
Current children cumulated memory: 3430628 KiB

[startup+2322.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/205 13986
/proc/meminfo: memFree=23588796/32770624 swapFree=67008616/67108860
[pid=13686] ppid=13683 vsize=3511292 memory=3485536 CPUtime=2321.7 cores=1,3,5,7
/proc/13686/stat : 13686 (nacre_mini_rele) R 13683 13686 11077 0 -1 4202496 2567731 0 0 0 231836 334 0 0 20 0 1 0 407564786 3595563008 871384 33554432000 4194304 4935366 140732358895152 140732358892904 4461247 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 15212544 140732358902785 140732358902885 140732358902885 140732358905794 0
/proc/13686/statm: 877823 871384 617 181 0 871440 0
Current children cumulated CPU time: 2321.7 s
Current children cumulated vsize: 3511292 KiB
Current children cumulated memory: 3485536 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 13990
/proc/meminfo: memFree=23505456/32770624 swapFree=67008616/67108860
[pid=13686] ppid=13683 vsize=3560628 memory=3534856 CPUtime=2381.7 cores=1,3,5,7
/proc/13686/stat : 13686 (nacre_mini_rele) R 13683 13686 11077 0 -1 4202496 2612232 0 0 0 237830 340 0 0 20 0 1 0 407564786 3646083072 883714 33554432000 4194304 4935366 140732358895152 140732358892904 140101945799280 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 15212544 140732358902785 140732358902885 140732358902885 140732358905794 0
/proc/13686/statm: 890157 883714 617 181 0 883774 0
Current children cumulated CPU time: 2381.7 s
Current children cumulated vsize: 3560628 KiB
Current children cumulated memory: 3534856 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 13993
/proc/meminfo: memFree=23484496/32770624 swapFree=67008616/67108860
[pid=13686] ppid=13683 vsize=3581056 memory=3555296 CPUtime=2400 cores=1,3,5,7
/proc/13686/stat : 13686 (nacre_mini_rele) R 13683 13686 11077 0 -1 4202496 2629789 0 0 0 239658 342 0 0 20 0 1 0 407564786 3667001344 888824 33554432000 4194304 4935366 140732358895152 140732358892840 4461250 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 15212544 140732358902785 140732358902885 140732358902885 140732358905794 0
/proc/13686/statm: 895264 888824 617 181 0 888881 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 3581056 KiB
Current children cumulated memory: 3555296 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2400.63 s]
# the end of solver process 13686 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2396.59 s, system=3.46067 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 0
Real time (s): 2400.63
CPU time (s): 2400.05
CPU user time (s): 2396.59
CPU system time (s): 3.46067
CPU usage (%): 99.9755
Max. virtual memory (cumulated for all children) (KiB): 3581056
Max. memory (cumulated for all children) (KiB): 3555296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.59
system time used= 3.46067
maximum resident set size= 3555368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2629833
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= 842
involuntary context switches= 1761


# summary of solver processes directly reported to runsolver:
#   pid: 13686
#   total CPU time (s): 2400.05
#   total CPU user time (s): 2396.59
#   total CPU system time (s): 3.46067

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.87378 second user time and 18.6607 second system time

The end

Launcher Data 

Begin job on node132 at 2019-09-12 21:26:11
IDJOB=4391552
IDBENCH=134684
IDSOLVER=2834
FILE ID=node132/4391552-1568316421
RUNJOBID= node132-1568304897-11109
PBS_JOBID= 21701117
Free space on /tmp= 60304 MiB

SOLVER NAME= NACRE 1.0.5-Hybrid
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-fpga/Pb-chnl40-50.xml
COMMAND LINE= nacre_mini_release BENCHNAME -ca -l100 -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391552-1568316421/watcher-4391552-1568316421 -o /tmp/evaluation-result-4391552-1568316421/solver-4391552-1568316421 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1568304897-11109 --watchdog 2560  nacre_mini_release HOME/instance-4391552-1568316421.xml -ca -l100 -cm

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

MD5SUM BENCH= 6fc9298037ec0e80b4c0d0dc3fa4715e
RANDOM SEED=876644265

node132.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.95
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm 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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.95
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm 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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.95
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm 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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.95
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm 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:       32770624 kB
MemFree:        30278496 kB
MemAvailable:   31622844 kB
Buffers:          115936 kB
Cached:          1499172 kB
SwapCached:         8716 kB
Active:           599220 kB
Inactive:        1314228 kB
Active(anon):     298304 kB
Inactive(anon):    26968 kB
Active(file):     300916 kB
Inactive(file):  1287260 kB
Unevictable:      110200 kB
Mlocked:          110200 kB
SwapTotal:      67108860 kB
SwapFree:       67008576 kB
Dirty:               812 kB
Writeback:             0 kB
AnonPages:        401700 kB
Mapped:            30984 kB
Shmem:             18444 kB
Slab:             172900 kB
SReclaimable:     144016 kB
SUnreclaim:        28884 kB
KernelStack:        3600 kB
PageTables:         6324 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     795260 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    325632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      136576 kB
DirectMap2M:    33409024 kB

Free space on /tmp at the end= 60304 MiB
End job on node132 at 2019-09-12 22:06:12