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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4430742-1722974507/watcher-4430742-1722974507 -o /tmp/evaluation-result-4430742-1722974507/solver-4430742-1722974507 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1722970910-348578 --watchdog 3760 --use-pty ./ParLS-PBO --benchName=HOME/instance-4430742-1722974507.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=350603, runsolver pid=350600

[startup+0.10008 s]*
/proc/loadavg: 4.14 4.18 4.13 5/262 350605
/proc/meminfo: memFree=129013292/131524600 swapFree=131071996/131071996
[pid=350603] ppid=350600 vsize=97000 memory=6604 CPUtime=0.1 cores=1,3
/proc/350603/stat : 350603 (ParLS-PBO) R 350600 350603 348566 0 -1 1077936128 844 0 0 0 10 0 0 0 20 0 2 0 64052717 99328000 1651 134679101440 4194304 4322517 140729017749008 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 10256384 140729017754637 140729017754757 140729017754757 140729017761772 0
/proc/350603/statm: 24250 1651 973 32 0 2850 0
[pid=350603/tid=350605] ppid=350600 vsize=97000 memory=4026561586 CPUtime=0.09 cores=1,3
/proc/350603/task/350605/stat : 350605 (ParLS-PBO) R 350600 350603 348566 0 -1 4194368 332 0 0 0 9 0 0 0 20 0 2 0 64052718 99328000 1651 134679101440 4194304 4322517 140729017749008 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 10256384 140729017754637 140729017754757 140729017754757 140729017761772 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 97000 KiB
Current children cumulated memory: 6604 KiB

[startup+0.204852 s]*
/proc/loadavg: 4.14 4.18 4.13 5/262 350605
/proc/meminfo: memFree=129013080/131524600 swapFree=131071996/131071996
[pid=350603] ppid=350600 vsize=97000 memory=6604 CPUtime=0.2 cores=1,3
/proc/350603/stat : 350603 (ParLS-PBO) R 350600 350603 348566 0 -1 1077936128 846 0 0 0 20 0 0 0 20 0 2 0 64052717 99328000 1651 134679101440 4194304 4322517 140729017749008 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 10256384 140729017754637 140729017754757 140729017754757 140729017761772 0
/proc/350603/statm: 24250 1651 973 32 0 2852 0
[pid=350603/tid=350605] ppid=350600 vsize=97000 memory=8245937348197351555 CPUtime=0.2 cores=1,3
/proc/350603/task/350605/stat : 350605 (ParLS-PBO) R 350600 350603 348566 0 -1 4194368 334 0 0 0 20 0 0 0 20 0 2 0 64052718 99328000 1651 134679101440 4194304 4322517 140729017749008 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 10256384 140729017754637 140729017754757 140729017754757 140729017761772 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 97000 KiB
Current children cumulated memory: 6604 KiB

[startup+0.304605 s]*
/proc/loadavg: 4.14 4.18 4.13 5/262 350605
/proc/meminfo: memFree=129012984/131524600 swapFree=131071996/131071996
[pid=350603] ppid=350600 vsize=97000 memory=6604 CPUtime=0.3 cores=1,3
/proc/350603/stat : 350603 (ParLS-PBO) R 350600 350603 348566 0 -1 1077936128 849 0 0 0 30 0 0 0 20 0 2 0 64052717 99328000 1651 134679101440 4194304 4322517 140729017749008 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 10256384 140729017754637 140729017754757 140729017754757 140729017761772 0
/proc/350603/statm: 24250 1651 973 32 0 2855 0
[pid=350603/tid=350605] ppid=350600 vsize=97000 memory=-7591559047730854272 CPUtime=0.3 cores=1,3
/proc/350603/task/350605/stat : 350605 (ParLS-PBO) R 350600 350603 348566 0 -1 4194368 337 0 0 0 30 0 0 0 20 0 2 0 64052718 99328000 1651 134679101440 4194304 4322517 140729017749008 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 10256384 140729017754637 140729017754757 140729017754757 140729017761772 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 97000 KiB
Current children cumulated memory: 6604 KiB

