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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4461126-1722079878/watcher-4461126-1722079878 -o /tmp/evaluation-result-4461126-1722079878/solver-4461126-1722079878 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722075956-308407 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4461126-1722079878.wbo 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=311389, runsolver pid=311386

[startup+0.100103 s]*
/proc/loadavg: 4.13 4.16 4.16 5/250 311394
/proc/meminfo: memFree=119277380/131655788 swapFree=131058856/131071996
[pid=311389] ppid=311386 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/311389/stat : 311389 (naps-1.03.sh) S 311386 311389 308397 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 43977684 10170368 664 134679101440 94910966079488 94910967158808 140732259167680 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94910969257264 94910969304452 94910983659520 140732259173341 140732259173470 140732259173470 140732259180488 0
/proc/311389/statm: 2483 664 586 264 0 134 0
[pid=311394] ppid=311389 vsize=15680 memory=9208 CPUtime=0.1 cores=0,2
/proc/311394/stat : 311394 (naps-1.03) R 311389 311389 308397 0 -1 4194304 2013 0 0 0 10 0 0 0 20 0 1 0 43977685 16056320 2302 134679101440 4194304 6891597 140732985542928 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 12730368 140732985549806 140732985549922 140732985549922 140732985556939 0
/proc/311394/statm: 3920 2302 436 659 0 3124 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 25612 KiB
Current children cumulated memory: 11864 KiB

[startup+0.21386 s]*
/proc/loadavg: 4.13 4.16 4.16 5/250 311394
/proc/meminfo: memFree=119271220/131655788 swapFree=131058856/131071996
[pid=311389] ppid=311386 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/311389/stat : 311389 (naps-1.03.sh) S 311386 311389 308397 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 43977684 10170368 664 134679101440 94910966079488 94910967158808 140732259167680 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94910969257264 94910969304452 94910983659520 140732259173341 140732259173470 140732259173470 140732259180488 0
/proc/311389/statm: 2483 664 586 264 0 134 0
[pid=311394] ppid=311389 vsize=21592 memory=15008 CPUtime=0.21 cores=0,2
/proc/311394/stat : 311394 (naps-1.03) R 311389 311389 308397 0 -1 4194304 3511 0 0 0 21 0 0 0 20 0 1 0 43977685 22110208 3752 134679101440 4194304 6891597 140732985542928 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 12730368 140732985549806 140732985549922 140732985549922 140732985556939 0
/proc/311394/statm: 5398 3752 436 659 0 4602 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 31524 KiB
Current children cumulated memory: 17664 KiB

[startup+0.313672 s]*
/proc/loadavg: 4.13 4.16 4.16 5/250 311394
/proc/meminfo: memFree=119266016/131655788 swapFree=131058856/131071996
[pid=311389] ppid=311386 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/311389/stat : 311389 (naps-1.03.sh) S 311386 311389 308397 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 43977684 10170368 664 134679101440 94910966079488 94910967158808 140732259167680 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94910969257264 94910969304452 94910983659520 140732259173341 140732259173470 140732259173470 140732259180488 0
/proc/311389/statm: 2483 664 586 264 0 134 0
[pid=311394] ppid=311389 vsize=27716 memory=20340 CPUtime=0.31 cores=0,2
/proc/311394/stat : 311394 (naps-1.03) R 311389 311389 308397 0 -1 4194304 5034 0 0 0 30 1 0 0 20 0 1 0 43977685 28381184 5085 134679101440 4194304 6891597 140732985542928 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 12730368 140732985549806 140732985549922 140732985549922 140732985556939 0
/proc/311394/statm: 6929 5085 436 659 0 6133 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 37648 KiB
Current children cumulated memory: 22996 KiB

