Trace number 4513350

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
OR-Tools CP-SAT 9.14? (TO) 3600.18 1810.91

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x130split.opb
MD5SUMd15c8502de0d235fb9400ddf00f66b48
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark50.3655
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1301
Total number of constraints651
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)651
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint4
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.16/1810.90	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) 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: 63708 MiB (62995 MiB free)
  memory of node 1: 64465 MiB (63863 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4513350-1751212646/watcher-4513350-1751212646 -o /tmp/evaluation-result-4513350-1751212646/solver-4513350-1751212646 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751207207-28470 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:653731298 --competition_mode --input HOME/instance-4513350-1751212646.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=29343, runsolver pid=29338

[startup+0.100059 s]*
/proc/loadavg: 8.04 8.07 8.05 6/265 29349
/proc/meminfo: memFree=129903236/131250000 swapFree=33010684/33010684
[pid=29343] ppid=29338 vsize=160756 memory=18304 CPUtime=0.16 cores=1,3
/proc/29343/stat : 29343 (cp-sat-runner) S 29338 29343 28458 0 -1 4194304 2721 0 0 0 16 0 0 0 20 0 3 0 36943269 164614144 4576 18446744073709551615 4198400 12805993 140725127589744 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 16490496 140725127592217 140725127592421 140725127592421 140725127598023 0
/proc/29343/statm: 40189 4576 2144 2102 0 6754 0
[pid=29343/tid=29345] ppid=29338 vsize=160756 memory=4026532124 CPUtime=0.06 cores=1,3
/proc/29343/task/29345/stat : 29345 (cp-sat-runner) R 29338 29343 28458 0 -1 4194368 519 0 0 0 6 0 0 0 20 0 3 0 36943272 164614144 4576 18446744073709551615 4198400 12805993 140725127589744 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 16490496 140725127592217 140725127592421 140725127592421 140725127598023 0
[pid=29343/tid=29346] ppid=29338 vsize=160756 memory=2569 CPUtime=0.06 cores=1,3
/proc/29343/task/29346/stat : 29346 (cp-sat-runner) R 29338 29343 28458 0 -1 4194368 1200 0 0 0 6 0 0 0 20 0 3 0 36943272 164614144 4576 18446744073709551615 4198400 12805993 140725127589744 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 16490496 140725127592217 140725127592421 140725127592421 140725127598023 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 160756 KiB
Current children cumulated memory: 18304 KiB

[startup+0.204763 s]*
/proc/loadavg: 8.04 8.07 8.05 7/265 29364
/proc/meminfo: memFree=129901028/131250000 swapFree=33010684/33010684
[pid=29343] ppid=29338 vsize=160756 memory=20672 CPUtime=0.36 cores=1,3
/proc/29343/stat : 29343 (cp-sat-runner) S 29338 29343 28458 0 -1 4194304 3438 0 0 0 36 0 0 0 20 0 3 0 36943269 164614144 5168 18446744073709551615 4198400 12805993 140725127589744 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 16490496 140725127592217 140725127592421 140725127592421 140725127598023 0
/proc/29343/statm: 40189 5168 2144 2102 0 7373 0
[pid=29343/tid=29345] ppid=29338 vsize=160756 memory=3472328300254212635 CPUtime=0.17 cores=1,3
/proc/29343/task/29345/stat : 29345 (cp-sat-runner) R 29338 29343 28458 0 -1 4194368 1178 0 0 0 17 0 0 0 20 0 3 0 36943272 164614144 5168 18446744073709551615 4198400 12805993 140725127589744 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 16490496 140725127592217 140725127592421 140725127592421 140725127598023 0
[pid=29343/tid=29346] ppid=29338 vsize=160756 memory=211342852430 CPUtime=0.16 cores=1,3
/proc/29343/task/29346/stat : 29346 (cp-sat-runner) R 29338 29343 28458 0 -1 4194368 1258 0 0 0 16 0 0 0 20 0 3 0 36943272 164614144 5168 18446744073709551615 4198400 12805993 140725127589744 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 16490496 140725127592217 140725127592421 140725127592421 140725127598023 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 160756 KiB
Current children cumulated memory: 20672 KiB

[startup+0.305377 s]*
/proc/loadavg: 8.04 8.07 8.05 8/265 29370
/proc/meminfo: memFree=129875448/131250000 swapFree=33010684/33010684
[pid=29343] ppid=29338 vsize=160756 memory=21236 CPUtime=0.56 cores=1,3
/proc/29343/stat : 29343 (cp-sat-runner) S 29338 29343 28458 0 -1 4194304 3675 0 0 0 56 0 0 0 20 0 3 0 36943269 164614144 5309 18446744073709551615 4198400 12805993 140725127589744 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 16490496 140725127592217 140725127592421 140725127592421 140725127598023 0
/proc/29343/statm: 40189 5309 2144 2102 0 7471 0
[pid=29343/tid=29345] ppid=29338 vsize=160756 memory=7236287822542417197 CPUtime=0.27 cores=1,3
/proc/29343/task/29345/stat : 29345 (cp-sat-runner) R 29338 29343 28458 0 -1 4194368 1397 0 0 0 27 0 0 0 20 0 3 0 36943272 164614144 5309 18446744073709551615 4198400 12805993 140725127589744 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 16490496 140725127592217 140725127592421 140725127592421 140725127598023 0
[pid=29343/tid=29346] ppid=29338 vsize=160756 memory=-8183425886670592707 CPUtime=0.25 cores=1,3
/proc/29343/task/29346/stat : 29346 (cp-sat-runner) R 29338 29343 28458 0 -1 4194368 1276 0 0 0 25 0 0 0 20 0 3 0 36943272 164614144 5309 18446744073709551615 4198400 12805993 140725127589744 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 16490496 140725127592217 140725127592421 140725127592421 140725127598023 0
Current children cumulated CPU time: 0.56 s
Current children cumulated vsize: 160756 KiB
Current children cumulated memory: 21236 KiB

[startup+0.700167 s]
/proc/loadavg: 8.04 8.07 8.05 9/271 29381
/proc/meminfo: memFree=129871368/131250000 swapFree=33010684/33010684
[pid=29343] ppid=29338 vsize=160756 memory=23848 CPUtime=1.32 cores=1,3
/proc/29343/stat : 29343 (cp-sat-runner) S 29338 29343 28458 0 -1 4194304 4496 0 0 0 132 0 0 0 20 0 3 0 36943269 164614144 5962 18446744073709551615 4198400 12805993 140725127589744 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 16490496 140725127592217 140725127592421 140725127592421 140725127598023 0
/proc/29343/statm: 40189 5962 2144 2102 0 8161 0
[pid=29343/tid=29345] ppid=29338 vsize=160756 memory=0 CPUtime=0.65 cores=1,3
/proc/29343/task/29345/stat : 29345 (cp-sat-runner) R 29338 29343 28458 0 -1 4194368 2172 0 0 0 65 0 0 0 20 0 3 0 36943272 164614144 5962 18446744073709551615 4198400 12805993 140725127589744 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 16490496 140725127592217 140725127592421 140725127592421 140725127598023 0
[pid=29343/tid=29346] ppid=29338 vsize=160756 memory=0 CPUtime=0.63 cores=1,3
/proc/29343/task/29346/stat : 29346 (cp-sat-runner) R 29338 29343 28458 0 -1 4194368 1322 0 0 0 63 0 0 0 20 0 3 0 36943272 164614144 5962 18446744073709551615 4198400 12805993 140725127589744 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 16490496 140725127592217 140725127592421 140725127592421 140725127598023 0
Current children cumulated CPU time: 1.32 s
Current children cumulated vsize: 160756 KiB
Current children cumulated memory: 23848 KiB

[startup+1.50017 s]
/proc/loadavg: 8.04 8.07 8.05 9/271 29381
/proc/meminfo: memFree=129866076/131250000 swapFree=33010684/33010684
[pid=29343] ppid=29338 vsize=160756 memory=23976 CPUtime=2.92 cores=1,3
/proc/29343/stat : 29343 (cp-sat-runner) S 29338 29343 28458 0 -1 4194304 6860 0 0 0 291 1 0 0 20 0 3 0 36943269 164614144 5994 18446744073709551615 4198400 12805993 140725127589744 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 16490496 140725127592217 140725127592421 140725127592421 140725127598023 0
/proc/29343/statm: 40189 5994 2144 2102 0 8199 0
[pid=29343/tid=29345] ppid=29338 vsize=160756 memory=0 CPUtime=1.45 cores=1,3
/proc/29343/task/29345/stat : 29345 (cp-sat-runner) R 29338 29343 28458 0 -1 4194368 3808 0 0 0 145 0 0 0 20 0 3 0 36943272 164614144 5994 18446744073709551615 4198400 12805993 140725127589744 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 16490496 140725127592217 140725127592421 140725127592421 140725127598023 0
[pid=29343/tid=29346] ppid=29338 vsize=160756 memory=0 CPUtime=1.42 cores=1,3
/proc/29343/task/29346/stat : 29346 (cp-sat-runner) R 29338 29343 28458 0 -1 4194368 2010 0 0 0 142 0 0 0 20 0 3 0 36943272 164614144 5994 18446744073709551615 4198400 12805993 140725127589744 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 16490496 140725127592217 140725127592421 140725127592421 140725127598023 0
Current children cumulated CPU time: 2.92 s
Current children cumulated vsize: 160756 KiB
Current children cumulated memory: 23976 KiB

[startup+3.10538 s]
/proc/loadavg: 8.12 8.09 8.06 9/271 29381
/proc/meminfo: memFree=129838116/131250000 swapFree=33010684/33010684
[pid=29343] ppid=29338 vsize=160756 memory=25384 CPUtime=6.11 cores=1,3
/proc/29343/stat : 29343 (cp-sat-runner) S 29338 29343 28458 0 -1 4194304 7266 0 0 0 610 1 0 0 20 0 3 0 36943269 164614144 6346 18446744073709551615 4198400 12805993 140725127589744 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 16490496 140725127592217 140725127592421 140725127592421 140725127598023 0
/proc/29343/statm: 40189 6346 2144 2102 0 8533 0
[pid=29343/tid=29345] ppid=29338 vsize=160756 memory=-8183425886670592707 CPUtime=3.05 cores=1,3
/proc/29343/task/29345/stat : 29345 (cp-sat-runner) R 29338 29343 28458 0 -1 4194368 4065 0 0 0 305 0 0 0 20 0 3 0 36943272 164614144 6346 18446744073709551615 4198400 12805993 140725127589744 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 16490496 140725127592217 140725127592421 140725127592421 140725127598023 0
[pid=29343/tid=29346] ppid=29338 vsize=160756 memory=0 CPUtime=3.01 cores=1,3
/proc/29343/task/29346/stat : 29346 (cp-sat-runner) R 29338 29343 28458 0 -1 4194368 2158 0 0 0 301 0 0 0 20 0 3 0 36943272 164614144 6346 18446744073709551615 4198400 12805993 140725127589744 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 16490496 140725127592217 140725127592421 140725127592421 140725127598023 0
Current children cumulated CPU time: 6.11 s
Current children cumulated vsize: 160756 KiB
Current children cumulated memory: 25384 KiB

[startup+6.30017 s]
/proc/loadavg: 8.12 8.09 8.06 9/271 29381
/proc/meminfo: memFree=129833500/131250000 swapFree=33010684/33010684
[pid=29343] ppid=29338 vsize=160756 memory=27816 CPUtime=12.46 cores=1,3
/proc/29343/stat : 29343 (cp-sat-runner) S 29338 29343 28458 0 -1 4194304 14919 0 0 0 1244 2 0 0 20 0 3 0 36943269 164614144 6954 18446744073709551615 4198400 12805993 140725127589744 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 16490496 140725127592217 140725127592421 140725127592421 140725127598023 0
/proc/29343/statm: 40189 6954 2144 2102 0 9161 0
[pid=29343/tid=29345] ppid=29338 vsize=160756 memory=0 CPUtime=6.24 cores=1,3
/proc/29343/task/29345/stat : 29345 (cp-sat-runner) R 29338 29343 28458 0 -1 4194368 8286 0 0 0 623 1 0 0 20 0 3 0 36943272 164614144 6954 18446744073709551615 4198400 12805993 140725127589744 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 16490496 140725127592217 140725127592421 140725127592421 140725127598023 0
[pid=29343/tid=29346] ppid=29338 vsize=160756 memory=14720 CPUtime=6.17 cores=1,3
/proc/29343/task/29346/stat : 29346 (cp-sat-runner) R 29338 29343 28458 0 -1 4194368 5528 0 0 0 617 0 0 0 20 0 3 0 36943272 164614144 6954 18446744073709551615 4198400 12805993 140725127589744 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 16490496 140725127592217 140725127592421 140725127592421 140725127598023 0
Current children cumulated CPU time: 12.46 s
Current children cumulated vsize: 160756 KiB
Current children cumulated memory: 27816 KiB

[startup+12.7001 s]
/proc/loadavg: 8.10 8.08 8.06 9/271 29381
/proc/meminfo: memFree=129827972/131250000 swapFree=33010684/33010684
[pid=29343] ppid=29338 vsize=160756 memory=29608 CPUtime=25.19 cores=1,3
/proc/29343/stat : 29343 (cp-sat-runner) S 29338 29343 28458 0 -1 4194304 19235 0 0 0 2517 2 0 0 20 0 3 0 36943269 164614144 7402 18446744073709551615 4198400 12805993 140725127589744 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 16490496 140725127592217 140725127592421 140725127592421 140725127598023 0
/proc/29343/statm: 40189 7402 2144 2102 0 9622 0
[pid=29343/tid=29345] ppid=29338 vsize=160756 memory=29224 CPUtime=12.62 cores=1,3
/proc/29343/task/29345/stat : 29345 (cp-sat-runner) R 29338 29343 28458 0 -1 4194368 10909 0 0 0 1261 1 0 0 20 0 3 0 36943272 164614144 7402 18446744073709551615 4198400 12805993 140725127589744 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 16490496 140725127592217 140725127592421 140725127592421 140725127598023 0
[pid=29343/tid=29346] ppid=29338 vsize=160756 memory=29096 CPUtime=12.51 cores=1,3
/proc/29343/task/29346/stat : 29346 (cp-sat-runner) R 29338 29343 28458 0 -1 4194368 7183 0 0 0 1251 0 0 0 20 0 3 0 36943272 164614144 7402 18446744073709551615 4198400 12805993 140725127589744 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 16490496 140725127592217 140725127592421 140725127592421 140725127598023 0
Current children cumulated CPU time: 25.19 s
Current children cumulated vsize: 160756 KiB
Current children cumulated memory: 29608 KiB

[startup+25.5002 s]
/proc/loadavg: 8.08 8.08 8.06 9/272 29383
/proc/meminfo: memFree=129817924/131250000 swapFree=33010684/33010684
[pid=29343] ppid=29338 vsize=162364 memory=34916 CPUtime=50.64 cores=1,3
/proc/29343/stat : 29343 (cp-sat-runner) S 29338 29343 28458 0 -1 4194304 20949 0 0 0 5061 3 0 0 20 0 3 0 36943269 166260736 8729 18446744073709551615 4198400 12805993 140725127589744 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 16490496 140725127592217 140725127592421 140725127592421 140725127598023 0
/proc/29343/statm: 40591 8729 2144 2102 0 10930 0
[pid=29343/tid=29345] ppid=29338 vsize=162364 memory=34916 CPUtime=25.39 cores=1,3
/proc/29343/task/29345/stat : 29345 (cp-sat-runner) R 29338 29343 28458 0 -1 4194368 11553 0 0 0 2538 1 0 0 20 0 3 0 36943272 166260736 8729 18446744073709551615 4198400 12805993 140725127589744 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 16490496 140725127592217 140725127592421 140725127592421 140725127598023 0
[pid=29343/tid=29346] ppid=29338 vsize=162364 memory=-8183425886670592707 CPUtime=25.19 cores=1,3
/proc/29343/task/29346/stat : 29346 (cp-sat-runner) R 29338 29343 28458 0 -1 4194368 8248 0 0 0 2518 1 0 0 20 0 3 0 36943272 166260736 8729 18446744073709551615 4198400 12805993 140725127589744 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 16490496 140725127592217 140725127592421 140725127592421 140725127598023 0
Current children cumulated CPU time: 50.64 s
Current children cumulated vsize: 162364 KiB
Current children cumulated memory: 34916 KiB

[startup+51.1054 s]
/proc/loadavg: 8.13 8.09 8.06 9/272 29384
/proc/meminfo: memFree=129779176/131250000 swapFree=33010684/33010684
[pid=29343] ppid=29338 vsize=162364 memory=37004 CPUtime=101.54 cores=1,3
/proc/29343/stat : 29343 (cp-sat-runner) S 29338 29343 28458 0 -1 4194304 32754 0 0 0 10151 3 0 0 20 0 3 0 36943269 166260736 9251 18446744073709551615 4198400 12805993 140725127589744 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 16490496 140725127592217 140725127592421 140725127592421 140725127598023 0
/proc/29343/statm: 40591 9251 2144 2102 0 11696 0
[pid=29343/tid=29345] ppid=29338 vsize=162364 memory=37004 CPUtime=50.94 cores=1,3
/proc/29343/task/29345/stat : 29345 (cp-sat-runner) R 29338 29343 28458 0 -1 4194368 17979 0 0 0 5092 2 0 0 20 0 3 0 36943272 166260736 9251 18446744073709551615 4198400 12805993 140725127589744 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 16490496 140725127592217 140725127592421 140725127592421 140725127598023 0
[pid=29343/tid=29346] ppid=29338 vsize=162364 memory=14720 CPUtime=50.55 cores=1,3
/proc/29343/task/29346/stat : 29346 (cp-sat-runner) R 29338 29343 28458 0 -1 4194368 13553 0 0 0 5054 1 0 0 20 0 3 0 36943272 166260736 9251 18446744073709551615 4198400 12805993 140725127589744 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 16490496 140725127592217 140725127592421 140725127592421 140725127598023 0
Current children cumulated CPU time: 101.54 s
Current children cumulated vsize: 162364 KiB
Current children cumulated memory: 37004 KiB

[startup+102.3 s]
/proc/loadavg: 8.16 8.10 8.06 9/274 29390
/proc/meminfo: memFree=129746876/131250000 swapFree=33010684/33010684
[pid=29343] ppid=29338 vsize=162364 memory=38564 CPUtime=203.29 cores=1,3
/proc/29343/stat : 29343 (cp-sat-runner) S 29338 29343 28458 0 -1 4194304 45286 0 0 0 20324 5 0 0 20 0 3 0 36943269 166260736 9641 18446744073709551615 4198400 12805993 140725127589744 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 16490496 140725127592217 140725127592421 140725127592421 140725127598023 0
/proc/29343/statm: 40591 9641 2144 2102 0 12523 0
[pid=29343/tid=29345] ppid=29338 vsize=162364 memory=7648 CPUtime=101.98 cores=1,3
/proc/29343/task/29345/stat : 29345 (cp-sat-runner) R 29338 29343 28458 0 -1 4194368 25112 0 0 0 10195 3 0 0 20 0 3 0 36943272 166260736 9641 18446744073709551615 4198400 12805993 140725127589744 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 16490496 140725127592217 140725127592421 140725127592421 140725127598023 0
[pid=29343/tid=29346] ppid=29338 vsize=162364 memory=14720 CPUtime=101.23 cores=1,3
/proc/29343/task/29346/stat : 29346 (cp-sat-runner) R 29338 29343 28458 0 -1 4194368 18876 0 0 0 10122 1 0 0 20 0 3 0 36943272 166260736 9641 18446744073709551615 4198400 12805993 140725127589744 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 16490496 140725127592217 140725127592421 140725127592421 140725127598023 0
Current children cumulated CPU time: 203.29 s
Current children cumulated vsize: 162364 KiB
Current children cumulated memory: 38564 KiB

[startup+162.3 s]
/proc/loadavg: 8.11 8.10 8.06 9/274 29392
/proc/meminfo: memFree=129716504/131250000 swapFree=33010684/33010684
[pid=29343] ppid=29338 vsize=162364 memory=43556 CPUtime=322.56 cores=1,3
/proc/29343/stat : 29343 (cp-sat-runner) S 29338 29343 28458 0 -1 4194304 52521 0 0 0 32249 7 0 0 20 0 3 0 36943269 166260736 10889 18446744073709551615 4198400 12805993 140725127589744 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 16490496 140725127592217 140725127592421 140725127592421 140725127598023 0
/proc/29343/statm: 40591 10889 2144 2102 0 13099 0
[pid=29343/tid=29345] ppid=29338 vsize=162364 memory=40356 CPUtime=161.8 cores=1,3
/proc/29343/task/29345/stat : 29345 (cp-sat-runner) R 29338 29343 28458 0 -1 4194368 29196 0 0 0 16177 3 0 0 20 0 3 0 36943272 166260736 10889 18446744073709551615 4198400 12805993 140725127589744 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 16490496 140725127592217 140725127592421 140725127592421 140725127598023 0
[pid=29343/tid=29346] ppid=29338 vsize=162364 memory=43556 CPUtime=160.65 cores=1,3
/proc/29343/task/29346/stat : 29346 (cp-sat-runner) R 29338 29343 28458 0 -1 4194368 21961 0 0 0 16063 2 0 0 20 0 3 0 36943272 166260736 10889 18446744073709551615 4198400 12805993 140725127589744 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 16490496 140725127592217 140725127592421 140725127592421 140725127598023 0
Current children cumulated CPU time: 322.56 s

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

Current children cumulated memory: 76096 KiB

[startup+1362.3 s]
/proc/loadavg: 8.10 8.10 8.09 9/272 29458
/proc/meminfo: memFree=129590988/131250000 swapFree=33010684/33010684
[pid=29343] ppid=29338 vsize=166472 memory=79676 CPUtime=2708.19 cores=1,3
/proc/29343/stat : 29343 (cp-sat-runner) S 29338 29343 28458 0 -1 4194304 111563 0 0 0 270780 39 0 0 20 0 3 0 36943269 170467328 19919 18446744073709551615 4198400 12805993 140725127589744 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 16490496 140725127592217 140725127592421 140725127592421 140725127598023 0
/proc/29343/statm: 41618 19919 2144 2102 0 23636 0
[pid=29343/tid=29345] ppid=29338 vsize=166472 memory=76860 CPUtime=1356.4 cores=1,3
/proc/29343/task/29345/stat : 29345 (cp-sat-runner) R 29338 29343 28458 0 -1 4194368 49587 0 0 0 135622 18 0 0 20 0 3 0 36943272 170467328 19919 18446744073709551615 4198400 12805993 140725127589744 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 16490496 140725127592217 140725127592421 140725127592421 140725127598023 0
[pid=29343/tid=29346] ppid=29338 vsize=166472 memory=4252 CPUtime=1351.17 cores=1,3
/proc/29343/task/29346/stat : 29346 (cp-sat-runner) R 29338 29343 28458 0 -1 4194368 60444 0 0 0 135105 12 0 0 20 0 3 0 36943272 170467328 19919 18446744073709551615 4198400 12805993 140725127589744 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 16490496 140725127592217 140725127592421 140725127592421 140725127598023 0
Current children cumulated CPU time: 2708.19 s
Current children cumulated vsize: 166472 KiB
Current children cumulated memory: 79676 KiB

[startup+1422.3 s]
/proc/loadavg: 8.08 8.09 8.09 9/272 29460
/proc/meminfo: memFree=129571728/131250000 swapFree=33010684/33010684
[pid=29343] ppid=29338 vsize=166472 memory=86148 CPUtime=2827.49 cores=1,3
/proc/29343/stat : 29343 (cp-sat-runner) S 29338 29343 28458 0 -1 4194304 114395 0 0 0 282708 41 0 0 20 0 3 0 36943269 170467328 21537 18446744073709551615 4198400 12805993 140725127589744 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 16490496 140725127592217 140725127592421 140725127592421 140725127598023 0
/proc/29343/statm: 41618 21537 2144 2102 0 24114 0
[pid=29343/tid=29345] ppid=29338 vsize=166472 memory=82692 CPUtime=1415.85 cores=1,3
/proc/29343/task/29345/stat : 29345 (cp-sat-runner) R 29338 29343 28458 0 -1 4194368 50100 0 0 0 141566 19 0 0 20 0 3 0 36943272 170467328 21537 18446744073709551615 4198400 12805993 140725127589744 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 16490496 140725127592217 140725127592421 140725127592421 140725127598023 0
[pid=29343/tid=29346] ppid=29338 vsize=166472 memory=14720 CPUtime=1411 cores=1,3
/proc/29343/task/29346/stat : 29346 (cp-sat-runner) R 29338 29343 28458 0 -1 4194368 62763 0 0 0 141088 12 0 0 20 0 3 0 36943272 170467328 21537 18446744073709551615 4198400 12805993 140725127589744 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 16490496 140725127592217 140725127592421 140725127592421 140725127598023 0
Current children cumulated CPU time: 2827.49 s
Current children cumulated vsize: 166472 KiB
Current children cumulated memory: 86148 KiB

[startup+1482.3 s]
/proc/loadavg: 8.13 8.10 8.09 9/272 29466
/proc/meminfo: memFree=129557292/131250000 swapFree=33010684/33010684
[pid=29343] ppid=29338 vsize=166472 memory=87036 CPUtime=2946.79 cores=1,3
/proc/29343/stat : 29343 (cp-sat-runner) S 29338 29343 28458 0 -1 4194304 117129 0 0 0 294636 43 0 0 20 0 3 0 36943269 170467328 21759 18446744073709551615 4198400 12805993 140725127589744 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 16490496 140725127592217 140725127592421 140725127592421 140725127598023 0
/proc/29343/statm: 41618 21759 2144 2102 0 24881 0
[pid=29343/tid=29345] ppid=29338 vsize=166472 memory=17408 CPUtime=1475.29 cores=1,3
/proc/29343/task/29345/stat : 29345 (cp-sat-runner) R 29338 29343 28458 0 -1 4194368 51775 0 0 0 147510 19 0 0 20 0 3 0 36943272 170467328 21759 18446744073709551615 4198400 12805993 140725127589744 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 16490496 140725127592217 140725127592421 140725127592421 140725127598023 0
[pid=29343/tid=29346] ppid=29338 vsize=166472 memory=14720 CPUtime=1470.83 cores=1,3
/proc/29343/task/29346/stat : 29346 (cp-sat-runner) R 29338 29343 28458 0 -1 4194368 63789 0 0 0 147070 13 0 0 20 0 3 0 36943272 170467328 21759 18446744073709551615 4198400 12805993 140725127589744 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 16490496 140725127592217 140725127592421 140725127592421 140725127598023 0
Current children cumulated CPU time: 2946.79 s
Current children cumulated vsize: 166472 KiB
Current children cumulated memory: 87036 KiB

[startup+1542.3 s]
/proc/loadavg: 8.09 8.10 8.09 9/272 29468
/proc/meminfo: memFree=129565900/131250000 swapFree=33010684/33010684
[pid=29343] ppid=29338 vsize=166472 memory=89664 CPUtime=3066.09 cores=1,3
/proc/29343/stat : 29343 (cp-sat-runner) S 29338 29343 28458 0 -1 4194304 119877 0 0 0 306565 44 0 0 20 0 3 0 36943269 170467328 22416 18446744073709551615 4198400 12805993 140725127589744 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 16490496 140725127592217 140725127592421 140725127592421 140725127598023 0
/proc/29343/statm: 41618 22416 2144 2102 0 25088 0
[pid=29343/tid=29345] ppid=29338 vsize=166472 memory=87488 CPUtime=1534.73 cores=1,3
/proc/29343/task/29345/stat : 29345 (cp-sat-runner) R 29338 29343 28458 0 -1 4194368 52252 0 0 0 153453 20 0 0 20 0 3 0 36943272 170467328 22416 18446744073709551615 4198400 12805993 140725127589744 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 16490496 140725127592217 140725127592421 140725127592421 140725127598023 0
[pid=29343/tid=29346] ppid=29338 vsize=166472 memory=87488 CPUtime=1530.66 cores=1,3
/proc/29343/task/29346/stat : 29346 (cp-sat-runner) R 29338 29343 28458 0 -1 4194368 66059 0 0 0 153053 13 0 0 20 0 3 0 36943272 170467328 22416 18446744073709551615 4198400 12805993 140725127589744 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 16490496 140725127592217 140725127592421 140725127592421 140725127598023 0
Current children cumulated CPU time: 3066.09 s
Current children cumulated vsize: 166472 KiB
Current children cumulated memory: 89664 KiB

[startup+1602.3 s]
/proc/loadavg: 8.14 8.11 8.09 9/270 29470
/proc/meminfo: memFree=129555620/131250000 swapFree=33010684/33010684
[pid=29343] ppid=29338 vsize=166472 memory=91184 CPUtime=3185.4 cores=1,3
/proc/29343/stat : 29343 (cp-sat-runner) S 29338 29343 28458 0 -1 4194304 124039 0 0 0 318495 45 0 0 20 0 3 0 36943269 170467328 22796 18446744073709551615 4198400 12805993 140725127589744 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 16490496 140725127592217 140725127592421 140725127592421 140725127598023 0
/proc/29343/statm: 41618 22796 2144 2102 0 25942 0
[pid=29343/tid=29345] ppid=29338 vsize=166472 memory=14720 CPUtime=1594.17 cores=1,3
/proc/29343/task/29345/stat : 29345 (cp-sat-runner) R 29338 29343 28458 0 -1 4194368 53715 0 0 0 159397 20 0 0 20 0 3 0 36943272 170467328 22796 18446744073709551615 4198400 12805993 140725127589744 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 16490496 140725127592217 140725127592421 140725127592421 140725127598023 0
[pid=29343/tid=29346] ppid=29338 vsize=166472 memory=14720 CPUtime=1590.49 cores=1,3
/proc/29343/task/29346/stat : 29346 (cp-sat-runner) R 29338 29343 28458 0 -1 4194368 68744 0 0 0 159035 14 0 0 20 0 3 0 36943272 170467328 22796 18446744073709551615 4198400 12805993 140725127589744 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 16490496 140725127592217 140725127592421 140725127592421 140725127598023 0
Current children cumulated CPU time: 3185.4 s
Current children cumulated vsize: 166472 KiB
Current children cumulated memory: 91184 KiB

[startup+1662.3 s]
/proc/loadavg: 8.11 8.10 8.09 9/270 29472
/proc/meminfo: memFree=129535348/131250000 swapFree=33010684/33010684
[pid=29343] ppid=29338 vsize=166472 memory=92000 CPUtime=3304.69 cores=1,3
/proc/29343/stat : 29343 (cp-sat-runner) S 29338 29343 28458 0 -1 4194304 126314 0 0 0 330422 47 0 0 20 0 3 0 36943269 170467328 23000 18446744073709551615 4198400 12805993 140725127589744 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 16490496 140725127592217 140725127592421 140725127592421 140725127598023 0
/proc/29343/statm: 41618 23000 2144 2102 0 26484 0
[pid=29343/tid=29345] ppid=29338 vsize=166472 memory=14720 CPUtime=1653.61 cores=1,3
/proc/29343/task/29345/stat : 29345 (cp-sat-runner) R 29338 29343 28458 0 -1 4194368 54063 0 0 0 165340 21 0 0 20 0 3 0 36943272 170467328 23000 18446744073709551615 4198400 12805993 140725127589744 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 16490496 140725127592217 140725127592421 140725127592421 140725127598023 0
[pid=29343/tid=29346] ppid=29338 vsize=166472 memory=17408 CPUtime=1650.31 cores=1,3
/proc/29343/task/29346/stat : 29346 (cp-sat-runner) R 29338 29343 28458 0 -1 4194368 70671 0 0 0 165017 14 0 0 20 0 3 0 36943272 170467328 23000 18446744073709551615 4198400 12805993 140725127589744 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 16490496 140725127592217 140725127592421 140725127592421 140725127598023 0
Current children cumulated CPU time: 3304.69 s
Current children cumulated vsize: 166472 KiB
Current children cumulated memory: 92000 KiB

[startup+1722.3 s]
/proc/loadavg: 8.16 8.11 8.09 9/270 29474
/proc/meminfo: memFree=129524188/131250000 swapFree=33010684/33010684
[pid=29343] ppid=29338 vsize=168524 memory=97576 CPUtime=3424 cores=1,3
/proc/29343/stat : 29343 (cp-sat-runner) S 29338 29343 28458 0 -1 4194304 130251 0 0 0 342351 49 0 0 20 0 3 0 36943269 172568576 24394 18446744073709551615 4198400 12805993 140725127589744 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 16490496 140725127592217 140725127592421 140725127592421 140725127598023 0
/proc/29343/statm: 42131 24394 2144 2102 0 27630 0
[pid=29343/tid=29345] ppid=29338 vsize=168524 memory=14720 CPUtime=1713.06 cores=1,3
/proc/29343/task/29345/stat : 29345 (cp-sat-runner) R 29338 29343 28458 0 -1 4194368 54666 0 0 0 171284 22 0 0 20 0 3 0 36943272 172568576 24394 18446744073709551615 4198400 12805993 140725127589744 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 16490496 140725127592217 140725127592421 140725127592421 140725127598023 0
[pid=29343/tid=29346] ppid=29338 vsize=168524 memory=95408 CPUtime=1710.14 cores=1,3
/proc/29343/task/29346/stat : 29346 (cp-sat-runner) R 29338 29343 28458 0 -1 4194368 74005 0 0 0 170999 15 0 0 20 0 3 0 36943272 172568576 24394 18446744073709551615 4198400 12805993 140725127589744 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 16490496 140725127592217 140725127592421 140725127592421 140725127598023 0
Current children cumulated CPU time: 3424 s
Current children cumulated vsize: 168524 KiB
Current children cumulated memory: 97576 KiB

[startup+1782.3 s]
/proc/loadavg: 8.15 8.12 8.09 9/270 29476
/proc/meminfo: memFree=129513056/131250000 swapFree=33010684/33010684
[pid=29343] ppid=29338 vsize=168524 memory=97896 CPUtime=3543.3 cores=1,3
/proc/29343/stat : 29343 (cp-sat-runner) S 29338 29343 28458 0 -1 4194304 131821 0 0 0 354280 50 0 0 20 0 3 0 36943269 172568576 24474 18446744073709551615 4198400 12805993 140725127589744 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 16490496 140725127592217 140725127592421 140725127592421 140725127598023 0
/proc/29343/statm: 42131 24474 2144 2102 0 28310 0
[pid=29343/tid=29345] ppid=29338 vsize=168524 memory=99476 CPUtime=1772.51 cores=1,3
/proc/29343/task/29345/stat : 29345 (cp-sat-runner) R 29338 29343 28458 0 -1 4194368 54791 0 0 0 177229 22 0 0 20 0 3 0 36943272 172568576 24474 18446744073709551615 4198400 12805993 140725127589744 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 16490496 140725127592217 140725127592421 140725127592421 140725127598023 0
[pid=29343/tid=29346] ppid=29338 vsize=168524 memory=99348 CPUtime=1769.96 cores=1,3
/proc/29343/task/29346/stat : 29346 (cp-sat-runner) R 29338 29343 28458 0 -1 4194368 75448 0 0 0 176981 15 0 0 20 0 3 0 36943272 172568576 24474 18446744073709551615 4198400 12805993 140725127589744 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 16490496 140725127592217 140725127592421 140725127592421 140725127598023 0
Current children cumulated CPU time: 3543.3 s
Current children cumulated vsize: 168524 KiB
Current children cumulated memory: 97896 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1810.9 s]
/proc/loadavg: 8.10 8.11 8.09 9/270 29478
/proc/meminfo: memFree=129502296/131250000 swapFree=33010684/33010684
[pid=29343] ppid=29338 vsize=168524 memory=101608 CPUtime=3600.16 cores=1,3
/proc/29343/stat : 29343 (cp-sat-runner) S 29338 29343 28458 0 -1 4194304 132615 0 0 0 359965 51 0 0 20 0 3 0 36943269 172568576 25402 18446744073709551615 4198400 12805993 140725127589744 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 16490496 140725127592217 140725127592421 140725127592421 140725127598023 0
/proc/29343/statm: 42131 25402 2144 2102 0 28395 0
[pid=29343/tid=29345] ppid=29338 vsize=168524 memory=100328 CPUtime=1800.85 cores=1,3
/proc/29343/task/29345/stat : 29345 (cp-sat-runner) R 29338 29343 28458 0 -1 4194368 54881 0 0 0 180062 23 0 0 20 0 3 0 36943272 172568576 25402 18446744073709551615 4198400 12805993 140725127589744 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 16490496 140725127592217 140725127592421 140725127592421 140725127598023 0
[pid=29343/tid=29346] ppid=29338 vsize=168524 memory=14720 CPUtime=1798.48 cores=1,3
/proc/29343/task/29346/stat : 29346 (cp-sat-runner) R 29338 29343 28458 0 -1 4194368 76152 0 0 0 179833 15 0 0 20 0 3 0 36943272 172568576 25402 18446744073709551615 4198400 12805993 140725127589744 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 16490496 140725127592217 140725127592421 140725127592421 140725127598023 0
Current children cumulated CPU time: 3600.16 s
Current children cumulated vsize: 168524 KiB
Current children cumulated memory: 101608 KiB

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

