Trace number 4407568

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
(reference) PicatSAT 2019-09-12? (TO) 2400.05 2400.21

General information on the benchmark

NameQuadraticAssignment/QuadraticAssignment-m1-s1/
QuadraticAssignment-sko42.xml
MD5SUMee3f8a7d47c87a95d16b6f1492d4a345
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark9639
Best CPU time to get the best result obtained on this benchmark2400.02
Satisfiable
(Un)Satisfiability was proved
Number of variables1806
Number of constraints862
Number of domains2
Minimum domain size8
Maximum domain size42
Distribution of domain sizes[{"size":8,"count":861},{"size":42,"count":42}]
Minimum variable degree0
Maximum variable degree42
Distribution of variable degrees[{"degree":0,"count":903},{"degree":2,"count":861},{"degree":42,"count":42}]
Minimum constraint arity3
Maximum constraint arity42
Distribution of constraint arities[{"arity":3,"count":861},{"arity":42,"count":1}]
Number of extensional constraints861
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":861},{"type":"allDifferent","count":1}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

90.87/90.92	c xcsp_picat version 2.7b12 (9/12/2019)
90.87/90.92	o 10118

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407568-1569509642/watcher-4407568-1569509642 -o /tmp/evaluation-result-4407568-1569509642/solver-4407568-1569509642 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1569505417-1358 --watchdog 2560 xcsp_picat HOME/instance-4407568-1569509642.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=1383, runsolver pid=1379

[startup+0.100158 s]*
/proc/loadavg: 0.00 0.01 0.05 3/200 1389
/proc/meminfo: memFree=26647340/32770624 swapFree=66986436/67108860
[pid=1383] ppid=1379 vsize=2031716 memory=21920 CPUtime=0.09 cores=1,3,5,7
/proc/1383/stat : 1383 (xcsp_picat) R 1379 1383 1326 0 -1 4202496 1604 0 0 0 9 0 0 0 20 0 1 0 527220730 2080477184 5480 33554432000 4194304 5870510 140729217999840 140729217999144 4515307 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 19881984 140729218008095 140729218008173 140729218008173 140729218011082 0
/proc/1383/statm: 507929 5480 802 410 0 503402 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 21920 KiB

[startup+0.209958 s]*
/proc/loadavg: 0.00 0.01 0.05 3/200 1389
/proc/meminfo: memFree=26624844/32770624 swapFree=66986436/67108860
[pid=1383] ppid=1379 vsize=2031716 memory=34444 CPUtime=0.2 cores=1,3,5,7
/proc/1383/stat : 1383 (xcsp_picat) R 1379 1383 1326 0 -1 4202496 1610 0 0 0 20 0 0 0 20 0 1 0 527220730 2080477184 8611 33554432000 4194304 5870510 140729217999840 140729217999144 4429500 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 19881984 140729218008095 140729218008173 140729218008173 140729218011082 0
/proc/1383/statm: 507929 8611 844 410 0 503402 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 34444 KiB

[startup+0.30976 s]*
/proc/loadavg: 0.00 0.01 0.05 3/200 1389
/proc/meminfo: memFree=26604364/32770624 swapFree=66986436/67108860
[pid=1383] ppid=1379 vsize=2031716 memory=44684 CPUtime=0.3 cores=1,3,5,7
/proc/1383/stat : 1383 (xcsp_picat) R 1379 1383 1326 0 -1 4202496 1615 0 0 0 30 0 0 0 20 0 1 0 527220730 2080477184 11171 33554432000 4194304 5870510 140729217999840 140729217999144 4524135 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 19881984 140729218008095 140729218008173 140729218008173 140729218011082 0
/proc/1383/statm: 507929 11171 844 410 0 503402 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 44684 KiB

[startup+0.700369 s]
/proc/loadavg: 0.00 0.01 0.05 3/200 1389
/proc/meminfo: memFree=26564968/32770624 swapFree=66986436/67108860
[pid=1383] ppid=1379 vsize=2031716 memory=81548 CPUtime=0.69 cores=1,3,5,7
/proc/1383/stat : 1383 (xcsp_picat) R 1379 1383 1326 0 -1 4202496 1633 0 0 0 68 1 0 0 20 0 1 0 527220730 2080477184 20387 33554432000 4194304 5870510 140729217999840 140729217999144 4520559 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 19881984 140729218008095 140729218008173 140729218008173 140729218011082 0
/proc/1383/statm: 507929 20387 844 410 0 503402 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 81548 KiB

