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: 64096 MiB (62010 MiB free)
  memory of node 1: 64473 MiB (61531 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458069-1721876531/watcher-4458069-1721876531 -o /tmp/evaluation-result-4458069-1721876531/solver-4458069-1721876531 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721876531-221819 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4458069-1721876531.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=221861, runsolver pid=221857

[startup+0.100471 s]*
/proc/loadavg: 0.99 1.87 3.02 5/249 221898
/proc/meminfo: memFree=126498812/131655788 swapFree=131070192/131071996
[pid=221861] ppid=221857 vsize=9932 memory=2680 CPUtime=0 cores=1,3
/proc/221861/stat : 221861 (naps-1.03.sh) S 221857 221861 221807 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 23641990 10170368 670 134679101440 94866860773376 94866861852696 140731510890192 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94866863951152 94866863998340 94866886602752 140731510895588 140731510895713 140731510895713 140731510902728 0
/proc/221861/statm: 2483 670 592 264 0 134 0
[pid=221866] ppid=221861 vsize=5624 memory=4168 CPUtime=0.09 cores=1,3
/proc/221866/stat : 221866 (naps-1.03) R 221861 221861 221807 0 -1 4194304 584 0 0 0 9 0 0 0 20 0 1 0 23641991 5758976 1042 134679101440 4194304 6891213 140732129720672 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 26050560 140732129723381 140732129723493 140732129723493 140732129730507 0
/proc/221866/statm: 1406 1042 580 659 0 610 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 15556 KiB
Current children cumulated memory: 6848 KiB

[startup+0.214101 s]*
/proc/loadavg: 0.99 1.87 3.02 5/249 221898
/proc/meminfo: memFree=126486724/131655788 swapFree=131070192/131071996
[pid=221861] ppid=221857 vsize=9932 memory=2680 CPUtime=0 cores=1,3
/proc/221861/stat : 221861 (naps-1.03.sh) S 221857 221861 221807 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 23641990 10170368 670 134679101440 94866860773376 94866861852696 140731510890192 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94866863951152 94866863998340 94866886602752 140731510895588 140731510895713 140731510895713 140731510902728 0
/proc/221861/statm: 2483 670 592 264 0 134 0
[pid=221866] ppid=221861 vsize=7548 memory=6140 CPUtime=0.2 cores=1,3
/proc/221866/stat : 221866 (naps-1.03) R 221861 221861 221807 0 -1 4194304 1104 0 0 0 20 0 0 0 20 0 1 0 23641991 7729152 1535 134679101440 4194304 6891213 140732129720672 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 26050560 140732129723381 140732129723493 140732129723493 140732129730507 0
/proc/221866/statm: 1887 1535 612 659 0 1091 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 17480 KiB
Current children cumulated memory: 8820 KiB

[startup+0.312707 s]*
/proc/loadavg: 0.99 1.87 3.02 5/249 221898
/proc/meminfo: memFree=126483140/131655788 swapFree=131070192/131071996
[pid=221861] ppid=221857 vsize=9932 memory=2680 CPUtime=0 cores=1,3
/proc/221861/stat : 221861 (naps-1.03.sh) S 221857 221861 221807 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 23641990 10170368 670 134679101440 94866860773376 94866861852696 140731510890192 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94866863951152 94866863998340 94866886602752 140731510895588 140731510895713 140731510895713 140731510902728 0
/proc/221861/statm: 2483 670 592 264 0 134 0
[pid=221866] ppid=221861 vsize=7680 memory=6404 CPUtime=0.3 cores=1,3
/proc/221866/stat : 221866 (naps-1.03) R 221861 221861 221807 0 -1 4194304 1129 0 0 0 30 0 0 0 20 0 1 0 23641991 7864320 1601 134679101440 4194304 6891213 140732129720672 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 26050560 140732129723381 140732129723493 140732129723493 140732129730507 0
/proc/221866/statm: 1920 1601 612 659 0 1124 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 17612 KiB
Current children cumulated memory: 9084 KiB

[startup+0.700358 s]
/proc/loadavg: 0.99 1.87 3.02 5/249 221898
/proc/meminfo: memFree=126468580/131655788 swapFree=131070192/131071996
[pid=221861] ppid=221857 vsize=9932 memory=2680 CPUtime=0 cores=1,3
/proc/221861/stat : 221861 (naps-1.03.sh) S 221857 221861 221807 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 23641990 10170368 670 134679101440 94866860773376 94866861852696 140731510890192 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94866863951152 94866863998340 94866886602752 140731510895588 140731510895713 140731510895713 140731510902728 0
/proc/221861/statm: 2483 670 592 264 0 134 0
[pid=221866] ppid=221861 vsize=7944 memory=6668 CPUtime=0.68 cores=1,3
/proc/221866/stat : 221866 (naps-1.03) R 221861 221861 221807 0 -1 4194304 1189 0 0 0 68 0 0 0 20 0 1 0 23641991 8134656 1667 134679101440 4194304 6891213 140732129720672 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 26050560 140732129723381 140732129723493 140732129723493 140732129730507 0
/proc/221866/statm: 1986 1667 612 659 0 1190 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 17876 KiB
Current children cumulated memory: 9348 KiB

[startup+1.50046 s]
/proc/loadavg: 0.99 1.87 3.02 5/249 221898
/proc/meminfo: memFree=126452136/131655788 swapFree=131070192/131071996
[pid=221861] ppid=221857 vsize=9932 memory=2680 CPUtime=0 cores=1,3
/proc/221861/stat : 221861 (naps-1.03.sh) S 221857 221861 221807 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 23641990 10170368 670 134679101440 94866860773376 94866861852696 140731510890192 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94866863951152 94866863998340 94866886602752 140731510895588 140731510895713 140731510895713 140731510902728 0
/proc/221861/statm: 2483 670 592 264 0 134 0
[pid=221866] ppid=221861 vsize=35832 memory=34036 CPUtime=1.47 cores=1,3
/proc/221866/stat : 221866 (naps-1.03) R 221861 221861 221807 0 -1 4194304 9043 0 0 0 145 2 0 0 20 0 1 0 23641991 36691968 8509 134679101440 4194304 6891213 140732129720672 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 26050560 140732129723381 140732129723493 140732129723493 140732129730507 0
/proc/221866/statm: 8958 8509 644 659 0 8162 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 45764 KiB
Current children cumulated memory: 36716 KiB

[startup+3.11393 s]
/proc/loadavg: 1.31 1.92 3.03 5/249 221898
/proc/meminfo: memFree=126416760/131655788 swapFree=131070192/131071996
[pid=221861] ppid=221857 vsize=9932 memory=2680 CPUtime=0 cores=1,3
/proc/221861/stat : 221861 (naps-1.03.sh) S 221857 221861 221807 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 23641990 10170368 670 134679101440 94866860773376 94866861852696 140731510890192 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94866863951152 94866863998340 94866886602752 140731510895588 140731510895713 140731510895713 140731510902728 0
/proc/221861/statm: 2483 670 592 264 0 134 0
[pid=221866] ppid=221861 vsize=36108 memory=34772 CPUtime=3.07 cores=1,3
/proc/221866/stat : 221866 (naps-1.03) R 221861 221861 221807 0 -1 4194304 15899 0 0 0 304 3 0 0 20 0 1 0 23641991 36974592 8693 134679101440 4194304 6891213 140732129720672 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 26050560 140732129723381 140732129723493 140732129723493 140732129730507 0
/proc/221866/statm: 9027 8693 660 659 0 8231 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 46040 KiB
Current children cumulated memory: 37452 KiB

[startup+6.30034 s]
/proc/loadavg: 1.31 1.92 3.03 5/249 221898
/proc/meminfo: memFree=126413496/131655788 swapFree=131070192/131071996
[pid=221861] ppid=221857 vsize=9932 memory=2680 CPUtime=0 cores=1,3
/proc/221861/stat : 221861 (naps-1.03.sh) S 221857 221861 221807 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 23641990 10170368 670 134679101440 94866860773376 94866861852696 140731510890192 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94866863951152 94866863998340 94866886602752 140731510895588 140731510895713 140731510895713 140731510902728 0
/proc/221861/statm: 2483 670 592 264 0 134 0
[pid=221866] ppid=221861 vsize=36576 memory=35564 CPUtime=6.25 cores=1,3
/proc/221866/stat : 221866 (naps-1.03) R 221861 221861 221807 0 -1 4194304 16045 0 0 0 622 3 0 0 20 0 1 0 23641991 37453824 8891 134679101440 4194304 6891213 140732129720672 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 26050560 140732129723381 140732129723493 140732129723493 140732129730507 0
/proc/221866/statm: 9144 8891 660 659 0 8348 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 46508 KiB
Current children cumulated memory: 38244 KiB

[startup+12.7004 s]
/proc/loadavg: 1.53 1.96 3.03 5/249 221900
/proc/meminfo: memFree=126402844/131655788 swapFree=131070192/131071996
[pid=221861] ppid=221857 vsize=9932 memory=2680 CPUtime=0 cores=1,3
/proc/221861/stat : 221861 (naps-1.03.sh) S 221857 221861 221807 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 23641990 10170368 670 134679101440 94866860773376 94866861852696 140731510890192 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94866863951152 94866863998340 94866886602752 140731510895588 140731510895713 140731510895713 140731510902728 0
/proc/221861/statm: 2483 670 592 264 0 134 0
[pid=221866] ppid=221861 vsize=39944 memory=38732 CPUtime=12.64 cores=1,3
/proc/221866/stat : 221866 (naps-1.03) R 221861 221861 221807 0 -1 4194304 16858 0 0 0 1260 4 0 0 20 0 1 0 23641991 40902656 9683 134679101440 4194304 6891213 140732129720672 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 26050560 140732129723381 140732129723493 140732129723493 140732129730507 0
/proc/221866/statm: 9986 9683 660 659 0 9190 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 49876 KiB
Current children cumulated memory: 41412 KiB

[startup+25.5004 s]
/proc/loadavg: 2.08 2.06 3.05 5/249 221901
/proc/meminfo: memFree=126390672/131655788 swapFree=131070192/131071996
[pid=221861] ppid=221857 vsize=9932 memory=2680 CPUtime=0 cores=1,3
/proc/221861/stat : 221861 (naps-1.03.sh) S 221857 221861 221807 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 23641990 10170368 670 134679101440 94866860773376 94866861852696 140731510890192 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94866863951152 94866863998340 94866886602752 140731510895588 140731510895713 140731510895713 140731510902728 0
/proc/221861/statm: 2483 670 592 264 0 134 0
[pid=221866] ppid=221861 vsize=42604 memory=41300 CPUtime=25.39 cores=1,3
/proc/221866/stat : 221866 (naps-1.03) R 221861 221861 221807 0 -1 4194304 18587 0 0 0 2535 4 0 0 20 0 1 0 23641991 43626496 10325 134679101440 4194304 6891213 140732129720672 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 26050560 140732129723381 140732129723493 140732129723493 140732129730507 0
/proc/221866/statm: 10651 10325 660 659 0 9855 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 52536 KiB
Current children cumulated memory: 43980 KiB

[startup+51.113 s]
/proc/loadavg: 2.81 2.23 3.08 5/249 221906
/proc/meminfo: memFree=126368552/131655788 swapFree=131070192/131071996
[pid=221861] ppid=221857 vsize=9932 memory=2680 CPUtime=0 cores=1,3
/proc/221861/stat : 221861 (naps-1.03.sh) S 221857 221861 221807 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 23641990 10170368 670 134679101440 94866860773376 94866861852696 140731510890192 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94866863951152 94866863998340 94866886602752 140731510895588 140731510895713 140731510895713 140731510902728 0
/proc/221861/statm: 2483 670 592 264 0 134 0
[pid=221866] ppid=221861 vsize=42452 memory=41328 CPUtime=50.93 cores=1,3
/proc/221866/stat : 221866 (naps-1.03) R 221861 221861 221807 0 -1 4194304 21170 0 0 0 5088 5 0 0 20 0 1 0 23641991 43470848 10332 134679101440 4194304 6891213 140732129720672 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 26050560 140732129723381 140732129723493 140732129723493 140732129730507 0
/proc/221866/statm: 10613 10332 660 659 0 9817 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 52384 KiB
Current children cumulated memory: 44008 KiB

[startup+102.3 s]
/proc/loadavg: 3.56 2.53 3.14 5/249 221915
/proc/meminfo: memFree=126324788/131655788 swapFree=131070192/131071996
[pid=221861] ppid=221857 vsize=9932 memory=2680 CPUtime=0 cores=1,3
/proc/221861/stat : 221861 (naps-1.03.sh) S 221857 221861 221807 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 23641990 10170368 670 134679101440 94866860773376 94866861852696 140731510890192 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94866863951152 94866863998340 94866886602752 140731510895588 140731510895713 140731510895713 140731510902728 0
/proc/221861/statm: 2483 670 592 264 0 134 0
[pid=221866] ppid=221861 vsize=51020 memory=49844 CPUtime=101.95 cores=1,3
/proc/221866/stat : 221866 (naps-1.03) R 221861 221861 221807 0 -1 4194304 23358 0 0 0 10189 6 0 0 20 0 1 0 23641991 52244480 12461 134679101440 4194304 6891213 140732129720672 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 26050560 140732129723381 140732129723493 140732129723493 140732129730507 0
/proc/221866/statm: 12755 12461 660 659 0 11959 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 60952 KiB
Current children cumulated memory: 52524 KiB

[startup+162.3 s]
/proc/loadavg: 4.02 2.84 3.21 5/249 221925
/proc/meminfo: memFree=126314036/131655788 swapFree=131070192/131071996
[pid=221861] ppid=221857 vsize=9932 memory=2680 CPUtime=0 cores=1,3
/proc/221861/stat : 221861 (naps-1.03.sh) S 221857 221861 221807 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 23641990 10170368 670 134679101440 94866860773376 94866861852696 140731510890192 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94866863951152 94866863998340 94866886602752 140731510895588 140731510895713 140731510895713 140731510902728 0
/proc/221861/statm: 2483 670 592 264 0 134 0
[pid=221866] ppid=221861 vsize=46768 memory=45680 CPUtime=161.77 cores=1,3
/proc/221866/stat : 221866 (naps-1.03) R 221861 221861 221807 0 -1 4194304 25546 0 0 0 16170 7 0 0 20 0 1 0 23641991 47890432 11420 134679101440 4194304 6891213 140732129720672 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 26050560 140732129723381 140732129723493 140732129723493 140732129730507 0
/proc/221866/statm: 11692 11420 660 659 0 10896 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 56700 KiB
Current children cumulated memory: 48360 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 3.07 3.27 5/247 221936
/proc/meminfo: memFree=126304688/131655788 swapFree=131070192/131071996
[pid=221861] ppid=221857 vsize=9932 memory=2680 CPUtime=0 cores=1,3
/proc/221861/stat : 221861 (naps-1.03.sh) S 221857 221861 221807 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 23641990 10170368 670 134679101440 94866860773376 94866861852696 140731510890192 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94866863951152 94866863998340 94866886602752 140731510895588 140731510895713 140731510895713 140731510902728 0
/proc/221861/statm: 2483 670 592 264 0 134 0
[pid=221866] ppid=221861 vsize=51808 memory=50752 CPUtime=221.58 cores=1,3
/proc/221866/stat : 221866 (naps-1.03) R 221861 221861 221807 0 -1 4194304 26575 0 0 0 22151 7 0 0 20 0 1 0 23641991 53051392 12688 134679101440 4194304 6891213 140732129720672 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 26050560 140732129723381 140732129723493 140732129723493 140732129730507 0
/proc/221866/statm: 12952 12688 660 659 0 12156 0
Current children cumulated CPU time: 221.58 s

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

/proc/loadavg: 4.12 4.14 4.09 5/247 223065
/proc/meminfo: memFree=126009540/131655788 swapFree=131070192/131071996
[pid=221861] ppid=221857 vsize=9932 memory=2680 CPUtime=0 cores=1,3
/proc/221861/stat : 221861 (naps-1.03.sh) S 221857 221861 221807 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 23641990 10170368 670 134679101440 94866860773376 94866861852696 140731510890192 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94866863951152 94866863998340 94866886602752 140731510895588 140731510895713 140731510895713 140731510902728 0
/proc/221861/statm: 2483 670 592 264 0 134 0
[pid=221866] ppid=221861 vsize=85488 memory=83408 CPUtime=3033.66 cores=1,3
/proc/221866/stat : 221866 (naps-1.03) R 221861 221861 221807 0 -1 4194304 57413 0 0 0 303342 24 0 0 20 0 1 0 23641991 87539712 20852 134679101440 4194304 6891213 140732129720672 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 26050560 140732129723381 140732129723493 140732129723493 140732129730507 0
/proc/221866/statm: 21372 20852 660 659 0 20576 0
Current children cumulated CPU time: 3033.66 s
Current children cumulated vsize: 95420 KiB
Current children cumulated memory: 86088 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.14 4.09 5/247 223076
/proc/meminfo: memFree=126029544/131655788 swapFree=131070192/131071996
[pid=221861] ppid=221857 vsize=9932 memory=2680 CPUtime=0 cores=1,3
/proc/221861/stat : 221861 (naps-1.03.sh) S 221857 221861 221807 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 23641990 10170368 670 134679101440 94866860773376 94866861852696 140731510890192 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94866863951152 94866863998340 94866886602752 140731510895588 140731510895713 140731510895713 140731510902728 0
/proc/221861/statm: 2483 670 592 264 0 134 0
[pid=221866] ppid=221861 vsize=88968 memory=87460 CPUtime=3093.5 cores=1,3
/proc/221866/stat : 221866 (naps-1.03) R 221861 221861 221807 0 -1 4194304 59535 0 0 0 309325 25 0 0 20 0 1 0 23641991 91103232 21865 134679101440 4194304 6891213 140732129720672 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 26050560 140732129723381 140732129723493 140732129723493 140732129730507 0
/proc/221866/statm: 22242 21865 660 659 0 21446 0
Current children cumulated CPU time: 3093.5 s
Current children cumulated vsize: 98900 KiB
Current children cumulated memory: 90140 KiB

[startup+3162.3 s]
/proc/loadavg: 4.22 4.16 4.10 5/247 223086
/proc/meminfo: memFree=125945860/131655788 swapFree=131070192/131071996
[pid=221861] ppid=221857 vsize=9932 memory=2680 CPUtime=0 cores=1,3
/proc/221861/stat : 221861 (naps-1.03.sh) S 221857 221861 221807 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 23641990 10170368 670 134679101440 94866860773376 94866861852696 140731510890192 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94866863951152 94866863998340 94866886602752 140731510895588 140731510895713 140731510895713 140731510902728 0
/proc/221861/statm: 2483 670 592 264 0 134 0
[pid=221866] ppid=221861 vsize=100648 memory=99696 CPUtime=3153.35 cores=1,3
/proc/221866/stat : 221866 (naps-1.03) R 221861 221861 221807 0 -1 4194304 60577 0 0 0 315309 26 0 0 20 0 1 0 23641991 103063552 24924 134679101440 4194304 6891213 140732129720672 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 26050560 140732129723381 140732129723493 140732129723493 140732129730507 0
/proc/221866/statm: 25162 24924 660 659 0 24366 0
Current children cumulated CPU time: 3153.35 s
Current children cumulated vsize: 110580 KiB
Current children cumulated memory: 102376 KiB

[startup+3222.3 s]
/proc/loadavg: 4.90 4.36 4.17 5/247 223481
/proc/meminfo: memFree=125961088/131655788 swapFree=131070192/131071996
[pid=221861] ppid=221857 vsize=9932 memory=2680 CPUtime=0 cores=1,3
/proc/221861/stat : 221861 (naps-1.03.sh) S 221857 221861 221807 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 23641990 10170368 670 134679101440 94866860773376 94866861852696 140731510890192 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94866863951152 94866863998340 94866886602752 140731510895588 140731510895713 140731510895713 140731510902728 0
/proc/221861/statm: 2483 670 592 264 0 134 0
[pid=221866] ppid=221861 vsize=116676 memory=115724 CPUtime=3213.19 cores=1,3
/proc/221866/stat : 221866 (naps-1.03) R 221861 221861 221807 0 -1 4194304 61047 0 0 0 321293 26 0 0 20 0 1 0 23641991 119476224 28931 134679101440 4194304 6891213 140732129720672 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 26050560 140732129723381 140732129723493 140732129723493 140732129730507 0
/proc/221866/statm: 29169 28931 660 659 0 28373 0
Current children cumulated CPU time: 3213.19 s
Current children cumulated vsize: 126608 KiB
Current children cumulated memory: 118404 KiB

[startup+3282.3 s]
/proc/loadavg: 4.78 4.41 4.20 5/247 223492
/proc/meminfo: memFree=125984696/131655788 swapFree=131070192/131071996
[pid=221861] ppid=221857 vsize=9932 memory=2680 CPUtime=0 cores=1,3
/proc/221861/stat : 221861 (naps-1.03.sh) S 221857 221861 221807 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 23641990 10170368 670 134679101440 94866860773376 94866861852696 140731510890192 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94866863951152 94866863998340 94866886602752 140731510895588 140731510895713 140731510895713 140731510902728 0
/proc/221861/statm: 2483 670 592 264 0 134 0
[pid=221866] ppid=221861 vsize=116676 memory=115724 CPUtime=3273.03 cores=1,3
/proc/221866/stat : 221866 (naps-1.03) R 221861 221861 221807 0 -1 4194304 61085 0 0 0 327277 26 0 0 20 0 1 0 23641991 119476224 28931 134679101440 4194304 6891213 140732129720672 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 26050560 140732129723381 140732129723493 140732129723493 140732129730507 0
/proc/221866/statm: 29169 28931 660 659 0 28373 0
Current children cumulated CPU time: 3273.03 s
Current children cumulated vsize: 126608 KiB
Current children cumulated memory: 118404 KiB

[startup+3342.3 s]
/proc/loadavg: 5.94 4.79 4.35 5/247 223502
/proc/meminfo: memFree=125974576/131655788 swapFree=131070192/131071996
[pid=221861] ppid=221857 vsize=9932 memory=2680 CPUtime=0 cores=1,3
/proc/221861/stat : 221861 (naps-1.03.sh) S 221857 221861 221807 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 23641990 10170368 670 134679101440 94866860773376 94866861852696 140731510890192 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94866863951152 94866863998340 94866886602752 140731510895588 140731510895713 140731510895713 140731510902728 0
/proc/221861/statm: 2483 670 592 264 0 134 0
[pid=221866] ppid=221861 vsize=116676 memory=115724 CPUtime=3332.88 cores=1,3
/proc/221866/stat : 221866 (naps-1.03) R 221861 221861 221807 0 -1 4194304 61123 0 0 0 333262 26 0 0 20 0 1 0 23641991 119476224 28931 134679101440 4194304 6891213 140732129720672 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 26050560 140732129723381 140732129723493 140732129723493 140732129730507 0
/proc/221866/statm: 29169 28931 660 659 0 28373 0
Current children cumulated CPU time: 3332.88 s
Current children cumulated vsize: 126608 KiB
Current children cumulated memory: 118404 KiB

[startup+3402.3 s]
/proc/loadavg: 5.39 4.85 4.40 5/248 223682
/proc/meminfo: memFree=125942616/131655788 swapFree=131070192/131071996
[pid=221861] ppid=221857 vsize=9932 memory=2680 CPUtime=0 cores=1,3
/proc/221861/stat : 221861 (naps-1.03.sh) S 221857 221861 221807 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 23641990 10170368 670 134679101440 94866860773376 94866861852696 140731510890192 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94866863951152 94866863998340 94866886602752 140731510895588 140731510895713 140731510895713 140731510902728 0
/proc/221861/statm: 2483 670 592 264 0 134 0
[pid=221866] ppid=221861 vsize=116676 memory=115724 CPUtime=3392.72 cores=1,3
/proc/221866/stat : 221866 (naps-1.03) R 221861 221861 221807 0 -1 4194304 61159 0 0 0 339246 26 0 0 20 0 1 0 23641991 119476224 28931 134679101440 4194304 6891213 140732129720672 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 26050560 140732129723381 140732129723493 140732129723493 140732129730507 0
/proc/221866/statm: 29169 28931 660 659 0 28373 0
Current children cumulated CPU time: 3392.72 s
Current children cumulated vsize: 126608 KiB
Current children cumulated memory: 118404 KiB

[startup+3462.3 s]
/proc/loadavg: 4.61 4.73 4.38 5/249 223695
/proc/meminfo: memFree=125869644/131655788 swapFree=131070192/131071996
[pid=221861] ppid=221857 vsize=9932 memory=2680 CPUtime=0 cores=1,3
/proc/221861/stat : 221861 (naps-1.03.sh) S 221857 221861 221807 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 23641990 10170368 670 134679101440 94866860773376 94866861852696 140731510890192 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94866863951152 94866863998340 94866886602752 140731510895588 140731510895713 140731510895713 140731510902728 0
/proc/221861/statm: 2483 670 592 264 0 134 0
[pid=221866] ppid=221861 vsize=116676 memory=115724 CPUtime=3452.56 cores=1,3
/proc/221866/stat : 221866 (naps-1.03) R 221861 221861 221807 0 -1 4194304 61200 0 0 0 345230 26 0 0 20 0 1 0 23641991 119476224 28931 134679101440 4194304 6891213 140732129720672 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 26050560 140732129723381 140732129723493 140732129723493 140732129730507 0
/proc/221866/statm: 29169 28931 660 659 0 28373 0
Current children cumulated CPU time: 3452.56 s
Current children cumulated vsize: 126608 KiB
Current children cumulated memory: 118404 KiB

[startup+3522.3 s]
/proc/loadavg: 4.31 4.63 4.37 5/248 223707
/proc/meminfo: memFree=125925784/131655788 swapFree=131070192/131071996
[pid=221861] ppid=221857 vsize=9932 memory=2680 CPUtime=0 cores=1,3
/proc/221861/stat : 221861 (naps-1.03.sh) S 221857 221861 221807 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 23641990 10170368 670 134679101440 94866860773376 94866861852696 140731510890192 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94866863951152 94866863998340 94866886602752 140731510895588 140731510895713 140731510895713 140731510902728 0
/proc/221861/statm: 2483 670 592 264 0 134 0
[pid=221866] ppid=221861 vsize=116676 memory=115724 CPUtime=3512.41 cores=1,3
/proc/221866/stat : 221866 (naps-1.03) R 221861 221861 221807 0 -1 4194304 61237 0 0 0 351215 26 0 0 20 0 1 0 23641991 119476224 28931 134679101440 4194304 6891213 140732129720672 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 26050560 140732129723381 140732129723493 140732129723493 140732129730507 0
/proc/221866/statm: 29169 28931 660 659 0 28373 0
Current children cumulated CPU time: 3512.41 s
Current children cumulated vsize: 126608 KiB
Current children cumulated memory: 118404 KiB

[startup+3582.3 s]
/proc/loadavg: 4.23 4.54 4.35 5/248 223729
/proc/meminfo: memFree=125915288/131655788 swapFree=131070192/131071996
[pid=221861] ppid=221857 vsize=9932 memory=2680 CPUtime=0 cores=1,3
/proc/221861/stat : 221861 (naps-1.03.sh) S 221857 221861 221807 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 23641990 10170368 670 134679101440 94866860773376 94866861852696 140731510890192 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94866863951152 94866863998340 94866886602752 140731510895588 140731510895713 140731510895713 140731510902728 0
/proc/221861/statm: 2483 670 592 264 0 134 0
[pid=221866] ppid=221861 vsize=116676 memory=115724 CPUtime=3572.25 cores=1,3
/proc/221866/stat : 221866 (naps-1.03) R 221861 221861 221807 0 -1 4194304 61286 0 0 0 357199 26 0 0 20 0 1 0 23641991 119476224 28931 134679101440 4194304 6891213 140732129720672 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 26050560 140732129723381 140732129723493 140732129723493 140732129730507 0
/proc/221866/statm: 29169 28931 660 659 0 28373 0
Current children cumulated CPU time: 3572.25 s
Current children cumulated vsize: 126608 KiB
Current children cumulated memory: 118404 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.2 s]
/proc/loadavg: 4.14 4.49 4.34 4/242 223792
/proc/meminfo: memFree=126239596/131655788 swapFree=131070192/131071996
[pid=221861] ppid=221857 vsize=9932 memory=2680 CPUtime=0 cores=1,3
/proc/221861/stat : 221861 (naps-1.03.sh) S 221857 221861 221807 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 23641990 10170368 670 134679101440 94866860773376 94866861852696 140731510890192 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94866863951152 94866863998340 94866886602752 140731510895588 140731510895713 140731510895713 140731510902728 0
/proc/221861/statm: 2483 670 592 264 0 134 0
[pid=221866] ppid=221861 vsize=116676 memory=115724 CPUtime=3600.08 cores=1,3
/proc/221866/stat : 221866 (naps-1.03) R 221861 221861 221807 0 -1 4194304 61286 0 0 0 359981 27 0 0 20 0 1 0 23641991 119476224 28931 134679101440 4194304 6891213 140732129720672 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 26050560 140732129723381 140732129723493 140732129723493 140732129730507 0
/proc/221866/statm: 29169 28931 660 659 0 28373 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 126608 KiB
Current children cumulated memory: 118404 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3599.81 s, system=0.278533 s

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

Child status: 10

Real time (s): 3610.2
CPU time (s): 3600.09
CPU user time (s): 3599.81
CPU system time (s): 0.278533
CPU usage (%): 99.72
Max. virtual memory (cumulated for all children) (KiB): 127244
Max. memory (cumulated for all children) (KiB): 118820

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.81
system time used= 0.278533
maximum resident set size= 131180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61771
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= 42
involuntary context switches= 1338


# summary of solver processes directly reported to runsolver:
#   pid: 221861
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3599.81
#   total CPU system time (s): 0.278533

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.8054 second user time and 32.6018 second system time

The end