Trace number 4542720

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.05 1813.61

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/ec-stargrid-04_shuffle/normalized-ec_stargrid_04_066.shuf-1.opb
MD5SUM7e4e500c6ecf133c3cb12e0c5a9fdd4f
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 benchmark12.5891
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1057
Total number of constraints530
Number of constraints which are clauses2
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints522
Minimum length of a constraint2
Maximum length of a constraint8
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 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 12
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.03/1813.60	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: 63794 MiB (44239 MiB free)
  memory of node 1: 64507 MiB (62095 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4542720-1753202679/watcher-4542720-1753202679 -o /tmp/evaluation-result-4542720-1753202679/solver-4542720-1753202679 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1753198970-147008 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:259938934 --competition_mode --input HOME/instance-4542720-1753202679.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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=147820, runsolver pid=147817

[startup+0.100085 s]*
/proc/loadavg: 7.66 7.94 7.96 9/260 147823
/proc/meminfo: memFree=108876904/131382120 swapFree=33010416/33010684
[pid=147820] ppid=147817 vsize=160300 memory=15036 CPUtime=0.17 cores=1,3
/proc/147820/stat : 147820 (cp-sat-runner) S 147817 147820 146988 0 -1 4194304 2018 0 0 0 17 0 0 0 20 0 3 0 235947258 164147200 3759 18446744073709551615 4198400 12805993 140735549489616 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 44224512 140735549491479 140735549491683 140735549491683 140735549497287 0
/proc/147820/statm: 40075 3759 2112 2102 0 5943 0
[pid=147820/tid=147822] ppid=147817 vsize=160300 memory=4026531960 CPUtime=0.06 cores=1,3
/proc/147820/task/147822/stat : 147822 (cp-sat-runner) R 147817 147820 146988 0 -1 4194368 651 0 0 0 6 0 0 0 20 0 3 0 235947261 164147200 3759 18446744073709551615 4198400 12805993 140735549489616 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 44224512 140735549491479 140735549491683 140735549491683 140735549497287 0
[pid=147820/tid=147823] ppid=147817 vsize=160300 memory=228522721619 CPUtime=0.07 cores=1,3
/proc/147820/task/147823/stat : 147823 (cp-sat-runner) R 147817 147820 146988 0 -1 4194368 393 0 0 0 7 0 0 0 20 0 3 0 235947261 164147200 3759 18446744073709551615 4198400 12805993 140735549489616 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 44224512 140735549491479 140735549491683 140735549491683 140735549497287 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 160300 KiB
Current children cumulated memory: 15036 KiB

[startup+0.215122 s]*
/proc/loadavg: 7.66 7.94 7.96 9/260 147823
/proc/meminfo: memFree=108874888/131382120 swapFree=33010416/33010684
[pid=147820] ppid=147817 vsize=160300 memory=16188 CPUtime=0.38 cores=1,3
/proc/147820/stat : 147820 (cp-sat-runner) S 147817 147820 146988 0 -1 4194304 2303 0 0 0 38 0 0 0 20 0 3 0 235947258 164147200 4047 18446744073709551615 4198400 12805993 140735549489616 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 44224512 140735549491479 140735549491683 140735549491683 140735549497287 0
/proc/147820/statm: 40075 4047 2144 2102 0 6251 0
[pid=147820/tid=147822] ppid=147817 vsize=160300 memory=7008456659818250524 CPUtime=0.16 cores=1,3
/proc/147820/task/147822/stat : 147822 (cp-sat-runner) R 147817 147820 146988 0 -1 4194368 734 0 0 0 16 0 0 0 20 0 3 0 235947261 164147200 4047 18446744073709551615 4198400 12805993 140735549489616 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 44224512 140735549491479 140735549491683 140735549491683 140735549497287 0
[pid=147820/tid=147823] ppid=147817 vsize=160300 memory=12896 CPUtime=0.19 cores=1,3
/proc/147820/task/147823/stat : 147823 (cp-sat-runner) R 147817 147820 146988 0 -1 4194368 595 0 0 0 19 0 0 0 20 0 3 0 235947261 164147200 4047 18446744073709551615 4198400 12805993 140735549489616 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 44224512 140735549491479 140735549491683 140735549491683 140735549497287 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 160300 KiB
Current children cumulated memory: 16188 KiB

[startup+0.315434 s]*
/proc/loadavg: 7.66 7.94 7.96 8/260 147823
/proc/meminfo: memFree=108883892/131382120 swapFree=33010416/33010684
[pid=147820] ppid=147817 vsize=160300 memory=16700 CPUtime=0.56 cores=1,3
/proc/147820/stat : 147820 (cp-sat-runner) S 147817 147820 146988 0 -1 4194304 2421 0 0 0 56 0 0 0 20 0 3 0 235947258 164147200 4175 18446744073709551615 4198400 12805993 140735549489616 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 44224512 140735549491479 140735549491683 140735549491683 140735549497287 0
/proc/147820/statm: 40075 4175 2144 2102 0 6359 0
[pid=147820/tid=147822] ppid=147817 vsize=160300 memory=-7311445293046992229 CPUtime=0.24 cores=1,3
/proc/147820/task/147822/stat : 147822 (cp-sat-runner) R 147817 147820 146988 0 -1 4194368 832 0 0 0 24 0 0 0 20 0 3 0 235947261 164147200 4175 18446744073709551615 4198400 12805993 140735549489616 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 44224512 140735549491479 140735549491683 140735549491683 140735549497287 0
[pid=147820/tid=147823] ppid=147817 vsize=160300 memory=0 CPUtime=0.29 cores=1,3
/proc/147820/task/147823/stat : 147823 (cp-sat-runner) R 147817 147820 146988 0 -1 4194368 615 0 0 0 29 0 0 0 20 0 3 0 235947261 164147200 4175 18446744073709551615 4198400 12805993 140735549489616 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 44224512 140735549491479 140735549491683 140735549491683 140735549497287 0
Current children cumulated CPU time: 0.56 s
Current children cumulated vsize: 160300 KiB
Current children cumulated memory: 16700 KiB

[startup+0.700345 s]
/proc/loadavg: 7.66 7.94 7.96 9/260 147823
/proc/meminfo: memFree=108880868/131382120 swapFree=33010416/33010684
[pid=147820] ppid=147817 vsize=160300 memory=20312 CPUtime=1.27 cores=1,3
/proc/147820/stat : 147820 (cp-sat-runner) S 147817 147820 146988 0 -1 4194304 3461 0 0 0 126 1 0 0 20 0 3 0 235947258 164147200 5078 18446744073709551615 4198400 12805993 140735549489616 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 44224512 140735549491479 140735549491683 140735549491683 140735549497287 0
/proc/147820/statm: 40075 5078 2144 2102 0 7271 0
[pid=147820/tid=147822] ppid=147817 vsize=160300 memory=0 CPUtime=0.58 cores=1,3
/proc/147820/task/147822/stat : 147822 (cp-sat-runner) R 147817 147820 146988 0 -1 4194368 895 0 0 0 58 0 0 0 20 0 3 0 235947261 164147200 5078 18446744073709551615 4198400 12805993 140735549489616 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 44224512 140735549491479 140735549491683 140735549491683 140735549497287 0
[pid=147820/tid=147823] ppid=147817 vsize=160300 memory=0 CPUtime=0.65 cores=1,3
/proc/147820/task/147823/stat : 147823 (cp-sat-runner) R 147817 147820 146988 0 -1 4194368 1594 0 0 0 65 0 0 0 20 0 3 0 235947261 164147200 5078 18446744073709551615 4198400 12805993 140735549489616 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 44224512 140735549491479 140735549491683 140735549491683 140735549497287 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 160300 KiB
Current children cumulated memory: 20312 KiB

[startup+1.50029 s]
/proc/loadavg: 7.66 7.94 7.96 8/260 147823
/proc/meminfo: memFree=108858624/131382120 swapFree=33010416/33010684
[pid=147820] ppid=147817 vsize=160300 memory=21848 CPUtime=2.85 cores=1,3
/proc/147820/stat : 147820 (cp-sat-runner) S 147817 147820 146988 0 -1 4194304 6005 0 0 0 284 1 0 0 20 0 3 0 235947258 164147200 5462 18446744073709551615 4198400 12805993 140735549489616 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 44224512 140735549491479 140735549491683 140735549491683 140735549497287 0
/proc/147820/statm: 40075 5462 2144 2102 0 7647 0
[pid=147820/tid=147822] ppid=147817 vsize=160300 memory=0 CPUtime=1.36 cores=1,3
/proc/147820/task/147822/stat : 147822 (cp-sat-runner) R 147817 147820 146988 0 -1 4194368 1983 0 0 0 136 0 0 0 20 0 3 0 235947261 164147200 5462 18446744073709551615 4198400 12805993 140735549489616 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 44224512 140735549491479 140735549491683 140735549491683 140735549497287 0
[pid=147820/tid=147823] ppid=147817 vsize=160300 memory=0 CPUtime=1.44 cores=1,3
/proc/147820/task/147823/stat : 147823 (cp-sat-runner) R 147817 147820 146988 0 -1 4194368 3029 0 0 0 144 0 0 0 20 0 3 0 235947261 164147200 5462 18446744073709551615 4198400 12805993 140735549489616 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 44224512 140735549491479 140735549491683 140735549491683 140735549497287 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 160300 KiB
Current children cumulated memory: 21848 KiB

[startup+3.1063 s]
/proc/loadavg: 7.66 7.94 7.96 9/260 147823
/proc/meminfo: memFree=108694452/131382120 swapFree=33010416/33010684
[pid=147820] ppid=147817 vsize=160300 memory=24536 CPUtime=6.04 cores=1,3
/proc/147820/stat : 147820 (cp-sat-runner) S 147817 147820 146988 0 -1 4194304 6726 0 0 0 602 2 0 0 20 0 3 0 235947258 164147200 6134 18446744073709551615 4198400 12805993 140735549489616 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 44224512 140735549491479 140735549491683 140735549491683 140735549497287 0
/proc/147820/statm: 40075 6134 2144 2102 0 8404 0
[pid=147820/tid=147822] ppid=147817 vsize=160300 memory=-7311445293046992229 CPUtime=2.95 cores=1,3
/proc/147820/task/147822/stat : 147822 (cp-sat-runner) R 147817 147820 146988 0 -1 4194368 2615 0 0 0 294 1 0 0 20 0 3 0 235947261 164147200 6134 18446744073709551615 4198400 12805993 140735549489616 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 44224512 140735549491479 140735549491683 140735549491683 140735549497287 0
[pid=147820/tid=147823] ppid=147817 vsize=160300 memory=0 CPUtime=3.04 cores=1,3
/proc/147820/task/147823/stat : 147823 (cp-sat-runner) R 147817 147820 146988 0 -1 4194368 3117 0 0 0 304 0 0 0 20 0 3 0 235947261 164147200 6134 18446744073709551615 4198400 12805993 140735549489616 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 44224512 140735549491479 140735549491683 140735549491683 140735549497287 0
Current children cumulated CPU time: 6.04 s
Current children cumulated vsize: 160300 KiB
Current children cumulated memory: 24536 KiB

[startup+6.30028 s]
/proc/loadavg: 7.69 7.94 7.96 9/260 147823
/proc/meminfo: memFree=108093144/131382120 swapFree=33010416/33010684
[pid=147820] ppid=147817 vsize=161104 memory=28492 CPUtime=12.37 cores=1,3
/proc/147820/stat : 147820 (cp-sat-runner) S 147817 147820 146988 0 -1 4194304 15189 0 0 0 1234 3 0 0 20 0 3 0 235947258 164970496 7123 18446744073709551615 4198400 12805993 140735549489616 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 44224512 140735549491479 140735549491683 140735549491683 140735549497287 0
/proc/147820/statm: 40276 7123 2144 2102 0 9311 0
[pid=147820/tid=147822] ppid=147817 vsize=161104 memory=27352 CPUtime=6.1 cores=1,3
/proc/147820/task/147822/stat : 147822 (cp-sat-runner) R 147817 147820 146988 0 -1 4194368 7517 0 0 0 608 2 0 0 20 0 3 0 235947261 164970496 7123 18446744073709551615 4198400 12805993 140735549489616 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 44224512 140735549491479 140735549491683 140735549491683 140735549497287 0
[pid=147820/tid=147823] ppid=147817 vsize=161104 memory=27008 CPUtime=6.22 cores=1,3
/proc/147820/task/147823/stat : 147823 (cp-sat-runner) R 147817 147820 146988 0 -1 4194368 6643 0 0 0 621 1 0 0 20 0 3 0 235947261 164970496 7123 18446744073709551615 4198400 12805993 140735549489616 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 44224512 140735549491479 140735549491683 140735549491683 140735549497287 0
Current children cumulated CPU time: 12.37 s
Current children cumulated vsize: 161104 KiB
Current children cumulated memory: 28492 KiB

[startup+12.7002 s]
/proc/loadavg: 7.71 7.94 7.96 9/260 147823
/proc/meminfo: memFree=107153568/131382120 swapFree=33010416/33010684
[pid=147820] ppid=147817 vsize=161104 memory=32460 CPUtime=25.07 cores=1,3
/proc/147820/stat : 147820 (cp-sat-runner) S 147817 147820 146988 0 -1 4194304 20523 0 0 0 2502 5 0 0 20 0 3 0 235947258 164970496 8115 18446744073709551615 4198400 12805993 140735549489616 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 44224512 140735549491479 140735549491683 140735549491683 140735549497287 0
/proc/147820/statm: 40276 8115 2144 2102 0 10384 0
[pid=147820/tid=147822] ppid=147817 vsize=161104 memory=31692 CPUtime=12.42 cores=1,3
/proc/147820/task/147822/stat : 147822 (cp-sat-runner) R 147817 147820 146988 0 -1 4194368 10624 0 0 0 1240 2 0 0 20 0 3 0 235947261 164970496 8115 18446744073709551615 4198400 12805993 140735549489616 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 44224512 140735549491479 140735549491683 140735549491683 140735549497287 0
[pid=147820/tid=147823] ppid=147817 vsize=161104 memory=14304 CPUtime=12.6 cores=1,3
/proc/147820/task/147823/stat : 147823 (cp-sat-runner) R 147817 147820 146988 0 -1 4194368 8817 0 0 0 1258 2 0 0 20 0 3 0 235947261 164970496 8115 18446744073709551615 4198400 12805993 140735549489616 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 44224512 140735549491479 140735549491683 140735549491683 140735549497287 0
Current children cumulated CPU time: 25.07 s
Current children cumulated vsize: 161104 KiB
Current children cumulated memory: 32460 KiB

[startup+25.5003 s]
/proc/loadavg: 7.62 7.91 7.95 8/260 147824
/proc/meminfo: memFree=108854292/131382120 swapFree=33010416/33010684
[pid=147820] ppid=147817 vsize=161908 memory=36684 CPUtime=50.47 cores=1,3
/proc/147820/stat : 147820 (cp-sat-runner) S 147817 147820 146988 0 -1 4194304 24181 0 0 0 5040 7 0 0 20 0 3 0 235947258 165793792 9171 18446744073709551615 4198400 12805993 140735549489616 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 44224512 140735549491479 140735549491683 140735549491683 140735549497287 0
/proc/147820/statm: 40477 9171 2144 2102 0 11463 0
[pid=147820/tid=147822] ppid=147817 vsize=161908 memory=36428 CPUtime=25.06 cores=1,3
/proc/147820/task/147822/stat : 147822 (cp-sat-runner) R 147817 147820 146988 0 -1 4194368 13507 0 0 0 2504 2 0 0 20 0 3 0 235947261 165793792 9171 18446744073709551615 4198400 12805993 140735549489616 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 44224512 140735549491479 140735549491683 140735549491683 140735549497287 0
[pid=147820/tid=147823] ppid=147817 vsize=161908 memory=36172 CPUtime=25.34 cores=1,3
/proc/147820/task/147823/stat : 147823 (cp-sat-runner) R 147817 147820 146988 0 -1 4194368 9559 0 0 0 2531 3 0 0 20 0 3 0 235947261 165793792 9171 18446744073709551615 4198400 12805993 140735549489616 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 44224512 140735549491479 140735549491683 140735549491683 140735549497287 0
Current children cumulated CPU time: 50.47 s
Current children cumulated vsize: 161908 KiB
Current children cumulated memory: 36684 KiB

[startup+51.1061 s]
/proc/loadavg: 7.75 7.92 7.95 8/260 147825
/proc/meminfo: memFree=108559976/131382120 swapFree=33010416/33010684
[pid=147820] ppid=147817 vsize=161908 memory=40652 CPUtime=101.27 cores=1,3
/proc/147820/stat : 147820 (cp-sat-runner) S 147817 147820 146988 0 -1 4194304 28282 0 0 0 10118 9 0 0 20 0 3 0 235947258 165793792 10163 18446744073709551615 4198400 12805993 140735549489616 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 44224512 140735549491479 140735549491683 140735549491683 140735549497287 0
/proc/147820/statm: 40477 10163 2144 2102 0 12482 0
[pid=147820/tid=147822] ppid=147817 vsize=161908 memory=40652 CPUtime=50.35 cores=1,3
/proc/147820/task/147822/stat : 147822 (cp-sat-runner) R 147817 147820 146988 0 -1 4194368 16774 0 0 0 5032 3 0 0 20 0 3 0 235947261 165793792 10163 18446744073709551615 4198400 12805993 140735549489616 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 44224512 140735549491479 140735549491683 140735549491683 140735549497287 0
[pid=147820/tid=147823] ppid=147817 vsize=161908 memory=40140 CPUtime=50.84 cores=1,3
/proc/147820/task/147823/stat : 147823 (cp-sat-runner) R 147817 147820 146988 0 -1 4194368 10356 0 0 0 5079 5 0 0 20 0 3 0 235947261 165793792 10163 18446744073709551615 4198400 12805993 140735549489616 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 44224512 140735549491479 140735549491683 140735549491683 140735549497287 0
Current children cumulated CPU time: 101.27 s
Current children cumulated vsize: 161908 KiB
Current children cumulated memory: 40652 KiB

[startup+102.3 s]
/proc/loadavg: 7.95 7.96 7.97 9/260 147826
/proc/meminfo: memFree=108412284/131382120 swapFree=33010416/33010684
[pid=147820] ppid=147817 vsize=161908 memory=39096 CPUtime=202.85 cores=1,3
/proc/147820/stat : 147820 (cp-sat-runner) S 147817 147820 146988 0 -1 4194304 41081 0 0 0 20270 15 0 0 20 0 3 0 235947258 165793792 9774 18446744073709551615 4198400 12805993 140735549489616 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 44224512 140735549491479 140735549491683 140735549491683 140735549497287 0
/proc/147820/statm: 40477 9774 2144 2102 0 12890 0
[pid=147820/tid=147822] ppid=147817 vsize=161908 memory=14304 CPUtime=100.92 cores=1,3
/proc/147820/task/147822/stat : 147822 (cp-sat-runner) R 147817 147820 146988 0 -1 4194368 23684 0 0 0 10088 4 0 0 20 0 3 0 235947261 165793792 9774 18446744073709551615 4198400 12805993 140735549489616 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 44224512 140735549491479 140735549491683 140735549491683 140735549497287 0
[pid=147820/tid=147823] ppid=147817 vsize=161908 memory=36024 CPUtime=101.82 cores=1,3
/proc/147820/task/147823/stat : 147823 (cp-sat-runner) R 147817 147820 146988 0 -1 4194368 16148 0 0 0 10174 8 0 0 20 0 3 0 235947261 165793792 9774 18446744073709551615 4198400 12805993 140735549489616 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 44224512 140735549491479 140735549491683 140735549491683 140735549497287 0
Current children cumulated CPU time: 202.85 s
Current children cumulated vsize: 161908 KiB
Current children cumulated memory: 39096 KiB

[startup+162.3 s]
/proc/loadavg: 7.93 7.96 7.97 9/259 147828
/proc/meminfo: memFree=107648820/131382120 swapFree=33010416/33010684
[pid=147820] ppid=147817 vsize=161908 memory=47160 CPUtime=321.92 cores=1,3
/proc/147820/stat : 147820 (cp-sat-runner) S 147817 147820 146988 0 -1 4194304 56635 0 0 0 32170 22 0 0 20 0 3 0 235947258 165793792 11790 18446744073709551615 4198400 12805993 140735549489616 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 44224512 140735549491479 140735549491683 140735549491683 140735549497287 0
/proc/147820/statm: 40477 11790 2144 2102 0 14119 0
[pid=147820/tid=147822] ppid=147817 vsize=161908 memory=43192 CPUtime=160.2 cores=1,3
/proc/147820/task/147822/stat : 147822 (cp-sat-runner) R 147817 147820 146988 0 -1 4194368 31854 0 0 0 16014 6 0 0 20 0 3 0 235947261 165793792 11790 18446744073709551615 4198400 12805993 140735549489616 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 44224512 140735549491479 140735549491683 140735549491683 140735549497287 0
[pid=147820/tid=147823] ppid=147817 vsize=161908 memory=46776 CPUtime=161.56 cores=1,3
/proc/147820/task/147823/stat : 147823 (cp-sat-runner) R 147817 147820 146988 0 -1 4194368 23417 0 0 0 16145 11 0 0 20 0 3 0 235947261 165793792 11790 18446744073709551615 4198400 12805993 140735549489616 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 44224512 140735549491479 140735549491683 140735549491683 140735549497287 0
Current children cumulated CPU time: 321.92 s
Current children cumulated vsize: 161908 KiB

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

Current children cumulated memory: 58204 KiB

[startup+1302.3 s]
/proc/loadavg: 8.10 8.11 8.06 9/258 147941
/proc/meminfo: memFree=117110096/131382120 swapFree=33010416/33010684
[pid=147820] ppid=147817 vsize=161908 memory=58972 CPUtime=2584.9 cores=1,3
/proc/147820/stat : 147820 (cp-sat-runner) S 147817 147820 146988 0 -1 4194304 112064 0 0 0 258395 95 0 0 20 0 3 0 235947258 165793792 14743 18446744073709551615 4198400 12805993 140735549489616 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 44224512 140735549491479 140735549491683 140735549491683 140735549497287 0
/proc/147820/statm: 40477 14743 2144 2102 0 17056 0
[pid=147820/tid=147822] ppid=147817 vsize=161908 memory=58716 CPUtime=1287.12 cores=1,3
/proc/147820/task/147822/stat : 147822 (cp-sat-runner) R 147817 147820 146988 0 -1 4194368 63263 0 0 0 128698 14 0 0 20 0 3 0 235947261 165793792 14743 18446744073709551615 4198400 12805993 140735549489616 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 44224512 140735549491479 140735549491683 140735549491683 140735549497287 0
[pid=147820/tid=147823] ppid=147817 vsize=161908 memory=58972 CPUtime=1296.96 cores=1,3
/proc/147820/task/147823/stat : 147823 (cp-sat-runner) R 147817 147820 146988 0 -1 4194368 47206 0 0 0 129636 60 0 0 20 0 3 0 235947261 165793792 14743 18446744073709551615 4198400 12805993 140735549489616 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 44224512 140735549491479 140735549491683 140735549491683 140735549497287 0
Current children cumulated CPU time: 2584.9 s
Current children cumulated vsize: 161908 KiB
Current children cumulated memory: 58972 KiB

[startup+1362.3 s]
/proc/loadavg: 8.08 8.10 8.06 10/259 147944
/proc/meminfo: memFree=116773100/131382120 swapFree=33010416/33010684
[pid=147820] ppid=147817 vsize=161908 memory=60124 CPUtime=2703.98 cores=1,3
/proc/147820/stat : 147820 (cp-sat-runner) S 147817 147820 146988 0 -1 4194304 118721 0 0 0 270298 100 0 0 20 0 3 0 235947258 165793792 15031 18446744073709551615 4198400 12805993 140735549489616 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 44224512 140735549491479 140735549491683 140735549491683 140735549497287 0
/proc/147820/statm: 40477 15031 2144 2102 0 17328 0
[pid=147820/tid=147822] ppid=147817 vsize=161908 memory=58972 CPUtime=1346.41 cores=1,3
/proc/147820/task/147822/stat : 147822 (cp-sat-runner) R 147817 147820 146988 0 -1 4194368 66501 0 0 0 134626 15 0 0 20 0 3 0 235947261 165793792 15031 18446744073709551615 4198400 12805993 140735549489616 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 44224512 140735549491479 140735549491683 140735549491683 140735549497287 0
[pid=147820/tid=147823] ppid=147817 vsize=161908 memory=59612 CPUtime=1356.72 cores=1,3
/proc/147820/task/147823/stat : 147823 (cp-sat-runner) R 147817 147820 146988 0 -1 4194368 50594 0 0 0 135609 63 0 0 20 0 3 0 235947261 165793792 15031 18446744073709551615 4198400 12805993 140735549489616 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 44224512 140735549491479 140735549491683 140735549491683 140735549497287 0
Current children cumulated CPU time: 2703.98 s
Current children cumulated vsize: 161908 KiB
Current children cumulated memory: 60124 KiB

[startup+1422.3 s]
/proc/loadavg: 8.08 8.10 8.06 9/259 147946
/proc/meminfo: memFree=117120348/131382120 swapFree=33010416/33010684
[pid=147820] ppid=147817 vsize=161908 memory=60892 CPUtime=2823.07 cores=1,3
/proc/147820/stat : 147820 (cp-sat-runner) S 147817 147820 146988 0 -1 4194304 119839 0 0 0 282204 103 0 0 20 0 3 0 235947258 165793792 15223 18446744073709551615 4198400 12805993 140735549489616 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 44224512 140735549491479 140735549491683 140735549491683 140735549497287 0
/proc/147820/statm: 40477 15223 2144 2102 0 17534 0
[pid=147820/tid=147822] ppid=147817 vsize=161908 memory=58972 CPUtime=1405.94 cores=1,3
/proc/147820/task/147822/stat : 147822 (cp-sat-runner) R 147817 147820 146988 0 -1 4194368 67113 0 0 0 140578 16 0 0 20 0 3 0 235947261 165793792 15223 18446744073709551615 4198400 12805993 140735549489616 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 44224512 140735549491479 140735549491683 140735549491683 140735549497287 0
[pid=147820/tid=147823] ppid=147817 vsize=161908 memory=59612 CPUtime=1416.25 cores=1,3
/proc/147820/task/147823/stat : 147823 (cp-sat-runner) R 147817 147820 146988 0 -1 4194368 51100 0 0 0 141560 65 0 0 20 0 3 0 235947261 165793792 15223 18446744073709551615 4198400 12805993 140735549489616 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 44224512 140735549491479 140735549491683 140735549491683 140735549497287 0
Current children cumulated CPU time: 2823.07 s
Current children cumulated vsize: 161908 KiB
Current children cumulated memory: 60892 KiB

[startup+1482.3 s]
/proc/loadavg: 8.07 8.09 8.06 9/258 147948
/proc/meminfo: memFree=116511332/131382120 swapFree=33010416/33010684
[pid=147820] ppid=147817 vsize=161908 memory=62044 CPUtime=2942.19 cores=1,3
/proc/147820/stat : 147820 (cp-sat-runner) S 147817 147820 146988 0 -1 4194304 120294 0 0 0 294111 108 0 0 20 0 3 0 235947258 165793792 15511 18446744073709551615 4198400 12805993 140735549489616 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 44224512 140735549491479 140735549491683 140735549491683 140735549497287 0
/proc/147820/statm: 40477 15511 2144 2102 0 17822 0
[pid=147820/tid=147822] ppid=147817 vsize=161908 memory=60764 CPUtime=1465.69 cores=1,3
/proc/147820/task/147822/stat : 147822 (cp-sat-runner) R 147817 147820 146988 0 -1 4194368 67518 0 0 0 146552 17 0 0 20 0 3 0 235947261 165793792 15511 18446744073709551615 4198400 12805993 140735549489616 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 44224512 140735549491479 140735549491683 140735549491683 140735549497287 0
[pid=147820/tid=147823] ppid=147817 vsize=161908 memory=61788 CPUtime=1475.59 cores=1,3
/proc/147820/task/147823/stat : 147823 (cp-sat-runner) R 147817 147820 146988 0 -1 4194368 51150 0 0 0 147492 67 0 0 20 0 3 0 235947261 165793792 15511 18446744073709551615 4198400 12805993 140735549489616 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 44224512 140735549491479 140735549491683 140735549491683 140735549497287 0
Current children cumulated CPU time: 2942.19 s
Current children cumulated vsize: 161908 KiB
Current children cumulated memory: 62044 KiB

[startup+1542.3 s]
/proc/loadavg: 8.19 8.12 8.08 9/258 147950
/proc/meminfo: memFree=117056240/131382120 swapFree=33010416/33010684
[pid=147820] ppid=147817 vsize=161908 memory=51168 CPUtime=3061.3 cores=1,3
/proc/147820/stat : 147820 (cp-sat-runner) S 147817 147820 146988 0 -1 4194304 122992 0 0 0 306017 113 0 0 20 0 3 0 235947258 165793792 12792 18446744073709551615 4198400 12805993 140735549489616 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 44224512 140735549491479 140735549491683 140735549491683 140735549497287 0
/proc/147820/statm: 40477 12792 2144 2102 0 18126 0
[pid=147820/tid=147822] ppid=147817 vsize=161908 memory=14304 CPUtime=1525.44 cores=1,3
/proc/147820/task/147822/stat : 147822 (cp-sat-runner) R 147817 147820 146988 0 -1 4194368 70209 0 0 0 152524 20 0 0 20 0 3 0 235947261 165793792 12792 18446744073709551615 4198400 12805993 140735549489616 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 44224512 140735549491479 140735549491683 140735549491683 140735549497287 0
[pid=147820/tid=147823] ppid=147817 vsize=161908 memory=51040 CPUtime=1534.92 cores=1,3
/proc/147820/task/147823/stat : 147823 (cp-sat-runner) R 147817 147820 146988 0 -1 4194368 51157 0 0 0 153423 69 0 0 20 0 3 0 235947261 165793792 12792 18446744073709551615 4198400 12805993 140735549489616 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 44224512 140735549491479 140735549491683 140735549491683 140735549497287 0
Current children cumulated CPU time: 3061.3 s
Current children cumulated vsize: 161908 KiB
Current children cumulated memory: 51168 KiB

[startup+1602.3 s]
/proc/loadavg: 8.07 8.09 8.07 9/258 147952
/proc/meminfo: memFree=117131576/131382120 swapFree=33010416/33010684
[pid=147820] ppid=147817 vsize=161908 memory=54368 CPUtime=3180.41 cores=1,3
/proc/147820/stat : 147820 (cp-sat-runner) S 147817 147820 146988 0 -1 4194304 123884 0 0 0 317924 117 0 0 20 0 3 0 235947258 165793792 13592 18446744073709551615 4198400 12805993 140735549489616 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 44224512 140735549491479 140735549491683 140735549491683 140735549497287 0
/proc/147820/statm: 40477 13592 2144 2102 0 18126 0
[pid=147820/tid=147822] ppid=147817 vsize=161908 memory=14304 CPUtime=1585.18 cores=1,3
/proc/147820/task/147822/stat : 147822 (cp-sat-runner) R 147817 147820 146988 0 -1 4194368 71018 0 0 0 158497 21 0 0 20 0 3 0 235947261 165793792 13592 18446744073709551615 4198400 12805993 140735549489616 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 44224512 140735549491479 140735549491683 140735549491683 140735549497287 0
[pid=147820/tid=147823] ppid=147817 vsize=161908 memory=17756 CPUtime=1594.26 cores=1,3
/proc/147820/task/147823/stat : 147823 (cp-sat-runner) R 147817 147820 146988 0 -1 4194368 51239 0 0 0 159355 71 0 0 20 0 3 0 235947261 165793792 13592 18446744073709551615 4198400 12805993 140735549489616 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 44224512 140735549491479 140735549491683 140735549491683 140735549497287 0
Current children cumulated CPU time: 3180.41 s
Current children cumulated vsize: 161908 KiB
Current children cumulated memory: 54368 KiB

[startup+1662.3 s]
/proc/loadavg: 8.14 8.10 8.08 9/258 147955
/proc/meminfo: memFree=116748196/131382120 swapFree=33010416/33010684
[pid=147820] ppid=147817 vsize=161908 memory=51648 CPUtime=3299.51 cores=1,3
/proc/147820/stat : 147820 (cp-sat-runner) S 147817 147820 146988 0 -1 4194304 124077 0 0 0 329830 121 0 0 20 0 3 0 235947258 165793792 12912 18446744073709551615 4198400 12805993 140735549489616 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 44224512 140735549491479 140735549491683 140735549491683 140735549497287 0
/proc/147820/statm: 40477 12912 2144 2102 0 18190 0
[pid=147820/tid=147822] ppid=147817 vsize=161908 memory=14304 CPUtime=1644.93 cores=1,3
/proc/147820/task/147822/stat : 147822 (cp-sat-runner) R 147817 147820 146988 0 -1 4194368 71054 0 0 0 164471 22 0 0 20 0 3 0 235947261 165793792 12912 18446744073709551615 4198400 12805993 140735549489616 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 44224512 140735549491479 140735549491683 140735549491683 140735549497287 0
[pid=147820/tid=147823] ppid=147817 vsize=161908 memory=51648 CPUtime=1653.57 cores=1,3
/proc/147820/task/147823/stat : 147823 (cp-sat-runner) R 147817 147820 146988 0 -1 4194368 51395 0 0 0 165284 73 0 0 20 0 3 0 235947261 165793792 12912 18446744073709551615 4198400 12805993 140735549489616 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 44224512 140735549491479 140735549491683 140735549491683 140735549497287 0
Current children cumulated CPU time: 3299.51 s
Current children cumulated vsize: 161908 KiB
Current children cumulated memory: 51648 KiB

[startup+1722.3 s]
/proc/loadavg: 8.11 8.10 8.08 9/258 147957
/proc/meminfo: memFree=117092608/131382120 swapFree=33010416/33010684
[pid=147820] ppid=147817 vsize=161908 memory=51904 CPUtime=3418.62 cores=1,3
/proc/147820/stat : 147820 (cp-sat-runner) S 147817 147820 146988 0 -1 4194304 130734 0 0 0 341737 125 0 0 20 0 3 0 235947258 165793792 12976 18446744073709551615 4198400 12805993 140735549489616 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 44224512 140735549491479 140735549491683 140735549491683 140735549497287 0
/proc/147820/statm: 40477 12976 2144 2102 0 18254 0
[pid=147820/tid=147822] ppid=147817 vsize=161908 memory=14304 CPUtime=1704.68 cores=1,3
/proc/147820/task/147822/stat : 147822 (cp-sat-runner) R 147817 147820 146988 0 -1 4194368 74031 0 0 0 170445 23 0 0 20 0 3 0 235947261 165793792 12976 18446744073709551615 4198400 12805993 140735549489616 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 44224512 140735549491479 140735549491683 140735549491683 140735549497287 0
[pid=147820/tid=147823] ppid=147817 vsize=161908 memory=51648 CPUtime=1712.89 cores=1,3
/proc/147820/task/147823/stat : 147823 (cp-sat-runner) R 147817 147820 146988 0 -1 4194368 55033 0 0 0 171215 74 0 0 20 0 3 0 235947261 165793792 12976 18446744073709551615 4198400 12805993 140735549489616 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 44224512 140735549491479 140735549491683 140735549491683 140735549497287 0
Current children cumulated CPU time: 3418.62 s
Current children cumulated vsize: 161908 KiB
Current children cumulated memory: 51904 KiB

[startup+1782.3 s]
/proc/loadavg: 8.04 8.08 8.07 9/258 148099
/proc/meminfo: memFree=128813520/131382120 swapFree=33010416/33010684
[pid=147820] ppid=147817 vsize=161908 memory=52032 CPUtime=3537.82 cores=1,3
/proc/147820/stat : 147820 (cp-sat-runner) S 147817 147820 146988 0 -1 4194304 131817 0 0 0 353654 128 0 0 20 0 3 0 235947258 165793792 13008 18446744073709551615 4198400 12805993 140735549489616 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 44224512 140735549491479 140735549491683 140735549491683 140735549497287 0
/proc/147820/statm: 40477 13008 2144 2102 0 18254 0
[pid=147820/tid=147822] ppid=147817 vsize=161908 memory=52032 CPUtime=1764.46 cores=1,3
/proc/147820/task/147822/stat : 147822 (cp-sat-runner) R 147817 147820 146988 0 -1 4194368 74887 0 0 0 176422 24 0 0 20 0 3 0 235947261 165793792 13008 18446744073709551615 4198400 12805993 140735549489616 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 44224512 140735549491479 140735549491683 140735549491683 140735549497287 0
[pid=147820/tid=147823] ppid=147817 vsize=161908 memory=52032 CPUtime=1772.28 cores=1,3
/proc/147820/task/147823/stat : 147823 (cp-sat-runner) R 147817 147820 146988 0 -1 4194368 55260 0 0 0 177153 75 0 0 20 0 3 0 235947261 165793792 13008 18446744073709551615 4198400 12805993 140735549489616 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 44224512 140735549491479 140735549491683 140735549491683 140735549497287 0
Current children cumulated CPU time: 3537.82 s
Current children cumulated vsize: 161908 KiB
Current children cumulated memory: 52032 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1813.6 s]
/proc/loadavg: 8.02 8.07 8.07 9/259 148107
/proc/meminfo: memFree=128829064/131382120 swapFree=33010416/33010684
[pid=147820] ppid=147817 vsize=161908 memory=52416 CPUtime=3600.03 cores=1,3
/proc/147820/stat : 147820 (cp-sat-runner) S 147817 147820 146988 0 -1 4194304 131832 0 0 0 359875 128 0 0 20 0 3 0 235947258 165793792 13104 18446744073709551615 4198400 12805993 140735549489616 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 44224512 140735549491479 140735549491683 140735549491683 140735549497287 0
/proc/147820/statm: 40477 13104 2144 2102 0 18254 0
[pid=147820/tid=147822] ppid=147817 vsize=161908 memory=3200 CPUtime=1795.49 cores=1,3
/proc/147820/task/147822/stat : 147822 (cp-sat-runner) R 147817 147820 146988 0 -1 4194368 74902 0 0 0 179524 25 0 0 20 0 3 0 235947261 165793792 13104 18446744073709551615 4198400 12805993 140735549489616 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 44224512 140735549491479 140735549491683 140735549491683 140735549497287 0
[pid=147820/tid=147823] ppid=147817 vsize=161908 memory=4752 CPUtime=1803.47 cores=1,3
/proc/147820/task/147823/stat : 147823 (cp-sat-runner) R 147817 147820 146988 0 -1 4194368 55260 0 0 0 180272 75 0 0 20 0 3 0 235947261 165793792 13104 18446744073709551615 4198400 12805993 140735549489616 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 44224512 140735549491479 140735549491683 140735549491683 140735549497287 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 161908 KiB
Current children cumulated memory: 52416 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.77 s, system=1.28815 s

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