[startup+0.700114 s]
/proc/loadavg: 4.14 4.18 4.13 5/262 350605
/proc/meminfo: memFree=129012816/131524600 swapFree=131071996/131071996
[pid=350603] ppid=350600 vsize=97000 memory=6604 CPUtime=0.69 cores=1,3
/proc/350603/stat : 350603 (ParLS-PBO) S 350600 350603 348566 0 -1 1077936128 849 0 0 0 69 0 0 0 20 0 2 0 64052717 99328000 1651 134679101440 4194304 4322517 140729017749008 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 10256384 140729017754637 140729017754757 140729017754757 140729017761772 0
/proc/350603/statm: 24250 1651 973 32 0 2855 0
[pid=350603/tid=350605] ppid=350600 vsize=97000 memory=16096 CPUtime=0.69 cores=1,3
/proc/350603/task/350605/stat : 350605 (ParLS-PBO) R 350600 350603 348566 0 -1 4194368 337 0 0 0 69 0 0 0 20 0 2 0 64052718 99328000 1651 134679101440 4194304 4322517 140729017749008 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 10256384 140729017754637 140729017754757 140729017754757 140729017761772 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 97000 KiB
Current children cumulated memory: 6604 KiB

[startup+1.50012 s]
/proc/loadavg: 4.13 4.17 4.12 5/262 350605
/proc/meminfo: memFree=129012660/131524600 swapFree=131071996/131071996
[pid=350603] ppid=350600 vsize=97000 memory=6636 CPUtime=1.49 cores=1,3
/proc/350603/stat : 350603 (ParLS-PBO) S 350600 350603 348566 0 -1 1077936128 1174 0 0 0 149 0 0 0 20 0 2 0 64052717 99328000 1659 134679101440 4194304 4322517 140729017749008 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 10256384 140729017754637 140729017754757 140729017754757 140729017761772 0
/proc/350603/statm: 24250 1659 973 32 0 2855 0
[pid=350603/tid=350605] ppid=350600 vsize=97000 memory=16096 CPUtime=1.48 cores=1,3
/proc/350603/task/350605/stat : 350605 (ParLS-PBO) R 350600 350603 348566 0 -1 4194368 656 0 0 0 148 0 0 0 20 0 2 0 64052718 99328000 1659 134679101440 4194304 4322517 140729017749008 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 10256384 140729017754637 140729017754757 140729017754757 140729017761772 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 97000 KiB
Current children cumulated memory: 6636 KiB

[startup+3.10522 s]
/proc/loadavg: 4.13 4.17 4.12 5/262 350701
/proc/meminfo: memFree=128680376/131524600 swapFree=131071996/131071996
[pid=350603] ppid=350600 vsize=97000 memory=6636 CPUtime=3.09 cores=1,3
/proc/350603/stat : 350603 (ParLS-PBO) S 350600 350603 348566 0 -1 1077936128 1440 0 0 0 309 0 0 0 20 0 2 0 64052717 99328000 1659 134679101440 4194304 4322517 140729017749008 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 10256384 140729017754637 140729017754757 140729017754757 140729017761772 0
/proc/350603/statm: 24250 1659 973 32 0 2855 0
[pid=350603/tid=350605] ppid=350600 vsize=97000 memory=6604 CPUtime=3.09 cores=1,3
/proc/350603/task/350605/stat : 350605 (ParLS-PBO) R 350600 350603 348566 0 -1 4194368 916 0 0 0 309 0 0 0 20 0 2 0 64052718 99328000 1659 134679101440 4194304 4322517 140729017749008 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 10256384 140729017754637 140729017754757 140729017754757 140729017761772 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 97000 KiB
Current children cumulated memory: 6636 KiB

[startup+6.30013 s]
/proc/loadavg: 4.12 4.17 4.12 5/262 350701
/proc/meminfo: memFree=128678780/131524600 swapFree=131071996/131071996
[pid=350603] ppid=350600 vsize=97000 memory=6636 CPUtime=6.3 cores=1,3
/proc/350603/stat : 350603 (ParLS-PBO) S 350600 350603 348566 0 -1 1077936128 1822 0 0 0 629 1 0 0 20 0 2 0 64052717 99328000 1659 134679101440 4194304 4322517 140729017749008 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 10256384 140729017754637 140729017754757 140729017754757 140729017761772 0
/proc/350603/statm: 24250 1659 973 32 0 2855 0
[pid=350603/tid=350605] ppid=350600 vsize=97000 memory=6604 CPUtime=6.27 cores=1,3
/proc/350603/task/350605/stat : 350605 (ParLS-PBO) R 350600 350603 348566 0 -1 4194368 1293 0 0 0 627 0 0 0 20 0 2 0 64052718 99328000 1659 134679101440 4194304 4322517 140729017749008 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 10256384 140729017754637 140729017754757 140729017754757 140729017761772 0
Current children cumulated CPU time: 6.3 s
Current children cumulated vsize: 97000 KiB
Current children cumulated memory: 6636 KiB

