Trace number 4407569

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.13 2400.34

General information on the benchmark

NameQuadraticAssignment/QuadraticAssignment-m1-s1/
QuadraticAssignment-wil100.xml
MD5SUM1336f815b0da41bdd00c29c220879b91
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark148097
Best CPU time to get the best result obtained on this benchmark2400.05
Satisfiable
(Un)Satisfiability was proved
Number of variables10100
Number of constraints4951
Number of domains2
Minimum domain size10
Maximum domain size100
Distribution of domain sizes[{"size":10,"count":4950},{"size":100,"count":100}]
Minimum variable degree0
Maximum variable degree100
Distribution of variable degrees[{"degree":0,"count":5050},{"degree":2,"count":4950},{"degree":100,"count":100}]
Minimum constraint arity3
Maximum constraint arity100
Distribution of constraint arities[{"arity":3,"count":4950},{"arity":100,"count":1}]
Number of extensional constraints4950
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":4950},{"type":"allDifferent","count":1}]
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 (13759 MiB free)
  memory of node 1: 16384 MiB (12295 MiB free)
  node distances:
     10  21
     21  10

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

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

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=1388, runsolver pid=1385

[startup+0.100198 s]*
/proc/loadavg: 0.00 0.01 0.05 4/200 1389
/proc/meminfo: memFree=26647340/32770624 swapFree=66986436/67108860
[pid=1388] ppid=1385 vsize=2031716 memory=24500 CPUtime=0.1 cores=0,2,4,6
/proc/1388/stat : 1388 (xcsp_picat) R 1385 1388 1326 0 -1 4202496 1697 0 0 0 10 0 0 0 20 0 1 0 527220730 2080477184 6125 33554432000 4194304 5870510 140723489725104 140723489722248 4469060 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 25096192 140723489727519 140723489727597 140723489727597 140723489730506 0
/proc/1388/statm: 507929 6125 833 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 24500 KiB

[startup+0.209699 s]*
/proc/loadavg: 0.00 0.01 0.05 4/200 1389
/proc/meminfo: memFree=26622796/32770624 swapFree=66986436/67108860
[pid=1388] ppid=1385 vsize=2031716 memory=34740 CPUtime=0.21 cores=0,2,4,6
/proc/1388/stat : 1388 (xcsp_picat) R 1385 1388 1326 0 -1 4202496 1702 0 0 0 21 0 0 0 20 0 1 0 527220730 2080477184 8685 33554432000 4194304 5870510 140723489725104 140723489722248 4428923 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 25096192 140723489727519 140723489727597 140723489727597 140723489730506 0
/proc/1388/statm: 507929 8685 833 410 0 503402 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 34740 KiB

[startup+0.309689 s]*
/proc/loadavg: 0.00 0.01 0.05 4/200 1389
/proc/meminfo: memFree=26604364/32770624 swapFree=66986436/67108860
[pid=1388] ppid=1385 vsize=2031716 memory=44980 CPUtime=0.31 cores=0,2,4,6
/proc/1388/stat : 1388 (xcsp_picat) R 1385 1388 1326 0 -1 4202496 1707 0 0 0 31 0 0 0 20 0 1 0 527220730 2080477184 11245 33554432000 4194304 5870510 140723489725104 140723489722248 4464638 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 25096192 140723489727519 140723489727597 140723489727597 140723489730506 0
/proc/1388/statm: 507929 11245 833 410 0 503402 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 44980 KiB

[startup+0.700423 s]
/proc/loadavg: 0.00 0.01 0.05 4/200 1389
/proc/meminfo: memFree=26563212/32770624 swapFree=66986436/67108860
[pid=1388] ppid=1385 vsize=2031716 memory=83892 CPUtime=0.69 cores=0,2,4,6
/proc/1388/stat : 1388 (xcsp_picat) R 1385 1388 1326 0 -1 4202496 1726 0 0 0 68 1 0 0 20 0 1 0 527220730 2080477184 20973 33554432000 4194304 5870510 140723489725104 140723489724408 4525437 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 25096192 140723489727519 140723489727597 140723489727597 140723489730506 0
/proc/1388/statm: 507929 20973 833 410 0 503402 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 83892 KiB