[startup+1810.91 s]
# the end of solver process 29343 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3599.67 s, system=0.512564 s

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

[startup+1810.9 s]
/proc/loadavg: 8.10 8.11 8.09 9/270 29478
/proc/meminfo: memFree=129502296/131250000 swapFree=33010684/33010684
[pid=29343] ppid=29338 vsize=168524 memory=101608 CPUtime=3600.16 cores=1,3
/proc/29343/stat : 29343 (cp-sat-runner) S 29338 29343 28458 0 -1 4194304 132615 0 0 0 359965 51 0 0 20 0 3 0 36943269 172568576 25402 18446744073709551615 4198400 12805993 140725127589744 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 16490496 140725127592217 140725127592421 140725127592421 140725127598023 0
/proc/29343/statm: 42131 25402 2144 2102 0 28395 0
[pid=29343/tid=29345] ppid=29338 vsize=168524 memory=100328 CPUtime=1800.85 cores=1,3
/proc/29343/task/29345/stat : 29345 (cp-sat-runner) R 29338 29343 28458 0 -1 4194368 54881 0 0 0 180062 23 0 0 20 0 3 0 36943272 172568576 25402 18446744073709551615 4198400 12805993 140725127589744 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 16490496 140725127592217 140725127592421 140725127592421 140725127598023 0
[pid=29343/tid=29346] ppid=29338 vsize=168524 memory=14720 CPUtime=1798.48 cores=1,3
/proc/29343/task/29346/stat : 29346 (cp-sat-runner) R 29338 29343 28458 0 -1 4194368 76152 0 0 0 179833 15 0 0 20 0 3 0 36943272 172568576 25402 18446744073709551615 4198400 12805993 140725127589744 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 16490496 140725127592217 140725127592421 140725127592421 140725127598023 0
Current children cumulated CPU time: 3600.16 s
Current children cumulated vsize: 168524 KiB
Current children cumulated memory: 101608 KiB

