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: 63837 MiB (63250 MiB free)
  memory of node 1: 64465 MiB (63792 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522006-1751595442/watcher-4522006-1751595442 -o /tmp/evaluation-result-4522006-1751595442/solver-4522006-1751595442 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751595442-85915 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4522006-1751595442.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
Starting watchdog thread
solver pid=85955, runsolver pid=85950
Current StackSize limit: 8192 KiB


[startup+0.100102 s]*
/proc/loadavg: 0.71 2.77 3.59 2/250 85964
/proc/meminfo: memFree=130079820/131382112 swapFree=33002444/33010684
[pid=85955] ppid=85950 vsize=24960 memory=3712 CPUtime=0 cores=4,6
/proc/85955/stat : 85955 (java) D 85950 85955 85904 0 -1 4194304 270 0 11 0 0 0 0 0 20 0 1 0 75223626 25559040 928 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 0 0 0 1 0 0 17 4 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
/proc/85955/statm: 6240 928 800 1 0 464 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 24960 KiB
Current children cumulated memory: 3712 KiB

[startup+0.213879 s]*
/proc/loadavg: 0.71 2.77 3.59 4/268 85984
/proc/meminfo: memFree=130064828/131382112 swapFree=33002444/33010684
[pid=85955] ppid=85950 vsize=18130736 memory=23392 CPUtime=0.02 cores=4,6
/proc/85955/stat : 85955 (java) S 85950 85955 85904 0 -1 4194304 2273 0 48 0 0 2 0 0 20 0 7 0 75223626 18565873664 5848 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 0 0 16784588 0 0 0 17 4 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
/proc/85955/statm: 4532684 5848 3360 1 0 540973 0
[pid=85955/tid=85965] ppid=85950 vsize=18130736 memory=7589421003159109751 CPUtime=0.01 cores=4,6
/proc/85955/task/85965/stat : 85965 (java) R 85950 85955 85904 0 -1 4194368 1698 0 29 0 0 1 0 0 20 0 7 0 75223638 18565873664 5848 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 4 0 16784588 0 0 0 -1 6 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 18130736 KiB
Current children cumulated memory: 23392 KiB

[startup+0.314014 s]*
/proc/loadavg: 0.71 2.77 3.59 8/298 86016
/proc/meminfo: memFree=130019376/131382112 swapFree=33002444/33010684
[pid=85955] ppid=85950 vsize=18930288 memory=45340 CPUtime=0.08 cores=4,6
/proc/85955/stat : 85955 (java) S 85950 85955 85904 0 -1 4194304 5272 0 127 0 5 3 0 0 20 0 18 0 75223626 19384614912 11335 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
/proc/85955/statm: 4732572 11335 4889 1 0 546656 0
[pid=85955/tid=85965] ppid=85950 vsize=18930288 memory=8039887049847964331 CPUtime=0.06 cores=4,6
/proc/85955/task/85965/stat : 85965 (java) D 85950 85955 85904 0 -1 4194368 4443 0 107 0 4 2 0 0 20 0 18 0 75223638 19384614912 11335 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
[pid=85955/tid=85997] ppid=85950 vsize=18930288 memory=0 CPUtime=0 cores=4,6
/proc/85955/task/85997/stat : 85997 (Finalizer) S 85950 85955 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 75223655 19384614912 11335 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
[pid=85955/tid=86017] ppid=85950 vsize=18930288 memory=0 CPUtime=0 cores=4,6
/proc/85955/task/86017/stat : 86017 (Common-Cleaner) S 85950 85955 85904 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 75223657 19384614912 11335 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 18930288 KiB
Current children cumulated memory: 45340 KiB

[startup+0.700347 s]
/proc/loadavg: 0.71 2.77 3.59 7/322 86043
/proc/meminfo: memFree=129991680/131382112 swapFree=33002444/33010684
[pid=85955] ppid=85950 vsize=18930384 memory=58104 CPUtime=0.44 cores=4,6
/proc/85955/stat : 85955 (java) S 85950 85955 85904 0 -1 4194304 6566 0 131 0 38 6 0 0 20 0 18 0 75223626 19384713216 14526 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
/proc/85955/statm: 4732596 14526 5337 1 0 547688 0
[pid=85955/tid=85965] ppid=85950 vsize=18930384 memory=0 CPUtime=0.27 cores=4,6
/proc/85955/task/85965/stat : 85965 (java) R 85950 85955 85904 0 -1 4194368 5058 0 111 0 24 3 0 0 20 0 18 0 75223638 19384713216 14526 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
[pid=85955/tid=85997] ppid=85950 vsize=18930384 memory=163177027 CPUtime=0 cores=4,6
/proc/85955/task/85997/stat : 85997 (Finalizer) S 85950 85955 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 75223655 19384713216 14526 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
[pid=85955/tid=86017] ppid=85950 vsize=18930384 memory=15924 CPUtime=0 cores=4,6
/proc/85955/task/86017/stat : 86017 (Common-Cleaner) S 85950 85955 85904 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 75223657 19384713216 14526 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58104 KiB

[startup+1.50041 s]
/proc/loadavg: 0.71 2.77 3.59 11/323 86044
/proc/meminfo: memFree=129548624/131382112 swapFree=33002444/33010684
[pid=85955] ppid=85950 vsize=18996948 memory=83644 CPUtime=1.98 cores=4,6
/proc/85955/stat : 85955 (java) S 85950 85955 85904 0 -1 4194304 14847 0 131 0 188 10 0 0 20 0 19 0 75223626 19452874752 20911 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
/proc/85955/statm: 4749237 20911 5465 1 0 552511 0
[pid=85955/tid=85965] ppid=85950 vsize=18996948 memory=0 CPUtime=0.95 cores=4,6
/proc/85955/task/85965/stat : 85965 (java) R 85950 85955 85904 0 -1 4194368 5363 0 111 0 91 4 0 0 20 0 19 0 75223638 19452874752 20911 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
[pid=85955/tid=85997] ppid=85950 vsize=18996948 memory=163177027 CPUtime=0 cores=4,6
/proc/85955/task/85997/stat : 85997 (Finalizer) S 85950 85955 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 75223655 19452874752 20911 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
[pid=85955/tid=86017] ppid=85950 vsize=18996948 memory=15924 CPUtime=0 cores=4,6
/proc/85955/task/86017/stat : 86017 (Common-Cleaner) S 85950 85955 85904 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 75223657 19452874752 20911 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
[pid=85955/tid=86044] ppid=85950 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/85955/task/86044/stat : 86044 (Timer-0) S 85950 85955 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 75223714 19452874752 20911 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
Current children cumulated CPU time: 1.98 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 83644 KiB

[startup+3.10605 s]
/proc/loadavg: 0.71 2.77 3.59 7/328 86049
/proc/meminfo: memFree=128169476/131382112 swapFree=33002444/33010684
[pid=85955] ppid=85950 vsize=18996948 memory=97964 CPUtime=4.82 cores=4,6
/proc/85955/stat : 85955 (java) S 85950 85955 85904 0 -1 4194304 24770 0 131 0 470 12 0 0 20 0 19 0 75223626 19452874752 24491 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
/proc/85955/statm: 4749237 24491 5465 1 0 553483 0
[pid=85955/tid=85965] ppid=85950 vsize=18996948 memory=0 CPUtime=2.53 cores=4,6
/proc/85955/task/85965/stat : 85965 (java) R 85950 85955 85904 0 -1 4194368 6059 0 111 0 248 5 0 0 20 0 19 0 75223638 19452874752 24491 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
[pid=85955/tid=85997] ppid=85950 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/85955/task/85997/stat : 85997 (Finalizer) S 85950 85955 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 75223655 19452874752 24491 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
[pid=85955/tid=86017] ppid=85950 vsize=18996948 memory=163177027 CPUtime=0 cores=4,6
/proc/85955/task/86017/stat : 86017 (Common-Cleaner) S 85950 85955 85904 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 75223657 19452874752 24491 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
[pid=85955/tid=86044] ppid=85950 vsize=18996948 memory=19456 CPUtime=0 cores=4,6
/proc/85955/task/86044/stat : 86044 (Timer-0) S 85950 85955 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 75223714 19452874752 24491 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
Current children cumulated CPU time: 4.82 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 97964 KiB

[startup+6.30047 s]
/proc/loadavg: 1.05 2.81 3.60 6/328 86049
/proc/meminfo: memFree=127011748/131382112 swapFree=33002444/33010684
[pid=85955] ppid=85950 vsize=18996948 memory=118480 CPUtime=8.15 cores=4,6
/proc/85955/stat : 85955 (java) S 85950 85955 85904 0 -1 4194304 25055 0 131 0 802 13 0 0 20 0 19 0 75223626 19452874752 29620 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
/proc/85955/statm: 4749237 29620 5465 1 0 553485 0
[pid=85955/tid=85965] ppid=85950 vsize=18996948 memory=12544 CPUtime=5.71 cores=4,6
/proc/85955/task/85965/stat : 85965 (java) R 85950 85955 85904 0 -1 4194368 6114 0 111 0 566 5 0 0 20 0 19 0 75223638 19452874752 29620 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
[pid=85955/tid=85997] ppid=85950 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/85955/task/85997/stat : 85997 (Finalizer) S 85950 85955 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 75223655 19452874752 29620 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
[pid=85955/tid=86017] ppid=85950 vsize=18996948 memory=11136 CPUtime=0 cores=4,6
/proc/85955/task/86017/stat : 86017 (Common-Cleaner) S 85950 85955 85904 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 75223657 19452874752 29620 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
[pid=85955/tid=86044] ppid=85950 vsize=18996948 memory=5632 CPUtime=0 cores=4,6
/proc/85955/task/86044/stat : 86044 (Timer-0) S 85950 85955 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 75223714 19452874752 29620 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
Current children cumulated CPU time: 8.15 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 118480 KiB

[startup+12.7005 s]
/proc/loadavg: 1.37 2.84 3.61 5/328 86050
/proc/meminfo: memFree=124474372/131382112 swapFree=33002444/33010684
[pid=85955] ppid=85950 vsize=18996948 memory=145232 CPUtime=14.57 cores=4,6
/proc/85955/stat : 85955 (java) S 85950 85955 85904 0 -1 4194304 26870 0 131 0 1442 15 0 0 20 0 19 0 75223626 19452874752 36308 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
/proc/85955/statm: 4749237 36308 5497 1 0 553485 0
[pid=85955/tid=85965] ppid=85950 vsize=18996948 memory=0 CPUtime=12.09 cores=4,6
/proc/85955/task/85965/stat : 85965 (java) R 85950 85955 85904 0 -1 4194368 7136 0 111 0 1203 6 0 0 20 0 19 0 75223638 19452874752 36308 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
[pid=85955/tid=85997] ppid=85950 vsize=18996948 memory=-6000919507065988967 CPUtime=0 cores=4,6
/proc/85955/task/85997/stat : 85997 (Finalizer) S 85950 85955 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 75223655 19452874752 36308 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
[pid=85955/tid=86017] ppid=85950 vsize=18996948 memory=122576 CPUtime=0 cores=4,6
/proc/85955/task/86017/stat : 86017 (Common-Cleaner) S 85950 85955 85904 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 75223657 19452874752 36308 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
[pid=85955/tid=86044] ppid=85950 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/85955/task/86044/stat : 86044 (Timer-0) S 85950 85955 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 75223714 19452874752 36308 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
Current children cumulated CPU time: 14.57 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 145232 KiB

[startup+25.5004 s]
/proc/loadavg: 2.03 2.92 3.62 5/329 86051
/proc/meminfo: memFree=121931000/131382112 swapFree=33002444/33010684
[pid=85955] ppid=85950 vsize=19063512 memory=182800 CPUtime=27.33 cores=4,6
/proc/85955/stat : 85955 (java) S 85950 85955 85904 0 -1 4194304 28539 0 131 0 2716 17 0 0 20 0 20 0 75223626 19521036288 45700 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
/proc/85955/statm: 4765878 45700 5561 1 0 553774 0
[pid=85955/tid=85965] ppid=85950 vsize=19063512 memory=12544 CPUtime=24.79 cores=4,6
/proc/85955/task/85965/stat : 85965 (java) R 85950 85955 85904 0 -1 4194368 7514 0 111 0 2472 7 0 0 20 0 20 0 75223638 19521036288 45700 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
[pid=85955/tid=85997] ppid=85950 vsize=19063512 memory=163664 CPUtime=0 cores=4,6
/proc/85955/task/85997/stat : 85997 (Finalizer) S 85950 85955 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75223655 19521036288 45700 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
[pid=85955/tid=86017] ppid=85950 vsize=19063512 memory=182800 CPUtime=0 cores=4,6
/proc/85955/task/86017/stat : 86017 (Common-Cleaner) S 85950 85955 85904 0 -1 4194368 55 0 0 0 0 0 0 0 20 0 20 0 75223657 19521036288 45700 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
[pid=85955/tid=86044] ppid=85950 vsize=19063512 memory=165712 CPUtime=0 cores=4,6
/proc/85955/task/86044/stat : 86044 (Timer-0) S 85950 85955 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75223714 19521036288 45700 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
Current children cumulated CPU time: 27.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 182800 KiB

[startup+51.1137 s]
/proc/loadavg: 2.76 3.02 3.64 6/330 86052
/proc/meminfo: memFree=118912756/131382112 swapFree=33002444/33010684
[pid=85955] ppid=85950 vsize=19063512 memory=191876 CPUtime=53.68 cores=4,6
/proc/85955/stat : 85955 (java) S 85950 85955 85904 0 -1 4194304 33818 0 131 0 5349 19 0 0 20 0 20 0 75223626 19521036288 47969 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
/proc/85955/statm: 4765878 47969 5561 1 0 554333 0
[pid=85955/tid=85965] ppid=85950 vsize=19063512 memory=-6000919507065988967 CPUtime=50.31 cores=4,6
/proc/85955/task/85965/stat : 85965 (java) R 85950 85955 85904 0 -1 4194368 8382 0 111 0 5024 7 0 0 20 0 20 0 75223638 19521036288 47969 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
[pid=85955/tid=85997] ppid=85950 vsize=19063512 memory=65 CPUtime=0 cores=4,6
/proc/85955/task/85997/stat : 85997 (Finalizer) S 85950 85955 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75223655 19521036288 47969 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
[pid=85955/tid=86017] ppid=85950 vsize=19063512 memory=11136 CPUtime=0 cores=4,6
/proc/85955/task/86017/stat : 86017 (Common-Cleaner) S 85950 85955 85904 0 -1 4194368 55 0 0 0 0 0 0 0 20 0 20 0 75223657 19521036288 47969 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
[pid=85955/tid=86044] ppid=85950 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/85955/task/86044/stat : 86044 (Timer-0) S 85950 85955 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75223714 19521036288 47969 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
Current children cumulated CPU time: 53.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 191876 KiB

[startup+60.1478 s]
# the end of solver process 85955 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=62.8983 s, system=0.219255 s

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

[startup+51.2006 s]
/proc/loadavg: 2.76 3.02 3.64 6/330 86052
/proc/meminfo: memFree=118912756/131382112 swapFree=33002444/33010684
[pid=85955] ppid=85950 vsize=19063512 memory=191876 CPUtime=53.76 cores=4,6
/proc/85955/stat : 85955 (java) S 85950 85955 85904 0 -1 4194304 33818 0 131 0 5357 19 0 0 20 0 20 0 75223626 19521036288 47969 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
/proc/85955/statm: 4765878 47969 5561 1 0 554333 0
[pid=85955/tid=85965] ppid=85950 vsize=19063512 memory=14464 CPUtime=50.4 cores=4,6
/proc/85955/task/85965/stat : 85965 (java) R 85950 85955 85904 0 -1 4194368 8382 0 111 0 5033 7 0 0 20 0 20 0 75223638 19521036288 47969 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
[pid=85955/tid=85997] ppid=85950 vsize=19063512 memory=191876 CPUtime=0 cores=4,6
/proc/85955/task/85997/stat : 85997 (Finalizer) S 85950 85955 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75223655 19521036288 47969 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
[pid=85955/tid=86017] ppid=85950 vsize=19063512 memory=12544 CPUtime=0 cores=4,6
/proc/85955/task/86017/stat : 86017 (Common-Cleaner) S 85950 85955 85904 0 -1 4194368 55 0 0 0 0 0 0 0 20 0 20 0 75223657 19521036288 47969 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
[pid=85955/tid=86044] ppid=85950 vsize=19063512 memory=191876 CPUtime=0 cores=4,6
/proc/85955/task/86044/stat : 86044 (Timer-0) S 85950 85955 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75223714 19521036288 47969 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
Current children cumulated CPU time: 53.76 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 191876 KiB

[startup+54.4005 s]
/proc/loadavg: 2.76 3.02 3.64 5/330 86052
/proc/meminfo: memFree=118494476/131382112 swapFree=33002444/33010684
[pid=85955] ppid=85950 vsize=19063512 memory=191876 CPUtime=57.36 cores=4,6
/proc/85955/stat : 85955 (java) S 85950 85955 85904 0 -1 4194304 33896 0 131 0 5716 20 0 0 20 0 20 0 75223626 19521036288 47969 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
/proc/85955/statm: 4765878 47969 5561 1 0 554333 0
[pid=85955/tid=85965] ppid=85950 vsize=19063512 memory=0 CPUtime=53.58 cores=4,6
/proc/85955/task/85965/stat : 85965 (java) R 85950 85955 85904 0 -1 4194368 8382 0 111 0 5351 7 0 0 20 0 20 0 75223638 19521036288 47969 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
[pid=85955/tid=85997] ppid=85950 vsize=19063512 memory=3467825727476808017 CPUtime=0 cores=4,6
/proc/85955/task/85997/stat : 85997 (Finalizer) S 85950 85955 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75223655 19521036288 47969 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
[pid=85955/tid=86017] ppid=85950 vsize=19063512 memory=191876 CPUtime=0 cores=4,6
/proc/85955/task/86017/stat : 86017 (Common-Cleaner) S 85950 85955 85904 0 -1 4194368 55 0 0 0 0 0 0 0 20 0 20 0 75223657 19521036288 47969 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
[pid=85955/tid=86044] ppid=85950 vsize=19063512 memory=191876 CPUtime=0 cores=4,6
/proc/85955/task/86044/stat : 86044 (Timer-0) S 85950 85955 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75223714 19521036288 47969 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
Current children cumulated CPU time: 57.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 191876 KiB

[startup+57.6004 s]
/proc/loadavg: 2.86 3.04 3.64 5/330 86052
/proc/meminfo: memFree=118205780/131382112 swapFree=33002444/33010684
[pid=85955] ppid=85950 vsize=19063512 memory=191876 CPUtime=60.55 cores=4,6
/proc/85955/stat : 85955 (java) S 85950 85955 85904 0 -1 4194304 33896 0 131 0 6035 20 0 0 20 0 20 0 75223626 19521036288 47969 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
/proc/85955/statm: 4765878 47969 5561 1 0 554333 0
[pid=85955/tid=85965] ppid=85950 vsize=19063512 memory=191876 CPUtime=56.77 cores=4,6
/proc/85955/task/85965/stat : 85965 (java) R 85950 85955 85904 0 -1 4194368 8382 0 111 0 5670 7 0 0 20 0 20 0 75223638 19521036288 47969 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
[pid=85955/tid=85997] ppid=85950 vsize=19063512 memory=5148 CPUtime=0 cores=4,6
/proc/85955/task/85997/stat : 85997 (Finalizer) S 85950 85955 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75223655 19521036288 47969 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
[pid=85955/tid=86017] ppid=85950 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/85955/task/86017/stat : 86017 (Common-Cleaner) S 85950 85955 85904 0 -1 4194368 55 0 0 0 0 0 0 0 20 0 20 0 75223657 19521036288 47969 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
[pid=85955/tid=86044] ppid=85950 vsize=19063512 memory=139629386793556 CPUtime=0 cores=4,6
/proc/85955/task/86044/stat : 86044 (Timer-0) S 85950 85955 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75223714 19521036288 47969 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
Current children cumulated CPU time: 60.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 191876 KiB

[startup+59.2005 s]
/proc/loadavg: 2.86 3.04 3.64 5/330 86052
/proc/meminfo: memFree=117763412/131382112 swapFree=33002444/33010684
[pid=85955] ppid=85950 vsize=19063512 memory=191876 CPUtime=62.15 cores=4,6
/proc/85955/stat : 85955 (java) S 85950 85955 85904 0 -1 4194304 33896 0 131 0 6195 20 0 0 20 0 20 0 75223626 19521036288 47969 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
/proc/85955/statm: 4765878 47969 5561 1 0 554333 0
[pid=85955/tid=85965] ppid=85950 vsize=19063512 memory=1920 CPUtime=58.37 cores=4,6
/proc/85955/task/85965/stat : 85965 (java) R 85950 85955 85904 0 -1 4194368 8382 0 111 0 5830 7 0 0 20 0 20 0 75223638 19521036288 47969 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
[pid=85955/tid=85997] ppid=85950 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/85955/task/85997/stat : 85997 (Finalizer) S 85950 85955 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75223655 19521036288 47969 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
[pid=85955/tid=86017] ppid=85950 vsize=19063512 memory=14464 CPUtime=0 cores=4,6
/proc/85955/task/86017/stat : 86017 (Common-Cleaner) S 85950 85955 85904 0 -1 4194368 55 0 0 0 0 0 0 0 20 0 20 0 75223657 19521036288 47969 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
[pid=85955/tid=86044] ppid=85950 vsize=19063512 memory=11136 CPUtime=0 cores=4,6
/proc/85955/task/86044/stat : 86044 (Timer-0) S 85950 85955 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75223714 19521036288 47969 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
Current children cumulated CPU time: 62.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 191876 KiB

[startup+59.6004 s]
/proc/loadavg: 2.86 3.04 3.64 5/330 86052
/proc/meminfo: memFree=117763412/131382112 swapFree=33002444/33010684
[pid=85955] ppid=85950 vsize=19063512 memory=191876 CPUtime=62.55 cores=4,6
/proc/85955/stat : 85955 (java) S 85950 85955 85904 0 -1 4194304 33896 0 131 0 6235 20 0 0 20 0 20 0 75223626 19521036288 47969 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
/proc/85955/statm: 4765878 47969 5561 1 0 554333 0
[pid=85955/tid=85965] ppid=85950 vsize=19063512 memory=-6000919507065988967 CPUtime=58.77 cores=4,6
/proc/85955/task/85965/stat : 85965 (java) R 85950 85955 85904 0 -1 4194368 8382 0 111 0 5870 7 0 0 20 0 20 0 75223638 19521036288 47969 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
[pid=85955/tid=85997] ppid=85950 vsize=19063512 memory=5148 CPUtime=0 cores=4,6
/proc/85955/task/85997/stat : 85997 (Finalizer) S 85950 85955 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75223655 19521036288 47969 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
[pid=85955/tid=86017] ppid=85950 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/85955/task/86017/stat : 86017 (Common-Cleaner) S 85950 85955 85904 0 -1 4194368 55 0 0 0 0 0 0 0 20 0 20 0 75223657 19521036288 47969 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
[pid=85955/tid=86044] ppid=85950 vsize=19063512 memory=4760 CPUtime=0 cores=4,6
/proc/85955/task/86044/stat : 86044 (Timer-0) S 85950 85955 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75223714 19521036288 47969 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
Current children cumulated CPU time: 62.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 191876 KiB

[startup+60.0004 s]*
/proc/loadavg: 2.95 3.05 3.64 5/330 86057
/proc/meminfo: memFree=117613776/131382112 swapFree=33002444/33010684
[pid=85955] ppid=85950 vsize=19063512 memory=191876 CPUtime=62.96 cores=4,6
/proc/85955/stat : 85955 (java) S 85950 85955 85904 0 -1 4194304 33907 0 131 0 6276 20 0 0 20 0 20 0 75223626 19521036288 47969 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
/proc/85955/statm: 4765878 47969 5561 1 0 554333 0
[pid=85955/tid=85965] ppid=85950 vsize=19063512 memory=46592 CPUtime=59.18 cores=4,6
/proc/85955/task/85965/stat : 85965 (java) R 85950 85955 85904 0 -1 4194368 8389 0 111 0 5911 7 0 0 20 0 20 0 75223638 19521036288 47969 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
[pid=85955/tid=85997] ppid=85950 vsize=19063512 memory=-6000919498526975591 CPUtime=0 cores=4,6
/proc/85955/task/85997/stat : 85997 (Finalizer) S 85950 85955 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75223655 19521036288 47969 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
[pid=85955/tid=86017] ppid=85950 vsize=19063512 memory=245635481903 CPUtime=0 cores=4,6
/proc/85955/task/86017/stat : 86017 (Common-Cleaner) S 85950 85955 85904 0 -1 4194368 55 0 0 0 0 0 0 0 20 0 20 0 75223657 19521036288 47969 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
[pid=85955/tid=86044] ppid=85950 vsize=19063512 memory=54113165640434 CPUtime=0 cores=4,6
/proc/85955/task/86044/stat : 86044 (Timer-0) S 85950 85955 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75223714 19521036288 47969 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
Current children cumulated CPU time: 62.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 191876 KiB

[startup+60.1137 s]
/proc/loadavg: 2.95 3.05 3.64 5/330 86057
/proc/meminfo: memFree=117613776/131382112 swapFree=33002444/33010684
[pid=85955] ppid=85950 vsize=19196640 memory=192388 CPUtime=63.08 cores=4,6
/proc/85955/stat : 85955 (java) S 85950 85955 85904 0 -1 4194304 35091 0 131 0 6288 20 0 0 20 0 20 0 75223626 19657359360 48097 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
/proc/85955/statm: 4799160 48097 5561 1 0 554983 0
[pid=85955/tid=85965] ppid=85950 vsize=19196640 memory=14464 CPUtime=59.23 cores=4,6
/proc/85955/task/85965/stat : 85965 (java) S 85950 85955 85904 0 -1 4194368 9120 0 111 0 5916 7 0 0 20 0 20 0 75223638 19657359360 48097 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
[pid=85955/tid=85997] ppid=85950 vsize=19196640 memory=14848 CPUtime=0 cores=4,6
/proc/85955/task/85997/stat : 85997 (Finalizer) S 85950 85955 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75223655 19657359360 48097 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
[pid=85955/tid=86017] ppid=85950 vsize=19196640 memory=191876 CPUtime=0 cores=4,6
/proc/85955/task/86017/stat : 86017 (Common-Cleaner) S 85950 85955 85904 0 -1 4194368 55 0 0 0 0 0 0 0 20 0 20 0 75223657 19657359360 48097 18446744073709551615 94547547611136 94547547614832 140732454081840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94547547622648 94547547623440 94547555590144 140732454087041 140732454087142 140732454087142 140732454092744 0
Current children cumulated CPU time: 63.08 s
Current children cumulated vsize: 19196640 KiB
Current children cumulated memory: 192388 KiB

Child status: 30

Real time (s): 60.1479
CPU time (s): 63.1175
CPU user time (s): 62.8983
CPU system time (s): 0.219255
CPU usage (%): 104.937
Max. virtual memory (cumulated for all children) (KiB): 19196640
Max. memory (cumulated for all children) (KiB): 192388

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 62.8983
system time used= 0.219255
maximum resident set size= 192772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35277
page faults= 131
swaps= 0
block input operations= 5368
block output operations= 96
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3143
involuntary context switches= 1326


# summary of solver processes directly reported to runsolver:
#   pid: 85955
#   total CPU time (s): 63.1175
#   total CPU user time (s): 62.8983
#   total CPU system time (s): 0.219255

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.362884 second user time and 0.723568 second system time

The end