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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=47624, runsolver pid=47607

[startup+0.100059 s]*
/proc/loadavg: 0.74 1.56 2.65 5/273 47631
/proc/meminfo: memFree=128410932/131250000 swapFree=33010684/33010684
[pid=47624] ppid=47607 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/47624/stat : 47624 (Hybrid-NuPBODee) S 47607 47624 47549 0 -1 4194304 246 103 0 0 0 0 0 0 20 0 1 0 48418100 4427776 768 18446744073709551615 94076120932352 94076121826885 140727590187120 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94076122065936 94076122113680 94076132352000 140727590189403 140727590189555 140727590189555 140727590195157 0
/proc/47624/statm: 1081 768 704 219 0 143 0
[pid=47630] ppid=47624 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/47630/stat : 47630 (timeout) S 47624 47630 47549 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 48418102 2723840 352 18446744073709551615 93985996582912 93985996599425 140724150155088 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93985996614192 93985996616280 93986023124992 140724150159792 140724150159906 140724150159906 140724150165479 0
/proc/47630/statm: 665 352 352 5 0 90 0
[pid=47631] ppid=47630 vsize=23728 memory=8544 CPUtime=0.07 cores=1,3
/proc/47631/stat : 47631 (NuPBO-DeepOptS+) R 47630 47630 47549 0 -1 4194304 1667 0 0 0 7 0 0 0 20 0 1 0 48418103 24297472 2136 18446744073709551615 4198400 15468185 140733645306624 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39976960 140733645310396 140733645310497 140733645310497 140733645316070 0
/proc/47631/statm: 5932 2136 1088 2752 0 2585 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 30712 KiB
Current children cumulated memory: 13024 KiB

[startup+0.204749 s]*
/proc/loadavg: 0.74 1.56 2.65 5/273 47631
/proc/meminfo: memFree=128394300/131250000 swapFree=33010684/33010684
[pid=47624] ppid=47607 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/47624/stat : 47624 (Hybrid-NuPBODee) S 47607 47624 47549 0 -1 4194304 246 103 0 0 0 0 0 0 20 0 1 0 48418100 4427776 768 18446744073709551615 94076120932352 94076121826885 140727590187120 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94076122065936 94076122113680 94076132352000 140727590189403 140727590189555 140727590189555 140727590195157 0
/proc/47624/statm: 1081 768 704 219 0 143 0
[pid=47630] ppid=47624 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/47630/stat : 47630 (timeout) S 47624 47630 47549 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 48418102 2723840 352 18446744073709551615 93985996582912 93985996599425 140724150155088 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93985996614192 93985996616280 93986023124992 140724150159792 140724150159906 140724150159906 140724150165479 0
/proc/47630/statm: 665 352 352 5 0 90 0
[pid=47631] ppid=47630 vsize=25776 memory=11068 CPUtime=0.17 cores=1,3
/proc/47631/stat : 47631 (NuPBO-DeepOptS+) R 47630 47630 47549 0 -1 4194304 2283 0 0 0 17 0 0 0 20 0 1 0 48418103 26394624 2767 18446744073709551615 4198400 15468185 140733645306624 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39976960 140733645310396 140733645310497 140733645310497 140733645316070 0
/proc/47631/statm: 6444 2767 1088 2752 0 3097 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 32760 KiB
Current children cumulated memory: 15548 KiB

[startup+0.304638 s]*
/proc/loadavg: 0.74 1.56 2.65 5/273 47631
/proc/meminfo: memFree=128349696/131250000 swapFree=33010684/33010684
[pid=47624] ppid=47607 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/47624/stat : 47624 (Hybrid-NuPBODee) S 47607 47624 47549 0 -1 4194304 246 103 0 0 0 0 0 0 20 0 1 0 48418100 4427776 768 18446744073709551615 94076120932352 94076121826885 140727590187120 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94076122065936 94076122113680 94076132352000 140727590189403 140727590189555 140727590189555 140727590195157 0
/proc/47624/statm: 1081 768 704 219 0 143 0
[pid=47630] ppid=47624 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/47630/stat : 47630 (timeout) S 47624 47630 47549 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 48418102 2723840 352 18446744073709551615 93985996582912 93985996599425 140724150155088 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93985996614192 93985996616280 93986023124992 140724150159792 140724150159906 140724150159906 140724150165479 0
/proc/47630/statm: 665 352 352 5 0 90 0
[pid=47631] ppid=47630 vsize=29872 memory=13120 CPUtime=0.27 cores=1,3
/proc/47631/stat : 47631 (NuPBO-DeepOptS+) R 47630 47630 47549 0 -1 4194304 2799 0 0 0 27 0 0 0 20 0 1 0 48418103 30588928 3280 18446744073709551615 4198400 15468185 140733645306624 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39976960 140733645310396 140733645310497 140733645310497 140733645316070 0
/proc/47631/statm: 7468 3280 1088 2752 0 4121 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 36856 KiB
Current children cumulated memory: 17600 KiB

