Trace number 4294910

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
PicatSAT 2018-06-15? (TO) 2519.96 2520.07

General information on the benchmark

NameCrossword/
Crossword-m18-ogd2008-vg-09-10_c18.xml
MD5SUM6ec4d3779b35bd6998a70efbce1ebeb4
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 variables90
Number of constraints19
Number of domains1
Minimum domain size26
Maximum domain size26
Distribution of domain sizes[{"size":26,"count":90}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":90}]
Minimum constraint arity9
Maximum constraint arity10
Distribution of constraint arities[{"arity":9,"count":10},{"arity":10,"count":9}]
Number of extensional constraints19
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":19}]
Optimization problemNO
Type of objective

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294910-1532457297/watcher-4294910-1532457297 -o /tmp/evaluation-result-4294910-1532457297/solver-4294910-1532457297 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532432860-27369 --watchdog 2580 xcsp_picat HOME/instance-4294910-1532457297.xml 

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

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=1337, runsolver pid=1334
Current StackSize limit: 8192 KiB


[startup+0.100165 s]*
/proc/loadavg: 2.14 2.13 2.09 3/191 1338
/proc/meminfo: memFree=14831976/32770624 swapFree=67108860/67108860
[pid=1337] ppid=1334 vsize=111688 memory=18272 CPUtime=0.1 cores=1,3,5,7
/proc/1337/stat : 1337 (xcsp_picat) R 1334 1337 27337 0 -1 4202496 1706 0 0 0 10 0 0 0 20 0 1 0 63292928 114368512 4568 33554432000 4194304 5849740 140728439431088 140728439431088 140423111584768 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 39362560 140728439436470 140728439436548 140728439436548 140728439439306 0
/proc/1337/statm: 27922 4568 591 405 0 24866 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 18272 KiB

[startup+0.209863 s]*
/proc/loadavg: 2.14 2.13 2.09 3/191 1338
/proc/meminfo: memFree=14825832/32770624 swapFree=67108860/67108860
[pid=1337] ppid=1334 vsize=111688 memory=24416 CPUtime=0.21 cores=1,3,5,7
/proc/1337/stat : 1337 (xcsp_picat) R 1334 1337 27337 0 -1 4202496 1709 0 0 0 21 0 0 0 20 0 1 0 63292928 114368512 6104 33554432000 4194304 5849740 140728439431088 140728439431088 4376817 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 39362560 140728439436470 140728439436548 140728439436548 140728439439306 0
/proc/1337/statm: 27922 6104 591 405 0 24866 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 24416 KiB

[startup+0.309719 s]*
/proc/loadavg: 2.14 2.13 2.09 3/191 1338
/proc/meminfo: memFree=14819688/32770624 swapFree=67108860/67108860
[pid=1337] ppid=1334 vsize=111688 memory=30792 CPUtime=0.3 cores=1,3,5,7
/proc/1337/stat : 1337 (xcsp_picat) R 1334 1337 27337 0 -1 4202496 1712 0 0 0 30 0 0 0 20 0 1 0 63292928 114368512 7698 33554432000 4194304 5849740 140728439431088 140728439431088 4475218 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 39362560 140728439436470 140728439436548 140728439436548 140728439439306 0
/proc/1337/statm: 27922 7698 591 405 0 24866 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 30792 KiB

[startup+0.700383 s]
/proc/loadavg: 2.14 2.13 2.09 3/191 1338
/proc/meminfo: memFree=14794172/32770624 swapFree=67108860/67108860
[pid=1337] ppid=1334 vsize=150872 memory=56096 CPUtime=0.69 cores=1,3,5,7
/proc/1337/stat : 1337 (xcsp_picat) R 1334 1337 27337 0 -1 4202496 2464 0 0 0 68 1 0 0 20 0 1 0 63292928 154492928 14024 33554432000 4194304 5849740 140728439431088 140728439430056 140423111584768 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 39362560 140728439436470 140728439436548 140728439436548 140728439439306 0
/proc/1337/statm: 37718 14024 595 405 0 34662 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 150872 KiB
Current children cumulated memory: 56096 KiB

[startup+1.50042 s]
/proc/loadavg: 2.14 2.13 2.09 3/191 1338
/proc/meminfo: memFree=14778904/32770624 swapFree=67108860/67108860
[pid=1337] ppid=1334 vsize=162248 memory=98600 CPUtime=1.49 cores=1,3,5,7
/proc/1337/stat : 1337 (xcsp_picat) R 1334 1337 27337 0 -1 4202496 4121 0 0 0 147 2 0 0 20 0 1 0 63292928 166141952 24650 33554432000 4194304 5849740 140728439431088 140728439430408 5247478 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 39362560 140728439436470 140728439436548 140728439436548 140728439439306 0
/proc/1337/statm: 40562 24650 621 405 0 37506 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 162248 KiB
Current children cumulated memory: 98600 KiB

[startup+3.10995 s]
/proc/loadavg: 2.05 2.12 2.09 3/191 1338
/proc/meminfo: memFree=14636112/32770624 swapFree=67108860/67108860
[pid=1337] ppid=1334 vsize=513192 memory=308736 CPUtime=3.1 cores=1,3,5,7
/proc/1337/stat : 1337 (xcsp_picat) R 1334 1337 27337 0 -1 4202496 7852 0 0 0 300 10 0 0 20 0 1 0 63292928 525508608 77184 33554432000 4194304 5849740 140728439431088 140728439430056 5269185 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 39362560 140728439436470 140728439436548 140728439436548 140728439439306 0
/proc/1337/statm: 128298 77184 622 405 0 125242 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 513192 KiB
Current children cumulated memory: 308736 KiB

[startup+6.3004 s]
/proc/loadavg: 2.05 2.12 2.09 3/190 1338
/proc/meminfo: memFree=14489540/32770624 swapFree=67108860/67108860
[pid=1337] ppid=1334 vsize=418100 memory=367736 CPUtime=6.29 cores=1,3,5,7
/proc/1337/stat : 1337 (xcsp_picat) R 1334 1337 27337 0 -1 4202496 13028 0 0 0 610 19 0 0 20 0 1 0 63292928 428134400 91934 33554432000 4194304 5849740 140728439431088 140728439430408 5251197 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 39362560 140728439436470 140728439436548 140728439436548 140728439439306 0
/proc/1337/statm: 104525 91934 623 405 0 101469 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 418100 KiB
Current children cumulated memory: 367736 KiB

[startup+12.7004 s]
/proc/loadavg: 2.04 2.11 2.08 3/190 1338
/proc/meminfo: memFree=14477128/32770624 swapFree=67108860/67108860
[pid=1337] ppid=1334 vsize=418100 memory=372004 CPUtime=12.69 cores=1,3,5,7
/proc/1337/stat : 1337 (xcsp_picat) R 1334 1337 27337 0 -1 4202496 15221 0 0 0 1250 19 0 0 20 0 1 0 63292928 428134400 93001 33554432000 4194304 5849740 140728439431088 140728439430408 4818495 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 39362560 140728439436470 140728439436548 140728439436548 140728439439306 0
/proc/1337/statm: 104525 93001 623 405 0 101469 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 418100 KiB
Current children cumulated memory: 372004 KiB

[startup+25.5004 s]
/proc/loadavg: 2.04 2.11 2.08 3/190 1338
/proc/meminfo: memFree=13729312/32770624 swapFree=67108860/67108860
[pid=1337] ppid=1334 vsize=1218236 memory=1118796 CPUtime=25.49 cores=1,3,5,7
/proc/1337/stat : 1337 (xcsp_picat) R 1334 1337 27337 0 -1 4202496 25620 0 0 0 2513 36 0 0 20 0 1 0 63292928 1247473664 279699 33554432000 4194304 5849740 140728439431088 140728439430264 5356372 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 39362560 140728439436470 140728439436548 140728439436548 140728439439306 0
/proc/1337/statm: 304559 279699 668 405 0 301503 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 1218236 KiB
Current children cumulated memory: 1118796 KiB

[startup+51.1096 s]
/proc/loadavg: 2.02 2.10 2.08 3/190 1338
/proc/meminfo: memFree=11385452/32770624 swapFree=67108860/67108860
[pid=1337] ppid=1334 vsize=3556692 memory=3457296 CPUtime=51.09 cores=1,3,5,7
/proc/1337/stat : 1337 (xcsp_picat) R 1334 1337 27337 0 -1 4202496 85309 0 0 0 5024 85 0 0 20 0 1 0 63292928 3642052608 864324 33554432000 4194304 5849740 140728439431088 140728439429960 5397828 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 39362560 140728439436470 140728439436548 140728439436548 140728439439306 0
/proc/1337/statm: 889173 864324 679 405 0 886117 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 3556692 KiB
Current children cumulated memory: 3457296 KiB

[startup+102.3 s]
/proc/loadavg: 1.94 2.07 2.07 3/190 1339
/proc/meminfo: memFree=11385436/32770624 swapFree=67108860/67108860
[pid=1337] ppid=1334 vsize=3556692 memory=3457360 CPUtime=102.28 cores=1,3,5,7
/proc/1337/stat : 1337 (xcsp_picat) R 1334 1337 27337 0 -1 4202496 293621 0 0 0 10134 94 0 0 20 0 1 0 63292928 3642052608 864340 33554432000 4194304 5849740 140728439431088 140728439430248 5437698 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 39362560 140728439436470 140728439436548 140728439436548 140728439439306 0
/proc/1337/statm: 889173 864340 695 405 0 886117 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 3556692 KiB
Current children cumulated memory: 3457360 KiB

[startup+162.3 s]
/proc/loadavg: 1.98 2.06 2.06 3/190 1340
/proc/meminfo: memFree=11385524/32770624 swapFree=67108860/67108860
[pid=1337] ppid=1334 vsize=3556692 memory=3457360 CPUtime=162.28 cores=1,3,5,7
/proc/1337/stat : 1337 (xcsp_picat) R 1334 1337 27337 0 -1 4202496 367029 0 0 0 16126 102 0 0 20 0 1 0 63292928 3642052608 864340 33554432000 4194304 5849740 140728439431088 140728439429960 5437698 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 39362560 140728439436470 140728439436548 140728439436548 140728439439306 0
/proc/1337/statm: 889173 864340 695 405 0 886117 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 3556692 KiB
Current children cumulated memory: 3457360 KiB

[startup+222.3 s]
/proc/loadavg: 2.06 2.06 2.06 3/190 1341
/proc/meminfo: memFree=11385236/32770624 swapFree=67108860/67108860
[pid=1337] ppid=1334 vsize=3556692 memory=3457360 CPUtime=222.29 cores=1,3,5,7
/proc/1337/stat : 1337 (xcsp_picat) R 1334 1337 27337 0 -1 4202496 672370 0 0 0 22110 119 0 0 20 0 1 0 63292928 3642052608 864340 33554432000 4194304 5849740 140728439431088 140728439430088 5438192 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 39362560 140728439436470 140728439436548 140728439436548 140728439439306 0
/proc/1337/statm: 889173 864340 695 405 0 886117 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 3556692 KiB
Current children cumulated memory: 3457360 KiB

[startup+282.3 s]
/proc/loadavg: 2.02 2.05 2.06 3/190 1342
/proc/meminfo: memFree=11385328/32770624 swapFree=67108860/67108860
[pid=1337] ppid=1334 vsize=3556692 memory=3457360 CPUtime=282.28 cores=1,3,5,7
/proc/1337/stat : 1337 (xcsp_picat) R 1334 1337 27337 0 -1 4202496 1187591 0 0 0 28068 160 0 0 20 0 1 0 63292928 3642052608 864340 33554432000 4194304 5849740 140728439431088 140728439430088 5437819 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 39362560 140728439436470 140728439436548 140728439436548 140728439439306 0
/proc/1337/statm: 889173 864340 695 405 0 886117 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 3556692 KiB
Current children cumulated memory: 3457360 KiB

[startup+342.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/192 1352
/proc/meminfo: memFree=11384648/32770624 swapFree=67108860/67108860
[pid=1337] ppid=1334 vsize=3556692 memory=3457360 CPUtime=342.29 cores=1,3,5,7
/proc/1337/stat : 1337 (xcsp_picat) R 1334 1337 27337 0 -1 4202496 1664956 0 0 0 34043 186 0 0 20 0 1 0 63292928 3642052608 864340 33554432000 4194304 5849740 140728439431088 140728439430088 5312787 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 39362560 140728439436470 140728439436548 140728439436548 140728439439306 0
/proc/1337/statm: 889173 864340 695 405 0 886117 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 3556692 KiB
Current children cumulated memory: 3457360 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/192 1353
/proc/meminfo: memFree=11384396/32770624 swapFree=67108860/67108860
[pid=1337] ppid=1334 vsize=3556692 memory=3457360 CPUtime=402.28 cores=1,3,5,7
/proc/1337/stat : 1337 (xcsp_picat) R 1334 1337 27337 0 -1 4202496 2265502 0 0 0 40009 219 0 0 20 0 1 0 63292928 3642052608 864340 33554432000 4194304 5849740 140728439431088 140728439430088 5312865 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 39362560 140728439436470 140728439436548 140728439436548 140728439439306 0
/proc/1337/statm: 889173 864340 695 405 0 886117 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 3556692 KiB
Current children cumulated memory: 3457360 KiB

[startup+462.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/193 1355
/proc/meminfo: memFree=11384040/32770624 swapFree=67108860/67108860
[pid=1337] ppid=1334 vsize=3556692 memory=3457360 CPUtime=462.28 cores=1,3,5,7
/proc/1337/stat : 1337 (xcsp_picat) R 1334 1337 27337 0 -1 4202496 2749917 0 0 0 45982 246 0 0 20 0 1 0 63292928 3642052608 864340 33554432000 4194304 5849740 140728439431088 140728439430088 5437698 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 39362560 140728439436470 140728439436548 140728439436548 140728439439306 0
/proc/1337/statm: 889173 864340 695 405 0 886117 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 3556692 KiB
Current children cumulated memory: 3457360 KiB


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

/proc/1337/statm: 1151317 1126484 695 405 0 1148261 0
Current children cumulated CPU time: 1722.2 s
Current children cumulated vsize: 4605268 KiB
Current children cumulated memory: 4505936 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 1490
/proc/meminfo: memFree=10575428/32770624 swapFree=67108860/67108860
[pid=1337] ppid=1334 vsize=4605268 memory=4505936 CPUtime=1782.2 cores=1,3,5,7
/proc/1337/stat : 1337 (xcsp_picat) R 1334 1337 27337 0 -1 4202496 12439160 0 0 0 177375 845 0 0 20 0 1 0 63292928 4715794432 1126484 33554432000 4194304 5849740 140728439431088 140728439430088 5312787 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 39362560 140728439436470 140728439436548 140728439436548 140728439439306 0
/proc/1337/statm: 1151317 1126484 695 405 0 1148261 0
Current children cumulated CPU time: 1782.2 s
Current children cumulated vsize: 4605268 KiB
Current children cumulated memory: 4505936 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 1491
/proc/meminfo: memFree=10574844/32770624 swapFree=67108860/67108860
[pid=1337] ppid=1334 vsize=4605268 memory=4505936 CPUtime=1842.19 cores=1,3,5,7
/proc/1337/stat : 1337 (xcsp_picat) R 1334 1337 27337 0 -1 4202496 12674837 0 0 0 183357 862 0 0 20 0 1 0 63292928 4715794432 1126484 33554432000 4194304 5849740 140728439431088 140728439430088 5437698 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 39362560 140728439436470 140728439436548 140728439436548 140728439439306 0
/proc/1337/statm: 1151317 1126484 695 405 0 1148261 0
Current children cumulated CPU time: 1842.19 s
Current children cumulated vsize: 4605268 KiB
Current children cumulated memory: 4505936 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 1492
/proc/meminfo: memFree=10575180/32770624 swapFree=67108860/67108860
[pid=1337] ppid=1334 vsize=4605268 memory=4505936 CPUtime=1902.19 cores=1,3,5,7
/proc/1337/stat : 1337 (xcsp_picat) R 1334 1337 27337 0 -1 4202496 13040294 0 0 0 189332 887 0 0 20 0 1 0 63292928 4715794432 1126484 33554432000 4194304 5849740 140728439431088 140728439430088 5437695 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 39362560 140728439436470 140728439436548 140728439436548 140728439439306 0
/proc/1337/statm: 1151317 1126484 695 405 0 1148261 0
Current children cumulated CPU time: 1902.19 s
Current children cumulated vsize: 4605268 KiB
Current children cumulated memory: 4505936 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 1493
/proc/meminfo: memFree=10574156/32770624 swapFree=67108860/67108860
[pid=1337] ppid=1334 vsize=4605268 memory=4505936 CPUtime=1962.19 cores=1,3,5,7
/proc/1337/stat : 1337 (xcsp_picat) R 1334 1337 27337 0 -1 4202496 13376274 0 0 0 195311 908 0 0 20 0 1 0 63292928 4715794432 1126484 33554432000 4194304 5849740 140728439431088 140728439429960 5416683 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 39362560 140728439436470 140728439436548 140728439436548 140728439439306 0
/proc/1337/statm: 1151317 1126484 695 405 0 1148261 0
Current children cumulated CPU time: 1962.19 s
Current children cumulated vsize: 4605268 KiB
Current children cumulated memory: 4505936 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 1494
/proc/meminfo: memFree=10574360/32770624 swapFree=67108860/67108860
[pid=1337] ppid=1334 vsize=4605268 memory=4505936 CPUtime=2022.18 cores=1,3,5,7
/proc/1337/stat : 1337 (xcsp_picat) R 1334 1337 27337 0 -1 4202496 13641104 0 0 0 201295 923 0 0 20 0 1 0 63292928 4715794432 1126484 33554432000 4194304 5849740 140728439431088 140728439430088 140423111606151 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 39362560 140728439436470 140728439436548 140728439436548 140728439439306 0
/proc/1337/statm: 1151317 1126484 695 405 0 1148261 0
Current children cumulated CPU time: 2022.18 s
Current children cumulated vsize: 4605268 KiB
Current children cumulated memory: 4505936 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 1495
/proc/meminfo: memFree=10574524/32770624 swapFree=67108860/67108860
[pid=1337] ppid=1334 vsize=4605268 memory=4505936 CPUtime=2082.18 cores=1,3,5,7
/proc/1337/stat : 1337 (xcsp_picat) R 1334 1337 27337 0 -1 4202496 14037801 0 0 0 207270 948 0 0 20 0 1 0 63292928 4715794432 1126484 33554432000 4194304 5849740 140728439431088 140728439429960 5312867 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 39362560 140728439436470 140728439436548 140728439436548 140728439439306 0
/proc/1337/statm: 1151317 1126484 695 405 0 1148261 0
Current children cumulated CPU time: 2082.18 s
Current children cumulated vsize: 4605268 KiB
Current children cumulated memory: 4505936 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 1505
/proc/meminfo: memFree=10574096/32770624 swapFree=67108860/67108860
[pid=1337] ppid=1334 vsize=4605268 memory=4505936 CPUtime=2142.19 cores=1,3,5,7
/proc/1337/stat : 1337 (xcsp_picat) R 1334 1337 27337 0 -1 4202496 14398208 0 0 0 213250 969 0 0 20 0 1 0 63292928 4715794432 1126484 33554432000 4194304 5849740 140728439431088 140728439430088 5437698 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 39362560 140728439436470 140728439436548 140728439436548 140728439439306 0
/proc/1337/statm: 1151317 1126484 695 405 0 1148261 0
Current children cumulated CPU time: 2142.19 s
Current children cumulated vsize: 4605268 KiB
Current children cumulated memory: 4505936 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 1506
/proc/meminfo: memFree=10574216/32770624 swapFree=67108860/67108860
[pid=1337] ppid=1334 vsize=4605268 memory=4505936 CPUtime=2202.18 cores=1,3,5,7
/proc/1337/stat : 1337 (xcsp_picat) R 1334 1337 27337 0 -1 4202496 14698889 0 0 0 219233 985 0 0 20 0 1 0 63292928 4715794432 1126484 33554432000 4194304 5849740 140728439431088 140728439430248 5437698 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 39362560 140728439436470 140728439436548 140728439436548 140728439439306 0
/proc/1337/statm: 1151317 1126484 695 405 0 1148261 0
Current children cumulated CPU time: 2202.18 s
Current children cumulated vsize: 4605268 KiB
Current children cumulated memory: 4505936 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 1507
/proc/meminfo: memFree=10574400/32770624 swapFree=67108860/67108860
[pid=1337] ppid=1334 vsize=4605268 memory=4505936 CPUtime=2262.18 cores=1,3,5,7
/proc/1337/stat : 1337 (xcsp_picat) R 1334 1337 27337 0 -1 4202496 14967319 0 0 0 225216 1002 0 0 20 0 1 0 63292928 4715794432 1126484 33554432000 4194304 5849740 140728439431088 140728439430088 5437591 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 39362560 140728439436470 140728439436548 140728439436548 140728439439306 0
/proc/1337/statm: 1151317 1126484 695 405 0 1148261 0
Current children cumulated CPU time: 2262.18 s
Current children cumulated vsize: 4605268 KiB
Current children cumulated memory: 4505936 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 1508
/proc/meminfo: memFree=10574336/32770624 swapFree=67108860/67108860
[pid=1337] ppid=1334 vsize=4605268 memory=4505936 CPUtime=2322.19 cores=1,3,5,7
/proc/1337/stat : 1337 (xcsp_picat) R 1334 1337 27337 0 -1 4202496 15294657 0 0 0 231198 1021 0 0 20 0 1 0 63292928 4715794432 1126484 33554432000 4194304 5849740 140728439431088 140728439430088 5437698 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 39362560 140728439436470 140728439436548 140728439436548 140728439439306 0
/proc/1337/statm: 1151317 1126484 695 405 0 1148261 0
Current children cumulated CPU time: 2322.19 s
Current children cumulated vsize: 4605268 KiB
Current children cumulated memory: 4505936 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 1509
/proc/meminfo: memFree=10574212/32770624 swapFree=67108860/67108860
[pid=1337] ppid=1334 vsize=4605268 memory=4505936 CPUtime=2382.19 cores=1,3,5,7
/proc/1337/stat : 1337 (xcsp_picat) R 1334 1337 27337 0 -1 4202496 15542871 0 0 0 237179 1040 0 0 20 0 1 0 63292928 4715794432 1126484 33554432000 4194304 5849740 140728439431088 140728439430088 5437698 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 39362560 140728439436470 140728439436548 140728439436548 140728439439306 0
/proc/1337/statm: 1151317 1126484 695 405 0 1148261 0
Current children cumulated CPU time: 2382.19 s
Current children cumulated vsize: 4605268 KiB
Current children cumulated memory: 4505936 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 1510
/proc/meminfo: memFree=11624512/32770624 swapFree=67108860/67108860
[pid=1337] ppid=1334 vsize=3556692 memory=3457360 CPUtime=2442.18 cores=1,3,5,7
/proc/1337/stat : 1337 (xcsp_picat) R 1334 1337 27337 0 -1 4202496 15938366 0 0 0 243157 1061 0 0 20 0 1 0 63292928 3642052608 864340 33554432000 4194304 5849740 140728439431088 140728439430088 5437698 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 39362560 140728439436470 140728439436548 140728439436548 140728439439306 0
/proc/1337/statm: 889173 864340 695 405 0 886117 0
Current children cumulated CPU time: 2442.18 s
Current children cumulated vsize: 3556692 KiB
Current children cumulated memory: 3457360 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 1511
/proc/meminfo: memFree=11624744/32770624 swapFree=67108860/67108860
[pid=1337] ppid=1334 vsize=3556692 memory=3457360 CPUtime=2502.18 cores=1,3,5,7
/proc/1337/stat : 1337 (xcsp_picat) R 1334 1337 27337 0 -1 4202496 16159710 0 0 0 249140 1078 0 0 20 0 1 0 63292928 3642052608 864340 33554432000 4194304 5849740 140728439431088 140728439430088 5437698 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 39362560 140728439436470 140728439436548 140728439436548 140728439439306 0
/proc/1337/statm: 889173 864340 695 405 0 886117 0
Current children cumulated CPU time: 2502.18 s
Current children cumulated vsize: 3556692 KiB
Current children cumulated memory: 3457360 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/190 1511
/proc/meminfo: memFree=11624712/32770624 swapFree=67108860/67108860
[pid=1337] ppid=1334 vsize=3556692 memory=3457360 CPUtime=2519.89 cores=1,3,5,7
/proc/1337/stat : 1337 (xcsp_picat) R 1334 1337 27337 0 -1 4202496 16298742 0 0 0 250903 1086 0 0 20 0 1 0 63292928 3642052608 864340 33554432000 4194304 5849740 140728439431088 140728439430088 5437698 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 39362560 140728439436470 140728439436548 140728439436548 140728439439306 0
/proc/1337/statm: 889173 864340 695 405 0 886117 0
Current children cumulated CPU time: 2519.89 s
Current children cumulated vsize: 3556692 KiB
Current children cumulated memory: 3457360 KiB

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

[startup+2520.07 s]
# the end of solver process 1337 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2509.03 s, system=10.9269 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.07
CPU time (s): 2519.96
CPU user time (s): 2509.03
CPU system time (s): 10.9269
CPU usage (%): 99.9958
Max. virtual memory (cumulated for all children) (KiB): 4685168
Max. memory (cumulated for all children) (KiB): 4585732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2509.03
system time used= 10.9269
maximum resident set size= 4585732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16298742
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= 171
involuntary context switches= 1027


# summary of solver processes directly reported to runsolver:
#   pid: 1337
#   total CPU time (s): 2519.96
#   total CPU user time (s): 2509.03
#   total CPU system time (s): 10.9269

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.61761 second user time and 19.6555 second system time

The end

Launcher Data 

Begin job on node132 at 2018-07-24 20:34:58
IDJOB=4294910
IDBENCH=141443
IDSOLVER=2754
FILE ID=node132/4294910-1532457297
RUNJOBID= node132-1532432860-27369
PBS_JOBID= 21021577
Free space on /tmp= 52464 MiB

SOLVER NAME= PicatSAT 2018-06-15
BENCH NAME= XCSP18/Crossword/Crossword-m18-ogd2008-vg-09-10_c18.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4294910-1532457297/watcher-4294910-1532457297 -o /tmp/evaluation-result-4294910-1532457297/solver-4294910-1532457297 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532432860-27369 --watchdog 2580  xcsp_picat HOME/instance-4294910-1532457297.xml

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

MD5SUM BENCH= 6ec4d3779b35bd6998a70efbce1ebeb4
RANDOM SEED=2084472068

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.65
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.65
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.65
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.65
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:        14848668 kB
MemAvailable:   25416396 kB
Buffers:          186580 kB
Cached:         10545416 kB
SwapCached:            0 kB
Active:          9075832 kB
Inactive:        8222228 kB
Active(anon):    6514848 kB
Inactive(anon):    70696 kB
Active(file):    2560984 kB
Inactive(file):  8151532 kB
Unevictable:        7020 kB
Mlocked:            7020 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8188 kB
Writeback:             0 kB
AnonPages:       6572956 kB
Mapped:            40984 kB
Shmem:             17056 kB
Slab:             311068 kB
SReclaimable:     283672 kB
SUnreclaim:        27396 kB
KernelStack:        3360 kB
PageTables:        17820 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    7106608 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3350528 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 52460 MiB
End job on node132 at 2018-07-24 21:16:58