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 (61487 MiB free)
memory of node 1: 64507 MiB (60204 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4510121-1751197829/watcher-4510121-1751197829 -o /tmp/evaluation-result-4510121-1751197829/solver-4510121-1751197829 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751194066-23528 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4510121-1751197829 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4510121-1751197829.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 FSIZE limit: 102400000 KiB
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
Current StackSize limit: 8192 KiB
solver pid=24582, runsolver pid=24579
[startup+0.100069 s]*
/proc/loadavg: 4.13 4.23 4.24 5/335 24600
/proc/meminfo: memFree=124587108/131382120 swapFree=33010684/33010684
[pid=24582] ppid=24579 vsize=18930384 memory=51088 CPUtime=0.11 cores=0,2
/proc/24582/stat : 24582 (java) S 24579 24582 23518 0 -1 4194304 5919 0 0 0 9 2 0 0 20 0 18 0 35462283 19384713216 12772 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
/proc/24582/statm: 4732596 12772 5335 1 0 547122 0
[pid=24582/tid=24584] ppid=24579 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/24582/task/24584/stat : 24584 (java) R 24579 24582 23518 0 -1 4194368 4818 0 0 0 6 1 0 0 20 0 18 0 35462284 19384713216 12772 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
[pid=24582/tid=24593] ppid=24579 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/24582/task/24593/stat : 24593 (Finalizer) S 24579 24582 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35462287 19384713216 12772 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
[pid=24582/tid=24600] ppid=24579 vsize=18930384 memory=58494082626307 CPUtime=0 cores=0,2
/proc/24582/task/24600/stat : 24600 (Common-Cleaner) S 24579 24582 23518 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 35462288 19384713216 12772 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51088 KiB
[startup+0.214113 s]*
/proc/loadavg: 4.13 4.23 4.24 5/335 24600
/proc/meminfo: memFree=124579232/131382120 swapFree=33010684/33010684
[pid=24582] ppid=24579 vsize=18930384 memory=59628 CPUtime=0.26 cores=0,2
/proc/24582/stat : 24582 (java) S 24579 24582 23518 0 -1 4194304 6530 0 0 0 23 3 0 0 20 0 18 0 35462283 19384713216 14907 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
/proc/24582/statm: 4732596 14907 5367 1 0 547659 0
[pid=24582/tid=24584] ppid=24579 vsize=18930384 memory=4026597660 CPUtime=0.18 cores=0,2
/proc/24582/task/24584/stat : 24584 (java) R 24579 24582 23518 0 -1 4194368 5095 0 0 0 16 2 0 0 20 0 18 0 35462284 19384713216 14907 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
[pid=24582/tid=24593] ppid=24579 vsize=18930384 memory=12896 CPUtime=0 cores=0,2
/proc/24582/task/24593/stat : 24593 (Finalizer) S 24579 24582 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35462287 19384713216 14907 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
[pid=24582/tid=24600] ppid=24579 vsize=18930384 memory=57394570986489 CPUtime=0 cores=0,2
/proc/24582/task/24600/stat : 24600 (Common-Cleaner) S 24579 24582 23518 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 35462288 19384713216 14907 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59628 KiB
[startup+0.313992 s]*
/proc/loadavg: 4.13 4.23 4.24 7/335 24600
/proc/meminfo: memFree=124578224/131382120 swapFree=33010684/33010684
[pid=24582] ppid=24579 vsize=18930384 memory=60780 CPUtime=0.42 cores=0,2
/proc/24582/stat : 24582 (java) S 24579 24582 23518 0 -1 4194304 6755 0 0 0 38 4 0 0 20 0 18 0 35462283 19384713216 15195 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
/proc/24582/statm: 4732596 15195 5431 1 0 547835 0
[pid=24582/tid=24584] ppid=24579 vsize=18930384 memory=-6000919468377991277 CPUtime=0.27 cores=0,2
/proc/24582/task/24584/stat : 24584 (java) R 24579 24582 23518 0 -1 4194368 5250 0 0 0 25 2 0 0 20 0 18 0 35462284 19384713216 15195 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
[pid=24582/tid=24593] ppid=24579 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/24582/task/24593/stat : 24593 (Finalizer) S 24579 24582 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35462287 19384713216 15195 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
[pid=24582/tid=24600] ppid=24579 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/24582/task/24600/stat : 24600 (Common-Cleaner) S 24579 24582 23518 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 35462288 19384713216 15195 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 60780 KiB
[startup+0.70029 s]
/proc/loadavg: 4.13 4.23 4.24 6/336 24601
/proc/meminfo: memFree=124559952/131382120 swapFree=33010684/33010684
[pid=24582] ppid=24579 vsize=18996948 memory=96856 CPUtime=1.11 cores=0,2
/proc/24582/stat : 24582 (java) S 24579 24582 23518 0 -1 4194304 9641 0 0 0 106 5 0 0 20 0 19 0 35462283 19452874752 24214 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
/proc/24582/statm: 4749237 24214 5431 1 0 549969 0
[pid=24582/tid=24584] ppid=24579 vsize=18996948 memory=17152 CPUtime=0.6 cores=0,2
/proc/24582/task/24584/stat : 24584 (java) R 24579 24582 23518 0 -1 4194368 5347 0 0 0 57 3 0 0 20 0 19 0 35462284 19452874752 24214 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
[pid=24582/tid=24593] ppid=24579 vsize=18996948 memory=11136 CPUtime=0 cores=0,2
/proc/24582/task/24593/stat : 24593 (Finalizer) S 24579 24582 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35462287 19452874752 24214 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
[pid=24582/tid=24600] ppid=24579 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/24582/task/24600/stat : 24600 (Common-Cleaner) S 24579 24582 23518 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 35462288 19452874752 24214 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
[pid=24582/tid=24601] ppid=24579 vsize=18996948 memory=4752 CPUtime=0 cores=0,2
/proc/24582/task/24601/stat : 24601 (Timer-0) S 24579 24582 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35462319 19452874752 24214 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 96856 KiB
[startup+1.50023 s]
/proc/loadavg: 4.13 4.23 4.24 6/336 24601
/proc/meminfo: memFree=124474500/131382120 swapFree=33010684/33010684
[pid=24582] ppid=24579 vsize=19063512 memory=172624 CPUtime=2.69 cores=0,2
/proc/24582/stat : 24582 (java) S 24579 24582 23518 0 -1 4194304 18395 0 0 0 259 10 0 0 20 0 20 0 35462283 19521036288 43156 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
/proc/24582/statm: 4765878 43156 5463 1 0 553052 0
[pid=24582/tid=24584] ppid=24579 vsize=19063512 memory=0 CPUtime=1.37 cores=0,2
/proc/24582/task/24584/stat : 24584 (java) R 24579 24582 23518 0 -1 4194368 5784 0 0 0 132 5 0 0 20 0 20 0 35462284 19521036288 43156 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
[pid=24582/tid=24593] ppid=24579 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/24582/task/24593/stat : 24593 (Finalizer) S 24579 24582 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35462287 19521036288 43156 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
[pid=24582/tid=24600] ppid=24579 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/24582/task/24600/stat : 24600 (Common-Cleaner) S 24579 24582 23518 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 35462288 19521036288 43156 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
[pid=24582/tid=24601] ppid=24579 vsize=19063512 memory=4752 CPUtime=0 cores=0,2
/proc/24582/task/24601/stat : 24601 (Timer-0) S 24579 24582 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35462319 19521036288 43156 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
Current children cumulated CPU time: 2.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 172624 KiB
[startup+3.10707 s]
/proc/loadavg: 4.13 4.23 4.24 5/337 24602
/proc/meminfo: memFree=124341144/131382120 swapFree=33010684/33010684
[pid=24582] ppid=24579 vsize=19063512 memory=231764 CPUtime=4.99 cores=0,2
/proc/24582/stat : 24582 (java) S 24579 24582 23518 0 -1 4194304 20705 0 0 0 486 13 0 0 20 0 20 0 35462283 19521036288 57941 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
/proc/24582/statm: 4765878 57941 5463 1 0 553379 0
[pid=24582/tid=24584] ppid=24579 vsize=19063512 memory=11136 CPUtime=2.95 cores=0,2
/proc/24582/task/24584/stat : 24584 (java) R 24579 24582 23518 0 -1 4194368 6144 0 0 0 288 7 0 0 20 0 20 0 35462284 19521036288 57941 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
[pid=24582/tid=24593] ppid=24579 vsize=19063512 memory=-6000919468377991277 CPUtime=0 cores=0,2
/proc/24582/task/24593/stat : 24593 (Finalizer) S 24579 24582 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35462287 19521036288 57941 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
[pid=24582/tid=24600] ppid=24579 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/24582/task/24600/stat : 24600 (Common-Cleaner) S 24579 24582 23518 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 35462288 19521036288 57941 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
[pid=24582/tid=24601] ppid=24579 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/24582/task/24601/stat : 24601 (Timer-0) S 24579 24582 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35462319 19521036288 57941 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
Current children cumulated CPU time: 4.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 231764 KiB
[startup+6.30044 s]
/proc/loadavg: 4.12 4.22 4.24 5/337 24602
/proc/meminfo: memFree=124061004/131382120 swapFree=33010684/33010684
[pid=24582] ppid=24579 vsize=19063512 memory=431808 CPUtime=8.64 cores=0,2
/proc/24582/stat : 24582 (java) S 24579 24582 23518 0 -1 4194304 21480 0 0 0 844 20 0 0 20 0 20 0 35462283 19521036288 107952 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
/proc/24582/statm: 4765878 107952 5463 1 0 553380 0
[pid=24582/tid=24584] ppid=24579 vsize=19063512 memory=0 CPUtime=6.13 cores=0,2
/proc/24582/task/24584/stat : 24584 (java) R 24579 24582 23518 0 -1 4194368 6605 0 0 0 598 15 0 0 20 0 20 0 35462284 19521036288 107952 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
[pid=24582/tid=24593] ppid=24579 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/24582/task/24593/stat : 24593 (Finalizer) S 24579 24582 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35462287 19521036288 107952 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
[pid=24582/tid=24600] ppid=24579 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/24582/task/24600/stat : 24600 (Common-Cleaner) S 24579 24582 23518 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 35462288 19521036288 107952 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
[pid=24582/tid=24601] ppid=24579 vsize=19063512 memory=173904 CPUtime=0 cores=0,2
/proc/24582/task/24601/stat : 24601 (Timer-0) S 24579 24582 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35462319 19521036288 107952 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
Current children cumulated CPU time: 8.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 431808 KiB
[startup+12.7005 s]
/proc/loadavg: 4.11 4.22 4.23 5/337 24602
/proc/meminfo: memFree=122660516/131382120 swapFree=33010684/33010684
[pid=24582] ppid=24579 vsize=19063512 memory=1304284 CPUtime=15.04 cores=0,2
/proc/24582/stat : 24582 (java) S 24579 24582 23518 0 -1 4194304 24085 0 0 0 1458 46 0 0 20 0 20 0 35462283 19521036288 326071 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
/proc/24582/statm: 4765878 326071 5463 1 0 553380 0
[pid=24582/tid=24584] ppid=24579 vsize=19063512 memory=173904 CPUtime=12.45 cores=0,2
/proc/24582/task/24584/stat : 24584 (java) R 24579 24582 23518 0 -1 4194368 7747 0 0 0 1206 39 0 0 20 0 20 0 35462284 19521036288 326071 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
[pid=24582/tid=24593] ppid=24579 vsize=19063512 memory=1304284 CPUtime=0 cores=0,2
/proc/24582/task/24593/stat : 24593 (Finalizer) S 24579 24582 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35462287 19521036288 326071 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
[pid=24582/tid=24600] ppid=24579 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/24582/task/24600/stat : 24600 (Common-Cleaner) S 24579 24582 23518 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 35462288 19521036288 326071 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
[pid=24582/tid=24601] ppid=24579 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/24582/task/24601/stat : 24601 (Timer-0) S 24579 24582 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35462319 19521036288 326071 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
Current children cumulated CPU time: 15.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1304284 KiB
[startup+25.5005 s]
/proc/loadavg: 4.24 4.24 4.24 5/337 24603
/proc/meminfo: memFree=122381840/131382120 swapFree=33010684/33010684
[pid=24582] ppid=24579 vsize=19063512 memory=1310440 CPUtime=27.81 cores=0,2
/proc/24582/stat : 24582 (java) S 24579 24582 23518 0 -1 4194304 26270 0 0 0 2722 59 0 0 20 0 20 0 35462283 19521036288 327610 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
/proc/24582/statm: 4765878 327610 5463 1 0 553380 0
[pid=24582/tid=24584] ppid=24579 vsize=19063512 memory=-6000919468377991277 CPUtime=25.16 cores=0,2
/proc/24582/task/24584/stat : 24584 (java) R 24579 24582 23518 0 -1 4194368 8967 0 0 0 2464 52 0 0 20 0 20 0 35462284 19521036288 327610 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
[pid=24582/tid=24593] ppid=24579 vsize=19063512 memory=1310440 CPUtime=0 cores=0,2
/proc/24582/task/24593/stat : 24593 (Finalizer) S 24579 24582 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35462287 19521036288 327610 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
[pid=24582/tid=24600] ppid=24579 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/24582/task/24600/stat : 24600 (Common-Cleaner) S 24579 24582 23518 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 35462288 19521036288 327610 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
[pid=24582/tid=24601] ppid=24579 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/24582/task/24601/stat : 24601 (Timer-0) S 24579 24582 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35462319 19521036288 327610 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
Current children cumulated CPU time: 27.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1310440 KiB
[startup+51.1139 s]
/proc/loadavg: 4.16 4.22 4.23 6/337 24604
/proc/meminfo: memFree=121886712/131382120 swapFree=33010684/33010684
[pid=24582] ppid=24579 vsize=19063512 memory=1326700 CPUtime=53.81 cores=0,2
/proc/24582/stat : 24582 (java) S 24579 24582 23518 0 -1 4194304 32545 0 0 0 5300 81 0 0 20 0 20 0 35462283 19521036288 331675 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
/proc/24582/statm: 4765878 331675 5463 1 0 553380 0
[pid=24582/tid=24584] ppid=24579 vsize=19063512 memory=1316444 CPUtime=50.42 cores=0,2
/proc/24582/task/24584/stat : 24584 (java) R 24579 24582 23518 0 -1 4194368 9976 0 0 0 4970 72 0 0 20 0 20 0 35462284 19521036288 331675 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
[pid=24582/tid=24593] ppid=24579 vsize=19063512 memory=14304 CPUtime=0 cores=0,2
/proc/24582/task/24593/stat : 24593 (Finalizer) S 24579 24582 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35462287 19521036288 331675 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
################
# More data... #
################
/proc/24582/task/24600/stat : 24600 (Common-Cleaner) S 24579 24582 23518 0 -1 4194368 1738 0 0 0 0 0 0 0 20 0 20 0 35462288 19521036288 532039 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
[pid=24582/tid=24601] ppid=24579 vsize=19063512 memory=2128156 CPUtime=0 cores=0,2
/proc/24582/task/24601/stat : 24601 (Timer-0) S 24579 24582 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35462319 19521036288 532039 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
Current children cumulated CPU time: 3157.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2128156 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.16 4.17 5/333 24784
/proc/meminfo: memFree=86009424/131382120 swapFree=33010684/33010684
[pid=24582] ppid=24579 vsize=19063512 memory=2128156 CPUtime=3217.72 cores=0,2
/proc/24582/stat : 24582 (java) S 24579 24582 23518 0 -1 4194304 108920 0 0 0 320845 927 0 0 20 0 20 0 35462283 19521036288 532039 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
/proc/24582/statm: 4765878 532039 5495 1 0 554899 0
[pid=24582/tid=24584] ppid=24579 vsize=19063512 memory=2128156 CPUtime=3194.75 cores=0,2
/proc/24582/task/24584/stat : 24584 (java) R 24579 24582 23518 0 -1 4194368 38927 0 0 0 318719 756 0 0 20 0 20 0 35462284 19521036288 532039 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
[pid=24582/tid=24593] ppid=24579 vsize=19063512 memory=4252 CPUtime=0 cores=0,2
/proc/24582/task/24593/stat : 24593 (Finalizer) S 24579 24582 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35462287 19521036288 532039 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
[pid=24582/tid=24600] ppid=24579 vsize=19063512 memory=2128156 CPUtime=0 cores=0,2
/proc/24582/task/24600/stat : 24600 (Common-Cleaner) S 24579 24582 23518 0 -1 4194368 1738 0 0 0 0 0 0 0 20 0 20 0 35462288 19521036288 532039 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
[pid=24582/tid=24601] ppid=24579 vsize=19063512 memory=2128156 CPUtime=0 cores=0,2
/proc/24582/task/24601/stat : 24601 (Timer-0) S 24579 24582 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35462319 19521036288 532039 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
Current children cumulated CPU time: 3217.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2128156 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.17 4.18 5/332 24786
/proc/meminfo: memFree=85569576/131382120 swapFree=33010684/33010684
[pid=24582] ppid=24579 vsize=19063512 memory=2128284 CPUtime=3278.17 cores=0,2
/proc/24582/stat : 24582 (java) S 24579 24582 23518 0 -1 4194304 114211 0 0 0 326880 937 0 0 20 0 20 0 35462283 19521036288 532071 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
/proc/24582/statm: 4765878 532071 5495 1 0 554899 0
[pid=24582/tid=24584] ppid=24579 vsize=19063512 memory=2128284 CPUtime=3254.47 cores=0,2
/proc/24582/task/24584/stat : 24584 (java) R 24579 24582 23518 0 -1 4194368 39997 0 0 0 324685 762 0 0 20 0 20 0 35462284 19521036288 532071 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
[pid=24582/tid=24593] ppid=24579 vsize=19063512 memory=14304 CPUtime=0 cores=0,2
/proc/24582/task/24593/stat : 24593 (Finalizer) S 24579 24582 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35462287 19521036288 532071 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
[pid=24582/tid=24600] ppid=24579 vsize=19063512 memory=12416 CPUtime=0 cores=0,2
/proc/24582/task/24600/stat : 24600 (Common-Cleaner) S 24579 24582 23518 0 -1 4194368 1738 0 0 0 0 0 0 0 20 0 20 0 35462288 19521036288 532071 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
[pid=24582/tid=24601] ppid=24579 vsize=19063512 memory=1792 CPUtime=0 cores=0,2
/proc/24582/task/24601/stat : 24601 (Timer-0) S 24579 24582 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35462319 19521036288 532071 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
Current children cumulated CPU time: 3278.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2128284 KiB
[startup+3297.93 s]
# the end of solver process 24582 was just reported to runsolver
# Child status: 20
# cumulated CPU time of all completed processes: user=3284.4 s, system=9.41426 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3289.6 s]
/proc/loadavg: 4.21 4.18 4.18 5/332 24786
/proc/meminfo: memFree=85522212/131382120 swapFree=33010684/33010684
[pid=24582] ppid=24579 vsize=19063512 memory=2128284 CPUtime=3285.46 cores=0,2
/proc/24582/stat : 24582 (java) S 24579 24582 23518 0 -1 4194304 114374 0 0 0 327608 938 0 0 20 0 20 0 35462283 19521036288 532071 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
/proc/24582/statm: 4765878 532071 5495 1 0 554899 0
[pid=24582/tid=24584] ppid=24579 vsize=19063512 memory=2128284 CPUtime=3261.74 cores=0,2
/proc/24582/task/24584/stat : 24584 (java) R 24579 24582 23518 0 -1 4194368 40093 0 0 0 325412 762 0 0 20 0 20 0 35462284 19521036288 532071 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
[pid=24582/tid=24593] ppid=24579 vsize=19063512 memory=17152 CPUtime=0 cores=0,2
/proc/24582/task/24593/stat : 24593 (Finalizer) S 24579 24582 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35462287 19521036288 532071 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
[pid=24582/tid=24600] ppid=24579 vsize=19063512 memory=46464 CPUtime=0 cores=0,2
/proc/24582/task/24600/stat : 24600 (Common-Cleaner) S 24579 24582 23518 0 -1 4194368 1738 0 0 0 0 0 0 0 20 0 20 0 35462288 19521036288 532071 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
[pid=24582/tid=24601] ppid=24579 vsize=19063512 memory=4252 CPUtime=0 cores=0,2
/proc/24582/task/24601/stat : 24601 (Timer-0) S 24579 24582 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35462319 19521036288 532071 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
Current children cumulated CPU time: 3285.46 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2128284 KiB
[startup+3292.8 s]
/proc/loadavg: 4.21 4.18 4.18 5/332 24786
/proc/meminfo: memFree=85517736/131382120 swapFree=33010684/33010684
[pid=24582] ppid=24579 vsize=19063512 memory=2128284 CPUtime=3288.65 cores=0,2
/proc/24582/stat : 24582 (java) S 24579 24582 23518 0 -1 4194304 114381 0 0 0 327927 938 0 0 20 0 20 0 35462283 19521036288 532071 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
/proc/24582/statm: 4765878 532071 5495 1 0 554899 0
[pid=24582/tid=24584] ppid=24579 vsize=19063512 memory=17152 CPUtime=3264.93 cores=0,2
/proc/24582/task/24584/stat : 24584 (java) R 24579 24582 23518 0 -1 4194368 40100 0 0 0 325731 762 0 0 20 0 20 0 35462284 19521036288 532071 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
[pid=24582/tid=24593] ppid=24579 vsize=19063512 memory=2128284 CPUtime=0 cores=0,2
/proc/24582/task/24593/stat : 24593 (Finalizer) S 24579 24582 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35462287 19521036288 532071 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
[pid=24582/tid=24600] ppid=24579 vsize=19063512 memory=14304 CPUtime=0 cores=0,2
/proc/24582/task/24600/stat : 24600 (Common-Cleaner) S 24579 24582 23518 0 -1 4194368 1738 0 0 0 0 0 0 0 20 0 20 0 35462288 19521036288 532071 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
[pid=24582/tid=24601] ppid=24579 vsize=19063512 memory=14304 CPUtime=0 cores=0,2
/proc/24582/task/24601/stat : 24601 (Timer-0) S 24579 24582 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35462319 19521036288 532071 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
Current children cumulated CPU time: 3288.65 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2128284 KiB
[startup+3296 s]*
/proc/loadavg: 4.19 4.18 4.18 5/332 24786
/proc/meminfo: memFree=85485492/131382120 swapFree=33010684/33010684
[pid=24582] ppid=24579 vsize=19063512 memory=2128284 CPUtime=3291.86 cores=0,2
/proc/24582/stat : 24582 (java) S 24579 24582 23518 0 -1 4194304 114442 0 0 0 328247 939 0 0 20 0 20 0 35462283 19521036288 532071 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
/proc/24582/statm: 4765878 532071 5495 1 0 554899 0
[pid=24582/tid=24584] ppid=24579 vsize=19063512 memory=-6000919468377991277 CPUtime=3268.14 cores=0,2
/proc/24582/task/24584/stat : 24584 (java) R 24579 24582 23518 0 -1 4194368 40161 0 0 0 326051 763 0 0 20 0 20 0 35462284 19521036288 532071 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
[pid=24582/tid=24593] ppid=24579 vsize=19063512 memory=-4421386504753801061 CPUtime=0 cores=0,2
/proc/24582/task/24593/stat : 24593 (Finalizer) S 24579 24582 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35462287 19521036288 532071 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
[pid=24582/tid=24600] ppid=24579 vsize=19063512 memory=2944 CPUtime=0 cores=0,2
/proc/24582/task/24600/stat : 24600 (Common-Cleaner) S 24579 24582 23518 0 -1 4194368 1738 0 0 0 0 0 0 0 20 0 20 0 35462288 19521036288 532071 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
[pid=24582/tid=24601] ppid=24579 vsize=19063512 memory=6784 CPUtime=0 cores=0,2
/proc/24582/task/24601/stat : 24601 (Timer-0) S 24579 24582 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35462319 19521036288 532071 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
Current children cumulated CPU time: 3291.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2128284 KiB
[startup+3296.8 s]
/proc/loadavg: 4.19 4.18 4.18 5/332 24786
/proc/meminfo: memFree=85485492/131382120 swapFree=33010684/33010684
[pid=24582] ppid=24579 vsize=19063512 memory=2128284 CPUtime=3292.65 cores=0,2
/proc/24582/stat : 24582 (java) S 24579 24582 23518 0 -1 4194304 114444 0 0 0 328326 939 0 0 20 0 20 0 35462283 19521036288 532071 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
/proc/24582/statm: 4765878 532071 5495 1 0 554899 0
[pid=24582/tid=24584] ppid=24579 vsize=19063512 memory=-6000919468377991277 CPUtime=3268.93 cores=0,2
/proc/24582/task/24584/stat : 24584 (java) R 24579 24582 23518 0 -1 4194368 40163 0 0 0 326130 763 0 0 20 0 20 0 35462284 19521036288 532071 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
[pid=24582/tid=24593] ppid=24579 vsize=19063512 memory=2724 CPUtime=0 cores=0,2
/proc/24582/task/24593/stat : 24593 (Finalizer) S 24579 24582 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35462287 19521036288 532071 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
[pid=24582/tid=24600] ppid=24579 vsize=19063512 memory=17316 CPUtime=0 cores=0,2
/proc/24582/task/24600/stat : 24600 (Common-Cleaner) S 24579 24582 23518 0 -1 4194368 1738 0 0 0 0 0 0 0 20 0 20 0 35462288 19521036288 532071 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
[pid=24582/tid=24601] ppid=24579 vsize=19063512 memory=9344 CPUtime=0 cores=0,2
/proc/24582/task/24601/stat : 24601 (Timer-0) S 24579 24582 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35462319 19521036288 532071 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
Current children cumulated CPU time: 3292.65 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2128284 KiB
[startup+3297.6 s]
/proc/loadavg: 4.19 4.18 4.18 5/332 24786
/proc/meminfo: memFree=85477428/131382120 swapFree=33010684/33010684
[pid=24582] ppid=24579 vsize=19063512 memory=2128284 CPUtime=3293.44 cores=0,2
/proc/24582/stat : 24582 (java) S 24579 24582 23518 0 -1 4194304 114444 0 0 0 328405 939 0 0 20 0 20 0 35462283 19521036288 532071 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
/proc/24582/statm: 4765878 532071 5495 1 0 554899 0
[pid=24582/tid=24584] ppid=24579 vsize=19063512 memory=2128284 CPUtime=3269.72 cores=0,2
/proc/24582/task/24584/stat : 24584 (java) R 24579 24582 23518 0 -1 4194368 40163 0 0 0 326209 763 0 0 20 0 20 0 35462284 19521036288 532071 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
[pid=24582/tid=24593] ppid=24579 vsize=19063512 memory=12416 CPUtime=0 cores=0,2
/proc/24582/task/24593/stat : 24593 (Finalizer) S 24579 24582 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35462287 19521036288 532071 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
[pid=24582/tid=24600] ppid=24579 vsize=19063512 memory=-6000919468377991277 CPUtime=0 cores=0,2
/proc/24582/task/24600/stat : 24600 (Common-Cleaner) S 24579 24582 23518 0 -1 4194368 1738 0 0 0 0 0 0 0 20 0 20 0 35462288 19521036288 532071 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
[pid=24582/tid=24601] ppid=24579 vsize=19063512 memory=5760 CPUtime=0 cores=0,2
/proc/24582/task/24601/stat : 24601 (Timer-0) S 24579 24582 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35462319 19521036288 532071 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
Current children cumulated CPU time: 3293.44 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2128284 KiB
[startup+3297.8 s]
/proc/loadavg: 4.19 4.18 4.18 5/332 24786
/proc/meminfo: memFree=85477428/131382120 swapFree=33010684/33010684
[pid=24582] ppid=24579 vsize=19196640 memory=2128924 CPUtime=3293.65 cores=0,2
/proc/24582/stat : 24582 (java) S 24579 24582 23518 0 -1 4194304 116235 0 0 0 328426 939 0 0 20 0 20 0 35462283 19657359360 532231 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
/proc/24582/statm: 4799160 532231 5527 1 0 555520 0
[pid=24582/tid=24584] ppid=24579 vsize=19196640 memory=3200 CPUtime=3269.87 cores=0,2
/proc/24582/task/24584/stat : 24584 (java) S 24579 24582 23518 0 -1 4194368 41533 0 0 0 326224 763 0 0 20 0 20 0 35462284 19657359360 532231 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
[pid=24582/tid=24593] ppid=24579 vsize=19196640 memory=-6000919468377991277 CPUtime=0 cores=0,2
/proc/24582/task/24593/stat : 24593 (Finalizer) S 24579 24582 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35462287 19657359360 532231 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
[pid=24582/tid=24600] ppid=24579 vsize=19196640 memory=3200 CPUtime=0 cores=0,2
/proc/24582/task/24600/stat : 24600 (Common-Cleaner) S 24579 24582 23518 0 -1 4194368 1738 0 0 0 0 0 0 0 20 0 20 0 35462288 19657359360 532231 18446744073709551615 94234914054144 94234914057840 140727386381072 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94234914065656 94234914066448 94234944679936 140727386384688 140727386384870 140727386384870 140727386390472 0
Current children cumulated CPU time: 3293.65 s
Current children cumulated vsize: 19196640 KiB
Current children cumulated memory: 2128924 KiB
Child status: 20
Real time (s): 3297.93
CPU time (s): 3293.82
CPU user time (s): 3284.4
CPU system time (s): 9.41426
CPU usage (%): 99.8751
Max. virtual memory (cumulated for all children) (KiB): 19196640
Max. memory (cumulated for all children) (KiB): 2134016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3284.4
system time used= 9.41426
maximum resident set size= 2134188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 116479
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5298928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 100376
involuntary context switches= 10428
# summary of solver processes directly reported to runsolver:
# pid: 24582
# total CPU time (s): 3293.82
# total CPU user time (s): 3284.4
# total CPU system time (s): 9.41426
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.1413 second user time and 33.4515 second system time
The end