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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459503-1722999968/watcher-4459503-1722999968 -o /tmp/evaluation-result-4459503-1722999968/solver-4459503-1722999968 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1722999968-371686 --watchdog 3760 --use-pty ./ParLS-PBO --benchName=HOME/instance-4459503-1722999968.opb --time_limit=3600 --nbcore=1 

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
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=371723, runsolver pid=371720

[startup+0.100078 s]*
/proc/loadavg: 1.18 2.14 3.22 4/250 371739
/proc/meminfo: memFree=125513804/131524600 swapFree=131071996/131071996
[pid=371723] ppid=371720 vsize=97308 memory=6492 CPUtime=0.09 cores=1,3
/proc/371723/stat : 371723 (ParLS-PBO) R 371720 371723 368291 0 -1 1077936128 894 0 0 0 9 0 0 0 20 0 2 0 66596711 99643392 1623 134679101440 4194304 4322517 140725420029520 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 32092160 140725420037133 140725420037253 140725420037253 140725420044268 0
/proc/371723/statm: 24327 1623 945 32 0 2912 0
[pid=371723/tid=371737] ppid=371720 vsize=97308 memory=4026531959 CPUtime=0.09 cores=1,3
/proc/371723/task/371737/stat : 371737 (ParLS-PBO) R 371720 371723 368291 0 -1 4194368 327 0 0 0 9 0 0 0 20 0 2 0 66596712 99643392 1623 134679101440 4194304 4322517 140725420029520 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 32092160 140725420037133 140725420037253 140725420037253 140725420044268 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 97308 KiB
Current children cumulated memory: 6492 KiB

[startup+0.205474 s]*
/proc/loadavg: 1.18 2.14 3.22 4/253 371758
/proc/meminfo: memFree=125504712/131524600 swapFree=131071996/131071996
[pid=371723] ppid=371720 vsize=97308 memory=6492 CPUtime=0.2 cores=1,3
/proc/371723/stat : 371723 (ParLS-PBO) R 371720 371723 368291 0 -1 1077936128 894 0 0 0 20 0 0 0 20 0 2 0 66596711 99643392 1623 134679101440 4194304 4322517 140725420029520 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 32092160 140725420037133 140725420037253 140725420037253 140725420044268 0
/proc/371723/statm: 24327 1623 945 32 0 2912 0
[pid=371723/tid=371737] ppid=371720 vsize=97308 memory=3472328299600544061 CPUtime=0.19 cores=1,3
/proc/371723/task/371737/stat : 371737 (ParLS-PBO) R 371720 371723 368291 0 -1 4194368 327 0 0 0 19 0 0 0 20 0 2 0 66596712 99643392 1623 134679101440 4194304 4322517 140725420029520 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 32092160 140725420037133 140725420037253 140725420037253 140725420044268 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 97308 KiB
Current children cumulated memory: 6492 KiB

[startup+0.304736 s]*
/proc/loadavg: 1.18 2.14 3.22 5/253 371758
/proc/meminfo: memFree=125491656/131524600 swapFree=131071996/131071996
[pid=371723] ppid=371720 vsize=97308 memory=6492 CPUtime=0.3 cores=1,3
/proc/371723/stat : 371723 (ParLS-PBO) R 371720 371723 368291 0 -1 1077936128 894 0 0 0 30 0 0 0 20 0 2 0 66596711 99643392 1623 134679101440 4194304 4322517 140725420029520 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 32092160 140725420037133 140725420037253 140725420037253 140725420044268 0
/proc/371723/statm: 24327 1623 945 32 0 2912 0
[pid=371723/tid=371737] ppid=371720 vsize=97308 memory=-8887119852143813308 CPUtime=0.29 cores=1,3
/proc/371723/task/371737/stat : 371737 (ParLS-PBO) R 371720 371723 368291 0 -1 4194368 327 0 0 0 29 0 0 0 20 0 2 0 66596712 99643392 1623 134679101440 4194304 4322517 140725420029520 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 32092160 140725420037133 140725420037253 140725420037253 140725420044268 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 97308 KiB
Current children cumulated memory: 6492 KiB

[startup+0.700144 s]
/proc/loadavg: 1.18 2.14 3.22 5/256 371764
/proc/meminfo: memFree=125469824/131524600 swapFree=131071996/131071996
[pid=371723] ppid=371720 vsize=97308 memory=6492 CPUtime=0.69 cores=1,3
/proc/371723/stat : 371723 (ParLS-PBO) S 371720 371723 368291 0 -1 1077936128 894 0 0 0 69 0 0 0 20 0 2 0 66596711 99643392 1623 134679101440 4194304 4322517 140725420029520 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 32092160 140725420037133 140725420037253 140725420037253 140725420044268 0
/proc/371723/statm: 24327 1623 945 32 0 2912 0
[pid=371723/tid=371737] ppid=371720 vsize=97308 memory=12272 CPUtime=0.68 cores=1,3
/proc/371723/task/371737/stat : 371737 (ParLS-PBO) R 371720 371723 368291 0 -1 4194368 327 0 0 0 68 0 0 0 20 0 2 0 66596712 99643392 1623 134679101440 4194304 4322517 140725420029520 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 32092160 140725420037133 140725420037253 140725420037253 140725420044268 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 97308 KiB
Current children cumulated memory: 6492 KiB