[startup+1.50039 s]
/proc/loadavg: 0.00 0.01 0.05 3/200 1389
/proc/meminfo: memFree=26432016/32770624 swapFree=66986436/67108860
[pid=1383] ppid=1379 vsize=2031716 memory=266104 CPUtime=1.49 cores=1,3,5,7
/proc/1383/stat : 1383 (xcsp_picat) R 1379 1383 1326 0 -1 4202496 1782 0 0 0 145 4 0 0 20 0 1 0 527220730 2080477184 66526 33554432000 4194304 5870510 140729217999840 140729217999144 4481143 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 19881984 140729218008095 140729218008173 140729218008173 140729218011082 0
/proc/1383/statm: 507929 66526 892 410 0 503402 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 266104 KiB

[startup+3.10976 s]
/proc/loadavg: 0.16 0.05 0.06 3/200 1389
/proc/meminfo: memFree=25746972/32770624 swapFree=66986436/67108860
[pid=1383] ppid=1379 vsize=2031716 memory=636792 CPUtime=3.09 cores=1,3,5,7
/proc/1383/stat : 1383 (xcsp_picat) R 1379 1383 1326 0 -1 4202496 2091 0 0 0 300 9 0 0 20 0 1 0 527220730 2080477184 159198 33554432000 4194304 5870510 140729217999840 140729217999144 4475146 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 19881984 140729218008095 140729218008173 140729218008173 140729218011082 0
/proc/1383/statm: 507929 159198 892 410 0 503402 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 636792 KiB

[startup+6.30024 s]
/proc/loadavg: 0.16 0.05 0.06 3/200 1390
/proc/meminfo: memFree=25010636/32770624 swapFree=66986436/67108860
[pid=1383] ppid=1379 vsize=2727972 memory=1061420 CPUtime=6.28 cores=1,3,5,7
/proc/1383/stat : 1383 (xcsp_picat) R 1379 1383 1326 0 -1 4202496 19615 0 0 0 608 20 0 0 20 0 1 0 527220730 2793443328 265355 33554432000 4194304 5870510 140729217999840 140729217998856 5337584 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 19881984 140729218008095 140729218008173 140729218008173 140729218011082 0
/proc/1383/statm: 681993 265355 962 410 0 677466 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2727972 KiB
Current children cumulated memory: 1061420 KiB

[startup+12.7003 s]
/proc/loadavg: 0.45 0.11 0.08 3/200 1390
/proc/meminfo: memFree=24403312/32770624 swapFree=66986436/67108860
[pid=1383] ppid=1379 vsize=2727972 memory=1061448 CPUtime=12.68 cores=1,3,5,7
/proc/1383/stat : 1383 (xcsp_picat) R 1379 1383 1326 0 -1 4202496 37509 0 0 0 1247 21 0 0 20 0 1 0 527220730 2793443328 265362 33554432000 4194304 5870510 140729217999840 140729217999016 5337393 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 19881984 140729218008095 140729218008173 140729218008173 140729218011082 0
/proc/1383/statm: 681993 265362 969 410 0 677466 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2727972 KiB
Current children cumulated memory: 1061448 KiB

[startup+25.5004 s]
/proc/loadavg: 0.68 0.17 0.10 3/200 1392
/proc/meminfo: memFree=21363784/32770624 swapFree=66986436/67108860
[pid=1383] ppid=1379 vsize=2982480 memory=1220244 CPUtime=25.48 cores=1,3,5,7
/proc/1383/stat : 1383 (xcsp_picat) R 1379 1383 1326 0 -1 4202496 53719 0 0 0 2521 27 0 0 20 0 1 0 527220730 3054059520 305061 33554432000 4194304 5870510 140729217999840 140729217998792 5282747 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 19881984 140729218008095 140729218008173 140729218008173 140729218011082 0
/proc/1383/statm: 745620 305061 994 410 0 741093 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2982480 KiB
Current children cumulated memory: 1220244 KiB

