Trace number 4513458

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.1 1811.41

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x140split.opb
MD5SUM6d6cd561f3b9d650ea4fe5a812bf9deb
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 benchmark54.9817
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1401
Total number of constraints701
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)701
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.08/1811.40	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 (63008 MiB free)
  memory of node 1: 64465 MiB (63761 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4513458-1751214458/watcher-4513458-1751214458 -o /tmp/evaluation-result-4513458-1751214458/solver-4513458-1751214458 -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:583031293 --competition_mode --input HOME/instance-4513458-1751214458.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=29569, runsolver pid=29566

[startup+0.100058 s]*
/proc/loadavg: 8.01 8.09 8.08 5/262 29575
/proc/meminfo: memFree=129891284/131250000 swapFree=33010684/33010684
[pid=29569] ppid=29566 vsize=160940 memory=17792 CPUtime=0.14 cores=1,3
/proc/29569/stat : 29569 (cp-sat-runner) S 29566 29569 28458 0 -1 4194304 2619 0 0 0 14 0 0 0 20 0 3 0 37124468 164802560 4448 18446744073709551615 4198400 12805993 140720893191824 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 35979264 140720893196569 140720893196773 140720893196773 140720893202375 0
/proc/29569/statm: 40235 4448 2144 2102 0 6635 0
[pid=29569/tid=29571] ppid=29566 vsize=160940 memory=4026531959 CPUtime=0.05 cores=1,3
/proc/29569/task/29571/stat : 29571 (cp-sat-runner) R 29566 29569 28458 0 -1 4194368 559 0 0 0 5 0 0 0 20 0 3 0 37124472 164802560 4448 18446744073709551615 4198400 12805993 140720893191824 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 35979264 140720893196569 140720893196773 140720893196773 140720893202375 0
[pid=29569/tid=29572] ppid=29566 vsize=160940 memory=215637821670 CPUtime=0.05 cores=1,3
/proc/29569/task/29572/stat : 29572 (cp-sat-runner) R 29566 29569 28458 0 -1 4194368 1005 0 0 0 5 0 0 0 20 0 3 0 37124472 164802560 4448 18446744073709551615 4198400 12805993 140720893191824 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 35979264 140720893196569 140720893196773 140720893196773 140720893202375 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 160940 KiB
Current children cumulated memory: 17792 KiB

[startup+0.205485 s]*
/proc/loadavg: 8.01 8.09 8.08 5/260 29580
/proc/meminfo: memFree=129888016/131250000 swapFree=33010684/33010684
[pid=29569] ppid=29566 vsize=160940 memory=19560 CPUtime=0.34 cores=1,3
/proc/29569/stat : 29569 (cp-sat-runner) S 29566 29569 28458 0 -1 4194304 3135 0 0 0 34 0 0 0 20 0 3 0 37124468 164802560 4890 18446744073709551615 4198400 12805993 140720893191824 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 35979264 140720893196569 140720893196773 140720893196773 140720893202375 0
/proc/29569/statm: 40235 4890 2144 2102 0 7101 0
[pid=29569/tid=29571] ppid=29566 vsize=160940 memory=3472328300254212635 CPUtime=0.15 cores=1,3
/proc/29569/task/29571/stat : 29571 (cp-sat-runner) R 29566 29569 28458 0 -1 4194368 1029 0 0 0 15 0 0 0 20 0 3 0 37124472 164802560 4890 18446744073709551615 4198400 12805993 140720893191824 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 35979264 140720893196569 140720893196773 140720893196773 140720893202375 0
[pid=29569/tid=29572] ppid=29566 vsize=160940 memory=211342852430 CPUtime=0.15 cores=1,3
/proc/29569/task/29572/stat : 29572 (cp-sat-runner) R 29566 29569 28458 0 -1 4194368 1051 0 0 0 15 0 0 0 20 0 3 0 37124472 164802560 4890 18446744073709551615 4198400 12805993 140720893191824 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 35979264 140720893196569 140720893196773 140720893196773 140720893202375 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 160940 KiB
Current children cumulated memory: 19560 KiB

[startup+0.304608 s]*
/proc/loadavg: 8.01 8.09 8.08 6/258 29588
/proc/meminfo: memFree=129886076/131250000 swapFree=33010684/33010684
[pid=29569] ppid=29566 vsize=161532 memory=21608 CPUtime=0.53 cores=1,3
/proc/29569/stat : 29569 (cp-sat-runner) S 29566 29569 28458 0 -1 4194304 3634 0 0 0 53 0 0 0 20 0 3 0 37124468 165408768 5402 18446744073709551615 4198400 12805993 140720893191824 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 35979264 140720893196569 140720893196773 140720893196773 140720893202375 0
/proc/29569/statm: 40383 5402 2144 2102 0 7611 0
[pid=29569/tid=29571] ppid=29566 vsize=161532 memory=8039887049847964073 CPUtime=0.24 cores=1,3
/proc/29569/task/29571/stat : 29571 (cp-sat-runner) R 29566 29569 28458 0 -1 4194368 1504 0 0 0 24 0 0 0 20 0 3 0 37124472 165408768 5402 18446744073709551615 4198400 12805993 140720893191824 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 35979264 140720893196569 140720893196773 140720893196773 140720893202375 0
[pid=29569/tid=29572] ppid=29566 vsize=161532 memory=0 CPUtime=0.25 cores=1,3
/proc/29569/task/29572/stat : 29572 (cp-sat-runner) R 29566 29569 28458 0 -1 4194368 1075 0 0 0 25 0 0 0 20 0 3 0 37124472 165408768 5402 18446744073709551615 4198400 12805993 140720893191824 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 35979264 140720893196569 140720893196773 140720893196773 140720893202375 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 161532 KiB
Current children cumulated memory: 21608 KiB

[startup+0.70015 s]
/proc/loadavg: 8.01 8.09 8.08 5/258 29588
/proc/meminfo: memFree=129884060/131250000 swapFree=33010684/33010684
[pid=29569] ppid=29566 vsize=160940 memory=24148 CPUtime=1.3 cores=1,3
/proc/29569/stat : 29569 (cp-sat-runner) S 29566 29569 28458 0 -1 4194304 4410 0 0 0 130 0 0 0 20 0 3 0 37124468 164802560 6037 18446744073709551615 4198400 12805993 140720893191824 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 35979264 140720893196569 140720893196773 140720893196773 140720893202375 0
/proc/29569/statm: 40235 6037 2144 2102 0 8240 0
[pid=29569/tid=29571] ppid=29566 vsize=160940 memory=0 CPUtime=0.62 cores=1,3
/proc/29569/task/29571/stat : 29571 (cp-sat-runner) R 29566 29569 28458 0 -1 4194368 2186 0 0 0 62 0 0 0 20 0 3 0 37124472 164802560 6037 18446744073709551615 4198400 12805993 140720893191824 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 35979264 140720893196569 140720893196773 140720893196773 140720893202375 0
[pid=29569/tid=29572] ppid=29566 vsize=160940 memory=0 CPUtime=0.64 cores=1,3
/proc/29569/task/29572/stat : 29572 (cp-sat-runner) R 29566 29569 28458 0 -1 4194368 1169 0 0 0 64 0 0 0 20 0 3 0 37124472 164802560 6037 18446744073709551615 4198400 12805993 140720893191824 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 35979264 140720893196569 140720893196773 140720893196773 140720893202375 0
Current children cumulated CPU time: 1.3 s
Current children cumulated vsize: 160940 KiB
Current children cumulated memory: 24148 KiB

[startup+1.50018 s]
/proc/loadavg: 8.01 8.09 8.08 5/258 29639
/proc/meminfo: memFree=129895520/131250000 swapFree=33010684/33010684
[pid=29569] ppid=29566 vsize=160940 memory=24884 CPUtime=2.88 cores=1,3
/proc/29569/stat : 29569 (cp-sat-runner) S 29566 29569 28458 0 -1 4194304 7442 0 0 0 288 0 0 0 20 0 3 0 37124468 164802560 6221 18446744073709551615 4198400 12805993 140720893191824 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 35979264 140720893196569 140720893196773 140720893196773 140720893202375 0
/proc/29569/statm: 40235 6221 2144 2102 0 8457 0
[pid=29569/tid=29571] ppid=29566 vsize=160940 memory=0 CPUtime=1.41 cores=1,3
/proc/29569/task/29571/stat : 29571 (cp-sat-runner) R 29566 29569 28458 0 -1 4194368 4169 0 0 0 141 0 0 0 20 0 3 0 37124472 164802560 6221 18446744073709551615 4198400 12805993 140720893191824 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 35979264 140720893196569 140720893196773 140720893196773 140720893202375 0
[pid=29569/tid=29572] ppid=29566 vsize=160940 memory=0 CPUtime=1.44 cores=1,3
/proc/29569/task/29572/stat : 29572 (cp-sat-runner) R 29566 29569 28458 0 -1 4194368 2174 0 0 0 144 0 0 0 20 0 3 0 37124472 164802560 6221 18446744073709551615 4198400 12805993 140720893191824 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 35979264 140720893196569 140720893196773 140720893196773 140720893202375 0
Current children cumulated CPU time: 2.88 s
Current children cumulated vsize: 160940 KiB
Current children cumulated memory: 24884 KiB

[startup+3.10573 s]
/proc/loadavg: 8.01 8.09 8.08 9/270 29713
/proc/meminfo: memFree=129875496/131250000 swapFree=33010684/33010684
[pid=29569] ppid=29566 vsize=160940 memory=26072 CPUtime=6.07 cores=1,3
/proc/29569/stat : 29569 (cp-sat-runner) S 29566 29569 28458 0 -1 4194304 7962 0 0 0 607 0 0 0 20 0 3 0 37124468 164802560 6518 18446744073709551615 4198400 12805993 140720893191824 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 35979264 140720893196569 140720893196773 140720893196773 140720893202375 0
/proc/29569/statm: 40235 6518 2144 2102 0 8713 0
[pid=29569/tid=29571] ppid=29566 vsize=160940 memory=-8183428072775390401 CPUtime=3 cores=1,3
/proc/29569/task/29571/stat : 29571 (cp-sat-runner) R 29566 29569 28458 0 -1 4194368 4609 0 0 0 300 0 0 0 20 0 3 0 37124472 164802560 6518 18446744073709551615 4198400 12805993 140720893191824 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 35979264 140720893196569 140720893196773 140720893196773 140720893202375 0
[pid=29569/tid=29572] ppid=29566 vsize=160940 memory=0 CPUtime=3.04 cores=1,3
/proc/29569/task/29572/stat : 29572 (cp-sat-runner) R 29566 29569 28458 0 -1 4194368 2254 0 0 0 304 0 0 0 20 0 3 0 37124472 164802560 6518 18446744073709551615 4198400 12805993 140720893191824 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 35979264 140720893196569 140720893196773 140720893196773 140720893202375 0
Current children cumulated CPU time: 6.07 s
Current children cumulated vsize: 160940 KiB
Current children cumulated memory: 26072 KiB

[startup+6.30015 s]
/proc/loadavg: 8.01 8.09 8.08 9/270 29713
/proc/meminfo: memFree=129872976/131250000 swapFree=33010684/33010684
[pid=29569] ppid=29566 vsize=160940 memory=28120 CPUtime=12.43 cores=1,3
/proc/29569/stat : 29569 (cp-sat-runner) S 29566 29569 28458 0 -1 4194304 14882 0 0 0 1242 1 0 0 20 0 3 0 37124468 164802560 7030 18446744073709551615 4198400 12805993 140720893191824 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 35979264 140720893196569 140720893196773 140720893196773 140720893202375 0
/proc/29569/statm: 40235 7030 2144 2102 0 9231 0
[pid=29569/tid=29571] ppid=29566 vsize=160940 memory=25432 CPUtime=6.16 cores=1,3
/proc/29569/task/29571/stat : 29571 (cp-sat-runner) R 29566 29569 28458 0 -1 4194368 8970 0 0 0 616 0 0 0 20 0 3 0 37124472 164802560 7030 18446744073709551615 4198400 12805993 140720893191824 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 35979264 140720893196569 140720893196773 140720893196773 140720893202375 0
[pid=29569/tid=29572] ppid=29566 vsize=160940 memory=14720 CPUtime=6.22 cores=1,3
/proc/29569/task/29572/stat : 29572 (cp-sat-runner) R 29566 29569 28458 0 -1 4194368 4724 0 0 0 622 0 0 0 20 0 3 0 37124472 164802560 7030 18446744073709551615 4198400 12805993 140720893191824 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 35979264 140720893196569 140720893196773 140720893196773 140720893202375 0
Current children cumulated CPU time: 12.43 s
Current children cumulated vsize: 160940 KiB
Current children cumulated memory: 28120 KiB

[startup+12.7002 s]
/proc/loadavg: 8.01 8.09 8.08 9/270 29713
/proc/meminfo: memFree=129859276/131250000 swapFree=33010684/33010684
[pid=29569] ppid=29566 vsize=160940 memory=30168 CPUtime=25.16 cores=1,3
/proc/29569/stat : 29569 (cp-sat-runner) S 29566 29569 28458 0 -1 4194304 15585 0 0 0 2515 1 0 0 20 0 3 0 37124468 164802560 7542 18446744073709551615 4198400 12805993 140720893191824 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 35979264 140720893196569 140720893196773 140720893196773 140720893202375 0
/proc/29569/statm: 40235 7542 2144 2102 0 9778 0
[pid=29569/tid=29571] ppid=29566 vsize=160940 memory=14720 CPUtime=12.5 cores=1,3
/proc/29569/task/29571/stat : 29571 (cp-sat-runner) R 29566 29569 28458 0 -1 4194368 9317 0 0 0 1250 0 0 0 20 0 3 0 37124472 164802560 7542 18446744073709551615 4198400 12805993 140720893191824 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 35979264 140720893196569 140720893196773 140720893196773 140720893202375 0
[pid=29569/tid=29572] ppid=29566 vsize=160940 memory=29784 CPUtime=12.6 cores=1,3
/proc/29569/task/29572/stat : 29572 (cp-sat-runner) R 29566 29569 28458 0 -1 4194368 5076 0 0 0 1260 0 0 0 20 0 3 0 37124472 164802560 7542 18446744073709551615 4198400 12805993 140720893191824 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 35979264 140720893196569 140720893196773 140720893196773 140720893202375 0
Current children cumulated CPU time: 25.16 s
Current children cumulated vsize: 160940 KiB
Current children cumulated memory: 30168 KiB

[startup+25.5002 s]
/proc/loadavg: 8.01 8.08 8.08 9/270 29713
/proc/meminfo: memFree=129841068/131250000 swapFree=33010684/33010684
[pid=29569] ppid=29566 vsize=162548 memory=35124 CPUtime=50.61 cores=1,3
/proc/29569/stat : 29569 (cp-sat-runner) S 29566 29569 28458 0 -1 4194304 22797 0 0 0 5059 2 0 0 20 0 3 0 37124468 166449152 8781 18446744073709551615 4198400 12805993 140720893191824 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 35979264 140720893196569 140720893196773 140720893196773 140720893202375 0
/proc/29569/statm: 40637 8781 2144 2102 0 11329 0
[pid=29569/tid=29571] ppid=29566 vsize=162548 memory=34964 CPUtime=25.19 cores=1,3
/proc/29569/task/29571/stat : 29571 (cp-sat-runner) R 29566 29569 28458 0 -1 4194368 13177 0 0 0 2518 1 0 0 20 0 3 0 37124472 166449152 8781 18446744073709551615 4198400 12805993 140720893191824 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 35979264 140720893196569 140720893196773 140720893196773 140720893202375 0
[pid=29569/tid=29572] ppid=29566 vsize=162548 memory=28120 CPUtime=25.36 cores=1,3
/proc/29569/task/29572/stat : 29572 (cp-sat-runner) R 29566 29569 28458 0 -1 4194368 8385 0 0 0 2536 0 0 0 20 0 3 0 37124472 166449152 8781 18446744073709551615 4198400 12805993 140720893191824 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 35979264 140720893196569 140720893196773 140720893196773 140720893202375 0
Current children cumulated CPU time: 50.61 s
Current children cumulated vsize: 162548 KiB
Current children cumulated memory: 35124 KiB

[startup+51.1055 s]
/proc/loadavg: 8.08 8.09 8.09 9/270 29714
/proc/meminfo: memFree=129807932/131250000 swapFree=33010684/33010684
[pid=29569] ppid=29566 vsize=162548 memory=39392 CPUtime=101.5 cores=1,3
/proc/29569/stat : 29569 (cp-sat-runner) S 29566 29569 28458 0 -1 4194304 30148 0 0 0 10147 3 0 0 20 0 3 0 37124468 166449152 9848 18446744073709551615 4198400 12805993 140720893191824 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 35979264 140720893196569 140720893196773 140720893196773 140720893202375 0
/proc/29569/statm: 40637 9848 2144 2102 0 12643 0
[pid=29569/tid=29571] ppid=29566 vsize=162548 memory=39860 CPUtime=50.61 cores=1,3
/proc/29569/task/29571/stat : 29571 (cp-sat-runner) R 29566 29569 28458 0 -1 4194368 16987 0 0 0 5060 1 0 0 20 0 3 0 37124472 166449152 9848 18446744073709551615 4198400 12805993 140720893191824 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 35979264 140720893196569 140720893196773 140720893196773 140720893202375 0
[pid=29569/tid=29572] ppid=29566 vsize=162548 memory=39604 CPUtime=50.82 cores=1,3
/proc/29569/task/29572/stat : 29572 (cp-sat-runner) R 29566 29569 28458 0 -1 4194368 11833 0 0 0 5081 1 0 0 20 0 3 0 37124472 166449152 9848 18446744073709551615 4198400 12805993 140720893191824 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 35979264 140720893196569 140720893196773 140720893196773 140720893202375 0
Current children cumulated CPU time: 101.5 s
Current children cumulated vsize: 162548 KiB
Current children cumulated memory: 39392 KiB

[startup+102.3 s]
/proc/loadavg: 8.10 8.09 8.09 9/271 29718
/proc/meminfo: memFree=129778232/131250000 swapFree=33010684/33010684
[pid=29569] ppid=29566 vsize=162548 memory=41764 CPUtime=203.29 cores=1,3
/proc/29569/stat : 29569 (cp-sat-runner) S 29566 29569 28458 0 -1 4194304 33881 0 0 0 20325 4 0 0 20 0 3 0 37124468 166449152 10441 18446744073709551615 4198400 12805993 140720893191824 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 35979264 140720893196569 140720893196773 140720893196773 140720893202375 0
/proc/29569/statm: 40637 10441 2144 2102 0 13080 0
[pid=29569/tid=29571] ppid=29566 vsize=162548 memory=41764 CPUtime=101.33 cores=1,3
/proc/29569/task/29571/stat : 29571 (cp-sat-runner) R 29566 29569 28458 0 -1 4194368 19717 0 0 0 10131 2 0 0 20 0 3 0 37124472 166449152 10441 18446744073709551615 4198400 12805993 140720893191824 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 35979264 140720893196569 140720893196773 140720893196773 140720893202375 0
[pid=29569/tid=29572] ppid=29566 vsize=162548 memory=14720 CPUtime=101.87 cores=1,3
/proc/29569/task/29572/stat : 29572 (cp-sat-runner) R 29566 29569 28458 0 -1 4194368 12791 0 0 0 10186 1 0 0 20 0 3 0 37124472 166449152 10441 18446744073709551615 4198400 12805993 140720893191824 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 35979264 140720893196569 140720893196773 140720893196773 140720893202375 0
Current children cumulated CPU time: 203.29 s
Current children cumulated vsize: 162548 KiB
Current children cumulated memory: 41764 KiB

[startup+162.3 s]
/proc/loadavg: 8.08 8.09 8.09 9/272 29721
/proc/meminfo: memFree=129779092/131250000 swapFree=33010684/33010684
[pid=29569] ppid=29566 vsize=162548 memory=42424 CPUtime=322.59 cores=1,3
/proc/29569/stat : 29569 (cp-sat-runner) S 29566 29569 28458 0 -1 4194304 38517 0 0 0 32253 6 0 0 20 0 3 0 37124468 166449152 10606 18446744073709551615 4198400 12805993 140720893191824 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 35979264 140720893196569 140720893196773 140720893196773 140720893202375 0
/proc/29569/statm: 40637 10606 2144 2102 0 13339 0
[pid=29569/tid=29571] ppid=29566 vsize=162548 memory=42040 CPUtime=160.76 cores=1,3
/proc/29569/task/29571/stat : 29571 (cp-sat-runner) R 29566 29569 28458 0 -1 4194368 21642 0 0 0 16074 2 0 0 20 0 3 0 37124472 166449152 10606 18446744073709551615 4198400 12805993 140720893191824 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 35979264 140720893196569 140720893196773 140720893196773 140720893202375 0
[pid=29569/tid=29572] ppid=29566 vsize=162548 memory=17408 CPUtime=161.7 cores=1,3
/proc/29569/task/29572/stat : 29572 (cp-sat-runner) R 29566 29569 28458 0 -1 4194368 15466 0 0 0 16168 2 0 0 20 0 3 0 37124472 166449152 10606 18446744073709551615 4198400 12805993 140720893191824 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 35979264 140720893196569 140720893196773 140720893196773 140720893202375 0
Current children cumulated CPU time: 322.59 s
Current children cumulated vsize: 162548 KiB

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

Current children cumulated memory: 70016 KiB

[startup+1302.3 s]
/proc/loadavg: 8.22 8.15 8.11 9/272 29779
/proc/meminfo: memFree=129699124/131250000 swapFree=33010684/33010684
[pid=29569] ppid=29566 vsize=163576 memory=71124 CPUtime=2587.99 cores=1,3
/proc/29569/stat : 29569 (cp-sat-runner) S 29566 29569 28458 0 -1 4194304 77953 0 0 0 258770 29 0 0 20 0 3 0 37124468 167501824 17781 18446744073709551615 4198400 12805993 140720893191824 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 35979264 140720893196569 140720893196773 140720893196773 140720893202375 0
/proc/29569/statm: 40894 17781 2144 2102 0 21376 0
[pid=29569/tid=29571] ppid=29566 vsize=163576 memory=10752 CPUtime=1296.31 cores=1,3
/proc/29569/task/29571/stat : 29571 (cp-sat-runner) R 29566 29569 28458 0 -1 4194368 39922 0 0 0 129616 15 0 0 20 0 3 0 37124472 167501824 17781 18446744073709551615 4198400 12805993 140720893191824 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 35979264 140720893196569 140720893196773 140720893196773 140720893202375 0
[pid=29569/tid=29572] ppid=29566 vsize=163576 memory=71124 CPUtime=1291.06 cores=1,3
/proc/29569/task/29572/stat : 29572 (cp-sat-runner) R 29566 29569 28458 0 -1 4194368 36424 0 0 0 129101 5 0 0 20 0 3 0 37124472 167501824 17781 18446744073709551615 4198400 12805993 140720893191824 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 35979264 140720893196569 140720893196773 140720893196773 140720893202375 0
Current children cumulated CPU time: 2587.99 s
Current children cumulated vsize: 163576 KiB
Current children cumulated memory: 71124 KiB

[startup+1362.3 s]
/proc/loadavg: 8.13 8.14 8.10 9/272 29781
/proc/meminfo: memFree=129698792/131250000 swapFree=33010684/33010684
[pid=29569] ppid=29566 vsize=163576 memory=73616 CPUtime=2707.27 cores=1,3
/proc/29569/stat : 29569 (cp-sat-runner) S 29566 29569 28458 0 -1 4194304 80675 0 0 0 270696 31 0 0 20 0 3 0 37124468 167501824 18404 18446744073709551615 4198400 12805993 140720893191824 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 35979264 140720893196569 140720893196773 140720893196773 140720893202375 0
/proc/29569/statm: 40894 18404 2144 2102 0 21720 0
[pid=29569/tid=29571] ppid=29566 vsize=163576 memory=76244 CPUtime=1356.14 cores=1,3
/proc/29569/task/29571/stat : 29571 (cp-sat-runner) R 29566 29569 28458 0 -1 4194368 40288 0 0 0 135599 15 0 0 20 0 3 0 37124472 167501824 18404 18446744073709551615 4198400 12805993 140720893191824 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 35979264 140720893196569 140720893196773 140720893196773 140720893202375 0
[pid=29569/tid=29572] ppid=29566 vsize=163576 memory=-8183428072775390401 CPUtime=1350.48 cores=1,3
/proc/29569/task/29572/stat : 29572 (cp-sat-runner) R 29566 29569 28458 0 -1 4194368 38777 0 0 0 135042 6 0 0 20 0 3 0 37124472 167501824 18404 18446744073709551615 4198400 12805993 140720893191824 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 35979264 140720893196569 140720893196773 140720893196773 140720893202375 0
Current children cumulated CPU time: 2707.27 s
Current children cumulated vsize: 163576 KiB
Current children cumulated memory: 73616 KiB

[startup+1422.3 s]
/proc/loadavg: 8.09 8.13 8.10 9/272 29783
/proc/meminfo: memFree=129692296/131250000 swapFree=33010684/33010684
[pid=29569] ppid=29566 vsize=163576 memory=79376 CPUtime=2826.54 cores=1,3
/proc/29569/stat : 29569 (cp-sat-runner) S 29566 29569 28458 0 -1 4194304 82147 0 0 0 282622 32 0 0 20 0 3 0 37124468 167501824 19844 18446744073709551615 4198400 12805993 140720893191824 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 35979264 140720893196569 140720893196773 140720893196773 140720893202375 0
/proc/29569/statm: 40894 19844 2144 2102 0 22266 0
[pid=29569/tid=29571] ppid=29566 vsize=163576 memory=78224 CPUtime=1416 cores=1,3
/proc/29569/task/29571/stat : 29571 (cp-sat-runner) R 29566 29569 28458 0 -1 4194368 40877 0 0 0 141584 16 0 0 20 0 3 0 37124472 167501824 19844 18446744073709551615 4198400 12805993 140720893191824 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 35979264 140720893196569 140720893196773 140720893196773 140720893202375 0
[pid=29569/tid=29572] ppid=29566 vsize=163576 memory=79376 CPUtime=1409.88 cores=1,3
/proc/29569/task/29572/stat : 29572 (cp-sat-runner) R 29566 29569 28458 0 -1 4194368 39656 0 0 0 140982 6 0 0 20 0 3 0 37124472 167501824 19844 18446744073709551615 4198400 12805993 140720893191824 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 35979264 140720893196569 140720893196773 140720893196773 140720893202375 0
Current children cumulated CPU time: 2826.54 s
Current children cumulated vsize: 163576 KiB
Current children cumulated memory: 79376 KiB

[startup+1482.3 s]
/proc/loadavg: 8.09 8.12 8.09 9/272 29789
/proc/meminfo: memFree=129690912/131250000 swapFree=33010684/33010684
[pid=29569] ppid=29566 vsize=163576 memory=79668 CPUtime=2945.82 cores=1,3
/proc/29569/stat : 29569 (cp-sat-runner) S 29566 29569 28458 0 -1 4194304 86122 0 0 0 294548 34 0 0 20 0 3 0 37124468 167501824 19917 18446744073709551615 4198400 12805993 140720893191824 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 35979264 140720893196569 140720893196773 140720893196773 140720893202375 0
/proc/29569/statm: 40894 19917 2144 2102 0 23761 0
[pid=29569/tid=29571] ppid=29566 vsize=163576 memory=78736 CPUtime=1475.85 cores=1,3
/proc/29569/task/29571/stat : 29571 (cp-sat-runner) R 29566 29569 28458 0 -1 4194368 41535 0 0 0 147568 17 0 0 20 0 3 0 37124472 167501824 19917 18446744073709551615 4198400 12805993 140720893191824 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 35979264 140720893196569 140720893196773 140720893196773 140720893202375 0
[pid=29569/tid=29572] ppid=29566 vsize=163576 memory=14720 CPUtime=1469.29 cores=1,3
/proc/29569/task/29572/stat : 29572 (cp-sat-runner) R 29566 29569 28458 0 -1 4194368 42967 0 0 0 146922 7 0 0 20 0 3 0 37124472 167501824 19917 18446744073709551615 4198400 12805993 140720893191824 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 35979264 140720893196569 140720893196773 140720893196773 140720893202375 0
Current children cumulated CPU time: 2945.82 s
Current children cumulated vsize: 163576 KiB
Current children cumulated memory: 79668 KiB

[startup+1542.3 s]
/proc/loadavg: 8.08 8.11 8.09 9/272 29791
/proc/meminfo: memFree=129691136/131250000 swapFree=33010684/33010684
[pid=29569] ppid=29566 vsize=163576 memory=80552 CPUtime=3065.1 cores=1,3
/proc/29569/stat : 29569 (cp-sat-runner) S 29566 29569 28458 0 -1 4194304 89127 0 0 0 306475 35 0 0 20 0 3 0 37124468 167501824 20138 18446744073709551615 4198400 12805993 140720893191824 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 35979264 140720893196569 140720893196773 140720893196773 140720893202375 0
/proc/29569/statm: 40894 20138 2144 2102 0 24125 0
[pid=29569/tid=29571] ppid=29566 vsize=163576 memory=14720 CPUtime=1535.69 cores=1,3
/proc/29569/task/29571/stat : 29571 (cp-sat-runner) R 29566 29569 28458 0 -1 4194368 41897 0 0 0 153552 17 0 0 20 0 3 0 37124472 167501824 20138 18446744073709551615 4198400 12805993 140720893191824 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 35979264 140720893196569 140720893196773 140720893196773 140720893202375 0
[pid=29569/tid=29572] ppid=29566 vsize=163576 memory=-8183428072775390401 CPUtime=1528.71 cores=1,3
/proc/29569/task/29572/stat : 29572 (cp-sat-runner) R 29566 29569 28458 0 -1 4194368 45609 0 0 0 152863 8 0 0 20 0 3 0 37124472 167501824 20138 18446744073709551615 4198400 12805993 140720893191824 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 35979264 140720893196569 140720893196773 140720893196773 140720893202375 0
Current children cumulated CPU time: 3065.1 s
Current children cumulated vsize: 163576 KiB
Current children cumulated memory: 80552 KiB

[startup+1602.3 s]
/proc/loadavg: 8.13 8.12 8.09 9/270 29793
/proc/meminfo: memFree=129683676/131250000 swapFree=33010684/33010684
[pid=29569] ppid=29566 vsize=163576 memory=84392 CPUtime=3184.39 cores=1,3
/proc/29569/stat : 29569 (cp-sat-runner) S 29566 29569 28458 0 -1 4194304 93510 0 0 0 318401 38 0 0 20 0 3 0 37124468 167501824 21098 18446744073709551615 4198400 12805993 140720893191824 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 35979264 140720893196569 140720893196773 140720893196773 140720893202375 0
/proc/29569/statm: 40894 21098 2144 2102 0 24237 0
[pid=29569/tid=29571] ppid=29566 vsize=163576 memory=17408 CPUtime=1595.54 cores=1,3
/proc/29569/task/29571/stat : 29571 (cp-sat-runner) R 29566 29569 28458 0 -1 4194368 43572 0 0 0 159536 18 0 0 20 0 3 0 37124472 167501824 21098 18446744073709551615 4198400 12805993 140720893191824 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 35979264 140720893196569 140720893196773 140720893196773 140720893202375 0
[pid=29569/tid=29572] ppid=29566 vsize=163576 memory=10752 CPUtime=1588.11 cores=1,3
/proc/29569/task/29572/stat : 29572 (cp-sat-runner) R 29566 29569 28458 0 -1 4194368 48293 0 0 0 158802 9 0 0 20 0 3 0 37124472 167501824 21098 18446744073709551615 4198400 12805993 140720893191824 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 35979264 140720893196569 140720893196773 140720893196773 140720893202375 0
Current children cumulated CPU time: 3184.39 s
Current children cumulated vsize: 163576 KiB
Current children cumulated memory: 84392 KiB

[startup+1662.3 s]
/proc/loadavg: 8.14 8.12 8.09 9/270 29795
/proc/meminfo: memFree=129674020/131250000 swapFree=33010684/33010684
[pid=29569] ppid=29566 vsize=163576 memory=86644 CPUtime=3303.68 cores=1,3
/proc/29569/stat : 29569 (cp-sat-runner) S 29566 29569 28458 0 -1 4194304 95115 0 0 0 330329 39 0 0 20 0 3 0 37124468 167501824 21661 18446744073709551615 4198400 12805993 140720893191824 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 35979264 140720893196569 140720893196773 140720893196773 140720893202375 0
/proc/29569/statm: 40894 21661 2144 2102 0 24737 0
[pid=29569/tid=29571] ppid=29566 vsize=163576 memory=17408 CPUtime=1655.39 cores=1,3
/proc/29569/task/29571/stat : 29571 (cp-sat-runner) R 29566 29569 28458 0 -1 4194368 44068 0 0 0 165520 19 0 0 20 0 3 0 37124472 167501824 21661 18446744073709551615 4198400 12805993 140720893191824 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 35979264 140720893196569 140720893196773 140720893196773 140720893202375 0
[pid=29569/tid=29572] ppid=29566 vsize=163576 memory=87720 CPUtime=1647.52 cores=1,3
/proc/29569/task/29572/stat : 29572 (cp-sat-runner) R 29566 29569 28458 0 -1 4194368 49401 0 0 0 164743 9 0 0 20 0 3 0 37124472 167501824 21661 18446744073709551615 4198400 12805993 140720893191824 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 35979264 140720893196569 140720893196773 140720893196773 140720893202375 0
Current children cumulated CPU time: 3303.68 s
Current children cumulated vsize: 163576 KiB
Current children cumulated memory: 86644 KiB

[startup+1722.3 s]
/proc/loadavg: 8.17 8.13 8.10 9/270 29797
/proc/meminfo: memFree=129667524/131250000 swapFree=33010684/33010684
[pid=29569] ppid=29566 vsize=163576 memory=87072 CPUtime=3422.97 cores=1,3
/proc/29569/stat : 29569 (cp-sat-runner) S 29566 29569 28458 0 -1 4194304 97090 0 0 0 342256 41 0 0 20 0 3 0 37124468 167501824 21768 18446744073709551615 4198400 12805993 140720893191824 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 35979264 140720893196569 140720893196773 140720893196773 140720893202375 0
/proc/29569/statm: 40894 21768 2144 2102 0 24916 0
[pid=29569/tid=29571] ppid=29566 vsize=163576 memory=17408 CPUtime=1715.25 cores=1,3
/proc/29569/task/29571/stat : 29571 (cp-sat-runner) R 29566 29569 28458 0 -1 4194368 44257 0 0 0 171505 20 0 0 20 0 3 0 37124472 167501824 21768 18446744073709551615 4198400 12805993 140720893191824 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 35979264 140720893196569 140720893196773 140720893196773 140720893202375 0
[pid=29569/tid=29572] ppid=29566 vsize=163576 memory=87720 CPUtime=1706.94 cores=1,3
/proc/29569/task/29572/stat : 29572 (cp-sat-runner) R 29566 29569 28458 0 -1 4194368 51185 0 0 0 170684 10 0 0 20 0 3 0 37124472 167501824 21768 18446744073709551615 4198400 12805993 140720893191824 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 35979264 140720893196569 140720893196773 140720893196773 140720893202375 0
Current children cumulated CPU time: 3422.97 s
Current children cumulated vsize: 163576 KiB
Current children cumulated memory: 87072 KiB

[startup+1782.3 s]
/proc/loadavg: 8.12 8.12 8.09 9/270 29799
/proc/meminfo: memFree=129667436/131250000 swapFree=33010684/33010684
[pid=29569] ppid=29566 vsize=163576 memory=84372 CPUtime=3542.23 cores=1,3
/proc/29569/stat : 29569 (cp-sat-runner) S 29566 29569 28458 0 -1 4194304 101040 0 0 0 354182 41 0 0 20 0 3 0 37124468 167501824 21093 18446744073709551615 4198400 12805993 140720893191824 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 35979264 140720893196569 140720893196773 140720893196773 140720893202375 0
/proc/29569/statm: 40894 21093 2144 2102 0 25029 0
[pid=29569/tid=29571] ppid=29566 vsize=163576 memory=5760 CPUtime=1775.08 cores=1,3
/proc/29569/task/29571/stat : 29571 (cp-sat-runner) R 29566 29569 28458 0 -1 4194368 45550 0 0 0 177488 20 0 0 20 0 3 0 37124472 167501824 21093 18446744073709551615 4198400 12805993 140720893191824 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 35979264 140720893196569 140720893196773 140720893196773 140720893202375 0
[pid=29569/tid=29572] ppid=29566 vsize=163576 memory=14720 CPUtime=1766.36 cores=1,3
/proc/29569/task/29572/stat : 29572 (cp-sat-runner) R 29566 29569 28458 0 -1 4194368 53841 0 0 0 176625 11 0 0 20 0 3 0 37124472 167501824 21093 18446744073709551615 4198400 12805993 140720893191824 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 35979264 140720893196569 140720893196773 140720893196773 140720893202375 0
Current children cumulated CPU time: 3542.23 s
Current children cumulated vsize: 163576 KiB
Current children cumulated memory: 84372 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1811.4 s]
/proc/loadavg: 8.15 8.12 8.09 9/270 29800
/proc/meminfo: memFree=129668912/131250000 swapFree=33010684/33010684
[pid=29569] ppid=29566 vsize=163576 memory=84720 CPUtime=3600.08 cores=1,3
/proc/29569/stat : 29569 (cp-sat-runner) S 29566 29569 28458 0 -1 4194304 108789 0 0 0 359965 43 0 0 20 0 3 0 37124468 167501824 21180 18446744073709551615 4198400 12805993 140720893191824 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 35979264 140720893196569 140720893196773 140720893196773 140720893202375 0
/proc/29569/statm: 40894 21180 2144 2102 0 25069 0
[pid=29569/tid=29571] ppid=29566 vsize=163576 memory=14720 CPUtime=1804.09 cores=1,3
/proc/29569/task/29571/stat : 29571 (cp-sat-runner) R 29566 29569 28458 0 -1 4194368 51435 0 0 0 180388 21 0 0 20 0 3 0 37124472 167501824 21180 18446744073709551615 4198400 12805993 140720893191824 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 35979264 140720893196569 140720893196773 140720893196773 140720893202375 0
[pid=29569/tid=29572] ppid=29566 vsize=163576 memory=86020 CPUtime=1795.17 cores=1,3
/proc/29569/task/29572/stat : 29572 (cp-sat-runner) R 29566 29569 28458 0 -1 4194368 55683 0 0 0 179506 11 0 0 20 0 3 0 37124472 167501824 21180 18446744073709551615 4198400 12805993 140720893191824 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 35979264 140720893196569 140720893196773 140720893196773 140720893202375 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 163576 KiB
Current children cumulated memory: 84720 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.66 s, system=0.441525 s

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

