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 (48048 MiB free)
memory of node 1: 64507 MiB (52783 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4485742-1751298825/watcher-4485742-1751298825 -o /tmp/evaluation-result-4485742-1751298825/solver-4485742-1751298825 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751292114-40817 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4485742-1751298825.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=41716, runsolver pid=41713
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 4.24 4.19 4.18 5/338 41734
/proc/meminfo: memFree=103225404/131250000 swapFree=33010684/33010684
[pid=41716] ppid=41713 vsize=18930384 memory=57716 CPUtime=0.12 cores=4,6
/proc/41716/stat : 41716 (java) S 41713 41716 40806 0 -1 4194304 6583 0 0 0 11 1 0 0 20 0 18 0 45562743 19384713216 14429 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
/proc/41716/statm: 4732596 14429 5351 1 0 547622 0
[pid=41716/tid=41718] ppid=41713 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=4,6
/proc/41716/task/41718/stat : 41718 (java) R 41713 41716 40806 0 -1 4194368 5081 0 0 0 7 1 0 0 20 0 18 0 45562744 19384713216 14429 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41727] ppid=41713 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/41716/task/41727/stat : 41727 (Finalizer) S 41713 41716 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 45562746 19384713216 14429 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41734] ppid=41713 vsize=18930384 memory=59585004340264 CPUtime=0 cores=4,6
/proc/41716/task/41734/stat : 41734 (Common-Cleaner) S 41713 41716 40806 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 45562746 19384713216 14429 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57716 KiB
[startup+0.205606 s]*
/proc/loadavg: 4.24 4.19 4.18 6/338 41734
/proc/meminfo: memFree=103205252/131250000 swapFree=33010684/33010684
[pid=41716] ppid=41713 vsize=18930384 memory=75232 CPUtime=0.33 cores=4,6
/proc/41716/stat : 41716 (java) S 41713 41716 40806 0 -1 4194304 8013 0 0 0 31 2 0 0 20 0 18 0 45562743 19384713216 18808 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
/proc/41716/statm: 4732596 18808 5447 1 0 548731 0
[pid=41716/tid=41718] ppid=41713 vsize=18930384 memory=4026663196 CPUtime=0.17 cores=4,6
/proc/41716/task/41718/stat : 41718 (java) R 41713 41716 40806 0 -1 4194368 5257 0 0 0 16 1 0 0 20 0 18 0 45562744 19384713216 18808 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41727] ppid=41713 vsize=18930384 memory=19950 CPUtime=0 cores=4,6
/proc/41716/task/41727/stat : 41727 (Finalizer) S 41713 41716 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 45562746 19384713216 18808 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41734] ppid=41713 vsize=18930384 memory=58485492679654 CPUtime=0 cores=4,6
/proc/41716/task/41734/stat : 41734 (Common-Cleaner) S 41713 41716 40806 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 45562746 19384713216 18808 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 75232 KiB
[startup+0.305603 s]*
/proc/loadavg: 4.24 4.19 4.18 7/338 41734
/proc/meminfo: memFree=103180428/131250000 swapFree=33010684/33010684
[pid=41716] ppid=41713 vsize=18930384 memory=102608 CPUtime=0.52 cores=4,6
/proc/41716/stat : 41716 (java) S 41713 41716 40806 0 -1 4194304 9041 0 0 0 49 3 0 0 20 0 18 0 45562743 19384713216 25652 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
/proc/41716/statm: 4732596 25652 5447 1 0 549287 0
[pid=41716/tid=41718] ppid=41713 vsize=18930384 memory=-6000919494248328043 CPUtime=0.24 cores=4,6
/proc/41716/task/41718/stat : 41718 (java) R 41713 41716 40806 0 -1 4194368 5271 0 0 0 22 2 0 0 20 0 18 0 45562744 19384713216 25652 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41727] ppid=41713 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/41716/task/41727/stat : 41727 (Finalizer) S 41713 41716 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 45562746 19384713216 25652 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41734] ppid=41713 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/41716/task/41734/stat : 41734 (Common-Cleaner) S 41713 41716 40806 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 45562746 19384713216 25652 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 102608 KiB
[startup+0.700234 s]
/proc/loadavg: 4.24 4.19 4.18 7/339 41735
/proc/meminfo: memFree=103102856/131250000 swapFree=33010684/33010684
[pid=41716] ppid=41713 vsize=18996948 memory=202532 CPUtime=1.28 cores=4,6
/proc/41716/stat : 41716 (java) S 41713 41716 40806 0 -1 4194304 9488 0 0 0 122 6 0 0 20 0 19 0 45562743 19452874752 50633 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
/proc/41716/statm: 4749237 50633 5447 1 0 549740 0
[pid=41716/tid=41718] ppid=41713 vsize=18996948 memory=13824 CPUtime=0.55 cores=4,6
/proc/41716/task/41718/stat : 41718 (java) S 41713 41716 40806 0 -1 4194368 5301 0 0 0 52 3 0 0 20 0 19 0 45562744 19452874752 50633 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41727] ppid=41713 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/41716/task/41727/stat : 41727 (Finalizer) S 41713 41716 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 45562746 19452874752 50633 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41734] ppid=41713 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/41716/task/41734/stat : 41734 (Common-Cleaner) S 41713 41716 40806 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 45562746 19452874752 50633 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 202532 KiB
[startup+1.50022 s]
/proc/loadavg: 4.24 4.19 4.18 7/339 41735
/proc/meminfo: memFree=103028372/131250000 swapFree=33010684/33010684
[pid=41716] ppid=41713 vsize=18996948 memory=513704 CPUtime=2.6 cores=4,6
/proc/41716/stat : 41716 (java) S 41713 41716 40806 0 -1 4194304 11014 0 0 0 249 11 0 0 20 0 19 0 45562743 19452874752 128426 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
/proc/41716/statm: 4749237 128426 5543 1 0 1189153 0
[pid=41716/tid=41718] ppid=41713 vsize=18996948 memory=3200 CPUtime=1.22 cores=4,6
/proc/41716/task/41718/stat : 41718 (java) R 41713 41716 40806 0 -1 4194368 5564 0 0 0 115 7 0 0 20 0 19 0 45562744 19452874752 128426 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41727] ppid=41713 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/41716/task/41727/stat : 41727 (Finalizer) S 41713 41716 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 45562746 19452874752 128426 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41734] ppid=41713 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/41716/task/41734/stat : 41734 (Common-Cleaner) S 41713 41716 40806 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 45562746 19452874752 128426 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
Current children cumulated CPU time: 2.6 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 513704 KiB
[startup+3.10546 s]
/proc/loadavg: 4.24 4.19 4.18 6/340 41736
/proc/meminfo: memFree=102763328/131250000 swapFree=33010684/33010684
[pid=41716] ppid=41713 vsize=19063512 memory=524648 CPUtime=4.7 cores=4,6
/proc/41716/stat : 41716 (java) S 41713 41716 40806 0 -1 4194304 14544 0 0 0 458 12 0 0 20 0 20 0 45562743 19521036288 131162 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
/proc/41716/statm: 4765878 131162 5543 1 0 1192004 0
[pid=41716/tid=41718] ppid=41713 vsize=19063512 memory=10752 CPUtime=2.81 cores=4,6
/proc/41716/task/41718/stat : 41718 (java) R 41713 41716 40806 0 -1 4194368 5625 0 0 0 274 7 0 0 20 0 20 0 45562744 19521036288 131162 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41727] ppid=41713 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/41716/task/41727/stat : 41727 (Finalizer) S 41713 41716 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45562746 19521036288 131162 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41734] ppid=41713 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/41716/task/41734/stat : 41734 (Common-Cleaner) S 41713 41716 40806 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 45562746 19521036288 131162 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41736] ppid=41713 vsize=19063512 memory=4252 CPUtime=0 cores=4,6
/proc/41716/task/41736/stat : 41736 (Timer-0) S 41713 41716 40806 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45562898 19521036288 131162 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
Current children cumulated CPU time: 4.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 524648 KiB
[startup+6.30018 s]
/proc/loadavg: 4.22 4.19 4.18 6/340 41736
/proc/meminfo: memFree=102726488/131250000 swapFree=33010684/33010684
[pid=41716] ppid=41713 vsize=19063512 memory=555360 CPUtime=7.99 cores=4,6
/proc/41716/stat : 41716 (java) S 41713 41716 40806 0 -1 4194304 15282 0 0 0 786 13 0 0 20 0 20 0 45562743 19521036288 138840 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
/proc/41716/statm: 4765878 138840 5543 1 0 1192006 0
[pid=41716/tid=41718] ppid=41713 vsize=19063512 memory=0 CPUtime=5.95 cores=4,6
/proc/41716/task/41718/stat : 41718 (java) R 41713 41716 40806 0 -1 4194368 5789 0 0 0 588 7 0 0 20 0 20 0 45562744 19521036288 138840 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41727] ppid=41713 vsize=19063512 memory=7100839887185286273 CPUtime=0 cores=4,6
/proc/41716/task/41727/stat : 41727 (Finalizer) S 41713 41716 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45562746 19521036288 138840 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41734] ppid=41713 vsize=19063512 memory=-6000919494248328043 CPUtime=0 cores=4,6
/proc/41716/task/41734/stat : 41734 (Common-Cleaner) S 41713 41716 40806 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 45562746 19521036288 138840 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41736] ppid=41713 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/41716/task/41736/stat : 41736 (Timer-0) S 41713 41716 40806 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45562898 19521036288 138840 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
Current children cumulated CPU time: 7.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 555360 KiB
[startup+12.7002 s]
/proc/loadavg: 4.20 4.18 4.18 7/340 41736
/proc/meminfo: memFree=102698220/131250000 swapFree=33010684/33010684
[pid=41716] ppid=41713 vsize=19063512 memory=588900 CPUtime=15.1 cores=4,6
/proc/41716/stat : 41716 (java) S 41713 41716 40806 0 -1 4194304 25882 0 0 0 1494 16 0 0 20 0 20 0 45562743 19521036288 147225 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
/proc/41716/statm: 4765878 147225 5543 1 0 1194045 0
[pid=41716/tid=41718] ppid=41713 vsize=19063512 memory=0 CPUtime=12.3 cores=4,6
/proc/41716/task/41718/stat : 41718 (java) R 41713 41716 40806 0 -1 4194368 7185 0 0 0 1223 7 0 0 20 0 20 0 45562744 19521036288 147225 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41727] ppid=41713 vsize=19063512 memory=588260 CPUtime=0 cores=4,6
/proc/41716/task/41727/stat : 41727 (Finalizer) S 41713 41716 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45562746 19521036288 147225 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41734] ppid=41713 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/41716/task/41734/stat : 41734 (Common-Cleaner) S 41713 41716 40806 0 -1 4194368 44 0 0 0 0 0 0 0 20 0 20 0 45562746 19521036288 147225 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41736] ppid=41713 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/41716/task/41736/stat : 41736 (Timer-0) S 41713 41716 40806 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45562898 19521036288 147225 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
Current children cumulated CPU time: 15.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 588900 KiB
[startup+25.5002 s]
/proc/loadavg: 4.22 4.19 4.18 6/340 41736
/proc/meminfo: memFree=102354204/131250000 swapFree=33010684/33010684
[pid=41716] ppid=41713 vsize=19063512 memory=955744 CPUtime=27.94 cores=4,6
/proc/41716/stat : 41716 (java) S 41713 41716 40806 0 -1 4194304 29731 0 0 0 2770 24 0 0 20 0 20 0 45562743 19521036288 238936 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
/proc/41716/statm: 4765878 238936 5543 1 0 1194061 0
[pid=41716/tid=41718] ppid=41713 vsize=19063512 memory=-6000919494248328043 CPUtime=25.07 cores=4,6
/proc/41716/task/41718/stat : 41718 (java) R 41713 41716 40806 0 -1 4194368 8558 0 0 0 2493 14 0 0 20 0 20 0 45562744 19521036288 238936 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41727] ppid=41713 vsize=19063512 memory=3027 CPUtime=0 cores=4,6
/proc/41716/task/41727/stat : 41727 (Finalizer) S 41713 41716 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45562746 19521036288 238936 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41734] ppid=41713 vsize=19063512 memory=644448 CPUtime=0 cores=4,6
/proc/41716/task/41734/stat : 41734 (Common-Cleaner) S 41713 41716 40806 0 -1 4194368 44 0 0 0 0 0 0 0 20 0 20 0 45562746 19521036288 238936 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41736] ppid=41713 vsize=19063512 memory=638304 CPUtime=0 cores=4,6
/proc/41716/task/41736/stat : 41736 (Timer-0) S 41713 41716 40806 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45562898 19521036288 238936 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
Current children cumulated CPU time: 27.94 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 955744 KiB
[startup+51.1055 s]
/proc/loadavg: 4.22 4.19 4.18 6/340 41737
/proc/meminfo: memFree=100752828/131250000 swapFree=33010684/33010684
[pid=41716] ppid=41713 vsize=19063512 memory=2229600 CPUtime=53.49 cores=4,6
/proc/41716/stat : 41716 (java) S 41713 41716 40806 0 -1 4194304 32575 0 0 0 5300 49 0 0 20 0 20 0 45562743 19521036288 557400 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
/proc/41716/statm: 4765878 557400 5543 1 0 1194061 0
[pid=41716/tid=41718] ppid=41713 vsize=19063512 memory=2123104 CPUtime=50.6 cores=4,6
/proc/41716/task/41718/stat : 41718 (java) R 41713 41716 40806 0 -1 4194368 10905 0 0 0 5022 38 0 0 20 0 20 0 45562744 19521036288 557400 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41727] ppid=41713 vsize=19063512 memory=-6000919494248328043 CPUtime=0 cores=4,6
/proc/41716/task/41727/stat : 41727 (Finalizer) S 41713 41716 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45562746 19521036288 557400 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41734] ppid=41713 vsize=19063512 memory=1484128 CPUtime=0 cores=4,6
/proc/41716/task/41734/stat : 41734 (Common-Cleaner) S 41713 41716 40806 0 -1 4194368 44 0 0 0 0 0 0 0 20 0 20 0 45562746 19521036288 557400 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41736] ppid=41713 vsize=19063512 memory=789856 CPUtime=0 cores=4,6
/proc/41716/task/41736/stat : 41736 (Timer-0) S 41713 41716 40806 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45562898 19521036288 557400 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
################
# More data... #
################
/proc/meminfo: memFree=106641724/131250000 swapFree=33010684/33010684
[pid=41716] ppid=41713 vsize=19063512 memory=4746176 CPUtime=3404.72 cores=4,6
/proc/41716/stat : 41716 (java) S 41713 41716 40806 0 -1 4194304 154729 0 0 0 340313 159 0 0 20 0 20 0 45562743 19521036288 1186544 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
/proc/41716/statm: 4765878 1186544 5543 1 0 1200012 0
[pid=41716/tid=41718] ppid=41713 vsize=19063512 memory=4744768 CPUtime=3388.12 cores=4,6
/proc/41716/task/41718/stat : 41718 (java) R 41713 41716 40806 0 -1 4194368 76505 0 0 0 338747 65 0 0 20 0 20 0 45562744 19521036288 1186544 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41727] ppid=41713 vsize=19063512 memory=4744768 CPUtime=0 cores=4,6
/proc/41716/task/41727/stat : 41727 (Finalizer) S 41713 41716 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45562746 19521036288 1186544 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41734] ppid=41713 vsize=19063512 memory=-6000919494248328043 CPUtime=0 cores=4,6
/proc/41716/task/41734/stat : 41734 (Common-Cleaner) S 41713 41716 40806 0 -1 4194368 2410 0 0 0 0 0 0 0 20 0 20 0 45562746 19521036288 1186544 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41736] ppid=41713 vsize=19063512 memory=4746176 CPUtime=0 cores=4,6
/proc/41716/task/41736/stat : 41736 (Timer-0) S 41713 41716 40806 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45562898 19521036288 1186544 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
Current children cumulated CPU time: 3404.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4746176 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/339 42359
/proc/meminfo: memFree=106647956/131250000 swapFree=33010684/33010684
[pid=41716] ppid=41713 vsize=19063512 memory=4750784 CPUtime=3464.6 cores=4,6
/proc/41716/stat : 41716 (java) S 41713 41716 40806 0 -1 4194304 155757 0 0 0 346300 160 0 0 20 0 20 0 45562743 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
/proc/41716/statm: 4765878 1187696 5543 1 0 1200012 0
[pid=41716/tid=41718] ppid=41713 vsize=19063512 memory=4744768 CPUtime=3447.99 cores=4,6
/proc/41716/task/41718/stat : 41718 (java) R 41713 41716 40806 0 -1 4194368 77527 0 0 0 344733 66 0 0 20 0 20 0 45562744 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41727] ppid=41713 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/41716/task/41727/stat : 41727 (Finalizer) S 41713 41716 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45562746 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41734] ppid=41713 vsize=19063512 memory=4750784 CPUtime=0 cores=4,6
/proc/41716/task/41734/stat : 41734 (Common-Cleaner) S 41713 41716 40806 0 -1 4194368 2411 0 0 0 0 0 0 0 20 0 20 0 45562746 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41736] ppid=41713 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/41716/task/41736/stat : 41736 (Timer-0) S 41713 41716 40806 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45562898 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
Current children cumulated CPU time: 3464.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4750784 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/339 42367
/proc/meminfo: memFree=105889684/131250000 swapFree=33010684/33010684
[pid=41716] ppid=41713 vsize=19063512 memory=4750784 CPUtime=3524.61 cores=4,6
/proc/41716/stat : 41716 (java) S 41713 41716 40806 0 -1 4194304 157823 0 0 0 352300 161 0 0 20 0 20 0 45562743 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
/proc/41716/statm: 4765878 1187696 5543 1 0 1200012 0
[pid=41716/tid=41718] ppid=41713 vsize=19063512 memory=4750784 CPUtime=3507.73 cores=4,6
/proc/41716/task/41718/stat : 41718 (java) R 41713 41716 40806 0 -1 4194368 79157 0 0 0 350707 66 0 0 20 0 20 0 45562744 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41727] ppid=41713 vsize=19063512 memory=-6000919494248328043 CPUtime=0 cores=4,6
/proc/41716/task/41727/stat : 41727 (Finalizer) S 41713 41716 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45562746 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41734] ppid=41713 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/41716/task/41734/stat : 41734 (Common-Cleaner) S 41713 41716 40806 0 -1 4194368 2423 0 0 0 0 0 0 0 20 0 20 0 45562746 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41736] ppid=41713 vsize=19063512 memory=4750784 CPUtime=0 cores=4,6
/proc/41716/task/41736/stat : 41736 (Timer-0) S 41713 41716 40806 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45562898 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
Current children cumulated CPU time: 3524.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4750784 KiB
[startup+3539.62 s]
# the end of solver process 41716 was just reported to runsolver
# Child status: 20
# cumulated CPU time of all completed processes: user=3540.27 s, system=1.63687 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3532.8 s]
/proc/loadavg: 4.14 4.13 4.09 5/338 42367
/proc/meminfo: memFree=105889684/131250000 swapFree=33010684/33010684
[pid=41716] ppid=41713 vsize=19063512 memory=4750784 CPUtime=3535.09 cores=4,6
/proc/41716/stat : 41716 (java) S 41713 41716 40806 0 -1 4194304 158037 0 0 0 353348 161 0 0 20 0 20 0 45562743 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
/proc/41716/statm: 4765878 1187696 5543 1 0 1200012 0
[pid=41716/tid=41718] ppid=41713 vsize=19063512 memory=3200 CPUtime=3518.2 cores=4,6
/proc/41716/task/41718/stat : 41718 (java) R 41713 41716 40806 0 -1 4194368 79369 0 0 0 351754 66 0 0 20 0 20 0 45562744 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41727] ppid=41713 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/41716/task/41727/stat : 41727 (Finalizer) S 41713 41716 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45562746 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41734] ppid=41713 vsize=19063512 memory=4750784 CPUtime=0 cores=4,6
/proc/41716/task/41734/stat : 41734 (Common-Cleaner) S 41713 41716 40806 0 -1 4194368 2423 0 0 0 0 0 0 0 20 0 20 0 45562746 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41736] ppid=41713 vsize=19063512 memory=4750784 CPUtime=0 cores=4,6
/proc/41716/task/41736/stat : 41736 (Timer-0) S 41713 41716 40806 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45562898 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
Current children cumulated CPU time: 3535.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4750784 KiB
[startup+3536 s]*
/proc/loadavg: 4.13 4.13 4.09 5/338 42367
/proc/meminfo: memFree=105889684/131250000 swapFree=33010684/33010684
[pid=41716] ppid=41713 vsize=19063512 memory=4750784 CPUtime=3538.29 cores=4,6
/proc/41716/stat : 41716 (java) S 41713 41716 40806 0 -1 4194304 158058 0 0 0 353668 161 0 0 20 0 20 0 45562743 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
/proc/41716/statm: 4765878 1187696 5543 1 0 1200012 0
[pid=41716/tid=41718] ppid=41713 vsize=19063512 memory=-6000919477085563499 CPUtime=3521.4 cores=4,6
/proc/41716/task/41718/stat : 41718 (java) R 41713 41716 40806 0 -1 4194368 79389 0 0 0 352074 66 0 0 20 0 20 0 45562744 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41727] ppid=41713 vsize=19063512 memory=7896672004540898948 CPUtime=0 cores=4,6
/proc/41716/task/41727/stat : 41727 (Finalizer) S 41713 41716 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45562746 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41734] ppid=41713 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/41716/task/41734/stat : 41734 (Common-Cleaner) S 41713 41716 40806 0 -1 4194368 2423 0 0 0 0 0 0 0 20 0 20 0 45562746 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41736] ppid=41713 vsize=19063512 memory=4252 CPUtime=0 cores=4,6
/proc/41716/task/41736/stat : 41736 (Timer-0) S 41713 41716 40806 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45562898 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
Current children cumulated CPU time: 3538.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4750784 KiB
[startup+3537.6 s]
/proc/loadavg: 4.13 4.13 4.09 5/338 42367
/proc/meminfo: memFree=105889684/131250000 swapFree=33010684/33010684
[pid=41716] ppid=41713 vsize=19063512 memory=4750784 CPUtime=3539.88 cores=4,6
/proc/41716/stat : 41716 (java) S 41713 41716 40806 0 -1 4194304 158066 0 0 0 353827 161 0 0 20 0 20 0 45562743 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
/proc/41716/statm: 4765878 1187696 5543 1 0 1200012 0
[pid=41716/tid=41718] ppid=41713 vsize=19063512 memory=140490863420225 CPUtime=3522.99 cores=4,6
/proc/41716/task/41718/stat : 41718 (java) R 41713 41716 40806 0 -1 4194368 79395 0 0 0 352233 66 0 0 20 0 20 0 45562744 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41727] ppid=41713 vsize=19063512 memory=21608 CPUtime=0 cores=4,6
/proc/41716/task/41727/stat : 41727 (Finalizer) S 41713 41716 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45562746 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41734] ppid=41713 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/41716/task/41734/stat : 41734 (Common-Cleaner) S 41713 41716 40806 0 -1 4194368 2423 0 0 0 0 0 0 0 20 0 20 0 45562746 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41736] ppid=41713 vsize=19063512 memory=13824 CPUtime=0 cores=4,6
/proc/41716/task/41736/stat : 41736 (Timer-0) S 41713 41716 40806 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45562898 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
Current children cumulated CPU time: 3539.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4750784 KiB
[startup+3538.4 s]
/proc/loadavg: 4.13 4.13 4.09 5/338 42367
/proc/meminfo: memFree=105889684/131250000 swapFree=33010684/33010684
[pid=41716] ppid=41713 vsize=19063512 memory=4750784 CPUtime=3540.68 cores=4,6
/proc/41716/stat : 41716 (java) S 41713 41716 40806 0 -1 4194304 158069 0 0 0 353907 161 0 0 20 0 20 0 45562743 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
/proc/41716/statm: 4765878 1187696 5543 1 0 1200012 0
[pid=41716/tid=41718] ppid=41713 vsize=19063512 memory=12416 CPUtime=3523.79 cores=4,6
/proc/41716/task/41718/stat : 41718 (java) R 41713 41716 40806 0 -1 4194368 79398 0 0 0 352313 66 0 0 20 0 20 0 45562744 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41727] ppid=41713 vsize=19063512 memory=7896672004540898948 CPUtime=0 cores=4,6
/proc/41716/task/41727/stat : 41727 (Finalizer) S 41713 41716 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45562746 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41734] ppid=41713 vsize=19063512 memory=-6000919494248328043 CPUtime=0 cores=4,6
/proc/41716/task/41734/stat : 41734 (Common-Cleaner) S 41713 41716 40806 0 -1 4194368 2423 0 0 0 0 0 0 0 20 0 20 0 45562746 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41736] ppid=41713 vsize=19063512 memory=9088 CPUtime=0 cores=4,6
/proc/41716/task/41736/stat : 41736 (Timer-0) S 41713 41716 40806 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45562898 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
Current children cumulated CPU time: 3540.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4750784 KiB
[startup+3539.2 s]
/proc/loadavg: 4.13 4.13 4.09 5/338 42367
/proc/meminfo: memFree=105889684/131250000 swapFree=33010684/33010684
[pid=41716] ppid=41713 vsize=19063512 memory=4750784 CPUtime=3541.47 cores=4,6
/proc/41716/stat : 41716 (java) S 41713 41716 40806 0 -1 4194304 158082 0 0 0 353986 161 0 0 20 0 20 0 45562743 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
/proc/41716/statm: 4765878 1187696 5543 1 0 1200012 0
[pid=41716/tid=41718] ppid=41713 vsize=19063512 memory=4764 CPUtime=3524.59 cores=4,6
/proc/41716/task/41718/stat : 41718 (java) R 41713 41716 40806 0 -1 4194368 79411 0 0 0 352393 66 0 0 20 0 20 0 45562744 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41727] ppid=41713 vsize=19063512 memory=4750784 CPUtime=0 cores=4,6
/proc/41716/task/41727/stat : 41727 (Finalizer) S 41713 41716 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45562746 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41734] ppid=41713 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/41716/task/41734/stat : 41734 (Common-Cleaner) S 41713 41716 40806 0 -1 4194368 2423 0 0 0 0 0 0 0 20 0 20 0 45562746 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41736] ppid=41713 vsize=19063512 memory=5960 CPUtime=0 cores=4,6
/proc/41716/task/41736/stat : 41736 (Timer-0) S 41713 41716 40806 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45562898 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
Current children cumulated CPU time: 3541.47 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4750784 KiB
[startup+3539.6 s]*
/proc/loadavg: 4.12 4.13 4.09 5/320 42370
/proc/meminfo: memFree=107993512/131250000 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 20
Real time (s): 3539.62
CPU time (s): 3541.91
CPU user time (s): 3540.27
CPU system time (s): 1.63687
CPU usage (%): 100.065
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 4750784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3540.27
system time used= 1.63687
maximum resident set size= 4751424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 160013
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 105728
involuntary context switches= 3755
# summary of solver processes directly reported to runsolver:
# pid: 41716
# total CPU time (s): 3541.91
# total CPU user time (s): 3540.27
# total CPU system time (s): 1.63687
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.7197 second user time and 15.3901 second system time
The end