[startup+51.1103 s]
/proc/loadavg: 1.13 0.32 0.15 3/200 1392
/proc/meminfo: memFree=21498096/32770624 swapFree=66986436/67108860
[pid=1383] ppid=1379 vsize=2727988 memory=1062008 CPUtime=51.09 cores=1,3,5,7
/proc/1383/stat : 1383 (xcsp_picat) R 1379 1383 1326 0 -1 4202496 131369 0 0 0 5059 50 0 0 20 0 1 0 527220730 2793459712 265502 33554432000 4194304 5870510 140729217999840 140729217999016 5337401 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 19881984 140729218008095 140729218008173 140729218008173 140729218011082 0
/proc/1383/statm: 681997 265502 1001 410 0 677470 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2727988 KiB
Current children cumulated memory: 1062008 KiB

[startup+102.3 s]
/proc/loadavg: 1.65 0.60 0.25 3/199 1396
/proc/meminfo: memFree=23411044/32770624 swapFree=66986436/67108860
[pid=1383] ppid=1379 vsize=2727988 memory=1073900 CPUtime=102.26 cores=1,3,5,7
/proc/1383/stat : 1383 (xcsp_picat) R 1379 1383 1326 0 -1 4202496 172628 0 0 0 10149 77 0 0 20 0 1 0 527220730 2793459712 268475 33554432000 4194304 5870510 140729217999840 140729217998792 5272990 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 19881984 140729218008095 140729218008173 140729218008173 140729218011082 0
/proc/1383/statm: 681997 268475 1001 410 0 677470 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 2727988 KiB
Current children cumulated memory: 1073900 KiB

[startup+162.3 s]
/proc/loadavg: 1.87 0.86 0.36 3/198 1402
/proc/meminfo: memFree=19457628/32770624 swapFree=66986436/67108860
[pid=1383] ppid=1379 vsize=2736648 memory=1073908 CPUtime=162.26 cores=1,3,5,7
/proc/1383/stat : 1383 (xcsp_picat) R 1379 1383 1326 0 -1 4202496 179950 0 0 0 16142 84 0 0 20 0 1 0 527220730 2802327552 268477 33554432000 4194304 5870510 140729217999840 140729217998200 5282606 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 19881984 140729218008095 140729218008173 140729218008173 140729218011082 0
/proc/1383/statm: 684162 268477 1001 410 0 679635 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 2736648 KiB
Current children cumulated memory: 1073908 KiB

[startup+222.3 s]
/proc/loadavg: 1.95 1.07 0.47 3/199 1407
/proc/meminfo: memFree=19293408/32770624 swapFree=66986436/67108860
[pid=1383] ppid=1379 vsize=2745108 memory=1090372 CPUtime=222.25 cores=1,3,5,7
/proc/1383/stat : 1383 (xcsp_picat) R 1379 1383 1326 0 -1 4202496 190430 0 0 0 22135 90 0 0 20 0 1 0 527220730 2810990592 272593 33554432000 4194304 5870510 140729217999840 140729217998136 5282574 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 19881984 140729218008095 140729218008173 140729218008173 140729218011082 0
/proc/1383/statm: 686277 272593 1001 410 0 681750 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 2745108 KiB
Current children cumulated memory: 1090372 KiB

[startup+282.3 s]
/proc/loadavg: 1.98 1.24 0.56 3/199 1411
/proc/meminfo: memFree=19288672/32770624 swapFree=66986436/67108860
[pid=1383] ppid=1379 vsize=2752556 memory=1091884 CPUtime=282.25 cores=1,3,5,7
/proc/1383/stat : 1383 (xcsp_picat) R 1379 1383 1326 0 -1 4202496 205066 0 0 0 28127 98 0 0 20 0 1 0 527220730 2818617344 272971 33554432000 4194304 5870510 140729217999840 140729217998312 5295055 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 19881984 140729218008095 140729218008173 140729218008173 140729218011082 0
/proc/1383/statm: 688139 272971 1001 410 0 683612 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 2752556 KiB
Current children cumulated memory: 1091884 KiB