[startup+1.50043 s]
/proc/loadavg: 0.00 0.01 0.05 4/200 1389
/proc/meminfo: memFree=26432016/32770624 swapFree=66986436/67108860
[pid=1388] ppid=1385 vsize=2031716 memory=165884 CPUtime=1.49 cores=0,2,4,6
/proc/1388/stat : 1388 (xcsp_picat) R 1385 1388 1326 0 -1 4202496 1766 0 0 0 147 2 0 0 20 0 1 0 527220730 2080477184 41471 33554432000 4194304 5870510 140723489725104 140723489724408 4459087 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 25096192 140723489727519 140723489727597 140723489727597 140723489730506 0
/proc/1388/statm: 507929 41471 841 410 0 503402 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 165884 KiB

[startup+3.10969 s]
/proc/loadavg: 0.16 0.05 0.06 4/200 1389
/proc/meminfo: memFree=25746972/32770624 swapFree=66986436/67108860
[pid=1388] ppid=1385 vsize=2031716 memory=327676 CPUtime=3.1 cores=0,2,4,6
/proc/1388/stat : 1388 (xcsp_picat) R 1385 1388 1326 0 -1 4202496 1900 0 0 0 306 4 0 0 20 0 1 0 527220730 2080477184 81919 33554432000 4194304 5870510 140723489725104 140723489724408 4515805 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 25096192 140723489727519 140723489727597 140723489727597 140723489730506 0
/proc/1388/statm: 507929 81919 841 410 0 503402 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 327676 KiB

[startup+6.30032 s]
/proc/loadavg: 0.16 0.05 0.06 4/200 1390
/proc/meminfo: memFree=25010636/32770624 swapFree=66986436/67108860
[pid=1388] ppid=1385 vsize=2031716 memory=649212 CPUtime=6.28 cores=0,2,4,6
/proc/1388/stat : 1388 (xcsp_picat) R 1385 1388 1326 0 -1 4202496 2118 0 0 0 619 9 0 0 20 0 1 0 527220730 2080477184 162303 33554432000 4194304 5870510 140723489725104 140723489724408 4475250 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 25096192 140723489727519 140723489727597 140723489727597 140723489730506 0
/proc/1388/statm: 507929 162303 841 410 0 503402 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 649212 KiB

[startup+12.7003 s]
/proc/loadavg: 0.45 0.11 0.08 4/200 1390
/proc/meminfo: memFree=24403312/32770624 swapFree=66986436/67108860
[pid=1388] ppid=1385 vsize=2031716 memory=1294332 CPUtime=12.69 cores=0,2,4,6
/proc/1388/stat : 1388 (xcsp_picat) R 1385 1388 1326 0 -1 4202496 2437 0 0 0 1250 19 0 0 20 0 1 0 527220730 2080477184 323583 33554432000 4194304 5870510 140723489725104 140723489724408 4826656 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 25096192 140723489727519 140723489727597 140723489727597 140723489730506 0
/proc/1388/statm: 507929 323583 841 410 0 503402 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 1294332 KiB

[startup+25.5004 s]
/proc/loadavg: 0.68 0.17 0.10 4/200 1392
/proc/meminfo: memFree=21363784/32770624 swapFree=66986436/67108860
[pid=1388] ppid=1385 vsize=4213360 memory=4109672 CPUtime=25.49 cores=0,2,4,6
/proc/1388/stat : 1388 (xcsp_picat) R 1385 1388 1326 0 -1 4202496 6898 0 0 0 2489 60 0 0 20 0 1 0 527220730 4314480640 1027418 33554432000 4194304 5870510 140723489725104 140723489724424 5245088 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 25096192 140723489727519 140723489727597 140723489727597 140723489730506 0
/proc/1388/statm: 1053340 1027418 846 410 0 1048813 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 4213360 KiB
Current children cumulated memory: 4109672 KiB