[startup+1.5001 s]
/proc/loadavg: 1.18 2.14 3.22 5/260 371798
/proc/meminfo: memFree=125347260/131524600 swapFree=131071996/131071996
[pid=371723] ppid=371720 vsize=97308 memory=6748 CPUtime=1.49 cores=1,3
/proc/371723/stat : 371723 (ParLS-PBO) S 371720 371723 368291 0 -1 1077936128 1216 0 0 0 149 0 0 0 20 0 2 0 66596711 99643392 1687 134679101440 4194304 4322517 140725420029520 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 32092160 140725420037133 140725420037253 140725420037253 140725420044268 0
/proc/371723/statm: 24327 1687 945 32 0 2912 0
[pid=371723/tid=371737] ppid=371720 vsize=97308 memory=11448 CPUtime=1.48 cores=1,3
/proc/371723/task/371737/stat : 371737 (ParLS-PBO) R 371720 371723 368291 0 -1 4194368 644 0 0 0 148 0 0 0 20 0 2 0 66596712 99643392 1687 134679101440 4194304 4322517 140725420029520 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 32092160 140725420037133 140725420037253 140725420037253 140725420044268 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 97308 KiB
Current children cumulated memory: 6748 KiB

[startup+3.10451 s]
/proc/loadavg: 1.40 2.17 3.22 5/260 371798
/proc/meminfo: memFree=125346444/131524600 swapFree=131071996/131071996
[pid=371723] ppid=371720 vsize=97308 memory=6748 CPUtime=3.1 cores=1,3
/proc/371723/stat : 371723 (ParLS-PBO) S 371720 371723 368291 0 -1 1077936128 1538 0 0 0 309 1 0 0 20 0 2 0 66596711 99643392 1687 134679101440 4194304 4322517 140725420029520 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 32092160 140725420037133 140725420037253 140725420037253 140725420044268 0
/proc/371723/statm: 24327 1687 945 32 0 2912 0
[pid=371723/tid=371737] ppid=371720 vsize=97308 memory=6492 CPUtime=3.08 cores=1,3
/proc/371723/task/371737/stat : 371737 (ParLS-PBO) R 371720 371723 368291 0 -1 4194368 961 0 0 0 308 0 0 0 20 0 2 0 66596712 99643392 1687 134679101440 4194304 4322517 140725420029520 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 32092160 140725420037133 140725420037253 140725420037253 140725420044268 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 97308 KiB
Current children cumulated memory: 6748 KiB

[startup+6.30015 s]
/proc/loadavg: 1.40 2.17 3.22 5/260 371800
/proc/meminfo: memFree=125346016/131524600 swapFree=131071996/131071996
[pid=371723] ppid=371720 vsize=97308 memory=6748 CPUtime=6.29 cores=1,3
/proc/371723/stat : 371723 (ParLS-PBO) S 371720 371723 368291 0 -1 1077936128 1860 0 0 0 628 1 0 0 20 0 2 0 66596711 99643392 1687 134679101440 4194304 4322517 140725420029520 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 32092160 140725420037133 140725420037253 140725420037253 140725420044268 0
/proc/371723/statm: 24327 1687 945 32 0 2912 0
[pid=371723/tid=371737] ppid=371720 vsize=97308 memory=-7522244318761774246 CPUtime=6.27 cores=1,3
/proc/371723/task/371737/stat : 371737 (ParLS-PBO) R 371720 371723 368291 0 -1 4194368 1278 0 0 0 627 0 0 0 20 0 2 0 66596712 99643392 1687 134679101440 4194304 4322517 140725420029520 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 32092160 140725420037133 140725420037253 140725420037253 140725420044268 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 97308 KiB
Current children cumulated memory: 6748 KiB

