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 (12989 MiB free)
memory of node 1: 16384 MiB (15407 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400872-1568695967/watcher-4400872-1568695967 -o /tmp/evaluation-result-4400872-1568695967/solver-4400872-1568695967 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1568673291-32274 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1538733696 HOME/instance-4400872-1568695967.xml
running on 4 cores: 1,3,5,7
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
solver pid=5305, runsolver pid=5302
Current StackSize limit: 8192 KiB
[startup+0.100082 s]*
/proc/loadavg: 1.05 1.25 1.30 3/221 5362
/proc/meminfo: memFree=29070552/32770624 swapFree=67027360/67108860
[pid=5305] ppid=5302 vsize=9989820 memory=19392 CPUtime=0.08 cores=1,3,5,7
/proc/5305/stat : 5305 (java) S 5302 5305 32242 0 -1 1077944320 4576 13158 0 0 1 0 5 2 20 0 7 0 445869306 10229575680 4848 33554432000 4194304 4196468 140726892244224 140726892226768 139764362276599 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
/proc/5305/statm: 2497455 4848 1975 1 0 2485893 0
[pid=5305/tid=5358] ppid=5302 vsize=10055356 memory=-8171376296011865461 CPUtime=0.08 cores=1,3,5,7
/proc/5305/task/5358/stat : 5358 (java) R 5302 5305 32242 0 -1 4202560 2440 13158 0 0 1 0 5 2 20 0 7 0 445869315 10296684544 4914 33554432000 4194304 4196468 140726892244224 139764334119696 139764344750320 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5359] ppid=5302 vsize=10055356 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5305/task/5359/stat : 5359 (java) S 5302 5305 32242 0 -1 1077944384 1 13158 0 0 0 0 5 2 20 0 7 0 445869316 10296684544 4914 33554432000 4194304 4196468 140726892244224 139764366519312 139764362286805 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5360] ppid=5302 vsize=10055356 memory=140386013705856 CPUtime=0.07 cores=1,3,5,7
/proc/5305/task/5360/stat : 5360 (java) S 5302 5305 32242 0 -1 1077944384 1 13158 0 0 0 0 5 2 20 0 7 0 445869316 10296684544 4914 33554432000 4194304 4196468 140726892244224 139764281339024 139764362286805 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5361] ppid=5302 vsize=10055356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5305/task/5361/stat : 5361 (java) S 5302 5305 32242 0 -1 1077944384 1 13158 0 0 0 0 5 2 20 0 7 0 445869316 10296684544 4914 33554432000 4194304 4196468 140726892244224 139764280285968 139764362286805 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5362] ppid=5302 vsize=10055356 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5305/task/5362/stat : 5362 (java) S 5302 5305 32242 0 -1 1077944384 2 13158 0 0 0 0 5 2 20 0 7 0 445869316 10296684544 4914 33554432000 4194304 4196468 140726892244224 139764279233424 139764362286805 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5363] ppid=5302 vsize=10055356 memory=140386013705856 CPUtime=0.07 cores=1,3,5,7
/proc/5305/task/5363/stat : 5363 (java) S 5302 5305 32242 0 -1 1077944384 2 13158 0 0 0 0 5 2 20 0 7 0 445869317 10296684544 4914 33554432000 4194304 4196468 140726892244224 139763888896240 139764362287746 0 0 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9989820 KiB
Current children cumulated memory: 19392 KiB
[startup+0.210153 s]*
/proc/loadavg: 1.05 1.25 1.30 4/230 5371
/proc/meminfo: memFree=29050308/32770624 swapFree=67027360/67108860
[pid=5305] ppid=5302 vsize=10820196 memory=41860 CPUtime=0.27 cores=1,3,5,7
/proc/5305/stat : 5305 (java) S 5302 5305 32242 0 -1 1077944320 7263 13158 0 0 18 2 5 2 20 0 15 0 445869306 11079880704 10465 33554432000 4194304 4196468 140726892244224 140726892226768 139764362276599 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
/proc/5305/statm: 2705049 10465 3304 1 0 2667149 0
[pid=5305/tid=5358] ppid=5302 vsize=10820196 memory=-8171376296011865461 CPUtime=0.19 cores=1,3,5,7
/proc/5305/task/5358/stat : 5358 (java) R 5302 5305 32242 0 -1 4202560 3765 13158 0 0 11 1 5 2 20 0 15 0 445869315 11079880704 10465 33554432000 4194304 4196468 140726892244224 139764334090784 139763956942016 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5359] ppid=5302 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5305/task/5359/stat : 5359 (java) S 5302 5305 32242 0 -1 1077944384 1 13158 0 0 0 0 5 2 20 0 15 0 445869316 11079880704 10465 33554432000 4194304 4196468 140726892244224 139764366519312 139764362286805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5360] ppid=5302 vsize=10820196 memory=140386013705856 CPUtime=0.07 cores=1,3,5,7
/proc/5305/task/5360/stat : 5360 (java) S 5302 5305 32242 0 -1 1077944384 1 13158 0 0 0 0 5 2 20 0 15 0 445869316 11079880704 10465 33554432000 4194304 4196468 140726892244224 139764281339024 139764362286805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5361] ppid=5302 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5305/task/5361/stat : 5361 (java) S 5302 5305 32242 0 -1 1077944384 1 13158 0 0 0 0 5 2 20 0 15 0 445869316 11079880704 10465 33554432000 4194304 4196468 140726892244224 139764280285968 139764362286805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5362] ppid=5302 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5305/task/5362/stat : 5362 (java) S 5302 5305 32242 0 -1 1077944384 2 13158 0 0 0 0 5 2 20 0 15 0 445869316 11079880704 10465 33554432000 4194304 4196468 140726892244224 139764279233424 139764362286805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5363] ppid=5302 vsize=10820196 memory=140386013705856 CPUtime=0.07 cores=1,3,5,7
/proc/5305/task/5363/stat : 5363 (java) S 5302 5305 32242 0 -1 1077944384 2 13158 0 0 0 0 5 2 20 0 15 0 445869317 11079880704 10465 33554432000 4194304 4196468 140726892244224 139763888896240 139764362287746 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5364] ppid=5302 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5305/task/5364/stat : 5364 (java) S 5302 5305 32242 0 -1 1077944384 13 13158 0 0 0 0 5 2 20 0 15 0 445869318 11079880704 10465 33554432000 4194304 4196468 140726892244224 139763805840544 139764362286805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5365] ppid=5302 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5305/task/5365/stat : 5365 (java) S 5302 5305 32242 0 -1 1077944384 1 13158 0 0 0 0 5 2 20 0 15 0 445869318 11079880704 10465 33554432000 4194304 4196468 140726892244224 139763201860336 139764362286805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5366] ppid=5302 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5305/task/5366/stat : 5366 (java) S 5302 5305 32242 0 -1 1077944384 3 13158 0 0 0 0 5 2 20 0 15 0 445869321 11079880704 10465 33554432000 4194304 4196468 140726892244224 139762894460880 139764362295195 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5367] ppid=5302 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5305/task/5367/stat : 5367 (java) S 5302 5305 32242 0 -1 1077944384 354 13158 0 0 1 0 5 2 20 0 15 0 445869321 11079880704 10465 33554432000 4194304 4196468 140726892244224 139763887844080 139764362287746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5368] ppid=5302 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/5305/task/5368/stat : 5368 (java) S 5302 5305 32242 0 -1 1077944384 304 13158 0 0 1 0 5 2 20 0 15 0 445869321 11079880704 10465 33554432000 4194304 4196468 140726892244224 139763886791536 139764362287746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5369] ppid=5302 vsize=10820196 memory=140386013705856 CPUtime=0.1 cores=1,3,5,7
/proc/5305/task/5369/stat : 5369 (java) S 5302 5305 32242 0 -1 1077944384 606 13158 0 0 3 0 5 2 20 0 15 0 445869321 11079880704 10465 33554432000 4194304 4196468 140726892244224 139763885738480 139764362287746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5370] ppid=5302 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5305/task/5370/stat : 5370 (java) S 5302 5305 32242 0 -1 1077944384 3 13158 0 0 0 0 5 2 20 0 15 0 445869321 11079880704 10465 33554432000 4194304 4196468 140726892244224 139762860903264 139764362286805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5371] ppid=5302 vsize=10820196 memory=140386013705856 CPUtime=0.07 cores=1,3,5,7
/proc/5305/task/5371/stat : 5371 (java) S 5302 5305 32242 0 -1 1077944384 1 13158 0 0 0 0 5 2 20 0 15 0 445869321 11079880704 10465 33554432000 4194304 4196468 140726892244224 139763884685872 139764362287746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 41860 KiB
[startup+0.310582 s]*
/proc/loadavg: 1.05 1.25 1.30 4/230 5371
/proc/meminfo: memFree=29040916/32770624 swapFree=67027360/67108860
[pid=5305] ppid=5302 vsize=10820196 memory=50276 CPUtime=0.4 cores=1,3,5,7
/proc/5305/stat : 5305 (java) S 5302 5305 32242 0 -1 1077944320 10768 13158 0 0 30 3 5 2 20 0 15 0 445869306 11079880704 12569 33554432000 4194304 4196468 140726892244224 140726892226768 139764362276599 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
/proc/5305/statm: 2705049 12569 3317 1 0 2667149 0
[pid=5305/tid=5358] ppid=5302 vsize=10820268 memory=6935054825532540783 CPUtime=0.29 cores=1,3,5,7
/proc/5305/task/5358/stat : 5358 (java) R 5302 5305 32242 0 -1 4202560 7275 13158 0 0 20 2 5 2 20 0 15 0 445869315 11079954432 12569 33554432000 4194304 4196468 140726892244224 139764334100976 139764362298525 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5359] ppid=5302 vsize=10820268 memory=7317634893576766894 CPUtime=0.07 cores=1,3,5,7
/proc/5305/task/5359/stat : 5359 (java) S 5302 5305 32242 0 -1 1077944384 1 13158 0 0 0 0 5 2 20 0 15 0 445869316 11079954432 12569 33554432000 4194304 4196468 140726892244224 139764366519312 139764362286805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5360] ppid=5302 vsize=10820268 memory=7031125463459224206 CPUtime=0.07 cores=1,3,5,7
/proc/5305/task/5360/stat : 5360 (java) S 5302 5305 32242 0 -1 1077944384 1 13158 0 0 0 0 5 2 20 0 15 0 445869316 11079954432 12569 33554432000 4194304 4196468 140726892244224 139764281339024 139764362286805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5361] ppid=5302 vsize=10820268 memory=8514701219931451533 CPUtime=0.07 cores=1,3,5,7
/proc/5305/task/5361/stat : 5361 (java) S 5302 5305 32242 0 -1 1077944384 1 13158 0 0 0 0 5 2 20 0 15 0 445869316 11079954432 12569 33554432000 4194304 4196468 140726892244224 139764280285968 139764362286805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5362] ppid=5302 vsize=10820268 memory=1328725297981317182 CPUtime=0.07 cores=1,3,5,7
/proc/5305/task/5362/stat : 5362 (java) S 5302 5305 32242 0 -1 1077944384 2 13158 0 0 0 0 5 2 20 0 15 0 445869316 11079954432 12569 33554432000 4194304 4196468 140726892244224 139764279233424 139764362286805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5363] ppid=5302 vsize=10820268 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5305/task/5363/stat : 5363 (java) S 5302 5305 32242 0 -1 1077944384 2 13158 0 0 0 0 5 2 20 0 15 0 445869317 11079954432 12569 33554432000 4194304 4196468 140726892244224 139763888896240 139764362287746 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5364] ppid=5302 vsize=10820268 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5305/task/5364/stat : 5364 (java) S 5302 5305 32242 0 -1 1077944384 13 13158 0 0 0 0 5 2 20 0 15 0 445869318 11079954432 12569 33554432000 4194304 4196468 140726892244224 139763805840544 139764362286805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5365] ppid=5302 vsize=10820268 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5305/task/5365/stat : 5365 (java) S 5302 5305 32242 0 -1 1077944384 1 13158 0 0 0 0 5 2 20 0 15 0 445869318 11079954432 12569 33554432000 4194304 4196468 140726892244224 139763201860336 139764362286805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5366] ppid=5302 vsize=10820268 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5305/task/5366/stat : 5366 (java) S 5302 5305 32242 0 -1 1077944384 3 13158 0 0 0 0 5 2 20 0 15 0 445869321 11079954432 12569 33554432000 4194304 4196468 140726892244224 139762894460880 139764362295195 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5367] ppid=5302 vsize=10820268 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/5305/task/5367/stat : 5367 (java) S 5302 5305 32242 0 -1 1077944384 355 13158 0 0 2 0 5 2 20 0 15 0 445869321 11079954432 12569 33554432000 4194304 4196468 140726892244224 139763887844080 139764362287746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5368] ppid=5302 vsize=10820268 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5305/task/5368/stat : 5368 (java) S 5302 5305 32242 0 -1 1077944384 304 13158 0 0 1 0 5 2 20 0 15 0 445869321 11079954432 12569 33554432000 4194304 4196468 140726892244224 139763886791536 139764362287746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5369] ppid=5302 vsize=10820268 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/5305/task/5369/stat : 5369 (java) S 5302 5305 32242 0 -1 1077944384 625 13158 0 0 5 0 5 2 20 0 15 0 445869321 11079954432 12569 33554432000 4194304 4196468 140726892244224 139763885738480 139764362287746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5370] ppid=5302 vsize=10820268 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5305/task/5370/stat : 5370 (java) S 5302 5305 32242 0 -1 1077944384 3 13158 0 0 0 0 5 2 20 0 15 0 445869321 11079954432 12569 33554432000 4194304 4196468 140726892244224 139762860903264 139764362286805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5371] ppid=5302 vsize=10820268 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5305/task/5371/stat : 5371 (java) S 5302 5305 32242 0 -1 1077944384 1 13158 0 0 0 0 5 2 20 0 15 0 445869321 11079954432 12569 33554432000 4194304 4196468 140726892244224 139763884685872 139764362287746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 50276 KiB
[startup+0.701034 s]
/proc/loadavg: 1.05 1.25 1.30 3/230 5371
/proc/meminfo: memFree=29025520/32770624 swapFree=67027360/67108860
[pid=5305] ppid=5302 vsize=10824364 memory=83496 CPUtime=1.11 cores=1,3,5,7
/proc/5305/stat : 5305 (java) S 5302 5305 32242 0 -1 1077944320 15106 13158 0 0 99 5 5 2 20 0 15 0 445869306 11084148736 20874 33554432000 4194304 4196468 140726892244224 140726892226768 139764362276599 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
/proc/5305/statm: 2706091 20874 3512 1 0 2668173 0
[pid=5305/tid=5358] ppid=5302 vsize=10824364 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/5305/task/5358/stat : 5358 (java) S 5302 5305 32242 0 -1 1077944384 10547 13158 0 0 57 3 5 2 20 0 15 0 445869315 11084148736 20874 33554432000 4194304 4196468 140726892244224 139764334106784 139764362286805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5359] ppid=5302 vsize=10824364 memory=1 CPUtime=0.07 cores=1,3,5,7
/proc/5305/task/5359/stat : 5359 (java) S 5302 5305 32242 0 -1 1077944384 1 13158 0 0 0 0 5 2 20 0 15 0 445869316 11084148736 20874 33554432000 4194304 4196468 140726892244224 139764366519312 139764362286805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5360] ppid=5302 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5305/task/5360/stat : 5360 (java) S 5302 5305 32242 0 -1 1077944384 1 13158 0 0 0 0 5 2 20 0 15 0 445869316 11084148736 20874 33554432000 4194304 4196468 140726892244224 139764281339024 139764362286805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5361] ppid=5302 vsize=10824364 memory=49 CPUtime=0.07 cores=1,3,5,7
/proc/5305/task/5361/stat : 5361 (java) S 5302 5305 32242 0 -1 1077944384 1 13158 0 0 0 0 5 2 20 0 15 0 445869316 11084148736 20874 33554432000 4194304 4196468 140726892244224 139764280285968 139764362286805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5362] ppid=5302 vsize=10824364 memory=8751464017575622968 CPUtime=0.07 cores=1,3,5,7
/proc/5305/task/5362/stat : 5362 (java) S 5302 5305 32242 0 -1 1077944384 2 13158 0 0 0 0 5 2 20 0 15 0 445869316 11084148736 20874 33554432000 4194304 4196468 140726892244224 139764279233424 139764362286805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5363] ppid=5302 vsize=10824364 memory=7223885219397517416 CPUtime=0.07 cores=1,3,5,7
/proc/5305/task/5363/stat : 5363 (java) S 5302 5305 32242 0 -1 1077944384 5 13158 0 0 0 0 5 2 20 0 15 0 445869317 11084148736 20874 33554432000 4194304 4196468 140726892244224 139763888896240 139764362287746 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5364] ppid=5302 vsize=10824364 memory=6224326942143889505 CPUtime=0.07 cores=1,3,5,7
/proc/5305/task/5364/stat : 5364 (java) S 5302 5305 32242 0 -1 1077944384 13 13158 0 0 0 0 5 2 20 0 15 0 445869318 11084148736 20874 33554432000 4194304 4196468 140726892244224 139763805840544 139764362286805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5365] ppid=5302 vsize=10824364 memory=667680 CPUtime=0.07 cores=1,3,5,7
/proc/5305/task/5365/stat : 5365 (java) S 5302 5305 32242 0 -1 1077944384 1 13158 0 0 0 0 5 2 20 0 15 0 445869318 11084148736 20874 33554432000 4194304 4196468 140726892244224 139763201860336 139764362286805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5366] ppid=5302 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5305/task/5366/stat : 5366 (java) S 5302 5305 32242 0 -1 1077944384 3 13158 0 0 0 0 5 2 20 0 15 0 445869321 11084148736 20874 33554432000 4194304 4196468 140726892244224 139762894460880 139764362295195 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5367] ppid=5302 vsize=10824364 memory=4120 CPUtime=0.2 cores=1,3,5,7
/proc/5305/task/5367/stat : 5367 (java) R 5302 5305 32242 0 -1 4202560 727 13158 0 0 13 0 5 2 20 0 15 0 445869321 11084148736 20874 33554432000 4194304 4196468 140726892244224 139763887823944 139764348567165 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5368] ppid=5302 vsize=10824364 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/5305/task/5368/stat : 5368 (java) R 5302 5305 32242 0 -1 4202560 751 13158 0 0 12 0 5 2 20 0 15 0 445869321 11084148736 20874 33554432000 4194304 4196468 140726892244224 139763886778080 139764347383956 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5369] ppid=5302 vsize=10824364 memory=15677808894549032 CPUtime=0.24 cores=1,3,5,7
/proc/5305/task/5369/stat : 5369 (java) S 5302 5305 32242 0 -1 1077944384 844 13158 0 0 17 0 5 2 20 0 15 0 445869321 11084148736 20874 33554432000 4194304 4196468 140726892244224 139763885736016 139764362286805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5370] ppid=5302 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5305/task/5370/stat : 5370 (java) S 5302 5305 32242 0 -1 1077944384 3 13158 0 0 0 0 5 2 20 0 15 0 445869321 11084148736 20874 33554432000 4194304 4196468 140726892244224 139762860903264 139764362286805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5371] ppid=5302 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5305/task/5371/stat : 5371 (java) S 5302 5305 32242 0 -1 1077944384 1 13158 0 0 0 0 5 2 20 0 15 0 445869321 11084148736 20874 33554432000 4194304 4196468 140726892244224 139763884685872 139764362287746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 83496 KiB
[startup+1.50074 s]
/proc/loadavg: 1.05 1.25 1.30 5/230 5371
/proc/meminfo: memFree=28975320/32770624 swapFree=67027360/67108860
[pid=5305] ppid=5302 vsize=10834680 memory=192088 CPUtime=2.78 cores=1,3,5,7
/proc/5305/stat : 5305 (java) S 5302 5305 32242 0 -1 1077944320 26136 13158 0 0 260 11 5 2 20 0 15 0 445869306 11094712320 48022 33554432000 4194304 4196468 140726892244224 140726892226768 139764362276599 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
/proc/5305/statm: 2708670 48022 3582 1 0 2670733 0
[pid=5305/tid=5358] ppid=5302 vsize=10834680 memory=13794 CPUtime=1.42 cores=1,3,5,7
/proc/5305/task/5358/stat : 5358 (java) R 5302 5305 32242 0 -1 4202560 16484 13158 0 0 130 5 5 2 20 0 15 0 445869315 11094712320 48022 33554432000 4194304 4196468 140726892244224 139764334079480 139764346357086 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5359] ppid=5302 vsize=10834680 memory=20720 CPUtime=0.08 cores=1,3,5,7
/proc/5305/task/5359/stat : 5359 (java) S 5302 5305 32242 0 -1 1077944384 285 13158 0 0 1 0 5 2 20 0 15 0 445869316 11094712320 48022 33554432000 4194304 4196468 140726892244224 139764366519312 139764362286805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5360] ppid=5302 vsize=10834680 memory=280771810051488 CPUtime=0.08 cores=1,3,5,7
/proc/5305/task/5360/stat : 5360 (java) S 5302 5305 32242 0 -1 1077944384 29 13158 0 0 1 0 5 2 20 0 15 0 445869316 11094712320 48022 33554432000 4194304 4196468 140726892244224 139764281339024 139764362286805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5361] ppid=5302 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5305/task/5361/stat : 5361 (java) S 5302 5305 32242 0 -1 1077944384 43 13158 0 0 1 0 5 2 20 0 15 0 445869316 11094712320 48022 33554432000 4194304 4196468 140726892244224 139764280285968 139764362286805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5362] ppid=5302 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5305/task/5362/stat : 5362 (java) S 5302 5305 32242 0 -1 1077944384 74 13158 0 0 1 0 5 2 20 0 15 0 445869316 11094712320 48022 33554432000 4194304 4196468 140726892244224 139764279233424 139764362286805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5363] ppid=5302 vsize=10834680 memory=-6800859132029471843 CPUtime=0.08 cores=1,3,5,7
/proc/5305/task/5363/stat : 5363 (java) S 5302 5305 32242 0 -1 1077944384 725 13158 0 0 1 0 5 2 20 0 15 0 445869317 11094712320 48022 33554432000 4194304 4196468 140726892244224 139763888896240 139764362287746 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5364] ppid=5302 vsize=10834680 memory=-1891255765032775953 CPUtime=0.07 cores=1,3,5,7
/proc/5305/task/5364/stat : 5364 (java) S 5302 5305 32242 0 -1 1077944384 13 13158 0 0 0 0 5 2 20 0 15 0 445869318 11094712320 48022 33554432000 4194304 4196468 140726892244224 139763805840608 139764362286805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5365] ppid=5302 vsize=10834680 memory=-2893623298589923098 CPUtime=0.07 cores=1,3,5,7
/proc/5305/task/5365/stat : 5365 (java) S 5302 5305 32242 0 -1 1077944384 3 13158 0 0 0 0 5 2 20 0 15 0 445869318 11094712320 48022 33554432000 4194304 4196468 140726892244224 139763201860352 139764362286805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5366] ppid=5302 vsize=10834680 memory=-1891255765032775953 CPUtime=0.07 cores=1,3,5,7
/proc/5305/task/5366/stat : 5366 (java) S 5302 5305 32242 0 -1 1077944384 3 13158 0 0 0 0 5 2 20 0 15 0 445869321 11094712320 48022 33554432000 4194304 4196468 140726892244224 139762894460880 139764362295195 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5367] ppid=5302 vsize=10834680 memory=-4546129931942301828 CPUtime=0.45 cores=1,3,5,7
/proc/5305/task/5367/stat : 5367 (java) S 5302 5305 32242 0 -1 1077944384 2133 13158 0 0 38 0 5 2 20 0 15 0 445869321 11094712320 48022 33554432000 4194304 4196468 140726892244224 139763887844080 139764362287746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5368] ppid=5302 vsize=10834680 memory=-2893623298589923098 CPUtime=0.45 cores=1,3,5,7
/proc/5305/task/5368/stat : 5368 (java) S 5302 5305 32242 0 -1 1077944384 2182 13158 0 0 37 1 5 2 20 0 15 0 445869321 11094712320 48022 33554432000 4194304 4196468 140726892244224 139763886791536 139764362287746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5369] ppid=5302 vsize=10834680 memory=-7384994778349281184 CPUtime=0.52 cores=1,3,5,7
/proc/5305/task/5369/stat : 5369 (java) S 5302 5305 32242 0 -1 1077944384 1952 13158 0 0 44 1 5 2 20 0 15 0 445869321 11094712320 48022 33554432000 4194304 4196468 140726892244224 139763885738480 139764362287746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5370] ppid=5302 vsize=10834680 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5305/task/5370/stat : 5370 (java) S 5302 5305 32242 0 -1 1077944384 3 13158 0 0 0 0 5 2 20 0 15 0 445869321 11094712320 48022 33554432000 4194304 4196468 140726892244224 139762860903264 139764362286805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5371] ppid=5302 vsize=10834680 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5305/task/5371/stat : 5371 (java) S 5302 5305 32242 0 -1 1077944384 1 13158 0 0 0 0 5 2 20 0 15 0 445869321 11094712320 48022 33554432000 4194304 4196468 140726892244224 139763884685872 139764362287746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
################
# More data... #
################
/proc/5305/task/5358/stat : 5358 (java) R 5302 5305 32242 0 -1 4202560 71412 13158 0 0 235530 52 5 2 20 0 15 0 445869315 11107328000 232748 33554432000 4194304 4196468 140726892244224 139764334111584 139763962414999 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5359] ppid=5302 vsize=10847000 memory=930992 CPUtime=12.64 cores=1,3,5,7
/proc/5305/task/5359/stat : 5359 (java) S 5302 5305 32242 0 -1 1077944384 17111 13158 0 0 1197 60 5 2 20 0 15 0 445869316 11107328000 232748 33554432000 4194304 4196468 140726892244224 139764366519312 139764362286805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5360] ppid=5302 vsize=10847000 memory=930992 CPUtime=12.6 cores=1,3,5,7
/proc/5305/task/5360/stat : 5360 (java) S 5302 5305 32242 0 -1 1077944384 16057 13158 0 0 1195 58 5 2 20 0 15 0 445869316 11107328000 232748 33554432000 4194304 4196468 140726892244224 139764281339024 139764362286805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5361] ppid=5302 vsize=10847000 memory=163436995657443 CPUtime=12.61 cores=1,3,5,7
/proc/5305/task/5361/stat : 5361 (java) S 5302 5305 32242 0 -1 1077944384 10280 13158 0 0 1193 61 5 2 20 0 15 0 445869316 11107328000 232748 33554432000 4194304 4196468 140726892244224 139764280285968 139764362286805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5362] ppid=5302 vsize=10847000 memory=930992 CPUtime=12.59 cores=1,3,5,7
/proc/5305/task/5362/stat : 5362 (java) S 5302 5305 32242 0 -1 1077944384 15332 13158 0 0 1192 60 5 2 20 0 15 0 445869316 11107328000 232748 33554432000 4194304 4196468 140726892244224 139764279233424 139764362286805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5363] ppid=5302 vsize=10847000 memory=930992 CPUtime=11.11 cores=1,3,5,7
/proc/5305/task/5363/stat : 5363 (java) S 5302 5305 32242 0 -1 1077944384 15913 13158 0 0 1041 63 5 2 20 0 15 0 445869317 11107328000 232748 33554432000 4194304 4196468 140726892244224 139763888896240 139764362287746 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5364] ppid=5302 vsize=10847000 memory=930992 CPUtime=0.07 cores=1,3,5,7
/proc/5305/task/5364/stat : 5364 (java) S 5302 5305 32242 0 -1 1077944384 14 13158 0 0 0 0 5 2 20 0 15 0 445869318 11107328000 232748 33554432000 4194304 4196468 140726892244224 139763805840608 139764362286805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5365] ppid=5302 vsize=10847000 memory=930992 CPUtime=0.07 cores=1,3,5,7
/proc/5305/task/5365/stat : 5365 (java) S 5302 5305 32242 0 -1 1077944384 3 13158 0 0 0 0 5 2 20 0 15 0 445869318 11107328000 232748 33554432000 4194304 4196468 140726892244224 139763201860352 139764362286805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5366] ppid=5302 vsize=10847000 memory=930992 CPUtime=0.07 cores=1,3,5,7
/proc/5305/task/5366/stat : 5366 (java) S 5302 5305 32242 0 -1 1077944384 3 13158 0 0 0 0 5 2 20 0 15 0 445869321 11107328000 232748 33554432000 4194304 4196468 140726892244224 139762894460880 139764362295195 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5367] ppid=5302 vsize=10847000 memory=930992 CPUtime=5.19 cores=1,3,5,7
/proc/5305/task/5367/stat : 5367 (java) S 5302 5305 32242 0 -1 1077944384 33522 13158 0 0 507 5 5 2 20 0 15 0 445869321 11107328000 232748 33554432000 4194304 4196468 140726892244224 139763887844080 139764362287746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5368] ppid=5302 vsize=10847000 memory=930992 CPUtime=5.54 cores=1,3,5,7
/proc/5305/task/5368/stat : 5368 (java) S 5302 5305 32242 0 -1 1077944384 39543 13158 0 0 539 8 5 2 20 0 15 0 445869321 11107328000 232748 33554432000 4194304 4196468 140726892244224 139763886791536 139764362287746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5369] ppid=5302 vsize=10847000 memory=930992 CPUtime=4.85 cores=1,3,5,7
/proc/5305/task/5369/stat : 5369 (java) S 5302 5305 32242 0 -1 1077944384 25904 13158 0 0 469 9 5 2 20 0 15 0 445869321 11107328000 232748 33554432000 4194304 4196468 140726892244224 139763885738480 139764362287746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5370] ppid=5302 vsize=10847000 memory=500 CPUtime=0.07 cores=1,3,5,7
/proc/5305/task/5370/stat : 5370 (java) S 5302 5305 32242 0 -1 1077944384 3 13158 0 0 0 0 5 2 20 0 15 0 445869321 11107328000 232748 33554432000 4194304 4196468 140726892244224 139762860903264 139764362286805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5371] ppid=5302 vsize=10847000 memory=7813012444168874088 CPUtime=1.45 cores=1,3,5,7
/proc/5305/task/5371/stat : 5371 (java) S 5302 5305 32242 0 -1 1077944384 1751 13158 0 0 61 77 5 2 20 0 15 0 445869321 11107328000 232748 33554432000 4194304 4196468 140726892244224 139763884685872 139764362287746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
Current children cumulated CPU time: 2433.95 s
Current children cumulated vsize: 10847000 KiB
Current children cumulated memory: 930992 KiB
[startup+2442.3 s]
/proc/loadavg: 0.63 0.89 1.19 2/207 5688
/proc/meminfo: memFree=29110396/32770624 swapFree=67027408/67108860
[pid=5305] ppid=5302 vsize=10847000 memory=928936 CPUtime=2494.97 cores=1,3,5,7
/proc/5305/stat : 5305 (java) S 5302 5305 32242 0 -1 1077944320 250570 13158 0 0 249097 393 5 2 20 0 15 0 445869306 11107328000 232234 33554432000 4194304 4196468 140726892244224 140726892226768 139764362276599 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
/proc/5305/statm: 2711750 232234 3634 1 0 2673805 0
[pid=5305/tid=5358] ppid=5302 vsize=10847000 memory=928936 CPUtime=2415.23 cores=1,3,5,7
/proc/5305/task/5358/stat : 5358 (java) R 5302 5305 32242 0 -1 4202560 72221 13158 0 0 241463 53 5 2 20 0 15 0 445869315 11107328000 232234 33554432000 4194304 4196468 140726892244224 139764334111936 139763957958163 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5359] ppid=5302 vsize=10847000 memory=928936 CPUtime=12.99 cores=1,3,5,7
/proc/5305/task/5359/stat : 5359 (java) S 5302 5305 32242 0 -1 1077944384 17144 13158 0 0 1231 61 5 2 20 0 15 0 445869316 11107328000 232234 33554432000 4194304 4196468 140726892244224 139764366519312 139764362286805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5360] ppid=5302 vsize=10847000 memory=163436995657443 CPUtime=12.95 cores=1,3,5,7
/proc/5305/task/5360/stat : 5360 (java) S 5302 5305 32242 0 -1 1077944384 16225 13158 0 0 1229 59 5 2 20 0 15 0 445869316 11107328000 232234 33554432000 4194304 4196468 140726892244224 139764281339024 139764362286805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5361] ppid=5302 vsize=10847000 memory=930992 CPUtime=12.94 cores=1,3,5,7
/proc/5305/task/5361/stat : 5361 (java) S 5302 5305 32242 0 -1 1077944384 10378 13158 0 0 1225 62 5 2 20 0 15 0 445869316 11107328000 232234 33554432000 4194304 4196468 140726892244224 139764280285968 139764362286805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5362] ppid=5302 vsize=10847000 memory=930992 CPUtime=12.94 cores=1,3,5,7
/proc/5305/task/5362/stat : 5362 (java) S 5302 5305 32242 0 -1 1077944384 15507 13158 0 0 1226 61 5 2 20 0 15 0 445869316 11107328000 232234 33554432000 4194304 4196468 140726892244224 139764279233424 139764362286805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5363] ppid=5302 vsize=10847000 memory=930992 CPUtime=11.38 cores=1,3,5,7
/proc/5305/task/5363/stat : 5363 (java) S 5302 5305 32242 0 -1 1077944384 16122 13158 0 0 1066 65 5 2 20 0 15 0 445869317 11107328000 232234 33554432000 4194304 4196468 140726892244224 139763888896240 139764362287746 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5364] ppid=5302 vsize=10847000 memory=928936 CPUtime=0.07 cores=1,3,5,7
/proc/5305/task/5364/stat : 5364 (java) S 5302 5305 32242 0 -1 1077944384 14 13158 0 0 0 0 5 2 20 0 15 0 445869318 11107328000 232234 33554432000 4194304 4196468 140726892244224 139763805840608 139764362286805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5365] ppid=5302 vsize=10847000 memory=928936 CPUtime=0.07 cores=1,3,5,7
/proc/5305/task/5365/stat : 5365 (java) S 5302 5305 32242 0 -1 1077944384 3 13158 0 0 0 0 5 2 20 0 15 0 445869318 11107328000 232234 33554432000 4194304 4196468 140726892244224 139763201860352 139764362286805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5366] ppid=5302 vsize=10847000 memory=928936 CPUtime=0.07 cores=1,3,5,7
/proc/5305/task/5366/stat : 5366 (java) S 5302 5305 32242 0 -1 1077944384 3 13158 0 0 0 0 5 2 20 0 15 0 445869321 11107328000 232234 33554432000 4194304 4196468 140726892244224 139762894460880 139764362295195 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5367] ppid=5302 vsize=10847000 memory=928936 CPUtime=5.19 cores=1,3,5,7
/proc/5305/task/5367/stat : 5367 (java) S 5302 5305 32242 0 -1 1077944384 33524 13158 0 0 507 5 5 2 20 0 15 0 445869321 11107328000 232234 33554432000 4194304 4196468 140726892244224 139763887844080 139764362287746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5368] ppid=5302 vsize=10847000 memory=928936 CPUtime=5.54 cores=1,3,5,7
/proc/5305/task/5368/stat : 5368 (java) S 5302 5305 32242 0 -1 1077944384 39545 13158 0 0 539 8 5 2 20 0 15 0 445869321 11107328000 232234 33554432000 4194304 4196468 140726892244224 139763886791536 139764362287746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5369] ppid=5302 vsize=10847000 memory=928936 CPUtime=4.85 cores=1,3,5,7
/proc/5305/task/5369/stat : 5369 (java) S 5302 5305 32242 0 -1 1077944384 25906 13158 0 0 469 9 5 2 20 0 15 0 445869321 11107328000 232234 33554432000 4194304 4196468 140726892244224 139763885738480 139764362287746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5370] ppid=5302 vsize=10847000 memory=928936 CPUtime=0.07 cores=1,3,5,7
/proc/5305/task/5370/stat : 5370 (java) S 5302 5305 32242 0 -1 1077944384 3 13158 0 0 0 0 5 2 20 0 15 0 445869321 11107328000 232234 33554432000 4194304 4196468 140726892244224 139762860903264 139764362286805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5371] ppid=5302 vsize=10847000 memory=928936 CPUtime=1.49 cores=1,3,5,7
/proc/5305/task/5371/stat : 5371 (java) S 5302 5305 32242 0 -1 1077944384 1769 13158 0 0 63 79 5 2 20 0 15 0 445869321 11107328000 232234 33554432000 4194304 4196468 140726892244224 139763884685872 139764362287746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
Current children cumulated CPU time: 2494.97 s
Current children cumulated vsize: 10847000 KiB
Current children cumulated memory: 928936 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2466.9 s]
/proc/loadavg: 0.68 0.88 1.18 2/207 5689
/proc/meminfo: memFree=29108616/32770624 swapFree=67027408/67108860
[pid=5305] ppid=5302 vsize=10847000 memory=930984 CPUtime=2520.01 cores=1,3,5,7
/proc/5305/stat : 5305 (java) S 5302 5305 32242 0 -1 1077944320 251242 13158 0 0 251597 397 5 2 20 0 15 0 445869306 11107328000 232746 33554432000 4194304 4196468 140726892244224 140726892226768 139764362276599 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
/proc/5305/statm: 2711750 232746 3634 1 0 2673805 0
[pid=5305/tid=5358] ppid=5302 vsize=10847000 memory=930984 CPUtime=2439.54 cores=1,3,5,7
/proc/5305/task/5358/stat : 5358 (java) R 5302 5305 32242 0 -1 4202560 72500 13158 0 0 243894 53 5 2 20 0 15 0 445869315 11107328000 232746 33554432000 4194304 4196468 140726892244224 139764334111392 139763970236884 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5359] ppid=5302 vsize=10847000 memory=930984 CPUtime=13.13 cores=1,3,5,7
/proc/5305/task/5359/stat : 5359 (java) S 5302 5305 32242 0 -1 1077944384 17248 13158 0 0 1245 61 5 2 20 0 15 0 445869316 11107328000 232746 33554432000 4194304 4196468 140726892244224 139764366519312 139764362286805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5360] ppid=5302 vsize=10847000 memory=930984 CPUtime=13.09 cores=1,3,5,7
/proc/5305/task/5360/stat : 5360 (java) S 5302 5305 32242 0 -1 1077944384 16264 13158 0 0 1243 59 5 2 20 0 15 0 445869316 11107328000 232746 33554432000 4194304 4196468 140726892244224 139764281339024 139764362286805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5361] ppid=5302 vsize=10847000 memory=930984 CPUtime=13.07 cores=1,3,5,7
/proc/5305/task/5361/stat : 5361 (java) S 5302 5305 32242 0 -1 1077944384 10435 13158 0 0 1238 62 5 2 20 0 15 0 445869316 11107328000 232746 33554432000 4194304 4196468 140726892244224 139764280285968 139764362286805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5362] ppid=5302 vsize=10847000 memory=930984 CPUtime=13.08 cores=1,3,5,7
/proc/5305/task/5362/stat : 5362 (java) S 5302 5305 32242 0 -1 1077944384 15510 13158 0 0 1239 62 5 2 20 0 15 0 445869316 11107328000 232746 33554432000 4194304 4196468 140726892244224 139764279233424 139764362286805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5363] ppid=5302 vsize=10847000 memory=930984 CPUtime=11.5 cores=1,3,5,7
/proc/5305/task/5363/stat : 5363 (java) S 5302 5305 32242 0 -1 1077944384 16299 13158 0 0 1078 65 5 2 20 0 15 0 445869317 11107328000 232746 33554432000 4194304 4196468 140726892244224 139763888896240 139764362287746 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5364] ppid=5302 vsize=10847000 memory=928936 CPUtime=0.07 cores=1,3,5,7
/proc/5305/task/5364/stat : 5364 (java) S 5302 5305 32242 0 -1 1077944384 14 13158 0 0 0 0 5 2 20 0 15 0 445869318 11107328000 232746 33554432000 4194304 4196468 140726892244224 139763805840608 139764362286805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5365] ppid=5302 vsize=10847000 memory=930992 CPUtime=0.07 cores=1,3,5,7
/proc/5305/task/5365/stat : 5365 (java) S 5302 5305 32242 0 -1 1077944384 3 13158 0 0 0 0 5 2 20 0 15 0 445869318 11107328000 232746 33554432000 4194304 4196468 140726892244224 139763201860352 139764362286805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5366] ppid=5302 vsize=10847000 memory=4120 CPUtime=0.07 cores=1,3,5,7
/proc/5305/task/5366/stat : 5366 (java) S 5302 5305 32242 0 -1 1077944384 3 13158 0 0 0 0 5 2 20 0 15 0 445869321 11107328000 232746 33554432000 4194304 4196468 140726892244224 139762894460880 139764362295195 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5367] ppid=5302 vsize=10847000 memory=930984 CPUtime=5.19 cores=1,3,5,7
/proc/5305/task/5367/stat : 5367 (java) S 5302 5305 32242 0 -1 1077944384 33524 13158 0 0 507 5 5 2 20 0 15 0 445869321 11107328000 232746 33554432000 4194304 4196468 140726892244224 139763887844080 139764362287746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5368] ppid=5302 vsize=10847000 memory=930984 CPUtime=5.54 cores=1,3,5,7
/proc/5305/task/5368/stat : 5368 (java) S 5302 5305 32242 0 -1 1077944384 39545 13158 0 0 539 8 5 2 20 0 15 0 445869321 11107328000 232746 33554432000 4194304 4196468 140726892244224 139763886791536 139764362287746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5369] ppid=5302 vsize=10847000 memory=930984 CPUtime=4.85 cores=1,3,5,7
/proc/5305/task/5369/stat : 5369 (java) S 5302 5305 32242 0 -1 1077944384 25906 13158 0 0 469 9 5 2 20 0 15 0 445869321 11107328000 232746 33554432000 4194304 4196468 140726892244224 139763885738480 139764362287746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5370] ppid=5302 vsize=10847000 memory=930984 CPUtime=0.07 cores=1,3,5,7
/proc/5305/task/5370/stat : 5370 (java) S 5302 5305 32242 0 -1 1077944384 3 13158 0 0 0 0 5 2 20 0 15 0 445869321 11107328000 232746 33554432000 4194304 4196468 140726892244224 139762860903264 139764362286805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5371] ppid=5302 vsize=10847000 memory=1908 CPUtime=1.5 cores=1,3,5,7
/proc/5305/task/5371/stat : 5371 (java) S 5302 5305 32242 0 -1 1077944384 1782 13158 0 0 63 80 5 2 20 0 15 0 445869321 11107328000 232746 33554432000 4194304 4196468 140726892244224 139763884685872 139764362287746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10847000 KiB
Current children cumulated memory: 930984 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2466.93 s]
# the end of solver process 5305 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.05 s, system=4.01002 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2466.9 s]
/proc/loadavg: 0.68 0.88 1.18 2/207 5689
/proc/meminfo: memFree=29108616/32770624 swapFree=67027408/67108860
[pid=5305] ppid=5302 vsize=10847000 memory=930984 CPUtime=2520.01 cores=1,3,5,7
/proc/5305/stat : 5305 (java) S 5302 5305 32242 0 -1 1077944320 251242 13158 0 0 251597 397 5 2 20 0 15 0 445869306 11107328000 232746 33554432000 4194304 4196468 140726892244224 140726892226768 139764362276599 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
/proc/5305/statm: 2711750 232746 3634 1 0 2673805 0
[pid=5305/tid=5358] ppid=5302 vsize=10847000 memory=930984 CPUtime=2439.54 cores=1,3,5,7
/proc/5305/task/5358/stat : 5358 (java) R 5302 5305 32242 0 -1 4202560 72500 13158 0 0 243894 53 5 2 20 0 15 0 445869315 11107328000 232746 33554432000 4194304 4196468 140726892244224 139764334111392 139763970236884 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5359] ppid=5302 vsize=10847000 memory=930984 CPUtime=13.13 cores=1,3,5,7
/proc/5305/task/5359/stat : 5359 (java) S 5302 5305 32242 0 -1 1077944384 17248 13158 0 0 1245 61 5 2 20 0 15 0 445869316 11107328000 232746 33554432000 4194304 4196468 140726892244224 139764366519312 139764362286805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5360] ppid=5302 vsize=10847000 memory=930984 CPUtime=13.09 cores=1,3,5,7
/proc/5305/task/5360/stat : 5360 (java) S 5302 5305 32242 0 -1 1077944384 16264 13158 0 0 1243 59 5 2 20 0 15 0 445869316 11107328000 232746 33554432000 4194304 4196468 140726892244224 139764281339024 139764362286805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5361] ppid=5302 vsize=10847000 memory=930984 CPUtime=13.07 cores=1,3,5,7
/proc/5305/task/5361/stat : 5361 (java) S 5302 5305 32242 0 -1 1077944384 10435 13158 0 0 1238 62 5 2 20 0 15 0 445869316 11107328000 232746 33554432000 4194304 4196468 140726892244224 139764280285968 139764362286805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5362] ppid=5302 vsize=10847000 memory=930984 CPUtime=13.08 cores=1,3,5,7
/proc/5305/task/5362/stat : 5362 (java) S 5302 5305 32242 0 -1 1077944384 15510 13158 0 0 1239 62 5 2 20 0 15 0 445869316 11107328000 232746 33554432000 4194304 4196468 140726892244224 139764279233424 139764362286805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5363] ppid=5302 vsize=10847000 memory=930984 CPUtime=11.5 cores=1,3,5,7
/proc/5305/task/5363/stat : 5363 (java) S 5302 5305 32242 0 -1 1077944384 16299 13158 0 0 1078 65 5 2 20 0 15 0 445869317 11107328000 232746 33554432000 4194304 4196468 140726892244224 139763888896240 139764362287746 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5364] ppid=5302 vsize=10847000 memory=928936 CPUtime=0.07 cores=1,3,5,7
/proc/5305/task/5364/stat : 5364 (java) S 5302 5305 32242 0 -1 1077944384 14 13158 0 0 0 0 5 2 20 0 15 0 445869318 11107328000 232746 33554432000 4194304 4196468 140726892244224 139763805840608 139764362286805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5365] ppid=5302 vsize=10847000 memory=930992 CPUtime=0.07 cores=1,3,5,7
/proc/5305/task/5365/stat : 5365 (java) S 5302 5305 32242 0 -1 1077944384 3 13158 0 0 0 0 5 2 20 0 15 0 445869318 11107328000 232746 33554432000 4194304 4196468 140726892244224 139763201860352 139764362286805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5366] ppid=5302 vsize=10847000 memory=4120 CPUtime=0.07 cores=1,3,5,7
/proc/5305/task/5366/stat : 5366 (java) S 5302 5305 32242 0 -1 1077944384 3 13158 0 0 0 0 5 2 20 0 15 0 445869321 11107328000 232746 33554432000 4194304 4196468 140726892244224 139762894460880 139764362295195 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5367] ppid=5302 vsize=10847000 memory=930984 CPUtime=5.19 cores=1,3,5,7
/proc/5305/task/5367/stat : 5367 (java) S 5302 5305 32242 0 -1 1077944384 33524 13158 0 0 507 5 5 2 20 0 15 0 445869321 11107328000 232746 33554432000 4194304 4196468 140726892244224 139763887844080 139764362287746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5368] ppid=5302 vsize=10847000 memory=930984 CPUtime=5.54 cores=1,3,5,7
/proc/5305/task/5368/stat : 5368 (java) S 5302 5305 32242 0 -1 1077944384 39545 13158 0 0 539 8 5 2 20 0 15 0 445869321 11107328000 232746 33554432000 4194304 4196468 140726892244224 139763886791536 139764362287746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5369] ppid=5302 vsize=10847000 memory=930984 CPUtime=4.85 cores=1,3,5,7
/proc/5305/task/5369/stat : 5369 (java) S 5302 5305 32242 0 -1 1077944384 25906 13158 0 0 469 9 5 2 20 0 15 0 445869321 11107328000 232746 33554432000 4194304 4196468 140726892244224 139763885738480 139764362287746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5370] ppid=5302 vsize=10847000 memory=930984 CPUtime=0.07 cores=1,3,5,7
/proc/5305/task/5370/stat : 5370 (java) S 5302 5305 32242 0 -1 1077944384 3 13158 0 0 0 0 5 2 20 0 15 0 445869321 11107328000 232746 33554432000 4194304 4196468 140726892244224 139762860903264 139764362286805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
[pid=5305/tid=5371] ppid=5302 vsize=10847000 memory=1908 CPUtime=1.5 cores=1,3,5,7
/proc/5305/task/5371/stat : 5371 (java) S 5302 5305 32242 0 -1 1077944384 1782 13158 0 0 63 80 5 2 20 0 15 0 445869321 11107328000 232746 33554432000 4194304 4196468 140726892244224 139763884685872 139764362287746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6348800 140726892251887 140726892254405 140726892254405 140726892257231 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10847000 KiB
Current children cumulated memory: 930984 KiB
Child status: 143
Real time (s): 2466.93
CPU time (s): 2520.06
CPU user time (s): 2516.05
CPU system time (s): 4.01002
CPU usage (%): 102.154
Max. virtual memory (cumulated for all children) (KiB): 10849736
Max. memory (cumulated for all children) (KiB): 963544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.05
system time used= 4.01002
maximum resident set size= 963548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 265426
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= 317739
involuntary context switches= 6006
# summary of solver processes directly reported to runsolver:
# pid: 5305
# total CPU time (s): 2520.06
# total CPU user time (s): 2516.05
# total CPU system time (s): 4.01002
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.8346 second user time and 23.8011 second system time
The end