Trace number 4298767

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.4? (TO) 2520.03 2520.2

General information on the benchmark

NamePseudoBoolean-dec/
Pb-robin16_c18.xml
MD5SUM5947b7d603c6960c1f689b2eabbe33a0
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 variables14400
Number of constraints1088
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":14400}]
Minimum variable degree10
Maximum variable degree10
Distribution of variable degrees[{"degree":10,"count":14400}]
Minimum constraint arity120
Maximum constraint arity225
Distribution of constraint arities[{"arity":120,"count":960},{"arity":225,"count":128}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":1088}]
Optimization problemNO
Type of objective

Solver Data 

0.21/0.27	c NACRE 1.0.4
2519.83/2520.01	c
2519.83/2520.01	c # time = 2519.83
2519.83/2520.01	c # Dec = 2298259
2519.83/2520.01	c # Propagate Calls = 242871325
2519.83/2520.01	c # assignAt Calls = 3779018
2519.83/2520.01	c # removeAt Calls = 112718183
2519.83/2520.01	c # Run = 701
2519.83/2520.01	c # Conflicts = 292897
2519.83/2520.01	c # Memory used = 3611.33 Mb
2519.83/2520.01	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 (10676 MiB free)
  memory of node 1: 16384 MiB (12639 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298767-1532779097/watcher-4298767-1532779097 -o /tmp/evaluation-result-4298767-1532779097/solver-4298767-1532779097 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532774055-27429 --watchdog 2580 nacre_mini_release HOME/instance-4298767-1532779097.xml -ca -l100 -cm 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=27879, runsolver pid=27876

[startup+0.100215 s]*
/proc/loadavg: 2.00 2.01 1.98 3/186 27880
/proc/meminfo: memFree=23855040/32770624 swapFree=67108860/67108860
[pid=27879] ppid=27876 vsize=46632 memory=22944 CPUtime=0.09 cores=0,2,4,6
/proc/27879/stat : 27879 (nacre_mini_rele) R 27876 27879 27398 0 -1 4202496 6240 0 0 0 9 0 0 0 20 0 1 0 95472844 47751168 5736 33554432000 4194304 4933779 140736359014624 140736359011624 140250157104101 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7034520 7039168 15622144 140736359019672 140736359019772 140736359019772 140736359022530 0
/proc/27879/statm: 11658 5736 578 181 0 5275 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 46632 KiB
Current children cumulated memory: 22944 KiB

[startup+0.209559 s]*
/proc/loadavg: 2.00 2.01 1.98 3/186 27880
/proc/meminfo: memFree=23852436/32770624 swapFree=67108860/67108860
[pid=27879] ppid=27876 vsize=47424 memory=23736 CPUtime=0.21 cores=0,2,4,6
/proc/27879/stat : 27879 (nacre_mini_rele) R 27876 27879 27398 0 -1 4202496 6432 0 0 0 20 1 0 0 20 0 1 0 95472844 48562176 5934 33554432000 4194304 4933779 140736359014624 140736359011624 140250157150264 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7034520 7039168 15622144 140736359019672 140736359019772 140736359019772 140736359022530 0
/proc/27879/statm: 11856 5934 580 181 0 5473 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 47424 KiB
Current children cumulated memory: 23736 KiB

[startup+0.30935 s]*
/proc/loadavg: 2.00 2.01 1.98 3/186 27880
/proc/meminfo: memFree=23847912/32770624 swapFree=67108860/67108860
[pid=27879] ppid=27876 vsize=50968 memory=27432 CPUtime=0.31 cores=0,2,4,6
/proc/27879/stat : 27879 (nacre_mini_rele) R 27876 27879 27398 0 -1 4202496 7315 0 0 0 30 1 0 0 20 0 1 0 95472844 52191232 6858 33554432000 4194304 4933779 140736359014624 140736359012200 140250157965720 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 15622144 140736359019672 140736359019772 140736359019772 140736359022530 0
/proc/27879/statm: 12742 6858 596 181 0 6359 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 50968 KiB
Current children cumulated memory: 27432 KiB

[startup+0.700428 s]
/proc/loadavg: 2.00 2.01 1.98 3/186 27880
/proc/meminfo: memFree=23846844/32770624 swapFree=67108860/67108860
[pid=27879] ppid=27876 vsize=50968 memory=27432 CPUtime=0.69 cores=0,2,4,6
/proc/27879/stat : 27879 (nacre_mini_rele) R 27876 27879 27398 0 -1 4202496 7348 0 0 0 68 1 0 0 20 0 1 0 95472844 52191232 6858 33554432000 4194304 4933779 140736359014624 140736359012200 4447741 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 15622144 140736359019672 140736359019772 140736359019772 140736359022530 0
/proc/27879/statm: 12742 6858 596 181 0 6359 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 50968 KiB
Current children cumulated memory: 27432 KiB

[startup+1.50044 s]
/proc/loadavg: 2.00 2.01 1.98 3/186 27880
/proc/meminfo: memFree=23843124/32770624 swapFree=67108860/67108860
[pid=27879] ppid=27876 vsize=51368 memory=27960 CPUtime=1.49 cores=0,2,4,6
/proc/27879/stat : 27879 (nacre_mini_rele) R 27876 27879 27398 0 -1 4202496 7449 0 0 0 148 1 0 0 20 0 1 0 95472844 52600832 6990 33554432000 4194304 4933779 140736359014624 140736359012200 4447781 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 15622144 140736359019672 140736359019772 140736359019772 140736359022530 0
/proc/27879/statm: 12842 6990 613 181 0 6459 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 51368 KiB
Current children cumulated memory: 27960 KiB

[startup+3.10958 s]
/proc/loadavg: 2.00 2.01 1.98 3/186 27880
/proc/meminfo: memFree=23824180/32770624 swapFree=67108860/67108860
[pid=27879] ppid=27876 vsize=52704 memory=29120 CPUtime=3.1 cores=0,2,4,6
/proc/27879/stat : 27879 (nacre_mini_rele) R 27876 27879 27398 0 -1 4202496 13506 0 0 0 309 1 0 0 20 0 1 0 95472844 53968896 7280 33554432000 4194304 4933779 140736359014624 140736359012200 4447741 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 15622144 140736359019672 140736359019772 140736359019772 140736359022530 0
/proc/27879/statm: 13176 7280 613 181 0 6793 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 52704 KiB
Current children cumulated memory: 29120 KiB

[startup+6.30043 s]
/proc/loadavg: 2.00 2.01 1.98 3/186 27880
/proc/meminfo: memFree=23801424/32770624 swapFree=67108860/67108860
[pid=27879] ppid=27876 vsize=58448 memory=34976 CPUtime=6.29 cores=0,2,4,6
/proc/27879/stat : 27879 (nacre_mini_rele) R 27876 27879 27398 0 -1 4202496 21009 0 0 0 627 2 0 0 20 0 1 0 95472844 59850752 8744 33554432000 4194304 4933779 140736359014624 140736359012312 4392100 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 15622144 140736359019672 140736359019772 140736359019772 140736359022530 0
/proc/27879/statm: 14612 8744 613 181 0 8229 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 58448 KiB
Current children cumulated memory: 34976 KiB

[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 1.98 3/186 27880
/proc/meminfo: memFree=23721720/32770624 swapFree=67108860/67108860
[pid=27879] ppid=27876 vsize=85604 memory=61972 CPUtime=12.69 cores=0,2,4,6
/proc/27879/stat : 27879 (nacre_mini_rele) R 27876 27879 27398 0 -1 4202496 34543 0 0 0 1265 4 0 0 20 0 1 0 95472844 87658496 15493 33554432000 4194304 4933779 140736359014624 140736359012312 4447745 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 15622144 140736359019672 140736359019772 140736359019772 140736359022530 0
/proc/27879/statm: 21401 15493 613 181 0 15018 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 85604 KiB
Current children cumulated memory: 61972 KiB

[startup+25.5005 s]
/proc/loadavg: 2.00 2.01 1.98 3/186 27880
/proc/meminfo: memFree=23550776/32770624 swapFree=67108860/67108860
[pid=27879] ppid=27876 vsize=106668 memory=83088 CPUtime=25.49 cores=0,2,4,6
/proc/27879/stat : 27879 (nacre_mini_rele) R 27876 27879 27398 0 -1 4202496 57757 0 0 0 2543 6 0 0 20 0 1 0 95472844 109228032 20772 33554432000 4194304 4933779 140736359014624 140736359012376 4447741 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 15622144 140736359019672 140736359019772 140736359019772 140736359022530 0
/proc/27879/statm: 26667 20772 613 181 0 20284 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 106668 KiB
Current children cumulated memory: 83088 KiB

[startup+51.1097 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 27881
/proc/meminfo: memFree=23291684/32770624 swapFree=67108860/67108860
[pid=27879] ppid=27876 vsize=181376 memory=157660 CPUtime=51.1 cores=0,2,4,6
/proc/27879/stat : 27879 (nacre_mini_rele) R 27876 27879 27398 0 -1 4202496 90431 0 0 0 5098 12 0 0 20 0 1 0 95472844 185729024 39415 33554432000 4194304 4933779 140736359014624 140736359012312 4391871 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 15622144 140736359019672 140736359019772 140736359019772 140736359022530 0
/proc/27879/statm: 45344 39415 613 181 0 38961 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 181376 KiB
Current children cumulated memory: 157660 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 27882
/proc/meminfo: memFree=22939812/32770624 swapFree=67108860/67108860
[pid=27879] ppid=27876 vsize=299424 memory=275972 CPUtime=102.29 cores=0,2,4,6
/proc/27879/stat : 27879 (nacre_mini_rele) R 27876 27879 27398 0 -1 4202496 145519 0 0 0 10207 22 0 0 20 0 1 0 95472844 306610176 68993 33554432000 4194304 4933779 140736359014624 140736359012312 4391968 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 15622144 140736359019672 140736359019772 140736359019772 140736359022530 0
/proc/27879/statm: 74856 68993 613 181 0 68473 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 299424 KiB
Current children cumulated memory: 275972 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 27890
/proc/meminfo: memFree=22618432/32770624 swapFree=67108860/67108860
[pid=27879] ppid=27876 vsize=425216 memory=401296 CPUtime=162.29 cores=0,2,4,6
/proc/27879/stat : 27879 (nacre_mini_rele) R 27876 27879 27398 0 -1 4202496 207128 0 0 0 16195 34 0 0 20 0 1 0 95472844 435421184 100324 33554432000 4194304 4933779 140736359014624 140736359012312 140250157959444 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 15622144 140736359019672 140736359019772 140736359019772 140736359022530 0
/proc/27879/statm: 106304 100324 613 181 0 99921 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 425216 KiB
Current children cumulated memory: 401296 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/189 27915
/proc/meminfo: memFree=22270808/32770624 swapFree=67108860/67108860
[pid=27879] ppid=27876 vsize=572528 memory=548568 CPUtime=222.28 cores=0,2,4,6
/proc/27879/stat : 27879 (nacre_mini_rele) R 27876 27879 27398 0 -1 4202496 265226 0 0 0 22184 44 0 0 20 0 1 0 95472844 586268672 137142 33554432000 4194304 4933779 140736359014624 140736359012376 4391883 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 15622144 140736359019672 140736359019772 140736359019772 140736359022530 0
/proc/27879/statm: 143132 137142 613 181 0 136749 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 572528 KiB
Current children cumulated memory: 548568 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/189 27916
/proc/meminfo: memFree=21839856/32770624 swapFree=67108860/67108860
[pid=27879] ppid=27876 vsize=823380 memory=799652 CPUtime=282.28 cores=0,2,4,6
/proc/27879/stat : 27879 (nacre_mini_rele) R 27876 27879 27398 0 -1 4202496 373681 0 0 0 28170 58 0 0 20 0 1 0 95472844 843141120 199913 33554432000 4194304 4933779 140736359014624 140736359012312 4475935 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 15622144 140736359019672 140736359019772 140736359019772 140736359022530 0
/proc/27879/statm: 205845 199913 613 181 0 199462 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 823380 KiB
Current children cumulated memory: 799652 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/189 27917
/proc/meminfo: memFree=21543772/32770624 swapFree=67108860/67108860
[pid=27879] ppid=27876 vsize=986164 memory=962472 CPUtime=342.28 cores=0,2,4,6
/proc/27879/stat : 27879 (nacre_mini_rele) R 27876 27879 27398 0 -1 4202496 454205 0 0 0 34159 69 0 0 20 0 1 0 95472844 1009831936 240618 33554432000 4194304 4933779 140736359014624 140736359012312 4392064 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 15622144 140736359019672 140736359019772 140736359019772 140736359022530 0
/proc/27879/statm: 246541 240618 613 181 0 240158 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 986164 KiB
Current children cumulated memory: 962472 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/189 27918
/proc/meminfo: memFree=21313576/32770624 swapFree=67108860/67108860
[pid=27879] ppid=27876 vsize=1096280 memory=1072644 CPUtime=402.28 cores=0,2,4,6
/proc/27879/stat : 27879 (nacre_mini_rele) R 27876 27879 27398 0 -1 4202496 563414 0 0 0 40147 81 0 0 20 0 1 0 95472844 1122590720 268161 33554432000 4194304 4933779 140736359014624 140736359012312 4335097 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 15622144 140736359019672 140736359019772 140736359019772 140736359022530 0
/proc/27879/statm: 274070 268161 613 181 0 267687 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 1096280 KiB
Current children cumulated memory: 1072644 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/189 27919
/proc/meminfo: memFree=21143624/32770624 swapFree=67108860/67108860
[pid=27879] ppid=27876 vsize=1155384 memory=1131636 CPUtime=462.28 cores=0,2,4,6
/proc/27879/stat : 27879 (nacre_mini_rele) R 27876 27879 27398 0 -1 4202496 645699 0 0 0 46140 88 0 0 20 0 1 0 95472844 1183113216 282909 33554432000 4194304 4933779 140736359014624 140736359012376 4391996 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 15622144 140736359019672 140736359019772 140736359019772 140736359022530 0
/proc/27879/statm: 288846 282909 613 181 0 282463 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 1155384 KiB
Current children cumulated memory: 1131636 KiB


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

/proc/meminfo: memFree=18498828/32770624 swapFree=67108860/67108860
[pid=27879] ppid=27876 vsize=2171524 memory=2146460 CPUtime=1782.24 cores=0,2,4,6
/proc/27879/stat : 27879 (nacre_mini_rele) R 27876 27879 27398 0 -1 4202496 3640263 0 0 0 177903 321 0 0 20 0 1 0 95472844 2223640576 536615 33554432000 4194304 4933779 140736359014624 140736359012376 4364888 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 15622144 140736359019672 140736359019772 140736359019772 140736359022530 0
/proc/27879/statm: 542881 536615 613 181 0 536498 0
Current children cumulated CPU time: 1782.24 s
Current children cumulated vsize: 2171524 KiB
Current children cumulated memory: 2146460 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 27958
/proc/meminfo: memFree=18413804/32770624 swapFree=67108860/67108860
[pid=27879] ppid=27876 vsize=2208940 memory=2183936 CPUtime=1842.23 cores=0,2,4,6
/proc/27879/stat : 27879 (nacre_mini_rele) R 27876 27879 27398 0 -1 4202496 3835040 0 0 0 183889 334 0 0 20 0 1 0 95472844 2261954560 545984 33554432000 4194304 4933779 140736359014624 140736359012376 4437570 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 15622144 140736359019672 140736359019772 140736359019772 140736359022530 0
/proc/27879/statm: 552235 545984 613 181 0 545852 0
Current children cumulated CPU time: 1842.23 s
Current children cumulated vsize: 2208940 KiB
Current children cumulated memory: 2183936 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 27959
/proc/meminfo: memFree=18318976/32770624 swapFree=67108860/67108860
[pid=27879] ppid=27876 vsize=2240300 memory=2215292 CPUtime=1902.24 cores=0,2,4,6
/proc/27879/stat : 27879 (nacre_mini_rele) R 27876 27879 27398 0 -1 4202496 4014012 0 0 0 189875 349 0 0 20 0 1 0 95472844 2294067200 553823 33554432000 4194304 4933779 140736359014624 140736359012376 140250163397024 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 15622144 140736359019672 140736359019772 140736359019772 140736359022530 0
/proc/27879/statm: 560075 553823 613 181 0 553692 0
Current children cumulated CPU time: 1902.24 s
Current children cumulated vsize: 2240300 KiB
Current children cumulated memory: 2215292 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/188 27968
/proc/meminfo: memFree=18197652/32770624 swapFree=67108860/67108860
[pid=27879] ppid=27876 vsize=2315688 memory=2290548 CPUtime=1962.24 cores=0,2,4,6
/proc/27879/stat : 27879 (nacre_mini_rele) R 27876 27879 27398 0 -1 4202496 4216024 0 0 0 195859 365 0 0 20 0 1 0 95472844 2371264512 572637 33554432000 4194304 4933779 140736359014624 140736359012312 4362101 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 15622144 140736359019672 140736359019772 140736359019772 140736359022530 0
/proc/27879/statm: 578922 572637 613 181 0 572539 0
Current children cumulated CPU time: 1962.24 s
Current children cumulated vsize: 2315688 KiB
Current children cumulated memory: 2290548 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/188 27969
/proc/meminfo: memFree=17738288/32770624 swapFree=67108860/67108860
[pid=27879] ppid=27876 vsize=2716820 memory=2691492 CPUtime=2022.23 cores=0,2,4,6
/proc/27879/stat : 27879 (nacre_mini_rele) R 27876 27879 27398 0 -1 4202496 4491665 0 0 0 201829 394 0 0 20 0 1 0 95472844 2782023680 672873 33554432000 4194304 4933779 140736359014624 140736359012312 4437564 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 15622144 140736359019672 140736359019772 140736359019772 140736359022530 0
/proc/27879/statm: 679205 672873 613 181 0 672822 0
Current children cumulated CPU time: 2022.23 s
Current children cumulated vsize: 2716820 KiB
Current children cumulated memory: 2691492 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/188 27970
/proc/meminfo: memFree=17435020/32770624 swapFree=67108860/67108860
[pid=27879] ppid=27876 vsize=2971356 memory=2946244 CPUtime=2082.23 cores=0,2,4,6
/proc/27879/stat : 27879 (nacre_mini_rele) R 27876 27879 27398 0 -1 4202496 4710161 0 0 0 207806 417 0 0 20 0 1 0 95472844 3042668544 736561 33554432000 4194304 4933779 140736359014624 140736359012312 140250157959603 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 15622144 140736359019672 140736359019772 140736359019772 140736359022530 0
/proc/27879/statm: 742839 736561 613 181 0 736456 0
Current children cumulated CPU time: 2082.23 s
Current children cumulated vsize: 2971356 KiB
Current children cumulated memory: 2946244 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/188 27971
/proc/meminfo: memFree=17190904/32770624 swapFree=67108860/67108860
[pid=27879] ppid=27876 vsize=3150100 memory=3125052 CPUtime=2142.23 cores=0,2,4,6
/proc/27879/stat : 27879 (nacre_mini_rele) R 27876 27879 27398 0 -1 4202496 4910929 0 0 0 213788 435 0 0 20 0 1 0 95472844 3225702400 781263 33554432000 4194304 4933779 140736359014624 140736359012312 4391883 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 15622144 140736359019672 140736359019772 140736359019772 140736359022530 0
/proc/27879/statm: 787525 781263 613 181 0 781142 0
Current children cumulated CPU time: 2142.23 s
Current children cumulated vsize: 3150100 KiB
Current children cumulated memory: 3125052 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/188 27972
/proc/meminfo: memFree=17006176/32770624 swapFree=67108860/67108860
[pid=27879] ppid=27876 vsize=3290908 memory=3265928 CPUtime=2202.22 cores=0,2,4,6
/proc/27879/stat : 27879 (nacre_mini_rele) R 27876 27879 27398 0 -1 4202496 5144138 0 0 0 219766 456 0 0 20 0 1 0 95472844 3369889792 816482 33554432000 4194304 4933779 140736359014624 140736359012376 4437536 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 15622144 140736359019672 140736359019772 140736359019772 140736359022530 0
/proc/27879/statm: 822727 816482 613 181 0 816344 0
Current children cumulated CPU time: 2202.22 s
Current children cumulated vsize: 3290908 KiB
Current children cumulated memory: 3265928 KiB

[startup+2262.3 s]
/proc/loadavg: 2.04 2.03 1.99 3/187 27973
/proc/meminfo: memFree=16874168/32770624 swapFree=67108860/67108860
[pid=27879] ppid=27876 vsize=3371028 memory=3346132 CPUtime=2262.2 cores=0,2,4,6
/proc/27879/stat : 27879 (nacre_mini_rele) R 27876 27879 27398 0 -1 4202496 5338420 0 0 0 225746 474 0 0 20 0 1 0 95472844 3451932672 836533 33554432000 4194304 4933779 140736359014624 140736359012312 4447741 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 15622144 140736359019672 140736359019772 140736359019772 140736359022530 0
/proc/27879/statm: 842757 836533 613 181 0 836374 0
Current children cumulated CPU time: 2262.2 s
Current children cumulated vsize: 3371028 KiB
Current children cumulated memory: 3346132 KiB

[startup+2322.3 s]
/proc/loadavg: 2.02 2.02 1.99 3/187 27974
/proc/meminfo: memFree=16739652/32770624 swapFree=67108860/67108860
[pid=27879] ppid=27876 vsize=3455736 memory=3430768 CPUtime=2322.18 cores=0,2,4,6
/proc/27879/stat : 27879 (nacre_mini_rele) R 27876 27879 27398 0 -1 4202496 5542877 0 0 0 231727 491 0 0 20 0 1 0 95472844 3538673664 857692 33554432000 4194304 4933779 140736359014624 140736359012376 4437536 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 15622144 140736359019672 140736359019772 140736359019772 140736359022530 0
/proc/27879/statm: 863934 857692 613 181 0 857551 0
Current children cumulated CPU time: 2322.18 s
Current children cumulated vsize: 3455736 KiB
Current children cumulated memory: 3430768 KiB

[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 1.99 3/187 27975
/proc/meminfo: memFree=16534960/32770624 swapFree=67108860/67108860
[pid=27879] ppid=27876 vsize=3616156 memory=3591248 CPUtime=2382.16 cores=0,2,4,6
/proc/27879/stat : 27879 (nacre_mini_rele) R 27876 27879 27398 0 -1 4202496 5767341 0 0 0 237704 512 0 0 20 0 1 0 95472844 3702943744 897812 33554432000 4194304 4933779 140736359014624 140736359012376 4391887 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 15622144 140736359019672 140736359019772 140736359019772 140736359022530 0
/proc/27879/statm: 904039 897812 613 181 0 897656 0
Current children cumulated CPU time: 2382.16 s
Current children cumulated vsize: 3616156 KiB
Current children cumulated memory: 3591248 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/187 27976
/proc/meminfo: memFree=16466792/32770624 swapFree=67108860/67108860
[pid=27879] ppid=27876 vsize=3635888 memory=3610948 CPUtime=2442.15 cores=0,2,4,6
/proc/27879/stat : 27879 (nacre_mini_rele) R 27876 27879 27398 0 -1 4202496 5950431 0 0 0 243689 526 0 0 20 0 1 0 95472844 3723149312 902737 33554432000 4194304 4933779 140736359014624 140736359012312 4475561 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 15622144 140736359019672 140736359019772 140736359019772 140736359022530 0
/proc/27879/statm: 908972 902737 613 181 0 902589 0
Current children cumulated CPU time: 2442.15 s
Current children cumulated vsize: 3635888 KiB
Current children cumulated memory: 3610948 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/187 27977
/proc/meminfo: memFree=16425772/32770624 swapFree=67108860/67108860
[pid=27879] ppid=27876 vsize=3635888 memory=3610996 CPUtime=2502.13 cores=0,2,4,6
/proc/27879/stat : 27879 (nacre_mini_rele) R 27876 27879 27398 0 -1 4202496 6126390 0 0 0 249675 538 0 0 20 0 1 0 95472844 3723149312 902749 33554432000 4194304 4933779 140736359014624 140736359012376 4447741 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 15622144 140736359019672 140736359019772 140736359019772 140736359022530 0
/proc/27879/statm: 908972 902749 613 181 0 902589 0
Current children cumulated CPU time: 2502.13 s
Current children cumulated vsize: 3635888 KiB
Current children cumulated memory: 3610996 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 1.99 4/202 28015
/proc/meminfo: memFree=20246352/32770624 swapFree=67108860/67108860
[pid=27879] ppid=27876 vsize=3636160 memory=3611320 CPUtime=2519.83 cores=0,2,4,6
/proc/27879/stat : 27879 (nacre_mini_rele) R 27876 27879 27398 0 -1 4202496 6194915 0 0 0 251442 541 0 0 20 0 1 0 95472844 3723427840 902830 33554432000 4194304 4933779 140736359014624 140736359012376 4392000 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 15622144 140736359019672 140736359019772 140736359019772 140736359022530 0
/proc/27879/statm: 909040 902830 613 181 0 902657 0
Current children cumulated CPU time: 2519.83 s
Current children cumulated vsize: 3636160 KiB
Current children cumulated memory: 3611320 KiB

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

[startup+2520.2 s]
# the end of solver process 27879 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2514.43 s, system=5.60279 s

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

[startup+2520.11 s]*
/proc/loadavg: 2.00 2.01 1.99 3/184 28025
/proc/meminfo: memFree=22438824/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0
Real time (s): 2520.2
CPU time (s): 2520.03
CPU user time (s): 2514.43
CPU system time (s): 5.60279
CPU usage (%): 99.9934
Max. virtual memory (cumulated for all children) (KiB): 3636160
Max. memory (cumulated for all children) (KiB): 3611320

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.43
system time used= 5.60279
maximum resident set size= 3611376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6194961
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= 132
involuntary context switches= 776


# summary of solver processes directly reported to runsolver:
#   pid: 27879
#   total CPU time (s): 2520.03
#   total CPU user time (s): 2514.43
#   total CPU system time (s): 5.60279

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.6519 second user time and 15.2967 second system time

The end

Launcher Data 

Begin job on node139 at 2018-07-28 13:58:17
IDJOB=4298767
IDBENCH=141231
IDSOLVER=2764
FILE ID=node139/4298767-1532779097
RUNJOBID= node139-1532774055-27429
PBS_JOBID= 21022456
Free space on /tmp= 38716 MiB

SOLVER NAME= NACRE 1.0.4
BENCH NAME= XCSP18/PseudoBoolean-dec/Pb-robin16_c18.xml
COMMAND LINE= nacre_mini_release BENCHNAME -ca -l100 -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4298767-1532779097/watcher-4298767-1532779097 -o /tmp/evaluation-result-4298767-1532779097/solver-4298767-1532779097 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532774055-27429 --watchdog 2580  nacre_mini_release HOME/instance-4298767-1532779097.xml -ca -l100 -cm

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

MD5SUM BENCH= 5947b7d603c6960c1f689b2eabbe33a0
RANDOM SEED=698989834

node139.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.80
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.80
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.80
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.80
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:        23876944 kB
MemAvailable:   31922676 kB
Buffers:          236044 kB
Cached:          7909308 kB
SwapCached:            0 kB
Active:          3080336 kB
Inactive:        5125948 kB
Active(anon):      15468 kB
Inactive(anon):    73552 kB
Active(file):    3064868 kB
Inactive(file):  5052396 kB
Unevictable:        7312 kB
Mlocked:            7312 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2624 kB
Writeback:             4 kB
AnonPages:         68348 kB
Mapped:            44420 kB
Shmem:             25228 kB
Slab:             384928 kB
SReclaimable:     356928 kB
SUnreclaim:        28000 kB
KernelStack:        3264 kB
PageTables:         4988 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     361472 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 38716 MiB
End job on node139 at 2018-07-28 14:40:17