[startup+0.700438 s]
/proc/loadavg: 4.13 4.16 4.16 5/250 311394
/proc/meminfo: memFree=119253408/131655788 swapFree=131058856/131071996
[pid=311389] ppid=311386 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/311389/stat : 311389 (naps-1.03.sh) S 311386 311389 308397 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 43977684 10170368 664 134679101440 94910966079488 94910967158808 140732259167680 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94910969257264 94910969304452 94910983659520 140732259173341 140732259173470 140732259173470 140732259180488 0
/proc/311389/statm: 2483 664 586 264 0 134 0
[pid=311394] ppid=311389 vsize=46864 memory=40540 CPUtime=0.68 cores=0,2
/proc/311394/stat : 311394 (naps-1.03) R 311389 311389 308397 0 -1 4194304 9980 0 0 0 67 1 0 0 20 0 1 0 43977685 47988736 10135 134679101440 4194304 6891597 140732985542928 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 12730368 140732985549806 140732985549922 140732985549922 140732985556939 0
/proc/311394/statm: 11716 10135 436 659 0 10920 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 56796 KiB
Current children cumulated memory: 43196 KiB

[startup+1.50045 s]
/proc/loadavg: 4.13 4.16 4.16 5/250 311395
/proc/meminfo: memFree=119260892/131655788 swapFree=131058856/131071996
[pid=311389] ppid=311386 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/311389/stat : 311389 (naps-1.03.sh) S 311386 311389 308397 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 43977684 10170368 664 134679101440 94910966079488 94910967158808 140732259167680 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94910969257264 94910969304452 94910983659520 140732259173341 140732259173470 140732259173470 140732259180488 0
/proc/311389/statm: 2483 664 586 264 0 134 0
[pid=311394] ppid=311389 vsize=111108 memory=105404 CPUtime=1.48 cores=0,2
/proc/311394/stat : 311394 (naps-1.03) R 311389 311389 308397 0 -1 4194304 25856 0 0 0 144 4 0 0 20 0 1 0 43977685 113774592 26351 134679101440 4194304 6891597 140732985542928 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 12730368 140732985549806 140732985549922 140732985549922 140732985556939 0
/proc/311394/statm: 27777 26351 436 659 0 26981 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 121040 KiB
Current children cumulated memory: 108060 KiB

[startup+3.11377 s]
/proc/loadavg: 4.12 4.16 4.16 5/250 311396
/proc/meminfo: memFree=119153312/131655788 swapFree=131058856/131071996
[pid=311389] ppid=311386 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/311389/stat : 311389 (naps-1.03.sh) S 311386 311389 308397 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 43977684 10170368 664 134679101440 94910966079488 94910967158808 140732259167680 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94910969257264 94910969304452 94910983659520 140732259173341 140732259173470 140732259173470 140732259180488 0
/proc/311389/statm: 2483 664 586 264 0 134 0
[pid=311394] ppid=311389 vsize=194860 memory=172940 CPUtime=3.09 cores=0,2
/proc/311394/stat : 311394 (naps-1.03) R 311389 311389 308397 0 -1 4194304 44148 0 0 0 302 7 0 0 20 0 1 0 43977685 199536640 43235 134679101440 4194304 6891597 140732985542928 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 12730368 140732985549806 140732985549922 140732985549922 140732985556939 0
/proc/311394/statm: 48715 43235 468 659 0 47919 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 204792 KiB
Current children cumulated memory: 175596 KiB

[startup+6.30043 s]
/proc/loadavg: 4.12 4.16 4.16 5/250 311396
/proc/meminfo: memFree=118284068/131655788 swapFree=131058856/131071996
[pid=311389] ppid=311386 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/311389/stat : 311389 (naps-1.03.sh) S 311386 311389 308397 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 43977684 10170368 664 134679101440 94910966079488 94910967158808 140732259167680 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94910969257264 94910969304452 94910983659520 140732259173341 140732259173470 140732259173470 140732259180488 0
/proc/311389/statm: 2483 664 586 264 0 134 0
[pid=311394] ppid=311389 vsize=1174192 memory=1083212 CPUtime=6.26 cores=0,2
/proc/311394/stat : 311394 (naps-1.03) R 311389 311389 308397 0 -1 4194304 154325 0 0 0 595 31 0 0 20 0 1 0 43977685 1202372608 270737 134679101440 4194304 6891597 140732985542928 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 12730368 140732985549806 140732985549922 140732985549922 140732985556939 0
/proc/311394/statm: 293548 270803 468 659 0 292752 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1184124 KiB
Current children cumulated memory: 1085868 KiB