[startup+0.700216 s]
/proc/loadavg: 0.74 1.56 2.65 5/273 47631
/proc/meminfo: memFree=128326764/131250000 swapFree=33010684/33010684
[pid=47624] ppid=47607 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/47624/stat : 47624 (Hybrid-NuPBODee) S 47607 47624 47549 0 -1 4194304 246 103 0 0 0 0 0 0 20 0 1 0 48418100 4427776 768 18446744073709551615 94076120932352 94076121826885 140727590187120 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94076122065936 94076122113680 94076132352000 140727590189403 140727590189555 140727590189555 140727590195157 0
/proc/47624/statm: 1081 768 704 219 0 143 0
[pid=47630] ppid=47624 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/47630/stat : 47630 (timeout) S 47624 47630 47549 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 48418102 2723840 352 18446744073709551615 93985996582912 93985996599425 140724150155088 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93985996614192 93985996616280 93986023124992 140724150159792 140724150159906 140724150159906 140724150165479 0
/proc/47630/statm: 665 352 352 5 0 90 0
[pid=47631] ppid=47630 vsize=76988 memory=56276 CPUtime=0.66 cores=1,3
/proc/47631/stat : 47631 (NuPBO-DeepOptS+) R 47630 47630 47549 0 -1 4194304 8615 0 0 0 65 1 0 0 20 0 1 0 48418103 78835712 14069 18446744073709551615 4198400 15468185 140733645306624 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39976960 140733645310396 140733645310497 140733645310497 140733645316070 0
/proc/47631/statm: 19247 14069 1152 2752 0 15900 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 83972 KiB
Current children cumulated memory: 60756 KiB

[startup+1.50019 s]
/proc/loadavg: 1.00 1.60 2.65 5/273 47631
/proc/meminfo: memFree=128266096/131250000 swapFree=33010684/33010684
[pid=47624] ppid=47607 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/47624/stat : 47624 (Hybrid-NuPBODee) S 47607 47624 47549 0 -1 4194304 246 103 0 0 0 0 0 0 20 0 1 0 48418100 4427776 768 18446744073709551615 94076120932352 94076121826885 140727590187120 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94076122065936 94076122113680 94076132352000 140727590189403 140727590189555 140727590189555 140727590195157 0
/proc/47624/statm: 1081 768 704 219 0 143 0
[pid=47630] ppid=47624 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/47630/stat : 47630 (timeout) S 47624 47630 47549 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 48418102 2723840 352 18446744073709551615 93985996582912 93985996599425 140724150155088 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93985996614192 93985996616280 93986023124992 140724150159792 140724150159906 140724150159906 140724150165479 0
/proc/47630/statm: 665 352 352 5 0 90 0
[pid=47631] ppid=47630 vsize=76988 memory=56276 CPUtime=1.45 cores=1,3
/proc/47631/stat : 47631 (NuPBO-DeepOptS+) R 47630 47630 47549 0 -1 4194304 8616 0 0 0 144 1 0 0 20 0 1 0 48418103 78835712 14069 18446744073709551615 4198400 15468185 140733645306624 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39976960 140733645310396 140733645310497 140733645310497 140733645316070 0
/proc/47631/statm: 19247 14069 1152 2752 0 15900 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 83972 KiB
Current children cumulated memory: 60756 KiB

