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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4430747-1722974993/watcher-4430747-1722974993 -o /tmp/evaluation-result-4430747-1722974993/solver-4430747-1722974993 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1722971412-345034 --watchdog 3760 --use-pty ./ParLS-PBO --benchName=HOME/instance-4430747-1722974993.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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=347106, runsolver pid=347103

[startup+0.100092 s]*
/proc/loadavg: 5.22 4.83 4.43 5/243 347109
/proc/meminfo: memFree=124040288/131655788 swapFree=131071472/131071996
[pid=347106] ppid=347103 vsize=97020 memory=6672 CPUtime=0.1 cores=1,3
/proc/347106/stat : 347106 (ParLS-PBO) R 347103 347106 345022 0 -1 1077936128 863 0 0 0 10 0 0 0 20 0 2 0 63869422 99348480 1668 134679101440 4194304 4322517 140728378814976 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 15527936 140728378823693 140728378823813 140728378823813 140728378830828 0
/proc/347106/statm: 24255 1668 990 32 0 2856 0
[pid=347106/tid=347109] ppid=347103 vsize=97020 memory=4026561586 CPUtime=0.09 cores=1,3
/proc/347106/task/347109/stat : 347109 (ParLS-PBO) R 347103 347106 345022 0 -1 4194368 342 0 0 0 9 0 0 0 20 0 2 0 63869423 99348480 1668 134679101440 4194304 4322517 140728378814976 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 15527936 140728378823693 140728378823813 140728378823813 140728378830828 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 97020 KiB
Current children cumulated memory: 6672 KiB

[startup+0.212122 s]*
/proc/loadavg: 5.22 4.83 4.43 6/244 347110
/proc/meminfo: memFree=124003352/131655788 swapFree=131071472/131071996
[pid=347106] ppid=347103 vsize=97020 memory=6672 CPUtime=0.22 cores=1,3
/proc/347106/stat : 347106 (ParLS-PBO) R 347103 347106 345022 0 -1 1077936128 863 0 0 0 22 0 0 0 20 0 2 0 63869422 99348480 1668 134679101440 4194304 4322517 140728378814976 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 15527936 140728378823693 140728378823813 140728378823813 140728378830828 0
/proc/347106/statm: 24255 1668 990 32 0 2856 0
[pid=347106/tid=347109] ppid=347103 vsize=97020 memory=8245937348197351555 CPUtime=0.2 cores=1,3
/proc/347106/task/347109/stat : 347109 (ParLS-PBO) R 347103 347106 345022 0 -1 4194368 342 0 0 0 20 0 0 0 20 0 2 0 63869423 99348480 1668 134679101440 4194304 4322517 140728378814976 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 15527936 140728378823693 140728378823813 140728378823813 140728378830828 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 97020 KiB
Current children cumulated memory: 6672 KiB

[startup+0.311869 s]*
/proc/loadavg: 5.22 4.83 4.43 5/244 347110
/proc/meminfo: memFree=124003080/131655788 swapFree=131071472/131071996
[pid=347106] ppid=347103 vsize=97020 memory=6672 CPUtime=0.31 cores=1,3
/proc/347106/stat : 347106 (ParLS-PBO) S 347103 347106 345022 0 -1 1077936128 863 0 0 0 31 0 0 0 20 0 2 0 63869422 99348480 1668 134679101440 4194304 4322517 140728378814976 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 15527936 140728378823693 140728378823813 140728378823813 140728378830828 0
/proc/347106/statm: 24255 1668 990 32 0 2856 0
[pid=347106/tid=347109] ppid=347103 vsize=97020 memory=-7663616641718451833 CPUtime=0.3 cores=1,3
/proc/347106/task/347109/stat : 347109 (ParLS-PBO) R 347103 347106 345022 0 -1 4194368 342 0 0 0 30 0 0 0 20 0 2 0 63869423 99348480 1668 134679101440 4194304 4322517 140728378814976 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 15527936 140728378823693 140728378823813 140728378823813 140728378830828 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 97020 KiB
Current children cumulated memory: 6672 KiB