[startup+342.3 s]
/proc/loadavg: 1.99 1.36 0.64 3/198 1417
/proc/meminfo: memFree=19260728/32770624 swapFree=66986436/67108860
[pid=1383] ppid=1379 vsize=2763008 memory=1110656 CPUtime=342.24 cores=1,3,5,7
/proc/1383/stat : 1383 (xcsp_picat) R 1379 1383 1326 0 -1 4202496 221287 0 0 0 34121 103 0 0 20 0 1 0 527220730 2829320192 277664 33554432000 4194304 5870510 140729217999840 140729217998856 140104634209284 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 19881984 140729218008095 140729218008173 140729218008173 140729218011082 0
/proc/1383/statm: 690752 277664 1001 410 0 686225 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 2763008 KiB
Current children cumulated memory: 1110656 KiB

[startup+402.3 s]
/proc/loadavg: 2.22 1.53 0.75 3/199 1429
/proc/meminfo: memFree=19254236/32770624 swapFree=66986436/67108860
[pid=1383] ppid=1379 vsize=2763008 memory=1110708 CPUtime=402.24 cores=1,3,5,7
/proc/1383/stat : 1383 (xcsp_picat) R 1379 1383 1326 0 -1 4202496 241487 0 0 0 40115 109 0 0 20 0 1 0 527220730 2829320192 277677 33554432000 4194304 5870510 140729217999840 140729217998856 5282295 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 19881984 140729218008095 140729218008173 140729218008173 140729218011082 0
/proc/1383/statm: 690752 277677 1001 410 0 686225 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 2763008 KiB
Current children cumulated memory: 1110708 KiB

[startup+462.3 s]
/proc/loadavg: 2.80 1.85 0.91 3/199 1433
/proc/meminfo: memFree=19249292/32770624 swapFree=66986436/67108860
[pid=1383] ppid=1379 vsize=2763008 memory=1108560 CPUtime=462.24 cores=1,3,5,7
/proc/1383/stat : 1383 (xcsp_picat) R 1379 1383 1326 0 -1 4202496 256478 0 0 0 46107 117 0 0 20 0 1 0 527220730 2829320192 277140 33554432000 4194304 5870510 140729217999840 140729217998856 5282373 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 19881984 140729218008095 140729218008173 140729218008173 140729218011082 0
/proc/1383/statm: 690752 277140 1001 410 0 686225 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 2763008 KiB
Current children cumulated memory: 1108560 KiB


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

/proc/1383/statm: 697650 288400 1001 410 0 693123 0
Current children cumulated CPU time: 1602.17 s
Current children cumulated vsize: 2790600 KiB
Current children cumulated memory: 1153600 KiB