[startup+3.10502 s]
/proc/loadavg: 1.00 1.60 2.65 5/273 47631
/proc/meminfo: memFree=128069496/131250000 swapFree=33010684/33010684
[pid=47624] ppid=47607 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/47624/stat : 47624 (Hybrid-NuPBODee) S 47607 47624 47549 0 -1 4194304 246 103 0 0 0 0 0 0 20 0 1 0 48418100 4427776 768 18446744073709551615 94076120932352 94076121826885 140727590187120 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94076122065936 94076122113680 94076132352000 140727590189403 140727590189555 140727590189555 140727590195157 0
/proc/47624/statm: 1081 768 704 219 0 143 0
[pid=47630] ppid=47624 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/47630/stat : 47630 (timeout) S 47624 47630 47549 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 48418102 2723840 352 18446744073709551615 93985996582912 93985996599425 140724150155088 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93985996614192 93985996616280 93986023124992 140724150159792 140724150159906 140724150159906 140724150165479 0
/proc/47630/statm: 665 352 352 5 0 90 0
[pid=47631] ppid=47630 vsize=232052 memory=215236 CPUtime=3.06 cores=1,3
/proc/47631/stat : 47631 (NuPBO-DeepOptS+) R 47630 47630 47549 0 -1 4194304 46388 0 0 0 300 6 0 0 20 0 1 0 48418103 237621248 53809 18446744073709551615 4198400 15468185 140733645306624 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39976960 140733645310396 140733645310497 140733645310497 140733645316070 0
/proc/47631/statm: 58013 53809 2720 2752 0 54666 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 239036 KiB
Current children cumulated memory: 219716 KiB

[startup+6.30017 s]
/proc/loadavg: 1.25 1.64 2.66 5/273 47631
/proc/meminfo: memFree=127843400/131250000 swapFree=33010684/33010684
[pid=47624] ppid=47607 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/47624/stat : 47624 (Hybrid-NuPBODee) S 47607 47624 47549 0 -1 4194304 246 103 0 0 0 0 0 0 20 0 1 0 48418100 4427776 768 18446744073709551615 94076120932352 94076121826885 140727590187120 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94076122065936 94076122113680 94076132352000 140727590189403 140727590189555 140727590189555 140727590195157 0
/proc/47624/statm: 1081 768 704 219 0 143 0
[pid=47630] ppid=47624 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/47630/stat : 47630 (timeout) S 47624 47630 47549 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 48418102 2723840 352 18446744073709551615 93985996582912 93985996599425 140724150155088 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93985996614192 93985996616280 93986023124992 140724150159792 140724150159906 140724150159906 140724150165479 0
/proc/47630/statm: 665 352 352 5 0 90 0
[pid=47631] ppid=47630 vsize=478056 memory=419848 CPUtime=6.25 cores=1,3
/proc/47631/stat : 47631 (NuPBO-DeepOptS+) R 47630 47630 47549 0 -1 4194304 71350 0 0 0 612 13 0 0 20 0 1 0 48418103 489529344 104962 18446744073709551615 4198400 15468185 140733645306624 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39976960 140733645310396 140733645310497 140733645310497 140733645316070 0
/proc/47631/statm: 119514 104962 2816 2752 0 116167 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 485040 KiB
Current children cumulated memory: 424328 KiB

[startup+12.7002 s]
/proc/loadavg: 1.47 1.68 2.67 5/273 47631
/proc/meminfo: memFree=127819248/131250000 swapFree=33010684/33010684
[pid=47624] ppid=47607 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/47624/stat : 47624 (Hybrid-NuPBODee) S 47607 47624 47549 0 -1 4194304 246 103 0 0 0 0 0 0 20 0 1 0 48418100 4427776 768 18446744073709551615 94076120932352 94076121826885 140727590187120 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94076122065936 94076122113680 94076132352000 140727590189403 140727590189555 140727590189555 140727590195157 0
/proc/47624/statm: 1081 768 704 219 0 143 0
[pid=47630] ppid=47624 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/47630/stat : 47630 (timeout) S 47624 47630 47549 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 48418102 2723840 352 18446744073709551615 93985996582912 93985996599425 140724150155088 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93985996614192 93985996616280 93986023124992 140724150159792 140724150159906 140724150159906 140724150165479 0
/proc/47630/statm: 665 352 352 5 0 90 0
[pid=47631] ppid=47630 vsize=478784 memory=420232 CPUtime=12.63 cores=1,3
/proc/47631/stat : 47631 (NuPBO-DeepOptS+) R 47630 47630 47549 0 -1 4194304 71473 0 0 0 1250 13 0 0 20 0 1 0 48418103 490274816 105058 18446744073709551615 4198400 15468185 140733645306624 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39976960 140733645310396 140733645310497 140733645310497 140733645316070 0
/proc/47631/statm: 119696 105058 2816 2752 0 116349 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 485768 KiB
Current children cumulated memory: 424712 KiB