[startup+0.700225 s]
/proc/loadavg: 5.22 4.83 4.43 5/244 347110
/proc/meminfo: memFree=124002764/131655788 swapFree=131071472/131071996
[pid=347106] ppid=347103 vsize=97020 memory=6672 CPUtime=0.69 cores=1,3
/proc/347106/stat : 347106 (ParLS-PBO) S 347103 347106 345022 0 -1 1077936128 863 0 0 0 69 0 0 0 20 0 2 0 63869422 99348480 1668 134679101440 4194304 4322517 140728378814976 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 15527936 140728378823693 140728378823813 140728378823813 140728378830828 0
/proc/347106/statm: 24255 1668 990 32 0 2856 0
[pid=347106/tid=347109] ppid=347103 vsize=97020 memory=16032 CPUtime=0.68 cores=1,3
/proc/347106/task/347109/stat : 347109 (ParLS-PBO) R 347103 347106 345022 0 -1 4194368 342 0 0 0 68 0 0 0 20 0 2 0 63869423 99348480 1668 134679101440 4194304 4322517 140728378814976 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 15527936 140728378823693 140728378823813 140728378823813 140728378830828 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 97020 KiB
Current children cumulated memory: 6672 KiB

[startup+1.50026 s]
/proc/loadavg: 5.22 4.83 4.43 5/247 347143
/proc/meminfo: memFree=123997788/131655788 swapFree=131071472/131071996
[pid=347106] ppid=347103 vsize=97020 memory=6724 CPUtime=1.5 cores=1,3
/proc/347106/stat : 347106 (ParLS-PBO) S 347103 347106 345022 0 -1 1077936128 1111 0 0 0 149 1 0 0 20 0 2 0 63869422 99348480 1681 134679101440 4194304 4322517 140728378814976 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 15527936 140728378823693 140728378823813 140728378823813 140728378830828 0
/proc/347106/statm: 24255 1681 990 32 0 2856 0
[pid=347106/tid=347109] ppid=347103 vsize=97020 memory=16032 CPUtime=1.47 cores=1,3
/proc/347106/task/347109/stat : 347109 (ParLS-PBO) R 347103 347106 345022 0 -1 4194368 585 0 0 0 147 0 0 0 20 0 2 0 63869423 99348480 1681 134679101440 4194304 4322517 140728378814976 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 15527936 140728378823693 140728378823813 140728378823813 140728378830828 0
Current children cumulated CPU time: 1.5 s
Current children cumulated vsize: 97020 KiB
Current children cumulated memory: 6724 KiB

[startup+3.11189 s]
/proc/loadavg: 5.22 4.83 4.43 4/246 347143
/proc/meminfo: memFree=123996952/131655788 swapFree=131071472/131071996
[pid=347106] ppid=347103 vsize=97020 memory=6724 CPUtime=3.11 cores=1,3
/proc/347106/stat : 347106 (ParLS-PBO) S 347103 347106 345022 0 -1 1077936128 1431 0 0 0 309 2 0 0 20 0 2 0 63869422 99348480 1681 134679101440 4194304 4322517 140728378814976 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 15527936 140728378823693 140728378823813 140728378823813 140728378830828 0
/proc/347106/statm: 24255 1681 990 32 0 2856 0
[pid=347106/tid=347109] ppid=347103 vsize=97020 memory=6672 CPUtime=3.08 cores=1,3
/proc/347106/task/347109/stat : 347109 (ParLS-PBO) R 347103 347106 345022 0 -1 4194368 900 0 0 0 308 0 0 0 20 0 2 0 63869423 99348480 1681 134679101440 4194304 4322517 140728378814976 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 15527936 140728378823693 140728378823813 140728378823813 140728378830828 0
Current children cumulated CPU time: 3.11 s
Current children cumulated vsize: 97020 KiB
Current children cumulated memory: 6724 KiB

[startup+6.30026 s]
/proc/loadavg: 5.28 4.85 4.44 4/246 347145
/proc/meminfo: memFree=123996824/131655788 swapFree=131071472/131071996
[pid=347106] ppid=347103 vsize=97020 memory=6724 CPUtime=6.32 cores=1,3
/proc/347106/stat : 347106 (ParLS-PBO) S 347103 347106 345022 0 -1 1077936128 1824 0 0 0 628 4 0 0 20 0 2 0 63869422 99348480 1681 134679101440 4194304 4322517 140728378814976 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 15527936 140728378823693 140728378823813 140728378823813 140728378830828 0
/proc/347106/statm: 24255 1681 990 32 0 2856 0
[pid=347106/tid=347109] ppid=347103 vsize=97020 memory=6672 CPUtime=6.27 cores=1,3
/proc/347106/task/347109/stat : 347109 (ParLS-PBO) R 347103 347106 345022 0 -1 4194368 1288 0 0 0 627 0 0 0 20 0 2 0 63869423 99348480 1681 134679101440 4194304 4322517 140728378814976 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 15527936 140728378823693 140728378823813 140728378823813 140728378830828 0
Current children cumulated CPU time: 6.32 s
Current children cumulated vsize: 97020 KiB
Current children cumulated memory: 6724 KiB