[startup+51.1106 s]
/proc/loadavg: 1.13 0.32 0.15 4/200 1392
/proc/meminfo: memFree=21498096/32770624 swapFree=66986436/67108860
[pid=1388] ppid=1385 vsize=4216716 memory=4124728 CPUtime=51.09 cores=0,2,4,6
/proc/1388/stat : 1388 (xcsp_picat) R 1385 1388 1326 0 -1 4202496 23573 0 0 0 4822 287 0 0 20 0 1 0 527220730 4317917184 1031182 33554432000 4194304 5870510 140723489725104 140723489724072 5355029 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 25096192 140723489727519 140723489727597 140723489727597 140723489730506 0
/proc/1388/statm: 1054179 1031182 846 410 0 1049652 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 4216716 KiB
Current children cumulated memory: 4124728 KiB

[startup+102.3 s]
/proc/loadavg: 1.65 0.60 0.25 4/199 1396
/proc/meminfo: memFree=23409100/32770624 swapFree=66986436/67108860
[pid=1388] ppid=1385 vsize=4224396 memory=2394240 CPUtime=102.28 cores=0,2,4,6
/proc/1388/stat : 1388 (xcsp_picat) R 1385 1388 1326 0 -1 4202496 56409 0 0 0 9482 746 0 0 20 0 1 0 527220730 4325781504 598560 33554432000 4194304 5870510 140723489725104 140723489724072 5246232 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 25096192 140723489727519 140723489727597 140723489727597 140723489730506 0
/proc/1388/statm: 1056099 598560 846 410 0 1051572 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 4224396 KiB
Current children cumulated memory: 2394240 KiB

[startup+162.3 s]
/proc/loadavg: 1.87 0.86 0.36 4/198 1402
/proc/meminfo: memFree=19455580/32770624 swapFree=66986436/67108860
[pid=1388] ppid=1385 vsize=8135252 memory=6092944 CPUtime=162.27 cores=0,2,4,6
/proc/1388/stat : 1388 (xcsp_picat) R 1385 1388 1326 0 -1 4202496 91257 0 0 0 14925 1302 0 0 20 0 1 0 527220730 8330498048 1523236 33554432000 4194304 5870510 140723489725104 140723489724104 5353161 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 25096192 140723489727519 140723489727597 140723489727597 140723489730506 0
/proc/1388/statm: 2033813 1523236 848 410 0 2029286 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 8135252 KiB
Current children cumulated memory: 6092944 KiB

[startup+222.3 s]
/proc/loadavg: 1.95 1.07 0.47 4/199 1407
/proc/meminfo: memFree=19293408/32770624 swapFree=66986436/67108860
[pid=1388] ppid=1385 vsize=6411328 memory=6295880 CPUtime=222.26 cores=0,2,4,6
/proc/1388/stat : 1388 (xcsp_picat) R 1385 1388 1326 0 -1 4202496 99786 0 0 0 20871 1355 0 0 20 0 1 0 527220730 6565199872 1573970 33554432000 4194304 5870510 140723489725104 140723489724424 5245088 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 25096192 140723489727519 140723489727597 140723489727597 140723489730506 0
/proc/1388/statm: 1602832 1573970 896 410 0 1598305 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 6411328 KiB
Current children cumulated memory: 6295880 KiB

[startup+282.3 s]
/proc/loadavg: 1.98 1.24 0.56 4/199 1411
/proc/meminfo: memFree=19288672/32770624 swapFree=66986436/67108860
[pid=1388] ppid=1385 vsize=6412868 memory=6301268 CPUtime=282.26 cores=0,2,4,6
/proc/1388/stat : 1388 (xcsp_picat) R 1385 1388 1326 0 -1 4202496 112018 0 0 0 26803 1423 0 0 20 0 1 0 527220730 6566776832 1575317 33554432000 4194304 5870510 140723489725104 140723489724072 5246232 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 25096192 140723489727519 140723489727597 140723489727597 140723489730506 0
/proc/1388/statm: 1603217 1575317 896 410 0 1598690 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 6412868 KiB
Current children cumulated memory: 6301268 KiB