[startup+12.7001 s]
/proc/loadavg: 1.88 2.25 3.24 5/260 371800
/proc/meminfo: memFree=125346044/131524600 swapFree=131071996/131071996
[pid=371723] ppid=371720 vsize=97308 memory=6748 CPUtime=12.69 cores=1,3
/proc/371723/stat : 371723 (ParLS-PBO) S 371720 371723 368291 0 -1 1077936128 2182 0 0 0 1267 2 0 0 20 0 2 0 66596711 99643392 1687 134679101440 4194304 4322517 140725420029520 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 32092160 140725420037133 140725420037253 140725420037253 140725420044268 0
/proc/371723/statm: 24327 1687 945 32 0 2912 0
[pid=371723/tid=371737] ppid=371720 vsize=97308 memory=6748 CPUtime=12.65 cores=1,3
/proc/371723/task/371737/stat : 371737 (ParLS-PBO) R 371720 371723 368291 0 -1 4194368 1595 0 0 0 1265 0 0 0 20 0 2 0 66596712 99643392 1687 134679101440 4194304 4322517 140725420029520 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 32092160 140725420037133 140725420037253 140725420037253 140725420044268 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 97308 KiB
Current children cumulated memory: 6748 KiB

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

# cumulated CPU time of all completed processes:  user=16.0857 s, system=0.032829 s

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

[startup+12.8002 s]
/proc/loadavg: 1.88 2.25 3.24 5/260 371800
/proc/meminfo: memFree=125346044/131524600 swapFree=131071996/131071996
[pid=371723] ppid=371720 vsize=97308 memory=6748 CPUtime=12.79 cores=1,3
/proc/371723/stat : 371723 (ParLS-PBO) S 371720 371723 368291 0 -1 1077936128 2182 0 0 0 1277 2 0 0 20 0 2 0 66596711 99643392 1687 134679101440 4194304 4322517 140725420029520 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 32092160 140725420037133 140725420037253 140725420037253 140725420044268 0
/proc/371723/statm: 24327 1687 945 32 0 2912 0
[pid=371723/tid=371737] ppid=371720 vsize=97308 memory=2688 CPUtime=12.75 cores=1,3
/proc/371723/task/371737/stat : 371737 (ParLS-PBO) R 371720 371723 368291 0 -1 4194368 1595 0 0 0 1275 0 0 0 20 0 2 0 66596712 99643392 1687 134679101440 4194304 4322517 140725420029520 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 32092160 140725420037133 140725420037253 140725420037253 140725420044268 0
Current children cumulated CPU time: 12.79 s
Current children cumulated vsize: 97308 KiB
Current children cumulated memory: 6748 KiB

[startup+14.4001 s]
/proc/loadavg: 1.88 2.25 3.24 5/260 371800
/proc/meminfo: memFree=125345492/131524600 swapFree=131071996/131071996
[pid=371723] ppid=371720 vsize=97308 memory=6748 CPUtime=14.39 cores=1,3
/proc/371723/stat : 371723 (ParLS-PBO) S 371720 371723 368291 0 -1 1077936128 2504 0 0 0 1437 2 0 0 20 0 2 0 66596711 99643392 1687 134679101440 4194304 4322517 140725420029520 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 32092160 140725420037133 140725420037253 140725420037253 140725420044268 0
/proc/371723/statm: 24327 1687 945 32 0 2912 0
[pid=371723/tid=371737] ppid=371720 vsize=97308 memory=0 CPUtime=14.34 cores=1,3
/proc/371723/task/371737/stat : 371737 (ParLS-PBO) R 371720 371723 368291 0 -1 4194368 1912 0 0 0 1434 0 0 0 20 0 2 0 66596712 99643392 1687 134679101440 4194304 4322517 140725420029520 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 32092160 140725420037133 140725420037253 140725420037253 140725420044268 0
Current children cumulated CPU time: 14.39 s
Current children cumulated vsize: 97308 KiB
Current children cumulated memory: 6748 KiB

[startup+15.2001 s]
/proc/loadavg: 1.88 2.25 3.24 5/260 371800
/proc/meminfo: memFree=125345512/131524600 swapFree=131071996/131071996
[pid=371723] ppid=371720 vsize=97308 memory=6748 CPUtime=15.19 cores=1,3
/proc/371723/stat : 371723 (ParLS-PBO) S 371720 371723 368291 0 -1 1077936128 2504 0 0 0 1517 2 0 0 20 0 2 0 66596711 99643392 1687 134679101440 4194304 4322517 140725420029520 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 32092160 140725420037133 140725420037253 140725420037253 140725420044268 0
/proc/371723/statm: 24327 1687 945 32 0 2912 0
[pid=371723/tid=371737] ppid=371720 vsize=97308 memory=37272 CPUtime=15.14 cores=1,3
/proc/371723/task/371737/stat : 371737 (ParLS-PBO) R 371720 371723 368291 0 -1 4194368 1912 0 0 0 1514 0 0 0 20 0 2 0 66596712 99643392 1687 134679101440 4194304 4322517 140725420029520 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 32092160 140725420037133 140725420037253 140725420037253 140725420044268 0
Current children cumulated CPU time: 15.19 s
Current children cumulated vsize: 97308 KiB
Current children cumulated memory: 6748 KiB