[startup+12.7001 s]
/proc/loadavg: 4.19 4.18 4.13 5/262 350701
/proc/meminfo: memFree=128678708/131524600 swapFree=131071996/131071996
[pid=350603] ppid=350600 vsize=97000 memory=6636 CPUtime=12.7 cores=1,3
/proc/350603/stat : 350603 (ParLS-PBO) S 350600 350603 348566 0 -1 1077936128 2148 0 0 0 1268 2 0 0 20 0 2 0 64052717 99328000 1659 134679101440 4194304 4322517 140729017749008 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 10256384 140729017754637 140729017754757 140729017754757 140729017761772 0
/proc/350603/statm: 24250 1659 973 32 0 2855 0
[pid=350603/tid=350605] ppid=350600 vsize=97000 memory=6604 CPUtime=12.65 cores=1,3
/proc/350603/task/350605/stat : 350605 (ParLS-PBO) R 350600 350603 348566 0 -1 4194368 1614 0 0 0 1265 0 0 0 20 0 2 0 64052718 99328000 1659 134679101440 4194304 4322517 140729017749008 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 10256384 140729017754637 140729017754757 140729017754757 140729017761772 0
Current children cumulated CPU time: 12.7 s
Current children cumulated vsize: 97000 KiB
Current children cumulated memory: 6636 KiB

[startup+25.5001 s]
/proc/loadavg: 4.23 4.19 4.13 5/262 350704
/proc/meminfo: memFree=128678368/131524600 swapFree=131071996/131071996
[pid=350603] ppid=350600 vsize=97000 memory=6756 CPUtime=25.5 cores=1,3
/proc/350603/stat : 350603 (ParLS-PBO) S 350600 350603 348566 0 -1 1077936128 3123 0 0 0 2546 4 0 0 20 0 2 0 64052717 99328000 1689 134679101440 4194304 4322517 140729017749008 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 10256384 140729017754637 140729017754757 140729017754757 140729017761772 0
/proc/350603/statm: 24250 1689 973 32 0 2855 0
[pid=350603/tid=350605] ppid=350600 vsize=97000 memory=6604 CPUtime=25.42 cores=1,3
/proc/350603/task/350605/stat : 350605 (ParLS-PBO) R 350600 350603 348566 0 -1 4194368 2573 0 0 0 2542 0 0 0 20 0 2 0 64052718 99328000 1689 134679101440 4194304 4322517 140729017749008 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 10256384 140729017754637 140729017754757 140729017754757 140729017761772 0
Current children cumulated CPU time: 25.5 s
Current children cumulated vsize: 97000 KiB
Current children cumulated memory: 6756 KiB

[startup+51.1053 s]
/proc/loadavg: 4.39 4.24 4.15 5/261 350707
/proc/meminfo: memFree=128677592/131524600 swapFree=131071996/131071996
[pid=350603] ppid=350600 vsize=97000 memory=6756 CPUtime=51.12 cores=1,3
/proc/350603/stat : 350603 (ParLS-PBO) S 350600 350603 348566 0 -1 1077936128 3773 0 0 0 5103 9 0 0 20 0 2 0 64052717 99328000 1689 134679101440 4194304 4322517 140729017749008 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 10256384 140729017754637 140729017754757 140729017754757 140729017761772 0
/proc/350603/statm: 24250 1689 973 32 0 2855 0
[pid=350603/tid=350605] ppid=350600 vsize=97000 memory=6756 CPUtime=50.95 cores=1,3
/proc/350603/task/350605/stat : 350605 (ParLS-PBO) R 350600 350603 348566 0 -1 4194368 3213 0 0 0 5095 0 0 0 20 0 2 0 64052718 99328000 1689 134679101440 4194304 4322517 140729017749008 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 10256384 140729017754637 140729017754757 140729017754757 140729017761772 0
Current children cumulated CPU time: 51.12 s
Current children cumulated vsize: 97000 KiB
Current children cumulated memory: 6756 KiB