[startup+12.7003 s]
/proc/loadavg: 5.10 4.82 4.43 4/246 347145
/proc/meminfo: memFree=123996812/131655788 swapFree=131071472/131071996
[pid=347106] ppid=347103 vsize=97020 memory=6724 CPUtime=12.76 cores=1,3
/proc/347106/stat : 347106 (ParLS-PBO) S 347103 347106 345022 0 -1 1077936128 2190 0 0 0 1268 8 0 0 20 0 2 0 63869422 99348480 1681 134679101440 4194304 4322517 140728378814976 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 15527936 140728378823693 140728378823813 140728378823813 140728378830828 0
/proc/347106/statm: 24255 1681 990 32 0 2856 0
[pid=347106/tid=347109] ppid=347103 vsize=97020 memory=6672 CPUtime=12.65 cores=1,3
/proc/347106/task/347109/stat : 347109 (ParLS-PBO) R 347103 347106 345022 0 -1 4194368 1649 0 0 0 1265 0 0 0 20 0 2 0 63869423 99348480 1681 134679101440 4194304 4322517 140728378814976 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 15527936 140728378823693 140728378823813 140728378823813 140728378830828 0
Current children cumulated CPU time: 12.76 s
Current children cumulated vsize: 97020 KiB
Current children cumulated memory: 6724 KiB

[startup+25.5003 s]
/proc/loadavg: 4.93 4.79 4.43 5/246 347148
/proc/meminfo: memFree=123996480/131655788 swapFree=131071472/131071996
[pid=347106] ppid=347103 vsize=97020 memory=6724 CPUtime=25.63 cores=1,3
/proc/347106/stat : 347106 (ParLS-PBO) S 347103 347106 345022 0 -1 1077936128 2852 0 0 0 2548 15 0 0 20 0 2 0 63869422 99348480 1681 134679101440 4194304 4322517 140728378814976 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 15527936 140728378823693 140728378823813 140728378823813 140728378830828 0
/proc/347106/statm: 24255 1681 990 32 0 2856 0
[pid=347106/tid=347109] ppid=347103 vsize=97020 memory=6672 CPUtime=25.43 cores=1,3
/proc/347106/task/347109/stat : 347109 (ParLS-PBO) R 347103 347106 345022 0 -1 4194368 2301 0 0 0 2543 0 0 0 20 0 2 0 63869423 99348480 1681 134679101440 4194304 4322517 140728378814976 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 15527936 140728378823693 140728378823813 140728378823813 140728378830828 0
Current children cumulated CPU time: 25.63 s
Current children cumulated vsize: 97020 KiB
Current children cumulated memory: 6724 KiB

