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 (62254 MiB free)
  memory of node 1: 64465 MiB (62850 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486867-1751333288/watcher-4486867-1751333288 -o /tmp/evaluation-result-4486867-1751333288/solver-4486867-1751333288 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751327394-47560 --watchdog 3760 ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4486867-1751333288.opb 3600 HOME 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=48261, runsolver pid=48258

[startup+0.100057 s]*
/proc/loadavg: 4.17 4.14 4.09 5/271 48265
/proc/meminfo: memFree=128104256/131250000 swapFree=33010684/33010684
[pid=48261] ppid=48258 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/48261/stat : 48261 (Hybrid-NuPBODee) S 48258 48261 47549 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 49007453 4427776 768 18446744073709551615 94092993765376 94092994659909 140735914984848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94092994898960 94092994946704 94093015425024 140735914989915 140735914990067 140735914990067 140735914995669 0
/proc/48261/statm: 1081 768 704 219 0 143 0
[pid=48264] ppid=48261 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48264/stat : 48264 (timeout) S 48261 48264 47549 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49007454 2723840 352 18446744073709551615 94329317068800 94329317085313 140732694371952 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94329317100080 94329317102168 94329350082560 140732694378928 140732694379042 140732694379042 140732694384615 0
/proc/48264/statm: 665 352 352 5 0 90 0
[pid=48265] ppid=48264 vsize=25464 memory=10356 CPUtime=0.07 cores=4,6
/proc/48265/stat : 48265 (NuPBO-DeepOptS+) R 48264 48264 47549 0 -1 4194304 2071 0 0 0 7 0 0 0 20 0 1 0 49007455 26075136 2589 18446744073709551615 4198400 15468185 140723902051136 0 0 0 0 0 17410 0 0 0 17 6 0 0 0 0 0 17807032 17896208 37142528 140723902056892 140723902056993 140723902056993 140723902062566 0
/proc/48265/statm: 6366 2589 1088 2752 0 3019 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 32448 KiB
Current children cumulated memory: 14836 KiB

[startup+0.205382 s]*
/proc/loadavg: 4.17 4.14 4.09 5/271 48265
/proc/meminfo: memFree=128102492/131250000 swapFree=33010684/33010684
[pid=48261] ppid=48258 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/48261/stat : 48261 (Hybrid-NuPBODee) S 48258 48261 47549 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 49007453 4427776 768 18446744073709551615 94092993765376 94092994659909 140735914984848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94092994898960 94092994946704 94093015425024 140735914989915 140735914990067 140735914990067 140735914995669 0
/proc/48261/statm: 1081 768 704 219 0 143 0
[pid=48264] ppid=48261 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48264/stat : 48264 (timeout) S 48261 48264 47549 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49007454 2723840 352 18446744073709551615 94329317068800 94329317085313 140732694371952 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94329317100080 94329317102168 94329350082560 140732694378928 140732694379042 140732694379042 140732694384615 0
/proc/48264/statm: 665 352 352 5 0 90 0
[pid=48265] ppid=48264 vsize=27512 memory=12328 CPUtime=0.16 cores=4,6
/proc/48265/stat : 48265 (NuPBO-DeepOptS+) R 48264 48264 47549 0 -1 4194304 2589 0 0 0 16 0 0 0 20 0 1 0 49007455 28172288 3082 18446744073709551615 4198400 15468185 140723902051136 0 0 0 0 0 17410 0 0 0 17 6 0 0 0 0 0 17807032 17896208 37142528 140723902056892 140723902056993 140723902056993 140723902062566 0
/proc/48265/statm: 6878 3082 1088 2752 0 3531 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 34496 KiB
Current children cumulated memory: 16808 KiB

[startup+0.304597 s]*
/proc/loadavg: 4.17 4.14 4.09 5/271 48265
/proc/meminfo: memFree=128086240/131250000 swapFree=33010684/33010684
[pid=48261] ppid=48258 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/48261/stat : 48261 (Hybrid-NuPBODee) S 48258 48261 47549 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 49007453 4427776 768 18446744073709551615 94092993765376 94092994659909 140735914984848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94092994898960 94092994946704 94093015425024 140735914989915 140735914990067 140735914990067 140735914995669 0
/proc/48261/statm: 1081 768 704 219 0 143 0
[pid=48264] ppid=48261 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48264/stat : 48264 (timeout) S 48261 48264 47549 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49007454 2723840 352 18446744073709551615 94329317068800 94329317085313 140732694371952 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94329317100080 94329317102168 94329350082560 140732694378928 140732694379042 140732694379042 140732694384615 0
/proc/48264/statm: 665 352 352 5 0 90 0
[pid=48265] ppid=48264 vsize=47388 memory=26108 CPUtime=0.26 cores=4,6
/proc/48265/stat : 48265 (NuPBO-DeepOptS+) R 48264 48264 47549 0 -1 4194304 5508 0 0 0 25 1 0 0 20 0 1 0 49007455 48525312 6527 18446744073709551615 4198400 15468185 140723902051136 0 0 0 0 0 17410 0 0 0 17 6 0 0 0 0 0 17807032 17896208 37142528 140723902056892 140723902056993 140723902056993 140723902062566 0
/proc/48265/statm: 11847 6527 1088 2752 0 8500 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 54372 KiB
Current children cumulated memory: 30588 KiB

[startup+0.700228 s]
/proc/loadavg: 4.17 4.14 4.09 5/271 48265
/proc/meminfo: memFree=128070364/131250000 swapFree=33010684/33010684
[pid=48261] ppid=48258 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/48261/stat : 48261 (Hybrid-NuPBODee) S 48258 48261 47549 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 49007453 4427776 768 18446744073709551615 94092993765376 94092994659909 140735914984848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94092994898960 94092994946704 94093015425024 140735914989915 140735914990067 140735914990067 140735914995669 0
/proc/48261/statm: 1081 768 704 219 0 143 0
[pid=48264] ppid=48261 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48264/stat : 48264 (timeout) S 48261 48264 47549 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49007454 2723840 352 18446744073709551615 94329317068800 94329317085313 140732694371952 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94329317100080 94329317102168 94329350082560 140732694378928 140732694379042 140732694379042 140732694384615 0
/proc/48264/statm: 665 352 352 5 0 90 0
[pid=48265] ppid=48264 vsize=59564 memory=41876 CPUtime=0.64 cores=4,6
/proc/48265/stat : 48265 (NuPBO-DeepOptS+) R 48264 48264 47549 0 -1 4194304 9807 0 0 0 63 1 0 0 20 0 1 0 49007455 60993536 10469 18446744073709551615 4198400 15468185 140723902051136 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 37142528 140723902056892 140723902056993 140723902056993 140723902062566 0
/proc/48265/statm: 14891 10469 1152 2752 0 11544 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 66548 KiB
Current children cumulated memory: 46356 KiB

[startup+1.50018 s]
/proc/loadavg: 4.17 4.14 4.09 5/271 48265
/proc/meminfo: memFree=128070364/131250000 swapFree=33010684/33010684
[pid=48261] ppid=48258 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/48261/stat : 48261 (Hybrid-NuPBODee) S 48258 48261 47549 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 49007453 4427776 768 18446744073709551615 94092993765376 94092994659909 140735914984848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94092994898960 94092994946704 94093015425024 140735914989915 140735914990067 140735914990067 140735914995669 0
/proc/48261/statm: 1081 768 704 219 0 143 0
[pid=48264] ppid=48261 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48264/stat : 48264 (timeout) S 48261 48264 47549 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49007454 2723840 352 18446744073709551615 94329317068800 94329317085313 140732694371952 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94329317100080 94329317102168 94329350082560 140732694378928 140732694379042 140732694379042 140732694384615 0
/proc/48264/statm: 665 352 352 5 0 90 0
[pid=48265] ppid=48264 vsize=59564 memory=41876 CPUtime=1.44 cores=4,6
/proc/48265/stat : 48265 (NuPBO-DeepOptS+) R 48264 48264 47549 0 -1 4194304 9807 0 0 0 143 1 0 0 20 0 1 0 49007455 60993536 10469 18446744073709551615 4198400 15468185 140723902051136 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 37142528 140723902056892 140723902056993 140723902056993 140723902062566 0
/proc/48265/statm: 14891 10469 1152 2752 0 11544 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 66548 KiB
Current children cumulated memory: 46356 KiB

[startup+3.10552 s]
/proc/loadavg: 4.17 4.14 4.09 5/271 48265
/proc/meminfo: memFree=127917436/131250000 swapFree=33010684/33010684
[pid=48261] ppid=48258 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/48261/stat : 48261 (Hybrid-NuPBODee) S 48258 48261 47549 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 49007453 4427776 768 18446744073709551615 94092993765376 94092994659909 140735914984848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94092994898960 94092994946704 94093015425024 140735914989915 140735914990067 140735914990067 140735914995669 0
/proc/48261/statm: 1081 768 704 219 0 143 0
[pid=48264] ppid=48261 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48264/stat : 48264 (timeout) S 48261 48264 47549 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49007454 2723840 352 18446744073709551615 94329317068800 94329317085313 140732694371952 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94329317100080 94329317102168 94329350082560 140732694378928 140732694379042 140732694379042 140732694384615 0
/proc/48264/statm: 665 352 352 5 0 90 0
[pid=48265] ppid=48264 vsize=216068 memory=196548 CPUtime=3.04 cores=4,6
/proc/48265/stat : 48265 (NuPBO-DeepOptS+) R 48264 48264 47549 0 -1 4194304 48168 0 0 0 297 7 0 0 20 0 1 0 49007455 221253632 49137 18446744073709551615 4198400 15468185 140723902051136 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 37142528 140723902056892 140723902056993 140723902056993 140723902062566 0
/proc/48265/statm: 54017 49137 2720 2752 0 50670 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 223052 KiB
Current children cumulated memory: 201028 KiB

[startup+6.30022 s]
/proc/loadavg: 4.15 4.14 4.09 5/271 48265
/proc/meminfo: memFree=127917948/131250000 swapFree=33010684/33010684
[pid=48261] ppid=48258 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/48261/stat : 48261 (Hybrid-NuPBODee) S 48258 48261 47549 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 49007453 4427776 768 18446744073709551615 94092993765376 94092994659909 140735914984848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94092994898960 94092994946704 94093015425024 140735914989915 140735914990067 140735914990067 140735914995669 0
/proc/48261/statm: 1081 768 704 219 0 143 0
[pid=48264] ppid=48261 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48264/stat : 48264 (timeout) S 48261 48264 47549 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49007454 2723840 352 18446744073709551615 94329317068800 94329317085313 140732694371952 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94329317100080 94329317102168 94329350082560 140732694378928 140732694379042 140732694379042 140732694384615 0
/proc/48264/statm: 665 352 352 5 0 90 0
[pid=48265] ppid=48264 vsize=216068 memory=196548 CPUtime=6.22 cores=4,6
/proc/48265/stat : 48265 (NuPBO-DeepOptS+) R 48264 48264 47549 0 -1 4194304 48168 0 0 0 615 7 0 0 20 0 1 0 49007455 221253632 49137 18446744073709551615 4198400 15468185 140723902051136 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 37142528 140723902056892 140723902056993 140723902056993 140723902062566 0
/proc/48265/statm: 54017 49137 2720 2752 0 50670 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 223052 KiB
Current children cumulated memory: 201028 KiB

[startup+12.7002 s]
/proc/loadavg: 4.14 4.13 4.09 5/271 48265
/proc/meminfo: memFree=127510080/131250000 swapFree=33010684/33010684
[pid=48261] ppid=48258 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/48261/stat : 48261 (Hybrid-NuPBODee) S 48258 48261 47549 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 49007453 4427776 768 18446744073709551615 94092993765376 94092994659909 140735914984848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94092994898960 94092994946704 94093015425024 140735914989915 140735914990067 140735914990067 140735914995669 0
/proc/48261/statm: 1081 768 704 219 0 143 0
[pid=48264] ppid=48261 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48264/stat : 48264 (timeout) S 48261 48264 47549 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49007454 2723840 352 18446744073709551615 94329317068800 94329317085313 140732694371952 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94329317100080 94329317102168 94329350082560 140732694378928 140732694379042 140732694379042 140732694384615 0
/proc/48264/statm: 665 352 352 5 0 90 0
[pid=48265] ppid=48264 vsize=689936 memory=612320 CPUtime=12.61 cores=4,6
/proc/48265/stat : 48265 (NuPBO-DeepOptS+) R 48264 48264 47549 0 -1 4194304 82018 0 0 0 1243 18 0 0 20 0 1 0 49007455 706494464 153080 18446744073709551615 4198400 15468185 140723902051136 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 37142528 140723902056892 140723902056993 140723902056993 140723902062566 0
/proc/48265/statm: 172484 153080 2816 2752 0 169137 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 696920 KiB
Current children cumulated memory: 616800 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.13 4.09 5/271 48265
/proc/meminfo: memFree=127463208/131250000 swapFree=33010684/33010684
[pid=48261] ppid=48258 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/48261/stat : 48261 (Hybrid-NuPBODee) S 48258 48261 47549 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 49007453 4427776 768 18446744073709551615 94092993765376 94092994659909 140735914984848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94092994898960 94092994946704 94093015425024 140735914989915 140735914990067 140735914990067 140735914995669 0
/proc/48261/statm: 1081 768 704 219 0 143 0
[pid=48264] ppid=48261 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48264/stat : 48264 (timeout) S 48261 48264 47549 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49007454 2723840 352 18446744073709551615 94329317068800 94329317085313 140732694371952 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94329317100080 94329317102168 94329350082560 140732694378928 140732694379042 140732694379042 140732694384615 0
/proc/48264/statm: 665 352 352 5 0 90 0
[pid=48265] ppid=48264 vsize=778084 memory=655712 CPUtime=25.37 cores=4,6
/proc/48265/stat : 48265 (NuPBO-DeepOptS+) R 48264 48264 47549 0 -1 4194304 91487 0 0 0 2518 19 0 0 20 0 1 0 49007455 796758016 163928 18446744073709551615 4198400 15468185 140723902051136 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 37142528 140723902056892 140723902056993 140723902056993 140723902062566 0
/proc/48265/statm: 194521 163928 2848 2752 0 191174 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 785068 KiB
Current children cumulated memory: 660192 KiB

[startup+51.1055 s]
/proc/loadavg: 4.13 4.13 4.09 5/271 48266
/proc/meminfo: memFree=127425156/131250000 swapFree=33010684/33010684
[pid=48261] ppid=48258 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/48261/stat : 48261 (Hybrid-NuPBODee) S 48258 48261 47549 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 49007453 4427776 768 18446744073709551615 94092993765376 94092994659909 140735914984848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94092994898960 94092994946704 94093015425024 140735914989915 140735914990067 140735914990067 140735914995669 0
/proc/48261/statm: 1081 768 704 219 0 143 0
[pid=48264] ppid=48261 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48264/stat : 48264 (timeout) S 48261 48264 47549 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49007454 2723840 352 18446744073709551615 94329317068800 94329317085313 140732694371952 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94329317100080 94329317102168 94329350082560 140732694378928 140732694379042 140732694379042 140732694384615 0
/proc/48264/statm: 665 352 352 5 0 90 0
[pid=48265] ppid=48264 vsize=918160 memory=699744 CPUtime=50.92 cores=4,6
/proc/48265/stat : 48265 (NuPBO-DeepOptS+) R 48264 48264 47549 0 -1 4194304 102500 0 0 0 5071 21 0 0 20 0 1 0 49007455 940195840 174936 18446744073709551615 4198400 15468185 140723902051136 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 37142528 140723902056892 140723902056993 140723902056993 140723902062566 0
/proc/48265/statm: 229540 174936 2848 2752 0 226193 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 925144 KiB
Current children cumulated memory: 704224 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.12 4.09 3/259 48309
/proc/meminfo: memFree=127649072/131250000 swapFree=33010684/33010684
[pid=48261] ppid=48258 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/48261/stat : 48261 (Hybrid-NuPBODee) S 48258 48261 47549 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 49007453 4427776 768 18446744073709551615 94092993765376 94092994659909 140735914984848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94092994898960 94092994946704 94093015425024 140735914989915 140735914990067 140735914990067 140735914995669 0
/proc/48261/statm: 1081 768 704 219 0 143 0
[pid=48264] ppid=48261 vsize=2660 memory=1408 CPUtime=0 cores=4,6

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

/proc/48261/statm: 1081 768 704 219 0 143 0
[pid=48616] ppid=48261 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48616/stat : 48616 (timeout) S 48261 48616 47549 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 49247257 2723840 352 18446744073709551615 94464764436480 94464764452993 140735598511040 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94464764467760 94464764469848 94464785682432 140735598516611 140735598516770 140735598516770 140735598522343 0
/proc/48616/statm: 665 352 352 5 0 90 0
[pid=48617] ppid=48616 vsize=204008 memory=175376 CPUtime=1061.66 cores=4,6
/proc/48617/stat : 48617 (ExactPR-nols) R 48616 48616 47549 0 -1 4194304 35223 0 0 0 106112 54 0 0 20 0 1 0 49247258 208904192 43844 18446744073709551615 94721761767424 94721771067077 140731021356736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94721772853568 94721772892648 94721782902784 140731021359512 140731021359652 140731021359652 140731021365225 0
/proc/48617/statm: 51002 43844 1888 2271 0 45640 0
Current children cumulated CPU time: 3454.56 s
Current children cumulated vsize: 210992 KiB
Current children cumulated memory: 179856 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/270 48841
/proc/meminfo: memFree=128215224/131250000 swapFree=33010684/33010684
[pid=48261] ppid=48258 vsize=4324 memory=3072 CPUtime=2392.9 cores=4,6
/proc/48261/stat : 48261 (Hybrid-NuPBODee) S 48258 48261 47549 0 -1 4194304 283 187585 0 0 0 0 239252 38 20 0 1 0 49007453 4427776 768 18446744073709551615 94092993765376 94092994659909 140735914984848 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94092994898960 94092994946704 94093015425024 140735914989915 140735914990067 140735914990067 140735914995669 0
/proc/48261/statm: 1081 768 704 219 0 143 0
[pid=48616] ppid=48261 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48616/stat : 48616 (timeout) S 48261 48616 47549 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 49247257 2723840 352 18446744073709551615 94464764436480 94464764452993 140735598511040 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94464764467760 94464764469848 94464785682432 140735598516611 140735598516770 140735598516770 140735598522343 0
/proc/48616/statm: 665 352 352 5 0 90 0
[pid=48617] ppid=48616 vsize=204008 memory=175376 CPUtime=1121.52 cores=4,6
/proc/48617/stat : 48617 (ExactPR-nols) R 48616 48616 47549 0 -1 4194304 35225 0 0 0 112095 57 0 0 20 0 1 0 49247258 208904192 43844 18446744073709551615 94721761767424 94721771067077 140731021356736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94721772853568 94721772892648 94721782902784 140731021359512 140731021359652 140731021359652 140731021365225 0
/proc/48617/statm: 51002 43844 1888 2271 0 45640 0
Current children cumulated CPU time: 3514.42 s
Current children cumulated vsize: 210992 KiB
Current children cumulated memory: 179856 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/270 48843
/proc/meminfo: memFree=128203192/131250000 swapFree=33010684/33010684
[pid=48261] ppid=48258 vsize=4324 memory=3072 CPUtime=2392.9 cores=4,6
/proc/48261/stat : 48261 (Hybrid-NuPBODee) S 48258 48261 47549 0 -1 4194304 283 187585 0 0 0 0 239252 38 20 0 1 0 49007453 4427776 768 18446744073709551615 94092993765376 94092994659909 140735914984848 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94092994898960 94092994946704 94093015425024 140735914989915 140735914990067 140735914990067 140735914995669 0
/proc/48261/statm: 1081 768 704 219 0 143 0
[pid=48616] ppid=48261 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48616/stat : 48616 (timeout) S 48261 48616 47549 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 49247257 2723840 352 18446744073709551615 94464764436480 94464764452993 140735598511040 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94464764467760 94464764469848 94464785682432 140735598516611 140735598516770 140735598516770 140735598522343 0
/proc/48616/statm: 665 352 352 5 0 90 0
[pid=48617] ppid=48616 vsize=206136 memory=177424 CPUtime=1181.38 cores=4,6
/proc/48617/stat : 48617 (ExactPR-nols) R 48616 48616 47549 0 -1 4194304 35728 0 0 0 118079 59 0 0 20 0 1 0 49247258 211083264 44356 18446744073709551615 94721761767424 94721771067077 140731021356736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94721772853568 94721772892648 94721782902784 140731021359512 140731021359652 140731021359652 140731021365225 0
/proc/48617/statm: 51534 44356 1888 2271 0 46172 0
Current children cumulated CPU time: 3574.28 s
Current children cumulated vsize: 213120 KiB
Current children cumulated memory: 181904 KiB

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

# cumulated CPU time of all completed processes:  user=3587.08 s, system=0.996762 s

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

[startup+3584 s]*
/proc/loadavg: 4.10 4.10 4.09 5/270 48843
/proc/meminfo: memFree=128203192/131250000 swapFree=33010684/33010684
[pid=48261] ppid=48258 vsize=4324 memory=3072 CPUtime=2392.9 cores=4,6
/proc/48261/stat : 48261 (Hybrid-NuPBODee) S 48258 48261 47549 0 -1 4194304 283 187585 0 0 0 0 239252 38 20 0 1 0 49007453 4427776 768 18446744073709551615 94092993765376 94092994659909 140735914984848 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94092994898960 94092994946704 94093015425024 140735914989915 140735914990067 140735914990067 140735914995669 0
/proc/48261/statm: 1081 768 704 219 0 143 0
[pid=48616] ppid=48261 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48616/stat : 48616 (timeout) S 48261 48616 47549 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 49247257 2723840 352 18446744073709551615 94464764436480 94464764452993 140735598511040 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94464764467760 94464764469848 94464785682432 140735598516611 140735598516770 140735598516770 140735598522343 0
/proc/48616/statm: 665 352 352 5 0 90 0
[pid=48617] ppid=48616 vsize=206136 memory=177424 CPUtime=1183.08 cores=4,6
/proc/48617/stat : 48617 (ExactPR-nols) R 48616 48616 47549 0 -1 4194304 35728 0 0 0 118249 59 0 0 20 0 1 0 49247258 211083264 44356 18446744073709551615 94721761767424 94721771067077 140731021356736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94721772853568 94721772892648 94721782902784 140731021359512 140731021359652 140731021359652 140731021365225 0
/proc/48617/statm: 51534 44356 1888 2271 0 46172 0
Current children cumulated CPU time: 3575.98 s
Current children cumulated vsize: 213120 KiB
Current children cumulated memory: 181904 KiB

[startup+3590.4 s]
/proc/loadavg: 4.09 4.09 4.09 5/270 48843
/proc/meminfo: memFree=128203192/131250000 swapFree=33010684/33010684
[pid=48261] ppid=48258 vsize=4324 memory=3072 CPUtime=2392.9 cores=4,6
/proc/48261/stat : 48261 (Hybrid-NuPBODee) S 48258 48261 47549 0 -1 4194304 283 187585 0 0 0 0 239252 38 20 0 1 0 49007453 4427776 768 18446744073709551615 94092993765376 94092994659909 140735914984848 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94092994898960 94092994946704 94093015425024 140735914989915 140735914990067 140735914990067 140735914995669 0
/proc/48261/statm: 1081 768 704 219 0 143 0
[pid=48616] ppid=48261 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48616/stat : 48616 (timeout) S 48261 48616 47549 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 49247257 2723840 352 18446744073709551615 94464764436480 94464764452993 140735598511040 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94464764467760 94464764469848 94464785682432 140735598516611 140735598516770 140735598516770 140735598522343 0
/proc/48616/statm: 665 352 352 5 0 90 0
[pid=48617] ppid=48616 vsize=206136 memory=177424 CPUtime=1189.46 cores=4,6
/proc/48617/stat : 48617 (ExactPR-nols) R 48616 48616 47549 0 -1 4194304 35728 0 0 0 118887 59 0 0 20 0 1 0 49247258 211083264 44356 18446744073709551615 94721761767424 94721771067077 140731021356736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94721772853568 94721772892648 94721782902784 140731021359512 140731021359652 140731021359652 140731021365225 0
/proc/48617/statm: 51534 44356 1888 2271 0 46172 0
Current children cumulated CPU time: 3582.36 s
Current children cumulated vsize: 213120 KiB
Current children cumulated memory: 181904 KiB

[startup+3593.6 s]
/proc/loadavg: 4.09 4.09 4.09 5/271 48851
/proc/meminfo: memFree=128203732/131250000 swapFree=33010684/33010684
[pid=48261] ppid=48258 vsize=4324 memory=3072 CPUtime=2392.9 cores=4,6
/proc/48261/stat : 48261 (Hybrid-NuPBODee) S 48258 48261 47549 0 -1 4194304 283 187585 0 0 0 0 239252 38 20 0 1 0 49007453 4427776 768 18446744073709551615 94092993765376 94092994659909 140735914984848 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94092994898960 94092994946704 94093015425024 140735914989915 140735914990067 140735914990067 140735914995669 0
/proc/48261/statm: 1081 768 704 219 0 143 0
[pid=48616] ppid=48261 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48616/stat : 48616 (timeout) S 48261 48616 47549 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 49247257 2723840 352 18446744073709551615 94464764436480 94464764452993 140735598511040 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94464764467760 94464764469848 94464785682432 140735598516611 140735598516770 140735598516770 140735598522343 0
/proc/48616/statm: 665 352 352 5 0 90 0
[pid=48617] ppid=48616 vsize=206136 memory=177424 CPUtime=1192.65 cores=4,6
/proc/48617/stat : 48617 (ExactPR-nols) R 48616 48616 47549 0 -1 4194304 35728 0 0 0 119206 59 0 0 20 0 1 0 49247258 211083264 44356 18446744073709551615 94721761767424 94721771067077 140731021356736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94721772853568 94721772892648 94721782902784 140731021359512 140731021359652 140731021359652 140731021365225 0
/proc/48617/statm: 51534 44356 1888 2271 0 46172 0
Current children cumulated CPU time: 3585.55 s
Current children cumulated vsize: 213120 KiB
Current children cumulated memory: 181904 KiB

[startup+3595.2 s]
/proc/loadavg: 4.08 4.09 4.09 5/271 48851
/proc/meminfo: memFree=128203732/131250000 swapFree=33010684/33010684
[pid=48261] ppid=48258 vsize=4324 memory=3072 CPUtime=2392.9 cores=4,6
/proc/48261/stat : 48261 (Hybrid-NuPBODee) S 48258 48261 47549 0 -1 4194304 283 187585 0 0 0 0 239252 38 20 0 1 0 49007453 4427776 768 18446744073709551615 94092993765376 94092994659909 140735914984848 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94092994898960 94092994946704 94093015425024 140735914989915 140735914990067 140735914990067 140735914995669 0
/proc/48261/statm: 1081 768 704 219 0 143 0
[pid=48616] ppid=48261 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48616/stat : 48616 (timeout) S 48261 48616 47549 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 49247257 2723840 352 18446744073709551615 94464764436480 94464764452993 140735598511040 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94464764467760 94464764469848 94464785682432 140735598516611 140735598516770 140735598516770 140735598522343 0
/proc/48616/statm: 665 352 352 5 0 90 0
[pid=48617] ppid=48616 vsize=206136 memory=177424 CPUtime=1194.25 cores=4,6
/proc/48617/stat : 48617 (ExactPR-nols) R 48616 48616 47549 0 -1 4194304 35728 0 0 0 119366 59 0 0 20 0 1 0 49247258 211083264 44356 18446744073709551615 94721761767424 94721771067077 140731021356736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94721772853568 94721772892648 94721782902784 140731021359512 140731021359652 140731021359652 140731021365225 0
/proc/48617/statm: 51534 44356 1888 2271 0 46172 0
Current children cumulated CPU time: 3587.15 s
Current children cumulated vsize: 213120 KiB
Current children cumulated memory: 181904 KiB

[startup+3595.6 s]
/proc/loadavg: 4.08 4.09 4.09 5/271 48851
/proc/meminfo: memFree=128203732/131250000 swapFree=33010684/33010684
[pid=48261] ppid=48258 vsize=4324 memory=3072 CPUtime=2392.9 cores=4,6
/proc/48261/stat : 48261 (Hybrid-NuPBODee) S 48258 48261 47549 0 -1 4194304 283 187585 0 0 0 0 239252 38 20 0 1 0 49007453 4427776 768 18446744073709551615 94092993765376 94092994659909 140735914984848 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94092994898960 94092994946704 94093015425024 140735914989915 140735914990067 140735914990067 140735914995669 0
/proc/48261/statm: 1081 768 704 219 0 143 0
[pid=48616] ppid=48261 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48616/stat : 48616 (timeout) S 48261 48616 47549 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 49247257 2723840 352 18446744073709551615 94464764436480 94464764452993 140735598511040 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94464764467760 94464764469848 94464785682432 140735598516611 140735598516770 140735598516770 140735598522343 0
/proc/48616/statm: 665 352 352 5 0 90 0
[pid=48617] ppid=48616 vsize=206136 memory=177424 CPUtime=1194.64 cores=4,6
/proc/48617/stat : 48617 (ExactPR-nols) R 48616 48616 47549 0 -1 4194304 35728 0 0 0 119405 59 0 0 20 0 1 0 49247258 211083264 44356 18446744073709551615 94721761767424 94721771067077 140731021356736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94721772853568 94721772892648 94721782902784 140731021359512 140731021359652 140731021359652 140731021365225 0
/proc/48617/statm: 51534 44356 1888 2271 0 46172 0
Current children cumulated CPU time: 3587.54 s
Current children cumulated vsize: 213120 KiB
Current children cumulated memory: 181904 KiB

[startup+3596 s]*
/proc/loadavg: 4.08 4.09 4.09 5/271 48851
/proc/meminfo: memFree=128203732/131250000 swapFree=33010684/33010684
[pid=48261] ppid=48258 vsize=4324 memory=3072 CPUtime=2392.9 cores=4,6
/proc/48261/stat : 48261 (Hybrid-NuPBODee) S 48258 48261 47549 0 -1 4194304 283 187585 0 0 0 0 239252 38 20 0 1 0 49007453 4427776 768 18446744073709551615 94092993765376 94092994659909 140735914984848 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94092994898960 94092994946704 94093015425024 140735914989915 140735914990067 140735914990067 140735914995669 0
/proc/48261/statm: 1081 768 704 219 0 143 0
[pid=48616] ppid=48261 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48616/stat : 48616 (timeout) S 48261 48616 47549 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 49247257 2723840 352 18446744073709551615 94464764436480 94464764452993 140735598511040 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94464764467760 94464764469848 94464785682432 140735598516611 140735598516770 140735598516770 140735598522343 0
/proc/48616/statm: 665 352 352 5 0 90 0
[pid=48617] ppid=48616 vsize=206136 memory=177424 CPUtime=1195.05 cores=4,6
/proc/48617/stat : 48617 (ExactPR-nols) R 48616 48616 47549 0 -1 4194304 35728 0 0 0 119446 59 0 0 20 0 1 0 49247258 211083264 44356 18446744073709551615 94721761767424 94721771067077 140731021356736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94721772853568 94721772892648 94721782902784 140731021359512 140731021359652 140731021359652 140731021365225 0
/proc/48617/statm: 51534 44356 1888 2271 0 46172 0
Current children cumulated CPU time: 3587.95 s
Current children cumulated vsize: 213120 KiB
Current children cumulated memory: 181904 KiB

[startup+3596.11 s]
/proc/loadavg: 4.08 4.09 4.09 5/271 48851
/proc/meminfo: memFree=128203732/131250000 swapFree=33010684/33010684
[pid=48261] ppid=48258 vsize=4324 memory=3072 CPUtime=3588.05 cores=4,6
/proc/48261/stat : 48261 (Hybrid-NuPBODee) S 48258 48261 47549 0 -1 4194304 309 223447 0 0 0 0 358707 98 20 0 1 0 49007453 4427776 768 18446744073709551615 94092993765376 94092994659909 140735914984848 0 0 0 2 4 65536 1 0 0 17 4 0 0 0 0 0 94092994898960 94092994946704 94093015425024 140735914989915 140735914990067 140735914990067 140735914995669 0
/proc/48261/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 3588.05 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB

Child status: 0

Real time (s): 3596.15
CPU time (s): 3588.08
CPU user time (s): 3587.08
CPU system time (s): 0.996762
CPU usage (%): 99.7756
Max. virtual memory (cumulated for all children) (KiB): 1471160
Max. memory (cumulated for all children) (KiB): 1064540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.08
system time used= 0.996762
maximum resident set size= 1060060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 225299
page faults= 0
swaps= 0
block input operations= 0
block output operations= 80
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1271
involuntary context switches= 2100


# summary of solver processes directly reported to runsolver:
#   pid: 48261
#   total CPU time (s): 3588.08
#   total CPU user time (s): 3587.08
#   total CPU system time (s): 0.996762

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.84059 second user time and 14.5105 second system time

The end