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: 63794 MiB (63183 MiB free)
  memory of node 1: 64507 MiB (63891 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497862-1751270048/watcher-4497862-1751270048 -o /tmp/evaluation-result-4497862-1751270048/solver-4497862-1751270048 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751270048-35795 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4497862-1751270048.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=35839, runsolver pid=35834

[startup+0.100073 s]*
/proc/loadavg: 7.89 8.05 7.01 6/293 35894
/proc/meminfo: memFree=130092760/131382112 swapFree=33010684/33010684
[pid=35839] ppid=35834 vsize=18930344 memory=45620 CPUtime=0.09 cores=4,6
/proc/35839/stat : 35839 (java) S 35834 35839 35496 0 -1 4194304 5435 0 0 0 5 4 0 0 20 0 18 0 42684546 19384672256 11405 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
/proc/35839/statm: 4732586 11405 4951 1 0 546694 0
[pid=35839/tid=35850] ppid=35834 vsize=18930344 memory=4026532124 CPUtime=0.06 cores=4,6
/proc/35839/task/35850/stat : 35850 (java) R 35834 35839 35496 0 -1 4456512 4571 0 0 0 4 2 0 0 20 0 18 0 42684550 19384672256 11405 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
[pid=35839/tid=35881] ppid=35834 vsize=18930344 memory=1707 CPUtime=0 cores=4,6
/proc/35839/task/35881/stat : 35881 (Finalizer) S 35834 35839 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 42684555 19384672256 11405 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
[pid=35839/tid=35891] ppid=35834 vsize=18930344 memory=56295059358712 CPUtime=0 cores=4,6
/proc/35839/task/35891/stat : 35891 (Common-Cleaner) S 35834 35839 35496 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 42684556 19384672256 11405 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18930344 KiB
Current children cumulated memory: 45620 KiB

[startup+0.214825 s]*
/proc/loadavg: 7.89 8.05 7.01 7/320 35921
/proc/meminfo: memFree=130078200/131382112 swapFree=33010684/33010684
[pid=35839] ppid=35834 vsize=18930384 memory=52160 CPUtime=0.26 cores=4,6
/proc/35839/stat : 35839 (java) S 35834 35839 35496 0 -1 4194304 6182 0 0 0 21 5 0 0 20 0 18 0 42684546 19384713216 13040 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
/proc/35839/statm: 4732596 13040 5335 1 0 547307 0
[pid=35839/tid=35850] ppid=35834 vsize=18930384 memory=4026597660 CPUtime=0.16 cores=4,6
/proc/35839/task/35850/stat : 35850 (java) R 35834 35839 35496 0 -1 4194368 4957 0 0 0 13 3 0 0 20 0 18 0 42684550 19384713216 13040 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
[pid=35839/tid=35881] ppid=35834 vsize=18930384 memory=1707 CPUtime=0 cores=4,6
/proc/35839/task/35881/stat : 35881 (Finalizer) S 35834 35839 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 42684555 19384713216 13040 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
[pid=35839/tid=35891] ppid=35834 vsize=18930384 memory=56295059358712 CPUtime=0 cores=4,6
/proc/35839/task/35891/stat : 35891 (Common-Cleaner) S 35834 35839 35496 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 42684556 19384713216 13040 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 52160 KiB

[startup+0.318606 s]*
/proc/loadavg: 7.89 8.05 7.01 7/320 35921
/proc/meminfo: memFree=130048416/131382112 swapFree=33010684/33010684
[pid=35839] ppid=35834 vsize=18930384 memory=57880 CPUtime=0.4 cores=4,6
/proc/35839/stat : 35839 (java) S 35834 35839 35496 0 -1 4194304 6621 0 0 0 35 5 0 0 20 0 18 0 42684546 19384713216 14470 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
/proc/35839/statm: 4732596 14470 5335 1 0 547660 0
[pid=35839/tid=35850] ppid=35834 vsize=18930384 memory=-6000919502787864428 CPUtime=0.24 cores=4,6
/proc/35839/task/35850/stat : 35850 (java) R 35834 35839 35496 0 -1 4194368 5116 0 0 0 21 3 0 0 20 0 18 0 42684550 19384713216 14470 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
[pid=35839/tid=35881] ppid=35834 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/35839/task/35881/stat : 35881 (Finalizer) S 35834 35839 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 42684555 19384713216 14470 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
[pid=35839/tid=35891] ppid=35834 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/35839/task/35891/stat : 35891 (Common-Cleaner) S 35834 35839 35496 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 42684556 19384713216 14470 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57880 KiB

[startup+0.700365 s]
/proc/loadavg: 7.89 8.05 7.01 11/320 35921
/proc/meminfo: memFree=130035448/131382112 swapFree=33010684/33010684
[pid=35839] ppid=35834 vsize=18930384 memory=113632 CPUtime=1.09 cores=4,6
/proc/35839/stat : 35839 (java) S 35834 35839 35496 0 -1 4194304 7835 0 0 0 101 8 0 0 20 0 18 0 42684546 19384713216 28408 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
/proc/35839/statm: 4732596 28408 5431 1 0 548051 0
[pid=35839/tid=35850] ppid=35834 vsize=18930384 memory=17664 CPUtime=0.56 cores=4,6
/proc/35839/task/35850/stat : 35850 (java) R 35834 35839 35496 0 -1 4194368 5320 0 0 0 51 5 0 0 20 0 18 0 42684550 19384713216 28408 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
[pid=35839/tid=35881] ppid=35834 vsize=18930384 memory=10752 CPUtime=0 cores=4,6
/proc/35839/task/35881/stat : 35881 (Finalizer) S 35834 35839 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 42684555 19384713216 28408 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
[pid=35839/tid=35891] ppid=35834 vsize=18930384 memory=3200 CPUtime=0 cores=4,6
/proc/35839/task/35891/stat : 35891 (Common-Cleaner) S 35834 35839 35496 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 42684556 19384713216 28408 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 113632 KiB

[startup+1.50032 s]
/proc/loadavg: 7.89 8.05 7.01 10/324 35925
/proc/meminfo: memFree=129811180/131382112 swapFree=33010684/33010684
[pid=35839] ppid=35834 vsize=18996948 memory=151064 CPUtime=2.67 cores=4,6
/proc/35839/stat : 35839 (java) S 35834 35839 35496 0 -1 4194304 15182 0 0 0 255 12 0 0 20 0 19 0 42684546 19452874752 37766 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
/proc/35839/statm: 4749237 37766 5463 1 0 551308 0
[pid=35839/tid=35850] ppid=35834 vsize=18996948 memory=3200 CPUtime=1.31 cores=4,6
/proc/35839/task/35850/stat : 35850 (java) R 35834 35839 35496 0 -1 4194368 5637 0 0 0 124 7 0 0 20 0 19 0 42684550 19452874752 37766 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
[pid=35839/tid=35881] ppid=35834 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/35839/task/35881/stat : 35881 (Finalizer) S 35834 35839 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 42684555 19452874752 37766 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
[pid=35839/tid=35891] ppid=35834 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/35839/task/35891/stat : 35891 (Common-Cleaner) S 35834 35839 35496 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 42684556 19452874752 37766 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
[pid=35839/tid=35923] ppid=35834 vsize=18996948 memory=14848 CPUtime=0 cores=4,6
/proc/35839/task/35923/stat : 35923 (Timer-0) S 35834 35839 35496 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 42684624 19452874752 37766 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
Current children cumulated CPU time: 2.67 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 151064 KiB

[startup+3.11357 s]
/proc/loadavg: 7.89 8.05 7.01 6/326 35927
/proc/meminfo: memFree=129634332/131382112 swapFree=33010684/33010684
[pid=35839] ppid=35834 vsize=19063512 memory=191620 CPUtime=4.88 cores=4,6
/proc/35839/stat : 35839 (java) S 35834 35839 35496 0 -1 4194304 17145 0 0 0 475 13 0 0 20 0 20 0 42684546 19521036288 47905 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
/proc/35839/statm: 4765878 47905 5495 1 0 552257 0
[pid=35839/tid=35850] ppid=35834 vsize=19063512 memory=14848 CPUtime=2.89 cores=4,6
/proc/35839/task/35850/stat : 35850 (java) R 35834 35839 35496 0 -1 4194368 5908 0 0 0 282 7 0 0 20 0 20 0 42684550 19521036288 47905 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
[pid=35839/tid=35881] ppid=35834 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/35839/task/35881/stat : 35881 (Finalizer) S 35834 35839 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42684555 19521036288 47905 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
[pid=35839/tid=35891] ppid=35834 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/35839/task/35891/stat : 35891 (Common-Cleaner) S 35834 35839 35496 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 42684556 19521036288 47905 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
[pid=35839/tid=35923] ppid=35834 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/35839/task/35923/stat : 35923 (Timer-0) S 35834 35839 35496 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42684624 19521036288 47905 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
Current children cumulated CPU time: 4.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 191620 KiB

[startup+6.3004 s]
/proc/loadavg: 7.66 8.00 7.00 5/327 35928
/proc/meminfo: memFree=129384032/131382112 swapFree=33010684/33010684
[pid=35839] ppid=35834 vsize=19063512 memory=242272 CPUtime=8.59 cores=4,6
/proc/35839/stat : 35839 (java) S 35834 35839 35496 0 -1 4194304 19023 0 0 0 844 15 0 0 20 0 20 0 42684546 19521036288 60568 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
/proc/35839/statm: 4765878 60568 5495 1 0 552300 0
[pid=35839/tid=35850] ppid=35834 vsize=19063512 memory=0 CPUtime=5.89 cores=4,6
/proc/35839/task/35850/stat : 35850 (java) R 35834 35839 35496 0 -1 4194368 6923 0 0 0 582 7 0 0 20 0 20 0 42684550 19521036288 60568 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
[pid=35839/tid=35881] ppid=35834 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/35839/task/35881/stat : 35881 (Finalizer) S 35834 35839 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42684555 19521036288 60568 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
[pid=35839/tid=35891] ppid=35834 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/35839/task/35891/stat : 35891 (Common-Cleaner) S 35834 35839 35496 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 42684556 19521036288 60568 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
[pid=35839/tid=35923] ppid=35834 vsize=19063512 memory=155784 CPUtime=0 cores=4,6
/proc/35839/task/35923/stat : 35923 (Timer-0) S 35834 35839 35496 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42684624 19521036288 60568 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
Current children cumulated CPU time: 8.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 242272 KiB

[startup+12.7004 s]
/proc/loadavg: 7.36 7.93 6.98 5/328 35929
/proc/meminfo: memFree=128976216/131382112 swapFree=33010684/33010684
[pid=35839] ppid=35834 vsize=19063512 memory=410340 CPUtime=15.25 cores=4,6
/proc/35839/stat : 35839 (java) S 35834 35839 35496 0 -1 4194304 20768 0 0 0 1506 19 0 0 20 0 20 0 42684546 19521036288 102585 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
/proc/35839/statm: 4765878 102585 5495 1 0 552300 0
[pid=35839/tid=35850] ppid=35834 vsize=19063512 memory=155784 CPUtime=12.05 cores=4,6
/proc/35839/task/35850/stat : 35850 (java) R 35834 35839 35496 0 -1 4194368 7352 0 0 0 1198 7 0 0 20 0 20 0 42684550 19521036288 102585 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
[pid=35839/tid=35881] ppid=35834 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/35839/task/35881/stat : 35881 (Finalizer) S 35834 35839 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42684555 19521036288 102585 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
[pid=35839/tid=35891] ppid=35834 vsize=19063512 memory=326300 CPUtime=0 cores=4,6
/proc/35839/task/35891/stat : 35891 (Common-Cleaner) S 35834 35839 35496 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 42684556 19521036288 102585 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
[pid=35839/tid=35923] ppid=35834 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/35839/task/35923/stat : 35923 (Timer-0) S 35834 35839 35496 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42684624 19521036288 102585 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
Current children cumulated CPU time: 15.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 410340 KiB

[startup+25.5005 s]
/proc/loadavg: 6.62 7.74 6.93 5/328 35930
/proc/meminfo: memFree=127915780/131382112 swapFree=33010684/33010684
[pid=35839] ppid=35834 vsize=19063512 memory=663684 CPUtime=28.27 cores=4,6
/proc/35839/stat : 35839 (java) S 35834 35839 35496 0 -1 4194304 23626 0 0 0 2801 26 0 0 20 0 20 0 42684546 19521036288 165921 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
/proc/35839/statm: 4765878 165921 5527 1 0 688054 0
[pid=35839/tid=35850] ppid=35834 vsize=19063512 memory=-6000919489919739756 CPUtime=24.59 cores=4,6
/proc/35839/task/35850/stat : 35850 (java) R 35834 35839 35496 0 -1 4194368 8429 0 0 0 2449 10 0 0 20 0 20 0 42684550 19521036288 165921 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
[pid=35839/tid=35881] ppid=35834 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/35839/task/35881/stat : 35881 (Finalizer) S 35834 35839 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42684555 19521036288 165921 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
[pid=35839/tid=35891] ppid=35834 vsize=19063512 memory=647300 CPUtime=0 cores=4,6
/proc/35839/task/35891/stat : 35891 (Common-Cleaner) S 35834 35839 35496 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 42684556 19521036288 165921 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
[pid=35839/tid=35923] ppid=35834 vsize=19063512 memory=-6000919489919739756 CPUtime=0 cores=4,6
/proc/35839/task/35923/stat : 35923 (Timer-0) S 35834 35839 35496 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42684624 19521036288 165921 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
Current children cumulated CPU time: 28.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 663684 KiB

[startup+51.1137 s]
/proc/loadavg: 5.79 7.45 6.86 5/328 35930
/proc/meminfo: memFree=126484280/131382112 swapFree=33010684/33010684
[pid=35839] ppid=35834 vsize=19063512 memory=1139060 CPUtime=54.5 cores=4,6
/proc/35839/stat : 35839 (java) S 35834 35839 35496 0 -1 4194304 27168 0 0 0 5413 37 0 0 20 0 20 0 42684546 19521036288 284765 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
/proc/35839/statm: 4765878 284765 5527 1 0 688064 0
[pid=35839/tid=35850] ppid=35834 vsize=19063512 memory=14848 CPUtime=49.58 cores=4,6
/proc/35839/task/35850/stat : 35850 (java) R 35834 35839 35496 0 -1 4194368 8999 0 0 0 4948 10 0 0 20 0 20 0 42684550 19521036288 284765 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
[pid=35839/tid=35881] ppid=35834 vsize=19063512 memory=410340 CPUtime=0 cores=4,6
/proc/35839/task/35881/stat : 35881 (Finalizer) S 35834 35839 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42684555 19521036288 284765 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
[pid=35839/tid=35891] ppid=35834 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/35839/task/35891/stat : 35891 (Common-Cleaner) S 35834 35839 35496 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 42684556 19521036288 284765 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0

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

/proc/35839/task/35891/stat : 35891 (Common-Cleaner) S 35834 35839 35496 0 -1 4194368 1704 0 0 0 0 0 0 0 20 0 20 0 42684556 19521036288 980787 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
[pid=35839/tid=35923] ppid=35834 vsize=19063512 memory=3923148 CPUtime=0 cores=4,6
/proc/35839/task/35923/stat : 35923 (Timer-0) S 35834 35839 35496 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42684624 19521036288 980787 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
Current children cumulated CPU time: 3003.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3923148 KiB

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

# cumulated CPU time of all completed processes:  user=3051.34 s, system=2.57523 s

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

[startup+2995.2 s]
/proc/loadavg: 4.12 4.16 4.26 5/326 36075
/proc/meminfo: memFree=114968828/131382112 swapFree=33010684/33010684
[pid=35839] ppid=35834 vsize=19063512 memory=3923148 CPUtime=3016.84 cores=4,6
/proc/35839/stat : 35839 (java) S 35834 35839 35496 0 -1 4194304 114653 0 0 0 301431 253 0 0 20 0 20 0 42684546 19521036288 980787 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
/proc/35839/statm: 4765878 980787 5527 1 0 1121291 0
[pid=35839/tid=35850] ppid=35834 vsize=19063512 memory=3923148 CPUtime=2970.06 cores=4,6
/proc/35839/task/35850/stat : 35850 (java) R 35834 35839 35496 0 -1 4194368 48249 0 0 0 296981 25 0 0 20 0 20 0 42684550 19521036288 980787 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
[pid=35839/tid=35881] ppid=35834 vsize=19063512 memory=6784 CPUtime=0 cores=4,6
/proc/35839/task/35881/stat : 35881 (Finalizer) S 35834 35839 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42684555 19521036288 980787 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
[pid=35839/tid=35891] ppid=35834 vsize=19063512 memory=3923148 CPUtime=0 cores=4,6
/proc/35839/task/35891/stat : 35891 (Common-Cleaner) S 35834 35839 35496 0 -1 4194368 1704 0 0 0 0 0 0 0 20 0 20 0 42684556 19521036288 980787 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
[pid=35839/tid=35923] ppid=35834 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/35839/task/35923/stat : 35923 (Timer-0) S 35834 35839 35496 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42684624 19521036288 980787 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
Current children cumulated CPU time: 3016.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3923148 KiB

[startup+3008 s]*
/proc/loadavg: 4.17 4.16 4.26 5/326 36082
/proc/meminfo: memFree=114969828/131382112 swapFree=33010684/33010684
[pid=35839] ppid=35834 vsize=19063512 memory=3923148 CPUtime=3029.64 cores=4,6
/proc/35839/stat : 35839 (java) S 35834 35839 35496 0 -1 4194304 114876 0 0 0 302710 254 0 0 20 0 20 0 42684546 19521036288 980787 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
/proc/35839/statm: 4765878 980787 5527 1 0 1121291 0
[pid=35839/tid=35850] ppid=35834 vsize=19063512 memory=-6000919502787864428 CPUtime=2982.85 cores=4,6
/proc/35839/task/35850/stat : 35850 (java) R 35834 35839 35496 0 -1 4194368 48471 0 0 0 298260 25 0 0 20 0 20 0 42684550 19521036288 980787 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
[pid=35839/tid=35881] ppid=35834 vsize=19063512 memory=-4050210904893342102 CPUtime=0 cores=4,6
/proc/35839/task/35881/stat : 35881 (Finalizer) S 35834 35839 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42684555 19521036288 980787 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
[pid=35839/tid=35891] ppid=35834 vsize=19063512 memory=6896 CPUtime=0 cores=4,6
/proc/35839/task/35891/stat : 35891 (Common-Cleaner) S 35834 35839 35496 0 -1 4194368 1704 0 0 0 0 0 0 0 20 0 20 0 42684556 19521036288 980787 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
[pid=35839/tid=35923] ppid=35834 vsize=19063512 memory=1569552 CPUtime=0 cores=4,6
/proc/35839/task/35923/stat : 35923 (Timer-0) S 35834 35839 35496 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42684624 19521036288 980787 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
Current children cumulated CPU time: 3029.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3923148 KiB

[startup+3020.8 s]
/proc/loadavg: 4.14 4.16 4.26 5/326 36082
/proc/meminfo: memFree=114969452/131382112 swapFree=33010684/33010684
[pid=35839] ppid=35834 vsize=19063512 memory=3923148 CPUtime=3042.42 cores=4,6
/proc/35839/stat : 35839 (java) S 35834 35839 35496 0 -1 4194304 115093 0 0 0 303987 255 0 0 20 0 20 0 42684546 19521036288 980787 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
/proc/35839/statm: 4765878 980787 5527 1 0 1121291 0
[pid=35839/tid=35850] ppid=35834 vsize=19063512 memory=17664 CPUtime=2995.61 cores=4,6
/proc/35839/task/35850/stat : 35850 (java) R 35834 35839 35496 0 -1 4194368 48686 0 0 0 299536 25 0 0 20 0 20 0 42684550 19521036288 980787 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
[pid=35839/tid=35881] ppid=35834 vsize=19063512 memory=4764 CPUtime=0 cores=4,6
/proc/35839/task/35881/stat : 35881 (Finalizer) S 35834 35839 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42684555 19521036288 980787 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
[pid=35839/tid=35891] ppid=35834 vsize=19063512 memory=4252 CPUtime=0 cores=4,6
/proc/35839/task/35891/stat : 35891 (Common-Cleaner) S 35834 35839 35496 0 -1 4194368 1704 0 0 0 0 0 0 0 20 0 20 0 42684556 19521036288 980787 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
[pid=35839/tid=35923] ppid=35834 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/35839/task/35923/stat : 35923 (Timer-0) S 35834 35839 35496 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42684624 19521036288 980787 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
Current children cumulated CPU time: 3042.42 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3923148 KiB

[startup+3027.2 s]
/proc/loadavg: 4.12 4.15 4.25 5/326 36083
/proc/meminfo: memFree=114969500/131382112 swapFree=33010684/33010684
[pid=35839] ppid=35834 vsize=19063512 memory=3923148 CPUtime=3049.03 cores=4,6
/proc/35839/stat : 35839 (java) S 35834 35839 35496 0 -1 4194304 115356 0 0 0 304648 255 0 0 20 0 20 0 42684546 19521036288 980787 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
/proc/35839/statm: 4765878 980787 5527 1 0 1121291 0
[pid=35839/tid=35850] ppid=35834 vsize=19063512 memory=3923148 CPUtime=3001.77 cores=4,6
/proc/35839/task/35850/stat : 35850 (java) R 35834 35839 35496 0 -1 4194368 48812 0 0 0 300152 25 0 0 20 0 20 0 42684550 19521036288 980787 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
[pid=35839/tid=35881] ppid=35834 vsize=19063512 memory=3923148 CPUtime=0 cores=4,6
/proc/35839/task/35881/stat : 35881 (Finalizer) S 35834 35839 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42684555 19521036288 980787 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
[pid=35839/tid=35891] ppid=35834 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/35839/task/35891/stat : 35891 (Common-Cleaner) S 35834 35839 35496 0 -1 4194368 1704 0 0 0 0 0 0 0 20 0 20 0 42684556 19521036288 980787 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
[pid=35839/tid=35923] ppid=35834 vsize=19063512 memory=5888 CPUtime=0 cores=4,6
/proc/35839/task/35923/stat : 35923 (Timer-0) S 35834 35839 35496 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42684624 19521036288 980787 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
Current children cumulated CPU time: 3049.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3923148 KiB

[startup+3030.4 s]
/proc/loadavg: 4.12 4.15 4.25 5/326 36083
/proc/meminfo: memFree=114969532/131382112 swapFree=33010684/33010684
[pid=35839] ppid=35834 vsize=19063512 memory=3923148 CPUtime=3052.3 cores=4,6
/proc/35839/stat : 35839 (java) S 35834 35839 35496 0 -1 4194304 115403 0 0 0 304975 255 0 0 20 0 20 0 42684546 19521036288 980787 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
/proc/35839/statm: 4765878 980787 5527 1 0 1121291 0
[pid=35839/tid=35850] ppid=35834 vsize=19063512 memory=14848 CPUtime=3004.74 cores=4,6
/proc/35839/task/35850/stat : 35850 (java) S 35834 35839 35496 0 -1 4194368 48832 0 0 0 300449 25 0 0 20 0 20 0 42684550 19521036288 980787 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
[pid=35839/tid=35881] ppid=35834 vsize=19063512 memory=5692 CPUtime=0 cores=4,6
/proc/35839/task/35881/stat : 35881 (Finalizer) S 35834 35839 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42684555 19521036288 980787 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
[pid=35839/tid=35891] ppid=35834 vsize=19063512 memory=9088 CPUtime=0 cores=4,6
/proc/35839/task/35891/stat : 35891 (Common-Cleaner) S 35834 35839 35496 0 -1 4194368 1704 0 0 0 0 0 0 0 20 0 20 0 42684556 19521036288 980787 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
[pid=35839/tid=35923] ppid=35834 vsize=19063512 memory=281086416909008 CPUtime=0 cores=4,6
/proc/35839/task/35923/stat : 35923 (Timer-0) S 35834 35839 35496 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42684624 19521036288 980787 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
Current children cumulated CPU time: 3052.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3923148 KiB

[startup+3031.2 s]
/proc/loadavg: 4.11 4.15 4.25 5/326 36083
/proc/meminfo: memFree=114969532/131382112 swapFree=33010684/33010684
[pid=35839] ppid=35834 vsize=19063512 memory=3923148 CPUtime=3053.2 cores=4,6
/proc/35839/stat : 35839 (java) S 35834 35839 35496 0 -1 4194304 115447 0 0 0 305065 255 0 0 20 0 20 0 42684546 19521036288 980787 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
/proc/35839/statm: 4765878 980787 5527 1 0 1121291 0
[pid=35839/tid=35850] ppid=35834 vsize=19063512 memory=4252 CPUtime=3005.41 cores=4,6
/proc/35839/task/35850/stat : 35850 (java) R 35834 35839 35496 0 -1 4194368 48832 0 0 0 300516 25 0 0 20 0 20 0 42684550 19521036288 980787 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
[pid=35839/tid=35881] ppid=35834 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/35839/task/35881/stat : 35881 (Finalizer) S 35834 35839 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42684555 19521036288 980787 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
[pid=35839/tid=35891] ppid=35834 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/35839/task/35891/stat : 35891 (Common-Cleaner) S 35834 35839 35496 0 -1 4194368 1704 0 0 0 0 0 0 0 20 0 20 0 42684556 19521036288 980787 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
[pid=35839/tid=35923] ppid=35834 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/35839/task/35923/stat : 35923 (Timer-0) S 35834 35839 35496 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42684624 19521036288 980787 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
Current children cumulated CPU time: 3053.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3923148 KiB

[startup+3031.6 s]
/proc/loadavg: 4.11 4.15 4.25 5/326 36083
/proc/meminfo: memFree=114969532/131382112 swapFree=33010684/33010684
[pid=35839] ppid=35834 vsize=19063512 memory=3923148 CPUtime=3053.6 cores=4,6
/proc/35839/stat : 35839 (java) S 35834 35839 35496 0 -1 4194304 115447 0 0 0 305105 255 0 0 20 0 20 0 42684546 19521036288 980787 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
/proc/35839/statm: 4765878 980787 5527 1 0 1121291 0
[pid=35839/tid=35850] ppid=35834 vsize=19063512 memory=-6000919489919739756 CPUtime=3005.81 cores=4,6
/proc/35839/task/35850/stat : 35850 (java) R 35834 35839 35496 0 -1 4194368 48832 0 0 0 300556 25 0 0 20 0 20 0 42684550 19521036288 980787 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
[pid=35839/tid=35881] ppid=35834 vsize=19063512 memory=9344 CPUtime=0 cores=4,6
/proc/35839/task/35881/stat : 35881 (Finalizer) S 35834 35839 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42684555 19521036288 980787 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
[pid=35839/tid=35891] ppid=35834 vsize=19063512 memory=30472 CPUtime=0 cores=4,6
/proc/35839/task/35891/stat : 35891 (Common-Cleaner) S 35834 35839 35496 0 -1 4194368 1704 0 0 0 0 0 0 0 20 0 20 0 42684556 19521036288 980787 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
[pid=35839/tid=35923] ppid=35834 vsize=19063512 memory=7092 CPUtime=0 cores=4,6
/proc/35839/task/35923/stat : 35923 (Timer-0) S 35834 35839 35496 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42684624 19521036288 980787 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
Current children cumulated CPU time: 3053.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3923148 KiB

[startup+3031.8 s]
/proc/loadavg: 4.11 4.15 4.25 5/326 36083
/proc/meminfo: memFree=114969532/131382112 swapFree=33010684/33010684
[pid=35839] ppid=35834 vsize=19196640 memory=3923660 CPUtime=3053.84 cores=4,6
/proc/35839/stat : 35839 (java) S 35834 35839 35496 0 -1 4194304 117214 0 0 0 305129 255 0 0 20 0 20 0 42684546 19657359360 980915 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
/proc/35839/statm: 4799160 980915 5559 1 0 1121921 0
[pid=35839/tid=35850] ppid=35834 vsize=19196640 memory=12416 CPUtime=3005.92 cores=4,6
/proc/35839/task/35850/stat : 35850 (java) S 35834 35839 35496 0 -1 4194368 50124 0 0 0 300567 25 0 0 20 0 20 0 42684550 19657359360 980915 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
[pid=35839/tid=35881] ppid=35834 vsize=19196640 memory=9984 CPUtime=0 cores=4,6
/proc/35839/task/35881/stat : 35881 (Finalizer) S 35834 35839 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42684555 19657359360 980915 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
[pid=35839/tid=35891] ppid=35834 vsize=19196640 memory=5692 CPUtime=0 cores=4,6
/proc/35839/task/35891/stat : 35891 (Common-Cleaner) S 35834 35839 35496 0 -1 4194368 1704 0 0 0 0 0 0 0 20 0 20 0 42684556 19657359360 980915 18446744073709551615 94280544215040 94280544218736 140722037961840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94280544226552 94280544227344 94280548794368 140722037963137 140722037963238 140722037963238 140722037968840 0
Current children cumulated CPU time: 3053.84 s
Current children cumulated vsize: 19196640 KiB
Current children cumulated memory: 3923660 KiB

Child status: 10

Real time (s): 3031.86
CPU time (s): 3053.91
CPU user time (s): 3051.34
CPU system time (s): 2.57523
CPU usage (%): 100.727
Max. virtual memory (cumulated for all children) (KiB): 19196640
Max. memory (cumulated for all children) (KiB): 3923660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3051.34
system time used= 2.57523
maximum resident set size= 3923660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 117443
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 97622
involuntary context switches= 4978


# summary of solver processes directly reported to runsolver:
#   pid: 35839
#   total CPU time (s): 3053.91
#   total CPU user time (s): 3051.34
#   total CPU system time (s): 2.57523

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.6822 second user time and 31.6105 second system time

The end