[startup+25.5002 s]
/proc/loadavg: 1.86 1.76 2.68 5/273 47631
/proc/meminfo: memFree=127738040/131250000 swapFree=33010684/33010684
[pid=47624] ppid=47607 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/47624/stat : 47624 (Hybrid-NuPBODee) S 47607 47624 47549 0 -1 4194304 246 103 0 0 0 0 0 0 20 0 1 0 48418100 4427776 768 18446744073709551615 94076120932352 94076121826885 140727590187120 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94076122065936 94076122113680 94076132352000 140727590189403 140727590189555 140727590189555 140727590195157 0
/proc/47624/statm: 1081 768 704 219 0 143 0
[pid=47630] ppid=47624 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/47630/stat : 47630 (timeout) S 47624 47630 47549 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 48418102 2723840 352 18446744073709551615 93985996582912 93985996599425 140724150155088 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93985996614192 93985996616280 93986023124992 140724150159792 140724150159906 140724150159906 140724150165479 0
/proc/47630/statm: 665 352 352 5 0 90 0
[pid=47631] ppid=47630 vsize=479712 memory=421384 CPUtime=25.39 cores=1,3
/proc/47631/stat : 47631 (NuPBO-DeepOptS+) R 47630 47630 47549 0 -1 4194304 71752 0 0 0 2526 13 0 0 20 0 1 0 48418103 491225088 105346 18446744073709551615 4198400 15468185 140733645306624 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39976960 140733645310396 140733645310497 140733645310497 140733645316070 0
/proc/47631/statm: 119928 105346 2816 2752 0 116581 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 486696 KiB
Current children cumulated memory: 425864 KiB

[startup+51.1048 s]
/proc/loadavg: 2.76 1.99 2.73 5/273 47632
/proc/meminfo: memFree=127698092/131250000 swapFree=33010684/33010684
[pid=47624] ppid=47607 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/47624/stat : 47624 (Hybrid-NuPBODee) S 47607 47624 47549 0 -1 4194304 246 103 0 0 0 0 0 0 20 0 1 0 48418100 4427776 768 18446744073709551615 94076120932352 94076121826885 140727590187120 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94076122065936 94076122113680 94076132352000 140727590189403 140727590189555 140727590189555 140727590195157 0
/proc/47624/statm: 1081 768 704 219 0 143 0
[pid=47630] ppid=47624 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/47630/stat : 47630 (timeout) S 47624 47630 47549 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 48418102 2723840 352 18446744073709551615 93985996582912 93985996599425 140724150155088 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93985996614192 93985996616280 93986023124992 140724150159792 140724150159906 140724150159906 140724150165479 0
/proc/47630/statm: 665 352 352 5 0 90 0
[pid=47631] ppid=47630 vsize=500080 memory=433892 CPUtime=50.93 cores=1,3
/proc/47631/stat : 47631 (NuPBO-DeepOptS+) R 47630 47630 47549 0 -1 4194304 74333 0 0 0 5079 14 0 0 20 0 1 0 48418103 512081920 108473 18446744073709551615 4198400 15468185 140733645306624 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39976960 140733645310396 140733645310497 140733645310497 140733645316070 0
/proc/47631/statm: 125020 108473 2848 2752 0 121673 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 507064 KiB
Current children cumulated memory: 438372 KiB

[startup+102.3 s]
/proc/loadavg: 3.51 2.32 2.81 5/273 47634
/proc/meminfo: memFree=127673044/131250000 swapFree=33010684/33010684
[pid=47624] ppid=47607 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/47624/stat : 47624 (Hybrid-NuPBODee) S 47607 47624 47549 0 -1 4194304 246 103 0 0 0 0 0 0 20 0 1 0 48418100 4427776 768 18446744073709551615 94076120932352 94076121826885 140727590187120 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94076122065936 94076122113680 94076132352000 140727590189403 140727590189555 140727590189555 140727590195157 0
/proc/47624/statm: 1081 768 704 219 0 143 0

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

