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 (62244 MiB free)
  memory of node 1: 64507 MiB (61566 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529502-1752571880/watcher-4529502-1752571880 -o /tmp/evaluation-result-4529502-1752571880/solver-4529502-1752571880 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1752571843-121170 --watchdog 3760 cp_sat_runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:482937223 --competition_mode --input HOME/instance-4529502-1752571880.wbo 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=121338, runsolver pid=121335

[startup+0.100075 s]*
/proc/loadavg: 2.75 0.75 0.31 6/252 121339
/proc/meminfo: memFree=126766468/131382120 swapFree=33010416/33010684
[pid=121338] ppid=121335 vsize=27904 memory=22556 CPUtime=0.09 cores=0,2
/proc/121338/stat : 121338 (cp_sat_runner) R 121335 121338 121153 0 -1 4194304 5112 0 0 0 8 1 0 0 20 0 1 0 172867508 28573696 5639 18446744073709551615 4198400 12806697 140729859635728 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 31916032 140729859639573 140729859639777 140729859639777 140729859645383 0
/proc/121338/statm: 6976 5639 1344 2102 0 4516 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 27904 KiB
Current children cumulated memory: 22556 KiB

[startup+0.213487 s]*
/proc/loadavg: 2.75 0.75 0.31 6/252 121339
/proc/meminfo: memFree=126762688/131382120 swapFree=33010416/33010684
[pid=121338] ppid=121335 vsize=35964 memory=30236 CPUtime=0.2 cores=0,2
/proc/121338/stat : 121338 (cp_sat_runner) R 121335 121338 121153 0 -1 4194304 6860 0 0 0 19 1 0 0 20 0 1 0 172867508 36827136 7559 18446744073709551615 4198400 12806697 140729859635728 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 31916032 140729859639573 140729859639777 140729859639777 140729859645383 0
/proc/121338/statm: 8991 7559 1536 2102 0 6531 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 35964 KiB
Current children cumulated memory: 30236 KiB

[startup+0.313368 s]*
/proc/loadavg: 2.75 0.75 0.31 6/252 121339
/proc/meminfo: memFree=126762688/131382120 swapFree=33010416/33010684
[pid=121338] ppid=121335 vsize=37244 memory=31516 CPUtime=0.31 cores=0,2
/proc/121338/stat : 121338 (cp_sat_runner) R 121335 121338 121153 0 -1 4194304 7155 0 0 0 29 2 0 0 20 0 1 0 172867508 38137856 7879 18446744073709551615 4198400 12806697 140729859635728 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 31916032 140729859639573 140729859639777 140729859639777 140729859645383 0
/proc/121338/statm: 9311 7879 1536 2102 0 6851 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 37244 KiB
Current children cumulated memory: 31516 KiB

[startup+0.700376 s]
/proc/loadavg: 2.75 0.75 0.31 6/252 121339
/proc/meminfo: memFree=126750592/131382120 swapFree=33010416/33010684
[pid=121338] ppid=121335 vsize=63812 memory=57772 CPUtime=0.68 cores=0,2
/proc/121338/stat : 121338 (cp_sat_runner) R 121335 121338 121153 0 -1 4194304 13723 0 0 0 64 4 0 0 20 0 1 0 172867508 65343488 14443 18446744073709551615 4198400 12806697 140729859635728 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 31916032 140729859639573 140729859639777 140729859639777 140729859645383 0
/proc/121338/statm: 15953 14443 1856 2102 0 13493 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 63812 KiB
Current children cumulated memory: 57772 KiB

[startup+1.50035 s]
/proc/loadavg: 3.01 0.84 0.34 6/252 121339
/proc/meminfo: memFree=126731188/131382120 swapFree=33010416/33010684
[pid=121338] ppid=121335 vsize=211736 memory=99076 CPUtime=1.51 cores=0,2
/proc/121338/stat : 121338 (cp_sat_runner) S 121335 121338 121153 0 -1 4194304 28860 0 0 0 143 8 0 0 20 0 3 0 172867508 216817664 24769 18446744073709551615 4198400 12806697 140729859635728 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 31916032 140729859639573 140729859639777 140729859639777 140729859645383 0
/proc/121338/statm: 52934 24769 1952 2102 0 28145 0
Current children cumulated CPU time: 1.51 s
Current children cumulated vsize: 211736 KiB
Current children cumulated memory: 99076 KiB

[startup+3.10733 s]
/proc/loadavg: 3.01 0.84 0.34 7/254 121341
/proc/meminfo: memFree=126563112/131382120 swapFree=33010416/33010684
[pid=121338] ppid=121335 vsize=316464 memory=197700 CPUtime=4.68 cores=0,2
/proc/121338/stat : 121338 (cp_sat_runner) S 121335 121338 121153 0 -1 4194304 64132 0 0 0 454 14 0 0 20 0 3 0 172867508 324059136 49425 18446744073709551615 4198400 12806697 140729859635728 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146848 14333620 31916032 140729859639573 140729859639777 140729859639777 140729859645383 0
/proc/121338/statm: 79116 49425 2144 2102 0 59465 0
[pid=121338/tid=121340] ppid=121335 vsize=316464 memory=0 CPUtime=1.65 cores=0,2
/proc/121338/task/121340/stat : 121340 (cp_sat_runner) R 121335 121338 121153 0 -1 4194368 25641 0 0 0 162 3 0 0 20 0 3 0 172867648 324059136 49425 18446744073709551615 4198400 12806697 140729859635728 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 31916032 140729859639573 140729859639777 140729859639777 140729859645383 0
[pid=121338/tid=121341] ppid=121335 vsize=316464 memory=189752 CPUtime=1.6 cores=0,2
/proc/121338/task/121341/stat : 121341 (cp_sat_runner) R 121335 121338 121153 0 -1 4194368 18381 0 0 0 156 4 0 0 20 0 3 0 172867648 324059136 49425 18446744073709551615 4198400 12806697 140729859635728 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 31916032 140729859639573 140729859639777 140729859639777 140729859645383 0
Current children cumulated CPU time: 4.68 s
Current children cumulated vsize: 316464 KiB
Current children cumulated memory: 197700 KiB

[startup+4.94893 s]
# the end of solver process 121338 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=8.16551 s, system=0.162632 s

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

[startup+3.20027 s]
/proc/loadavg: 3.01 0.84 0.34 7/254 121341
/proc/meminfo: memFree=126563112/131382120 swapFree=33010416/33010684
[pid=121338] ppid=121335 vsize=316464 memory=197700 CPUtime=4.87 cores=0,2
/proc/121338/stat : 121338 (cp_sat_runner) S 121335 121338 121153 0 -1 4194304 64296 0 0 0 473 14 0 0 20 0 3 0 172867508 324059136 49425 18446744073709551615 4198400 12806697 140729859635728 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146848 14333620 31916032 140729859639573 140729859639777 140729859639777 140729859645383 0
/proc/121338/statm: 79116 49425 2144 2102 0 59465 0
[pid=121338/tid=121340] ppid=121335 vsize=316464 memory=13056 CPUtime=1.75 cores=0,2
/proc/121338/task/121340/stat : 121340 (cp_sat_runner) R 121335 121338 121153 0 -1 4194368 25654 0 0 0 172 3 0 0 20 0 3 0 172867648 324059136 49425 18446744073709551615 4198400 12806697 140729859635728 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 31916032 140729859639573 140729859639777 140729859639777 140729859645383 0
[pid=121338/tid=121341] ppid=121335 vsize=316464 memory=-7168744085380108907 CPUtime=1.69 cores=0,2
/proc/121338/task/121341/stat : 121341 (cp_sat_runner) R 121335 121338 121153 0 -1 4194368 18532 0 0 0 165 4 0 0 20 0 3 0 172867648 324059136 49425 18446744073709551615 4198400 12806697 140729859635728 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 31916032 140729859639573 140729859639777 140729859639777 140729859645383 0
Current children cumulated CPU time: 4.87 s
Current children cumulated vsize: 316464 KiB
Current children cumulated memory: 197700 KiB

[startup+4.00021 s]*
/proc/loadavg: 3.01 0.84 0.34 8/254 121341
/proc/meminfo: memFree=126559016/131382120 swapFree=33010416/33010684
[pid=121338] ppid=121335 vsize=316464 memory=201028 CPUtime=6.46 cores=0,2
/proc/121338/stat : 121338 (cp_sat_runner) S 121335 121338 121153 0 -1 4194304 67645 0 0 0 632 14 0 0 20 0 3 0 172867508 324059136 50257 18446744073709551615 4198400 12806697 140729859635728 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146848 14333620 31916032 140729859639573 140729859639777 140729859639777 140729859645383 0
/proc/121338/statm: 79116 50257 2144 2102 0 60305 0
[pid=121338/tid=121340] ppid=121335 vsize=316464 memory=-7168744085380108907 CPUtime=2.56 cores=0,2
/proc/121338/task/121340/stat : 121340 (cp_sat_runner) R 121335 121338 121153 0 -1 4194368 28590 0 0 0 252 4 0 0 20 0 3 0 172867648 324059136 50257 18446744073709551615 4198400 12806697 140729859635728 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 31916032 140729859639573 140729859639777 140729859639777 140729859645383 0
[pid=121338/tid=121341] ppid=121335 vsize=316464 memory=7092 CPUtime=2.48 cores=0,2
/proc/121338/task/121341/stat : 121341 (cp_sat_runner) R 121335 121338 121153 0 -1 4194368 18945 0 0 0 244 4 0 0 20 0 3 0 172867648 324059136 50257 18446744073709551615 4198400 12806697 140729859635728 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 31916032 140729859639573 140729859639777 140729859639777 140729859645383 0
Current children cumulated CPU time: 6.46 s
Current children cumulated vsize: 316464 KiB
Current children cumulated memory: 201028 KiB

[startup+4.4002 s]
/proc/loadavg: 3.01 0.84 0.34 8/254 121341
/proc/meminfo: memFree=126559016/131382120 swapFree=33010416/33010684
[pid=121338] ppid=121335 vsize=316464 memory=204100 CPUtime=7.24 cores=0,2
/proc/121338/stat : 121338 (cp_sat_runner) S 121335 121338 121153 0 -1 4194304 70306 0 0 0 710 14 0 0 20 0 3 0 172867508 324059136 51025 18446744073709551615 4198400 12806697 140729859635728 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146848 14333620 31916032 140729859639573 140729859639777 140729859639777 140729859645383 0
/proc/121338/statm: 79116 51025 2144 2102 0 61064 0
[pid=121338/tid=121340] ppid=121335 vsize=316464 memory=197828 CPUtime=2.94 cores=0,2
/proc/121338/task/121340/stat : 121340 (cp_sat_runner) R 121335 121338 121153 0 -1 4194368 30648 0 0 0 290 4 0 0 20 0 3 0 172867648 324059136 51025 18446744073709551615 4198400 12806697 140729859635728 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 31916032 140729859639573 140729859639777 140729859639777 140729859645383 0
[pid=121338/tid=121341] ppid=121335 vsize=316464 memory=5148 CPUtime=2.86 cores=0,2
/proc/121338/task/121341/stat : 121341 (cp_sat_runner) R 121335 121338 121153 0 -1 4194368 18945 0 0 0 282 4 0 0 20 0 3 0 172867648 324059136 51025 18446744073709551615 4198400 12806697 140729859635728 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 31916032 140729859639573 140729859639777 140729859639777 140729859645383 0
Current children cumulated CPU time: 7.24 s
Current children cumulated vsize: 316464 KiB
Current children cumulated memory: 204100 KiB

[startup+4.80021 s]
/proc/loadavg: 3.01 0.84 0.34 8/254 121341
/proc/meminfo: memFree=126559016/131382120 swapFree=33010416/33010684
[pid=121338] ppid=121335 vsize=316464 memory=204100 CPUtime=8.04 cores=0,2
/proc/121338/stat : 121338 (cp_sat_runner) S 121335 121338 121153 0 -1 4194304 70561 0 0 0 790 14 0 0 20 0 3 0 172867508 324059136 51025 18446744073709551615 4198400 12806697 140729859635728 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146848 14333620 31916032 140729859639573 140729859639777 140729859639777 140729859645383 0
/proc/121338/statm: 79116 51025 2144 2102 0 61064 0
[pid=121338/tid=121340] ppid=121335 vsize=316464 memory=189752 CPUtime=3.34 cores=0,2
/proc/121338/task/121340/stat : 121340 (cp_sat_runner) R 121335 121338 121153 0 -1 4194368 30717 0 0 0 330 4 0 0 20 0 3 0 172867648 324059136 51025 18446744073709551615 4198400 12806697 140729859635728 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 31916032 140729859639573 140729859639777 140729859639777 140729859645383 0
[pid=121338/tid=121341] ppid=121335 vsize=316464 memory=245635481903 CPUtime=3.26 cores=0,2
/proc/121338/task/121341/stat : 121341 (cp_sat_runner) R 121335 121338 121153 0 -1 4194368 19131 0 0 0 322 4 0 0 20 0 3 0 172867648 324059136 51025 18446744073709551615 4198400 12806697 140729859635728 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 31916032 140729859639573 140729859639777 140729859639777 140729859645383 0
Current children cumulated CPU time: 8.04 s
Current children cumulated vsize: 316464 KiB
Current children cumulated memory: 204100 KiB

[startup+4.90021 s]
/proc/loadavg: 3.01 0.84 0.34 8/254 121341
/proc/meminfo: memFree=126559016/131382120 swapFree=33010416/33010684
[pid=121338] ppid=121335 vsize=316464 memory=204612 CPUtime=8.24 cores=0,2
/proc/121338/stat : 121338 (cp_sat_runner) S 121335 121338 121153 0 -1 4194304 70736 0 0 0 810 14 0 0 20 0 3 0 172867508 324059136 51153 18446744073709551615 4198400 12806697 140729859635728 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146848 14333620 31916032 140729859639573 140729859639777 140729859639777 140729859645383 0
/proc/121338/statm: 79116 51153 2144 2102 0 61192 0
[pid=121338/tid=121340] ppid=121335 vsize=316464 memory=-7168744085380108907 CPUtime=3.44 cores=0,2
/proc/121338/task/121340/stat : 121340 (cp_sat_runner) R 121335 121338 121153 0 -1 4194368 30892 0 0 0 340 4 0 0 20 0 3 0 172867648 324059136 51153 18446744073709551615 4198400 12806697 140729859635728 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 31916032 140729859639573 140729859639777 140729859639777 140729859645383 0
[pid=121338/tid=121341] ppid=121335 vsize=316464 memory=0 CPUtime=3.35 cores=0,2
/proc/121338/task/121341/stat : 121341 (cp_sat_runner) R 121335 121338 121153 0 -1 4194368 19131 0 0 0 331 4 0 0 20 0 3 0 172867648 324059136 51153 18446744073709551615 4198400 12806697 140729859635728 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 31916032 140729859639573 140729859639777 140729859639777 140729859645383 0
Current children cumulated CPU time: 8.24 s
Current children cumulated vsize: 316464 KiB
Current children cumulated memory: 204612 KiB

Child status: 10

Real time (s): 4.94899
CPU time (s): 8.32814
CPU user time (s): 8.16551
CPU system time (s): 0.162632
CPU usage (%): 168.28
Max. virtual memory (cumulated for all children) (KiB): 316464
Max. memory (cumulated for all children) (KiB): 204612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.16551
system time used= 0.162632
maximum resident set size= 204612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78369
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= 107
involuntary context switches= 225


# summary of solver processes directly reported to runsolver:
#   pid: 121338
#   total CPU time (s): 8.32814
#   total CPU user time (s): 8.16551
#   total CPU system time (s): 0.162632

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.044149 second user time and 0.09592 second system time

The end