[startup+12.7004 s]
/proc/loadavg: 4.10 4.15 4.16 5/249 311398
/proc/meminfo: memFree=118057708/131655788 swapFree=131058856/131071996
[pid=311389] ppid=311386 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/311389/stat : 311389 (naps-1.03.sh) S 311386 311389 308397 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 43977684 10170368 664 134679101440 94910966079488 94910967158808 140732259167680 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94910969257264 94910969304452 94910983659520 140732259173341 140732259173470 140732259173470 140732259180488 0
/proc/311389/statm: 2483 664 586 264 0 134 0
[pid=311394] ppid=311389 vsize=1297276 memory=1255924 CPUtime=12.64 cores=0,2
/proc/311394/stat : 311394 (naps-1.03) R 311389 311389 308397 0 -1 4194304 178160 0 0 0 1228 36 0 0 20 0 1 0 43977685 1328410624 313981 134679101440 4194304 6891597 140732985542928 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 12730368 140732985549806 140732985549922 140732985549922 140732985556939 0
/proc/311394/statm: 324319 313981 468 659 0 323523 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1307208 KiB
Current children cumulated memory: 1258580 KiB

[startup+25.5005 s]
/proc/loadavg: 4.08 4.14 4.16 5/249 311399
/proc/meminfo: memFree=118052772/131655788 swapFree=131058856/131071996
[pid=311389] ppid=311386 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/311389/stat : 311389 (naps-1.03.sh) S 311386 311389 308397 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 43977684 10170368 664 134679101440 94910966079488 94910967158808 140732259167680 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94910969257264 94910969304452 94910983659520 140732259173341 140732259173470 140732259173470 140732259180488 0
/proc/311389/statm: 2483 664 586 264 0 134 0
[pid=311394] ppid=311389 vsize=1300592 memory=1259808 CPUtime=25.4 cores=0,2
/proc/311394/stat : 311394 (naps-1.03) R 311389 311389 308397 0 -1 4194304 179248 0 0 0 2503 37 0 0 20 0 1 0 43977685 1331806208 314952 134679101440 4194304 6891597 140732985542928 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 12730368 140732985549806 140732985549922 140732985549922 140732985556939 0
/proc/311394/statm: 325148 314952 468 659 0 324352 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1310524 KiB
Current children cumulated memory: 1262464 KiB

[startup+51.1136 s]
/proc/loadavg: 4.12 4.15 4.16 5/249 311405
/proc/meminfo: memFree=118027256/131655788 swapFree=131058856/131071996
[pid=311389] ppid=311386 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/311389/stat : 311389 (naps-1.03.sh) S 311386 311389 308397 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 43977684 10170368 664 134679101440 94910966079488 94910967158808 140732259167680 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94910969257264 94910969304452 94910983659520 140732259173341 140732259173470 140732259173470 140732259180488 0
/proc/311389/statm: 2483 664 586 264 0 134 0
[pid=311394] ppid=311389 vsize=1303772 memory=1263132 CPUtime=50.93 cores=0,2
/proc/311394/stat : 311394 (naps-1.03) R 311389 311389 308397 0 -1 4194304 180202 0 0 0 5054 39 0 0 20 0 1 0 43977685 1335062528 315783 134679101440 4194304 6891597 140732985542928 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 12730368 140732985549806 140732985549922 140732985549922 140732985556939 0
/proc/311394/statm: 325943 315783 468 659 0 325147 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1313704 KiB
Current children cumulated memory: 1265788 KiB