/proc/47624/statm: 1081 768 704 219 0 143 0
[pid=47763] ppid=47624 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/47763/stat : 47763 (timeout) S 47624 47763 47549 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 48657904 2723840 352 18446744073709551615 94214871228416 94214871244929 140727598347008 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94214871259696 94214871261784 94214894104576 140727598352771 140727598352930 140727598352930 140727598358503 0
/proc/47763/statm: 665 352 352 5 0 90 0
[pid=47764] ppid=47763 vsize=251452 memory=204708 CPUtime=1061.59 cores=1,3
/proc/47764/stat : 47764 (ExactPR-nols) R 47763 47763 47549 0 -1 4194304 34713 0 0 0 106123 36 0 0 20 0 1 0 48657905 257486848 51177 18446744073709551615 93963088257024 93963097556677 140726077690832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93963099343168 93963099382248 93963134562304 140726077696408 140726077696548 140726077696548 140726077702121 0
/proc/47764/statm: 62863 51177 1888 2271 0 57501 0
Current children cumulated CPU time: 3453.01 s
Current children cumulated vsize: 258436 KiB
Current children cumulated memory: 209188 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.04 5/272 47875
/proc/meminfo: memFree=128017112/131250000 swapFree=33010684/33010684
[pid=47624] ppid=47607 vsize=4324 memory=3072 CPUtime=2391.42 cores=1,3
/proc/47624/stat : 47624 (Hybrid-NuPBODee) S 47607 47624 47549 0 -1 4194304 281 111869 0 0 0 0 239122 20 20 0 1 0 48418100 4427776 768 18446744073709551615 94076120932352 94076121826885 140727590187120 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94076122065936 94076122113680 94076132352000 140727590189403 140727590189555 140727590189555 140727590195157 0
/proc/47624/statm: 1081 768 704 219 0 143 0
[pid=47763] ppid=47624 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/47763/stat : 47763 (timeout) S 47624 47763 47549 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 48657904 2723840 352 18446744073709551615 94214871228416 94214871244929 140727598347008 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94214871259696 94214871261784 94214894104576 140727598352771 140727598352930 140727598352930 140727598358503 0
/proc/47763/statm: 665 352 352 5 0 90 0
[pid=47764] ppid=47763 vsize=252532 memory=206884 CPUtime=1121.44 cores=1,3
/proc/47764/stat : 47764 (ExactPR-nols) R 47763 47763 47549 0 -1 4194304 35162 0 0 0 112108 36 0 0 20 0 1 0 48657905 258592768 51721 18446744073709551615 93963088257024 93963097556677 140726077690832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93963099343168 93963099382248 93963134562304 140726077696408 140726077696548 140726077696548 140726077702121 0
/proc/47764/statm: 63133 51721 1888 2271 0 57771 0
Current children cumulated CPU time: 3512.86 s
Current children cumulated vsize: 259516 KiB
Current children cumulated memory: 211364 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.09 4.04 5/272 47877
/proc/meminfo: memFree=128023428/131250000 swapFree=33010684/33010684
[pid=47624] ppid=47607 vsize=4324 memory=3072 CPUtime=2391.42 cores=1,3
/proc/47624/stat : 47624 (Hybrid-NuPBODee) S 47607 47624 47549 0 -1 4194304 281 111869 0 0 0 0 239122 20 20 0 1 0 48418100 4427776 768 18446744073709551615 94076120932352 94076121826885 140727590187120 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94076122065936 94076122113680 94076132352000 140727590189403 140727590189555 140727590189555 140727590195157 0
/proc/47624/statm: 1081 768 704 219 0 143 0
[pid=47763] ppid=47624 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/47763/stat : 47763 (timeout) S 47624 47763 47549 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 48657904 2723840 352 18446744073709551615 94214871228416 94214871244929 140727598347008 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94214871259696 94214871261784 94214894104576 140727598352771 140727598352930 140727598352930 140727598358503 0
/proc/47763/statm: 665 352 352 5 0 90 0
[pid=47764] ppid=47763 vsize=252532 memory=206884 CPUtime=1181.28 cores=1,3
/proc/47764/stat : 47764 (ExactPR-nols) R 47763 47763 47549 0 -1 4194304 35162 0 0 0 118090 38 0 0 20 0 1 0 48657905 258592768 51721 18446744073709551615 93963088257024 93963097556677 140726077690832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93963099343168 93963099382248 93963134562304 140726077696408 140726077696548 140726077696548 140726077702121 0
/proc/47764/statm: 63133 51721 1888 2271 0 57771 0
Current children cumulated CPU time: 3572.7 s
Current children cumulated vsize: 259516 KiB
Current children cumulated memory: 211364 KiB

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