[startup+51.1123 s]
/proc/loadavg: 4.60 4.73 4.42 5/248 347155
/proc/meminfo: memFree=123995280/131655788 swapFree=131071472/131071996
[pid=347106] ppid=347103 vsize=97020 memory=6864 CPUtime=51.4 cores=1,3
/proc/347106/stat : 347106 (ParLS-PBO) S 347103 347106 345022 0 -1 1077936128 3844 0 0 0 5109 31 0 0 20 0 2 0 63869422 99348480 1716 134679101440 4194304 4322517 140728378814976 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 15527936 140728378823693 140728378823813 140728378823813 140728378830828 0
/proc/347106/statm: 24255 1716 990 32 0 2856 0
[pid=347106/tid=347109] ppid=347103 vsize=97020 memory=6864 CPUtime=50.99 cores=1,3
/proc/347106/task/347109/stat : 347109 (ParLS-PBO) R 347103 347106 345022 0 -1 4194368 3278 0 0 0 5099 0 0 0 20 0 2 0 63869423 99348480 1716 134679101440 4194304 4322517 140728378814976 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 15527936 140728378823693 140728378823813 140728378823813 140728378830828 0
Current children cumulated CPU time: 51.4 s
Current children cumulated vsize: 97020 KiB
Current children cumulated memory: 6864 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.58 4.38 4/248 347165
/proc/meminfo: memFree=123994796/131655788 swapFree=131071472/131071996
[pid=347106] ppid=347103 vsize=97020 memory=6864 CPUtime=102.9 cores=1,3
/proc/347106/stat : 347106 (ParLS-PBO) S 347103 347106 345022 0 -1 1077936128 4507 0 0 0 10225 65 0 0 20 0 2 0 63869422 99348480 1716 134679101440 4194304 4322517 140728378814976 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 15527936 140728378823693 140728378823813 140728378823813 140728378830828 0
/proc/347106/statm: 24255 1716 990 32 0 2856 0
[pid=347106/tid=347109] ppid=347103 vsize=97020 memory=32484 CPUtime=102.09 cores=1,3
/proc/347106/task/347109/stat : 347109 (ParLS-PBO) R 347103 347106 345022 0 -1 4194368 3931 0 0 0 10209 0 0 0 20 0 2 0 63869423 99348480 1716 134679101440 4194304 4322517 140728378814976 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 15527936 140728378823693 140728378823813 140728378823813 140728378830828 0
Current children cumulated CPU time: 102.9 s
Current children cumulated vsize: 97020 KiB
Current children cumulated memory: 6864 KiB

[startup+162.3 s]
/proc/loadavg: 3.67 4.37 4.32 4/248 347175
/proc/meminfo: memFree=123993952/131655788 swapFree=131071472/131071996
[pid=347106] ppid=347103 vsize=97020 memory=6864 CPUtime=163.25 cores=1,3
/proc/347106/stat : 347106 (ParLS-PBO) S 347103 347106 345022 0 -1 1077936128 5169 0 0 0 16227 98 0 0 20 0 2 0 63869422 99348480 1716 134679101440 4194304 4322517 140728378814976 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 15527936 140728378823693 140728378823813 140728378823813 140728378830828 0
/proc/347106/statm: 24255 1716 990 32 0 2856 0
[pid=347106/tid=347109] ppid=347103 vsize=97020 memory=11428 CPUtime=161.97 cores=1,3
/proc/347106/task/347109/stat : 347109 (ParLS-PBO) R 347103 347106 345022 0 -1 4194368 4582 0 0 0 16197 0 0 0 20 0 2 0 63869423 99348480 1716 134679101440 4194304 4322517 140728378814976 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 15527936 140728378823693 140728378823813 140728378823813 140728378830828 0
Current children cumulated CPU time: 163.25 s
Current children cumulated vsize: 97020 KiB
Current children cumulated memory: 6864 KiB

[startup+222.3 s]
/proc/loadavg: 3.42 4.18 4.26 4/248 347185
/proc/meminfo: memFree=123988424/131655788 swapFree=131071472/131071996
[pid=347106] ppid=347103 vsize=97020 memory=6864 CPUtime=223.61 cores=1,3
/proc/347106/stat : 347106 (ParLS-PBO) S 347103 347106 345022 0 -1 1077936128 5500 0 0 0 22227 134 0 0 20 0 2 0 63869422 99348480 1716 134679101440 4194304 4322517 140728378814976 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 15527936 140728378823693 140728378823813 140728378823813 140728378830828 0
/proc/347106/statm: 24255 1716 990 32 0 2856 0
[pid=347106/tid=347109] ppid=347103 vsize=97020 memory=6864 CPUtime=221.86 cores=1,3
/proc/347106/task/347109/stat : 347109 (ParLS-PBO) R 347103 347106 345022 0 -1 4194368 4908 0 0 0 22186 0 0 0 20 0 2 0 63869423 99348480 1716 134679101440 4194304 4322517 140728378814976 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 15527936 140728378823693 140728378823813 140728378823813 140728378830828 0
Current children cumulated CPU time: 223.61 s
Current children cumulated vsize: 97020 KiB
Current children cumulated memory: 6864 KiB