Child status: 0

Real time (s): 1811.41
CPU time (s): 3600.1
CPU user time (s): 3599.66
CPU system time (s): 0.441525
CPU usage (%): 198.746
Max. virtual memory (cumulated for all children) (KiB): 165288
Max. memory (cumulated for all children) (KiB): 89508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.66
system time used= 0.441525
maximum resident set size= 89636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108800
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= 33146
involuntary context switches= 105992


# summary of solver processes directly reported to runsolver:
#   pid: 29569
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3599.66
#   total CPU system time (s): 0.441525

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.05522 second user time and 8.02605 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2025-06-29 18:27:38
IDJOB=4513458
IDBENCH=162352
IDSOLVER=3320
FILE ID=nodeC026/4513458-1751214458
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-ECgrid5x140split.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-4513458-1751214458/watcher-4513458-1751214458 -o /tmp/evaluation-result-4513458-1751214458/solver-4513458-1751214458 -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:583031293 --competition_mode --input HOME/instance-4513458-1751214458.opb

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

MD5SUM BENCH= 6d6cd561f3b9d650ea4fe5a812bf9deb
RANDOM SEED=583031293

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		: 3599.788
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.453
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.767
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		: 3599.784
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.791
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		: 3599.785
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.786
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.783
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:        129668768 kB
MemAvailable:   129523620 kB
Buffers:            3280 kB
Cached:           664240 kB
SwapCached:            0 kB
Active:           540220 kB
Inactive:         441644 kB
Active(anon):     332424 kB
Inactive(anon):        0 kB
Active(file):     207796 kB
Inactive(file):   441644 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             24988 kB
Writeback:            40 kB
AnonPages:        316712 kB
Mapped:           128980 kB
Shmem:             18080 kB
KReclaimable:      89304 kB
Slab:             175140 kB
SReclaimable:      89304 kB
SUnreclaim:        85836 kB
KernelStack:        4276 kB
PageTables:         3668 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     705636 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150632 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:    217088 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:57:50