[startup+102.3 s]
/proc/loadavg: 4.43 4.28 4.17 5/262 350717
/proc/meminfo: memFree=128676576/131524600 swapFree=131071996/131071996
[pid=350603] ppid=350600 vsize=97000 memory=6756 CPUtime=102.34 cores=1,3
/proc/350603/stat : 350603 (ParLS-PBO) S 350600 350603 348566 0 -1 1077936128 4748 0 0 0 10216 18 0 0 20 0 2 0 64052717 99328000 1689 134679101440 4194304 4322517 140729017749008 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 10256384 140729017754637 140729017754757 140729017754757 140729017761772 0
/proc/350603/statm: 24250 1689 973 32 0 2855 0
[pid=350603/tid=350605] ppid=350600 vsize=97000 memory=6756 CPUtime=102.01 cores=1,3
/proc/350603/task/350605/stat : 350605 (ParLS-PBO) R 350600 350603 348566 0 -1 4194368 4173 0 0 0 10201 0 0 0 20 0 2 0 64052718 99328000 1689 134679101440 4194304 4322517 140729017749008 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 10256384 140729017754637 140729017754757 140729017754757 140729017761772 0
Current children cumulated CPU time: 102.34 s
Current children cumulated vsize: 97000 KiB
Current children cumulated memory: 6756 KiB

[startup+162.3 s]
/proc/loadavg: 4.19 4.24 4.16 5/262 350729
/proc/meminfo: memFree=128675752/131524600 swapFree=131071996/131071996
[pid=350603] ppid=350600 vsize=97000 memory=6756 CPUtime=162.38 cores=1,3
/proc/350603/stat : 350603 (ParLS-PBO) S 350600 350603 348566 0 -1 1077936128 5073 0 0 0 16210 28 0 0 20 0 2 0 64052717 99328000 1689 134679101440 4194304 4322517 140729017749008 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 10256384 140729017754637 140729017754757 140729017754757 140729017761772 0
/proc/350603/statm: 24250 1689 973 32 0 2855 0
[pid=350603/tid=350605] ppid=350600 vsize=97000 memory=6756 CPUtime=161.85 cores=1,3
/proc/350603/task/350605/stat : 350605 (ParLS-PBO) R 350600 350603 348566 0 -1 4194368 4493 0 0 0 16185 0 0 0 20 0 2 0 64052718 99328000 1689 134679101440 4194304 4322517 140729017749008 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 10256384 140729017754637 140729017754757 140729017754757 140729017761772 0
Current children cumulated CPU time: 162.38 s
Current children cumulated vsize: 97000 KiB
Current children cumulated memory: 6756 KiB

[startup+222.3 s]
/proc/loadavg: 4.19 4.24 4.17 5/262 350739
/proc/meminfo: memFree=128673416/131524600 swapFree=131071996/131071996
[pid=350603] ppid=350600 vsize=97000 memory=6756 CPUtime=222.41 cores=1,3
/proc/350603/stat : 350603 (ParLS-PBO) S 350600 350603 348566 0 -1 1077936128 5675 0 0 0 22202 39 0 0 20 0 2 0 64052717 99328000 1689 134679101440 4194304 4322517 140729017749008 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 10256384 140729017754637 140729017754757 140729017754757 140729017761772 0
/proc/350603/statm: 24250 1689 973 32 0 2855 0
[pid=350603/tid=350605] ppid=350600 vsize=97000 memory=11576 CPUtime=221.69 cores=1,3
/proc/350603/task/350605/stat : 350605 (ParLS-PBO) R 350600 350603 348566 0 -1 4194368 5085 0 0 0 22169 0 0 0 20 0 2 0 64052718 99328000 1689 134679101440 4194304 4322517 140729017749008 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 10256384 140729017754637 140729017754757 140729017754757 140729017761772 0
Current children cumulated CPU time: 222.41 s
Current children cumulated vsize: 97000 KiB
Current children cumulated memory: 6756 KiB