Child status: 0

Real time (s): 1813.61
CPU time (s): 3600.05
CPU user time (s): 3598.77
CPU system time (s): 1.28815
CPU usage (%): 198.503
Max. virtual memory (cumulated for all children) (KiB): 161908
Max. memory (cumulated for all children) (KiB): 62940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.77
system time used= 1.28815
maximum resident set size= 63196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131843
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= 34283
involuntary context switches= 119712


# summary of solver processes directly reported to runsolver:
#   pid: 147820
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3598.77
#   total CPU system time (s): 1.28815

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.94583 second user time and 9.45187 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2025-07-22 18:44:39
IDJOB=4542720
IDBENCH=164570
IDSOLVER=3320
FILE ID=nodeC006/4542720-1753202679
RUNJOBID= nodeC006-1753198970-147008
SLURM_JOB_ID= 9687739
Free space on /tmp= 432644 MiB

SOLVER NAME= OR-Tools CP-SAT 9.14
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/even-colouring/ec-stargrid-04_shuffle/normalized-ec_stargrid_04_066.shuf-1.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-4542720-1753202679/watcher-4542720-1753202679 -o /tmp/evaluation-result-4542720-1753202679/solver-4542720-1753202679 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1753198970-147008 --watchdog 3760  cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:259938934 --competition_mode --input HOME/instance-4542720-1753202679.opb

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