# cumulated CPU time of all completed processes:  user=3585.84 s, system=0.660008 s

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

[startup+3584 s]*
/proc/loadavg: 4.08 4.09 4.04 5/272 47877
/proc/meminfo: memFree=128023476/131250000 swapFree=33010684/33010684
[pid=47624] ppid=47607 vsize=4324 memory=3072 CPUtime=2391.42 cores=1,3
/proc/47624/stat : 47624 (Hybrid-NuPBODee) S 47607 47624 47549 0 -1 4194304 281 111869 0 0 0 0 239122 20 20 0 1 0 48418100 4427776 768 18446744073709551615 94076120932352 94076121826885 140727590187120 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94076122065936 94076122113680 94076132352000 140727590189403 140727590189555 140727590189555 140727590195157 0
/proc/47624/statm: 1081 768 704 219 0 143 0
[pid=47763] ppid=47624 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/47763/stat : 47763 (timeout) S 47624 47763 47549 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 48657904 2723840 352 18446744073709551615 94214871228416 94214871244929 140727598347008 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94214871259696 94214871261784 94214894104576 140727598352771 140727598352930 140727598352930 140727598358503 0
/proc/47763/statm: 665 352 352 5 0 90 0
[pid=47764] ppid=47763 vsize=252532 memory=206884 CPUtime=1182.99 cores=1,3
/proc/47764/stat : 47764 (ExactPR-nols) R 47763 47763 47549 0 -1 4194304 35162 0 0 0 118261 38 0 0 20 0 1 0 48657905 258592768 51721 18446744073709551615 93963088257024 93963097556677 140726077690832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93963099343168 93963099382248 93963134562304 140726077696408 140726077696548 140726077696548 140726077702121 0
/proc/47764/statm: 63133 51721 1888 2271 0 57771 0
Current children cumulated CPU time: 3574.41 s
Current children cumulated vsize: 259516 KiB
Current children cumulated memory: 211364 KiB

[startup+3590.4 s]
/proc/loadavg: 4.07 4.08 4.04 5/272 47877
/proc/meminfo: memFree=128023476/131250000 swapFree=33010684/33010684
[pid=47624] ppid=47607 vsize=4324 memory=3072 CPUtime=2391.42 cores=1,3
/proc/47624/stat : 47624 (Hybrid-NuPBODee) S 47607 47624 47549 0 -1 4194304 281 111869 0 0 0 0 239122 20 20 0 1 0 48418100 4427776 768 18446744073709551615 94076120932352 94076121826885 140727590187120 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94076122065936 94076122113680 94076132352000 140727590189403 140727590189555 140727590189555 140727590195157 0
/proc/47624/statm: 1081 768 704 219 0 143 0
[pid=47763] ppid=47624 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/47763/stat : 47763 (timeout) S 47624 47763 47549 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 48657904 2723840 352 18446744073709551615 94214871228416 94214871244929 140727598347008 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94214871259696 94214871261784 94214894104576 140727598352771 140727598352930 140727598352930 140727598358503 0
/proc/47763/statm: 665 352 352 5 0 90 0
[pid=47764] ppid=47763 vsize=252532 memory=206884 CPUtime=1189.37 cores=1,3
/proc/47764/stat : 47764 (ExactPR-nols) R 47763 47763 47549 0 -1 4194304 35162 0 0 0 118897 40 0 0 20 0 1 0 48657905 258592768 51721 18446744073709551615 93963088257024 93963097556677 140726077690832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93963099343168 93963099382248 93963134562304 140726077696408 140726077696548 140726077696548 140726077702121 0
/proc/47764/statm: 63133 51721 1888 2271 0 57771 0
Current children cumulated CPU time: 3580.79 s
Current children cumulated vsize: 259516 KiB
Current children cumulated memory: 211364 KiB