Child status: 0

Real time (s): 1810.91
CPU time (s): 3600.18
CPU user time (s): 3599.67
CPU system time (s): 0.512564
CPU usage (%): 198.805
Max. virtual memory (cumulated for all children) (KiB): 168524
Max. memory (cumulated for all children) (KiB): 101800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.67
system time used= 0.512564
maximum resident set size= 101928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 132622
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= 32854
involuntary context switches= 130878


# summary of solver processes directly reported to runsolver:
#   pid: 29343
#   total CPU time (s): 3600.18
#   total CPU user time (s): 3599.67
#   total CPU system time (s): 0.512564

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.67838 second user time and 7.85396 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2025-06-29 17:57:26
IDJOB=4513350
IDBENCH=162339
IDSOLVER=3320
FILE ID=nodeC026/4513350-1751212646
RUNJOBID= nodeC026-1751207207-28470
SLURM_JOB_ID= 9587635
Free space on /tmp= 433020 MiB

SOLVER NAME= OR-Tools CP-SAT 9.14
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x130split.opb
COMMAND LINE= cp-sat-runner --params num_workers:NBCORE,log_search_progress:false,max_time_in_seconds:TIMEOUT,random_seed:RANDOMSEED --competition_mode --input BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4513350-1751212646/watcher-4513350-1751212646 -o /tmp/evaluation-result-4513350-1751212646/solver-4513350-1751212646 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751207207-28470 --watchdog 3760  cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:653731298 --competition_mode --input HOME/instance-4513350-1751212646.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= d15c8502de0d235fb9400ddf00f66b48
RANDOM SEED=653731298

nodeC026 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.989
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.802
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.660
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.908
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.945
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3597.149
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.950
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.896
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        129916504 kB
MemAvailable:   129770836 kB
Buffers:            3280 kB
Cached:           663748 kB
SwapCached:            0 kB
Active:           293576 kB
Inactive:         441152 kB
Active(anon):      85780 kB
Inactive(anon):        0 kB
Active(file):     207796 kB
Inactive(file):   441152 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             37976 kB
Writeback:            44 kB
AnonPages:         70576 kB
Mapped:           103188 kB
Shmem:             18080 kB
KReclaimable:      89244 kB
Slab:             175552 kB
SReclaimable:      89244 kB
SUnreclaim:        86308 kB
KernelStack:        4144 kB
PageTables:         2900 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     333692 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150424 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      187092 kB
DirectMap2M:     9021440 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433008 MiB
End job on nodeC026 at 2025-06-29 18:27:37