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: 64059 MiB (59710 MiB free)
  memory of node 1: 64510 MiB (60621 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443588-1721313152/watcher-4443588-1721313152 -o /tmp/evaluation-result-4443588-1721313152/solver-4443588-1721313152 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721305421-949651 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4443588-1721313152.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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=955331, runsolver pid=955328

[startup+0.10011 s]*
/proc/loadavg: 4.16 4.16 4.18 5/250 955336
/proc/meminfo: memFree=123215584/131655788 swapFree=131071996/131071996
[pid=955331] ppid=955328 vsize=9932 memory=2792 CPUtime=0 cores=1,3
/proc/955331/stat : 955331 (naps-1.03.sh) S 955328 955331 949639 0 -1 4194304 224 239 0 0 0 0 0 0 20 0 1 0 183471273 10170368 698 134679101440 94116484890624 94116485969944 140733508524624 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94116488068400 94116488115588 94116511330304 140733508527071 140733508527200 140733508527200 140733508534216 0
/proc/955331/statm: 2483 698 621 264 0 134 0
[pid=955336] ppid=955331 vsize=9756 memory=5664 CPUtime=0.1 cores=1,3
/proc/955336/stat : 955336 (naps-1.03) R 955331 955331 949639 0 -1 4194304 551 0 0 0 10 0 0 0 20 0 1 0 183471273 9990144 1416 134679101440 4194304 6891213 140728538331888 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36679680 140728538334192 140728538334308 140728538334308 140728538341323 0
/proc/955336/statm: 2439 1416 436 659 0 1643 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 19688 KiB
Current children cumulated memory: 8456 KiB

[startup+0.213459 s]*
/proc/loadavg: 4.16 4.16 4.18 6/250 955336
/proc/meminfo: memFree=123212024/131655788 swapFree=131071996/131071996
[pid=955331] ppid=955328 vsize=9932 memory=2792 CPUtime=0 cores=1,3
/proc/955331/stat : 955331 (naps-1.03.sh) S 955328 955331 949639 0 -1 4194304 224 239 0 0 0 0 0 0 20 0 1 0 183471273 10170368 698 134679101440 94116484890624 94116485969944 140733508524624 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94116488068400 94116488115588 94116511330304 140733508527071 140733508527200 140733508527200 140733508534216 0
/proc/955331/statm: 2483 698 621 264 0 134 0
[pid=955336] ppid=955331 vsize=11284 memory=6968 CPUtime=0.21 cores=1,3
/proc/955336/stat : 955336 (naps-1.03) R 955331 955331 949639 0 -1 4194304 857 0 0 0 21 0 0 0 20 0 1 0 183471273 11554816 1742 134679101440 4194304 6891213 140728538331888 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36679680 140728538334192 140728538334308 140728538334308 140728538341323 0
/proc/955336/statm: 2821 1742 436 659 0 2025 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 21216 KiB
Current children cumulated memory: 9760 KiB

[startup+0.313471 s]*
/proc/loadavg: 4.16 4.16 4.18 5/250 955336
/proc/meminfo: memFree=123210524/131655788 swapFree=131071996/131071996
[pid=955331] ppid=955328 vsize=9932 memory=2792 CPUtime=0 cores=1,3
/proc/955331/stat : 955331 (naps-1.03.sh) S 955328 955331 949639 0 -1 4194304 224 239 0 0 0 0 0 0 20 0 1 0 183471273 10170368 698 134679101440 94116484890624 94116485969944 140733508524624 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94116488068400 94116488115588 94116511330304 140733508527071 140733508527200 140733508527200 140733508534216 0
/proc/955331/statm: 2483 698 621 264 0 134 0
[pid=955336] ppid=955331 vsize=12012 memory=8060 CPUtime=0.31 cores=1,3
/proc/955336/stat : 955336 (naps-1.03) R 955331 955331 949639 0 -1 4194304 1178 0 0 0 31 0 0 0 20 0 1 0 183471273 12300288 2015 134679101440 4194304 6891213 140728538331888 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36679680 140728538334192 140728538334308 140728538334308 140728538341323 0
/proc/955336/statm: 3003 2015 436 659 0 2207 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 21944 KiB
Current children cumulated memory: 10852 KiB

[startup+0.700435 s]
/proc/loadavg: 4.16 4.16 4.18 5/250 955336
/proc/meminfo: memFree=123208692/131655788 swapFree=131071996/131071996
[pid=955331] ppid=955328 vsize=9932 memory=2792 CPUtime=0 cores=1,3
/proc/955331/stat : 955331 (naps-1.03.sh) S 955328 955331 949639 0 -1 4194304 224 239 0 0 0 0 0 0 20 0 1 0 183471273 10170368 698 134679101440 94116484890624 94116485969944 140733508524624 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94116488068400 94116488115588 94116511330304 140733508527071 140733508527200 140733508527200 140733508534216 0
/proc/955331/statm: 2483 698 621 264 0 134 0
[pid=955336] ppid=955331 vsize=16292 memory=12464 CPUtime=0.68 cores=1,3
/proc/955336/stat : 955336 (naps-1.03) R 955331 955331 949639 0 -1 4194304 2483 0 0 0 68 0 0 0 20 0 1 0 183471273 16683008 3116 134679101440 4194304 6891213 140728538331888 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36679680 140728538334192 140728538334308 140728538334308 140728538341323 0
/proc/955336/statm: 4073 3116 436 659 0 3277 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 26224 KiB
Current children cumulated memory: 15256 KiB

[startup+1.50042 s]
/proc/loadavg: 4.16 4.16 4.18 5/250 955336
/proc/meminfo: memFree=123199260/131655788 swapFree=131071996/131071996
[pid=955331] ppid=955328 vsize=9932 memory=2792 CPUtime=0 cores=1,3
/proc/955331/stat : 955331 (naps-1.03.sh) S 955328 955331 949639 0 -1 4194304 224 239 0 0 0 0 0 0 20 0 1 0 183471273 10170368 698 134679101440 94116484890624 94116485969944 140733508524624 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94116488068400 94116488115588 94116511330304 140733508527071 140733508527200 140733508527200 140733508534216 0
/proc/955331/statm: 2483 698 621 264 0 134 0
[pid=955336] ppid=955331 vsize=28400 memory=24852 CPUtime=1.49 cores=1,3
/proc/955336/stat : 955336 (naps-1.03) R 955331 955331 949639 0 -1 4194304 5346 0 0 0 148 1 0 0 20 0 1 0 183471273 29081600 6213 134679101440 4194304 6891213 140728538331888 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36679680 140728538334192 140728538334308 140728538334308 140728538341323 0
/proc/955336/statm: 7100 6213 436 659 0 6304 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 38332 KiB
Current children cumulated memory: 27644 KiB

[startup+3.11378 s]
/proc/loadavg: 4.16 4.16 4.18 5/250 955337
/proc/meminfo: memFree=123160548/131655788 swapFree=131071996/131071996
[pid=955331] ppid=955328 vsize=9932 memory=2792 CPUtime=0 cores=1,3
/proc/955331/stat : 955331 (naps-1.03.sh) S 955328 955331 949639 0 -1 4194304 224 239 0 0 0 0 0 0 20 0 1 0 183471273 10170368 698 134679101440 94116484890624 94116485969944 140733508524624 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94116488068400 94116488115588 94116511330304 140733508527071 140733508527200 140733508527200 140733508534216 0
/proc/955331/statm: 2483 698 621 264 0 134 0
[pid=955336] ppid=955331 vsize=58028 memory=52460 CPUtime=3.09 cores=1,3
/proc/955336/stat : 955336 (naps-1.03) R 955331 955331 949639 0 -1 4194304 13347 0 0 0 306 3 0 0 20 0 1 0 183471273 59420672 13115 134679101440 4194304 6891213 140728538331888 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36679680 140728538334192 140728538334308 140728538334308 140728538341323 0
/proc/955336/statm: 14507 13115 468 659 0 13711 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 67960 KiB
Current children cumulated memory: 55252 KiB

[startup+6.3004 s]
/proc/loadavg: 4.15 4.16 4.17 5/250 955337
/proc/meminfo: memFree=123097820/131655788 swapFree=131071996/131071996
[pid=955331] ppid=955328 vsize=9932 memory=2792 CPUtime=0 cores=1,3
/proc/955331/stat : 955331 (naps-1.03.sh) S 955328 955331 949639 0 -1 4194304 224 239 0 0 0 0 0 0 20 0 1 0 183471273 10170368 698 134679101440 94116484890624 94116485969944 140733508524624 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94116488068400 94116488115588 94116511330304 140733508527071 140733508527200 140733508527200 140733508534216 0
/proc/955331/statm: 2483 698 621 264 0 134 0
[pid=955336] ppid=955331 vsize=218944 memory=183912 CPUtime=6.27 cores=1,3
/proc/955336/stat : 955336 (naps-1.03) R 955331 955331 949639 0 -1 4194304 37785 0 0 0 619 8 0 0 20 0 1 0 183471273 224198656 45978 134679101440 4194304 6891213 140728538331888 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36679680 140728538334192 140728538334308 140728538334308 140728538341323 0
/proc/955336/statm: 54736 45978 468 659 0 53940 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 228876 KiB
Current children cumulated memory: 186704 KiB

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

# cumulated CPU time of all completed processes:  user=8.34968 s, system=0.104447 s

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

[startup+6.40047 s]
/proc/loadavg: 4.15 4.16 4.17 5/250 955337
/proc/meminfo: memFree=123097820/131655788 swapFree=131071996/131071996
[pid=955331] ppid=955328 vsize=9932 memory=2792 CPUtime=0 cores=1,3
/proc/955331/stat : 955331 (naps-1.03.sh) S 955328 955331 949639 0 -1 4194304 224 239 0 0 0 0 0 0 20 0 1 0 183471273 10170368 698 134679101440 94116484890624 94116485969944 140733508524624 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94116488068400 94116488115588 94116511330304 140733508527071 140733508527200 140733508527200 140733508534216 0
/proc/955331/statm: 2483 698 621 264 0 134 0
[pid=955336] ppid=955331 vsize=218944 memory=184172 CPUtime=6.37 cores=1,3
/proc/955336/stat : 955336 (naps-1.03) R 955331 955331 949639 0 -1 4194304 37831 0 0 0 629 8 0 0 20 0 1 0 183471273 224198656 46043 134679101440 4194304 6891213 140728538331888 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36679680 140728538334192 140728538334308 140728538334308 140728538341323 0
/proc/955336/statm: 54736 46043 468 659 0 53940 0
Current children cumulated CPU time: 6.37 s
Current children cumulated vsize: 228876 KiB
Current children cumulated memory: 186964 KiB

[startup+7.20038 s]
/proc/loadavg: 4.15 4.16 4.17 5/250 955337
/proc/meminfo: memFree=123065540/131655788 swapFree=131071996/131071996
[pid=955331] ppid=955328 vsize=9932 memory=2792 CPUtime=0 cores=1,3
/proc/955331/stat : 955331 (naps-1.03.sh) S 955328 955331 949639 0 -1 4194304 224 239 0 0 0 0 0 0 20 0 1 0 183471273 10170368 698 134679101440 94116484890624 94116485969944 140733508524624 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94116488068400 94116488115588 94116511330304 140733508527071 140733508527200 140733508527200 140733508534216 0
/proc/955331/statm: 2483 698 621 264 0 134 0
[pid=955336] ppid=955331 vsize=218944 memory=184172 CPUtime=7.16 cores=1,3
/proc/955336/stat : 955336 (naps-1.03) R 955331 955331 949639 0 -1 4194304 37831 0 0 0 708 8 0 0 20 0 1 0 183471273 224198656 46043 134679101440 4194304 6891213 140728538331888 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36679680 140728538334192 140728538334308 140728538334308 140728538341323 0
/proc/955336/statm: 54736 46043 468 659 0 53940 0
Current children cumulated CPU time: 7.16 s
Current children cumulated vsize: 228876 KiB
Current children cumulated memory: 186964 KiB

[startup+8.00037 s]*
/proc/loadavg: 4.15 4.16 4.17 5/250 955337
/proc/meminfo: memFree=123063156/131655788 swapFree=131071996/131071996
[pid=955331] ppid=955328 vsize=9932 memory=2792 CPUtime=0 cores=1,3
/proc/955331/stat : 955331 (naps-1.03.sh) S 955328 955331 949639 0 -1 4194304 224 239 0 0 0 0 0 0 20 0 1 0 183471273 10170368 698 134679101440 94116484890624 94116485969944 140733508524624 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94116488068400 94116488115588 94116511330304 140733508527071 140733508527200 140733508527200 140733508534216 0
/proc/955331/statm: 2483 698 621 264 0 134 0
[pid=955336] ppid=955331 vsize=219508 memory=184696 CPUtime=7.97 cores=1,3
/proc/955336/stat : 955336 (naps-1.03) R 955331 955331 949639 0 -1 4194304 37983 0 0 0 789 8 0 0 20 0 1 0 183471273 224776192 46174 134679101440 4194304 6891213 140728538331888 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36679680 140728538334192 140728538334308 140728538334308 140728538341323 0
/proc/955336/statm: 54877 46174 468 659 0 54081 0
Current children cumulated CPU time: 7.97 s
Current children cumulated vsize: 229440 KiB
Current children cumulated memory: 187488 KiB

[startup+8.40037 s]
/proc/loadavg: 4.15 4.16 4.17 5/250 955337
/proc/meminfo: memFree=123063156/131655788 swapFree=131071996/131071996
[pid=955331] ppid=955328 vsize=9932 memory=2792 CPUtime=0 cores=1,3
/proc/955331/stat : 955331 (naps-1.03.sh) S 955328 955331 949639 0 -1 4194304 224 239 0 0 0 0 0 0 20 0 1 0 183471273 10170368 698 134679101440 94116484890624 94116485969944 140733508524624 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94116488068400 94116488115588 94116511330304 140733508527071 140733508527200 140733508527200 140733508534216 0
/proc/955331/statm: 2483 698 621 264 0 134 0
[pid=955336] ppid=955331 vsize=189660 memory=170100 CPUtime=8.36 cores=1,3
/proc/955336/stat : 955336 (naps-1.03) R 955331 955331 949639 0 -1 4194304 38521 0 0 0 827 9 0 0 20 0 1 0 183471273 194211840 42525 134679101440 4194304 6891213 140728538331888 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36679680 140728538334192 140728538334308 140728538334308 140728538341323 0
/proc/955336/statm: 47415 42525 468 659 0 46619 0
Current children cumulated CPU time: 8.36 s
Current children cumulated vsize: 199592 KiB
Current children cumulated memory: 172892 KiB

Child status: 10

Real time (s): 8.47562
CPU time (s): 8.45413
CPU user time (s): 8.34968
CPU system time (s): 0.104447
CPU usage (%): 99.7464
Max. virtual memory (cumulated for all children) (KiB): 229440
Max. memory (cumulated for all children) (KiB): 187488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.34968
system time used= 0.104447
maximum resident set size= 202388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39227
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= 11
involuntary context switches= 12


# summary of solver processes directly reported to runsolver:
#   pid: 955331
#   total CPU time (s): 8.45413
#   total CPU user time (s): 8.34968
#   total CPU system time (s): 0.104447

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.069974 second user time and 0.150444 second system time

The end