[startup+102.3 s]
/proc/loadavg: 4.04 4.12 4.15 5/249 311413
/proc/meminfo: memFree=118002616/131655788 swapFree=131058856/131071996
[pid=311389] ppid=311386 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/311389/stat : 311389 (naps-1.03.sh) S 311386 311389 308397 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 43977684 10170368 664 134679101440 94910966079488 94910967158808 140732259167680 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94910969257264 94910969304452 94910983659520 140732259173341 140732259173470 140732259173470 140732259180488 0
/proc/311389/statm: 2483 664 586 264 0 134 0
[pid=311394] ppid=311389 vsize=1308568 memory=1267804 CPUtime=101.95 cores=0,2
/proc/311394/stat : 311394 (naps-1.03) R 311389 311389 308397 0 -1 4194304 181568 0 0 0 10155 40 0 0 20 0 1 0 43977685 1339973632 316951 134679101440 4194304 6891597 140732985542928 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 12730368 140732985549806 140732985549922 140732985549922 140732985556939 0
/proc/311394/statm: 327142 316951 468 659 0 326346 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 1318500 KiB
Current children cumulated memory: 1270460 KiB

[startup+162.3 s]
/proc/loadavg: 4.18 4.14 4.15 5/248 311423
/proc/meminfo: memFree=117918252/131655788 swapFree=131058856/131071996
[pid=311389] ppid=311386 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/311389/stat : 311389 (naps-1.03.sh) S 311386 311389 308397 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 43977684 10170368 664 134679101440 94910966079488 94910967158808 140732259167680 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94910969257264 94910969304452 94910983659520 140732259173341 140732259173470 140732259173470 140732259180488 0
/proc/311389/statm: 2483 664 586 264 0 134 0
[pid=311394] ppid=311389 vsize=1312400 memory=1273796 CPUtime=161.75 cores=0,2
/proc/311394/stat : 311394 (naps-1.03) R 311389 311389 308397 0 -1 4194304 182643 0 0 0 16134 41 0 0 20 0 1 0 43977685 1343897600 318449 134679101440 4194304 6891597 140732985542928 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 12730368 140732985549806 140732985549922 140732985549922 140732985556939 0
/proc/311394/statm: 328100 318449 468 659 0 327304 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 1322332 KiB
Current children cumulated memory: 1276452 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.13 4.15 5/248 311433
/proc/meminfo: memFree=117888048/131655788 swapFree=131058856/131071996
[pid=311389] ppid=311386 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/311389/stat : 311389 (naps-1.03.sh) S 311386 311389 308397 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 43977684 10170368 664 134679101440 94910966079488 94910967158808 140732259167680 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94910969257264 94910969304452 94910983659520 140732259173341 140732259173470 140732259173470 140732259180488 0
/proc/311389/statm: 2483 664 586 264 0 134 0
[pid=311394] ppid=311389 vsize=1315552 memory=1276812 CPUtime=221.55 cores=0,2
/proc/311394/stat : 311394 (naps-1.03) R 311389 311389 308397 0 -1 4194304 183523 0 0 0 22113 42 0 0 20 0 1 0 43977685 1347125248 319203 134679101440 4194304 6891597 140732985542928 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 12730368 140732985549806 140732985549922 140732985549922 140732985556939 0
/proc/311394/statm: 328888 319203 468 659 0 328092 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 1325484 KiB

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

/proc/311394/statm: 374096 339689 468 659 0 373300 0
Current children cumulated CPU time: 3031.35 s
Current children cumulated vsize: 1506316 KiB
Current children cumulated memory: 1361412 KiB

[startup+3102.3 s]
/proc/loadavg: 3.16 3.15 3.30 4/239 312608
/proc/meminfo: memFree=120604168/131655788 swapFree=131058856/131071996
[pid=311389] ppid=311386 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/311389/stat : 311389 (naps-1.03.sh) S 311386 311389 308397 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 43977684 10170368 664 134679101440 94910966079488 94910967158808 140732259167680 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94910969257264 94910969304452 94910983659520 140732259173341 140732259173470 140732259173470 140732259180488 0
/proc/311389/statm: 2483 664 586 264 0 134 0
[pid=311394] ppid=311389 vsize=1496384 memory=1360804 CPUtime=3091.12 cores=0,2
/proc/311394/stat : 311394 (naps-1.03) R 311389 311389 308397 0 -1 4194304 203582 0 0 0 309030 82 0 0 20 0 1 0 43977685 1532297216 340201 134679101440 4194304 6891597 140732985542928 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 12730368 140732985549806 140732985549922 140732985549922 140732985556939 0
/proc/311394/statm: 374096 340201 468 659 0 373300 0
Current children cumulated CPU time: 3091.12 s
Current children cumulated vsize: 1506316 KiB
Current children cumulated memory: 1363460 KiB