[startup+282.3 s]
/proc/loadavg: 4.24 4.24 4.18 5/260 350749
/proc/meminfo: memFree=128672908/131524600 swapFree=131071996/131071996
[pid=350603] ppid=350600 vsize=97000 memory=6756 CPUtime=282.43 cores=1,3
/proc/350603/stat : 350603 (ParLS-PBO) S 350600 350603 348566 0 -1 1077936128 5723 0 0 0 28193 50 0 0 20 0 2 0 64052717 99328000 1689 134679101440 4194304 4322517 140729017749008 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 10256384 140729017754637 140729017754757 140729017754757 140729017761772 0
/proc/350603/statm: 24250 1689 973 32 0 2855 0
[pid=350603/tid=350605] ppid=350600 vsize=97000 memory=11576 CPUtime=281.53 cores=1,3
/proc/350603/task/350605/stat : 350605 (ParLS-PBO) R 350600 350603 348566 0 -1 4194368 5133 0 0 0 28153 0 0 0 20 0 2 0 64052718 99328000 1689 134679101440 4194304 4322517 140729017749008 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 10256384 140729017754637 140729017754757 140729017754757 140729017761772 0
Current children cumulated CPU time: 282.43 s

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

/proc/meminfo: memFree=128626352/131524600 swapFree=131071996/131071996
[pid=350603] ppid=350600 vsize=97000 memory=6756 CPUtime=2983.71 cores=1,3
/proc/350603/stat : 350603 (ParLS-PBO) S 350600 350603 348566 0 -1 1077936128 20351 0 0 0 297832 539 0 0 20 0 2 0 64052717 99328000 1689 134679101440 4194304 4322517 140729017749008 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 10256384 140729017754637 140729017754757 140729017754757 140729017761772 0
/proc/350603/statm: 24250 1689 973 32 0 2855 0
[pid=350603/tid=350605] ppid=350600 vsize=97000 memory=6756 CPUtime=2974.17 cores=1,3
/proc/350603/task/350605/stat : 350605 (ParLS-PBO) R 350600 350603 348566 0 -1 4194368 19530 0 0 0 297417 0 0 0 20 0 2 0 64052718 99328000 1689 134679101440 4194304 4322517 140729017749008 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 10256384 140729017754637 140729017754757 140729017754757 140729017761772 0
Current children cumulated CPU time: 2983.71 s
Current children cumulated vsize: 97000 KiB
Current children cumulated memory: 6756 KiB

[startup+3042.3 s]
/proc/loadavg: 4.23 4.16 4.17 5/261 351881
/proc/meminfo: memFree=128625556/131524600 swapFree=131071996/131071996
[pid=350603] ppid=350600 vsize=97000 memory=6756 CPUtime=3043.73 cores=1,3
/proc/350603/stat : 350603 (ParLS-PBO) S 350600 350603 348566 0 -1 1077936128 20676 0 0 0 303822 551 0 0 20 0 2 0 64052717 99328000 1689 134679101440 4194304 4322517 140729017749008 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 10256384 140729017754637 140729017754757 140729017754757 140729017761772 0
/proc/350603/statm: 24250 1689 973 32 0 2855 0
[pid=350603/tid=350605] ppid=350600 vsize=97000 memory=6756 CPUtime=3034 cores=1,3
/proc/350603/task/350605/stat : 350605 (ParLS-PBO) R 350600 350603 348566 0 -1 4194368 19850 0 0 0 303400 0 0 0 20 0 2 0 64052718 99328000 1689 134679101440 4194304 4322517 140729017749008 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 10256384 140729017754637 140729017754757 140729017754757 140729017761772 0
Current children cumulated CPU time: 3043.73 s
Current children cumulated vsize: 97000 KiB
Current children cumulated memory: 6756 KiB

[startup+3102.3 s]
/proc/loadavg: 4.17 4.16 4.17 5/262 351892
/proc/meminfo: memFree=128624816/131524600 swapFree=131071996/131071996
[pid=350603] ppid=350600 vsize=97000 memory=6756 CPUtime=3103.76 cores=1,3
/proc/350603/stat : 350603 (ParLS-PBO) S 350600 350603 348566 0 -1 1077936128 21001 0 0 0 309812 564 0 0 20 0 2 0 64052717 99328000 1689 134679101440 4194304 4322517 140729017749008 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 10256384 140729017754637 140729017754757 140729017754757 140729017761772 0
/proc/350603/statm: 24250 1689 973 32 0 2855 0
[pid=350603/tid=350605] ppid=350600 vsize=97000 memory=6756 CPUtime=3093.84 cores=1,3
/proc/350603/task/350605/stat : 350605 (ParLS-PBO) R 350600 350603 348566 0 -1 4194368 20170 0 0 0 309384 0 0 0 20 0 2 0 64052718 99328000 1689 134679101440 4194304 4322517 140729017749008 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 10256384 140729017754637 140729017754757 140729017754757 140729017761772 0
Current children cumulated CPU time: 3103.76 s
Current children cumulated vsize: 97000 KiB
Current children cumulated memory: 6756 KiB

