Trace number 4397846

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
cosoco 2.0? (MO) 1535.1 1536.83

General information on the benchmark

NameSteelMillSlab/
SteelMillSlab-bench_11_1.xml
MD5SUM32630071a9cd02ab12e325390d6637b6
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark260
Best CPU time to get the best result obtained on this benchmark2400.12
Satisfiable
(Un)Satisfiability was proved
Number of variables12654
Number of constraints466
Number of domains4
Minimum domain size2
Maximum domain size111
Distribution of domain sizes[{"size":2,"count":12321},{"size":13,"count":111},{"size":50,"count":111},{"size":111,"count":111}]
Minimum variable degree2
Maximum variable degree114
Distribution of variable degrees[{"degree":2,"count":12432},{"degree":3,"count":111},{"degree":112,"count":78},{"degree":113,"count":24},{"degree":114,"count":9}]
Minimum constraint arity2
Maximum constraint arity112
Distribution of constraint arities[{"arity":2,"count":132},{"arity":111,"count":112},{"arity":112,"count":222}]
Number of extensional constraints0
Number of intensional constraints132
Distribution of constraint types[{"type":"intension","count":132},{"type":"sum","count":112},{"type":"element","count":111},{"type":"channel","count":111}]
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 (12464 MiB free)
  memory of node 1: 16384 MiB (12055 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397846-1568589748/watcher-4397846-1568589748 -o /tmp/evaluation-result-4397846-1568589748/solver-4397846-1568589748 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568572747-19564 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397846-1568589748.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=22849, runsolver pid=22846

[startup+0.10088 s]*
/proc/loadavg: 1.88 2.00 2.03 3/199 22850
/proc/meminfo: memFree=25095988/32770624 swapFree=67004768/67108860
[pid=22849] ppid=22846 vsize=39020 memory=15092 CPUtime=0.1 cores=0,2,4,6
/proc/22849/stat : 22849 (cosoco) R 22846 22849 19533 0 -1 4202496 3989 0 0 0 10 0 0 0 20 0 1 0 435242642 39956480 3773 33554432000 4194304 6211092 140731196695552 140731196692824 5567559 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 21012480 140731196699659 140731196699761 140731196699761 140731196702670 0
/proc/22849/statm: 9755 3773 809 493 0 3060 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39020 KiB
Current children cumulated memory: 15092 KiB

[startup+0.209605 s]*
/proc/loadavg: 1.88 2.00 2.03 3/199 22850
/proc/meminfo: memFree=25093460/32770624 swapFree=67004768/67108860
[pid=22849] ppid=22846 vsize=40728 memory=16872 CPUtime=0.2 cores=0,2,4,6
/proc/22849/stat : 22849 (cosoco) R 22846 22849 19533 0 -1 4202496 4418 0 0 0 20 0 0 0 20 0 1 0 435242642 41705472 4218 33554432000 4194304 6211092 140731196695552 140731196692824 5478406 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 21012480 140731196699659 140731196699761 140731196699761 140731196702670 0
/proc/22849/statm: 10182 4218 819 493 0 3487 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40728 KiB
Current children cumulated memory: 16872 KiB

[startup+0.308882 s]*
/proc/loadavg: 1.88 2.00 2.03 4/200 22851
/proc/meminfo: memFree=25090644/32770624 swapFree=67004768/67108860
[pid=22849] ppid=22846 vsize=41712 memory=17928 CPUtime=0.3 cores=0,2,4,6
/proc/22849/stat : 22849 (cosoco) R 22846 22849 19533 0 -1 4202496 4672 0 0 0 30 0 0 0 20 0 1 0 435242642 42713088 4482 33554432000 4194304 6211092 140731196695552 140731196669112 140080742231013 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 21012480 140731196699659 140731196699761 140731196699761 140731196702670 0
/proc/22849/statm: 10428 4482 819 493 0 3733 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41712 KiB
Current children cumulated memory: 17928 KiB

[startup+0.700236 s]
/proc/loadavg: 1.88 2.00 2.03 3/199 22851
/proc/meminfo: memFree=25086924/32770624 swapFree=67004768/67108860
[pid=22849] ppid=22846 vsize=45708 memory=21732 CPUtime=0.69 cores=0,2,4,6
/proc/22849/stat : 22849 (cosoco) R 22846 22849 19533 0 -1 4202496 5653 0 0 0 69 0 0 0 20 0 1 0 435242642 46804992 5433 33554432000 4194304 6211092 140731196695552 140731196669112 5451576 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 21012480 140731196699659 140731196699761 140731196699761 140731196702670 0
/proc/22849/statm: 11427 5433 819 493 0 4732 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 45708 KiB
Current children cumulated memory: 21732 KiB

[startup+1.50023 s]
/proc/loadavg: 1.88 2.00 2.03 3/200 22853
/proc/meminfo: memFree=25076408/32770624 swapFree=67004768/67108860
[pid=22849] ppid=22846 vsize=53944 memory=30052 CPUtime=1.48 cores=0,2,4,6
/proc/22849/stat : 22849 (cosoco) R 22846 22849 19533 0 -1 4202496 7698 0 0 0 148 0 0 0 20 0 1 0 435242642 55238656 7513 33554432000 4194304 6211092 140731196695552 140731196669112 5451484 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 21012480 140731196699659 140731196699761 140731196699761 140731196702670 0
/proc/22849/statm: 13486 7513 819 493 0 6791 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 53944 KiB
Current children cumulated memory: 30052 KiB

[startup+3.10938 s]
/proc/loadavg: 1.88 2.00 2.03 3/200 22853
/proc/meminfo: memFree=25035024/32770624 swapFree=67004768/67108860
[pid=22849] ppid=22846 vsize=70628 memory=46540 CPUtime=3.09 cores=0,2,4,6
/proc/22849/stat : 22849 (cosoco) R 22846 22849 19533 0 -1 4202496 12001 0 0 0 309 0 0 0 20 0 1 0 435242642 72323072 11635 33554432000 4194304 6211092 140731196695552 140731196669112 5454176 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 21012480 140731196699659 140731196699761 140731196699761 140731196702670 0
/proc/22849/statm: 17657 11635 819 493 0 10962 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 70628 KiB
Current children cumulated memory: 46540 KiB

[startup+6.30022 s]
/proc/loadavg: 1.89 2.00 2.03 3/199 22853
/proc/meminfo: memFree=24970876/32770624 swapFree=67004768/67108860
[pid=22849] ppid=22846 vsize=103908 memory=79200 CPUtime=6.28 cores=0,2,4,6
/proc/22849/stat : 22849 (cosoco) R 22846 22849 19533 0 -1 4202496 20353 0 0 0 627 1 0 0 20 0 1 0 435242642 106401792 19800 33554432000 4194304 6211092 140731196695552 140731196669112 5451532 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 21012480 140731196699659 140731196699761 140731196699761 140731196702670 0
/proc/22849/statm: 25977 19800 819 493 0 19282 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 103908 KiB
Current children cumulated memory: 79200 KiB

[startup+12.7002 s]
/proc/loadavg: 1.90 2.00 2.03 3/199 22853
/proc/meminfo: memFree=24848832/32770624 swapFree=67004768/67108860
[pid=22849] ppid=22846 vsize=169104 memory=144936 CPUtime=12.68 cores=0,2,4,6
/proc/22849/stat : 22849 (cosoco) R 22846 22849 19533 0 -1 4202496 36961 0 0 0 1264 4 0 0 20 0 1 0 435242642 173162496 36234 33554432000 4194304 6211092 140731196695552 140731196669112 140080743154931 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 21012480 140731196699659 140731196699761 140731196699761 140731196702670 0
/proc/22849/statm: 42276 36234 819 493 0 35581 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 169104 KiB
Current children cumulated memory: 144936 KiB

[startup+25.5002 s]
/proc/loadavg: 1.92 2.00 2.03 3/199 22853
/proc/meminfo: memFree=24580520/32770624 swapFree=67004768/67108860
[pid=22849] ppid=22846 vsize=301884 memory=276624 CPUtime=25.48 cores=0,2,4,6
/proc/22849/stat : 22849 (cosoco) R 22846 22849 19533 0 -1 4202496 70182 0 0 0 2539 9 0 0 20 0 1 0 435242642 309129216 69156 33554432000 4194304 6211092 140731196695552 140731196669112 5013005 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 21012480 140731196699659 140731196699761 140731196699761 140731196702670 0
/proc/22849/statm: 75471 69156 819 493 0 68776 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 301884 KiB
Current children cumulated memory: 276624 KiB

[startup+51.1095 s]
/proc/loadavg: 1.95 2.00 2.03 3/200 22855
/proc/meminfo: memFree=24041680/32770624 swapFree=67004768/67108860
[pid=22849] ppid=22846 vsize=568796 memory=540424 CPUtime=51.08 cores=0,2,4,6
/proc/22849/stat : 22849 (cosoco) R 22846 22849 19533 0 -1 4202496 134804 0 0 0 5092 16 0 0 20 0 1 0 435242642 582447104 135106 33554432000 4194304 6211092 140731196695552 140731196669112 140080743157139 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 21012480 140731196699659 140731196699761 140731196699761 140731196702670 0
/proc/22849/statm: 142199 135106 819 493 0 135504 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 568796 KiB
Current children cumulated memory: 540424 KiB

[startup+102.3 s]
/proc/loadavg: 1.98 2.00 2.03 3/199 22859
/proc/meminfo: memFree=22985296/32770624 swapFree=67004768/67108860
[pid=22849] ppid=22846 vsize=1088988 memory=1065220 CPUtime=102.27 cores=0,2,4,6
/proc/22849/stat : 22849 (cosoco) R 22846 22849 19533 0 -1 4202496 263092 0 0 0 10194 33 0 0 20 0 1 0 435242642 1115123712 266305 33554432000 4194304 6211092 140731196695552 140731196669112 5443111 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 21012480 140731196699659 140731196699761 140731196699761 140731196702670 0
/proc/22849/statm: 272247 266305 819 493 0 265552 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 1088988 KiB
Current children cumulated memory: 1065220 KiB

[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.03 3/199 22863
/proc/meminfo: memFree=21739416/32770624 swapFree=67004768/67108860
[pid=22849] ppid=22846 vsize=1728616 memory=1683156 CPUtime=162.25 cores=0,2,4,6
/proc/22849/stat : 22849 (cosoco) R 22846 22849 19533 0 -1 4202496 413516 0 0 0 16173 52 0 0 20 0 1 0 435242642 1770102784 420789 33554432000 4194304 6211092 140731196695552 140731196669112 140080742231013 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 21012480 140731196699659 140731196699761 140731196699761 140731196702670 0
/proc/22849/statm: 432154 420789 819 493 0 425459 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 1728616 KiB
Current children cumulated memory: 1683156 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/199 22868
/proc/meminfo: memFree=20493600/32770624 swapFree=67004768/67108860
[pid=22849] ppid=22846 vsize=2328028 memory=2303140 CPUtime=222.25 cores=0,2,4,6
/proc/22849/stat : 22849 (cosoco) R 22846 22849 19533 0 -1 4202496 563358 0 0 0 22153 72 0 0 20 0 1 0 435242642 2383900672 575785 33554432000 4194304 6211092 140731196695552 140731196669112 140080742231013 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 21012480 140731196699659 140731196699761 140731196699761 140731196702670 0
/proc/22849/statm: 582007 575785 819 493 0 575312 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 2328028 KiB
Current children cumulated memory: 2303140 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/199 22874
/proc/meminfo: memFree=19247364/32770624 swapFree=67004768/67108860
[pid=22849] ppid=22846 vsize=2964220 memory=2920884 CPUtime=282.24 cores=0,2,4,6
/proc/22849/stat : 22849 (cosoco) R 22846 22849 19533 0 -1 4202496 713908 0 0 0 28132 92 0 0 20 0 1 0 435242642 3035361280 730221 33554432000 4194304 6211092 140731196695552 140731196669112 140080742231013 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 21012480 140731196699659 140731196699761 140731196699761 140731196702670 0
/proc/22849/statm: 741055 730221 819 493 0 734360 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 2964220 KiB
Current children cumulated memory: 2920884 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/199 22878
/proc/meminfo: memFree=18003268/32770624 swapFree=67004768/67108860
[pid=22849] ppid=22846 vsize=3563500 memory=3539040 CPUtime=342.23 cores=0,2,4,6
/proc/22849/stat : 22849 (cosoco) R 22846 22849 19533 0 -1 4202496 864176 0 0 0 34110 113 0 0 20 0 1 0 435242642 3649024000 884760 33554432000 4194304 6211092 140731196695552 140731196669112 140080742231013 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 21012480 140731196699659 140731196699761 140731196699761 140731196702670 0
/proc/22849/statm: 890875 884760 819 493 0 884180 0
Current children cumulated CPU time: 342.23 s
Current children cumulated vsize: 3563500 KiB
Current children cumulated memory: 3539040 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/199 22883
/proc/meminfo: memFree=16755968/32770624 swapFree=67004768/67108860
[pid=22849] ppid=22846 vsize=4218012 memory=4158356 CPUtime=402.22 cores=0,2,4,6
/proc/22849/stat : 22849 (cosoco) R 22846 22849 19533 0 -1 4202496 1014905 0 0 0 40087 135 0 0 20 0 1 0 435242642 4319244288 1039589 33554432000 4194304 6211092 140731196695552 140731196669112 140080742231013 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 21012480 140731196699659 140731196699761 140731196699761 140731196702670 0
/proc/22849/statm: 1054503 1039589 819 493 0 1047808 0
Current children cumulated CPU time: 402.22 s
Current children cumulated vsize: 4218012 KiB
Current children cumulated memory: 4158356 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/199 22889
/proc/meminfo: memFree=15510884/32770624 swapFree=67004768/67108860
[pid=22849] ppid=22846 vsize=4817292 memory=4778088 CPUtime=462.21 cores=0,2,4,6
/proc/22849/stat : 22849 (cosoco) R 22846 22849 19533 0 -1 4202496 1165253 0 0 0 46064 157 0 0 20 0 1 0 435242642 4932907008 1194522 33554432000 4194304 6211092 140731196695552 140731196669112 140080742231013 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 21012480 140731196699659 140731196699761 140731196699761 140731196702670 0
/proc/22849/statm: 1204323 1194522 819 493 0 1197628 0
Current children cumulated CPU time: 462.21 s
Current children cumulated vsize: 4817292 KiB
Current children cumulated memory: 4778088 KiB


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

Current children cumulated vsize: 9807528 KiB
Current children cumulated memory: 9713488 KiB

[startup+1002.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/200 22939
/proc/meminfo: memFree=4320692/32770624 swapFree=67004768/67108860
[pid=22849] ppid=22846 vsize=10403508 memory=10330052 CPUtime=1002.12 cores=0,2,4,6
/proc/22849/stat : 22849 (cosoco) R 22846 22849 19533 0 -1 4202496 2517506 0 0 0 99830 382 0 0 20 0 1 0 435242642 10653192192 2582513 33554432000 4194304 6211092 140731196695552 140731196669112 5451528 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 21012480 140731196699659 140731196699761 140731196699761 140731196702670 0
/proc/22849/statm: 2600877 2582513 819 493 0 2594182 0
Current children cumulated CPU time: 1002.12 s
Current children cumulated vsize: 10403508 KiB
Current children cumulated memory: 10330052 KiB

[startup+1062.3 s]
/proc/loadavg: 1.96 2.02 2.04 3/200 22943
/proc/meminfo: memFree=3078864/32770624 swapFree=67004768/67108860
[pid=22849] ppid=22846 vsize=11001600 memory=10946420 CPUtime=1062.12 cores=0,2,4,6
/proc/22849/stat : 22849 (cosoco) R 22846 22849 19533 0 -1 4202496 2667870 0 0 0 105802 410 0 0 20 0 1 0 435242642 11265638400 2736605 33554432000 4194304 6211092 140731196695552 140731196669112 140080742231013 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21012480 140731196699659 140731196699761 140731196699761 140731196702670 0
/proc/22849/statm: 2750400 2736605 819 493 0 2743705 0
Current children cumulated CPU time: 1062.12 s
Current children cumulated vsize: 11001600 KiB
Current children cumulated memory: 10946420 KiB

[startup+1122.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/199 22954
/proc/meminfo: memFree=1837076/32770624 swapFree=67004768/67108860
[pid=22849] ppid=22846 vsize=11599824 memory=11563316 CPUtime=1122.12 cores=0,2,4,6
/proc/22849/stat : 22849 (cosoco) R 22846 22849 19533 0 -1 4202496 2818302 0 0 0 111773 439 0 0 20 0 1 0 435242642 11878219776 2890829 33554432000 4194304 6211092 140731196695552 140731196669112 140080742231013 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21012480 140731196699659 140731196699761 140731196699761 140731196702670 0
/proc/22849/statm: 2899956 2890829 819 493 0 2893261 0
Current children cumulated CPU time: 1122.12 s
Current children cumulated vsize: 11599824 KiB
Current children cumulated memory: 11563316 KiB

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 22961
/proc/meminfo: memFree=590492/32770624 swapFree=67004768/67108860
[pid=22849] ppid=22846 vsize=12384904 memory=12181336 CPUtime=1182.12 cores=0,2,4,6
/proc/22849/stat : 22849 (cosoco) R 22846 22849 19533 0 -1 4202496 2969078 0 0 0 117742 470 0 0 20 0 1 0 435242642 12682141696 3045334 33554432000 4194304 6211092 140731196695552 140731196669112 140080742231013 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21012480 140731196699659 140731196699761 140731196699761 140731196702670 0
/proc/22849/statm: 3096226 3045334 819 493 0 3089531 0
Current children cumulated CPU time: 1182.12 s
Current children cumulated vsize: 12384904 KiB
Current children cumulated memory: 12181336 KiB

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 22965
/proc/meminfo: memFree=192448/32770624 swapFree=67004768/67108860
[pid=22849] ppid=22846 vsize=12981016 memory=12795888 CPUtime=1242.11 cores=0,2,4,6
/proc/22849/stat : 22849 (cosoco) R 22846 22849 19533 0 -1 4202496 3121582 0 0 0 123708 503 0 0 20 0 1 0 435242642 13292560384 3198972 33554432000 4194304 6211092 140731196695552 140731196669112 140080742231013 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 21012480 140731196699659 140731196699761 140731196699761 140731196702670 0
/proc/22849/statm: 3245254 3198972 819 493 0 3238559 0
Current children cumulated CPU time: 1242.11 s
Current children cumulated vsize: 12981016 KiB
Current children cumulated memory: 12795888 KiB

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 22969
/proc/meminfo: memFree=266048/32770624 swapFree=67004768/67108860
[pid=22849] ppid=22846 vsize=13575676 memory=13409864 CPUtime=1302.1 cores=0,2,4,6
/proc/22849/stat : 22849 (cosoco) R 22846 22849 19533 0 -1 4202496 3276076 0 0 0 129670 540 0 0 20 0 1 0 435242642 13901492224 3352466 33554432000 4194304 6211092 140731196695552 140731196669112 5451507 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 21012480 140731196699659 140731196699761 140731196699761 140731196702670 0
/proc/22849/statm: 3393919 3352466 819 493 0 3387224 0
Current children cumulated CPU time: 1302.1 s
Current children cumulated vsize: 13575676 KiB
Current children cumulated memory: 13409864 KiB

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 22975
/proc/meminfo: memFree=211788/32770624 swapFree=67004768/67108860
[pid=22849] ppid=22846 vsize=14170468 memory=14023824 CPUtime=1362.09 cores=0,2,4,6
/proc/22849/stat : 22849 (cosoco) R 22846 22849 19533 0 -1 4202496 3430249 0 0 0 135635 574 0 0 20 0 1 0 435242642 14510559232 3505956 33554432000 4194304 6211092 140731196695552 140731196669112 140080743154919 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 21012480 140731196699659 140731196699761 140731196699761 140731196702670 0
/proc/22849/statm: 3542617 3505956 819 493 0 3535922 0
Current children cumulated CPU time: 1362.09 s
Current children cumulated vsize: 14170468 KiB
Current children cumulated memory: 14023824 KiB

[startup+1422.3 s]
/proc/loadavg: 1.93 2.00 2.03 3/199 22979
/proc/meminfo: memFree=210396/32770624 swapFree=67004768/67108860
[pid=22849] ppid=22846 vsize=14765788 memory=14638432 CPUtime=1422.08 cores=0,2,4,6
/proc/22849/stat : 22849 (cosoco) R 22846 22849 19533 0 -1 4202496 3584748 0 0 0 141595 613 0 0 20 0 1 0 435242642 15120166912 3659608 33554432000 4194304 6211092 140731196695552 140731196669112 140080742231013 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21012480 140731196699659 140731196699761 140731196699761 140731196702670 0
/proc/22849/statm: 3691447 3659608 819 493 0 3684752 0
Current children cumulated CPU time: 1422.08 s
Current children cumulated vsize: 14765788 KiB
Current children cumulated memory: 14638432 KiB

[startup+1482.3 s]
/proc/loadavg: 1.97 2.00 2.03 3/199 22983
/proc/meminfo: memFree=206416/32770624 swapFree=66909136/67108860
[pid=22849] ppid=22846 vsize=15361768 memory=15252288 CPUtime=1482.08 cores=0,2,4,6
/proc/22849/stat : 22849 (cosoco) R 22846 22849 19533 0 -1 4202496 3737679 0 0 0 147551 657 0 0 20 0 1 0 435242642 15730450432 3794310 33554432000 4194304 6211092 140731196695552 140731196669112 140080742231013 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21012480 140731196699659 140731196699761 140731196699761 140731196702670 0
/proc/22849/statm: 3840442 3794310 513 493 0 3833747 0
Current children cumulated CPU time: 1482.08 s
Current children cumulated vsize: 15361768 KiB
Current children cumulated memory: 15252288 KiB



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1533.8 s]
/proc/loadavg: 2.10 2.03 2.05 3/200 23054
/proc/meminfo: memFree=15802524/32770624 swapFree=66690872/67108860
[pid=22849] ppid=22846 vsize=15872476 memory=15780312 CPUtime=1533.58 cores=0,2,4,6
/proc/22849/stat : 22849 (cosoco) R 22846 22849 19533 0 -1 4202496 3867282 0 0 0 152662 696 0 0 20 0 1 0 435242642 16253415424 3871713 33554432000 4194304 6211092 140731196695552 140731196669112 140080742231013 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21012480 140731196699659 140731196699761 140731196699761 140731196702670 0
/proc/22849/statm: 3968119 3871713 513 493 0 3961424 0
Current children cumulated CPU time: 1533.58 s
Current children cumulated vsize: 15872476 KiB
Current children cumulated memory: 15780312 KiB

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

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

[startup+1536.83 s]
# the end of solver process 22849 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1526.75 s, system=8.35345 s

Solver just ended.
Dumping a history of the last processes samples

[startup+1534.4 s]
/proc/loadavg: 2.10 2.03 2.05 2/201 23055
/proc/meminfo: memFree=15789504/32770624 swapFree=66690888/67108860
[pid=22849] ppid=22846 vsize=15872740 memory=15780668 CPUtime=1533.72 cores=0,2,4,6
/proc/22849/stat : 22849 (cosoco) D 22846 22849 19533 0 -1 512 3876702 0 1378 0 152666 706 0 0 20 0 1 0 435242642 16253685760 3882534 33554432000 4194304 6211092 140731196695552 140731196669112 5189768 0 16384 4096 8405026 18446744071580419444 0 0 17 0 0 0 39 0 0 8312316 8317760 21012480 140731196699659 140731196699761 140731196699761 140731196702670 0
/proc/22849/statm: 3968185 3882534 519 493 0 3961490 0
Current children cumulated CPU time: 1533.72 s
Current children cumulated vsize: 15872740 KiB
Current children cumulated memory: 15780668 KiB

[startup+1535.2 s]
/proc/loadavg: 2.17 2.05 2.05 3/201 23055
/proc/meminfo: memFree=15438672/32770624 swapFree=66690888/67108860
[pid=22849] ppid=22846 vsize=15872740 memory=15780668 CPUtime=1533.92 cores=0,2,4,6
/proc/22849/stat : 22849 (cosoco) D 22846 22849 19533 0 -1 512 3893849 0 3919 0 152668 724 0 0 20 0 1 0 435242642 16253685760 3902202 33554432000 4194304 6211092 140731196695552 140731196669112 5189768 0 16384 4096 8405026 18446744071580419444 0 0 17 0 0 0 92 0 0 8312316 8317760 21012480 140731196699659 140731196699761 140731196699761 140731196702670 0
/proc/22849/statm: 3968185 3902202 519 493 0 3961490 0
Current children cumulated CPU time: 1533.92 s
Current children cumulated vsize: 15872740 KiB
Current children cumulated memory: 15780668 KiB

[startup+1535.6 s]
/proc/loadavg: 2.17 2.05 2.05 3/201 23055
/proc/meminfo: memFree=15438672/32770624 swapFree=66690888/67108860
[pid=22849] ppid=22846 vsize=15872740 memory=15780668 CPUtime=1534.03 cores=0,2,4,6
/proc/22849/stat : 22849 (cosoco) R 22846 22849 19533 0 -1 512 3902800 0 5246 0 152672 731 0 0 20 0 1 0 435242642 16253685760 3912498 33554432000 4194304 6211092 140731196695552 140731196669112 5189768 0 16384 4096 8405026 0 0 0 17 0 0 0 120 0 0 8312316 8317760 21012480 140731196699659 140731196699761 140731196699761 140731196702670 0
/proc/22849/statm: 3968185 3912498 519 493 0 3961490 0
Current children cumulated CPU time: 1534.03 s
Current children cumulated vsize: 15872740 KiB
Current children cumulated memory: 15780668 KiB

[startup+1535.8 s]
/proc/loadavg: 2.17 2.05 2.05 3/201 23055
/proc/meminfo: memFree=15438672/32770624 swapFree=66690888/67108860
[pid=22849] ppid=22846 vsize=15872740 memory=15780668 CPUtime=1534.07 cores=0,2,4,6
/proc/22849/stat : 22849 (cosoco) R 22846 22849 19533 0 -1 512 3906553 0 5802 0 152674 733 0 0 20 0 1 0 435242642 16253685760 3916788 33554432000 4194304 6211092 140731196695552 140731196669112 5189768 0 16384 4096 8405026 0 0 0 17 0 0 0 132 0 0 8312316 8317760 21012480 140731196699659 140731196699761 140731196699761 140731196702670 0
/proc/22849/statm: 3968185 3916788 519 493 0 3961490 0
Current children cumulated CPU time: 1534.07 s
Current children cumulated vsize: 15872740 KiB
Current children cumulated memory: 15780668 KiB

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1536.83
CPU time (s): 1535.1
CPU user time (s): 1526.75
CPU system time (s): 8.35345
CPU usage (%): 99.8875
Max. virtual memory (cumulated for all children) (KiB): 15872740
Max. memory (cumulated for all children) (KiB): 15780668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1526.75
system time used= 8.35345
maximum resident set size= 15667276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3906560
page faults= 5804
swaps= 0
block input operations= 376664
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15249
involuntary context switches= 2480


# summary of solver processes directly reported to runsolver:
#   pid: 22849
#   total CPU time (s): 1535.1
#   total CPU user time (s): 1526.75
#   total CPU system time (s): 8.35345

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.53966 second user time and 10.5218 second system time

The end

Launcher Data 

Begin job on node126 at 2019-09-16 01:21:51
IDJOB=4397846
IDBENCH=139382
IDSOLVER=2850
FILE ID=node126/4397846-1568589748
RUNJOBID= node126-1568572747-19564
PBS_JOBID= 21703324
Free space on /tmp= 55704 MiB

SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/SteelMillSlab/SteelMillSlab-bench_11_1.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4397846-1568589748/watcher-4397846-1568589748 -o /tmp/evaluation-result-4397846-1568589748/solver-4397846-1568589748 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568572747-19564 --watchdog 2560  cosoco -lc -model -restarts -stick HOME/instance-4397846-1568589748.xml

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

MD5SUM BENCH= 32630071a9cd02ab12e325390d6637b6
RANDOM SEED=917710739

node126.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.45
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.56
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.45
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.56
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.45
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.56
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.45
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        25108624 kB
MemAvailable:   31662924 kB
Buffers:          181144 kB
Cached:          6631712 kB
SwapCached:         2912 kB
Active:          2976756 kB
Inactive:        4038408 kB
Active(anon):     199676 kB
Inactive(anon):    51868 kB
Active(file):    2777080 kB
Inactive(file):  3986540 kB
Unevictable:      108736 kB
Mlocked:          108736 kB
SwapTotal:      67108860 kB
SwapFree:       67004768 kB
Dirty:              2364 kB
Writeback:             0 kB
AnonPages:        309136 kB
Mapped:            49500 kB
Shmem:             41008 kB
Slab:             243196 kB
SReclaimable:     213028 kB
SUnreclaim:        30168 kB
KernelStack:        3520 kB
PageTables:         6064 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     731764 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 55488 MiB
End job on node126 at 2019-09-16 01:47:33