[startup+3593.6 s]
/proc/loadavg: 4.07 4.08 4.04 5/272 47877
/proc/meminfo: memFree=128011188/131250000 swapFree=33010684/33010684
[pid=47624] ppid=47607 vsize=4324 memory=3072 CPUtime=2391.42 cores=1,3
/proc/47624/stat : 47624 (Hybrid-NuPBODee) S 47607 47624 47549 0 -1 4194304 281 111869 0 0 0 0 239122 20 20 0 1 0 48418100 4427776 768 18446744073709551615 94076120932352 94076121826885 140727590187120 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94076122065936 94076122113680 94076132352000 140727590189403 140727590189555 140727590189555 140727590195157 0
/proc/47624/statm: 1081 768 704 219 0 143 0
[pid=47763] ppid=47624 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/47763/stat : 47763 (timeout) S 47624 47763 47549 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 48657904 2723840 352 18446744073709551615 94214871228416 94214871244929 140727598347008 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94214871259696 94214871261784 94214894104576 140727598352771 140727598352930 140727598352930 140727598358503 0
/proc/47763/statm: 665 352 352 5 0 90 0
[pid=47764] ppid=47763 vsize=252532 memory=206884 CPUtime=1192.56 cores=1,3
/proc/47764/stat : 47764 (ExactPR-nols) R 47763 47763 47549 0 -1 4194304 35162 0 0 0 119215 41 0 0 20 0 1 0 48657905 258592768 51721 18446744073709551615 93963088257024 93963097556677 140726077690832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93963099343168 93963099382248 93963134562304 140726077696408 140726077696548 140726077696548 140726077702121 0
/proc/47764/statm: 63133 51721 1888 2271 0 57771 0
Current children cumulated CPU time: 3583.98 s
Current children cumulated vsize: 259516 KiB
Current children cumulated memory: 211364 KiB

[startup+3595.2 s]
/proc/loadavg: 4.07 4.08 4.04 5/272 47877
/proc/meminfo: memFree=128019252/131250000 swapFree=33010684/33010684
[pid=47624] ppid=47607 vsize=4324 memory=3072 CPUtime=2391.42 cores=1,3
/proc/47624/stat : 47624 (Hybrid-NuPBODee) S 47607 47624 47549 0 -1 4194304 281 111869 0 0 0 0 239122 20 20 0 1 0 48418100 4427776 768 18446744073709551615 94076120932352 94076121826885 140727590187120 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94076122065936 94076122113680 94076132352000 140727590189403 140727590189555 140727590189555 140727590195157 0
/proc/47624/statm: 1081 768 704 219 0 143 0
[pid=47763] ppid=47624 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/47763/stat : 47763 (timeout) S 47624 47763 47549 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 48657904 2723840 352 18446744073709551615 94214871228416 94214871244929 140727598347008 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94214871259696 94214871261784 94214894104576 140727598352771 140727598352930 140727598352930 140727598358503 0
/proc/47763/statm: 665 352 352 5 0 90 0
[pid=47764] ppid=47763 vsize=252532 memory=206884 CPUtime=1194.16 cores=1,3
/proc/47764/stat : 47764 (ExactPR-nols) R 47763 47763 47549 0 -1 4194304 35162 0 0 0 119375 41 0 0 20 0 1 0 48657905 258592768 51721 18446744073709551615 93963088257024 93963097556677 140726077690832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93963099343168 93963099382248 93963134562304 140726077696408 140726077696548 140726077696548 140726077702121 0
/proc/47764/statm: 63133 51721 1888 2271 0 57771 0
Current children cumulated CPU time: 3585.58 s
Current children cumulated vsize: 259516 KiB
Current children cumulated memory: 211364 KiB

[startup+3595.6 s]
/proc/loadavg: 4.07 4.08 4.04 5/272 47877
/proc/meminfo: memFree=128019252/131250000 swapFree=33010684/33010684
[pid=47624] ppid=47607 vsize=4324 memory=3072 CPUtime=2391.42 cores=1,3
/proc/47624/stat : 47624 (Hybrid-NuPBODee) S 47607 47624 47549 0 -1 4194304 281 111869 0 0 0 0 239122 20 20 0 1 0 48418100 4427776 768 18446744073709551615 94076120932352 94076121826885 140727590187120 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94076122065936 94076122113680 94076132352000 140727590189403 140727590189555 140727590189555 140727590195157 0
/proc/47624/statm: 1081 768 704 219 0 143 0
[pid=47763] ppid=47624 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/47763/stat : 47763 (timeout) S 47624 47763 47549 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 48657904 2723840 352 18446744073709551615 94214871228416 94214871244929 140727598347008 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94214871259696 94214871261784 94214894104576 140727598352771 140727598352930 140727598352930 140727598358503 0
/proc/47763/statm: 665 352 352 5 0 90 0
[pid=47764] ppid=47763 vsize=252532 memory=206884 CPUtime=1194.56 cores=1,3
/proc/47764/stat : 47764 (ExactPR-nols) R 47763 47763 47549 0 -1 4194304 35162 0 0 0 119415 41 0 0 20 0 1 0 48657905 258592768 51721 18446744073709551615 93963088257024 93963097556677 140726077690832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93963099343168 93963099382248 93963134562304 140726077696408 140726077696548 140726077696548 140726077702121 0
/proc/47764/statm: 63133 51721 1888 2271 0 57771 0
Current children cumulated CPU time: 3585.98 s
Current children cumulated vsize: 259516 KiB
Current children cumulated memory: 211364 KiB