[startup+3162.3 s]
/proc/loadavg: 4.17 4.16 4.17 5/262 351903
/proc/meminfo: memFree=128623980/131524600 swapFree=131071996/131071996
[pid=350603] ppid=350600 vsize=97000 memory=6756 CPUtime=3163.79 cores=1,3
/proc/350603/stat : 350603 (ParLS-PBO) S 350600 350603 348566 0 -1 1077936128 21326 0 0 0 315802 577 0 0 20 0 2 0 64052717 99328000 1689 134679101440 4194304 4322517 140729017749008 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 10256384 140729017754637 140729017754757 140729017754757 140729017761772 0
/proc/350603/statm: 24250 1689 973 32 0 2855 0
[pid=350603/tid=350605] ppid=350600 vsize=97000 memory=6756 CPUtime=3153.67 cores=1,3
/proc/350603/task/350605/stat : 350605 (ParLS-PBO) R 350600 350603 348566 0 -1 4194368 20490 0 0 0 315367 0 0 0 20 0 2 0 64052718 99328000 1689 134679101440 4194304 4322517 140729017749008 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 10256384 140729017754637 140729017754757 140729017754757 140729017761772 0
Current children cumulated CPU time: 3163.79 s
Current children cumulated vsize: 97000 KiB
Current children cumulated memory: 6756 KiB

[startup+3222.3 s]
/proc/loadavg: 4.77 4.35 4.24 5/264 352297
/proc/meminfo: memFree=128622992/131524600 swapFree=131071996/131071996
[pid=350603] ppid=350600 vsize=97000 memory=6756 CPUtime=3223.82 cores=1,3
/proc/350603/stat : 350603 (ParLS-PBO) S 350600 350603 348566 0 -1 1077936128 21651 0 0 0 321796 586 0 0 20 0 2 0 64052717 99328000 1689 134679101440 4194304 4322517 140729017749008 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 10256384 140729017754637 140729017754757 140729017754757 140729017761772 0
/proc/350603/statm: 24250 1689 973 32 0 2855 0
[pid=350603/tid=350605] ppid=350600 vsize=97000 memory=6756 CPUtime=3213.51 cores=1,3
/proc/350603/task/350605/stat : 350605 (ParLS-PBO) R 350600 350603 348566 0 -1 4194368 20810 0 0 0 321351 0 0 0 20 0 2 0 64052718 99328000 1689 134679101440 4194304 4322517 140729017749008 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 10256384 140729017754637 140729017754757 140729017754757 140729017761772 0
Current children cumulated CPU time: 3223.82 s
Current children cumulated vsize: 97000 KiB
Current children cumulated memory: 6756 KiB

[startup+3282.3 s]
/proc/loadavg: 4.44 4.33 4.24 5/261 352308
/proc/meminfo: memFree=128622564/131524600 swapFree=131071996/131071996
[pid=350603] ppid=350600 vsize=97000 memory=6756 CPUtime=3283.85 cores=1,3
/proc/350603/stat : 350603 (ParLS-PBO) S 350600 350603 348566 0 -1 1077936128 21976 0 0 0 327789 596 0 0 20 0 2 0 64052717 99328000 1689 134679101440 4194304 4322517 140729017749008 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 10256384 140729017754637 140729017754757 140729017754757 140729017761772 0
/proc/350603/statm: 24250 1689 973 32 0 2855 0
[pid=350603/tid=350605] ppid=350600 vsize=97000 memory=6756 CPUtime=3273.35 cores=1,3
/proc/350603/task/350605/stat : 350605 (ParLS-PBO) R 350600 350603 348566 0 -1 4194368 21130 0 0 0 327335 0 0 0 20 0 2 0 64052718 99328000 1689 134679101440 4194304 4322517 140729017749008 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 10256384 140729017754637 140729017754757 140729017754757 140729017761772 0
Current children cumulated CPU time: 3283.85 s
Current children cumulated vsize: 97000 KiB
Current children cumulated memory: 6756 KiB