[startup+15.6001 s]
/proc/loadavg: 1.88 2.25 3.24 5/260 371800
/proc/meminfo: memFree=125345512/131524600 swapFree=131071996/131071996
[pid=371723] ppid=371720 vsize=97308 memory=6748 CPUtime=15.59 cores=1,3
/proc/371723/stat : 371723 (ParLS-PBO) S 371720 371723 368291 0 -1 1077936128 2504 0 0 0 1557 2 0 0 20 0 2 0 66596711 99643392 1687 134679101440 4194304 4322517 140725420029520 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 32092160 140725420037133 140725420037253 140725420037253 140725420044268 0
/proc/371723/statm: 24327 1687 945 32 0 2912 0
[pid=371723/tid=371737] ppid=371720 vsize=97308 memory=140527034957825 CPUtime=15.54 cores=1,3
/proc/371723/task/371737/stat : 371737 (ParLS-PBO) R 371720 371723 368291 0 -1 4194368 1912 0 0 0 1554 0 0 0 20 0 2 0 66596712 99643392 1687 134679101440 4194304 4322517 140725420029520 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 32092160 140725420037133 140725420037253 140725420037253 140725420044268 0
Current children cumulated CPU time: 15.59 s
Current children cumulated vsize: 97308 KiB
Current children cumulated memory: 6748 KiB

[startup+16.0001 s]*
/proc/loadavg: 1.88 2.25 3.24 5/260 371801
/proc/meminfo: memFree=125345288/131524600 swapFree=131071996/131071996
[pid=371723] ppid=371720 vsize=97308 memory=6748 CPUtime=16 cores=1,3
/proc/371723/stat : 371723 (ParLS-PBO) R 371720 371723 368291 0 -1 1077936128 2504 0 0 0 1597 3 0 0 20 0 2 0 66596711 99643392 1687 134679101440 4194304 4322517 140725420029520 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 32092160 140725420037133 140725420037253 140725420037253 140725420044268 0
/proc/371723/statm: 24327 1687 945 32 0 2912 0
[pid=371723/tid=371737] ppid=371720 vsize=97308 memory=-6530988466559811263 CPUtime=15.94 cores=1,3
/proc/371723/task/371737/stat : 371737 (ParLS-PBO) R 371720 371723 368291 0 -1 4194368 1912 0 0 0 1594 0 0 0 20 0 2 0 66596712 99643392 1687 134679101440 4194304 4322517 140725420029520 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 32092160 140725420037133 140725420037253 140725420037253 140725420044268 0
Current children cumulated CPU time: 16 s
Current children cumulated vsize: 97308 KiB
Current children cumulated memory: 6748 KiB

[startup+16.1047 s]
/proc/loadavg: 1.88 2.25 3.24 5/260 371801
/proc/meminfo: memFree=125345288/131524600 swapFree=131071996/131071996
[pid=371723] ppid=371720 vsize=97308 memory=6748 CPUtime=16.1 cores=1,3
/proc/371723/stat : 371723 (ParLS-PBO) S 371720 371723 368291 0 -1 1077936128 2504 0 0 0 1607 3 0 0 20 0 2 0 66596711 99643392 1687 134679101440 4194304 4322517 140725420029520 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 32092160 140725420037133 140725420037253 140725420037253 140725420044268 0
/proc/371723/statm: 24327 1687 945 32 0 2912 0
[pid=371723/tid=371737] ppid=371720 vsize=97308 memory=5420 CPUtime=16.04 cores=1,3
/proc/371723/task/371737/stat : 371737 (ParLS-PBO) R 371720 371723 368291 0 -1 4194368 1912 0 0 0 1604 0 0 0 20 0 2 0 66596712 99643392 1687 134679101440 4194304 4322517 140725420029520 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 32092160 140725420037133 140725420037253 140725420037253 140725420044268 0
Current children cumulated CPU time: 16.1 s
Current children cumulated vsize: 97308 KiB
Current children cumulated memory: 6748 KiB

Child status: 0

Real time (s): 16.1151
CPU time (s): 16.1186
CPU user time (s): 16.0857
CPU system time (s): 0.032829
CPU usage (%): 100.022
Max. virtual memory (cumulated for all children) (KiB): 97308
Max. memory (cumulated for all children) (KiB): 6748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.0857
system time used= 0.032829
maximum resident set size= 7156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2740
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= 14908
involuntary context switches= 20


# summary of solver processes directly reported to runsolver:
#   pid: 371723
#   total CPU time (s): 16.1186
#   total CPU user time (s): 16.0857
#   total CPU system time (s): 0.032829

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.044887 second user time and 0.072072 second system time

The end