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: 63665 MiB (61063 MiB free)
  memory of node 1: 64507 MiB (63528 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4510768-1751198857/watcher-4510768-1751198857 -o /tmp/evaluation-result-4510768-1751198857/solver-4510768-1751198857 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751191546-27851 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4510768-1751198857.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 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=29999, runsolver pid=29996

[startup+0.100059 s]*
/proc/loadavg: 4.33 4.19 4.14 6/338 30017
/proc/meminfo: memFree=127555000/131249996 swapFree=33010684/33010684
[pid=29999] ppid=29996 vsize=18930384 memory=55452 CPUtime=0.12 cores=0,2
/proc/29999/stat : 29999 (java) S 29996 29999 27841 0 -1 4194304 6539 0 0 0 10 2 0 0 20 0 18 0 35563577 19384713216 13863 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
/proc/29999/statm: 4732596 13863 5329 1 0 547603 0
[pid=29999/tid=30001] ppid=29996 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/29999/task/30001/stat : 30001 (java) R 29996 29999 27841 0 -1 4194368 5051 0 0 0 6 1 0 0 20 0 18 0 35563578 19384713216 13863 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
[pid=29999/tid=30010] ppid=29996 vsize=18930384 memory=237112656212 CPUtime=0 cores=0,2
/proc/29999/task/30010/stat : 30010 (Finalizer) S 29996 29999 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35563580 19384713216 13863 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
[pid=29999/tid=30017] ppid=29996 vsize=18930384 memory=58485492706614 CPUtime=0 cores=0,2
/proc/29999/task/30017/stat : 30017 (Common-Cleaner) S 29996 29999 27841 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 35563580 19384713216 13863 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55452 KiB

[startup+0.205587 s]*
/proc/loadavg: 4.33 4.19 4.14 7/339 30018
/proc/meminfo: memFree=127523640/131249996 swapFree=33010684/33010684
[pid=29999] ppid=29996 vsize=18996948 memory=66320 CPUtime=0.3 cores=0,2
/proc/29999/stat : 29999 (java) S 29996 29999 27841 0 -1 4194304 7111 0 0 0 28 2 0 0 20 0 19 0 35563577 19452874752 16580 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
/proc/29999/statm: 4749237 16580 5425 1 0 548246 0
[pid=29999/tid=30001] ppid=29996 vsize=18996948 memory=4026597660 CPUtime=0.15 cores=0,2
/proc/29999/task/30001/stat : 30001 (java) R 29996 29999 27841 0 -1 4194368 5304 0 0 0 14 1 0 0 20 0 19 0 35563578 19452874752 16580 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
[pid=29999/tid=30010] ppid=29996 vsize=18996948 memory=18949 CPUtime=0 cores=0,2
/proc/29999/task/30010/stat : 30010 (Finalizer) S 29996 29999 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35563580 19452874752 16580 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
[pid=29999/tid=30017] ppid=29996 vsize=18996948 memory=57385981051877 CPUtime=0 cores=0,2
/proc/29999/task/30017/stat : 30017 (Common-Cleaner) S 29996 29999 27841 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 35563580 19452874752 16580 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
[pid=29999/tid=30018] ppid=29996 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/29999/task/30018/stat : 30018 (Timer-0) S 29996 29999 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35563597 19452874752 16580 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 66320 KiB

[startup+0.305526 s]*
/proc/loadavg: 4.33 4.19 4.14 6/339 30018
/proc/meminfo: memFree=127519608/131249996 swapFree=33010684/33010684
[pid=29999] ppid=29996 vsize=18996948 memory=72644 CPUtime=0.5 cores=0,2
/proc/29999/stat : 29999 (java) S 29996 29999 27841 0 -1 4194304 8854 0 0 0 47 3 0 0 20 0 19 0 35563577 19452874752 18161 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
/proc/29999/statm: 4749237 18161 5425 1 0 549234 0
[pid=29999/tid=30001] ppid=29996 vsize=18996948 memory=-6000919481229075309 CPUtime=0.25 cores=0,2
/proc/29999/task/30001/stat : 30001 (java) R 29996 29999 27841 0 -1 4194368 5323 0 0 0 24 1 0 0 20 0 19 0 35563578 19452874752 18161 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
[pid=29999/tid=30010] ppid=29996 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/29999/task/30010/stat : 30010 (Finalizer) S 29996 29999 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35563580 19452874752 18161 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
[pid=29999/tid=30017] ppid=29996 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/29999/task/30017/stat : 30017 (Common-Cleaner) S 29996 29999 27841 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 35563580 19452874752 18161 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
[pid=29999/tid=30018] ppid=29996 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/29999/task/30018/stat : 30018 (Timer-0) S 29996 29999 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35563597 19452874752 18161 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 72644 KiB

[startup+0.700238 s]
/proc/loadavg: 4.46 4.22 4.15 6/339 30019
/proc/meminfo: memFree=127496548/131249996 swapFree=33010684/33010684
[pid=29999] ppid=29996 vsize=18996948 memory=92592 CPUtime=1.27 cores=0,2
/proc/29999/stat : 29999 (java) S 29996 29999 27841 0 -1 4194304 16003 0 0 0 123 4 0 0 20 0 19 0 35563577 19452874752 23148 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
/proc/29999/statm: 4749237 23148 5425 1 0 553135 0
[pid=29999/tid=30001] ppid=29996 vsize=18996948 memory=17536 CPUtime=0.62 cores=0,2
/proc/29999/task/30001/stat : 30001 (java) R 29996 29999 27841 0 -1 4194368 5366 0 0 0 61 1 0 0 20 0 19 0 35563578 19452874752 23148 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
[pid=29999/tid=30010] ppid=29996 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/29999/task/30010/stat : 30010 (Finalizer) S 29996 29999 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35563580 19452874752 23148 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
[pid=29999/tid=30017] ppid=29996 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/29999/task/30017/stat : 30017 (Common-Cleaner) S 29996 29999 27841 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 35563580 19452874752 23148 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
[pid=29999/tid=30018] ppid=29996 vsize=18996948 memory=4756 CPUtime=0 cores=0,2
/proc/29999/task/30018/stat : 30018 (Timer-0) S 29996 29999 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35563597 19452874752 23148 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 92592 KiB

[startup+1.50023 s]
/proc/loadavg: 4.46 4.22 4.15 6/339 30019
/proc/meminfo: memFree=127486592/131249996 swapFree=33010684/33010684
[pid=29999] ppid=29996 vsize=18996948 memory=101284 CPUtime=2.77 cores=0,2
/proc/29999/stat : 29999 (java) S 29996 29999 27841 0 -1 4194304 20245 0 0 0 272 5 0 0 20 0 19 0 35563577 19452874752 25321 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
/proc/29999/statm: 4749237 25321 5425 1 0 553138 0
[pid=29999/tid=30001] ppid=29996 vsize=18996948 memory=0 CPUtime=1.42 cores=0,2
/proc/29999/task/30001/stat : 30001 (java) R 29996 29999 27841 0 -1 4194368 5674 0 0 0 140 2 0 0 20 0 19 0 35563578 19452874752 25321 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
[pid=29999/tid=30010] ppid=29996 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/29999/task/30010/stat : 30010 (Finalizer) S 29996 29999 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35563580 19452874752 25321 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
[pid=29999/tid=30017] ppid=29996 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/29999/task/30017/stat : 30017 (Common-Cleaner) S 29996 29999 27841 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 35563580 19452874752 25321 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
[pid=29999/tid=30018] ppid=29996 vsize=18996948 memory=4756 CPUtime=0 cores=0,2
/proc/29999/task/30018/stat : 30018 (Timer-0) S 29996 29999 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35563597 19452874752 25321 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
Current children cumulated CPU time: 2.77 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 101284 KiB

[startup+3.10523 s]
/proc/loadavg: 4.46 4.22 4.15 5/340 30020
/proc/meminfo: memFree=127441544/131249996 swapFree=33010684/33010684
[pid=29999] ppid=29996 vsize=18996948 memory=119844 CPUtime=4.42 cores=0,2
/proc/29999/stat : 29999 (java) S 29996 29999 27841 0 -1 4194304 21040 0 0 0 437 5 0 0 20 0 19 0 35563577 19452874752 29961 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
/proc/29999/statm: 4749237 29961 5425 1 0 553140 0
[pid=29999/tid=30001] ppid=29996 vsize=18996948 memory=10752 CPUtime=3.02 cores=0,2
/proc/29999/task/30001/stat : 30001 (java) R 29996 29999 27841 0 -1 4194368 6010 0 0 0 300 2 0 0 20 0 19 0 35563578 19452874752 29961 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
[pid=29999/tid=30010] ppid=29996 vsize=18996948 memory=-6000919481229075309 CPUtime=0 cores=0,2
/proc/29999/task/30010/stat : 30010 (Finalizer) S 29996 29999 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35563580 19452874752 29961 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
[pid=29999/tid=30017] ppid=29996 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/29999/task/30017/stat : 30017 (Common-Cleaner) S 29996 29999 27841 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 35563580 19452874752 29961 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
[pid=29999/tid=30018] ppid=29996 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/29999/task/30018/stat : 30018 (Timer-0) S 29996 29999 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35563597 19452874752 29961 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
Current children cumulated CPU time: 4.42 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 119844 KiB

[startup+6.30014 s]
/proc/loadavg: 4.43 4.22 4.15 5/340 30020
/proc/meminfo: memFree=127416968/131249996 swapFree=33010684/33010684
[pid=29999] ppid=29996 vsize=18996948 memory=146044 CPUtime=7.62 cores=0,2
/proc/29999/stat : 29999 (java) S 29996 29999 27841 0 -1 4194304 21379 0 0 0 756 6 0 0 20 0 19 0 35563577 19452874752 36511 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
/proc/29999/statm: 4749237 36511 5425 1 0 553140 0
[pid=29999/tid=30001] ppid=29996 vsize=18996948 memory=0 CPUtime=6.21 cores=0,2
/proc/29999/task/30001/stat : 30001 (java) R 29996 29999 27841 0 -1 4194368 6120 0 0 0 618 3 0 0 20 0 19 0 35563578 19452874752 36511 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
[pid=29999/tid=30010] ppid=29996 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/29999/task/30010/stat : 30010 (Finalizer) S 29996 29999 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35563580 19452874752 36511 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
[pid=29999/tid=30017] ppid=29996 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/29999/task/30017/stat : 30017 (Common-Cleaner) S 29996 29999 27841 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 35563580 19452874752 36511 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
[pid=29999/tid=30018] ppid=29996 vsize=18996948 memory=103332 CPUtime=0 cores=0,2
/proc/29999/task/30018/stat : 30018 (Timer-0) S 29996 29999 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35563597 19452874752 36511 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
Current children cumulated CPU time: 7.62 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 146044 KiB

[startup+12.7002 s]
/proc/loadavg: 4.39 4.22 4.14 5/341 30021
/proc/meminfo: memFree=127371704/131249996 swapFree=33010684/33010684
[pid=29999] ppid=29996 vsize=19063512 memory=177516 CPUtime=14.02 cores=0,2
/proc/29999/stat : 29999 (java) S 29996 29999 27841 0 -1 4194304 24140 0 0 0 1395 7 0 0 20 0 20 0 35563577 19521036288 44379 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
/proc/29999/statm: 4765878 44379 5521 1 0 553429 0
[pid=29999/tid=30001] ppid=29996 vsize=19063512 memory=103332 CPUtime=12.58 cores=0,2
/proc/29999/task/30001/stat : 30001 (java) R 29996 29999 27841 0 -1 4194368 6992 0 0 0 1255 3 0 0 20 0 20 0 35563578 19521036288 44379 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
[pid=29999/tid=30010] ppid=29996 vsize=19063512 memory=177516 CPUtime=0 cores=0,2
/proc/29999/task/30010/stat : 30010 (Finalizer) S 29996 29999 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35563580 19521036288 44379 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
[pid=29999/tid=30017] ppid=29996 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/29999/task/30017/stat : 30017 (Common-Cleaner) S 29996 29999 27841 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 35563580 19521036288 44379 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
[pid=29999/tid=30018] ppid=29996 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/29999/task/30018/stat : 30018 (Timer-0) S 29996 29999 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35563597 19521036288 44379 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
Current children cumulated CPU time: 14.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 177516 KiB

[startup+25.5002 s]
/proc/loadavg: 4.40 4.23 4.15 5/341 30021
/proc/meminfo: memFree=127347128/131249996 swapFree=33010684/33010684
[pid=29999] ppid=29996 vsize=19063512 memory=185756 CPUtime=26.8 cores=0,2
/proc/29999/stat : 29999 (java) S 29996 29999 27841 0 -1 4194304 26172 0 0 0 2672 8 0 0 20 0 20 0 35563577 19521036288 46439 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
/proc/29999/statm: 4765878 46439 5521 1 0 553429 0
[pid=29999/tid=30001] ppid=29996 vsize=19063512 memory=177516 CPUtime=25.33 cores=0,2
/proc/29999/task/30001/stat : 30001 (java) R 29996 29999 27841 0 -1 4194368 7608 0 0 0 2530 3 0 0 20 0 20 0 35563578 19521036288 46439 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
[pid=29999/tid=30010] ppid=29996 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/29999/task/30010/stat : 30010 (Finalizer) S 29996 29999 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35563580 19521036288 46439 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
[pid=29999/tid=30017] ppid=29996 vsize=19063512 memory=-6000919481229075309 CPUtime=0 cores=0,2
/proc/29999/task/30017/stat : 30017 (Common-Cleaner) S 29996 29999 27841 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 35563580 19521036288 46439 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
[pid=29999/tid=30018] ppid=29996 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/29999/task/30018/stat : 30018 (Timer-0) S 29996 29999 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35563597 19521036288 46439 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
Current children cumulated CPU time: 26.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 185756 KiB

[startup+51.1055 s]
/proc/loadavg: 4.24 4.20 4.14 5/341 30021
/proc/meminfo: memFree=127252676/131249996 swapFree=33010684/33010684
[pid=29999] ppid=29996 vsize=19063512 memory=208584 CPUtime=52.37 cores=0,2
/proc/29999/stat : 29999 (java) S 29996 29999 27841 0 -1 4194304 27454 0 0 0 5228 9 0 0 20 0 20 0 35563577 19521036288 52146 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
/proc/29999/statm: 4765878 52146 5521 1 0 553429 0

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

/proc/29999/task/30017/stat : 30017 (Common-Cleaner) S 29996 29999 27841 0 -1 4194368 139 0 0 0 0 0 0 0 20 0 20 0 35563580 19521036288 99260 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
[pid=29999/tid=30018] ppid=29996 vsize=19063512 memory=397040 CPUtime=0 cores=0,2
/proc/29999/task/30018/stat : 30018 (Timer-0) S 29996 29999 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35563597 19521036288 99260 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
Current children cumulated CPU time: 163.52 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 397040 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.18 4.14 5/340 30031
/proc/meminfo: memFree=126359444/131249996 swapFree=33010684/33010684
[pid=29999] ppid=29996 vsize=19063512 memory=503608 CPUtime=223.5 cores=0,2
/proc/29999/stat : 29999 (java) S 29996 29999 27841 0 -1 4194304 32340 0 0 0 22331 19 0 0 20 0 20 0 35563577 19521036288 125902 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
/proc/29999/statm: 4765878 125902 5521 1 0 553429 0
[pid=29999/tid=30001] ppid=29996 vsize=19063512 memory=435968 CPUtime=221.27 cores=0,2
/proc/29999/task/30001/stat : 30001 (java) R 29996 29999 27841 0 -1 4194368 9411 0 0 0 22121 6 0 0 20 0 20 0 35563578 19521036288 125902 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
[pid=29999/tid=30010] ppid=29996 vsize=19063512 memory=464652 CPUtime=0 cores=0,2
/proc/29999/task/30010/stat : 30010 (Finalizer) S 29996 29999 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35563580 19521036288 125902 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
[pid=29999/tid=30017] ppid=29996 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/29999/task/30017/stat : 30017 (Common-Cleaner) S 29996 29999 27841 0 -1 4194368 155 0 0 0 0 0 0 0 20 0 20 0 35563580 19521036288 125902 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
[pid=29999/tid=30018] ppid=29996 vsize=19063512 memory=279989991953072 CPUtime=0 cores=0,2
/proc/29999/task/30018/stat : 30018 (Timer-0) S 29996 29999 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35563597 19521036288 125902 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
Current children cumulated CPU time: 223.5 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 503608 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 4.18 4.14 5/341 30101
/proc/meminfo: memFree=126711096/131249996 swapFree=33010684/33010684
[pid=29999] ppid=29996 vsize=19063512 memory=583484 CPUtime=283.43 cores=0,2
/proc/29999/stat : 29999 (java) S 29996 29999 27841 0 -1 4194304 32652 0 0 0 28320 23 0 0 20 0 20 0 35563577 19521036288 145871 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
/proc/29999/statm: 4765878 145871 5521 1 0 553429 0
[pid=29999/tid=30001] ppid=29996 vsize=19063512 memory=464652 CPUtime=281.04 cores=0,2
/proc/29999/task/30001/stat : 30001 (java) R 29996 29999 27841 0 -1 4194368 9424 0 0 0 28098 6 0 0 20 0 20 0 35563578 19521036288 145871 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
[pid=29999/tid=30010] ppid=29996 vsize=19063512 memory=583484 CPUtime=0 cores=0,2
/proc/29999/task/30010/stat : 30010 (Finalizer) S 29996 29999 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35563580 19521036288 145871 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
[pid=29999/tid=30017] ppid=29996 vsize=19063512 memory=583484 CPUtime=0 cores=0,2
/proc/29999/task/30017/stat : 30017 (Common-Cleaner) S 29996 29999 27841 0 -1 4194368 191 0 0 0 0 0 0 0 20 0 20 0 35563580 19521036288 145871 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
[pid=29999/tid=30018] ppid=29996 vsize=19063512 memory=583484 CPUtime=0 cores=0,2
/proc/29999/task/30018/stat : 30018 (Timer-0) S 29996 29999 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35563597 19521036288 145871 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
Current children cumulated CPU time: 283.43 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 583484 KiB

[startup+300.688 s]
# the end of solver process 29999 was just reported to runsolver
# Child status: 20

# cumulated CPU time of all completed processes:  user=302.407 s, system=0.269651 s

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

[startup+294.4 s]
/proc/loadavg: 4.13 4.17 4.14 5/341 30101
/proc/meminfo: memFree=126588504/131249996 swapFree=33010684/33010684
[pid=29999] ppid=29996 vsize=19063512 memory=625284 CPUtime=296.05 cores=0,2
/proc/29999/stat : 29999 (java) S 29996 29999 27841 0 -1 4194304 41250 0 0 0 29579 26 0 0 20 0 20 0 35563577 19521036288 156321 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
/proc/29999/statm: 4765878 156321 5521 1 0 555099 0
[pid=29999/tid=30001] ppid=29996 vsize=19063512 memory=583484 CPUtime=293.06 cores=0,2
/proc/29999/task/30001/stat : 30001 (java) R 29996 29999 27841 0 -1 4194368 10116 0 0 0 29300 6 0 0 20 0 20 0 35563578 19521036288 156321 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
[pid=29999/tid=30010] ppid=29996 vsize=19063512 memory=583484 CPUtime=0 cores=0,2
/proc/29999/task/30010/stat : 30010 (Finalizer) S 29996 29999 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35563580 19521036288 156321 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
[pid=29999/tid=30017] ppid=29996 vsize=19063512 memory=583484 CPUtime=0 cores=0,2
/proc/29999/task/30017/stat : 30017 (Common-Cleaner) S 29996 29999 27841 0 -1 4194368 191 0 0 0 0 0 0 0 20 0 20 0 35563580 19521036288 156321 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
[pid=29999/tid=30018] ppid=29996 vsize=19063512 memory=4380 CPUtime=0 cores=0,2
/proc/29999/task/30018/stat : 30018 (Timer-0) S 29996 29999 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35563597 19521036288 156321 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
Current children cumulated CPU time: 296.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 625284 KiB

[startup+297.6 s]
/proc/loadavg: 4.12 4.17 4.14 5/340 30101
/proc/meminfo: memFree=126576216/131249996 swapFree=33010684/33010684
[pid=29999] ppid=29996 vsize=19063512 memory=626564 CPUtime=299.56 cores=0,2
/proc/29999/stat : 29999 (java) S 29996 29999 27841 0 -1 4194304 41685 0 0 0 29930 26 0 0 20 0 20 0 35563577 19521036288 156641 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
/proc/29999/statm: 4765878 156641 5521 1 0 555103 0
[pid=29999/tid=30001] ppid=29996 vsize=19063512 memory=626564 CPUtime=296.25 cores=0,2
/proc/29999/task/30001/stat : 30001 (java) R 29996 29999 27841 0 -1 4194368 10148 0 0 0 29619 6 0 0 20 0 20 0 35563578 19521036288 156641 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
[pid=29999/tid=30010] ppid=29996 vsize=19063512 memory=21952 CPUtime=0 cores=0,2
/proc/29999/task/30010/stat : 30010 (Finalizer) S 29996 29999 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35563580 19521036288 156641 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
[pid=29999/tid=30017] ppid=29996 vsize=19063512 memory=4352 CPUtime=0 cores=0,2
/proc/29999/task/30017/stat : 30017 (Common-Cleaner) S 29996 29999 27841 0 -1 4194368 191 0 0 0 0 0 0 0 20 0 20 0 35563580 19521036288 156641 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
[pid=29999/tid=30018] ppid=29996 vsize=19063512 memory=503608 CPUtime=0 cores=0,2
/proc/29999/task/30018/stat : 30018 (Timer-0) S 29996 29999 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35563597 19521036288 156641 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
Current children cumulated CPU time: 299.56 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 626564 KiB

[startup+299.2 s]
/proc/loadavg: 4.12 4.17 4.14 5/340 30101
/proc/meminfo: memFree=126576240/131249996 swapFree=33010684/33010684
[pid=29999] ppid=29996 vsize=19063512 memory=626564 CPUtime=301.15 cores=0,2
/proc/29999/stat : 29999 (java) S 29996 29999 27841 0 -1 4194304 41688 0 0 0 30089 26 0 0 20 0 20 0 35563577 19521036288 156641 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
/proc/29999/statm: 4765878 156641 5521 1 0 555103 0
[pid=29999/tid=30001] ppid=29996 vsize=19063512 memory=17536 CPUtime=297.85 cores=0,2
/proc/29999/task/30001/stat : 30001 (java) R 29996 29999 27841 0 -1 4194368 10148 0 0 0 29779 6 0 0 20 0 20 0 35563578 19521036288 156641 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
[pid=29999/tid=30010] ppid=29996 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/29999/task/30010/stat : 30010 (Finalizer) S 29996 29999 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35563580 19521036288 156641 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
[pid=29999/tid=30017] ppid=29996 vsize=19063512 memory=17536 CPUtime=0 cores=0,2
/proc/29999/task/30017/stat : 30017 (Common-Cleaner) S 29996 29999 27841 0 -1 4194368 191 0 0 0 0 0 0 0 20 0 20 0 35563580 19521036288 156641 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
[pid=29999/tid=30018] ppid=29996 vsize=19063512 memory=-6000919481229075309 CPUtime=0 cores=0,2
/proc/29999/task/30018/stat : 30018 (Timer-0) S 29996 29999 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35563597 19521036288 156641 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
Current children cumulated CPU time: 301.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 626564 KiB

[startup+300 s]*
/proc/loadavg: 4.12 4.17 4.14 5/340 30101
/proc/meminfo: memFree=126576240/131249996 swapFree=33010684/33010684
[pid=29999] ppid=29996 vsize=19063512 memory=626564 CPUtime=301.96 cores=0,2
/proc/29999/stat : 29999 (java) S 29996 29999 27841 0 -1 4194304 41688 0 0 0 30170 26 0 0 20 0 20 0 35563577 19521036288 156641 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
/proc/29999/statm: 4765878 156641 5521 1 0 555103 0
[pid=29999/tid=30001] ppid=29996 vsize=19063512 memory=-6000919481263221868 CPUtime=298.65 cores=0,2
/proc/29999/task/30001/stat : 30001 (java) R 29996 29999 27841 0 -1 4194368 10148 0 0 0 29859 6 0 0 20 0 20 0 35563578 19521036288 156641 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
[pid=29999/tid=30010] ppid=29996 vsize=19063512 memory=4137564081907986073 CPUtime=0 cores=0,2
/proc/29999/task/30010/stat : 30010 (Finalizer) S 29996 29999 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35563580 19521036288 156641 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
[pid=29999/tid=30017] ppid=29996 vsize=19063512 memory=53013654012657 CPUtime=0 cores=0,2
/proc/29999/task/30017/stat : 30017 (Common-Cleaner) S 29996 29999 27841 0 -1 4194368 191 0 0 0 0 0 0 0 20 0 20 0 35563580 19521036288 156641 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
[pid=29999/tid=30018] ppid=29996 vsize=19063512 memory=106664 CPUtime=0 cores=0,2
/proc/29999/task/30018/stat : 30018 (Timer-0) S 29996 29999 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35563597 19521036288 156641 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
Current children cumulated CPU time: 301.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 626564 KiB

[startup+300.4 s]
/proc/loadavg: 4.12 4.17 4.14 5/340 30101
/proc/meminfo: memFree=126576240/131249996 swapFree=33010684/33010684
[pid=29999] ppid=29996 vsize=19063512 memory=626564 CPUtime=302.35 cores=0,2
/proc/29999/stat : 29999 (java) S 29996 29999 27841 0 -1 4194304 41696 0 0 0 30209 26 0 0 20 0 20 0 35563577 19521036288 156641 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
/proc/29999/statm: 4765878 156641 5521 1 0 555103 0
[pid=29999/tid=30001] ppid=29996 vsize=19063512 memory=-6000919481229075309 CPUtime=299.04 cores=0,2
/proc/29999/task/30001/stat : 30001 (java) R 29996 29999 27841 0 -1 4194368 10148 0 0 0 29898 6 0 0 20 0 20 0 35563578 19521036288 156641 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
[pid=29999/tid=30010] ppid=29996 vsize=19063512 memory=211292520752 CPUtime=0 cores=0,2
/proc/29999/task/30010/stat : 30010 (Finalizer) S 29996 29999 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35563580 19521036288 156641 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
[pid=29999/tid=30017] ppid=29996 vsize=19063512 memory=53013654012657 CPUtime=0 cores=0,2
/proc/29999/task/30017/stat : 30017 (Common-Cleaner) S 29996 29999 27841 0 -1 4194368 191 0 0 0 0 0 0 0 20 0 20 0 35563580 19521036288 156641 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
[pid=29999/tid=30018] ppid=29996 vsize=19063512 memory=106664 CPUtime=0 cores=0,2
/proc/29999/task/30018/stat : 30018 (Timer-0) S 29996 29999 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35563597 19521036288 156641 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
Current children cumulated CPU time: 302.35 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 626564 KiB

[startup+300.6 s]
/proc/loadavg: 4.12 4.17 4.14 5/340 30101
/proc/meminfo: memFree=126576240/131249996 swapFree=33010684/33010684
[pid=29999] ppid=29996 vsize=19196640 memory=627204 CPUtime=302.59 cores=0,2
/proc/29999/stat : 29999 (java) S 29996 29999 27841 0 -1 4194304 42965 0 0 0 30233 26 0 0 20 0 20 0 35563577 19657359360 156801 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
/proc/29999/statm: 4799160 156801 5521 1 0 555737 0
[pid=29999/tid=30001] ppid=29996 vsize=19196640 memory=10752 CPUtime=299.22 cores=0,2
/proc/29999/task/30001/stat : 30001 (java) S 29996 29999 27841 0 -1 4194368 10995 0 0 0 29916 6 0 0 20 0 20 0 35563578 19657359360 156801 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
[pid=29999/tid=30010] ppid=29996 vsize=19196640 memory=5632 CPUtime=0 cores=0,2
/proc/29999/task/30010/stat : 30010 (Finalizer) S 29996 29999 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35563580 19657359360 156801 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
[pid=29999/tid=30017] ppid=29996 vsize=19196640 memory=4380 CPUtime=0 cores=0,2
/proc/29999/task/30017/stat : 30017 (Common-Cleaner) S 29996 29999 27841 0 -1 4194368 191 0 0 0 0 0 0 0 20 0 20 0 35563580 19657359360 156801 18446744073709551615 94041940070400 94041940074096 140722182838608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94041940081912 94041940082704 94041944014848 140722182846849 140722182846950 140722182846950 140722182852552 0
Current children cumulated CPU time: 302.59 s
Current children cumulated vsize: 19196640 KiB
Current children cumulated memory: 627204 KiB

Child status: 20

Real time (s): 300.688
CPU time (s): 302.677
CPU user time (s): 302.407
CPU system time (s): 0.269651
CPU usage (%): 100.662
Max. virtual memory (cumulated for all children) (KiB): 19196640
Max. memory (cumulated for all children) (KiB): 627204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 302.407
system time used= 0.269651
maximum resident set size= 627460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43201
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11011
involuntary context switches= 1641


# summary of solver processes directly reported to runsolver:
#   pid: 29999
#   total CPU time (s): 302.677
#   total CPU user time (s): 302.407
#   total CPU system time (s): 0.269651

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.632757 second user time and 1.38371 second system time

The end