[startup+3342.3 s]
/proc/loadavg: 4.30 4.30 4.23 5/261 352319
/proc/meminfo: memFree=128621764/131524600 swapFree=131071996/131071996
[pid=350603] ppid=350600 vsize=97000 memory=6756 CPUtime=3343.88 cores=1,3
/proc/350603/stat : 350603 (ParLS-PBO) S 350600 350603 348566 0 -1 1077936128 22301 0 0 0 333782 606 0 0 20 0 2 0 64052717 99328000 1689 134679101440 4194304 4322517 140729017749008 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 10256384 140729017754637 140729017754757 140729017754757 140729017761772 0
/proc/350603/statm: 24250 1689 973 32 0 2855 0
[pid=350603/tid=350605] ppid=350600 vsize=97000 memory=6756 CPUtime=3333.19 cores=1,3
/proc/350603/task/350605/stat : 350605 (ParLS-PBO) R 350600 350603 348566 0 -1 4194368 21450 0 0 0 333319 0 0 0 20 0 2 0 64052718 99328000 1689 134679101440 4194304 4322517 140729017749008 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 10256384 140729017754637 140729017754757 140729017754757 140729017761772 0
Current children cumulated CPU time: 3343.88 s
Current children cumulated vsize: 97000 KiB
Current children cumulated memory: 6756 KiB

[startup+3402.3 s]
/proc/loadavg: 4.29 4.29 4.23 5/263 352501
/proc/meminfo: memFree=128620512/131524600 swapFree=131071996/131071996
[pid=350603] ppid=350600 vsize=97000 memory=6756 CPUtime=3403.9 cores=1,3
/proc/350603/stat : 350603 (ParLS-PBO) S 350600 350603 348566 0 -1 1077936128 22626 0 0 0 339774 616 0 0 20 0 2 0 64052717 99328000 1689 134679101440 4194304 4322517 140729017749008 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 10256384 140729017754637 140729017754757 140729017754757 140729017761772 0
/proc/350603/statm: 24250 1689 973 32 0 2855 0
[pid=350603/tid=350605] ppid=350600 vsize=97000 memory=11576 CPUtime=3393.02 cores=1,3
/proc/350603/task/350605/stat : 350605 (ParLS-PBO) R 350600 350603 348566 0 -1 4194368 21770 0 0 0 339302 0 0 0 20 0 2 0 64052718 99328000 1689 134679101440 4194304 4322517 140729017749008 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 10256384 140729017754637 140729017754757 140729017754757 140729017761772 0
Current children cumulated CPU time: 3403.9 s
Current children cumulated vsize: 97000 KiB
Current children cumulated memory: 6756 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.25 4.22 5/263 352511
/proc/meminfo: memFree=128620048/131524600 swapFree=131071996/131071996
[pid=350603] ppid=350600 vsize=97000 memory=6756 CPUtime=3463.93 cores=1,3
/proc/350603/stat : 350603 (ParLS-PBO) S 350600 350603 348566 0 -1 1077936128 22951 0 0 0 345767 626 0 0 20 0 2 0 64052717 99328000 1689 134679101440 4194304 4322517 140729017749008 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 10256384 140729017754637 140729017754757 140729017754757 140729017761772 0
/proc/350603/statm: 24250 1689 973 32 0 2855 0
[pid=350603/tid=350605] ppid=350600 vsize=97000 memory=11576 CPUtime=3452.85 cores=1,3
/proc/350603/task/350605/stat : 350605 (ParLS-PBO) R 350600 350603 348566 0 -1 4194368 22089 0 0 0 345285 0 0 0 20 0 2 0 64052718 99328000 1689 134679101440 4194304 4322517 140729017749008 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 10256384 140729017754637 140729017754757 140729017754757 140729017761772 0
Current children cumulated CPU time: 3463.93 s
Current children cumulated vsize: 97000 KiB
Current children cumulated memory: 6756 KiB