[startup+282.3 s]
/proc/loadavg: 3.29 3.99 4.19 4/248 347198
/proc/meminfo: memFree=123987872/131655788 swapFree=131071472/131071996
[pid=347106] ppid=347103 vsize=97020 memory=6864 CPUtime=283.95 cores=1,3
/proc/347106/stat : 347106 (ParLS-PBO) S 347103 347106 345022 0 -1 1077936128 5831 0 0 0 28221 174 0 0 20 0 2 0 63869422 99348480 1716 134679101440 4194304 4322517 140728378814976 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 15527936 140728378823693 140728378823813 140728378823813 140728378830828 0
/proc/347106/statm: 24255 1716 990 32 0 2856 0
[pid=347106/tid=347109] ppid=347103 vsize=97020 memory=6864 CPUtime=281.74 cores=1,3
/proc/347106/task/347109/stat : 347109 (ParLS-PBO) R 347103 347106 345022 0 -1 4194368 5234 0 0 0 28174 0 0 0 20 0 2 0 63869423 99348480 1716 134679101440 4194304 4322517 140728378814976 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 15527936 140728378823693 140728378823813 140728378823813 140728378830828 0

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

/proc/meminfo: memFree=123954548/131655788 swapFree=131071472/131071996
[pid=347106] ppid=347103 vsize=97020 memory=6864 CPUtime=2999.95 cores=1,3
/proc/347106/stat : 347106 (ParLS-PBO) S 347103 347106 345022 0 -1 1077936128 20726 0 0 0 298257 1738 0 0 20 0 2 0 63869422 99348480 1716 134679101440 4194304 4322517 140728378814976 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 15527936 140728378823693 140728378823813 140728378823813 140728378830828 0
/proc/347106/statm: 24255 1716 990 32 0 2856 0
[pid=347106/tid=347109] ppid=347103 vsize=97020 memory=32484 CPUtime=2976.68 cores=1,3
/proc/347106/task/347109/stat : 347109 (ParLS-PBO) R 347103 347106 345022 0 -1 4194368 19898 0 0 0 297667 1 0 0 20 0 2 0 63869423 99348480 1716 134679101440 4194304 4322517 140728378814976 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 15527936 140728378823693 140728378823813 140728378823813 140728378830828 0
Current children cumulated CPU time: 2999.95 s
Current children cumulated vsize: 97020 KiB
Current children cumulated memory: 6864 KiB

[startup+3042.3 s]
/proc/loadavg: 3.17 3.34 3.43 4/249 348883
/proc/meminfo: memFree=123954036/131655788 swapFree=131071472/131071996
[pid=347106] ppid=347103 vsize=97020 memory=6864 CPUtime=3060.32 cores=1,3
/proc/347106/stat : 347106 (ParLS-PBO) S 347103 347106 345022 0 -1 1077936128 21057 0 0 0 304257 1775 0 0 20 0 2 0 63869422 99348480 1716 134679101440 4194304 4322517 140728378814976 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 15527936 140728378823693 140728378823813 140728378823813 140728378830828 0
/proc/347106/statm: 24255 1716 990 32 0 2856 0
[pid=347106/tid=347109] ppid=347103 vsize=97020 memory=6864 CPUtime=3036.57 cores=1,3
/proc/347106/task/347109/stat : 347109 (ParLS-PBO) R 347103 347106 345022 0 -1 4194368 20224 0 0 0 303656 1 0 0 20 0 2 0 63869423 99348480 1716 134679101440 4194304 4322517 140728378814976 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 15527936 140728378823693 140728378823813 140728378823813 140728378830828 0
Current children cumulated CPU time: 3060.32 s
Current children cumulated vsize: 97020 KiB
Current children cumulated memory: 6864 KiB

[startup+3102.3 s]
/proc/loadavg: 3.17 3.31 3.41 4/248 348906
/proc/meminfo: memFree=123953228/131655788 swapFree=131071472/131071996
[pid=347106] ppid=347103 vsize=97020 memory=6864 CPUtime=3120.66 cores=1,3
/proc/347106/stat : 347106 (ParLS-PBO) S 347103 347106 345022 0 -1 1077936128 21388 0 0 0 310253 1813 0 0 20 0 2 0 63869422 99348480 1716 134679101440 4194304 4322517 140728378814976 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 15527936 140728378823693 140728378823813 140728378823813 140728378830828 0
/proc/347106/statm: 24255 1716 990 32 0 2856 0
[pid=347106/tid=347109] ppid=347103 vsize=97020 memory=6864 CPUtime=3096.45 cores=1,3
/proc/347106/task/347109/stat : 347109 (ParLS-PBO) R 347103 347106 345022 0 -1 4194368 20549 0 0 0 309644 1 0 0 20 0 2 0 63869423 99348480 1716 134679101440 4194304 4322517 140728378814976 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 15527936 140728378823693 140728378823813 140728378823813 140728378830828 0
Current children cumulated CPU time: 3120.66 s
Current children cumulated vsize: 97020 KiB
Current children cumulated memory: 6864 KiB