[startup+3596 s]*
/proc/loadavg: 4.07 4.08 4.04 5/272 47877
/proc/meminfo: memFree=128019268/131250000 swapFree=33010684/33010684
[pid=47624] ppid=47607 vsize=4324 memory=3072 CPUtime=2391.42 cores=1,3
/proc/47624/stat : 47624 (Hybrid-NuPBODee) S 47607 47624 47549 0 -1 4194304 281 111869 0 0 0 0 239122 20 20 0 1 0 48418100 4427776 768 18446744073709551615 94076120932352 94076121826885 140727590187120 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94076122065936 94076122113680 94076132352000 140727590189403 140727590189555 140727590189555 140727590195157 0
/proc/47624/statm: 1081 768 704 219 0 143 0
[pid=47763] ppid=47624 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/47763/stat : 47763 (timeout) S 47624 47763 47549 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 48657904 2723840 352 18446744073709551615 94214871228416 94214871244929 140727598347008 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94214871259696 94214871261784 94214894104576 140727598352771 140727598352930 140727598352930 140727598358503 0
/proc/47763/statm: 665 352 352 5 0 90 0
[pid=47764] ppid=47763 vsize=252532 memory=206884 CPUtime=1194.96 cores=1,3
/proc/47764/stat : 47764 (ExactPR-nols) R 47763 47763 47549 0 -1 4194304 35162 0 0 0 119455 41 0 0 20 0 1 0 48657905 258592768 51721 18446744073709551615 93963088257024 93963097556677 140726077690832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93963099343168 93963099382248 93963134562304 140726077696408 140726077696548 140726077696548 140726077702121 0
/proc/47764/statm: 63133 51721 1888 2271 0 57771 0
Current children cumulated CPU time: 3586.38 s
Current children cumulated vsize: 259516 KiB
Current children cumulated memory: 211364 KiB

[startup+3596.11 s]
/proc/loadavg: 4.07 4.08 4.04 5/272 47877
/proc/meminfo: memFree=128019268/131250000 swapFree=33010684/33010684
[pid=47624] ppid=47607 vsize=4324 memory=3072 CPUtime=3586.45 cores=1,3
/proc/47624/stat : 47624 (Hybrid-NuPBODee) S 47607 47624 47549 0 -1 4194304 335 147737 0 0 0 0 358582 63 20 0 1 0 48418100 4427776 768 18446744073709551615 94076120932352 94076121826885 140727590187120 0 0 0 2 4 65536 1 0 0 17 1 0 0 0 0 0 94076122065936 94076122113680 94076132352000 140727590189403 140727590189555 140727590189555 140727590195157 0
/proc/47624/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 3586.45 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB

Child status: 0

Real time (s): 3596.2
CPU time (s): 3586.5
CPU user time (s): 3585.84
CPU system time (s): 0.660008
CPU usage (%): 99.7303
Max. virtual memory (cumulated for all children) (KiB): 695596
Max. memory (cumulated for all children) (KiB): 615296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.84
system time used= 0.660008
maximum resident set size= 610816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 150551
page faults= 0
swaps= 0
block input operations= 0
block output operations= 168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2584
involuntary context switches= 1512


# summary of solver processes directly reported to runsolver:
#   pid: 47624
#   total CPU time (s): 3586.5
#   total CPU user time (s): 3585.84
#   total CPU system time (s): 0.660008

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.83336 second user time and 14.3078 second system time

The end