[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.70 3/199 1570
/proc/meminfo: memFree=13138408/32770624 swapFree=66986436/67108860
[pid=1383] ppid=1379 vsize=2790600 memory=1145408 CPUtime=1662.17 cores=1,3,5,7
/proc/1383/stat : 1383 (xcsp_picat) R 1379 1383 1326 0 -1 4202496 682729 0 0 0 165955 262 0 0 20 0 1 0 527220730 2857574400 286352 33554432000 4194304 5870510 140729217999840 140729217998856 5282578 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 19881984 140729218008095 140729218008173 140729218008173 140729218011082 0
/proc/1383/statm: 697650 286352 1001 410 0 693123 0
Current children cumulated CPU time: 1662.17 s
Current children cumulated vsize: 2790600 KiB
Current children cumulated memory: 1145408 KiB

[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.72 3/199 1574
/proc/meminfo: memFree=15659572/32770624 swapFree=66986436/67108860
[pid=1383] ppid=1379 vsize=2800804 memory=1151552 CPUtime=1722.17 cores=1,3,5,7
/proc/1383/stat : 1383 (xcsp_picat) R 1379 1383 1326 0 -1 4202496 709878 0 0 0 171947 270 0 0 20 0 1 0 527220730 2868023296 287888 33554432000 4194304 5870510 140729217999840 140729217998328 5282736 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 19881984 140729218008095 140729218008173 140729218008173 140729218011082 0
/proc/1383/statm: 700201 287888 1001 410 0 695674 0
Current children cumulated CPU time: 1722.17 s
Current children cumulated vsize: 2800804 KiB
Current children cumulated memory: 1151552 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.73 3/199 1580
/proc/meminfo: memFree=12182432/32770624 swapFree=66986436/67108860
[pid=1383] ppid=1379 vsize=2800804 memory=1164108 CPUtime=1782.16 cores=1,3,5,7
/proc/1383/stat : 1383 (xcsp_picat) R 1379 1383 1326 0 -1 4202496 730906 0 0 0 177940 276 0 0 20 0 1 0 527220730 2868023296 291027 33554432000 4194304 5870510 140729217999840 140729217998856 5258670 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 19881984 140729218008095 140729218008173 140729218008173 140729218011082 0
/proc/1383/statm: 700201 291027 1001 410 0 695674 0
Current children cumulated CPU time: 1782.16 s
Current children cumulated vsize: 2800804 KiB
Current children cumulated memory: 1164108 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 1.99 1.75 3/199 1584
/proc/meminfo: memFree=14725368/32770624 swapFree=66986436/67108860
[pid=1383] ppid=1379 vsize=2800804 memory=1162060 CPUtime=1842.16 cores=1,3,5,7
/proc/1383/stat : 1383 (xcsp_picat) R 1379 1383 1326 0 -1 4202496 752997 0 0 0 183934 282 0 0 20 0 1 0 527220730 2868023296 290515 33554432000 4194304 5870510 140729217999840 140729217998856 5282505 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 19881984 140729218008095 140729218008173 140729218008173 140729218011082 0
/proc/1383/statm: 700201 290515 1001 410 0 695674 0
Current children cumulated CPU time: 1842.16 s
Current children cumulated vsize: 2800804 KiB
Current children cumulated memory: 1162060 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 1.99 1.77 3/198 1588
/proc/meminfo: memFree=11311236/32770624 swapFree=66986436/67108860
[pid=1383] ppid=1379 vsize=2800804 memory=1159744 CPUtime=1902.16 cores=1,3,5,7
/proc/1383/stat : 1383 (xcsp_picat) R 1379 1383 1326 0 -1 4202496 766259 0 0 0 189926 290 0 0 20 0 1 0 527220730 2868023296 289936 33554432000 4194304 5870510 140729217999840 140729217998856 5283106 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 19881984 140729218008095 140729218008173 140729218008173 140729218011082 0
/proc/1383/statm: 700201 289936 1001 410 0 695674 0
Current children cumulated CPU time: 1902.16 s
Current children cumulated vsize: 2800804 KiB
Current children cumulated memory: 1159744 KiB

[startup+1962.3 s]
/proc/loadavg: 2.10 2.02 1.79 3/198 1594
/proc/meminfo: memFree=13880876/32770624 swapFree=66986436/67108860
[pid=1383] ppid=1379 vsize=2800804 memory=1161796 CPUtime=1962.15 cores=1,3,5,7
/proc/1383/stat : 1383 (xcsp_picat) R 1379 1383 1326 0 -1 4202496 809502 0 0 0 195915 300 0 0 20 0 1 0 527220730 2868023296 290449 33554432000 4194304 5870510 140729217999840 140729217998856 5282680 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 19881984 140729218008095 140729218008173 140729218008173 140729218011082 0
/proc/1383/statm: 700201 290449 1001 410 0 695674 0
Current children cumulated CPU time: 1962.15 s
Current children cumulated vsize: 2800804 KiB
Current children cumulated memory: 1161796 KiB

[startup+2022.3 s]
/proc/loadavg: 1.99 2.00 1.80 3/198 1598
/proc/meminfo: memFree=16530348/32770624 swapFree=66986436/67108860
[pid=1383] ppid=1379 vsize=2800804 memory=1163848 CPUtime=2022.15 cores=1,3,5,7
/proc/1383/stat : 1383 (xcsp_picat) R 1379 1383 1326 0 -1 4202496 823772 0 0 0 201904 311 0 0 20 0 1 0 527220730 2868023296 290962 33554432000 4194304 5870510 140729217999840 140729217998856 5282578 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 19881984 140729218008095 140729218008173 140729218008173 140729218011082 0
/proc/1383/statm: 700201 290962 1001 410 0 695674 0
Current children cumulated CPU time: 2022.15 s
Current children cumulated vsize: 2800804 KiB
Current children cumulated memory: 1163848 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 1.81 3/198 1602
/proc/meminfo: memFree=12746800/32770624 swapFree=66986436/67108860
[pid=1383] ppid=1379 vsize=2800804 memory=1168212 CPUtime=2082.14 cores=1,3,5,7
/proc/1383/stat : 1383 (xcsp_picat) R 1379 1383 1326 0 -1 4202496 848127 0 0 0 207896 318 0 0 20 0 1 0 527220730 2868023296 292053 33554432000 4194304 5870510 140729217999840 140729217998856 5283072 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 19881984 140729218008095 140729218008173 140729218008173 140729218011082 0
/proc/1383/statm: 700201 292053 1001 410 0 695674 0
Current children cumulated CPU time: 2082.14 s
Current children cumulated vsize: 2800804 KiB
Current children cumulated memory: 1168212 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 1.82 3/198 1608
/proc/meminfo: memFree=15443328/32770624 swapFree=66986436/67108860
[pid=1383] ppid=1379 vsize=2800804 memory=1164124 CPUtime=2142.14 cores=1,3,5,7
/proc/1383/stat : 1383 (xcsp_picat) R 1379 1383 1326 0 -1 4202496 873571 0 0 0 213889 325 0 0 20 0 1 0 527220730 2868023296 291031 33554432000 4194304 5870510 140729217999840 140729217998856 5283133 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 19881984 140729218008095 140729218008173 140729218008173 140729218011082 0
/proc/1383/statm: 700201 291031 1001 410 0 695674 0
Current children cumulated CPU time: 2142.14 s
Current children cumulated vsize: 2800804 KiB
Current children cumulated memory: 1164124 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/199 1620
/proc/meminfo: memFree=12103004/32770624 swapFree=66986436/67108860
[pid=1383] ppid=1379 vsize=2800804 memory=1155668 CPUtime=2202.13 cores=1,3,5,7
/proc/1383/stat : 1383 (xcsp_picat) R 1379 1383 1326 0 -1 4202496 900764 0 0 0 219882 331 0 0 20 0 1 0 527220730 2868023296 288917 33554432000 4194304 5870510 140729217999840 140729217998856 5282574 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 19881984 140729218008095 140729218008173 140729218008173 140729218011082 0
/proc/1383/statm: 700201 288917 1001 410 0 695674 0
Current children cumulated CPU time: 2202.13 s
Current children cumulated vsize: 2800804 KiB
Current children cumulated memory: 1155668 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 1.85 3/199 1624
/proc/meminfo: memFree=14758272/32770624 swapFree=66986436/67108860
[pid=1383] ppid=1379 vsize=2808860 memory=1177136 CPUtime=2262.13 cores=1,3,5,7
/proc/1383/stat : 1383 (xcsp_picat) R 1379 1383 1326 0 -1 4202496 925009 0 0 0 225876 337 0 0 20 0 1 0 527220730 2876272640 294284 33554432000 4194304 5870510 140729217999840 140729217998856 5282606 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 19881984 140729218008095 140729218008173 140729218008173 140729218011082 0
/proc/1383/statm: 702215 294284 1001 410 0 697688 0
Current children cumulated CPU time: 2262.13 s
Current children cumulated vsize: 2808860 KiB
Current children cumulated memory: 1177136 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/199 1630
/proc/meminfo: memFree=11456796/32770624 swapFree=66986436/67108860
[pid=1383] ppid=1379 vsize=2808860 memory=1177136 CPUtime=2322.13 cores=1,3,5,7
/proc/1383/stat : 1383 (xcsp_picat) R 1379 1383 1326 0 -1 4202496 938204 0 0 0 231868 345 0 0 20 0 1 0 527220730 2876272640 294284 33554432000 4194304 5870510 140729217999840 140729217998856 5282429 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 19881984 140729218008095 140729218008173 140729218008173 140729218011082 0
/proc/1383/statm: 702215 294284 1001 410 0 697688 0
Current children cumulated CPU time: 2322.13 s
Current children cumulated vsize: 2808860 KiB
Current children cumulated memory: 1177136 KiB

[startup+2382.3 s]
/proc/loadavg: 2.03 2.01 1.87 3/199 1634
/proc/meminfo: memFree=14155556/32770624 swapFree=66986436/67108860
[pid=1383] ppid=1379 vsize=2889000 memory=1177560 CPUtime=2382.13 cores=1,3,5,7
/proc/1383/stat : 1383 (xcsp_picat) R 1379 1383 1326 0 -1 4202496 951590 0 0 0 237861 352 0 0 20 0 1 0 527220730 2958336000 294390 33554432000 4194304 5870510 140729217999840 140729217998856 5307177 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 19881984 140729218008095 140729218008173 140729218008173 140729218011082 0
/proc/1383/statm: 722250 294390 1001 410 0 717723 0
Current children cumulated CPU time: 2382.13 s
Current children cumulated vsize: 2889000 KiB
Current children cumulated memory: 1177560 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.2 s]
/proc/loadavg: 2.09 2.03 1.88 3/199 1636
/proc/meminfo: memFree=13766360/32770624 swapFree=66986436/67108860
[pid=1383] ppid=1379 vsize=2808860 memory=1166896 CPUtime=2400.03 cores=1,3,5,7
/proc/1383/stat : 1383 (xcsp_picat) R 1379 1383 1326 0 -1 4202496 962574 0 0 0 239647 356 0 0 20 0 1 0 527220730 2876272640 291724 33554432000 4194304 5870510 140729217999840 140729217998856 5282505 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 19881984 140729218008095 140729218008173 140729218008173 140729218011082 0
/proc/1383/statm: 702215 291724 1001 410 0 697688 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 2808860 KiB
Current children cumulated memory: 1166896 KiB

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

[startup+2400.21 s]
# the end of solver process 1383 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2396.48 s, system=3.56879 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): 2400.21
CPU time (s): 2400.05
CPU user time (s): 2396.48
CPU system time (s): 3.56879
CPU usage (%): 99.9932
Max. virtual memory (cumulated for all children) (KiB): 3541280
Max. memory (cumulated for all children) (KiB): 1604456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.48
system time used= 3.56879
maximum resident set size= 1616744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 962574
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= 31
involuntary context switches= 684


# summary of solver processes directly reported to runsolver:
#   pid: 1383
#   total CPU time (s): 2400.05
#   total CPU user time (s): 2396.48
#   total CPU system time (s): 3.56879

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.66741 second user time and 18.1012 second system time

The end

Launcher Data 

Begin job on node104 at 2019-09-26 15:43:38
IDJOB=4407568
IDBENCH=123024
IDSOLVER=2873
FILE ID=node104/4407568-1569509642
RUNJOBID= node104-1569505417-1358
PBS_JOBID= 21705801
Free space on /tmp= 9836 MiB

SOLVER NAME= PicatSAT 2019-09-12
BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-sko42.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4407568-1569509642/watcher-4407568-1569509642 -o /tmp/evaluation-result-4407568-1569509642/solver-4407568-1569509642 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1569505417-1358 --watchdog 2560  xcsp_picat HOME/instance-4407568-1569509642.xml

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

MD5SUM BENCH= ee3f8a7d47c87a95d16b6f1492d4a345
RANDOM SEED=581571668

node104.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	: 5334.09
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	: 5334.09
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	: 5334.09
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	: 5334.09
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:        26684680 kB
MemAvailable:   31805300 kB
Buffers:          138624 kB
Cached:          5089488 kB
SwapCached:        22636 kB
Active:          3196916 kB
Inactive:        2057372 kB
Active(anon):      17352 kB
Inactive(anon):    83092 kB
Active(file):    3179564 kB
Inactive(file):  1974280 kB
Unevictable:      109924 kB
Mlocked:          109924 kB
SwapTotal:      67108860 kB
SwapFree:       66986436 kB
Dirty:              6600 kB
Writeback:             0 kB
AnonPages:        114660 kB
Mapped:            20824 kB
Shmem:             65440 kB
Slab:             424288 kB
SReclaimable:     395236 kB
SUnreclaim:        29052 kB
KernelStack:        3280 kB
PageTables:         6156 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     526104 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 9828 MiB
End job on node104 at 2019-09-26 16:23:38