[startup+3162.3 s]
/proc/loadavg: 3.21 3.30 3.40 4/248 348916
/proc/meminfo: memFree=123952320/131655788 swapFree=131071472/131071996
[pid=347106] ppid=347103 vsize=97020 memory=6864 CPUtime=3181.02 cores=1,3
/proc/347106/stat : 347106 (ParLS-PBO) S 347103 347106 345022 0 -1 1077936128 21719 0 0 0 316255 1847 0 0 20 0 2 0 63869422 99348480 1716 134679101440 4194304 4322517 140728378814976 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 15527936 140728378823693 140728378823813 140728378823813 140728378830828 0
/proc/347106/statm: 24255 1716 990 32 0 2856 0
[pid=347106/tid=347109] ppid=347103 vsize=97020 memory=6864 CPUtime=3156.33 cores=1,3
/proc/347106/task/347109/stat : 347109 (ParLS-PBO) R 347103 347106 345022 0 -1 4194368 20875 0 0 0 315632 1 0 0 20 0 2 0 63869423 99348480 1716 134679101440 4194304 4322517 140728378814976 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 15527936 140728378823693 140728378823813 140728378823813 140728378830828 0
Current children cumulated CPU time: 3181.02 s
Current children cumulated vsize: 97020 KiB
Current children cumulated memory: 6864 KiB

[startup+3222.3 s]
/proc/loadavg: 3.21 3.27 3.38 4/248 348927
/proc/meminfo: memFree=123951880/131655788 swapFree=131071472/131071996
[pid=347106] ppid=347103 vsize=97020 memory=6864 CPUtime=3241.37 cores=1,3
/proc/347106/stat : 347106 (ParLS-PBO) S 347103 347106 345022 0 -1 1077936128 22050 0 0 0 322256 1881 0 0 20 0 2 0 63869422 99348480 1716 134679101440 4194304 4322517 140728378814976 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 15527936 140728378823693 140728378823813 140728378823813 140728378830828 0
/proc/347106/statm: 24255 1716 990 32 0 2856 0
[pid=347106/tid=347109] ppid=347103 vsize=97020 memory=6864 CPUtime=3216.22 cores=1,3
/proc/347106/task/347109/stat : 347109 (ParLS-PBO) R 347103 347106 345022 0 -1 4194368 21201 0 0 0 321621 1 0 0 20 0 2 0 63869423 99348480 1716 134679101440 4194304 4322517 140728378814976 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 15527936 140728378823693 140728378823813 140728378823813 140728378830828 0
Current children cumulated CPU time: 3241.37 s
Current children cumulated vsize: 97020 KiB
Current children cumulated memory: 6864 KiB

[startup+3282.3 s]
/proc/loadavg: 3.21 3.27 3.37 4/246 348939
/proc/meminfo: memFree=123951076/131655788 swapFree=131071472/131071996
[pid=347106] ppid=347103 vsize=97020 memory=6864 CPUtime=3301.73 cores=1,3
/proc/347106/stat : 347106 (ParLS-PBO) S 347103 347106 345022 0 -1 1077936128 22381 0 0 0 328257 1916 0 0 20 0 2 0 63869422 99348480 1716 134679101440 4194304 4322517 140728378814976 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 15527936 140728378823693 140728378823813 140728378823813 140728378830828 0
/proc/347106/statm: 24255 1716 990 32 0 2856 0
[pid=347106/tid=347109] ppid=347103 vsize=97020 memory=6864 CPUtime=3276.11 cores=1,3
/proc/347106/task/347109/stat : 347109 (ParLS-PBO) R 347103 347106 345022 0 -1 4194368 21527 0 0 0 327610 1 0 0 20 0 2 0 63869423 99348480 1716 134679101440 4194304 4322517 140728378814976 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 15527936 140728378823693 140728378823813 140728378823813 140728378830828 0
Current children cumulated CPU time: 3301.73 s
Current children cumulated vsize: 97020 KiB
Current children cumulated memory: 6864 KiB

