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 (57614 MiB free)
memory of node 1: 64465 MiB (61432 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525362-1751622824/watcher-4525362-1751622824 -o /tmp/evaluation-result-4525362-1751622824/solver-4525362-1751622824 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751619215-91092 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4525362-1751622824.wbo
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=91992, runsolver pid=91989
Current StackSize limit: 8192 KiB
[startup+0.100068 s]*
/proc/loadavg: 4.26 4.18 4.14 7/325 92010
/proc/meminfo: memFree=121900436/131382120 swapFree=33010416/33010684
[pid=91992] ppid=91989 vsize=18930384 memory=48672 CPUtime=0.12 cores=5,7
/proc/91992/stat : 91992 (java) S 91989 91992 91079 0 -1 4194304 5837 0 0 0 9 3 0 0 20 0 18 0 77961101 19384713216 12168 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
/proc/91992/statm: 4732596 12168 5339 1 0 547044 0
[pid=91992/tid=91994] ppid=91989 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=5,7
/proc/91992/task/91994/stat : 91994 (java) R 91989 91992 91079 0 -1 4194368 4681 0 0 0 5 2 0 0 20 0 18 0 77961103 19384713216 12168 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
[pid=91992/tid=92003] ppid=91989 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/91992/task/92003/stat : 92003 (Finalizer) S 91989 91992 91079 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77961107 19384713216 12168 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
[pid=91992/tid=92010] ppid=91989 vsize=18930384 memory=59593594259917 CPUtime=0 cores=5,7
/proc/91992/task/92010/stat : 92010 (Common-Cleaner) S 91989 91992 91079 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 77961108 19384713216 12168 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48672 KiB
[startup+0.210925 s]*
/proc/loadavg: 4.26 4.18 4.14 6/325 92010
/proc/meminfo: memFree=121898672/131382120 swapFree=33010416/33010684
[pid=91992] ppid=91989 vsize=18930384 memory=55588 CPUtime=0.3 cores=5,7
/proc/91992/stat : 91992 (java) S 91989 91992 91079 0 -1 4194304 6510 0 0 0 26 4 0 0 20 0 18 0 77961101 19384713216 13897 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
/proc/91992/statm: 4732596 13897 5371 1 0 547579 0
[pid=91992/tid=91994] ppid=91989 vsize=18930384 memory=4026794268 CPUtime=0.17 cores=5,7
/proc/91992/task/91994/stat : 91994 (java) R 91989 91992 91079 0 -1 4194368 5017 0 0 0 15 2 0 0 20 0 18 0 77961103 19384713216 13897 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
[pid=91992/tid=92003] ppid=91989 vsize=18930384 memory=16878 CPUtime=0 cores=5,7
/proc/91992/task/92003/stat : 92003 (Finalizer) S 91989 91992 91079 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77961107 19384713216 13897 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
[pid=91992/tid=92010] ppid=91989 vsize=18930384 memory=58494082614266 CPUtime=0 cores=5,7
/proc/91992/task/92010/stat : 92010 (Common-Cleaner) S 91989 91992 91079 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 77961108 19384713216 13897 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55588 KiB
[startup+0.313834 s]*
/proc/loadavg: 4.26 4.18 4.14 6/325 92010
/proc/meminfo: memFree=121897916/131382120 swapFree=33010416/33010684
[pid=91992] ppid=91989 vsize=18930384 memory=58740 CPUtime=0.46 cores=5,7
/proc/91992/stat : 91992 (java) S 91989 91992 91079 0 -1 4194304 6796 0 0 0 42 4 0 0 20 0 18 0 77961101 19384713216 14685 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
/proc/91992/statm: 4732596 14685 5371 1 0 547794 0
[pid=91992/tid=91994] ppid=91989 vsize=18930384 memory=-6000919468360952678 CPUtime=0.25 cores=5,7
/proc/91992/task/91994/stat : 91994 (java) R 91989 91992 91079 0 -1 4194368 5207 0 0 0 23 2 0 0 20 0 18 0 77961103 19384713216 14685 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
[pid=91992/tid=92003] ppid=91989 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/91992/task/92003/stat : 92003 (Finalizer) S 91989 91992 91079 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77961107 19384713216 14685 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
[pid=91992/tid=92010] ppid=91989 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/91992/task/92010/stat : 92010 (Common-Cleaner) S 91989 91992 91079 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 77961108 19384713216 14685 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58740 KiB
[startup+0.70041 s]
/proc/loadavg: 4.26 4.18 4.14 8/326 92011
/proc/meminfo: memFree=121896908/131382120 swapFree=33010416/33010684
[pid=91992] ppid=91989 vsize=18996948 memory=74540 CPUtime=1.15 cores=5,7
/proc/91992/stat : 91992 (java) S 91989 91992 91079 0 -1 4194304 7870 0 0 0 109 6 0 0 20 0 19 0 77961101 19452874752 18635 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
/proc/91992/statm: 4749237 18635 5467 1 0 548580 0
[pid=91992/tid=91994] ppid=91989 vsize=18996948 memory=18688 CPUtime=0.59 cores=5,7
/proc/91992/task/91994/stat : 91994 (java) R 91989 91992 91079 0 -1 4194368 5504 0 0 0 56 3 0 0 20 0 19 0 77961103 19452874752 18635 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
[pid=91992/tid=92003] ppid=91989 vsize=18996948 memory=11136 CPUtime=0 cores=5,7
/proc/91992/task/92003/stat : 92003 (Finalizer) S 91989 91992 91079 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77961107 19452874752 18635 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
[pid=91992/tid=92010] ppid=91989 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/91992/task/92010/stat : 92010 (Common-Cleaner) S 91989 91992 91079 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 77961108 19452874752 18635 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
[pid=91992/tid=92011] ppid=91989 vsize=18996948 memory=4764 CPUtime=0 cores=5,7
/proc/91992/task/92011/stat : 92011 (Timer-0) S 91989 91992 91079 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77961152 19452874752 18635 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 74540 KiB
[startup+1.50029 s]
/proc/loadavg: 4.26 4.18 4.14 6/326 92011
/proc/meminfo: memFree=121848892/131382120 swapFree=33010416/33010684
[pid=91992] ppid=91989 vsize=19063512 memory=170320 CPUtime=2.72 cores=5,7
/proc/91992/stat : 91992 (java) S 91989 91992 91079 0 -1 4194304 16241 0 0 0 262 10 0 0 20 0 20 0 77961101 19521036288 42580 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
/proc/91992/statm: 4765878 42580 5499 1 0 551510 0
[pid=91992/tid=91994] ppid=91989 vsize=19063512 memory=0 CPUtime=1.33 cores=5,7
/proc/91992/task/91994/stat : 91994 (java) R 91989 91992 91079 0 -1 4194368 6171 0 0 0 128 5 0 0 20 0 20 0 77961103 19521036288 42580 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
[pid=91992/tid=92003] ppid=91989 vsize=19063512 memory=11136 CPUtime=0 cores=5,7
/proc/91992/task/92003/stat : 92003 (Finalizer) S 91989 91992 91079 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77961107 19521036288 42580 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
[pid=91992/tid=92010] ppid=91989 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/91992/task/92010/stat : 92010 (Common-Cleaner) S 91989 91992 91079 0 -1 4194368 59 0 0 0 0 0 0 0 20 0 20 0 77961108 19521036288 42580 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
[pid=91992/tid=92011] ppid=91989 vsize=19063512 memory=4764 CPUtime=0 cores=5,7
/proc/91992/task/92011/stat : 92011 (Timer-0) S 91989 91992 91079 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77961152 19521036288 42580 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
Current children cumulated CPU time: 2.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 170320 KiB
[startup+3.10559 s]
/proc/loadavg: 4.26 4.18 4.14 6/327 92012
/proc/meminfo: memFree=120894224/131382120 swapFree=33010416/33010684
[pid=91992] ppid=91989 vsize=19063512 memory=557628 CPUtime=5.78 cores=5,7
/proc/91992/stat : 91992 (java) S 91989 91992 91079 0 -1 4194304 19038 0 0 0 560 18 0 0 20 0 20 0 77961101 19521036288 139407 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
/proc/91992/statm: 4765878 139407 5499 1 0 915496 0
[pid=91992/tid=91994] ppid=91989 vsize=19063512 memory=11136 CPUtime=2.83 cores=5,7
/proc/91992/task/91994/stat : 91994 (java) R 91989 91992 91079 0 -1 4194368 6832 0 0 0 271 12 0 0 20 0 20 0 77961103 19521036288 139407 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
[pid=91992/tid=92003] ppid=91989 vsize=19063512 memory=-6000919468360952678 CPUtime=0 cores=5,7
/proc/91992/task/92003/stat : 92003 (Finalizer) S 91989 91992 91079 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77961107 19521036288 139407 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
[pid=91992/tid=92010] ppid=91989 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/91992/task/92010/stat : 92010 (Common-Cleaner) S 91989 91992 91079 0 -1 4194368 59 0 0 0 0 0 0 0 20 0 20 0 77961108 19521036288 139407 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
[pid=91992/tid=92011] ppid=91989 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/91992/task/92011/stat : 92011 (Timer-0) S 91989 91992 91079 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77961152 19521036288 139407 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
Current children cumulated CPU time: 5.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 557628 KiB
[startup+6.30043 s]
/proc/loadavg: 4.24 4.18 4.14 5/328 92013
/proc/meminfo: memFree=120438796/131382120 swapFree=33010416/33010684
[pid=91992] ppid=91989 vsize=19063512 memory=1214480 CPUtime=10.38 cores=5,7
/proc/91992/stat : 91992 (java) S 91989 91992 91079 0 -1 4194304 29311 0 0 0 1004 34 0 0 20 0 20 0 77961101 19521036288 303620 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
/proc/91992/statm: 4765878 303620 5499 1 0 922852 0
[pid=91992/tid=91994] ppid=91989 vsize=19063512 memory=0 CPUtime=5.9 cores=5,7
/proc/91992/task/91994/stat : 91994 (java) R 91989 91992 91079 0 -1 4194368 7614 0 0 0 566 24 0 0 20 0 20 0 77961103 19521036288 303620 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
[pid=91992/tid=92003] ppid=91989 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/91992/task/92003/stat : 92003 (Finalizer) S 91989 91992 91079 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77961107 19521036288 303620 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
[pid=91992/tid=92010] ppid=91989 vsize=19063512 memory=11136 CPUtime=0 cores=5,7
/proc/91992/task/92010/stat : 92010 (Common-Cleaner) S 91989 91992 91079 0 -1 4194368 59 0 0 0 0 0 0 0 20 0 20 0 77961108 19521036288 303620 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
[pid=91992/tid=92011] ppid=91989 vsize=19063512 memory=172368 CPUtime=0 cores=5,7
/proc/91992/task/92011/stat : 92011 (Timer-0) S 91989 91992 91079 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77961152 19521036288 303620 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
Current children cumulated CPU time: 10.38 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1214480 KiB
[startup+12.7005 s]
/proc/loadavg: 4.22 4.18 4.14 5/328 92013
/proc/meminfo: memFree=118239984/131382120 swapFree=33010416/33010684
[pid=91992] ppid=91989 vsize=19063512 memory=3154752 CPUtime=17.4 cores=5,7
/proc/91992/stat : 91992 (java) S 91989 91992 91079 0 -1 4194304 31743 0 0 0 1667 73 0 0 20 0 20 0 77961101 19521036288 788688 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
/proc/91992/statm: 4765878 788688 5499 1 0 1204861 0
[pid=91992/tid=91994] ppid=91989 vsize=19063512 memory=172368 CPUtime=11.98 cores=5,7
/proc/91992/task/91994/stat : 91994 (java) R 91989 91992 91079 0 -1 4194368 9226 0 0 0 1138 60 0 0 20 0 20 0 77961103 19521036288 788688 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
[pid=91992/tid=92003] ppid=91989 vsize=19063512 memory=16596 CPUtime=0 cores=5,7
/proc/91992/task/92003/stat : 92003 (Finalizer) S 91989 91992 91079 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77961107 19521036288 788688 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
[pid=91992/tid=92010] ppid=91989 vsize=19063512 memory=3154752 CPUtime=0 cores=5,7
/proc/91992/task/92010/stat : 92010 (Common-Cleaner) S 91989 91992 91079 0 -1 4194368 59 0 0 0 0 0 0 0 20 0 20 0 77961108 19521036288 788688 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
[pid=91992/tid=92011] ppid=91989 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/91992/task/92011/stat : 92011 (Timer-0) S 91989 91992 91079 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77961152 19521036288 788688 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
Current children cumulated CPU time: 17.4 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3154752 KiB
[startup+25.5005 s]
/proc/loadavg: 4.31 4.20 4.15 5/328 92014
/proc/meminfo: memFree=117224192/131382120 swapFree=33010416/33010684
[pid=91992] ppid=91989 vsize=19063512 memory=3743980 CPUtime=30.17 cores=5,7
/proc/91992/stat : 91992 (java) S 91989 91992 91079 0 -1 4194304 33247 0 0 0 2932 85 0 0 20 0 20 0 77961101 19521036288 935995 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
/proc/91992/statm: 4765878 935995 5499 1 0 1351092 0
[pid=91992/tid=91994] ppid=91989 vsize=19063512 memory=-6000919468360952678 CPUtime=24.11 cores=5,7
/proc/91992/task/91994/stat : 91994 (java) R 91989 91992 91079 0 -1 4194368 10343 0 0 0 2340 71 0 0 20 0 20 0 77961103 19521036288 935995 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
[pid=91992/tid=92003] ppid=91989 vsize=19063512 memory=18688 CPUtime=0 cores=5,7
/proc/91992/task/92003/stat : 92003 (Finalizer) S 91989 91992 91079 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77961107 19521036288 935995 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
[pid=91992/tid=92010] ppid=91989 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/91992/task/92010/stat : 92010 (Common-Cleaner) S 91989 91992 91079 0 -1 4194368 59 0 0 0 0 0 0 0 20 0 20 0 77961108 19521036288 935995 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
[pid=91992/tid=92011] ppid=91989 vsize=19063512 memory=16596 CPUtime=0 cores=5,7
/proc/91992/task/92011/stat : 92011 (Timer-0) S 91989 91992 91079 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77961152 19521036288 935995 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
Current children cumulated CPU time: 30.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3743980 KiB
[startup+51.1138 s]
/proc/loadavg: 4.20 4.18 4.14 5/328 92014
/proc/meminfo: memFree=116481052/131382120 swapFree=33010416/33010684
[pid=91992] ppid=91989 vsize=19063512 memory=3813780 CPUtime=55.93 cores=5,7
/proc/91992/stat : 91992 (java) S 91989 91992 91079 0 -1 4194304 39590 0 0 0 5502 91 0 0 20 0 20 0 77961101 19521036288 953445 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
/proc/91992/statm: 4765878 953445 5499 1 0 1351092 0
[pid=91992/tid=91994] ppid=91989 vsize=19063512 memory=3813780 CPUtime=49.23 cores=5,7
/proc/91992/task/91994/stat : 91994 (java) R 91989 91992 91079 0 -1 4194368 12824 0 0 0 4852 71 0 0 20 0 20 0 77961103 19521036288 953445 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
[pid=91992/tid=92003] ppid=91989 vsize=19063512 memory=3789156 CPUtime=0 cores=5,7
/proc/91992/task/92003/stat : 92003 (Finalizer) S 91989 91992 91079 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77961107 19521036288 953445 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
[pid=91992/tid=92010] ppid=91989 vsize=19063512 memory=3158896 CPUtime=0 cores=5,7
################
# More data... #
################
[startup+3282.3 s]
/proc/loadavg: 4.15 4.14 4.16 5/328 92242
/proc/meminfo: memFree=112116140/131382120 swapFree=33010416/33010684
[pid=91992] ppid=91989 vsize=19063512 memory=5257444 CPUtime=3289.14 cores=5,7
/proc/91992/stat : 91992 (java) S 91989 91992 91079 0 -1 4194304 178068 0 0 0 328552 362 0 0 20 0 20 0 77961101 19521036288 1314361 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
/proc/91992/statm: 4765878 1314361 5499 1 0 1351094 0
[pid=91992/tid=91994] ppid=91989 vsize=19063512 memory=16596 CPUtime=3257.13 cores=5,7
/proc/91992/task/91994/stat : 91994 (java) R 91989 91992 91079 0 -1 4194368 86999 0 0 0 325625 88 0 0 20 0 20 0 77961103 19521036288 1314361 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
[pid=91992/tid=92003] ppid=91989 vsize=19063512 memory=5257444 CPUtime=0 cores=5,7
/proc/91992/task/92003/stat : 92003 (Finalizer) S 91989 91992 91079 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77961107 19521036288 1314361 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
[pid=91992/tid=92010] ppid=91989 vsize=19063512 memory=5257444 CPUtime=0 cores=5,7
/proc/91992/task/92010/stat : 92010 (Common-Cleaner) S 91989 91992 91079 0 -1 4194368 2032 0 0 0 0 0 0 0 20 0 20 0 77961108 19521036288 1314361 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
[pid=91992/tid=92011] ppid=91989 vsize=19063512 memory=5257444 CPUtime=0 cores=5,7
/proc/91992/task/92011/stat : 92011 (Timer-0) S 91989 91992 91079 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77961152 19521036288 1314361 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
Current children cumulated CPU time: 3289.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5257444 KiB
[startup+3342.3 s]
/proc/loadavg: 4.20 4.16 4.17 5/328 92244
/proc/meminfo: memFree=112116116/131382120 swapFree=33010416/33010684
[pid=91992] ppid=91989 vsize=19063512 memory=5257444 CPUtime=3349.09 cores=5,7
/proc/91992/stat : 91992 (java) S 91989 91992 91079 0 -1 4194304 178463 0 0 0 334544 365 0 0 20 0 20 0 77961101 19521036288 1314361 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
/proc/91992/statm: 4765878 1314361 5499 1 0 1351094 0
[pid=91992/tid=91994] ppid=91989 vsize=19063512 memory=5257444 CPUtime=3317 cores=5,7
/proc/91992/task/91994/stat : 91994 (java) R 91989 91992 91079 0 -1 4194368 87002 0 0 0 331612 88 0 0 20 0 20 0 77961103 19521036288 1314361 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
[pid=91992/tid=92003] ppid=91989 vsize=19063512 memory=5148 CPUtime=0 cores=5,7
/proc/91992/task/92003/stat : 92003 (Finalizer) S 91989 91992 91079 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77961107 19521036288 1314361 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
[pid=91992/tid=92010] ppid=91989 vsize=19063512 memory=-6000919468360952678 CPUtime=0 cores=5,7
/proc/91992/task/92010/stat : 92010 (Common-Cleaner) S 91989 91992 91079 0 -1 4194368 2041 0 0 0 0 0 0 0 20 0 20 0 77961108 19521036288 1314361 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
[pid=91992/tid=92011] ppid=91989 vsize=19063512 memory=12544 CPUtime=0 cores=5,7
/proc/91992/task/92011/stat : 92011 (Timer-0) S 91989 91992 91079 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77961152 19521036288 1314361 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
Current children cumulated CPU time: 3349.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5257444 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.14 4.16 5/328 92246
/proc/meminfo: memFree=112114376/131382120 swapFree=33010416/33010684
[pid=91992] ppid=91989 vsize=19063512 memory=5257444 CPUtime=3408.94 cores=5,7
/proc/91992/stat : 91992 (java) S 91989 91992 91079 0 -1 4194304 180581 0 0 0 340526 368 0 0 20 0 20 0 77961101 19521036288 1314361 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
/proc/91992/statm: 4765878 1314361 5499 1 0 1351094 0
[pid=91992/tid=91994] ppid=91989 vsize=19063512 memory=5257444 CPUtime=3376.79 cores=5,7
/proc/91992/task/91994/stat : 91994 (java) R 91989 91992 91079 0 -1 4194368 88896 0 0 0 337591 88 0 0 20 0 20 0 77961103 19521036288 1314361 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
[pid=91992/tid=92003] ppid=91989 vsize=19063512 memory=5257444 CPUtime=0 cores=5,7
/proc/91992/task/92003/stat : 92003 (Finalizer) S 91989 91992 91079 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77961107 19521036288 1314361 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
[pid=91992/tid=92010] ppid=91989 vsize=19063512 memory=5257444 CPUtime=0 cores=5,7
/proc/91992/task/92010/stat : 92010 (Common-Cleaner) S 91989 91992 91079 0 -1 4194368 2042 0 0 0 0 0 0 0 20 0 20 0 77961108 19521036288 1314361 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
[pid=91992/tid=92011] ppid=91989 vsize=19063512 memory=16596 CPUtime=0 cores=5,7
/proc/91992/task/92011/stat : 92011 (Timer-0) S 91989 91992 91079 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77961152 19521036288 1314361 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
Current children cumulated CPU time: 3408.94 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5257444 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.13 4.16 5/328 92248
/proc/meminfo: memFree=112115872/131382120 swapFree=33010416/33010684
[pid=91992] ppid=91989 vsize=19063512 memory=5257444 CPUtime=3468.88 cores=5,7
/proc/91992/stat : 91992 (java) S 91989 91992 91079 0 -1 4194304 182230 0 0 0 346518 370 0 0 20 0 20 0 77961101 19521036288 1314361 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
/proc/91992/statm: 4765878 1314361 5499 1 0 1351094 0
[pid=91992/tid=91994] ppid=91989 vsize=19063512 memory=5257444 CPUtime=3436.65 cores=5,7
/proc/91992/task/91994/stat : 91994 (java) R 91989 91992 91079 0 -1 4194368 89125 0 0 0 343577 88 0 0 20 0 20 0 77961103 19521036288 1314361 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
[pid=91992/tid=92003] ppid=91989 vsize=19063512 memory=5257444 CPUtime=0 cores=5,7
/proc/91992/task/92003/stat : 92003 (Finalizer) S 91989 91992 91079 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77961107 19521036288 1314361 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
[pid=91992/tid=92010] ppid=91989 vsize=19063512 memory=5257444 CPUtime=0 cores=5,7
/proc/91992/task/92010/stat : 92010 (Common-Cleaner) S 91989 91992 91079 0 -1 4194368 2061 0 0 0 0 0 0 0 20 0 20 0 77961108 19521036288 1314361 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
[pid=91992/tid=92011] ppid=91989 vsize=19063512 memory=5257444 CPUtime=0 cores=5,7
/proc/91992/task/92011/stat : 92011 (Timer-0) S 91989 91992 91079 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77961152 19521036288 1314361 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
Current children cumulated CPU time: 3468.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5257444 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.12 4.15 6/325 92315
/proc/meminfo: memFree=117325300/131382120 swapFree=33010416/33010684
[pid=91992] ppid=91989 vsize=19063512 memory=5257444 CPUtime=3528.83 cores=5,7
/proc/91992/stat : 91992 (java) S 91989 91992 91079 0 -1 4194304 185466 0 0 0 352509 374 0 0 20 0 20 0 77961101 19521036288 1314361 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
/proc/91992/statm: 4765878 1314361 5499 1 0 1351094 0
[pid=91992/tid=91994] ppid=91989 vsize=19063512 memory=5257444 CPUtime=3496.53 cores=5,7
/proc/91992/task/91994/stat : 91994 (java) R 91989 91992 91079 0 -1 4194368 91207 0 0 0 349564 89 0 0 20 0 20 0 77961103 19521036288 1314361 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
[pid=91992/tid=92003] ppid=91989 vsize=19063512 memory=5257444 CPUtime=0 cores=5,7
/proc/91992/task/92003/stat : 92003 (Finalizer) S 91989 91992 91079 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77961107 19521036288 1314361 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
[pid=91992/tid=92010] ppid=91989 vsize=19063512 memory=5257444 CPUtime=0 cores=5,7
/proc/91992/task/92010/stat : 92010 (Common-Cleaner) S 91989 91992 91079 0 -1 4194368 2062 0 0 0 0 0 0 0 20 0 20 0 77961108 19521036288 1314361 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
[pid=91992/tid=92011] ppid=91989 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/91992/task/92011/stat : 92011 (Timer-0) S 91989 91992 91079 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77961152 19521036288 1314361 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
Current children cumulated CPU time: 3528.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5257444 KiB
[startup+3582.3 s]
/proc/loadavg: 4.25 4.16 4.16 5/327 92321
/proc/meminfo: memFree=116977932/131382120 swapFree=33010416/33010684
[pid=91992] ppid=91989 vsize=19063512 memory=5257444 CPUtime=3588.76 cores=5,7
/proc/91992/stat : 91992 (java) S 91989 91992 91079 0 -1 4194304 186334 0 0 0 358500 376 0 0 20 0 20 0 77961101 19521036288 1314361 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
/proc/91992/statm: 4765878 1314361 5499 1 0 1351094 0
[pid=91992/tid=91994] ppid=91989 vsize=19063512 memory=5632 CPUtime=3556.4 cores=5,7
/proc/91992/task/91994/stat : 91994 (java) R 91989 91992 91079 0 -1 4194368 91650 0 0 0 355551 89 0 0 20 0 20 0 77961103 19521036288 1314361 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
[pid=91992/tid=92003] ppid=91989 vsize=19063512 memory=5257444 CPUtime=0 cores=5,7
/proc/91992/task/92003/stat : 92003 (Finalizer) S 91989 91992 91079 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77961107 19521036288 1314361 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
[pid=91992/tid=92010] ppid=91989 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/91992/task/92010/stat : 92010 (Common-Cleaner) S 91989 91992 91079 0 -1 4194368 2083 0 0 0 0 0 0 0 20 0 20 0 77961108 19521036288 1314361 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
[pid=91992/tid=92011] ppid=91989 vsize=19063512 memory=5257444 CPUtime=0 cores=5,7
/proc/91992/task/92011/stat : 92011 (Timer-0) S 91989 91992 91079 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77961152 19521036288 1314361 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
Current children cumulated CPU time: 3588.76 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5257444 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3593.6 s]
/proc/loadavg: 4.59 4.24 4.19 5/327 92389
/proc/meminfo: memFree=120248132/131382120 swapFree=33010416/33010684
[pid=91992] ppid=91989 vsize=19063512 memory=5257444 CPUtime=3600.03 cores=5,7
/proc/91992/stat : 91992 (java) S 91989 91992 91079 0 -1 4194304 188648 0 0 0 359626 377 0 0 20 0 20 0 77961101 19521036288 1314361 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
/proc/91992/statm: 4765878 1314361 5499 1 0 1351094 0
[pid=91992/tid=91994] ppid=91989 vsize=19063512 memory=-6000919468360952678 CPUtime=3567.64 cores=5,7
/proc/91992/task/91994/stat : 91994 (java) R 91989 91992 91079 0 -1 4194368 92118 0 0 0 356674 90 0 0 20 0 20 0 77961103 19521036288 1314361 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
[pid=91992/tid=92003] ppid=91989 vsize=19063512 memory=16596 CPUtime=0 cores=5,7
/proc/91992/task/92003/stat : 92003 (Finalizer) S 91989 91992 91079 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77961107 19521036288 1314361 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
[pid=91992/tid=92010] ppid=91989 vsize=19063512 memory=5257444 CPUtime=0 cores=5,7
/proc/91992/task/92010/stat : 92010 (Common-Cleaner) S 91989 91992 91079 0 -1 4194368 2083 0 0 0 0 0 0 0 20 0 20 0 77961108 19521036288 1314361 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
[pid=91992/tid=92011] ppid=91989 vsize=19063512 memory=5257444 CPUtime=0 cores=5,7
/proc/91992/task/92011/stat : 92011 (Timer-0) S 91989 91992 91079 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77961152 19521036288 1314361 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5257444 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3593.76 s]
# the end of solver process 91992 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3596.45 s, system=3.81251 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3593.71 s]
/proc/loadavg: 4.59 4.24 4.19 5/327 92389
/proc/meminfo: memFree=120248132/131382120 swapFree=33010416/33010684
[pid=91992] ppid=91989 vsize=19263204 memory=5258212 CPUtime=3600.23 cores=5,7
/proc/91992/stat : 91992 (java) S 91989 91992 91079 0 -1 4194304 191267 0 0 0 359645 378 0 0 20 0 16 0 77961101 19725520896 1314553 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
/proc/91992/statm: 4815801 1314553 5499 1 0 1352013 0
[pid=91992/tid=91994] ppid=91989 vsize=19263204 memory=5257444 CPUtime=3567.73 cores=5,7
/proc/91992/task/91994/stat : 91994 (java) S 91989 91992 91079 0 -1 4194368 92119 0 0 0 356683 90 0 0 20 0 16 0 77961103 19725520896 1314553 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
[pid=91992/tid=92003] ppid=91989 vsize=19263204 memory=5257444 CPUtime=0 cores=5,7
/proc/91992/task/92003/stat : 92003 (Finalizer) S 91989 91992 91079 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 16 0 77961107 19725520896 1314553 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
[pid=91992/tid=92010] ppid=91989 vsize=19263204 memory=11136 CPUtime=0 cores=5,7
/proc/91992/task/92010/stat : 92010 (Common-Cleaner) S 91989 91992 91079 0 -1 4194368 2083 0 0 0 0 0 0 0 20 0 16 0 77961108 19725520896 1314553 18446744073709551615 94915865427968 94915865431664 140726240485984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94915865439480 94915865440272 94915878055936 140726240491900 140726240492004 140726240492004 140726240497608 0
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 5258212 KiB
Child status: 143
Real time (s): 3593.76
CPU time (s): 3600.26
CPU user time (s): 3596.45
CPU system time (s): 3.81251
CPU usage (%): 100.181
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 5258212
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.45
system time used= 3.81251
maximum resident set size= 5258468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 191296
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 161910
involuntary context switches= 5443
# summary of solver processes directly reported to runsolver:
# pid: 91992
# total CPU time (s): 3600.26
# total CPU user time (s): 3596.45
# total CPU system time (s): 3.81251
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.3826 second user time and 37.2129 second system time
The end