[startup+3162.3 s]
/proc/loadavg: 3.06 3.12 3.27 4/239 312618
/proc/meminfo: memFree=120581112/131655788 swapFree=131058856/131071996
[pid=311389] ppid=311386 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/311389/stat : 311389 (naps-1.03.sh) S 311386 311389 308397 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 43977684 10170368 664 134679101440 94910966079488 94910967158808 140732259167680 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94910969257264 94910969304452 94910983659520 140732259173341 140732259173470 140732259173470 140732259180488 0
/proc/311389/statm: 2483 664 586 264 0 134 0
[pid=311394] ppid=311389 vsize=1496648 memory=1361032 CPUtime=3150.91 cores=0,2
/proc/311394/stat : 311394 (naps-1.03) R 311389 311389 308397 0 -1 4194304 204134 0 0 0 315008 83 0 0 20 0 1 0 43977685 1532567552 340258 134679101440 4194304 6891597 140732985542928 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 12730368 140732985549806 140732985549922 140732985549922 140732985556939 0
/proc/311394/statm: 374162 340258 468 659 0 373366 0
Current children cumulated CPU time: 3150.91 s
Current children cumulated vsize: 1506580 KiB
Current children cumulated memory: 1363688 KiB

[startup+3222.3 s]
/proc/loadavg: 3.12 3.12 3.27 4/239 312628
/proc/meminfo: memFree=120601812/131655788 swapFree=131058856/131071996
[pid=311389] ppid=311386 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/311389/stat : 311389 (naps-1.03.sh) S 311386 311389 308397 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 43977684 10170368 664 134679101440 94910966079488 94910967158808 140732259167680 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94910969257264 94910969304452 94910983659520 140732259173341 140732259173470 140732259173470 140732259180488 0
/proc/311389/statm: 2483 664 586 264 0 134 0
[pid=311394] ppid=311389 vsize=1497308 memory=1363792 CPUtime=3210.72 cores=0,2
/proc/311394/stat : 311394 (naps-1.03) R 311389 311389 308397 0 -1 4194304 204863 0 0 0 320989 83 0 0 20 0 1 0 43977685 1533243392 340948 134679101440 4194304 6891597 140732985542928 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 12730368 140732985549806 140732985549922 140732985549922 140732985556939 0
/proc/311394/statm: 374327 340948 468 659 0 373531 0
Current children cumulated CPU time: 3210.72 s
Current children cumulated vsize: 1507240 KiB
Current children cumulated memory: 1366448 KiB

[startup+3282.3 s]
/proc/loadavg: 3.10 3.11 3.25 4/238 313021
/proc/meminfo: memFree=120581384/131655788 swapFree=131058856/131071996
[pid=311389] ppid=311386 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/311389/stat : 311389 (naps-1.03.sh) S 311386 311389 308397 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 43977684 10170368 664 134679101440 94910966079488 94910967158808 140732259167680 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94910969257264 94910969304452 94910983659520 140732259173341 140732259173470 140732259173470 140732259180488 0
/proc/311389/statm: 2483 664 586 264 0 134 0
[pid=311394] ppid=311389 vsize=1497968 memory=1364624 CPUtime=3270.53 cores=0,2
/proc/311394/stat : 311394 (naps-1.03) R 311389 311389 308397 0 -1 4194304 205638 0 0 0 326970 83 0 0 20 0 1 0 43977685 1533919232 341156 134679101440 4194304 6891597 140732985542928 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 12730368 140732985549806 140732985549922 140732985549922 140732985556939 0
/proc/311394/statm: 374492 341156 468 659 0 373696 0
Current children cumulated CPU time: 3270.53 s
Current children cumulated vsize: 1507900 KiB
Current children cumulated memory: 1367280 KiB