MD5SUM BENCH= 7e4e500c6ecf133c3cb12e0c5a9fdd4f
RANDOM SEED=259938934

nodeC006 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	: 0xb00001f
cpu MHz		: 3510.817
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
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	: 0xb00001f
cpu MHz		: 3192.800
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
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	: 0xb00001f
cpu MHz		: 3492.271
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
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	: 0xb00001f
cpu MHz		: 3292.146
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
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	: 0xb00001f
cpu MHz		: 3591.225
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
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	: 0xb00001f
cpu MHz		: 3591.485
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
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	: 0xb00001f
cpu MHz		: 3491.949
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
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	: 0xb00001f
cpu MHz		: 3491.670
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        108886860 kB
MemAvailable:   109708872 kB
Buffers:            2128 kB
Cached:          1499696 kB
SwapCached:           12 kB
Active:         21012644 kB
Inactive:         522152 kB
Active(anon):   20048320 kB
Inactive(anon):    10792 kB
Active(file):     964324 kB
Inactive(file):   511360 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             12336 kB
Writeback:             0 kB
AnonPages:      20034880 kB
Mapped:           134772 kB
Shmem:             26140 kB
KReclaimable:     371528 kB
Slab:             465648 kB
SReclaimable:     371528 kB
SUnreclaim:        94120 kB
KernelStack:        4156 kB
PageTables:        42684 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:   21370580 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149544 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:  14313472 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:      191304 kB
DirectMap2M:    10196992 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 432736 MiB
End job on nodeC006 at 2025-07-22 19:14:53