[startup+342.3 s]
/proc/loadavg: 1.99 1.37 0.65 4/198 1417
/proc/meminfo: memFree=19260728/32770624 swapFree=66986436/67108860
[pid=1388] ppid=1385 vsize=6414920 memory=6307408 CPUtime=342.25 cores=0,2,4,6
/proc/1388/stat : 1388 (xcsp_picat) R 1385 1388 1326 0 -1 4202496 127490 0 0 0 32722 1503 0 0 20 0 1 0 527220730 6568878080 1576852 33554432000 4194304 5870510 140723489725104 140723489724072 5245855 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 25096192 140723489727519 140723489727597 140723489727597 140723489730506 0
/proc/1388/statm: 1603730 1576852 896 410 0 1599203 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 6414920 KiB
Current children cumulated memory: 6307408 KiB

[startup+402.3 s]
/proc/loadavg: 2.22 1.53 0.75 4/199 1429
/proc/meminfo: memFree=19254236/32770624 swapFree=66986436/67108860
[pid=1388] ppid=1385 vsize=6416820 memory=6315596 CPUtime=402.25 cores=0,2,4,6
/proc/1388/stat : 1388 (xcsp_picat) R 1385 1388 1326 0 -1 4202496 141317 0 0 0 38633 1592 0 0 20 0 1 0 527220730 6570823680 1578899 33554432000 4194304 5870510 140723489725104 140723489724072 5245088 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 25096192 140723489727519 140723489727597 140723489727597 140723489730506 0
/proc/1388/statm: 1604205 1578899 896 410 0 1599678 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 6416820 KiB
Current children cumulated memory: 6315596 KiB

[startup+462.3 s]
/proc/loadavg: 2.80 1.85 0.91 4/199 1433
/proc/meminfo: memFree=19249292/32770624 swapFree=66986436/67108860
[pid=1388] ppid=1385 vsize=6418720 memory=6321704 CPUtime=462.25 cores=0,2,4,6
/proc/1388/stat : 1388 (xcsp_picat) R 1385 1388 1326 0 -1 4202496 155396 0 0 0 44554 1671 0 0 20 0 1 0 527220730 6572769280 1580426 33554432000 4194304 5870510 140723489725104 140723489724072 5245088 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 25096192 140723489727519 140723489727597 140723489727597 140723489730506 0
/proc/1388/statm: 1604680 1580426 896 410 0 1600153 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 6418720 KiB
Current children cumulated memory: 6321704 KiB


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

/proc/1388/statm: 3574336 3122827 896 410 0 3569809 0
Current children cumulated CPU time: 1662.12 s
Current children cumulated vsize: 14297344 KiB
Current children cumulated memory: 12491308 KiB