[startup+3342.3 s]
/proc/loadavg: 2.55 2.97 3.19 3/230 313062
/proc/meminfo: memFree=124873480/131655788 swapFree=131058856/131071996
[pid=311389] ppid=311386 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/311389/stat : 311389 (naps-1.03.sh) S 311386 311389 308397 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 43977684 10170368 664 134679101440 94910966079488 94910967158808 140732259167680 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94910969257264 94910969304452 94910983659520 140732259173341 140732259173470 140732259173470 140732259180488 0
/proc/311389/statm: 2483 664 586 264 0 134 0
[pid=311394] ppid=311389 vsize=1498760 memory=1367496 CPUtime=3330.32 cores=0,2
/proc/311394/stat : 311394 (naps-1.03) R 311389 311389 308397 0 -1 4194304 206434 0 0 0 332949 83 0 0 20 0 1 0 43977685 1534730240 341874 134679101440 4194304 6891597 140732985542928 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 12730368 140732985549806 140732985549922 140732985549922 140732985556939 0
/proc/311394/statm: 374690 341874 468 659 0 373894 0
Current children cumulated CPU time: 3330.32 s
Current children cumulated vsize: 1508692 KiB
Current children cumulated memory: 1370152 KiB

[startup+3402.3 s]
/proc/loadavg: 2.26 2.80 3.12 3/230 313072
/proc/meminfo: memFree=124906500/131655788 swapFree=131058856/131071996
[pid=311389] ppid=311386 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/311389/stat : 311389 (naps-1.03.sh) S 311386 311389 308397 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 43977684 10170368 664 134679101440 94910966079488 94910967158808 140732259167680 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94910969257264 94910969304452 94910983659520 140732259173341 140732259173470 140732259173470 140732259180488 0
/proc/311389/statm: 2483 664 586 264 0 134 0
[pid=311394] ppid=311389 vsize=1499156 memory=1367936 CPUtime=3390.12 cores=0,2
/proc/311394/stat : 311394 (naps-1.03) R 311389 311389 308397 0 -1 4194304 207111 0 0 0 338929 83 0 0 20 0 1 0 43977685 1535135744 341984 134679101440 4194304 6891597 140732985542928 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 12730368 140732985549806 140732985549922 140732985549922 140732985556939 0
/proc/311394/statm: 374789 341984 468 659 0 373993 0
Current children cumulated CPU time: 3390.12 s
Current children cumulated vsize: 1509088 KiB
Current children cumulated memory: 1370592 KiB

[startup+3462.3 s]
/proc/loadavg: 2.14 2.67 3.05 3/232 313253
/proc/meminfo: memFree=124884432/131655788 swapFree=131058856/131071996
[pid=311389] ppid=311386 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/311389/stat : 311389 (naps-1.03.sh) S 311386 311389 308397 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 43977684 10170368 664 134679101440 94910966079488 94910967158808 140732259167680 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94910969257264 94910969304452 94910983659520 140732259173341 140732259173470 140732259173470 140732259180488 0
/proc/311389/statm: 2483 664 586 264 0 134 0
[pid=311394] ppid=311389 vsize=1499684 memory=1372216 CPUtime=3449.91 cores=0,2
/proc/311394/stat : 311394 (naps-1.03) R 311389 311389 308397 0 -1 4194304 207745 0 0 0 344908 83 0 0 20 0 1 0 43977685 1535676416 343054 134679101440 4194304 6891597 140732985542928 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 12730368 140732985549806 140732985549922 140732985549922 140732985556939 0
/proc/311394/statm: 374921 343054 468 659 0 374125 0
Current children cumulated CPU time: 3449.91 s
Current children cumulated vsize: 1509616 KiB
Current children cumulated memory: 1374872 KiB