[startup+3342.3 s]
/proc/loadavg: 3.20 3.26 3.36 5/246 348951
/proc/meminfo: memFree=123950348/131655788 swapFree=131071472/131071996
[pid=347106] ppid=347103 vsize=97020 memory=6864 CPUtime=3362.08 cores=1,3
/proc/347106/stat : 347106 (ParLS-PBO) S 347103 347106 345022 0 -1 1077936128 22712 0 0 0 334253 1955 0 0 20 0 2 0 63869422 99348480 1716 134679101440 4194304 4322517 140728378814976 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 15527936 140728378823693 140728378823813 140728378823813 140728378830828 0
/proc/347106/statm: 24255 1716 990 32 0 2856 0
[pid=347106/tid=347109] ppid=347103 vsize=97020 memory=32484 CPUtime=3336 cores=1,3
/proc/347106/task/347109/stat : 347109 (ParLS-PBO) R 347103 347106 345022 0 -1 4194368 21853 0 0 0 333598 2 0 0 20 0 2 0 63869423 99348480 1716 134679101440 4194304 4322517 140728378814976 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 15527936 140728378823693 140728378823813 140728378823813 140728378830828 0
Current children cumulated CPU time: 3362.08 s
Current children cumulated vsize: 97020 KiB
Current children cumulated memory: 6864 KiB

[startup+3402.3 s]
/proc/loadavg: 3.21 3.25 3.35 4/244 348961
/proc/meminfo: memFree=123949688/131655788 swapFree=131071472/131071996
[pid=347106] ppid=347103 vsize=97020 memory=6864 CPUtime=3422.43 cores=1,3
/proc/347106/stat : 347106 (ParLS-PBO) S 347103 347106 345022 0 -1 1077936128 23043 0 0 0 340254 1989 0 0 20 0 2 0 63869422 99348480 1716 134679101440 4194304 4322517 140728378814976 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 15527936 140728378823693 140728378823813 140728378823813 140728378830828 0
/proc/347106/statm: 24255 1716 990 32 0 2856 0
[pid=347106/tid=347109] ppid=347103 vsize=97020 memory=6864 CPUtime=3395.89 cores=1,3
/proc/347106/task/347109/stat : 347109 (ParLS-PBO) R 347103 347106 345022 0 -1 4194368 22179 0 0 0 339587 2 0 0 20 0 2 0 63869423 99348480 1716 134679101440 4194304 4322517 140728378814976 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 15527936 140728378823693 140728378823813 140728378823813 140728378830828 0
Current children cumulated CPU time: 3422.43 s
Current children cumulated vsize: 97020 KiB
Current children cumulated memory: 6864 KiB

[startup+3462.3 s]
/proc/loadavg: 3.16 3.24 3.34 4/244 348972
/proc/meminfo: memFree=123949044/131655788 swapFree=131071472/131071996
[pid=347106] ppid=347103 vsize=97020 memory=6864 CPUtime=3482.79 cores=1,3
/proc/347106/stat : 347106 (ParLS-PBO) S 347103 347106 345022 0 -1 1077936128 23374 0 0 0 346252 2027 0 0 20 0 2 0 63869422 99348480 1716 134679101440 4194304 4322517 140728378814976 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 15527936 140728378823693 140728378823813 140728378823813 140728378830828 0
/proc/347106/statm: 24255 1716 990 32 0 2856 0
[pid=347106/tid=347109] ppid=347103 vsize=97020 memory=6864 CPUtime=3455.78 cores=1,3
/proc/347106/task/347109/stat : 347109 (ParLS-PBO) R 347103 347106 345022 0 -1 4194368 22505 0 0 0 345576 2 0 0 20 0 2 0 63869423 99348480 1716 134679101440 4194304 4322517 140728378814976 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 15527936 140728378823693 140728378823813 140728378823813 140728378830828 0
Current children cumulated CPU time: 3482.79 s
Current children cumulated vsize: 97020 KiB
Current children cumulated memory: 6864 KiB