[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.72 4/199 1574
/proc/meminfo: memFree=15657524/32770624 swapFree=66986436/67108860
[pid=1388] ppid=1385 vsize=14302612 memory=9969344 CPUtime=1722.12 cores=0,2,4,6
/proc/1388/stat : 1388 (xcsp_picat) R 1385 1388 1326 0 -1 4202496 493004 0 0 0 165646 6566 0 0 20 0 1 0 527220730 14645874688 2492336 33554432000 4194304 5870510 140723489725104 140723489724072 5246600 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 25096192 140723489727519 140723489727597 140723489727597 140723489730506 0
/proc/1388/statm: 3575653 2492336 896 410 0 3571126 0
Current children cumulated CPU time: 1722.12 s
Current children cumulated vsize: 14302612 KiB
Current children cumulated memory: 9969344 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.73 4/199 1580
/proc/meminfo: memFree=12182432/32770624 swapFree=66986436/67108860
[pid=1388] ppid=1385 vsize=14306556 memory=13424168 CPUtime=1782.11 cores=0,2,4,6
/proc/1388/stat : 1388 (xcsp_picat) R 1385 1388 1326 0 -1 4202496 512283 0 0 0 171285 6926 0 0 20 0 1 0 527220730 14649913344 3356042 33554432000 4194304 5870510 140723489725104 140723489724072 5246600 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 25096192 140723489727519 140723489727597 140723489727597 140723489730506 0
/proc/1388/statm: 3576639 3356042 896 410 0 3572112 0
Current children cumulated CPU time: 1782.11 s
Current children cumulated vsize: 14306556 KiB
Current children cumulated memory: 13424168 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 1.99 1.75 4/199 1584
/proc/meminfo: memFree=14723320/32770624 swapFree=66986436/67108860
[pid=1388] ppid=1385 vsize=14311824 memory=10889916 CPUtime=1842.11 cores=0,2,4,6
/proc/1388/stat : 1388 (xcsp_picat) R 1385 1388 1326 0 -1 4202496 532464 0 0 0 176930 7281 0 0 20 0 1 0 527220730 14655307776 2722479 33554432000 4194304 5870510 140723489725104 140723489724072 5245855 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 25096192 140723489727519 140723489727597 140723489727597 140723489730506 0
/proc/1388/statm: 3577956 2722479 896 410 0 3573429 0
Current children cumulated CPU time: 1842.11 s
Current children cumulated vsize: 14311824 KiB
Current children cumulated memory: 10889916 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 1.99 1.77 4/198 1588
/proc/meminfo: memFree=11309188/32770624 swapFree=66986436/67108860
[pid=1388] ppid=1385 vsize=14315772 memory=14219920 CPUtime=1902.11 cores=0,2,4,6
/proc/1388/stat : 1388 (xcsp_picat) R 1385 1388 1326 0 -1 4202496 552391 0 0 0 182554 7657 0 0 20 0 1 0 527220730 14659350528 3554980 33554432000 4194304 5870510 140723489725104 140723489724072 5355029 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 25096192 140723489727519 140723489727597 140723489727597 140723489730506 0
/proc/1388/statm: 3578943 3554980 896 410 0 3574416 0
Current children cumulated CPU time: 1902.11 s
Current children cumulated vsize: 14315772 KiB
Current children cumulated memory: 14219920 KiB

[startup+1962.3 s]
/proc/loadavg: 2.10 2.02 1.79 4/198 1594
/proc/meminfo: memFree=13878828/32770624 swapFree=66986436/67108860
[pid=1388] ppid=1385 vsize=14321040 memory=11734716 CPUtime=1962.1 cores=0,2,4,6
/proc/1388/stat : 1388 (xcsp_picat) R 1385 1388 1326 0 -1 4202496 571141 0 0 0 188198 8012 0 0 20 0 1 0 527220730 14664744960 2933679 33554432000 4194304 5870510 140723489725104 140723489724072 5246600 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 25096192 140723489727519 140723489727597 140723489727597 140723489730506 0
/proc/1388/statm: 3580260 2933679 896 410 0 3575733 0
Current children cumulated CPU time: 1962.1 s
Current children cumulated vsize: 14321040 KiB
Current children cumulated memory: 11734716 KiB

[startup+2022.3 s]
/proc/loadavg: 1.99 2.00 1.80 4/198 1598
/proc/meminfo: memFree=16528300/32770624 swapFree=66986436/67108860
[pid=1388] ppid=1385 vsize=14326304 memory=9087820 CPUtime=2022.1 cores=0,2,4,6
/proc/1388/stat : 1388 (xcsp_picat) R 1385 1388 1326 0 -1 4202496 592533 0 0 0 193834 8376 0 0 20 0 1 0 527220730 14670135296 2271955 33554432000 4194304 5870510 140723489725104 140723489724072 5246600 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 25096192 140723489727519 140723489727597 140723489727597 140723489730506 0
/proc/1388/statm: 3581576 2271955 896 410 0 3577049 0
Current children cumulated CPU time: 2022.1 s
Current children cumulated vsize: 14326304 KiB
Current children cumulated memory: 9087820 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 1.81 4/198 1602
/proc/meminfo: memFree=12744752/32770624 swapFree=66986436/67108860
[pid=1388] ppid=1385 vsize=14328280 memory=12858116 CPUtime=2082.1 cores=0,2,4,6
/proc/1388/stat : 1388 (xcsp_picat) R 1385 1388 1326 0 -1 4202496 608215 0 0 0 199562 8648 0 0 20 0 1 0 527220730 14672158720 3214529 33554432000 4194304 5870510 140723489725104 140723489724072 5246232 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 25096192 140723489727519 140723489727597 140723489727597 140723489730506 0
/proc/1388/statm: 3582070 3214529 896 410 0 3577543 0
Current children cumulated CPU time: 2082.1 s
Current children cumulated vsize: 14328280 KiB
Current children cumulated memory: 12858116 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 1.82 4/198 1608
/proc/meminfo: memFree=15443328/32770624 swapFree=66986436/67108860
[pid=1388] ppid=1385 vsize=14334216 memory=10170932 CPUtime=2142.09 cores=0,2,4,6
/proc/1388/stat : 1388 (xcsp_picat) R 1385 1388 1326 0 -1 4202496 628922 0 0 0 205204 9005 0 0 20 0 1 0 527220730 14678237184 2542733 33554432000 4194304 5870510 140723489725104 140723489724072 5246280 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 25096192 140723489727519 140723489727597 140723489727597 140723489730506 0
/proc/1388/statm: 3583554 2542733 896 410 0 3579027 0
Current children cumulated CPU time: 2142.09 s
Current children cumulated vsize: 14334216 KiB
Current children cumulated memory: 10170932 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 1.83 4/199 1620
/proc/meminfo: memFree=12100956/32770624 swapFree=66986436/67108860
[pid=1388] ppid=1385 vsize=14338164 memory=13513120 CPUtime=2202.09 cores=0,2,4,6
/proc/1388/stat : 1388 (xcsp_picat) R 1385 1388 1326 0 -1 4202496 646718 0 0 0 210843 9366 0 0 20 0 1 0 527220730 14682279936 3378280 33554432000 4194304 5870510 140723489725104 140723489724072 5246232 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 25096192 140723489727519 140723489727597 140723489727597 140723489730506 0
/proc/1388/statm: 3584541 3378280 896 410 0 3580014 0
Current children cumulated CPU time: 2202.09 s
Current children cumulated vsize: 14338164 KiB
Current children cumulated memory: 13513120 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 1.85 4/199 1624
/proc/meminfo: memFree=14758272/32770624 swapFree=66986436/67108860
[pid=1388] ppid=1385 vsize=14343432 memory=10841652 CPUtime=2262.08 cores=0,2,4,6
/proc/1388/stat : 1388 (xcsp_picat) R 1385 1388 1326 0 -1 4202496 668331 0 0 0 216467 9741 0 0 20 0 1 0 527220730 14687674368 2710413 33554432000 4194304 5870510 140723489725104 140723489724072 5245088 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 25096192 140723489727519 140723489727597 140723489727597 140723489730506 0
/proc/1388/statm: 3585858 2710413 896 410 0 3581331 0
Current children cumulated CPU time: 2262.08 s
Current children cumulated vsize: 14343432 KiB
Current children cumulated memory: 10841652 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 1.86 4/199 1630
/proc/meminfo: memFree=11456796/32770624 swapFree=66986436/67108860
[pid=1388] ppid=1385 vsize=14347380 memory=14134688 CPUtime=2322.08 cores=0,2,4,6
/proc/1388/stat : 1388 (xcsp_picat) R 1385 1388 1326 0 -1 4202496 688163 0 0 0 222111 10097 0 0 20 0 1 0 527220730 14691717120 3533672 33554432000 4194304 5870510 140723489725104 140723489724072 5245088 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 25096192 140723489727519 140723489727597 140723489727597 140723489730506 0
/proc/1388/statm: 3586845 3533672 896 410 0 3582318 0
Current children cumulated CPU time: 2322.08 s
Current children cumulated vsize: 14347380 KiB
Current children cumulated memory: 14134688 KiB

[startup+2382.3 s]
/proc/loadavg: 2.03 2.01 1.87 4/199 1634
/proc/meminfo: memFree=14153508/32770624 swapFree=66986436/67108860
[pid=1388] ppid=1385 vsize=14352644 memory=11444784 CPUtime=2382.07 cores=0,2,4,6
/proc/1388/stat : 1388 (xcsp_picat) R 1385 1388 1326 0 -1 4202496 707639 0 0 0 227753 10454 0 0 20 0 1 0 527220730 14697107456 2861196 33554432000 4194304 5870510 140723489725104 140723489724072 5246265 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 25096192 140723489727519 140723489727597 140723489727597 140723489730506 0
/proc/1388/statm: 3588161 2861196 896 410 0 3583634 0
Current children cumulated CPU time: 2382.07 s
Current children cumulated vsize: 14352644 KiB
Current children cumulated memory: 11444784 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.3 s]
/proc/loadavg: 2.09 2.03 1.88 4/199 1636
/proc/meminfo: memFree=13764312/32770624 swapFree=66986436/67108860
[pid=1388] ppid=1385 vsize=14353960 memory=11841364 CPUtime=2400.08 cores=0,2,4,6
/proc/1388/stat : 1388 (xcsp_picat) R 1385 1388 1326 0 -1 4202496 712886 0 0 0 229453 10555 0 0 20 0 1 0 527220730 14698455040 2960341 33554432000 4194304 5870510 140723489725104 140723489724072 5246343 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 25096192 140723489727519 140723489727597 140723489727597 140723489730506 0
/proc/1388/statm: 3588490 2960341 896 410 0 3583963 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 14353960 KiB
Current children cumulated memory: 11841364 KiB

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