[startup+3522.3 s]
/proc/loadavg: 2.16 2.58 2.99 3/232 313263
/proc/meminfo: memFree=124865420/131655788 swapFree=131058856/131071996
[pid=311389] ppid=311386 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/311389/stat : 311389 (naps-1.03.sh) S 311386 311389 308397 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 43977684 10170368 664 134679101440 94910966079488 94910967158808 140732259167680 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94910969257264 94910969304452 94910983659520 140732259173341 140732259173470 140732259173470 140732259180488 0
/proc/311389/statm: 2483 664 586 264 0 134 0
[pid=311394] ppid=311389 vsize=1500608 memory=1373144 CPUtime=3509.7 cores=0,2
/proc/311394/stat : 311394 (naps-1.03) R 311389 311389 308397 0 -1 4194304 208542 0 0 0 350886 84 0 0 20 0 1 0 43977685 1536622592 343286 134679101440 4194304 6891597 140732985542928 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 12730368 140732985549806 140732985549922 140732985549922 140732985556939 0
/proc/311394/statm: 375152 343286 468 659 0 374356 0
Current children cumulated CPU time: 3509.7 s
Current children cumulated vsize: 1510540 KiB
Current children cumulated memory: 1375800 KiB

[startup+3582.3 s]
/proc/loadavg: 2.11 2.49 2.94 3/235 313332
/proc/meminfo: memFree=124897332/131655788 swapFree=131058856/131071996
[pid=311389] ppid=311386 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/311389/stat : 311389 (naps-1.03.sh) S 311386 311389 308397 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 43977684 10170368 664 134679101440 94910966079488 94910967158808 140732259167680 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94910969257264 94910969304452 94910983659520 140732259173341 140732259173470 140732259173470 140732259180488 0
/proc/311389/statm: 2483 664 586 264 0 134 0
[pid=311394] ppid=311389 vsize=1501268 memory=1375776 CPUtime=3569.49 cores=0,2
/proc/311394/stat : 311394 (naps-1.03) R 311389 311389 308397 0 -1 4194304 209295 0 0 0 356865 84 0 0 20 0 1 0 43977685 1537298432 343944 134679101440 4194304 6891597 140732985542928 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 12730368 140732985549806 140732985549922 140732985549922 140732985556939 0
/proc/311394/statm: 375317 343944 468 659 0 374521 0
Current children cumulated CPU time: 3569.49 s
Current children cumulated vsize: 1511200 KiB
Current children cumulated memory: 1378432 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3613 s]*
/proc/loadavg: 2.20 2.47 2.92 3/235 313339
/proc/meminfo: memFree=124886644/131655788 swapFree=131058856/131071996
[pid=311389] ppid=311386 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/311389/stat : 311389 (naps-1.03.sh) S 311386 311389 308397 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 43977684 10170368 664 134679101440 94910966079488 94910967158808 140732259167680 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94910969257264 94910969304452 94910983659520 140732259173341 140732259173470 140732259173470 140732259180488 0
/proc/311389/statm: 2483 664 586 264 0 134 0
[pid=311394] ppid=311389 vsize=1501664 memory=1376136 CPUtime=3600.09 cores=0,2
/proc/311394/stat : 311394 (naps-1.03) R 311389 311389 308397 0 -1 4194304 209652 0 0 0 359925 84 0 0 20 0 1 0 43977685 1537703936 344034 134679101440 4194304 6891597 140732985542928 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 12730368 140732985549806 140732985549922 140732985549922 140732985556939 0
/proc/311394/statm: 375416 344034 468 659 0 374620 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1511596 KiB
Current children cumulated memory: 1378792 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3613.02 s]
# the end of solver process 311389 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.002533 s, system=0.003425 s

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

# cumulated CPU time of all completed processes:  user=3599.26 s, system=0.854455 s
# this solver process was not waited by its parent and was adopted by runsolver

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

Child status: 10

Real time (s): 3613.02
CPU time (s): 3600.11
CPU user time (s): 3599.26
CPU system time (s): 0.854455
CPU usage (%): 99.6427
Max. virtual memory (cumulated for all children) (KiB): 1511596
Max. memory (cumulated for all children) (KiB): 1378792

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.26
system time used= 0.854455
maximum resident set size= 1376260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 210115
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= 323
involuntary context switches= 25292


# summary of solver processes directly reported to runsolver:
#   pid: 311389,311394
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3599.26
#   total CPU system time (s): 0.854455

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.0338 second user time and 38.155 second system time

The end