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 (11766 MiB free)
memory of node 1: 16384 MiB (13828 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4259557-1502647253/watcher-4259557-1502647253 -o /tmp/evaluation-result-4259557-1502647253/solver-4259557-1502647253 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node149-1502644582-9045 --watchdog 312 bin/concrete HOME/instance-4259557-1502647253.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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
solver pid=11193, runsolver pid=11190
Current StackSize limit: 8192 KiB
[startup+0.10696 s]*
/proc/loadavg: 1.64 1.74 1.85 7/207 11248
/proc/meminfo: memFree=26204304/32770624 swapFree=67108860/67108860
[pid=11193] ppid=11190 vsize=13578732 memory=16816 CPUtime=0.1 cores=1,3,5,7
/proc/11193/stat : 11193 (java) S 11190 11193 3242 0 -1 1077944320 4852 12543 0 0 2 1 4 3 20 0 9 0 97806259 13904621568 4204 33554432000 4194304 4196468 140736615463088 140736615445632 139778895994615 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
/proc/11193/statm: 3394683 4204 2108 1 0 3383121 0
[pid=11193/tid=11243] ppid=11190 vsize=13578732 memory=4279135704013571469 CPUtime=0.08 cores=1,3,5,7
/proc/11193/task/11243/stat : 11243 (java) R 11190 11193 3242 0 -1 4202560 2667 12543 0 0 1 0 4 3 20 0 9 0 97806268 13904621568 4204 33554432000 4194304 4196468 140736615463088 139778900230000 139778881677107 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11244] ppid=11190 vsize=13578732 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/11193/task/11244/stat : 11244 (java) S 11190 11193 3242 0 -1 1077944384 1 12543 0 0 0 0 4 3 20 0 9 0 97806269 13904621568 4204 33554432000 4194304 4196468 140736615463088 139778848615440 139778896004821 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11245] ppid=11190 vsize=13578732 memory=140100957288064 CPUtime=0.07 cores=1,3,5,7
/proc/11193/task/11245/stat : 11245 (java) S 11190 11193 3242 0 -1 1077944384 1 12543 0 0 0 0 4 3 20 0 9 0 97806269 13904621568 4204 33554432000 4194304 4196468 140736615463088 139778847562896 139778896004821 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11246] ppid=11190 vsize=13578732 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11193/task/11246/stat : 11246 (java) S 11190 11193 3242 0 -1 1077944384 1 12543 0 0 0 0 4 3 20 0 9 0 97806269 13904621568 4204 33554432000 4194304 4196468 140736615463088 139778846509840 139778896004821 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11247] ppid=11190 vsize=13578732 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/11193/task/11247/stat : 11247 (java) S 11190 11193 3242 0 -1 1077944384 2 12543 0 0 0 0 4 3 20 0 9 0 97806269 13904621568 4204 33554432000 4194304 4196468 140736615463088 139778845457296 139778896004821 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11248] ppid=11190 vsize=13578732 memory=140100957288064 CPUtime=0.07 cores=1,3,5,7
/proc/11193/task/11248/stat : 11248 (java) S 11190 11193 3242 0 -1 1077944384 2 12543 0 0 0 0 4 3 20 0 9 0 97806270 13904621568 4204 33554432000 4194304 4196468 140736615463088 139778437306608 139778896005762 0 0 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11249] ppid=11190 vsize=13578732 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/11193/task/11249/stat : 11249 (java) S 11190 11193 3242 0 -1 1077944384 33 12543 0 0 0 0 4 3 20 0 9 0 97806270 13904621568 4204 33554432000 4194304 4196468 140736615463088 139778368464032 139778896004821 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11250] ppid=11190 vsize=13578732 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11193/task/11250/stat : 11250 (java) S 11190 11193 3242 0 -1 1077944384 21 12543 0 0 0 0 4 3 20 0 9 0 97806270 13904621568 4204 33554432000 4194304 4196468 140736615463088 139778367410992 139778896004821 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13578732 KiB
Current children cumulated memory: 16816 KiB
[startup+0.210281 s]*
/proc/loadavg: 1.64 1.74 1.85 3/215 11256
/proc/meminfo: memFree=26187728/32770624 swapFree=67108860/67108860
[pid=11193] ppid=11190 vsize=13978600 memory=39404 CPUtime=0.25 cores=1,3,5,7
/proc/11193/stat : 11193 (java) S 11190 11193 3242 0 -1 1077944320 8033 12543 0 0 17 1 4 3 20 0 15 0 97806259 14314086400 9851 33554432000 4194304 4196468 140736615463088 140736615445632 139778895994615 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
/proc/11193/statm: 3494650 9851 2965 1 0 3482967 0
[pid=11193/tid=11243] ppid=11190 vsize=13978600 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/11193/task/11243/stat : 11243 (java) R 11190 11193 3242 0 -1 4202560 4558 12543 0 0 11 1 4 3 20 0 15 0 97806268 14314086400 9851 33554432000 4194304 4196468 140736615463088 139778900191296 139778877558159 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11244] ppid=11190 vsize=13978600 memory=342 CPUtime=0.07 cores=1,3,5,7
/proc/11193/task/11244/stat : 11244 (java) S 11190 11193 3242 0 -1 1077944384 1 12543 0 0 0 0 4 3 20 0 15 0 97806269 14314086400 9851 33554432000 4194304 4196468 140736615463088 139778848615440 139778896004821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11245] ppid=11190 vsize=13978600 memory=140100957297657 CPUtime=0.07 cores=1,3,5,7
/proc/11193/task/11245/stat : 11245 (java) S 11190 11193 3242 0 -1 1077944384 1 12543 0 0 0 0 4 3 20 0 15 0 97806269 14314086400 9851 33554432000 4194304 4196468 140736615463088 139778847562896 139778896004821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11246] ppid=11190 vsize=13978600 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11193/task/11246/stat : 11246 (java) S 11190 11193 3242 0 -1 1077944384 1 12543 0 0 0 0 4 3 20 0 15 0 97806269 14314086400 9851 33554432000 4194304 4196468 140736615463088 139778846509840 139778896004821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11247] ppid=11190 vsize=13978600 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/11193/task/11247/stat : 11247 (java) S 11190 11193 3242 0 -1 1077944384 2 12543 0 0 0 0 4 3 20 0 15 0 97806269 14314086400 9851 33554432000 4194304 4196468 140736615463088 139778845457296 139778896004821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11248] ppid=11190 vsize=13978600 memory=140100957288064 CPUtime=0.07 cores=1,3,5,7
/proc/11193/task/11248/stat : 11248 (java) S 11190 11193 3242 0 -1 1077944384 2 12543 0 0 0 0 4 3 20 0 15 0 97806270 14314086400 9851 33554432000 4194304 4196468 140736615463088 139778437306608 139778896005762 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11249] ppid=11190 vsize=13978600 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/11193/task/11249/stat : 11249 (java) S 11190 11193 3242 0 -1 1077944384 33 12543 0 0 0 0 4 3 20 0 15 0 97806270 14314086400 9851 33554432000 4194304 4196468 140736615463088 139778368464032 139778896004821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11250] ppid=11190 vsize=13978600 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11193/task/11250/stat : 11250 (java) S 11190 11193 3242 0 -1 1077944384 21 12543 0 0 0 0 4 3 20 0 15 0 97806270 14314086400 9851 33554432000 4194304 4196468 140736615463088 139778367410928 139778896004821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11251] ppid=11190 vsize=13978600 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11193/task/11251/stat : 11251 (java) S 11190 11193 3242 0 -1 1077944384 3 12543 0 0 0 0 4 3 20 0 15 0 97806273 14314086400 9851 33554432000 4194304 4196468 140736615463088 139778366359504 139778896013211 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11252] ppid=11190 vsize=13978600 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11193/task/11252/stat : 11252 (java) S 11190 11193 3242 0 -1 1077944384 611 12543 0 0 1 0 4 3 20 0 15 0 97806273 14314086400 9851 33554432000 4194304 4196468 140736615463088 139778365307632 139778896005762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11253] ppid=11190 vsize=13978600 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/11193/task/11253/stat : 11253 (java) S 11190 11193 3242 0 -1 1077944384 135 12543 0 0 0 0 4 3 20 0 15 0 97806273 14314086400 9851 33554432000 4194304 4196468 140736615463088 139778364255088 139778896005762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11254] ppid=11190 vsize=13978600 memory=140100957288064 CPUtime=0.1 cores=1,3,5,7
/proc/11193/task/11254/stat : 11254 (java) S 11190 11193 3242 0 -1 1077944384 517 12543 0 0 3 0 4 3 20 0 15 0 97806273 14314086400 9851 33554432000 4194304 4196468 140736615463088 139778363202032 139778896005762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11255] ppid=11190 vsize=13978600 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/11193/task/11255/stat : 11255 (java) S 11190 11193 3242 0 -1 1077944384 3 12543 0 0 0 0 4 3 20 0 15 0 97806273 14314086400 9851 33554432000 4194304 4196468 140736615463088 139778362149728 139778896004821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11256] ppid=11190 vsize=13978600 memory=140100957288064 CPUtime=0.07 cores=1,3,5,7
/proc/11193/task/11256/stat : 11256 (java) S 11190 11193 3242 0 -1 1077944384 1 12543 0 0 0 0 4 3 20 0 15 0 97806274 14314086400 9851 33554432000 4194304 4196468 140736615463088 139778361096752 139778896005762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 13978600 KiB
Current children cumulated memory: 39404 KiB
[startup+0.310176 s]*
/proc/loadavg: 1.64 1.74 1.85 3/215 11256
/proc/meminfo: memFree=26179172/32770624 swapFree=67108860/67108860
[pid=11193] ppid=11190 vsize=13979028 memory=50228 CPUtime=0.38 cores=1,3,5,7
/proc/11193/stat : 11193 (java) S 11190 11193 3242 0 -1 1077944320 11111 12543 0 0 29 2 4 3 20 0 15 0 97806259 14314524672 12557 33554432000 4194304 4196468 140736615463088 140736615445632 139778895994615 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
/proc/11193/statm: 3494757 12557 3080 1 0 3482967 0
[pid=11193/tid=11243] ppid=11190 vsize=13979028 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/11193/task/11243/stat : 11243 (java) R 11190 11193 3242 0 -1 4202560 7624 12543 0 0 20 1 4 3 20 0 15 0 97806268 14314524672 12557 33554432000 4194304 4196468 140736615463088 139778900204640 139778881160288 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11244] ppid=11190 vsize=13979028 memory=4872558044660077418 CPUtime=0.07 cores=1,3,5,7
/proc/11193/task/11244/stat : 11244 (java) S 11190 11193 3242 0 -1 1077944384 1 12543 0 0 0 0 4 3 20 0 15 0 97806269 14314524672 12557 33554432000 4194304 4196468 140736615463088 139778848615440 139778896004821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11245] ppid=11190 vsize=13979028 memory=140100957295057 CPUtime=0.07 cores=1,3,5,7
/proc/11193/task/11245/stat : 11245 (java) S 11190 11193 3242 0 -1 1077944384 1 12543 0 0 0 0 4 3 20 0 15 0 97806269 14314524672 12557 33554432000 4194304 4196468 140736615463088 139778847562896 139778896004821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11246] ppid=11190 vsize=13979028 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11193/task/11246/stat : 11246 (java) S 11190 11193 3242 0 -1 1077944384 1 12543 0 0 0 0 4 3 20 0 15 0 97806269 14314524672 12557 33554432000 4194304 4196468 140736615463088 139778846509840 139778896004821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11247] ppid=11190 vsize=13979028 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11193/task/11247/stat : 11247 (java) S 11190 11193 3242 0 -1 1077944384 2 12543 0 0 0 0 4 3 20 0 15 0 97806269 14314524672 12557 33554432000 4194304 4196468 140736615463088 139778845457296 139778896004821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11248] ppid=11190 vsize=13979028 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11193/task/11248/stat : 11248 (java) S 11190 11193 3242 0 -1 1077944384 2 12543 0 0 0 0 4 3 20 0 15 0 97806270 14314524672 12557 33554432000 4194304 4196468 140736615463088 139778437306608 139778896005762 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11249] ppid=11190 vsize=13979028 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11193/task/11249/stat : 11249 (java) S 11190 11193 3242 0 -1 1077944384 33 12543 0 0 0 0 4 3 20 0 15 0 97806270 14314524672 12557 33554432000 4194304 4196468 140736615463088 139778368464032 139778896004821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11250] ppid=11190 vsize=13979028 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11193/task/11250/stat : 11250 (java) S 11190 11193 3242 0 -1 1077944384 21 12543 0 0 0 0 4 3 20 0 15 0 97806270 14314524672 12557 33554432000 4194304 4196468 140736615463088 139778367410928 139778896004821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11251] ppid=11190 vsize=13979028 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11193/task/11251/stat : 11251 (java) S 11190 11193 3242 0 -1 1077944384 3 12543 0 0 0 0 4 3 20 0 15 0 97806273 14314524672 12557 33554432000 4194304 4196468 140736615463088 139778366359504 139778896013211 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11252] ppid=11190 vsize=13979028 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11193/task/11252/stat : 11252 (java) S 11190 11193 3242 0 -1 1077944384 613 12543 0 0 1 0 4 3 20 0 15 0 97806273 14314524672 12557 33554432000 4194304 4196468 140736615463088 139778365307632 139778896005762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11253] ppid=11190 vsize=13979028 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/11193/task/11253/stat : 11253 (java) S 11190 11193 3242 0 -1 1077944384 138 12543 0 0 1 0 4 3 20 0 15 0 97806273 14314524672 12557 33554432000 4194304 4196468 140736615463088 139778364255088 139778896005762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11254] ppid=11190 vsize=13979028 memory=140100957288064 CPUtime=0.12 cores=1,3,5,7
/proc/11193/task/11254/stat : 11254 (java) S 11190 11193 3242 0 -1 1077944384 524 12543 0 0 5 0 4 3 20 0 15 0 97806273 14314524672 12557 33554432000 4194304 4196468 140736615463088 139778363202032 139778896005762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11255] ppid=11190 vsize=13979028 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/11193/task/11255/stat : 11255 (java) S 11190 11193 3242 0 -1 1077944384 3 12543 0 0 0 0 4 3 20 0 15 0 97806273 14314524672 12557 33554432000 4194304 4196468 140736615463088 139778362149728 139778896004821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11256] ppid=11190 vsize=13979028 memory=140100957288064 CPUtime=0.07 cores=1,3,5,7
/proc/11193/task/11256/stat : 11256 (java) S 11190 11193 3242 0 -1 1077944384 1 12543 0 0 0 0 4 3 20 0 15 0 97806274 14314524672 12557 33554432000 4194304 4196468 140736615463088 139778361096752 139778896005762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 13979028 KiB
Current children cumulated memory: 50228 KiB
[startup+0.701195 s]
/proc/loadavg: 1.64 1.74 1.85 6/215 11256
/proc/meminfo: memFree=26177600/32770624 swapFree=67108860/67108860
[pid=11193] ppid=11190 vsize=13979412 memory=83804 CPUtime=0.97 cores=1,3,5,7
/proc/11193/stat : 11193 (java) S 11190 11193 3242 0 -1 1077944320 17092 12543 0 0 86 4 4 3 20 0 15 0 97806259 14314917888 20951 33554432000 4194304 4196468 140736615463088 140736615445632 139778895994615 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
/proc/11193/statm: 3494853 20951 3327 1 0 3482967 0
[pid=11193/tid=11243] ppid=11190 vsize=13979412 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/11193/task/11243/stat : 11243 (java) R 11190 11193 3242 0 -1 4202560 12943 12543 0 0 56 3 4 3 20 0 15 0 97806268 14314917888 20951 33554432000 4194304 4196468 140736615463088 139778900204400 139778880075102 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11244] ppid=11190 vsize=13979412 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11193/task/11244/stat : 11244 (java) S 11190 11193 3242 0 -1 1077944384 1 12543 0 0 0 0 4 3 20 0 15 0 97806269 14314917888 20951 33554432000 4194304 4196468 140736615463088 139778848615440 139778896004821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11245] ppid=11190 vsize=13979412 memory=2447124727297 CPUtime=0.07 cores=1,3,5,7
/proc/11193/task/11245/stat : 11245 (java) S 11190 11193 3242 0 -1 1077944384 1 12543 0 0 0 0 4 3 20 0 15 0 97806269 14314917888 20951 33554432000 4194304 4196468 140736615463088 139778847562896 139778896004821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11246] ppid=11190 vsize=13979412 memory=218122166 CPUtime=0.07 cores=1,3,5,7
/proc/11193/task/11246/stat : 11246 (java) S 11190 11193 3242 0 -1 1077944384 1 12543 0 0 0 0 4 3 20 0 15 0 97806269 14314917888 20951 33554432000 4194304 4196468 140736615463088 139778846509840 139778896004821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11247] ppid=11190 vsize=13979412 memory=7295942822962683291 CPUtime=0.07 cores=1,3,5,7
/proc/11193/task/11247/stat : 11247 (java) S 11190 11193 3242 0 -1 1077944384 2 12543 0 0 0 0 4 3 20 0 15 0 97806269 14314917888 20951 33554432000 4194304 4196468 140736615463088 139778845457296 139778896004821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11248] ppid=11190 vsize=13979412 memory=18476 CPUtime=0.07 cores=1,3,5,7
/proc/11193/task/11248/stat : 11248 (java) S 11190 11193 3242 0 -1 1077944384 5 12543 0 0 0 0 4 3 20 0 15 0 97806270 14314917888 20951 33554432000 4194304 4196468 140736615463088 139778437306608 139778896005762 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11249] ppid=11190 vsize=13979412 memory=16932 CPUtime=0.07 cores=1,3,5,7
/proc/11193/task/11249/stat : 11249 (java) S 11190 11193 3242 0 -1 1077944384 33 12543 0 0 0 0 4 3 20 0 15 0 97806270 14314917888 20951 33554432000 4194304 4196468 140736615463088 139778368464032 139778896004821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11250] ppid=11190 vsize=13979412 memory=4048 CPUtime=0.07 cores=1,3,5,7
/proc/11193/task/11250/stat : 11250 (java) S 11190 11193 3242 0 -1 1077944384 21 12543 0 0 0 0 4 3 20 0 15 0 97806270 14314917888 20951 33554432000 4194304 4196468 140736615463088 139778367410928 139778896004821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11251] ppid=11190 vsize=13979412 memory=1792 CPUtime=0.07 cores=1,3,5,7
/proc/11193/task/11251/stat : 11251 (java) S 11190 11193 3242 0 -1 1077944384 3 12543 0 0 0 0 4 3 20 0 15 0 97806273 14314917888 20951 33554432000 4194304 4196468 140736615463088 139778366359504 139778896013211 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11252] ppid=11190 vsize=13979412 memory=648 CPUtime=0.17 cores=1,3,5,7
/proc/11193/task/11252/stat : 11252 (java) S 11190 11193 3242 0 -1 1077944384 935 12543 0 0 10 0 4 3 20 0 15 0 97806273 14314917888 20951 33554432000 4194304 4196468 140736615463088 139778365307632 139778896005762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11253] ppid=11190 vsize=13979412 memory=1240 CPUtime=0.13 cores=1,3,5,7
/proc/11193/task/11253/stat : 11253 (java) S 11190 11193 3242 0 -1 1077944384 415 12543 0 0 6 0 4 3 20 0 15 0 97806273 14314917888 20951 33554432000 4194304 4196468 140736615463088 139778364255088 139778896005762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11254] ppid=11190 vsize=13979412 memory=960 CPUtime=0.19 cores=1,3,5,7
/proc/11193/task/11254/stat : 11254 (java) S 11190 11193 3242 0 -1 1077944384 587 12543 0 0 12 0 4 3 20 0 15 0 97806273 14314917888 20951 33554432000 4194304 4196468 140736615463088 139778363202032 139778896005762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11255] ppid=11190 vsize=13979412 memory=2340 CPUtime=0.07 cores=1,3,5,7
/proc/11193/task/11255/stat : 11255 (java) S 11190 11193 3242 0 -1 1077944384 3 12543 0 0 0 0 4 3 20 0 15 0 97806273 14314917888 20951 33554432000 4194304 4196468 140736615463088 139778362149728 139778896004821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11256] ppid=11190 vsize=13979412 memory=7379241883359864663 CPUtime=0.07 cores=1,3,5,7
/proc/11193/task/11256/stat : 11256 (java) S 11190 11193 3242 0 -1 1077944384 1 12543 0 0 0 0 4 3 20 0 15 0 97806274 14314917888 20951 33554432000 4194304 4196468 140736615463088 139778361096752 139778896005762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 13979412 KiB
Current children cumulated memory: 83804 KiB
[startup+1.50074 s]
/proc/loadavg: 1.64 1.74 1.85 4/215 11256
/proc/meminfo: memFree=26119636/32770624 swapFree=67108860/67108860
[pid=11193] ppid=11190 vsize=13991700 memory=173156 CPUtime=2.21 cores=1,3,5,7
/proc/11193/stat : 11193 (java) S 11190 11193 3242 0 -1 1077944320 27944 12543 0 0 205 9 4 3 20 0 15 0 97806259 14327500800 43289 33554432000 4194304 4196468 140736615463088 140736615445632 139778895994615 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
/proc/11193/statm: 3497925 43289 3403 1 0 3486039 0
[pid=11193/tid=11243] ppid=11190 vsize=13991700 memory=7810763844726514514 CPUtime=1.43 cores=1,3,5,7
/proc/11193/task/11243/stat : 11243 (java) R 11190 11193 3242 0 -1 4202560 20021 12543 0 0 130 6 4 3 20 0 15 0 97806268 14327500800 43289 33554432000 4194304 4196468 140736615463088 139778900226912 139778896006550 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11244] ppid=11190 vsize=13991700 memory=7810763844726514514 CPUtime=0.08 cores=1,3,5,7
/proc/11193/task/11244/stat : 11244 (java) S 11190 11193 3242 0 -1 1077944384 208 12543 0 0 1 0 4 3 20 0 15 0 97806269 14327500800 43289 33554432000 4194304 4196468 140736615463088 139778848615440 139778896004821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11245] ppid=11190 vsize=13991700 memory=7228389936136351595 CPUtime=0.08 cores=1,3,5,7
/proc/11193/task/11245/stat : 11245 (java) S 11190 11193 3242 0 -1 1077944384 51 12543 0 0 1 0 4 3 20 0 15 0 97806269 14327500800 43289 33554432000 4194304 4196468 140736615463088 139778847562896 139778896004821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11246] ppid=11190 vsize=13991700 memory=-7595718147998060693 CPUtime=0.08 cores=1,3,5,7
/proc/11193/task/11246/stat : 11246 (java) S 11190 11193 3242 0 -1 1077944384 63 12543 0 0 1 0 4 3 20 0 15 0 97806269 14327500800 43289 33554432000 4194304 4196468 140736615463088 139778846509840 139778896004821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11247] ppid=11190 vsize=13991700 memory=-7175204567652784766 CPUtime=0.08 cores=1,3,5,7
/proc/11193/task/11247/stat : 11247 (java) S 11190 11193 3242 0 -1 1077944384 46 12543 0 0 1 0 4 3 20 0 15 0 97806269 14327500800 43289 33554432000 4194304 4196468 140736615463088 139778845457296 139778896004821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11248] ppid=11190 vsize=13991700 memory=3054156605268465310 CPUtime=0.08 cores=1,3,5,7
/proc/11193/task/11248/stat : 11248 (java) S 11190 11193 3242 0 -1 1077944384 1727 12543 0 0 1 0 4 3 20 0 15 0 97806270 14327500800 43289 33554432000 4194304 4196468 140736615463088 139778437306608 139778896005762 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11249] ppid=11190 vsize=13991700 memory=4715433313220523562 CPUtime=0.07 cores=1,3,5,7
/proc/11193/task/11249/stat : 11249 (java) S 11190 11193 3242 0 -1 1077944384 56 12543 0 0 0 0 4 3 20 0 15 0 97806270 14327500800 43289 33554432000 4194304 4196468 140736615463088 139778368464096 139778896004821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11250] ppid=11190 vsize=13991700 memory=-8412652177879177843 CPUtime=0.07 cores=1,3,5,7
/proc/11193/task/11250/stat : 11250 (java) S 11190 11193 3242 0 -1 1077944384 43 12543 0 0 0 0 4 3 20 0 15 0 97806270 14327500800 43289 33554432000 4194304 4196468 140736615463088 139778367410944 139778896004821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11251] ppid=11190 vsize=13991700 memory=-8341965534556230502 CPUtime=0.07 cores=1,3,5,7
/proc/11193/task/11251/stat : 11251 (java) S 11190 11193 3242 0 -1 1077944384 3 12543 0 0 0 0 4 3 20 0 15 0 97806273 14327500800 43289 33554432000 4194304 4196468 140736615463088 139778366359504 139778896013211 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11252] ppid=11190 vsize=13991700 memory=8514726395714825349 CPUtime=0.26 cores=1,3,5,7
/proc/11193/task/11252/stat : 11252 (java) R 11190 11193 3242 0 -1 1077944384 1210 12543 0 0 19 0 4 3 20 0 15 0 97806273 14327500800 43289 33554432000 4194304 4196468 140736615463088 139778365307632 139778896005762 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11253] ppid=11190 vsize=13991700 memory=-8253362762722141311 CPUtime=0.21 cores=1,3,5,7
/proc/11193/task/11253/stat : 11253 (java) S 11190 11193 3242 0 -1 1077944384 633 12543 0 0 14 0 4 3 20 0 15 0 97806273 14327500800 43289 33554432000 4194304 4196468 140736615463088 139778364255088 139778896005762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11254] ppid=11190 vsize=13991700 memory=-8707038579349950309 CPUtime=0.39 cores=1,3,5,7
/proc/11193/task/11254/stat : 11254 (java) S 11190 11193 3242 0 -1 1077944384 1732 12543 0 0 32 0 4 3 20 0 15 0 97806273 14327500800 43289 33554432000 4194304 4196468 140736615463088 139778363202032 139778896005762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
################
# More data... #
################
/proc/11193/task/11243/stat : 11243 (java) R 11190 11193 3242 0 -1 4202560 48816 12543 0 0 16098 25 4 3 20 0 15 0 97806268 14411579392 297722 33554432000 4194304 4196468 140736615463088 139778900228672 139778526193923 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11244] ppid=11190 vsize=14073808 memory=1190888 CPUtime=0.56 cores=1,3,5,7
/proc/11193/task/11244/stat : 11244 (java) S 11190 11193 3242 0 -1 1077944384 921 12543 0 0 46 3 4 3 20 0 15 0 97806269 14411579392 297722 33554432000 4194304 4196468 140736615463088 139778848615440 139778896004821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11245] ppid=11190 vsize=14073808 memory=1224 CPUtime=0.57 cores=1,3,5,7
/proc/11193/task/11245/stat : 11245 (java) S 11190 11193 3242 0 -1 1077944384 1530 12543 0 0 47 3 4 3 20 0 15 0 97806269 14411579392 297722 33554432000 4194304 4196468 140736615463088 139778847562896 139778896004821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11246] ppid=11190 vsize=14073808 memory=1197340 CPUtime=0.55 cores=1,3,5,7
/proc/11193/task/11246/stat : 11246 (java) S 11190 11193 3242 0 -1 1077944384 2357 12543 0 0 45 3 4 3 20 0 15 0 97806269 14411579392 297722 33554432000 4194304 4196468 140736615463088 139778846509840 139778896004821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11247] ppid=11190 vsize=14073808 memory=18193 CPUtime=0.56 cores=1,3,5,7
/proc/11193/task/11247/stat : 11247 (java) S 11190 11193 3242 0 -1 1077944384 2615 12543 0 0 46 3 4 3 20 0 15 0 97806269 14411579392 297722 33554432000 4194304 4196468 140736615463088 139778845457296 139778896004821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11248] ppid=11190 vsize=14073808 memory=4420 CPUtime=0.41 cores=1,3,5,7
/proc/11193/task/11248/stat : 11248 (java) S 11190 11193 3242 0 -1 1077944384 11380 12543 0 0 31 3 4 3 20 0 15 0 97806270 14411579392 297722 33554432000 4194304 4196468 140736615463088 139778437306608 139778896005762 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11249] ppid=11190 vsize=14073808 memory=1197856 CPUtime=0.07 cores=1,3,5,7
/proc/11193/task/11249/stat : 11249 (java) S 11190 11193 3242 0 -1 1077944384 64 12543 0 0 0 0 4 3 20 0 15 0 97806270 14411579392 297722 33554432000 4194304 4196468 140736615463088 139778368464096 139778896004821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11250] ppid=11190 vsize=14073808 memory=2408 CPUtime=0.07 cores=1,3,5,7
/proc/11193/task/11250/stat : 11250 (java) S 11190 11193 3242 0 -1 1077944384 46 12543 0 0 0 0 4 3 20 0 15 0 97806270 14411579392 297722 33554432000 4194304 4196468 140736615463088 139778367410944 139778896004821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11251] ppid=11190 vsize=14073808 memory=4144 CPUtime=0.07 cores=1,3,5,7
/proc/11193/task/11251/stat : 11251 (java) S 11190 11193 3242 0 -1 1077944384 3 12543 0 0 0 0 4 3 20 0 15 0 97806273 14411579392 297722 33554432000 4194304 4196468 140736615463088 139778366359504 139778896013211 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11252] ppid=11190 vsize=14073808 memory=28580 CPUtime=11.12 cores=1,3,5,7
/proc/11193/task/11252/stat : 11252 (java) S 11190 11193 3242 0 -1 1077944384 20841 12543 0 0 1101 4 4 3 20 0 15 0 97806273 14411579392 297722 33554432000 4194304 4196468 140736615463088 139778365307632 139778896005762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11253] ppid=11190 vsize=14073808 memory=1197340 CPUtime=10.62 cores=1,3,5,7
/proc/11193/task/11253/stat : 11253 (java) S 11190 11193 3242 0 -1 1077944384 18637 12543 0 0 1051 4 4 3 20 0 15 0 97806273 14411579392 297722 33554432000 4194304 4196468 140736615463088 139778364255088 139778896005762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11254] ppid=11190 vsize=14073808 memory=1197340 CPUtime=3.99 cores=1,3,5,7
/proc/11193/task/11254/stat : 11254 (java) S 11190 11193 3242 0 -1 1077944384 24167 12543 0 0 386 6 4 3 20 0 15 0 97806273 14411579392 297722 33554432000 4194304 4196468 140736615463088 139778363202032 139778896005762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11255] ppid=11190 vsize=14073808 memory=1190888 CPUtime=0.07 cores=1,3,5,7
/proc/11193/task/11255/stat : 11255 (java) S 11190 11193 3242 0 -1 1077944384 3 12543 0 0 0 0 4 3 20 0 15 0 97806273 14411579392 297722 33554432000 4194304 4196468 140736615463088 139778362149728 139778896004821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11256] ppid=11190 vsize=14073808 memory=4048 CPUtime=0.14 cores=1,3,5,7
/proc/11193/task/11256/stat : 11256 (java) S 11190 11193 3242 0 -1 1077944384 1964 12543 0 0 4 3 4 3 20 0 15 0 97806274 14411579392 297722 33554432000 4194304 4196468 140736615463088 139778361096752 139778896005762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
Current children cumulated CPU time: 189.31 s
Current children cumulated vsize: 14073808 KiB
Current children cumulated memory: 1190888 KiB
[startup+222.301 s]
/proc/loadavg: 1.78 1.79 1.85 3/216 11392
/proc/meminfo: memFree=25621256/32770624 swapFree=67108860/67108860
[pid=11193] ppid=11190 vsize=14073808 memory=1171316 CPUtime=250.81 cores=1,3,5,7
/proc/11193/stat : 11193 (java) S 11190 11193 3242 0 -1 1077944320 145924 12543 0 0 25007 67 4 3 20 0 15 0 97806259 14411579392 292829 33554432000 4194304 4196468 140736615463088 140736615445632 139778895994615 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
/proc/11193/statm: 3518452 292829 3515 1 0 3506007 0
[pid=11193/tid=11243] ppid=11190 vsize=14073808 memory=1172344 CPUtime=220.78 cores=1,3,5,7
/proc/11193/task/11243/stat : 11243 (java) R 11190 11193 3242 0 -1 4202560 50376 12543 0 0 22045 26 4 3 20 0 15 0 97806268 14411579392 292829 33554432000 4194304 4196468 140736615463088 139778900228672 139778529750960 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11244] ppid=11190 vsize=14073808 memory=1183576 CPUtime=0.85 cores=1,3,5,7
/proc/11193/task/11244/stat : 11244 (java) S 11190 11193 3242 0 -1 1077944384 1684 12543 0 0 75 3 4 3 20 0 15 0 97806269 14411579392 292829 33554432000 4194304 4196468 140736615463088 139778848615440 139778896004821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11245] ppid=11190 vsize=14073808 memory=1182040 CPUtime=0.86 cores=1,3,5,7
/proc/11193/task/11245/stat : 11245 (java) S 11190 11193 3242 0 -1 1077944384 2145 12543 0 0 75 4 4 3 20 0 15 0 97806269 14411579392 292829 33554432000 4194304 4196468 140736615463088 139778847562896 139778896004821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11246] ppid=11190 vsize=14073808 memory=1179988 CPUtime=0.85 cores=1,3,5,7
/proc/11193/task/11246/stat : 11246 (java) S 11190 11193 3242 0 -1 1077944384 3467 12543 0 0 73 5 4 3 20 0 15 0 97806269 14411579392 292829 33554432000 4194304 4196468 140736615463088 139778846509840 139778896004821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11247] ppid=11190 vsize=14073808 memory=1172856 CPUtime=0.85 cores=1,3,5,7
/proc/11193/task/11247/stat : 11247 (java) S 11190 11193 3242 0 -1 1077944384 2691 12543 0 0 74 4 4 3 20 0 15 0 97806269 14411579392 292829 33554432000 4194304 4196468 140736615463088 139778845457296 139778896004821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11248] ppid=11190 vsize=14073808 memory=1172344 CPUtime=0.62 cores=1,3,5,7
/proc/11193/task/11248/stat : 11248 (java) S 11190 11193 3242 0 -1 1077944384 12000 12543 0 0 50 5 4 3 20 0 15 0 97806270 14411579392 292829 33554432000 4194304 4196468 140736615463088 139778437306608 139778896005762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11249] ppid=11190 vsize=14073808 memory=1176960 CPUtime=0.07 cores=1,3,5,7
/proc/11193/task/11249/stat : 11249 (java) S 11190 11193 3242 0 -1 1077944384 64 12543 0 0 0 0 4 3 20 0 15 0 97806270 14411579392 292829 33554432000 4194304 4196468 140736615463088 139778368464096 139778896004821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11250] ppid=11190 vsize=14073808 memory=1171832 CPUtime=0.07 cores=1,3,5,7
/proc/11193/task/11250/stat : 11250 (java) S 11190 11193 3242 0 -1 1077944384 46 12543 0 0 0 0 4 3 20 0 15 0 97806270 14411579392 292829 33554432000 4194304 4196468 140736615463088 139778367410944 139778896004821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11251] ppid=11190 vsize=14073808 memory=1234612 CPUtime=0.07 cores=1,3,5,7
/proc/11193/task/11251/stat : 11251 (java) S 11190 11193 3242 0 -1 1077944384 3 12543 0 0 0 0 4 3 20 0 15 0 97806273 14411579392 292829 33554432000 4194304 4196468 140736615463088 139778366359504 139778896013211 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11252] ppid=11190 vsize=14073808 memory=1172344 CPUtime=11.36 cores=1,3,5,7
/proc/11193/task/11252/stat : 11252 (java) S 11190 11193 3242 0 -1 1077944384 22810 12543 0 0 1125 4 4 3 20 0 15 0 97806273 14411579392 292829 33554432000 4194304 4196468 140736615463088 139778365307632 139778896005762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11253] ppid=11190 vsize=14073808 memory=1171832 CPUtime=10.91 cores=1,3,5,7
/proc/11193/task/11253/stat : 11253 (java) S 11190 11193 3242 0 -1 1077944384 20262 12543 0 0 1079 5 4 3 20 0 15 0 97806273 14411579392 292829 33554432000 4194304 4196468 140736615463088 139778364255088 139778896005762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11254] ppid=11190 vsize=14073808 memory=13331578489482 CPUtime=4.1 cores=1,3,5,7
/proc/11193/task/11254/stat : 11254 (java) S 11190 11193 3242 0 -1 1077944384 26218 12543 0 0 397 6 4 3 20 0 15 0 97806273 14411579392 292829 33554432000 4194304 4196468 140736615463088 139778363202032 139778896005762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11255] ppid=11190 vsize=14073808 memory=1172344 CPUtime=0.07 cores=1,3,5,7
/proc/11193/task/11255/stat : 11255 (java) S 11190 11193 3242 0 -1 1077944384 3 12543 0 0 0 0 4 3 20 0 15 0 97806273 14411579392 292829 33554432000 4194304 4196468 140736615463088 139778362149728 139778896004821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11256] ppid=11190 vsize=14073808 memory=4144 CPUtime=0.17 cores=1,3,5,7
/proc/11193/task/11256/stat : 11256 (java) S 11190 11193 3242 0 -1 1077944384 2011 12543 0 0 5 5 4 3 20 0 15 0 97806274 14411579392 292829 33554432000 4194304 4196468 140736615463088 139778361096752 139778896005762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
Current children cumulated CPU time: 250.81 s
Current children cumulated vsize: 14073808 KiB
Current children cumulated memory: 1171316 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+223.501 s]
/proc/loadavg: 1.78 1.79 1.85 3/216 11392
/proc/meminfo: memFree=25623044/32770624 swapFree=67108860/67108860
[pid=11193] ppid=11190 vsize=14073808 memory=1170292 CPUtime=252.03 cores=1,3,5,7
/proc/11193/stat : 11193 (java) S 11190 11193 3242 0 -1 1077944320 145934 12543 0 0 25129 67 4 3 20 0 15 0 97806259 14411579392 292573 33554432000 4194304 4196468 140736615463088 140736615445632 139778895994615 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
/proc/11193/statm: 3518452 292573 3515 1 0 3506007 0
[pid=11193/tid=11243] ppid=11190 vsize=14073808 memory=1170804 CPUtime=221.96 cores=1,3,5,7
/proc/11193/task/11243/stat : 11243 (java) R 11190 11193 3242 0 -1 4202560 50382 12543 0 0 22163 26 4 3 20 0 15 0 97806268 14411579392 292573 33554432000 4194304 4196468 140736615463088 139778900228624 139778520858478 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11244] ppid=11190 vsize=14073808 memory=1183576 CPUtime=0.85 cores=1,3,5,7
/proc/11193/task/11244/stat : 11244 (java) S 11190 11193 3242 0 -1 1077944384 1684 12543 0 0 75 3 4 3 20 0 15 0 97806269 14411579392 292573 33554432000 4194304 4196468 140736615463088 139778848615440 139778896004821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11245] ppid=11190 vsize=14073808 memory=1182040 CPUtime=0.86 cores=1,3,5,7
/proc/11193/task/11245/stat : 11245 (java) S 11190 11193 3242 0 -1 1077944384 2147 12543 0 0 75 4 4 3 20 0 15 0 97806269 14411579392 292573 33554432000 4194304 4196468 140736615463088 139778847562896 139778896004821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11246] ppid=11190 vsize=14073808 memory=1179988 CPUtime=0.85 cores=1,3,5,7
/proc/11193/task/11246/stat : 11246 (java) S 11190 11193 3242 0 -1 1077944384 3467 12543 0 0 73 5 4 3 20 0 15 0 97806269 14411579392 292573 33554432000 4194304 4196468 140736615463088 139778846509840 139778896004821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11247] ppid=11190 vsize=14073808 memory=1172856 CPUtime=0.86 cores=1,3,5,7
/proc/11193/task/11247/stat : 11247 (java) S 11190 11193 3242 0 -1 1077944384 2692 12543 0 0 75 4 4 3 20 0 15 0 97806269 14411579392 292573 33554432000 4194304 4196468 140736615463088 139778845457296 139778896004821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11248] ppid=11190 vsize=14073808 memory=1172344 CPUtime=0.63 cores=1,3,5,7
/proc/11193/task/11248/stat : 11248 (java) S 11190 11193 3242 0 -1 1077944384 12001 12543 0 0 51 5 4 3 20 0 15 0 97806270 14411579392 292573 33554432000 4194304 4196468 140736615463088 139778437306608 139778896005762 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11249] ppid=11190 vsize=14073808 memory=1171832 CPUtime=0.07 cores=1,3,5,7
/proc/11193/task/11249/stat : 11249 (java) S 11190 11193 3242 0 -1 1077944384 64 12543 0 0 0 0 4 3 20 0 15 0 97806270 14411579392 292573 33554432000 4194304 4196468 140736615463088 139778368464096 139778896004821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11250] ppid=11190 vsize=14073808 memory=1171316 CPUtime=0.07 cores=1,3,5,7
/proc/11193/task/11250/stat : 11250 (java) S 11190 11193 3242 0 -1 1077944384 46 12543 0 0 0 0 4 3 20 0 15 0 97806270 14411579392 292573 33554432000 4194304 4196468 140736615463088 139778367410944 139778896004821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11251] ppid=11190 vsize=14073808 memory=1170804 CPUtime=0.07 cores=1,3,5,7
/proc/11193/task/11251/stat : 11251 (java) S 11190 11193 3242 0 -1 1077944384 3 12543 0 0 0 0 4 3 20 0 15 0 97806273 14411579392 292573 33554432000 4194304 4196468 140736615463088 139778366359504 139778896013211 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11252] ppid=11190 vsize=14073808 memory=1234612 CPUtime=11.36 cores=1,3,5,7
/proc/11193/task/11252/stat : 11252 (java) S 11190 11193 3242 0 -1 1077944384 22810 12543 0 0 1125 4 4 3 20 0 15 0 97806273 14411579392 292573 33554432000 4194304 4196468 140736615463088 139778365307632 139778896005762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11253] ppid=11190 vsize=14073808 memory=1171316 CPUtime=10.91 cores=1,3,5,7
/proc/11193/task/11253/stat : 11253 (java) S 11190 11193 3242 0 -1 1077944384 20262 12543 0 0 1079 5 4 3 20 0 15 0 97806273 14411579392 292573 33554432000 4194304 4196468 140736615463088 139778364255088 139778896005762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11254] ppid=11190 vsize=14073808 memory=4144 CPUtime=4.1 cores=1,3,5,7
/proc/11193/task/11254/stat : 11254 (java) S 11190 11193 3242 0 -1 1077944384 26218 12543 0 0 397 6 4 3 20 0 15 0 97806273 14411579392 292573 33554432000 4194304 4196468 140736615463088 139778363202032 139778896005762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11255] ppid=11190 vsize=14073808 memory=4144 CPUtime=0.07 cores=1,3,5,7
/proc/11193/task/11255/stat : 11255 (java) S 11190 11193 3242 0 -1 1077944384 3 12543 0 0 0 0 4 3 20 0 15 0 97806273 14411579392 292573 33554432000 4194304 4196468 140736615463088 139778362149728 139778896004821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11256] ppid=11190 vsize=14073808 memory=28588 CPUtime=0.17 cores=1,3,5,7
/proc/11193/task/11256/stat : 11256 (java) S 11190 11193 3242 0 -1 1077944384 2011 12543 0 0 5 5 4 3 20 0 15 0 97806274 14411579392 292573 33554432000 4194304 4196468 140736615463088 139778361096752 139778896005762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
Current children cumulated CPU time: 252.03 s
Current children cumulated vsize: 14073808 KiB
Current children cumulated memory: 1170292 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+223.544 s]
# the end of solver process 11193 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.376 s, system=0.726781 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+223.501 s]
/proc/loadavg: 1.78 1.79 1.85 3/216 11392
/proc/meminfo: memFree=25623044/32770624 swapFree=67108860/67108860
[pid=11193] ppid=11190 vsize=14073808 memory=1170292 CPUtime=252.03 cores=1,3,5,7
/proc/11193/stat : 11193 (java) S 11190 11193 3242 0 -1 1077944320 145934 12543 0 0 25129 67 4 3 20 0 15 0 97806259 14411579392 292573 33554432000 4194304 4196468 140736615463088 140736615445632 139778895994615 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
/proc/11193/statm: 3518452 292573 3515 1 0 3506007 0
[pid=11193/tid=11243] ppid=11190 vsize=14073808 memory=1170804 CPUtime=221.96 cores=1,3,5,7
/proc/11193/task/11243/stat : 11243 (java) R 11190 11193 3242 0 -1 4202560 50382 12543 0 0 22163 26 4 3 20 0 15 0 97806268 14411579392 292573 33554432000 4194304 4196468 140736615463088 139778900228624 139778520858478 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11244] ppid=11190 vsize=14073808 memory=1183576 CPUtime=0.85 cores=1,3,5,7
/proc/11193/task/11244/stat : 11244 (java) S 11190 11193 3242 0 -1 1077944384 1684 12543 0 0 75 3 4 3 20 0 15 0 97806269 14411579392 292573 33554432000 4194304 4196468 140736615463088 139778848615440 139778896004821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11245] ppid=11190 vsize=14073808 memory=1182040 CPUtime=0.86 cores=1,3,5,7
/proc/11193/task/11245/stat : 11245 (java) S 11190 11193 3242 0 -1 1077944384 2147 12543 0 0 75 4 4 3 20 0 15 0 97806269 14411579392 292573 33554432000 4194304 4196468 140736615463088 139778847562896 139778896004821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11246] ppid=11190 vsize=14073808 memory=1179988 CPUtime=0.85 cores=1,3,5,7
/proc/11193/task/11246/stat : 11246 (java) S 11190 11193 3242 0 -1 1077944384 3467 12543 0 0 73 5 4 3 20 0 15 0 97806269 14411579392 292573 33554432000 4194304 4196468 140736615463088 139778846509840 139778896004821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11247] ppid=11190 vsize=14073808 memory=1172856 CPUtime=0.86 cores=1,3,5,7
/proc/11193/task/11247/stat : 11247 (java) S 11190 11193 3242 0 -1 1077944384 2692 12543 0 0 75 4 4 3 20 0 15 0 97806269 14411579392 292573 33554432000 4194304 4196468 140736615463088 139778845457296 139778896004821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11248] ppid=11190 vsize=14073808 memory=1172344 CPUtime=0.63 cores=1,3,5,7
/proc/11193/task/11248/stat : 11248 (java) S 11190 11193 3242 0 -1 1077944384 12001 12543 0 0 51 5 4 3 20 0 15 0 97806270 14411579392 292573 33554432000 4194304 4196468 140736615463088 139778437306608 139778896005762 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11249] ppid=11190 vsize=14073808 memory=1171832 CPUtime=0.07 cores=1,3,5,7
/proc/11193/task/11249/stat : 11249 (java) S 11190 11193 3242 0 -1 1077944384 64 12543 0 0 0 0 4 3 20 0 15 0 97806270 14411579392 292573 33554432000 4194304 4196468 140736615463088 139778368464096 139778896004821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11250] ppid=11190 vsize=14073808 memory=1171316 CPUtime=0.07 cores=1,3,5,7
/proc/11193/task/11250/stat : 11250 (java) S 11190 11193 3242 0 -1 1077944384 46 12543 0 0 0 0 4 3 20 0 15 0 97806270 14411579392 292573 33554432000 4194304 4196468 140736615463088 139778367410944 139778896004821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11251] ppid=11190 vsize=14073808 memory=1170804 CPUtime=0.07 cores=1,3,5,7
/proc/11193/task/11251/stat : 11251 (java) S 11190 11193 3242 0 -1 1077944384 3 12543 0 0 0 0 4 3 20 0 15 0 97806273 14411579392 292573 33554432000 4194304 4196468 140736615463088 139778366359504 139778896013211 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11252] ppid=11190 vsize=14073808 memory=1234612 CPUtime=11.36 cores=1,3,5,7
/proc/11193/task/11252/stat : 11252 (java) S 11190 11193 3242 0 -1 1077944384 22810 12543 0 0 1125 4 4 3 20 0 15 0 97806273 14411579392 292573 33554432000 4194304 4196468 140736615463088 139778365307632 139778896005762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11253] ppid=11190 vsize=14073808 memory=1171316 CPUtime=10.91 cores=1,3,5,7
/proc/11193/task/11253/stat : 11253 (java) S 11190 11193 3242 0 -1 1077944384 20262 12543 0 0 1079 5 4 3 20 0 15 0 97806273 14411579392 292573 33554432000 4194304 4196468 140736615463088 139778364255088 139778896005762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11254] ppid=11190 vsize=14073808 memory=4144 CPUtime=4.1 cores=1,3,5,7
/proc/11193/task/11254/stat : 11254 (java) S 11190 11193 3242 0 -1 1077944384 26218 12543 0 0 397 6 4 3 20 0 15 0 97806273 14411579392 292573 33554432000 4194304 4196468 140736615463088 139778363202032 139778896005762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11255] ppid=11190 vsize=14073808 memory=4144 CPUtime=0.07 cores=1,3,5,7
/proc/11193/task/11255/stat : 11255 (java) S 11190 11193 3242 0 -1 1077944384 3 12543 0 0 0 0 4 3 20 0 15 0 97806273 14411579392 292573 33554432000 4194304 4196468 140736615463088 139778362149728 139778896004821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
[pid=11193/tid=11256] ppid=11190 vsize=14073808 memory=28588 CPUtime=0.17 cores=1,3,5,7
/proc/11193/task/11256/stat : 11256 (java) S 11190 11193 3242 0 -1 1077944384 2011 12543 0 0 5 5 4 3 20 0 15 0 97806274 14411579392 292573 33554432000 4194304 4196468 140736615463088 139778361096752 139778896005762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32874496 140736615467670 140736615470455 140736615470455 140736615473103 0
Current children cumulated CPU time: 252.03 s
Current children cumulated vsize: 14073808 KiB
Current children cumulated memory: 1170292 KiB
Child status: 143
Real time (s): 223.544
CPU time (s): 252.102
CPU user time (s): 251.376
CPU system time (s): 0.726781
CPU usage (%): 112.775
Max. virtual memory (cumulated for all children) (KiB): 14073808
Max. memory (cumulated for all children) (KiB): 1235424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.376
system time used= 0.726781
maximum resident set size= 1236660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 164083
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 29953
involuntary context switches= 473
# summary of solver processes directly reported to runsolver:
# pid: 11193
# total CPU time (s): 252.102
# total CPU user time (s): 251.376
# total CPU system time (s): 0.726781
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.40582 second user time and 2.06426 second system time
The end