[startup+2400.34 s]
# the end of solver process 1388 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2294.53 s, system=105.594 s

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

[startup+2400.3 s]
/proc/loadavg: 2.09 2.03 1.88 4/199 1636
/proc/meminfo: memFree=13764312/32770624 swapFree=66986436/67108860
[pid=1388] ppid=1385 vsize=14353960 memory=11841364 CPUtime=2400.08 cores=0,2,4,6
/proc/1388/stat : 1388 (xcsp_picat) R 1385 1388 1326 0 -1 4202496 712886 0 0 0 229453 10555 0 0 20 0 1 0 527220730 14698455040 2960341 33554432000 4194304 5870510 140723489725104 140723489724072 5246343 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 25096192 140723489727519 140723489727597 140723489727597 140723489730506 0
/proc/1388/statm: 3588490 2960341 896 410 0 3583963 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 14353960 KiB
Current children cumulated memory: 11841364 KiB

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2400.34
CPU time (s): 2400.13
CPU user time (s): 2294.53
CPU system time (s): 105.594
CPU usage (%): 99.9911
Max. virtual memory (cumulated for all children) (KiB): 14353960
Max. memory (cumulated for all children) (KiB): 14266928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2294.53
system time used= 105.594
maximum resident set size= 14267032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 712886
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= 5
involuntary context switches= 1682


# summary of solver processes directly reported to runsolver:
#   pid: 1388
#   total CPU time (s): 2400.13
#   total CPU user time (s): 2294.53
#   total CPU system time (s): 105.594

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.1511 second user time and 17.5602 second system time

The end

Launcher Data 

Begin job on node104 at 2019-09-26 15:43:38
IDJOB=4407569
IDBENCH=123026
IDSOLVER=2873
FILE ID=node104/4407569-1569509642
RUNJOBID= node104-1569505417-1357
PBS_JOBID= 21705801
Free space on /tmp= 9832 MiB

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

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

MD5SUM BENCH= 1336f815b0da41bdd00c29c220879b91
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:        26684324 kB
MemAvailable:   31804944 kB
Buffers:          138624 kB
Cached:          5089488 kB
SwapCached:        22636 kB
Active:          3198996 kB
Inactive:        2055032 kB
Active(anon):      17092 kB
Inactive(anon):    83092 kB
Active(file):    3181904 kB
Inactive(file):  1971940 kB
Unevictable:      109924 kB
Mlocked:          109924 kB
SwapTotal:      67108860 kB
SwapFree:       66986436 kB
Dirty:              6600 kB
Writeback:             0 kB
AnonPages:        115048 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:     527400 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