[startup+3522.3 s]
/proc/loadavg: 4.49 4.30 4.23 5/265 352525
/proc/meminfo: memFree=128619648/131524600 swapFree=131071996/131071996
[pid=350603] ppid=350600 vsize=97000 memory=6756 CPUtime=3523.95 cores=1,3
/proc/350603/stat : 350603 (ParLS-PBO) S 350600 350603 348566 0 -1 1077936128 23276 0 0 0 351757 638 0 0 20 0 2 0 64052717 99328000 1689 134679101440 4194304 4322517 140729017749008 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 10256384 140729017754637 140729017754757 140729017754757 140729017761772 0
/proc/350603/statm: 24250 1689 973 32 0 2855 0
[pid=350603/tid=350605] ppid=350600 vsize=97000 memory=6756 CPUtime=3512.69 cores=1,3
/proc/350603/task/350605/stat : 350605 (ParLS-PBO) R 350600 350603 348566 0 -1 4194368 22409 0 0 0 351269 0 0 0 20 0 2 0 64052718 99328000 1689 134679101440 4194304 4322517 140729017749008 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 10256384 140729017754637 140729017754757 140729017754757 140729017761772 0
Current children cumulated CPU time: 3523.95 s
Current children cumulated vsize: 97000 KiB
Current children cumulated memory: 6756 KiB

[startup+3582.3 s]
/proc/loadavg: 4.43 4.35 4.26 5/264 352547
/proc/meminfo: memFree=128618948/131524600 swapFree=131071996/131071996
[pid=350603] ppid=350600 vsize=97000 memory=6756 CPUtime=3583.98 cores=1,3
/proc/350603/stat : 350603 (ParLS-PBO) S 350600 350603 348566 0 -1 1077936128 23601 0 0 0 357748 650 0 0 20 0 2 0 64052717 99328000 1689 134679101440 4194304 4322517 140729017749008 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 10256384 140729017754637 140729017754757 140729017754757 140729017761772 0
/proc/350603/statm: 24250 1689 973 32 0 2855 0
[pid=350603/tid=350605] ppid=350600 vsize=97000 memory=11576 CPUtime=3572.53 cores=1,3
/proc/350603/task/350605/stat : 350605 (ParLS-PBO) R 350600 350603 348566 0 -1 4194368 22728 0 0 0 357253 0 0 0 20 0 2 0 64052718 99328000 1689 134679101440 4194304 4322517 140729017749008 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 10256384 140729017754637 140729017754757 140729017754757 140729017761772 0
Current children cumulated CPU time: 3583.98 s
Current children cumulated vsize: 97000 KiB
Current children cumulated memory: 6756 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3598.4 s]
/proc/loadavg: 4.40 4.34 4.26 6/261 352597
/proc/meminfo: memFree=128891200/131524600 swapFree=131071996/131071996
[pid=350603] ppid=350600 vsize=97000 memory=6756 CPUtime=3600.09 cores=1,3
/proc/350603/stat : 350603 (ParLS-PBO) S 350600 350603 348566 0 -1 1077936128 23926 0 0 0 359356 653 0 0 20 0 2 0 64052717 99328000 1689 134679101440 4194304 4322517 140729017749008 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 10256384 140729017754637 140729017754757 140729017754757 140729017761772 0
/proc/350603/statm: 24250 1689 973 32 0 2855 0
[pid=350603/tid=350605] ppid=350600 vsize=97000 memory=15260 CPUtime=3588.58 cores=1,3
/proc/350603/task/350605/stat : 350605 (ParLS-PBO) R 350600 350603 348566 0 -1 4194368 23048 0 0 0 358858 0 0 0 20 0 2 0 64052718 99328000 1689 134679101440 4194304 4322517 140729017749008 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 10256384 140729017754637 140729017754757 140729017754757 140729017761772 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 97000 KiB
Current children cumulated memory: 6756 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.56 s, system=6.53851 s

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

Child status: 0

Real time (s): 3598.41
CPU time (s): 3600.1
CPU user time (s): 3593.56
CPU system time (s): 6.53851
CPU usage (%): 100.047
Max. virtual memory (cumulated for all children) (KiB): 97000
Max. memory (cumulated for all children) (KiB): 6756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.56
system time used= 6.53851
maximum resident set size= 7120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24105
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= 3329555
involuntary context switches= 923


# summary of solver processes directly reported to runsolver:
#   pid: 350603
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3593.56
#   total CPU system time (s): 6.53851

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.50093 second user time and 14.6407 second system time

The end