[startup+3522.3 s]
/proc/loadavg: 3.24 3.24 3.34 4/244 348983
/proc/meminfo: memFree=123948464/131655788 swapFree=131071472/131071996
[pid=347106] ppid=347103 vsize=97020 memory=6864 CPUtime=3543.14 cores=1,3
/proc/347106/stat : 347106 (ParLS-PBO) S 347103 347106 345022 0 -1 1077936128 23705 0 0 0 352253 2061 0 0 20 0 2 0 63869422 99348480 1716 134679101440 4194304 4322517 140728378814976 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 15527936 140728378823693 140728378823813 140728378823813 140728378830828 0
/proc/347106/statm: 24255 1716 990 32 0 2856 0
[pid=347106/tid=347109] ppid=347103 vsize=97020 memory=6864 CPUtime=3515.67 cores=1,3
/proc/347106/task/347109/stat : 347109 (ParLS-PBO) R 347103 347106 345022 0 -1 4194368 22831 0 0 0 351565 2 0 0 20 0 2 0 63869423 99348480 1716 134679101440 4194304 4322517 140728378814976 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 15527936 140728378823693 140728378823813 140728378823813 140728378830828 0
Current children cumulated CPU time: 3543.14 s
Current children cumulated vsize: 97020 KiB
Current children cumulated memory: 6864 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3578.9 s]
/proc/loadavg: 3.27 3.24 3.33 5/244 348993
/proc/meminfo: memFree=123947788/131655788 swapFree=131071472/131071996
[pid=347106] ppid=347103 vsize=97020 memory=6864 CPUtime=3600.08 cores=1,3
/proc/347106/stat : 347106 (ParLS-PBO) S 347103 347106 345022 0 -1 1077936128 24036 0 0 0 357910 2098 0 0 20 0 2 0 63869422 99348480 1716 134679101440 4194304 4322517 140728378814976 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 15527936 140728378823693 140728378823813 140728378823813 140728378830828 0
/proc/347106/statm: 24255 1716 990 32 0 2856 0
[pid=347106/tid=347109] ppid=347103 vsize=97020 memory=6864 CPUtime=3572.16 cores=1,3
/proc/347106/task/347109/stat : 347109 (ParLS-PBO) R 347103 347106 345022 0 -1 4194368 23157 0 0 0 357214 2 0 0 20 0 2 0 63869423 99348480 1716 134679101440 4194304 4322517 140728378814976 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 15527936 140728378823693 140728378823813 140728378823813 140728378830828 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 97020 KiB
Current children cumulated memory: 6864 KiB

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

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

# cumulated CPU time of all completed processes:  user=3579.11 s, system=20.9852 s

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

[startup+3578.9 s]
/proc/loadavg: 3.27 3.24 3.33 5/244 348993
/proc/meminfo: memFree=123947788/131655788 swapFree=131071472/131071996
[pid=347106] ppid=347103 vsize=97020 memory=6864 CPUtime=3600.08 cores=1,3
/proc/347106/stat : 347106 (ParLS-PBO) S 347103 347106 345022 0 -1 1077936128 24036 0 0 0 357910 2098 0 0 20 0 2 0 63869422 99348480 1716 134679101440 4194304 4322517 140728378814976 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 15527936 140728378823693 140728378823813 140728378823813 140728378830828 0
/proc/347106/statm: 24255 1716 990 32 0 2856 0
[pid=347106/tid=347109] ppid=347103 vsize=97020 memory=6864 CPUtime=3572.16 cores=1,3
/proc/347106/task/347109/stat : 347109 (ParLS-PBO) R 347103 347106 345022 0 -1 4194368 23157 0 0 0 357214 2 0 0 20 0 2 0 63869423 99348480 1716 134679101440 4194304 4322517 140728378814976 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 15527936 140728378823693 140728378823813 140728378823813 140728378830828 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 97020 KiB
Current children cumulated memory: 6864 KiB

Child status: 0

Real time (s): 3578.91
CPU time (s): 3600.09
CPU user time (s): 3579.11
CPU system time (s): 20.9852
CPU usage (%): 100.592
Max. virtual memory (cumulated for all children) (KiB): 97020
Max. memory (cumulated for all children) (KiB): 6864

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.11
system time used= 20.9852
maximum resident set size= 7124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24217
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= 3255640
involuntary context switches= 4422


# summary of solver processes directly reported to runsolver:
#   pid: 347106
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3579.11
#   total CPU system time (s): 20.9852

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.8135 second user time and 27.7862 second system time

The end