runsolver version 3.4.0 (svn: 3012) 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: 16374 MiB (13824 MiB free)
memory of node 1: 16384 MiB (14269 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4401073-1568695669/watcher-4401073-1568695669 -o /tmp/evaluation-result-4401073-1568695669/solver-4401073-1568695669 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node123-1568673292-1029 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1538733696 HOME/instance-4401073-1568695669.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=7252, runsolver pid=7249
[startup+0.100092 s]*
/proc/loadavg: 1.73 1.46 1.40 3/214 7305
/proc/meminfo: memFree=28765752/32770624 swapFree=66998756/67108860
[pid=7252] ppid=7249 vsize=9970508 memory=11480 CPUtime=0.08 cores=0,2,4,6
/proc/7252/stat : 7252 (java) S 7249 7252 998 0 -1 1077944320 3599 13335 0 0 0 0 5 3 20 0 6 0 445831804 10209800192 2838 33554432000 4194304 4196468 140721289767696 140721289750240 140092577361655 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
/proc/7252/statm: 2492627 2838 1321 1 0 2481538 0
[pid=7252/tid=7305] ppid=7249 vsize=9972712 memory=8514726395714820750 CPUtime=0.08 cores=0,2,4,6
/proc/7252/task/7305/stat : 7305 (java) R 7249 7252 998 0 -1 4202560 1494 13335 0 0 0 0 5 3 20 0 6 0 445831814 10212057088 3446 33554432000 4194304 4196468 140721289767696 140092549198416 140092431477714 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7306] ppid=7249 vsize=9972712 memory=-7025452035940392864 CPUtime=0.08 cores=0,2,4,6
/proc/7252/task/7306/stat : 7306 (java) S 7249 7252 998 0 -1 1077944384 1 13335 0 0 0 0 5 3 20 0 6 0 445831815 10212057088 3446 33554432000 4194304 4196468 140721289767696 140092581603984 140092577371861 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7307] ppid=7249 vsize=9972712 memory=140270388545152 CPUtime=0.08 cores=0,2,4,6
/proc/7252/task/7307/stat : 7307 (java) S 7249 7252 998 0 -1 1077944384 1 13335 0 0 0 0 5 3 20 0 6 0 445831815 10212057088 3446 33554432000 4194304 4196468 140721289767696 140092506909200 140092577371861 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7308] ppid=7249 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7252/task/7308/stat : 7308 (java) S 7249 7252 998 0 -1 1077944384 2 13335 0 0 0 0 5 3 20 0 6 0 445831815 10212057088 3512 33554432000 4194304 4196468 140721289767696 140092149258640 140092577371861 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7309] ppid=7249 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/7252/task/7309/stat : 7309 (java) S 7249 7252 998 0 -1 1077944384 2 13335 0 0 0 0 5 3 20 0 6 0 445831815 10212057088 3512 33554432000 4194304 4196468 140721289767696 140092148205840 140092577371861 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9970508 KiB
Current children cumulated memory: 11480 KiB
[startup+0.220496 s]*
/proc/loadavg: 1.73 1.46 1.40 4/227 7318
/proc/meminfo: memFree=28740380/32770624 swapFree=66998756/67108860
[pid=7252] ppid=7249 vsize=10820020 memory=43212 CPUtime=0.27 cores=0,2,4,6
/proc/7252/stat : 7252 (java) S 7249 7252 998 0 -1 1077944320 7173 13335 0 0 17 2 5 3 20 0 15 0 445831804 11079700480 10803 33554432000 4194304 4196468 140721289767696 140721289750240 140092577361655 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
/proc/7252/statm: 2705005 10803 3188 1 0 2667149 0
[pid=7252/tid=7305] ppid=7249 vsize=10820020 memory=5450916389569530688 CPUtime=0.19 cores=0,2,4,6
/proc/7252/task/7305/stat : 7305 (java) R 7249 7252 998 0 -1 4202560 3686 13335 0 0 10 1 5 3 20 0 15 0 445831814 11079700480 10803 33554432000 4194304 4196468 140721289767696 140092549192896 140092577373590 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7306] ppid=7249 vsize=10820020 memory=-7025452035940392864 CPUtime=0.08 cores=0,2,4,6
/proc/7252/task/7306/stat : 7306 (java) S 7249 7252 998 0 -1 1077944384 1 13335 0 0 0 0 5 3 20 0 15 0 445831815 11079700480 10803 33554432000 4194304 4196468 140721289767696 140092581603984 140092577371861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7307] ppid=7249 vsize=10820020 memory=140270388545152 CPUtime=0.08 cores=0,2,4,6
/proc/7252/task/7307/stat : 7307 (java) S 7249 7252 998 0 -1 1077944384 1 13335 0 0 0 0 5 3 20 0 15 0 445831815 11079700480 10803 33554432000 4194304 4196468 140721289767696 140092506909200 140092577371861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7308] ppid=7249 vsize=10820020 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7252/task/7308/stat : 7308 (java) S 7249 7252 998 0 -1 1077944384 2 13335 0 0 0 0 5 3 20 0 15 0 445831815 11079700480 10803 33554432000 4194304 4196468 140721289767696 140092149258640 140092577371861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7309] ppid=7249 vsize=10820020 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/7252/task/7309/stat : 7309 (java) S 7249 7252 998 0 -1 1077944384 2 13335 0 0 0 0 5 3 20 0 15 0 445831815 11079700480 10803 33554432000 4194304 4196468 140721289767696 140092148205840 140092577371861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7310] ppid=7249 vsize=10820020 memory=140270388545152 CPUtime=0.08 cores=0,2,4,6
/proc/7252/task/7310/stat : 7310 (java) S 7249 7252 998 0 -1 1077944384 2 13335 0 0 0 0 5 3 20 0 15 0 445831816 11079700480 10803 33554432000 4194304 4196468 140721289767696 140092103953264 140092577372802 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7311] ppid=7249 vsize=10820020 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/7252/task/7311/stat : 7311 (java) S 7249 7252 998 0 -1 1077944384 13 13335 0 0 0 0 5 3 20 0 15 0 445831816 11079700480 10803 33554432000 4194304 4196468 140721289767696 140092035294752 140092577371861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7312] ppid=7249 vsize=10820020 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7252/task/7312/stat : 7312 (java) S 7249 7252 998 0 -1 1077944384 1 13335 0 0 0 0 5 3 20 0 15 0 445831817 11079700480 10803 33554432000 4194304 4196468 140721289767696 140091431314800 140092577371861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7313] ppid=7249 vsize=10820020 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7252/task/7313/stat : 7313 (java) S 7249 7252 998 0 -1 1077944384 3 13335 0 0 0 0 5 3 20 0 15 0 445831819 11079700480 10803 33554432000 4194304 4196468 140721289767696 140091123915088 140092577380251 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7314] ppid=7249 vsize=10820020 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/7252/task/7314/stat : 7314 (java) R 7249 7252 998 0 -1 4202560 591 13335 0 0 1 0 5 3 20 0 15 0 445831819 11079700480 10803 33554432000 4194304 4196468 140721289767696 140092001737072 140092577373590 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7315] ppid=7249 vsize=10820020 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/7252/task/7315/stat : 7315 (java) S 7249 7252 998 0 -1 1077944384 64 13335 0 0 0 0 5 3 20 0 15 0 445831819 11079700480 10803 33554432000 4194304 4196468 140721289767696 140092000684272 140092577372802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7316] ppid=7249 vsize=10820020 memory=140270388545152 CPUtime=0.11 cores=0,2,4,6
/proc/7252/task/7316/stat : 7316 (java) S 7249 7252 998 0 -1 1077944384 599 13335 0 0 3 0 5 3 20 0 15 0 445831819 11079700480 10803 33554432000 4194304 4196468 140721289767696 140091999631472 140092577372802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7317] ppid=7249 vsize=10820020 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/7252/task/7317/stat : 7317 (java) S 7249 7252 998 0 -1 1077944384 3 13335 0 0 0 0 5 3 20 0 15 0 445831820 11079700480 10803 33554432000 4194304 4196468 140721289767696 140091090356448 140092577371861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7318] ppid=7249 vsize=10820164 memory=140270388545152 CPUtime=0.08 cores=0,2,4,6
/proc/7252/task/7318/stat : 7318 (java) S 7249 7252 998 0 -1 1077944384 1 13335 0 0 0 0 5 3 20 0 15 0 445831820 11079847936 10803 33554432000 4194304 4196468 140721289767696 140091998579888 140092577372802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10820020 KiB
Current children cumulated memory: 43212 KiB
[startup+0.310378 s]*
/proc/loadavg: 1.73 1.46 1.40 3/227 7318
/proc/meminfo: memFree=28727008/32770624 swapFree=66998756/67108860
[pid=7252] ppid=7249 vsize=10820196 memory=51948 CPUtime=0.39 cores=0,2,4,6
/proc/7252/stat : 7252 (java) S 7249 7252 998 0 -1 1077944320 10693 13335 0 0 27 4 5 3 20 0 15 0 445831804 11079880704 12987 33554432000 4194304 4196468 140721289767696 140721289750240 140092577361655 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
/proc/7252/statm: 2705049 12987 3315 1 0 2667149 0
[pid=7252/tid=7305] ppid=7249 vsize=10820196 memory=1398722017469774279 CPUtime=0.28 cores=0,2,4,6
/proc/7252/task/7305/stat : 7305 (java) R 7249 7252 998 0 -1 4202560 7174 13335 0 0 17 3 5 3 20 0 15 0 445831814 11079880704 12987 33554432000 4194304 4196468 140721289767696 140092549180112 140092558926608 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7306] ppid=7249 vsize=10820196 memory=7807377348913227630 CPUtime=0.08 cores=0,2,4,6
/proc/7252/task/7306/stat : 7306 (java) S 7249 7252 998 0 -1 1077944384 1 13335 0 0 0 0 5 3 20 0 15 0 445831815 11079880704 12987 33554432000 4194304 4196468 140721289767696 140092581603984 140092577371861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7307] ppid=7249 vsize=10820196 memory=5931329032301858896 CPUtime=0.08 cores=0,2,4,6
/proc/7252/task/7307/stat : 7307 (java) S 7249 7252 998 0 -1 1077944384 1 13335 0 0 0 0 5 3 20 0 15 0 445831815 11079880704 12987 33554432000 4194304 4196468 140721289767696 140092506909200 140092577371861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7308] ppid=7249 vsize=10820196 memory=7019607358233331911 CPUtime=0.08 cores=0,2,4,6
/proc/7252/task/7308/stat : 7308 (java) S 7249 7252 998 0 -1 1077944384 2 13335 0 0 0 0 5 3 20 0 15 0 445831815 11079880704 12987 33554432000 4194304 4196468 140721289767696 140092149258640 140092577371861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7309] ppid=7249 vsize=10820196 memory=4126316290023845779 CPUtime=0.08 cores=0,2,4,6
/proc/7252/task/7309/stat : 7309 (java) S 7249 7252 998 0 -1 1077944384 2 13335 0 0 0 0 5 3 20 0 15 0 445831815 11079880704 12987 33554432000 4194304 4196468 140721289767696 140092148205840 140092577371861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7310] ppid=7249 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7252/task/7310/stat : 7310 (java) S 7249 7252 998 0 -1 1077944384 2 13335 0 0 0 0 5 3 20 0 15 0 445831816 11079880704 12987 33554432000 4194304 4196468 140721289767696 140092103953264 140092577372802 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7311] ppid=7249 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7252/task/7311/stat : 7311 (java) S 7249 7252 998 0 -1 1077944384 13 13335 0 0 0 0 5 3 20 0 15 0 445831816 11079880704 12987 33554432000 4194304 4196468 140721289767696 140092035294752 140092577371861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7312] ppid=7249 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7252/task/7312/stat : 7312 (java) S 7249 7252 998 0 -1 1077944384 1 13335 0 0 0 0 5 3 20 0 15 0 445831817 11079880704 12987 33554432000 4194304 4196468 140721289767696 140091431314800 140092577371861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7313] ppid=7249 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7252/task/7313/stat : 7313 (java) S 7249 7252 998 0 -1 1077944384 3 13335 0 0 0 0 5 3 20 0 15 0 445831819 11079880704 12987 33554432000 4194304 4196468 140721289767696 140091123915088 140092577380251 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7314] ppid=7249 vsize=10820196 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/7252/task/7314/stat : 7314 (java) S 7249 7252 998 0 -1 1077944384 601 13335 0 0 2 0 5 3 20 0 15 0 445831819 11079880704 12987 33554432000 4194304 4196468 140721289767696 140092001737072 140092577372802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7315] ppid=7249 vsize=10820196 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/7252/task/7315/stat : 7315 (java) S 7249 7252 998 0 -1 1077944384 64 13335 0 0 1 0 5 3 20 0 15 0 445831819 11079880704 12987 33554432000 4194304 4196468 140721289767696 140092000684272 140092577372802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7316] ppid=7249 vsize=10820196 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/7252/task/7316/stat : 7316 (java) S 7249 7252 998 0 -1 1077944384 615 13335 0 0 5 0 5 3 20 0 15 0 445831819 11079880704 12987 33554432000 4194304 4196468 140721289767696 140091999631472 140092577372802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7317] ppid=7249 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7252/task/7317/stat : 7317 (java) S 7249 7252 998 0 -1 1077944384 3 13335 0 0 0 0 5 3 20 0 15 0 445831820 11079880704 12987 33554432000 4194304 4196468 140721289767696 140091090356448 140092577371861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7318] ppid=7249 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7252/task/7318/stat : 7318 (java) S 7249 7252 998 0 -1 1077944384 1 13335 0 0 0 0 5 3 20 0 15 0 445831820 11079880704 12987 33554432000 4194304 4196468 140721289767696 140091998579888 140092577372802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 51948 KiB
[startup+0.701239 s]
/proc/loadavg: 1.73 1.46 1.40 3/227 7318
/proc/meminfo: memFree=28715720/32770624 swapFree=66998756/67108860
[pid=7252] ppid=7249 vsize=10824364 memory=82928 CPUtime=1.09 cores=0,2,4,6
/proc/7252/stat : 7252 (java) S 7249 7252 998 0 -1 1077944320 14988 13335 0 0 94 7 5 3 20 0 15 0 445831804 11084148736 20732 33554432000 4194304 4196468 140721289767696 140721289750240 140092577361655 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
/proc/7252/statm: 2706091 20732 3501 1 0 2668173 0
[pid=7252/tid=7305] ppid=7249 vsize=10824364 memory=2241 CPUtime=0.66 cores=0,2,4,6
/proc/7252/task/7305/stat : 7305 (java) R 7249 7252 998 0 -1 4202560 10398 13335 0 0 53 5 5 3 20 0 15 0 445831814 11084148736 20732 33554432000 4194304 4196468 140721289767696 140092549189280 140092577383581 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7306] ppid=7249 vsize=10824364 memory=2244 CPUtime=0.08 cores=0,2,4,6
/proc/7252/task/7306/stat : 7306 (java) S 7249 7252 998 0 -1 1077944384 1 13335 0 0 0 0 5 3 20 0 15 0 445831815 11084148736 20732 33554432000 4194304 4196468 140721289767696 140092581603984 140092577371861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7307] ppid=7249 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7252/task/7307/stat : 7307 (java) S 7249 7252 998 0 -1 1077944384 1 13335 0 0 0 0 5 3 20 0 15 0 445831815 11084148736 20732 33554432000 4194304 4196468 140721289767696 140092506909200 140092577371861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7308] ppid=7249 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7252/task/7308/stat : 7308 (java) S 7249 7252 998 0 -1 1077944384 2 13335 0 0 0 0 5 3 20 0 15 0 445831815 11084148736 20732 33554432000 4194304 4196468 140721289767696 140092149258640 140092577371861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7309] ppid=7249 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7252/task/7309/stat : 7309 (java) S 7249 7252 998 0 -1 1077944384 2 13335 0 0 0 0 5 3 20 0 15 0 445831815 11084148736 20732 33554432000 4194304 4196468 140721289767696 140092148205840 140092577371861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7310] ppid=7249 vsize=10824364 memory=6944652177228980320 CPUtime=0.08 cores=0,2,4,6
/proc/7252/task/7310/stat : 7310 (java) S 7249 7252 998 0 -1 1077944384 5 13335 0 0 0 0 5 3 20 0 15 0 445831816 11084148736 20732 33554432000 4194304 4196468 140721289767696 140092103953264 140092577372802 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7311] ppid=7249 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7252/task/7311/stat : 7311 (java) S 7249 7252 998 0 -1 1077944384 13 13335 0 0 0 0 5 3 20 0 15 0 445831816 11084148736 20732 33554432000 4194304 4196468 140721289767696 140092035294752 140092577371861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7312] ppid=7249 vsize=10824364 memory=6943526294502006880 CPUtime=0.08 cores=0,2,4,6
/proc/7252/task/7312/stat : 7312 (java) S 7249 7252 998 0 -1 1077944384 1 13335 0 0 0 0 5 3 20 0 15 0 445831817 11084148736 20732 33554432000 4194304 4196468 140721289767696 140091431314800 140092577371861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7313] ppid=7249 vsize=10824364 memory=6944656592455097440 CPUtime=0.08 cores=0,2,4,6
/proc/7252/task/7313/stat : 7313 (java) S 7249 7252 998 0 -1 1077944384 3 13335 0 0 0 0 5 3 20 0 15 0 445831819 11084148736 20732 33554432000 4194304 4196468 140721289767696 140091123915088 140092577380251 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7314] ppid=7249 vsize=10824364 memory=140270276478864 CPUtime=0.19 cores=0,2,4,6
/proc/7252/task/7314/stat : 7314 (java) S 7249 7252 998 0 -1 1077944384 1041 13335 0 0 11 0 5 3 20 0 15 0 445831819 11084148736 20732 33554432000 4194304 4196468 140721289767696 140092001737072 140092577372802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7315] ppid=7249 vsize=10824364 memory=24964 CPUtime=0.2 cores=0,2,4,6
/proc/7252/task/7315/stat : 7315 (java) S 7249 7252 998 0 -1 1077944384 518 13335 0 0 12 0 5 3 20 0 15 0 445831819 11084148736 20732 33554432000 4194304 4196468 140721289767696 140092000684272 140092577372802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7316] ppid=7249 vsize=10824364 memory=2244 CPUtime=0.24 cores=0,2,4,6
/proc/7252/task/7316/stat : 7316 (java) S 7249 7252 998 0 -1 1077944384 790 13335 0 0 16 0 5 3 20 0 15 0 445831819 11084148736 20732 33554432000 4194304 4196468 140721289767696 140091999631472 140092577372802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7317] ppid=7249 vsize=10824364 memory=140270276476272 CPUtime=0.08 cores=0,2,4,6
/proc/7252/task/7317/stat : 7317 (java) S 7249 7252 998 0 -1 1077944384 3 13335 0 0 0 0 5 3 20 0 15 0 445831820 11084148736 20732 33554432000 4194304 4196468 140721289767696 140091090356448 140092577371861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7318] ppid=7249 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7252/task/7318/stat : 7318 (java) S 7249 7252 998 0 -1 1077944384 1 13335 0 0 0 0 5 3 20 0 15 0 445831820 11084148736 20732 33554432000 4194304 4196468 140721289767696 140091998579888 140092577372802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 82928 KiB
[startup+1.50249 s]
/proc/loadavg: 1.73 1.46 1.40 3/227 7318
/proc/meminfo: memFree=28672344/32770624 swapFree=66998756/67108860
[pid=7252] ppid=7249 vsize=10834680 memory=174900 CPUtime=2.45 cores=0,2,4,6
/proc/7252/stat : 7252 (java) S 7249 7252 998 0 -1 1077944320 21740 13335 0 0 225 12 5 3 20 0 15 0 445831804 11094712320 43725 33554432000 4194304 4196468 140721289767696 140721289750240 140092577361655 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
/proc/7252/statm: 2708670 43725 3587 1 0 2670733 0
[pid=7252/tid=7305] ppid=7249 vsize=10834680 memory=19 CPUtime=1.42 cores=0,2,4,6
/proc/7252/task/7305/stat : 7305 (java) R 7249 7252 998 0 -1 4202560 15384 13335 0 0 127 7 5 3 20 0 15 0 445831814 11094712320 43725 33554432000 4194304 4196468 140721289767696 140092549168816 140092561442142 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7306] ppid=7249 vsize=10834680 memory=28 CPUtime=0.08 cores=0,2,4,6
/proc/7252/task/7306/stat : 7306 (java) S 7249 7252 998 0 -1 1077944384 72 13335 0 0 0 0 5 3 20 0 15 0 445831815 11094712320 43725 33554432000 4194304 4196468 140721289767696 140092581603984 140092577371861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7307] ppid=7249 vsize=10834680 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/7252/task/7307/stat : 7307 (java) S 7249 7252 998 0 -1 1077944384 23 13335 0 0 1 0 5 3 20 0 15 0 445831815 11094712320 43725 33554432000 4194304 4196468 140721289767696 140092506909200 140092577371861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7308] ppid=7249 vsize=10834680 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/7252/task/7308/stat : 7308 (java) S 7249 7252 998 0 -1 1077944384 322 13335 0 0 1 0 5 3 20 0 15 0 445831815 11094712320 43725 33554432000 4194304 4196468 140721289767696 140092149258640 140092577371861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7309] ppid=7249 vsize=10834680 memory=98960 CPUtime=0.09 cores=0,2,4,6
/proc/7252/task/7309/stat : 7309 (java) S 7249 7252 998 0 -1 1077944384 74 13335 0 0 1 0 5 3 20 0 15 0 445831815 11094712320 43725 33554432000 4194304 4196468 140721289767696 140092148205840 140092577371861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7310] ppid=7249 vsize=10834680 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/7252/task/7310/stat : 7310 (java) S 7249 7252 998 0 -1 1077944384 171 13335 0 0 1 0 5 3 20 0 15 0 445831816 11094712320 43725 33554432000 4194304 4196468 140721289767696 140092103953264 140092577372802 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7311] ppid=7249 vsize=10834680 memory=7305218370954619481 CPUtime=0.08 cores=0,2,4,6
/proc/7252/task/7311/stat : 7311 (java) S 7249 7252 998 0 -1 1077944384 14 13335 0 0 0 0 5 3 20 0 15 0 445831816 11094712320 43725 33554432000 4194304 4196468 140721289767696 140092035294816 140092577371861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7312] ppid=7249 vsize=10834680 memory=6010993108415178854 CPUtime=0.08 cores=0,2,4,6
/proc/7252/task/7312/stat : 7312 (java) S 7249 7252 998 0 -1 1077944384 1 13335 0 0 0 0 5 3 20 0 15 0 445831817 11094712320 43725 33554432000 4194304 4196468 140721289767696 140091431314816 140092577371861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7313] ppid=7249 vsize=10834680 memory=7667771309696504425 CPUtime=0.08 cores=0,2,4,6
/proc/7252/task/7313/stat : 7313 (java) S 7249 7252 998 0 -1 1077944384 3 13335 0 0 0 0 5 3 20 0 15 0 445831819 11094712320 43725 33554432000 4194304 4196468 140721289767696 140091123915088 140092577380251 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7314] ppid=7249 vsize=10834680 memory=7011348500760777304 CPUtime=0.33 cores=0,2,4,6
/proc/7252/task/7314/stat : 7314 (java) S 7249 7252 998 0 -1 1077944384 1172 13335 0 0 25 0 5 3 20 0 15 0 445831819 11094712320 43725 33554432000 4194304 4196468 140721289767696 140092001737072 140092577372802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7315] ppid=7249 vsize=10834680 memory=7452166936305624431 CPUtime=0.32 cores=0,2,4,6
/proc/7252/task/7315/stat : 7315 (java) S 7249 7252 998 0 -1 1077944384 671 13335 0 0 24 0 5 3 20 0 15 0 445831819 11094712320 43725 33554432000 4194304 4196468 140721289767696 140092000684272 140092577372802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7316] ppid=7249 vsize=10834680 memory=7305218370954619481 CPUtime=0.49 cores=0,2,4,6
/proc/7252/task/7316/stat : 7316 (java) R 7249 7252 998 0 -1 4202560 1620 13335 0 0 40 1 5 3 20 0 15 0 445831819 11094712320 43725 33554432000 4194304 4196468 140721289767696 140091999628728 140092555899522 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7317] ppid=7249 vsize=10834680 memory=7305218370954619481 CPUtime=0.08 cores=0,2,4,6
/proc/7252/task/7317/stat : 7317 (java) S 7249 7252 998 0 -1 1077944384 3 13335 0 0 0 0 5 3 20 0 15 0 445831820 11094712320 43725 33554432000 4194304 4196468 140721289767696 140091090356448 140092577371861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7318] ppid=7249 vsize=10834680 memory=55 CPUtime=0.08 cores=0,2,4,6
/proc/7252/task/7318/stat : 7318 (java) S 7249 7252 998 0 -1 1077944384 1 13335 0 0 0 0 5 3 20 0 15 0 445831820 11094712320 43725 33554432000 4194304 4196468 140721289767696 140091998579888 140092577372802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
Current children cumulated CPU time: 2.45 s
Current children cumulated vsize: 10834680 KiB
################
# More data... #
################
/proc/7252/task/7305/stat : 7305 (java) S 7249 7252 998 0 -1 1077944384 103362 13335 0 0 235563 67 5 3 20 0 15 0 445831814 11109412864 130327 33554432000 4194304 4196468 140721289767696 140092549196208 140092577371861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7306] ppid=7249 vsize=10849036 memory=2832 CPUtime=14.02 cores=0,2,4,6
/proc/7252/task/7306/stat : 7306 (java) S 7249 7252 998 0 -1 1077944384 18925 13335 0 0 1339 55 5 3 20 0 15 0 445831815 11109412864 130327 33554432000 4194304 4196468 140721289767696 140092581603984 140092577371861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7307] ppid=7249 vsize=10849036 memory=522848 CPUtime=14.07 cores=0,2,4,6
/proc/7252/task/7307/stat : 7307 (java) S 7249 7252 998 0 -1 1077944384 15900 13335 0 0 1340 59 5 3 20 0 15 0 445831815 11109412864 130327 33554432000 4194304 4196468 140721289767696 140092506909200 140092577371861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7308] ppid=7249 vsize=10849036 memory=525924 CPUtime=14.03 cores=0,2,4,6
/proc/7252/task/7308/stat : 7308 (java) S 7249 7252 998 0 -1 1077944384 15217 13335 0 0 1335 60 5 3 20 0 15 0 445831815 11109412864 130327 33554432000 4194304 4196468 140721289767696 140092149258640 140092577371861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7309] ppid=7249 vsize=10849036 memory=525924 CPUtime=14.05 cores=0,2,4,6
/proc/7252/task/7309/stat : 7309 (java) R 7249 7252 998 0 -1 1077944384 20450 13335 0 0 1336 61 5 3 20 0 15 0 445831815 11109412864 130327 33554432000 4194304 4196468 140721289767696 140092148205856 140092577371861 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7310] ppid=7249 vsize=10849036 memory=525924 CPUtime=9.34 cores=0,2,4,6
/proc/7252/task/7310/stat : 7310 (java) S 7249 7252 998 0 -1 1077944384 16432 13335 0 0 854 72 5 3 20 0 15 0 445831816 11109412864 130327 33554432000 4194304 4196468 140721289767696 140092103951776 140092577371861 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7311] ppid=7249 vsize=10849036 memory=525924 CPUtime=0.08 cores=0,2,4,6
/proc/7252/task/7311/stat : 7311 (java) S 7249 7252 998 0 -1 1077944384 25 13335 0 0 0 0 5 3 20 0 15 0 445831816 11109412864 130327 33554432000 4194304 4196468 140721289767696 140092035294816 140092577371861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7312] ppid=7249 vsize=10849036 memory=522848 CPUtime=0.08 cores=0,2,4,6
/proc/7252/task/7312/stat : 7312 (java) S 7249 7252 998 0 -1 1077944384 19 13335 0 0 0 0 5 3 20 0 15 0 445831817 11109412864 130327 33554432000 4194304 4196468 140721289767696 140091431314816 140092577371861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7313] ppid=7249 vsize=10849036 memory=295953534 CPUtime=0.08 cores=0,2,4,6
/proc/7252/task/7313/stat : 7313 (java) S 7249 7252 998 0 -1 1077944384 3 13335 0 0 0 0 5 3 20 0 15 0 445831819 11109412864 130327 33554432000 4194304 4196468 140721289767696 140091123915088 140092577380251 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7314] ppid=7249 vsize=10849036 memory=489512 CPUtime=5.17 cores=0,2,4,6
/proc/7252/task/7314/stat : 7314 (java) S 7249 7252 998 0 -1 1077944384 31978 13335 0 0 505 4 5 3 20 0 15 0 445831819 11109412864 130327 33554432000 4194304 4196468 140721289767696 140092001737072 140092577372802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7315] ppid=7249 vsize=10849036 memory=522332 CPUtime=5.37 cores=0,2,4,6
/proc/7252/task/7315/stat : 7315 (java) S 7249 7252 998 0 -1 1077944384 34125 13335 0 0 525 4 5 3 20 0 15 0 445831819 11109412864 130327 33554432000 4194304 4196468 140721289767696 140092000684272 140092577372802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7316] ppid=7249 vsize=10849036 memory=523360 CPUtime=2.34 cores=0,2,4,6
/proc/7252/task/7316/stat : 7316 (java) S 7249 7252 998 0 -1 1077944384 24217 13335 0 0 221 5 5 3 20 0 15 0 445831819 11109412864 130327 33554432000 4194304 4196468 140721289767696 140091999631472 140092577372802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7317] ppid=7249 vsize=10849036 memory=1808 CPUtime=0.08 cores=0,2,4,6
/proc/7252/task/7317/stat : 7317 (java) S 7249 7252 998 0 -1 1077944384 3 13335 0 0 0 0 5 3 20 0 15 0 445831820 11109412864 130327 33554432000 4194304 4196468 140721289767696 140091090356448 140092577371861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7318] ppid=7249 vsize=10849036 memory=521820 CPUtime=1.52 cores=0,2,4,6
/proc/7252/task/7318/stat : 7318 (java) S 7249 7252 998 0 -1 1077944384 1083 13335 0 0 72 72 5 3 20 0 15 0 445831820 11109412864 130327 33554432000 4194304 4196468 140721289767696 140091998579888 140092577372802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
Current children cumulated CPU time: 2435.69 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 521308 KiB
[startup+2442.3 s]
/proc/loadavg: 1.28 1.33 1.34 3/227 7693
/proc/meminfo: memFree=28376936/32770624 swapFree=66998764/67108860
[pid=7252] ppid=7249 vsize=10849036 memory=528480 CPUtime=2496.82 cores=0,2,4,6
/proc/7252/stat : 7252 (java) S 7249 7252 998 0 -1 1077944320 289865 13335 0 0 249254 420 5 3 20 0 15 0 445831804 11109412864 132120 33554432000 4194304 4196468 140721289767696 140721289750240 140092577361655 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
/proc/7252/statm: 2712259 132120 3631 1 0 2674317 0
[pid=7252/tid=7305] ppid=7249 vsize=10849036 memory=492752 CPUtime=2415.7 cores=0,2,4,6
/proc/7252/task/7305/stat : 7305 (java) R 7249 7252 998 0 -1 4202560 107778 13335 0 0 241494 68 5 3 20 0 15 0 445831814 11109412864 132120 33554432000 4194304 4196468 140721289767696 140092549197008 140092181615693 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7306] ppid=7249 vsize=10849036 memory=534636 CPUtime=14.41 cores=0,2,4,6
/proc/7252/task/7306/stat : 7306 (java) S 7249 7252 998 0 -1 1077944384 19202 13335 0 0 1376 57 5 3 20 0 15 0 445831815 11109412864 132120 33554432000 4194304 4196468 140721289767696 140092581603984 140092577371861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7307] ppid=7249 vsize=10849036 memory=532072 CPUtime=14.46 cores=0,2,4,6
/proc/7252/task/7307/stat : 7307 (java) S 7249 7252 998 0 -1 1077944384 16171 13335 0 0 1377 61 5 3 20 0 15 0 445831815 11109412864 132120 33554432000 4194304 4196468 140721289767696 140092506909200 140092577371861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7308] ppid=7249 vsize=10849036 memory=530020 CPUtime=14.42 cores=0,2,4,6
/proc/7252/task/7308/stat : 7308 (java) S 7249 7252 998 0 -1 1077944384 15508 13335 0 0 1372 62 5 3 20 0 15 0 445831815 11109412864 132120 33554432000 4194304 4196468 140721289767696 140092149258640 140092577371861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7309] ppid=7249 vsize=10849036 memory=531560 CPUtime=14.45 cores=0,2,4,6
/proc/7252/task/7309/stat : 7309 (java) S 7249 7252 998 0 -1 1077944384 21047 13335 0 0 1374 63 5 3 20 0 15 0 445831815 11109412864 132120 33554432000 4194304 4196468 140721289767696 140092148205840 140092577371861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7310] ppid=7249 vsize=10849036 memory=528480 CPUtime=9.56 cores=0,2,4,6
/proc/7252/task/7310/stat : 7310 (java) S 7249 7252 998 0 -1 1077944384 16489 13335 0 0 874 74 5 3 20 0 15 0 445831816 11109412864 132120 33554432000 4194304 4196468 140721289767696 140092103953264 140092577372802 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7311] ppid=7249 vsize=10849036 memory=492576 CPUtime=0.08 cores=0,2,4,6
/proc/7252/task/7311/stat : 7311 (java) S 7249 7252 998 0 -1 1077944384 25 13335 0 0 0 0 5 3 20 0 15 0 445831816 11109412864 132120 33554432000 4194304 4196468 140721289767696 140092035294816 140092577371861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7312] ppid=7249 vsize=10849036 memory=533100 CPUtime=0.08 cores=0,2,4,6
/proc/7252/task/7312/stat : 7312 (java) S 7249 7252 998 0 -1 1077944384 19 13335 0 0 0 0 5 3 20 0 15 0 445831817 11109412864 132120 33554432000 4194304 4196468 140721289767696 140091431314816 140092577371861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7313] ppid=7249 vsize=10849036 memory=1056 CPUtime=0.08 cores=0,2,4,6
/proc/7252/task/7313/stat : 7313 (java) S 7249 7252 998 0 -1 1077944384 3 13335 0 0 0 0 5 3 20 0 15 0 445831819 11109412864 132120 33554432000 4194304 4196468 140721289767696 140091123915088 140092577380251 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7314] ppid=7249 vsize=10849036 memory=14012 CPUtime=5.18 cores=0,2,4,6
/proc/7252/task/7314/stat : 7314 (java) S 7249 7252 998 0 -1 1077944384 31978 13335 0 0 505 5 5 3 20 0 15 0 445831819 11109412864 132120 33554432000 4194304 4196468 140721289767696 140092001737072 140092577372802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7315] ppid=7249 vsize=10849036 memory=531048 CPUtime=5.37 cores=0,2,4,6
/proc/7252/task/7315/stat : 7315 (java) S 7249 7252 998 0 -1 1077944384 34125 13335 0 0 525 4 5 3 20 0 15 0 445831819 11109412864 132120 33554432000 4194304 4196468 140721289767696 140092000684272 140092577372802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7316] ppid=7249 vsize=10849036 memory=531048 CPUtime=2.34 cores=0,2,4,6
/proc/7252/task/7316/stat : 7316 (java) S 7249 7252 998 0 -1 1077944384 24219 13335 0 0 221 5 5 3 20 0 15 0 445831819 11109412864 132120 33554432000 4194304 4196468 140721289767696 140091999631472 140092577372802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7317] ppid=7249 vsize=10849036 memory=528996 CPUtime=0.08 cores=0,2,4,6
/proc/7252/task/7317/stat : 7317 (java) S 7249 7252 998 0 -1 1077944384 3 13335 0 0 0 0 5 3 20 0 15 0 445831820 11109412864 132120 33554432000 4194304 4196468 140721289767696 140091090356448 140092577371861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7318] ppid=7249 vsize=10849036 memory=1980 CPUtime=1.55 cores=0,2,4,6
/proc/7252/task/7318/stat : 7318 (java) S 7249 7252 998 0 -1 1077944384 1088 13335 0 0 74 73 5 3 20 0 15 0 445831820 11109412864 132120 33554432000 4194304 4196468 140721289767696 140091998579888 140092577372802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
Current children cumulated CPU time: 2496.82 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 528480 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2465.11 s]
/proc/loadavg: 1.06 1.28 1.32 3/228 7698
/proc/meminfo: memFree=28387156/32770624 swapFree=66998764/67108860
[pid=7252] ppid=7249 vsize=10849036 memory=504884 CPUtime=2520.07 cores=0,2,4,6
/proc/7252/stat : 7252 (java) S 7249 7252 998 0 -1 1077944320 291582 13335 0 0 251577 422 5 3 20 0 15 0 445831804 11109412864 126221 33554432000 4194304 4196468 140721289767696 140721289750240 140092577361655 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
/proc/7252/statm: 2712259 126221 3631 1 0 2674317 0
[pid=7252/tid=7305] ppid=7249 vsize=10849036 memory=505396 CPUtime=2438.25 cores=0,2,4,6
/proc/7252/task/7305/stat : 7305 (java) R 7249 7252 998 0 -1 4202560 108095 13335 0 0 243749 68 5 3 20 0 15 0 445831814 11109412864 126221 33554432000 4194304 4196468 140721289767696 140092549196560 140092200003164 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7306] ppid=7249 vsize=10849036 memory=507960 CPUtime=14.56 cores=0,2,4,6
/proc/7252/task/7306/stat : 7306 (java) S 7249 7252 998 0 -1 1077944384 19642 13335 0 0 1391 57 5 3 20 0 15 0 445831815 11109412864 126221 33554432000 4194304 4196468 140721289767696 140092581603984 140092577371861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7307] ppid=7249 vsize=10849036 memory=506936 CPUtime=14.61 cores=0,2,4,6
/proc/7252/task/7307/stat : 7307 (java) S 7249 7252 998 0 -1 1077944384 16452 13335 0 0 1391 62 5 3 20 0 15 0 445831815 11109412864 126221 33554432000 4194304 4196468 140721289767696 140092506909200 140092577371861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7308] ppid=7249 vsize=10849036 memory=7662986265023702891 CPUtime=14.58 cores=0,2,4,6
/proc/7252/task/7308/stat : 7308 (java) S 7249 7252 998 0 -1 1077944384 15757 13335 0 0 1387 63 5 3 20 0 15 0 445831815 11109412864 126221 33554432000 4194304 4196468 140721289767696 140092149258640 140092577371861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7309] ppid=7249 vsize=10849036 memory=505908 CPUtime=14.59 cores=0,2,4,6
/proc/7252/task/7309/stat : 7309 (java) S 7249 7252 998 0 -1 1077944384 21277 13335 0 0 1388 63 5 3 20 0 15 0 445831815 11109412864 126221 33554432000 4194304 4196468 140721289767696 140092148205840 140092577371861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7310] ppid=7249 vsize=10849036 memory=504884 CPUtime=9.66 cores=0,2,4,6
/proc/7252/task/7310/stat : 7310 (java) S 7249 7252 998 0 -1 1077944384 16672 13335 0 0 883 75 5 3 20 0 15 0 445831816 11109412864 126221 33554432000 4194304 4196468 140721289767696 140092103953264 140092577372802 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7311] ppid=7249 vsize=10849036 memory=1072 CPUtime=0.08 cores=0,2,4,6
/proc/7252/task/7311/stat : 7311 (java) S 7249 7252 998 0 -1 1077944384 25 13335 0 0 0 0 5 3 20 0 15 0 445831816 11109412864 126221 33554432000 4194304 4196468 140721289767696 140092035294816 140092577371861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7312] ppid=7249 vsize=10849036 memory=5860 CPUtime=0.08 cores=0,2,4,6
/proc/7252/task/7312/stat : 7312 (java) S 7249 7252 998 0 -1 1077944384 19 13335 0 0 0 0 5 3 20 0 15 0 445831817 11109412864 126221 33554432000 4194304 4196468 140721289767696 140091431314816 140092577371861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7313] ppid=7249 vsize=10849036 memory=9396 CPUtime=0.08 cores=0,2,4,6
/proc/7252/task/7313/stat : 7313 (java) S 7249 7252 998 0 -1 1077944384 3 13335 0 0 0 0 5 3 20 0 15 0 445831819 11109412864 126221 33554432000 4194304 4196468 140721289767696 140091123915088 140092577380251 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7314] ppid=7249 vsize=10849036 memory=656 CPUtime=5.18 cores=0,2,4,6
/proc/7252/task/7314/stat : 7314 (java) S 7249 7252 998 0 -1 1077944384 31980 13335 0 0 505 5 5 3 20 0 15 0 445831819 11109412864 126221 33554432000 4194304 4196468 140721289767696 140092001737072 140092577372802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7315] ppid=7249 vsize=10849036 memory=529 CPUtime=5.37 cores=0,2,4,6
/proc/7252/task/7315/stat : 7315 (java) S 7249 7252 998 0 -1 1077944384 34127 13335 0 0 525 4 5 3 20 0 15 0 445831819 11109412864 126221 33554432000 4194304 4196468 140721289767696 140092000684272 140092577372802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7316] ppid=7249 vsize=10849036 memory=226 CPUtime=2.34 cores=0,2,4,6
/proc/7252/task/7316/stat : 7316 (java) S 7249 7252 998 0 -1 1077944384 24219 13335 0 0 221 5 5 3 20 0 15 0 445831819 11109412864 126221 33554432000 4194304 4196468 140721289767696 140091999631472 140092577372802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7317] ppid=7249 vsize=10849036 memory=505396 CPUtime=0.08 cores=0,2,4,6
/proc/7252/task/7317/stat : 7317 (java) S 7249 7252 998 0 -1 1077944384 3 13335 0 0 0 0 5 3 20 0 15 0 445831820 11109412864 126221 33554432000 4194304 4196468 140721289767696 140091090356448 140092577371861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7318] ppid=7249 vsize=10849036 memory=2764 CPUtime=1.56 cores=0,2,4,6
/proc/7252/task/7318/stat : 7318 (java) S 7249 7252 998 0 -1 1077944384 1101 13335 0 0 74 74 5 3 20 0 15 0 445831820 11109412864 126221 33554432000 4194304 4196468 140721289767696 140091998579888 140092577372802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 504884 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2465.15 s]
# the end of solver process 7252 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.85 s, system=4.27976 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2465.11 s]
/proc/loadavg: 1.06 1.28 1.32 3/228 7698
/proc/meminfo: memFree=28387156/32770624 swapFree=66998764/67108860
[pid=7252] ppid=7249 vsize=10849036 memory=504884 CPUtime=2520.07 cores=0,2,4,6
/proc/7252/stat : 7252 (java) S 7249 7252 998 0 -1 1077944320 291582 13335 0 0 251577 422 5 3 20 0 15 0 445831804 11109412864 126221 33554432000 4194304 4196468 140721289767696 140721289750240 140092577361655 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
/proc/7252/statm: 2712259 126221 3631 1 0 2674317 0
[pid=7252/tid=7305] ppid=7249 vsize=10849036 memory=505396 CPUtime=2438.25 cores=0,2,4,6
/proc/7252/task/7305/stat : 7305 (java) R 7249 7252 998 0 -1 4202560 108095 13335 0 0 243749 68 5 3 20 0 15 0 445831814 11109412864 126221 33554432000 4194304 4196468 140721289767696 140092549196560 140092200003164 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7306] ppid=7249 vsize=10849036 memory=507960 CPUtime=14.56 cores=0,2,4,6
/proc/7252/task/7306/stat : 7306 (java) S 7249 7252 998 0 -1 1077944384 19642 13335 0 0 1391 57 5 3 20 0 15 0 445831815 11109412864 126221 33554432000 4194304 4196468 140721289767696 140092581603984 140092577371861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7307] ppid=7249 vsize=10849036 memory=506936 CPUtime=14.61 cores=0,2,4,6
/proc/7252/task/7307/stat : 7307 (java) S 7249 7252 998 0 -1 1077944384 16452 13335 0 0 1391 62 5 3 20 0 15 0 445831815 11109412864 126221 33554432000 4194304 4196468 140721289767696 140092506909200 140092577371861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7308] ppid=7249 vsize=10849036 memory=7662986265023702891 CPUtime=14.58 cores=0,2,4,6
/proc/7252/task/7308/stat : 7308 (java) S 7249 7252 998 0 -1 1077944384 15757 13335 0 0 1387 63 5 3 20 0 15 0 445831815 11109412864 126221 33554432000 4194304 4196468 140721289767696 140092149258640 140092577371861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7309] ppid=7249 vsize=10849036 memory=505908 CPUtime=14.59 cores=0,2,4,6
/proc/7252/task/7309/stat : 7309 (java) S 7249 7252 998 0 -1 1077944384 21277 13335 0 0 1388 63 5 3 20 0 15 0 445831815 11109412864 126221 33554432000 4194304 4196468 140721289767696 140092148205840 140092577371861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7310] ppid=7249 vsize=10849036 memory=504884 CPUtime=9.66 cores=0,2,4,6
/proc/7252/task/7310/stat : 7310 (java) S 7249 7252 998 0 -1 1077944384 16672 13335 0 0 883 75 5 3 20 0 15 0 445831816 11109412864 126221 33554432000 4194304 4196468 140721289767696 140092103953264 140092577372802 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7311] ppid=7249 vsize=10849036 memory=1072 CPUtime=0.08 cores=0,2,4,6
/proc/7252/task/7311/stat : 7311 (java) S 7249 7252 998 0 -1 1077944384 25 13335 0 0 0 0 5 3 20 0 15 0 445831816 11109412864 126221 33554432000 4194304 4196468 140721289767696 140092035294816 140092577371861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7312] ppid=7249 vsize=10849036 memory=5860 CPUtime=0.08 cores=0,2,4,6
/proc/7252/task/7312/stat : 7312 (java) S 7249 7252 998 0 -1 1077944384 19 13335 0 0 0 0 5 3 20 0 15 0 445831817 11109412864 126221 33554432000 4194304 4196468 140721289767696 140091431314816 140092577371861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7313] ppid=7249 vsize=10849036 memory=9396 CPUtime=0.08 cores=0,2,4,6
/proc/7252/task/7313/stat : 7313 (java) S 7249 7252 998 0 -1 1077944384 3 13335 0 0 0 0 5 3 20 0 15 0 445831819 11109412864 126221 33554432000 4194304 4196468 140721289767696 140091123915088 140092577380251 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7314] ppid=7249 vsize=10849036 memory=656 CPUtime=5.18 cores=0,2,4,6
/proc/7252/task/7314/stat : 7314 (java) S 7249 7252 998 0 -1 1077944384 31980 13335 0 0 505 5 5 3 20 0 15 0 445831819 11109412864 126221 33554432000 4194304 4196468 140721289767696 140092001737072 140092577372802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7315] ppid=7249 vsize=10849036 memory=529 CPUtime=5.37 cores=0,2,4,6
/proc/7252/task/7315/stat : 7315 (java) S 7249 7252 998 0 -1 1077944384 34127 13335 0 0 525 4 5 3 20 0 15 0 445831819 11109412864 126221 33554432000 4194304 4196468 140721289767696 140092000684272 140092577372802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7316] ppid=7249 vsize=10849036 memory=226 CPUtime=2.34 cores=0,2,4,6
/proc/7252/task/7316/stat : 7316 (java) S 7249 7252 998 0 -1 1077944384 24219 13335 0 0 221 5 5 3 20 0 15 0 445831819 11109412864 126221 33554432000 4194304 4196468 140721289767696 140091999631472 140092577372802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7317] ppid=7249 vsize=10849036 memory=505396 CPUtime=0.08 cores=0,2,4,6
/proc/7252/task/7317/stat : 7317 (java) S 7249 7252 998 0 -1 1077944384 3 13335 0 0 0 0 5 3 20 0 15 0 445831820 11109412864 126221 33554432000 4194304 4196468 140721289767696 140091090356448 140092577371861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
[pid=7252/tid=7318] ppid=7249 vsize=10849036 memory=2764 CPUtime=1.56 cores=0,2,4,6
/proc/7252/task/7318/stat : 7318 (java) S 7249 7252 998 0 -1 1077944384 1101 13335 0 0 74 74 5 3 20 0 15 0 445831820 11109412864 126221 33554432000 4194304 4196468 140721289767696 140091998579888 140092577372802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27582464 140721289775855 140721289778373 140721289778373 140721289781199 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 504884 KiB
Child status: 143
Real time (s): 2465.15
CPU time (s): 2520.13
CPU user time (s): 2515.85
CPU system time (s): 4.27976
CPU usage (%): 102.23
Max. virtual memory (cumulated for all children) (KiB): 10849036
Max. memory (cumulated for all children) (KiB): 1582904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.85
system time used= 4.27976
maximum resident set size= 1585420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 306195
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 252925
involuntary context switches= 7915
# summary of solver processes directly reported to runsolver:
# pid: 7252
# total CPU time (s): 2520.13
# total CPU user time (s): 2515.85
# total CPU system time (s): 4.27976
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.4331 second user time and 24.4593 second system time
The end