Trace number 4293695

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PicatSAT 2018-06-15? (TO) 2519.85 2520.01

General information on the benchmark

NameSumColoring/
SumColoring-dsjc-125-9_c18.xml
MD5SUMfde90c264558af66570e1c8b29991738
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2523
Best CPU time to get the best result obtained on this benchmark2520.1
Satisfiable
(Un)Satisfiability was proved
Number of variables125
Number of constraints6961
Number of domains1
Minimum domain size125
Maximum domain size125
Distribution of domain sizes[{"size":125,"count":125}]
Minimum variable degree104
Maximum variable degree121
Distribution of variable degrees[{"degree":104,"count":2},{"degree":105,"count":1},{"degree":106,"count":1},{"degree":107,"count":3},{"degree":108,"count":8},{"degree":109,"count":10},{"degree":110,"count":9},{"degree":111,"count":16},{"degree":112,"count":13},{"degree":113,"count":18},{"degree":114,"count":11},{"degree":115,"count":8},{"degree":116,"count":12},{"degree":117,"count":7},{"degree":118,"count":4},{"degree":119,"count":1},{"degree":121,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":6961}]
Number of extensional constraints0
Number of intensional constraints6961
Distribution of constraint types[{"type":"intension","count":6961}]
Optimization problemYES
Type of objectivemin SUM

Solver Data


Verifier Data 

One s line expected

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 (15032 MiB free)
  memory of node 1: 16384 MiB (11746 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293695-1532326978/watcher-4293695-1532326978 -o /tmp/evaluation-result-4293695-1532326978/solver-4293695-1532326978 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532294350-7318 --watchdog 2580 xcsp_picat HOME/instance-4293695-1532326978.xml 

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
solver pid=11394, runsolver pid=11391
Current StackSize limit: 8192 KiB


[startup+0.100143 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 11395
/proc/meminfo: memFree=27399040/32770624 swapFree=67108860/67108860
[pid=11394] ppid=11391 vsize=135512 memory=28432 CPUtime=0.1 cores=0,2,4,6
/proc/11394/stat : 11394 (xcsp_picat) R 11391 11394 7287 0 -1 4202496 3860 0 0 0 10 0 0 0 20 0 1 0 50260974 138764288 7108 33554432000 4194304 5849740 140723136079360 140723136079360 5300070 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46706688 140723136083126 140723136083204 140723136083204 140723136085962 0
/proc/11394/statm: 33878 7108 654 405 0 30822 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 135512 KiB
Current children cumulated memory: 28432 KiB

[startup+0.209786 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 11395
/proc/meminfo: memFree=27387196/32770624 swapFree=67108860/67108860
[pid=11394] ppid=11391 vsize=143716 memory=36808 CPUtime=0.21 cores=0,2,4,6
/proc/11394/stat : 11394 (xcsp_picat) R 11391 11394 7287 0 -1 4202496 6451 0 0 0 21 0 0 0 20 0 1 0 50260974 147165184 9202 33554432000 4194304 5849740 140723136079360 140723136079360 5371026 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46706688 140723136083126 140723136083204 140723136083204 140723136085962 0
/proc/11394/statm: 35929 9202 669 405 0 32873 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 143716 KiB
Current children cumulated memory: 36808 KiB

[startup+0.30968 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 11395
/proc/meminfo: memFree=27387196/32770624 swapFree=67108860/67108860
[pid=11394] ppid=11391 vsize=151908 memory=40320 CPUtime=0.3 cores=0,2,4,6
/proc/11394/stat : 11394 (xcsp_picat) R 11391 11394 7287 0 -1 4202496 6796 0 0 0 30 0 0 0 20 0 1 0 50260974 155553792 10080 33554432000 4194304 5849740 140723136079360 140723136079360 140151396296608 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46706688 140723136083126 140723136083204 140723136083204 140723136085962 0
/proc/11394/statm: 37977 10080 671 405 0 34921 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 151908 KiB
Current children cumulated memory: 40320 KiB

[startup+0.700374 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11395
/proc/meminfo: memFree=27375780/32770624 swapFree=67108860/67108860
[pid=11394] ppid=11391 vsize=155652 memory=48480 CPUtime=0.69 cores=0,2,4,6
/proc/11394/stat : 11394 (xcsp_picat) R 11391 11394 7287 0 -1 4202496 8110 0 0 0 68 1 0 0 20 0 1 0 50260974 159387648 12120 33554432000 4194304 5849740 140723136079360 140723136079360 5332933 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46706688 140723136083126 140723136083204 140723136083204 140723136085962 0
/proc/11394/statm: 38913 12120 675 405 0 35857 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 155652 KiB
Current children cumulated memory: 48480 KiB

[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11395
/proc/meminfo: memFree=27372276/32770624 swapFree=67108860/67108860
[pid=11394] ppid=11391 vsize=160816 memory=51932 CPUtime=1.49 cores=0,2,4,6
/proc/11394/stat : 11394 (xcsp_picat) R 11391 11394 7287 0 -1 4202496 8952 0 0 0 148 1 0 0 20 0 1 0 50260974 164675584 12983 33554432000 4194304 5849740 140723136079360 140723136076360 5306317 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46706688 140723136083126 140723136083204 140723136083204 140723136085962 0
/proc/11394/statm: 40204 12983 680 405 0 37148 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 160816 KiB
Current children cumulated memory: 51932 KiB

[startup+3.10943 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11395
/proc/meminfo: memFree=27367376/32770624 swapFree=67108860/67108860
[pid=11394] ppid=11391 vsize=160816 memory=52048 CPUtime=3.1 cores=0,2,4,6
/proc/11394/stat : 11394 (xcsp_picat) R 11391 11394 7287 0 -1 4202496 11639 0 0 0 309 1 0 0 20 0 1 0 50260974 164675584 13012 33554432000 4194304 5849740 140723136079360 140723136076904 4211627 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46706688 140723136083126 140723136083204 140723136083204 140723136085962 0
/proc/11394/statm: 40204 13012 680 405 0 37148 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 160816 KiB
Current children cumulated memory: 52048 KiB

[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11395
/proc/meminfo: memFree=27364352/32770624 swapFree=67108860/67108860
[pid=11394] ppid=11391 vsize=161624 memory=54888 CPUtime=6.29 cores=0,2,4,6
/proc/11394/stat : 11394 (xcsp_picat) R 11391 11394 7287 0 -1 4202496 21922 0 0 0 626 3 0 0 20 0 1 0 50260974 165502976 13722 33554432000 4194304 5849740 140723136079360 140723136077400 5306894 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46706688 140723136083126 140723136083204 140723136083204 140723136085962 0
/proc/11394/statm: 40406 13722 698 405 0 37350 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 161624 KiB
Current children cumulated memory: 54888 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11395
/proc/meminfo: memFree=27379040/32770624 swapFree=67108860/67108860
[pid=11394] ppid=11391 vsize=153432 memory=46792 CPUtime=12.69 cores=0,2,4,6
/proc/11394/stat : 11394 (xcsp_picat) R 11391 11394 7287 0 -1 4202496 24859 0 0 0 1263 6 0 0 20 0 1 0 50260974 157114368 11698 33554432000 4194304 5849740 140723136079360 140723136078232 5308400 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46706688 140723136083126 140723136083204 140723136083204 140723136085962 0
/proc/11394/statm: 38358 11698 698 405 0 35302 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 153432 KiB
Current children cumulated memory: 46792 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11395
/proc/meminfo: memFree=27378356/32770624 swapFree=67108860/67108860
[pid=11394] ppid=11391 vsize=157892 memory=51120 CPUtime=25.48 cores=0,2,4,6
/proc/11394/stat : 11394 (xcsp_picat) R 11391 11394 7287 0 -1 4202496 31509 0 0 0 2533 15 0 0 20 0 1 0 50260974 161681408 12780 33554432000 4194304 5849740 140723136079360 140723136077848 140151396708231 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46706688 140723136083126 140723136083204 140723136083204 140723136085962 0
/proc/11394/statm: 39473 12780 698 405 0 36417 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 157892 KiB
Current children cumulated memory: 51120 KiB

[startup+51.1096 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11395
/proc/meminfo: memFree=27373524/32770624 swapFree=67108860/67108860
[pid=11394] ppid=11391 vsize=160916 memory=54276 CPUtime=51.09 cores=0,2,4,6
/proc/11394/stat : 11394 (xcsp_picat) R 11391 11394 7287 0 -1 4202496 37604 0 0 0 5074 35 0 0 20 0 1 0 50260974 164777984 13569 33554432000 4194304 5849740 140723136079360 140723136078520 140151396708231 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46706688 140723136083126 140723136083204 140723136083204 140723136085962 0
/proc/11394/statm: 40229 13569 698 405 0 37173 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 160916 KiB
Current children cumulated memory: 54276 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11396
/proc/meminfo: memFree=27359820/32770624 swapFree=67108860/67108860
[pid=11394] ppid=11391 vsize=174624 memory=67844 CPUtime=102.28 cores=0,2,4,6
/proc/11394/stat : 11394 (xcsp_picat) R 11391 11394 7287 0 -1 4202496 47141 0 0 0 10147 81 0 0 20 0 1 0 50260974 178814976 16961 33554432000 4194304 5849740 140723136079360 140723136078360 5306143 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46706688 140723136083126 140723136083204 140723136083204 140723136085962 0
/proc/11394/statm: 43656 16961 698 405 0 40600 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 174624 KiB
Current children cumulated memory: 67844 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11398
/proc/meminfo: memFree=27338864/32770624 swapFree=67108860/67108860
[pid=11394] ppid=11391 vsize=196060 memory=89420 CPUtime=162.29 cores=0,2,4,6
/proc/11394/stat : 11394 (xcsp_picat) R 11391 11394 7287 0 -1 4202496 58818 0 0 0 16095 134 0 0 20 0 1 0 50260974 200765440 22355 33554432000 4194304 5849740 140723136079360 140723136077848 5307557 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46706688 140723136083126 140723136083204 140723136083204 140723136085962 0
/proc/11394/statm: 49015 22355 698 405 0 45959 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 196060 KiB
Current children cumulated memory: 89420 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11399
/proc/meminfo: memFree=27337328/32770624 swapFree=67108860/67108860
[pid=11394] ppid=11391 vsize=192788 memory=90196 CPUtime=222.27 cores=0,2,4,6
/proc/11394/stat : 11394 (xcsp_picat) R 11391 11394 7287 0 -1 4202496 67669 0 0 0 22039 188 0 0 20 0 1 0 50260974 197414912 22549 33554432000 4194304 5849740 140723136079360 140723136078360 140151396708231 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46706688 140723136083126 140723136083204 140723136083204 140723136085962 0
/proc/11394/statm: 48197 22549 698 405 0 45141 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 192788 KiB
Current children cumulated memory: 90196 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11400
/proc/meminfo: memFree=27288368/32770624 swapFree=67108860/67108860
[pid=11394] ppid=11391 vsize=205172 memory=106120 CPUtime=282.27 cores=0,2,4,6
/proc/11394/stat : 11394 (xcsp_picat) R 11391 11394 7287 0 -1 4202496 72083 0 0 0 27985 242 0 0 20 0 1 0 50260974 210096128 26530 33554432000 4194304 5849740 140723136079360 140723136078360 140151396708231 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46706688 140723136083126 140723136083204 140723136083204 140723136085962 0
/proc/11394/statm: 51293 26530 698 405 0 48237 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 205172 KiB
Current children cumulated memory: 106120 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11402
/proc/meminfo: memFree=27285692/32770624 swapFree=67108860/67108860
[pid=11394] ppid=11391 vsize=207804 memory=108752 CPUtime=342.26 cores=0,2,4,6
/proc/11394/stat : 11394 (xcsp_picat) R 11391 11394 7287 0 -1 4202496 90479 0 0 0 33933 293 0 0 20 0 1 0 50260974 212791296 27188 33554432000 4194304 5849740 140723136079360 140723136078360 5335552 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46706688 140723136083126 140723136083204 140723136083204 140723136085962 0
/proc/11394/statm: 51951 27188 698 405 0 48895 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 207804 KiB
Current children cumulated memory: 108752 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11403
/proc/meminfo: memFree=27304608/32770624 swapFree=67108860/67108860
[pid=11394] ppid=11391 vsize=217924 memory=118872 CPUtime=402.27 cores=0,2,4,6
/proc/11394/stat : 11394 (xcsp_picat) R 11391 11394 7287 0 -1 4202496 99659 0 0 0 39890 337 0 0 20 0 1 0 50260974 223154176 29718 33554432000 4194304 5849740 140723136079360 140723136078360 5317221 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46706688 140723136083126 140723136083204 140723136083204 140723136085962 0
/proc/11394/statm: 54481 29718 698 405 0 51425 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 217924 KiB
Current children cumulated memory: 118872 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11411
/proc/meminfo: memFree=27309132/32770624 swapFree=67108860/67108860
[pid=11394] ppid=11391 vsize=161964 memory=62652 CPUtime=462.27 cores=0,2,4,6
/proc/11394/stat : 11394 (xcsp_picat) R 11391 11394 7287 0 -1 4202496 109359 0 0 0 45847 380 0 0 20 0 1 0 50260974 165851136 15663 33554432000 4194304 5849740 140723136079360 140723136078360 5329147 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46706688 140723136083126 140723136083204 140723136083204 140723136085962 0
/proc/11394/statm: 40491 15663 698 405 0 37435 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 161964 KiB
Current children cumulated memory: 62652 KiB


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

/proc/11394/statm: 74092 49361 698 405 0 71036 0
Current children cumulated CPU time: 1722.18 s
Current children cumulated vsize: 296368 KiB
Current children cumulated memory: 197444 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 11450
/proc/meminfo: memFree=27018448/32770624 swapFree=67108860/67108860
[pid=11394] ppid=11391 vsize=294188 memory=195264 CPUtime=1782.17 cores=0,2,4,6
/proc/11394/stat : 11394 (xcsp_picat) R 11391 11394 7287 0 -1 4202496 273489 0 0 0 176922 1295 0 0 20 0 1 0 50260974 301248512 48816 33554432000 4194304 5849740 140723136079360 140723136078360 140151396708231 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46706688 140723136083126 140723136083204 140723136083204 140723136085962 0
/proc/11394/statm: 73547 48816 698 405 0 70491 0
Current children cumulated CPU time: 1782.17 s
Current children cumulated vsize: 294188 KiB
Current children cumulated memory: 195264 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 11452
/proc/meminfo: memFree=27124908/32770624 swapFree=67108860/67108860
[pid=11394] ppid=11391 vsize=303812 memory=204732 CPUtime=1842.17 cores=0,2,4,6
/proc/11394/stat : 11394 (xcsp_picat) R 11391 11394 7287 0 -1 4202496 278238 0 0 0 182890 1327 0 0 20 0 1 0 50260974 311103488 51183 33554432000 4194304 5849740 140723136079360 140723136078360 5437698 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46706688 140723136083126 140723136083204 140723136083204 140723136085962 0
/proc/11394/statm: 75953 51183 698 405 0 72897 0
Current children cumulated CPU time: 1842.17 s
Current children cumulated vsize: 303812 KiB
Current children cumulated memory: 204732 KiB

[startup+1902.3 s]
/proc/loadavg: 1.47 1.88 2.00 2/181 11498
/proc/meminfo: memFree=27433584/32770624 swapFree=67108860/67108860
[pid=11394] ppid=11391 vsize=304796 memory=205744 CPUtime=1902.17 cores=0,2,4,6
/proc/11394/stat : 11394 (xcsp_picat) R 11391 11394 7287 0 -1 4202496 281929 0 0 0 188854 1363 0 0 20 0 1 0 50260974 312111104 51436 33554432000 4194304 5849740 140723136079360 140723136078360 140151396708231 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46706688 140723136083126 140723136083204 140723136083204 140723136085962 0
/proc/11394/statm: 76199 51436 698 405 0 73143 0
Current children cumulated CPU time: 1902.17 s
Current children cumulated vsize: 304796 KiB
Current children cumulated memory: 205744 KiB

[startup+1962.3 s]
/proc/loadavg: 1.17 1.72 1.93 2/180 11500
/proc/meminfo: memFree=27387880/32770624 swapFree=67108860/67108860
[pid=11394] ppid=11391 vsize=349896 memory=250760 CPUtime=1962.17 cores=0,2,4,6
/proc/11394/stat : 11394 (xcsp_picat) R 11391 11394 7287 0 -1 4202496 290121 0 0 0 194815 1402 0 0 20 0 1 0 50260974 358293504 62690 33554432000 4194304 5849740 140723136079360 140723136078520 140151396708231 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46706688 140723136083126 140723136083204 140723136083204 140723136085962 0
/proc/11394/statm: 87474 62690 698 405 0 84418 0
Current children cumulated CPU time: 1962.17 s
Current children cumulated vsize: 349896 KiB
Current children cumulated memory: 250760 KiB

[startup+2022.3 s]
/proc/loadavg: 1.06 1.59 1.88 2/180 11501
/proc/meminfo: memFree=27420700/32770624 swapFree=67108860/67108860
[pid=11394] ppid=11391 vsize=316200 memory=217092 CPUtime=2022.15 cores=0,2,4,6
/proc/11394/stat : 11394 (xcsp_picat) R 11391 11394 7287 0 -1 4202496 291805 0 0 0 200777 1438 0 0 20 0 1 0 50260974 323788800 54273 33554432000 4194304 5849740 140723136079360 140723136078360 140151396708231 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46706688 140723136083126 140723136083204 140723136083204 140723136085962 0
/proc/11394/statm: 79050 54273 698 405 0 75994 0
Current children cumulated CPU time: 2022.15 s
Current children cumulated vsize: 316200 KiB
Current children cumulated memory: 217092 KiB

[startup+2082.3 s]
/proc/loadavg: 1.02 1.48 1.82 2/180 11502
/proc/meminfo: memFree=27390024/32770624 swapFree=67108860/67108860
[pid=11394] ppid=11391 vsize=346572 memory=247520 CPUtime=2082.15 cores=0,2,4,6
/proc/11394/stat : 11394 (xcsp_picat) R 11391 11394 7287 0 -1 4202496 297028 0 0 0 206737 1478 0 0 20 0 1 0 50260974 354889728 61880 33554432000 4194304 5849740 140723136079360 140723136078360 5438251 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46706688 140723136083126 140723136083204 140723136083204 140723136085962 0
/proc/11394/statm: 86643 61880 698 405 0 83587 0
Current children cumulated CPU time: 2082.15 s
Current children cumulated vsize: 346572 KiB
Current children cumulated memory: 247520 KiB

[startup+2142.3 s]
/proc/loadavg: 1.01 1.39 1.77 2/180 11504
/proc/meminfo: memFree=27420648/32770624 swapFree=67108860/67108860
[pid=11394] ppid=11391 vsize=315792 memory=216740 CPUtime=2142.15 cores=0,2,4,6
/proc/11394/stat : 11394 (xcsp_picat) R 11391 11394 7287 0 -1 4202496 299804 0 0 0 212699 1516 0 0 20 0 1 0 50260974 323371008 54185 33554432000 4194304 5849740 140723136079360 140723136078520 5437698 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46706688 140723136083126 140723136083204 140723136083204 140723136085962 0
/proc/11394/statm: 78948 54185 698 405 0 75892 0
Current children cumulated CPU time: 2142.15 s
Current children cumulated vsize: 315792 KiB
Current children cumulated memory: 216740 KiB

[startup+2202.3 s]
/proc/loadavg: 1.00 1.32 1.72 2/180 11505
/proc/meminfo: memFree=27393472/32770624 swapFree=67108860/67108860
[pid=11394] ppid=11391 vsize=344056 memory=245004 CPUtime=2202.15 cores=0,2,4,6
/proc/11394/stat : 11394 (xcsp_picat) R 11391 11394 7287 0 -1 4202496 305736 0 0 0 218658 1557 0 0 20 0 1 0 50260974 352313344 61251 33554432000 4194304 5849740 140723136079360 140723136078520 140151396708231 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46706688 140723136083126 140723136083204 140723136083204 140723136085962 0
/proc/11394/statm: 86014 61251 698 405 0 82958 0
Current children cumulated CPU time: 2202.15 s
Current children cumulated vsize: 344056 KiB
Current children cumulated memory: 245004 KiB

[startup+2262.3 s]
/proc/loadavg: 1.00 1.26 1.68 2/181 11514
/proc/meminfo: memFree=27415416/32770624 swapFree=67108860/67108860
[pid=11394] ppid=11391 vsize=322060 memory=223008 CPUtime=2262.14 cores=0,2,4,6
/proc/11394/stat : 11394 (xcsp_picat) R 11391 11394 7287 0 -1 4202496 309679 0 0 0 224626 1588 0 0 20 0 1 0 50260974 329789440 55752 33554432000 4194304 5849740 140723136079360 140723136078360 140151396708231 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46706688 140723136083126 140723136083204 140723136083204 140723136085962 0
/proc/11394/statm: 80515 55752 698 405 0 77459 0
Current children cumulated CPU time: 2262.14 s
Current children cumulated vsize: 322060 KiB
Current children cumulated memory: 223008 KiB

[startup+2322.3 s]
/proc/loadavg: 1.00 1.22 1.63 2/182 11538
/proc/meminfo: memFree=27388796/32770624 swapFree=67108860/67108860
[pid=11394] ppid=11391 vsize=348256 memory=249040 CPUtime=2322.14 cores=0,2,4,6
/proc/11394/stat : 11394 (xcsp_picat) R 11391 11394 7287 0 -1 4202496 318717 0 0 0 230578 1636 0 0 20 0 1 0 50260974 356614144 62260 33554432000 4194304 5849740 140723136079360 140723136078360 140151396708231 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46706688 140723136083126 140723136083204 140723136083204 140723136085962 0
/proc/11394/statm: 87064 62260 698 405 0 84008 0
Current children cumulated CPU time: 2322.14 s
Current children cumulated vsize: 348256 KiB
Current children cumulated memory: 249040 KiB

[startup+2382.3 s]
/proc/loadavg: 1.00 1.18 1.59 2/182 11539
/proc/meminfo: memFree=27337828/32770624 swapFree=67108860/67108860
[pid=11394] ppid=11391 vsize=400056 memory=301004 CPUtime=2382.14 cores=0,2,4,6
/proc/11394/stat : 11394 (xcsp_picat) R 11391 11394 7287 0 -1 4202496 333903 0 0 0 236529 1685 0 0 20 0 1 0 50260974 409657344 75251 33554432000 4194304 5849740 140723136079360 140723136078360 5437698 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46706688 140723136083126 140723136083204 140723136083204 140723136085962 0
/proc/11394/statm: 100014 75251 698 405 0 96958 0
Current children cumulated CPU time: 2382.14 s
Current children cumulated vsize: 400056 KiB
Current children cumulated memory: 301004 KiB

[startup+2442.3 s]
/proc/loadavg: 1.00 1.14 1.56 2/182 11540
/proc/meminfo: memFree=27349816/32770624 swapFree=67108860/67108860
[pid=11394] ppid=11391 vsize=388360 memory=289248 CPUtime=2442.13 cores=0,2,4,6
/proc/11394/stat : 11394 (xcsp_picat) R 11391 11394 7287 0 -1 4202496 345448 0 0 0 242487 1726 0 0 20 0 1 0 50260974 397680640 72312 33554432000 4194304 5849740 140723136079360 140723136078360 5312618 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46706688 140723136083126 140723136083204 140723136083204 140723136085962 0
/proc/11394/statm: 97090 72312 698 405 0 94034 0
Current children cumulated CPU time: 2442.13 s
Current children cumulated vsize: 388360 KiB
Current children cumulated memory: 289248 KiB

[startup+2502.3 s]
/proc/loadavg: 1.00 1.12 1.52 2/182 11541
/proc/meminfo: memFree=27169752/32770624 swapFree=67108860/67108860
[pid=11394] ppid=11391 vsize=567956 memory=468852 CPUtime=2502.13 cores=0,2,4,6
/proc/11394/stat : 11394 (xcsp_picat) R 11391 11394 7287 0 -1 4202496 351519 0 0 0 248450 1763 0 0 20 0 1 0 50260974 581586944 117213 33554432000 4194304 5849740 140723136079360 140723136078360 140151396708231 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46706688 140723136083126 140723136083204 140723136083204 140723136085962 0
/proc/11394/statm: 141989 117213 698 405 0 138933 0
Current children cumulated CPU time: 2502.13 s
Current children cumulated vsize: 567956 KiB
Current children cumulated memory: 468852 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 1.00 1.11 1.51 2/182 11541
/proc/meminfo: memFree=27330712/32770624 swapFree=67108860/67108860
[pid=11394] ppid=11391 vsize=406888 memory=307964 CPUtime=2519.84 cores=0,2,4,6
/proc/11394/stat : 11394 (xcsp_picat) R 11391 11394 7287 0 -1 4202496 361671 0 0 0 250206 1778 0 0 20 0 1 0 50260974 416653312 76991 33554432000 4194304 5849740 140723136079360 140723136078360 140151396708231 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46706688 140723136083126 140723136083204 140723136083204 140723136085962 0
/proc/11394/statm: 101722 76991 698 405 0 98666 0
Current children cumulated CPU time: 2519.84 s
Current children cumulated vsize: 406888 KiB
Current children cumulated memory: 307964 KiB

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

[startup+2520.01 s]
# the end of solver process 11394 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2502.06 s, system=17.7872 s

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2520.01
CPU time (s): 2519.85
CPU user time (s): 2502.06
CPU system time (s): 17.7872
CPU usage (%): 99.9935
Max. virtual memory (cumulated for all children) (KiB): 578988
Max. memory (cumulated for all children) (KiB): 479936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2502.06
system time used= 17.7872
maximum resident set size= 479936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 361672
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= 60
involuntary context switches= 1012


# summary of solver processes directly reported to runsolver:
#   pid: 11394
#   total CPU time (s): 2519.85
#   total CPU user time (s): 2502.06
#   total CPU system time (s): 17.7872

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.70354 second user time and 18.1601 second system time

The end

Launcher Data 

Begin job on node151 at 2018-07-23 08:22:58
IDJOB=4293695
IDBENCH=141224
IDSOLVER=2754
FILE ID=node151/4293695-1532326978
RUNJOBID= node151-1532294350-7318
PBS_JOBID= 21018981
Free space on /tmp= 55068 MiB

SOLVER NAME= PicatSAT 2018-06-15
BENCH NAME= XCSP18/SumColoring/SumColoring-dsjc-125-9_c18.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4293695-1532326978/watcher-4293695-1532326978 -o /tmp/evaluation-result-4293695-1532326978/solver-4293695-1532326978 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532294350-7318 --watchdog 2580  xcsp_picat HOME/instance-4293695-1532326978.xml

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

MD5SUM BENCH= fde90c264558af66570e1c8b29991738
RANDOM SEED=866700330

node151.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.87
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.87
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.87
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.87
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:        27421700 kB
MemAvailable:   31745652 kB
Buffers:          126164 kB
Cached:          4439920 kB
SwapCached:            0 kB
Active:          1028196 kB
Inactive:        3803984 kB
Active(anon):     215288 kB
Inactive(anon):    70488 kB
Active(file):     812908 kB
Inactive(file):  3733496 kB
Unevictable:        7848 kB
Mlocked:            7848 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              3120 kB
Writeback:             0 kB
AnonPages:        273988 kB
Mapped:            38744 kB
Shmem:             17032 kB
Slab:             214388 kB
SReclaimable:     186768 kB
SUnreclaim:        27620 kB
KernelStack:        3296 kB
PageTables:         5596 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     634292 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    169984 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 55068 MiB
End job on node151 at 2018-07-23 09:04:58