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 (14104 MiB free)
memory of node 1: 16384 MiB (15219 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399311-1568697792/watcher-4399311-1568697792 -o /tmp/evaluation-result-4399311-1568697792/solver-4399311-1568697792 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568691194-25965 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 393273728 HOME/instance-4399311-1568697792.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=28242, runsolver pid=28239
Current StackSize limit: 8192 KiB
[startup+0.10008 s]*
/proc/loadavg: 9.14 8.70 8.16 7/233 28258
/proc/meminfo: memFree=30010968/32770624 swapFree=67000028/67108860
[pid=28242] ppid=28239 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28242/stat : 28242 (xcsp3-exec) S 28239 28242 25933 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446033628 115843072 363 33554432000 4194304 5098028 140729077181008 140729077179112 140653385540220 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 20443136 140729077183355 140729077183597 140729077183597 140729077186506 0
/proc/28242/statm: 28282 363 304 221 0 87 0
[pid=28244] ppid=28242 vsize=15144776 memory=28960 CPUtime=0.13 cores=1,3,5,7
/proc/28244/stat : 28244 (java) S 28242 28242 25933 0 -1 1077944320 5707 0 0 0 12 1 0 0 20 0 15 0 446033628 15508250624 7240 33554432000 4194304 4196468 140731351583472 140731351566016 140204366728951 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
/proc/28244/statm: 3786194 7240 3156 1 0 3748377 0
[pid=28244/tid=28245] ppid=28242 vsize=15144776 memory=576460756329955459 CPUtime=0.09 cores=1,3,5,7
/proc/28244/task/28245/stat : 28245 (java) R 28242 28242 25933 0 -1 4202560 3578 0 0 0 8 1 0 0 20 0 15 0 446033628 15508250624 7240 33554432000 4194304 4196468 140731351583472 140204370954784 140204358966078 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28246] ppid=28242 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28244/task/28246/stat : 28246 (java) S 28242 28242 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446033629 15508250624 7240 33554432000 4194304 4196468 140731351583472 140204319349392 140204366739157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28247] ppid=28242 vsize=15144776 memory=3976879761174628000 CPUtime=0 cores=1,3,5,7
/proc/28244/task/28247/stat : 28247 (java) S 28242 28242 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446033629 15508250624 7240 33554432000 4194304 4196468 140731351583472 140204318296592 140204366739157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28248] ppid=28242 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28244/task/28248/stat : 28248 (java) S 28242 28242 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446033629 15508250624 7240 33554432000 4194304 4196468 140731351583472 140204317243792 140204366739157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28249] ppid=28242 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28244/task/28249/stat : 28249 (java) S 28242 28242 25933 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446033629 15508250624 7240 33554432000 4194304 4196468 140731351583472 140204316190992 140204366739157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28250] ppid=28242 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28244/task/28250/stat : 28250 (java) S 28242 28242 25933 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446033630 15508250624 7240 33554432000 4194304 4196468 140731351583472 140203307019120 140204366740098 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28251] ppid=28242 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28244/task/28251/stat : 28251 (java) S 28242 28242 25933 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446033631 15508250624 7240 33554432000 4194304 4196468 140731351583472 140203305965088 140204366739157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28252] ppid=28242 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28244/task/28252/stat : 28252 (java) S 28242 28242 25933 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446033631 15508250624 7240 33554432000 4194304 4196468 140731351583472 140203304912240 140204366739157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28253] ppid=28242 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28244/task/28253/stat : 28253 (java) S 28242 28242 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446033633 15508250624 7240 33554432000 4194304 4196468 140731351583472 140203303860560 140204366747547 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28254] ppid=28242 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28244/task/28254/stat : 28254 (java) S 28242 28242 25933 0 -1 1077944384 451 0 0 0 0 0 0 0 20 0 15 0 446033633 15508250624 7240 33554432000 4194304 4196468 140731351583472 140202860173680 140204366740098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28255] ppid=28242 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28244/task/28255/stat : 28255 (java) S 28242 28242 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446033633 15508250624 7240 33554432000 4194304 4196468 140731351583472 140202859120880 140204366740098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28256] ppid=28242 vsize=15144776 memory=140588594562688 CPUtime=0.02 cores=1,3,5,7
/proc/28244/task/28256/stat : 28256 (java) R 28242 28242 25933 0 -1 4202560 372 0 0 0 2 0 0 0 20 0 15 0 446033633 15508250624 7240 33554432000 4194304 4196468 140731351583472 140202858068080 140204344731852 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28257] ppid=28242 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28244/task/28257/stat : 28257 (java) S 28242 28242 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446033634 15508250624 7240 33554432000 4194304 4196468 140731351583472 140202857015520 140204366739157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28258] ppid=28242 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28244/task/28258/stat : 28258 (java) S 28242 28242 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446033634 15508250624 7240 33554432000 4194304 4196468 140731351583472 140202855963824 140204366740098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30412 KiB
[startup+0.210669 s]*
/proc/loadavg: 9.14 8.70 8.16 7/233 28258
/proc/meminfo: memFree=29996996/32770624 swapFree=67000028/67108860
[pid=28242] ppid=28239 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28242/stat : 28242 (xcsp3-exec) S 28239 28242 25933 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446033628 115843072 363 33554432000 4194304 5098028 140729077181008 140729077179112 140653385540220 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 20443136 140729077183355 140729077183597 140729077183597 140729077186506 0
/proc/28242/statm: 28282 363 304 221 0 87 0
[pid=28244] ppid=28242 vsize=15144776 memory=40664 CPUtime=0.34 cores=1,3,5,7
/proc/28244/stat : 28244 (java) S 28242 28242 25933 0 -1 1077944320 9439 0 0 0 32 2 0 0 20 0 15 0 446033628 15508250624 10166 33554432000 4194304 4196468 140731351583472 140731351566016 140204366728951 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
/proc/28244/statm: 3786194 10166 3275 1 0 3748377 0
[pid=28244/tid=28245] ppid=28242 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/28244/task/28245/stat : 28245 (java) R 28242 28242 25933 0 -1 4202560 6619 0 0 0 18 2 0 0 20 0 15 0 446033628 15508250624 10166 33554432000 4194304 4196468 140731351583472 140204370967264 140204350809438 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28246] ppid=28242 vsize=15144776 memory=2669799 CPUtime=0 cores=1,3,5,7
/proc/28244/task/28246/stat : 28246 (java) S 28242 28242 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446033629 15508250624 10166 33554432000 4194304 4196468 140731351583472 140204319349392 140204366739157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28247] ppid=28242 vsize=15144776 memory=140588597726392 CPUtime=0 cores=1,3,5,7
/proc/28244/task/28247/stat : 28247 (java) S 28242 28242 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446033629 15508250624 10166 33554432000 4194304 4196468 140731351583472 140204318296592 140204366739157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28248] ppid=28242 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28244/task/28248/stat : 28248 (java) S 28242 28242 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446033629 15508250624 10166 33554432000 4194304 4196468 140731351583472 140204317243792 140204366739157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28249] ppid=28242 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28244/task/28249/stat : 28249 (java) S 28242 28242 25933 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446033629 15508250624 10166 33554432000 4194304 4196468 140731351583472 140204316190992 140204366739157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28250] ppid=28242 vsize=15144776 memory=140588594562688 CPUtime=0 cores=1,3,5,7
/proc/28244/task/28250/stat : 28250 (java) S 28242 28242 25933 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446033630 15508250624 10166 33554432000 4194304 4196468 140731351583472 140203307019120 140204366740098 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28251] ppid=28242 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28244/task/28251/stat : 28251 (java) S 28242 28242 25933 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446033631 15508250624 10166 33554432000 4194304 4196468 140731351583472 140203305965088 140204366739157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28252] ppid=28242 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28244/task/28252/stat : 28252 (java) S 28242 28242 25933 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446033631 15508250624 10166 33554432000 4194304 4196468 140731351583472 140203304912240 140204366739157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28253] ppid=28242 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28244/task/28253/stat : 28253 (java) S 28242 28242 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446033633 15508250624 10166 33554432000 4194304 4196468 140731351583472 140203303860560 140204366747547 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28254] ppid=28242 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/28244/task/28254/stat : 28254 (java) S 28242 28242 25933 0 -1 1077944384 701 0 0 0 3 0 0 0 20 0 15 0 446033633 15508250624 10166 33554432000 4194304 4196468 140731351583472 140202860173680 140204366740098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28255] ppid=28242 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/28244/task/28255/stat : 28255 (java) S 28242 28242 25933 0 -1 1077944384 30 0 0 0 1 0 0 0 20 0 15 0 446033633 15508250624 10166 33554432000 4194304 4196468 140731351583472 140202859120880 140204366740098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28256] ppid=28242 vsize=15144776 memory=140588594562688 CPUtime=0.08 cores=1,3,5,7
/proc/28244/task/28256/stat : 28256 (java) S 28242 28242 25933 0 -1 1077944384 783 0 0 0 8 0 0 0 20 0 15 0 446033633 15508250624 10166 33554432000 4194304 4196468 140731351583472 140202858068080 140204366740098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28257] ppid=28242 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28244/task/28257/stat : 28257 (java) S 28242 28242 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446033634 15508250624 10166 33554432000 4194304 4196468 140731351583472 140202857015520 140204366739157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28258] ppid=28242 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28244/task/28258/stat : 28258 (java) S 28242 28242 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446033634 15508250624 10166 33554432000 4194304 4196468 140731351583472 140202855963824 140204366740098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42116 KiB
[startup+0.310539 s]*
/proc/loadavg: 9.14 8.70 8.16 7/233 28258
/proc/meminfo: memFree=29989464/32770624 swapFree=67000028/67108860
[pid=28242] ppid=28239 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28242/stat : 28242 (xcsp3-exec) S 28239 28242 25933 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446033628 115843072 363 33554432000 4194304 5098028 140729077181008 140729077179112 140653385540220 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 20443136 140729077183355 140729077183597 140729077183597 140729077186506 0
/proc/28242/statm: 28282 363 304 221 0 87 0
[pid=28244] ppid=28242 vsize=15149032 memory=50484 CPUtime=0.53 cores=1,3,5,7
/proc/28244/stat : 28244 (java) S 28242 28242 25933 0 -1 1077944320 10940 0 0 0 50 3 0 0 20 0 15 0 446033628 15512608768 12621 33554432000 4194304 4196468 140731351583472 140731351566016 140204366728951 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
/proc/28244/statm: 3787258 12621 3369 1 0 3748377 0
[pid=28244/tid=28245] ppid=28242 vsize=15149032 memory=8317482817917895235 CPUtime=0.29 cores=1,3,5,7
/proc/28244/task/28245/stat : 28245 (java) R 28242 28242 25933 0 -1 4202560 7832 0 0 0 27 2 0 0 20 0 15 0 446033628 15512608768 12621 33554432000 4194304 4196468 140731351583472 140204370960064 140204350809438 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28246] ppid=28242 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/28244/task/28246/stat : 28246 (java) S 28242 28242 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446033629 15512608768 12621 33554432000 4194304 4196468 140731351583472 140204319349392 140204366739157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28247] ppid=28242 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/28244/task/28247/stat : 28247 (java) S 28242 28242 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446033629 15512608768 12621 33554432000 4194304 4196468 140731351583472 140204318296592 140204366739157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28248] ppid=28242 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/28244/task/28248/stat : 28248 (java) S 28242 28242 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446033629 15512608768 12621 33554432000 4194304 4196468 140731351583472 140204317243792 140204366739157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28249] ppid=28242 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/28244/task/28249/stat : 28249 (java) S 28242 28242 25933 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446033629 15512608768 12621 33554432000 4194304 4196468 140731351583472 140204316190992 140204366739157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28250] ppid=28242 vsize=15149032 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7
/proc/28244/task/28250/stat : 28250 (java) S 28242 28242 25933 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446033630 15512608768 12621 33554432000 4194304 4196468 140731351583472 140203307019120 140204366740098 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28251] ppid=28242 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/28244/task/28251/stat : 28251 (java) S 28242 28242 25933 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446033631 15512608768 12621 33554432000 4194304 4196468 140731351583472 140203305965088 140204366739157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28252] ppid=28242 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/28244/task/28252/stat : 28252 (java) S 28242 28242 25933 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446033631 15512608768 12621 33554432000 4194304 4196468 140731351583472 140203304912240 140204366739157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28253] ppid=28242 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/28244/task/28253/stat : 28253 (java) S 28242 28242 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446033633 15512608768 12621 33554432000 4194304 4196468 140731351583472 140203303860560 140204366747547 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28254] ppid=28242 vsize=15149032 memory=7827413994055111515 CPUtime=0.06 cores=1,3,5,7
/proc/28244/task/28254/stat : 28254 (java) S 28242 28242 25933 0 -1 1077944384 803 0 0 0 6 0 0 0 20 0 15 0 446033633 15512608768 12621 33554432000 4194304 4196468 140731351583472 140202860173680 140204366740098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28255] ppid=28242 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/28244/task/28255/stat : 28255 (java) S 28242 28242 25933 0 -1 1077944384 94 0 0 0 3 0 0 0 20 0 15 0 446033633 15512608768 12621 33554432000 4194304 4196468 140731351583472 140202859120880 140204366740098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28256] ppid=28242 vsize=15149032 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/28244/task/28256/stat : 28256 (java) S 28242 28242 25933 0 -1 1077944384 907 0 0 0 13 0 0 0 20 0 15 0 446033633 15512608768 12621 33554432000 4194304 4196468 140731351583472 140202858068080 140204366740098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28257] ppid=28242 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28244/task/28257/stat : 28257 (java) S 28242 28242 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446033634 15512608768 12621 33554432000 4194304 4196468 140731351583472 140202857015520 140204366739157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28258] ppid=28242 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28244/task/28258/stat : 28258 (java) S 28242 28242 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446033634 15512608768 12621 33554432000 4194304 4196468 140731351583472 140202855963824 140204366740098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51936 KiB
[startup+0.702359 s]
/proc/loadavg: 9.14 8.70 8.16 8/233 28258
/proc/meminfo: memFree=29963324/32770624 swapFree=67000028/67108860
[pid=28242] ppid=28239 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28242/stat : 28242 (xcsp3-exec) S 28239 28242 25933 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446033628 115843072 363 33554432000 4194304 5098028 140729077181008 140729077179112 140653385540220 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 20443136 140729077183355 140729077183597 140729077183597 140729077186506 0
/proc/28242/statm: 28282 363 304 221 0 87 0
[pid=28244] ppid=28242 vsize=15151156 memory=115296 CPUtime=1.71 cores=1,3,5,7
/proc/28244/stat : 28244 (java) S 28242 28242 25933 0 -1 1077944320 14815 0 0 0 166 5 0 0 20 0 15 0 446033628 15514783744 28824 33554432000 4194304 4196468 140731351583472 140731351566016 140204366728951 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
/proc/28244/statm: 3787789 28824 3445 1 0 3748889 0
[pid=28244/tid=28245] ppid=28242 vsize=15151156 memory=-3704326594973231466 CPUtime=0.67 cores=1,3,5,7
/proc/28244/task/28245/stat : 28245 (java) R 28242 28242 25933 0 -1 4202560 9129 0 0 0 64 3 0 0 20 0 15 0 446033628 15514783744 28824 33554432000 4194304 4196468 140731351583472 140204370963760 140203989760065 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28246] ppid=28242 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28244/task/28246/stat : 28246 (java) S 28242 28242 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446033629 15514783744 28824 33554432000 4194304 4196468 140731351583472 140204319349392 140204366739157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28247] ppid=28242 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28244/task/28247/stat : 28247 (java) S 28242 28242 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446033629 15514783744 28824 33554432000 4194304 4196468 140731351583472 140204318296592 140204366739157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28248] ppid=28242 vsize=15151156 memory=772 CPUtime=0 cores=1,3,5,7
/proc/28244/task/28248/stat : 28248 (java) S 28242 28242 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446033629 15514783744 28824 33554432000 4194304 4196468 140731351583472 140204317243792 140204366739157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28249] ppid=28242 vsize=15151156 memory=4168 CPUtime=0 cores=1,3,5,7
/proc/28244/task/28249/stat : 28249 (java) S 28242 28242 25933 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446033629 15514783744 28824 33554432000 4194304 4196468 140731351583472 140204316190992 140204366739157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28250] ppid=28242 vsize=15151156 memory=948 CPUtime=0 cores=1,3,5,7
/proc/28244/task/28250/stat : 28250 (java) S 28242 28242 25933 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446033630 15514783744 28824 33554432000 4194304 4196468 140731351583472 140203307019120 140204366740098 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28251] ppid=28242 vsize=15151156 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/28244/task/28251/stat : 28251 (java) S 28242 28242 25933 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446033631 15514783744 28824 33554432000 4194304 4196468 140731351583472 140203305965088 140204366739157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28252] ppid=28242 vsize=15151156 memory=9492 CPUtime=0 cores=1,3,5,7
/proc/28244/task/28252/stat : 28252 (java) S 28242 28242 25933 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446033631 15514783744 28824 33554432000 4194304 4196468 140731351583472 140203304912240 140204366739157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28253] ppid=28242 vsize=15151156 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/28244/task/28253/stat : 28253 (java) S 28242 28242 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446033633 15514783744 28824 33554432000 4194304 4196468 140731351583472 140203303860560 140204366747547 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28254] ppid=28242 vsize=15151156 memory=628 CPUtime=0.35 cores=1,3,5,7
/proc/28244/task/28254/stat : 28254 (java) R 28242 28242 25933 0 -1 4202560 1548 0 0 0 35 0 0 0 20 0 15 0 446033633 15514783744 28824 33554432000 4194304 4196468 140731351583472 140202860163472 140204348272243 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28255] ppid=28242 vsize=15151156 memory=1056 CPUtime=0.33 cores=1,3,5,7
/proc/28244/task/28255/stat : 28255 (java) R 28242 28242 25933 0 -1 4202560 1137 0 0 0 33 0 0 0 20 0 15 0 446033633 15514783744 28824 33554432000 4194304 4196468 140731351583472 140202859107728 140204350054397 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28256] ppid=28242 vsize=15151156 memory=1724 CPUtime=0.33 cores=1,3,5,7
/proc/28244/task/28256/stat : 28256 (java) R 28242 28242 25933 0 -1 1077944384 1695 0 0 0 33 0 0 0 20 0 15 0 446033633 15514783744 28824 33554432000 4194304 4196468 140731351583472 140202858063120 140204366739157 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28257] ppid=28242 vsize=15151156 memory=6056 CPUtime=0 cores=1,3,5,7
/proc/28244/task/28257/stat : 28257 (java) S 28242 28242 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446033634 15514783744 28824 33554432000 4194304 4196468 140731351583472 140202857015520 140204366739157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28258] ppid=28242 vsize=15151156 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/28244/task/28258/stat : 28258 (java) S 28242 28242 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446033634 15514783744 28824 33554432000 4194304 4196468 140731351583472 140202855963824 140204366740098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
Current children cumulated CPU time: 1.71 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 116748 KiB
[startup+1.50076 s]
/proc/loadavg: 9.05 8.69 8.16 6/233 28258
/proc/meminfo: memFree=29835704/32770624 swapFree=67000028/67108860
[pid=28242] ppid=28239 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28242/stat : 28242 (xcsp3-exec) S 28239 28242 25933 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446033628 115843072 363 33554432000 4194304 5098028 140729077181008 140729077179112 140653385540220 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 20443136 140729077183355 140729077183597 140729077183597 140729077186506 0
/proc/28242/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/28244/task/28258/stat : 28258 (java) S 28242 28242 25933 0 -1 1077944384 770 0 0 0 0 1 0 0 20 0 19 0 446033634 16062173184 87423 33554432000 4194304 4196468 140731351583472 140202855963824 140204366740098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28317] ppid=28242 vsize=15685716 memory=984 CPUtime=24.42 cores=1,3,5,7
/proc/28244/task/28317/stat : 28317 (java) R 28242 28242 25933 0 -1 4202560 674 0 0 0 2442 0 0 0 20 0 19 0 446034704 16062173184 87423 33554432000 4194304 4196468 140731351583472 140202837515624 140203996171399 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28318] ppid=28242 vsize=15685716 memory=2024 CPUtime=24.02 cores=1,3,5,7
/proc/28244/task/28318/stat : 28318 (java) R 28242 28242 25933 0 -1 4202560 1468 0 0 0 2402 0 0 0 20 0 19 0 446034704 16062173184 87423 33554432000 4194304 4196468 140731351583472 140202844887240 140203996171283 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28319] ppid=28242 vsize=15685716 memory=1380 CPUtime=24.22 cores=1,3,5,7
/proc/28244/task/28319/stat : 28319 (java) R 28242 28242 25933 0 -1 4202560 1398 0 0 0 2422 0 0 0 20 0 19 0 446034704 16062173184 87423 33554432000 4194304 4196468 140731351583472 140202840674888 140203996171219 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28320] ppid=28242 vsize=15685716 memory=1128 CPUtime=24.19 cores=1,3,5,7
/proc/28244/task/28320/stat : 28320 (java) R 28242 28242 25933 0 -1 4202560 872 0 0 0 2419 0 0 0 20 0 19 0 446034704 16062173184 87423 33554432000 4194304 4196468 140731351583472 140202838571368 140203996171399 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
Current children cumulated CPU time: 137.86 s
Current children cumulated vsize: 15798844 KiB
Current children cumulated memory: 351144 KiB
[startup+36.8013 s]
/proc/loadavg: 8.98 8.71 8.18 9/237 28321
/proc/meminfo: memFree=29682296/32770624 swapFree=67000028/67108860
[pid=28242] ppid=28239 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28242/stat : 28242 (xcsp3-exec) S 28239 28242 25933 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446033628 115843072 363 33554432000 4194304 5098028 140729077181008 140729077179112 140653385540220 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 20443136 140729077183355 140729077183597 140729077183597 140729077186506 0
/proc/28242/statm: 28282 363 304 221 0 87 0
[pid=28244] ppid=28242 vsize=15685716 memory=353824 CPUtime=144.23 cores=1,3,5,7
/proc/28244/stat : 28244 (java) S 28242 28242 25933 0 -1 1077944320 45840 0 0 0 14404 19 0 0 20 0 19 0 446033628 16062173184 88456 33554432000 4194304 4196468 140731351583472 140731351566016 140204366728951 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
/proc/28244/statm: 3921429 88456 3528 1 0 3882529 0
[pid=28244/tid=28245] ppid=28242 vsize=15685716 memory=12024 CPUtime=1.32 cores=1,3,5,7
/proc/28244/task/28245/stat : 28245 (java) S 28242 28242 25933 0 -1 1077944384 9620 0 0 0 128 4 0 0 20 0 19 0 446033628 16062173184 88456 33554432000 4194304 4196468 140731351583472 140204370969728 140204366739157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28246] ppid=28242 vsize=15685716 memory=6791534058613427641 CPUtime=0.02 cores=1,3,5,7
/proc/28244/task/28246/stat : 28246 (java) S 28242 28242 25933 0 -1 1077944384 107 0 0 0 1 1 0 0 20 0 19 0 446033629 16062173184 88456 33554432000 4194304 4196468 140731351583472 140204319349392 140204366739157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28247] ppid=28242 vsize=15685716 memory=1452 CPUtime=0.02 cores=1,3,5,7
/proc/28244/task/28247/stat : 28247 (java) S 28242 28242 25933 0 -1 1077944384 93 0 0 0 1 1 0 0 20 0 19 0 446033629 16062173184 88456 33554432000 4194304 4196468 140731351583472 140204318296592 140204366739157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28248] ppid=28242 vsize=15685716 memory=347644 CPUtime=0.02 cores=1,3,5,7
/proc/28244/task/28248/stat : 28248 (java) S 28242 28242 25933 0 -1 1077944384 71 0 0 0 1 1 0 0 20 0 19 0 446033629 16062173184 88456 33554432000 4194304 4196468 140731351583472 140204317243792 140204366739157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28249] ppid=28242 vsize=15685716 memory=1056 CPUtime=0.02 cores=1,3,5,7
/proc/28244/task/28249/stat : 28249 (java) S 28242 28242 25933 0 -1 1077944384 112 0 0 0 1 1 0 0 20 0 19 0 446033629 16062173184 88456 33554432000 4194304 4196468 140731351583472 140204316190992 140204366739157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28250] ppid=28242 vsize=15685716 memory=111632 CPUtime=0.02 cores=1,3,5,7
/proc/28244/task/28250/stat : 28250 (java) S 28242 28242 25933 0 -1 1077944384 359 0 0 0 1 1 0 0 20 0 19 0 446033630 16062173184 88456 33554432000 4194304 4196468 140731351583472 140203307019120 140204366740098 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28251] ppid=28242 vsize=15685716 memory=800 CPUtime=0 cores=1,3,5,7
/proc/28244/task/28251/stat : 28251 (java) S 28242 28242 25933 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 19 0 446033631 16062173184 88456 33554432000 4194304 4196468 140731351583472 140203305965152 140204366739157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28252] ppid=28242 vsize=15685716 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/28244/task/28252/stat : 28252 (java) S 28242 28242 25933 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 446033631 16062173184 88456 33554432000 4194304 4196468 140731351583472 140203304912256 140204366739157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28253] ppid=28242 vsize=15685716 memory=1804 CPUtime=0 cores=1,3,5,7
/proc/28244/task/28253/stat : 28253 (java) S 28242 28242 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446033633 16062173184 88456 33554432000 4194304 4196468 140731351583472 140203303860560 140204366747547 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28254] ppid=28242 vsize=15685716 memory=916 CPUtime=3.22 cores=1,3,5,7
/proc/28244/task/28254/stat : 28254 (java) S 28242 28242 25933 0 -1 1077944384 10678 0 0 0 320 2 0 0 20 0 19 0 446033633 16062173184 88456 33554432000 4194304 4196468 140731351583472 140202860173680 140204366740098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28255] ppid=28242 vsize=15685716 memory=1452 CPUtime=2.92 cores=1,3,5,7
/proc/28244/task/28255/stat : 28255 (java) S 28242 28242 25933 0 -1 1077944384 8531 0 0 0 292 0 0 0 20 0 19 0 446033633 16062173184 88456 33554432000 4194304 4196468 140731351583472 140202859120880 140204366740098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28256] ppid=28242 vsize=15685716 memory=984 CPUtime=0.92 cores=1,3,5,7
/proc/28244/task/28256/stat : 28256 (java) S 28242 28242 25933 0 -1 1077944384 6990 0 0 0 91 1 0 0 20 0 19 0 446033633 16062173184 88456 33554432000 4194304 4196468 140731351583472 140202858068080 140204366740098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28257] ppid=28242 vsize=15685716 memory=2024 CPUtime=0 cores=1,3,5,7
/proc/28244/task/28257/stat : 28257 (java) S 28242 28242 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446033634 16062173184 88456 33554432000 4194304 4196468 140731351583472 140202857015520 140204366739157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28258] ppid=28242 vsize=15685716 memory=1380 CPUtime=0.01 cores=1,3,5,7
/proc/28244/task/28258/stat : 28258 (java) S 28242 28242 25933 0 -1 1077944384 772 0 0 0 0 1 0 0 20 0 19 0 446033634 16062173184 88456 33554432000 4194304 4196468 140731351583472 140202855963824 140204366740098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28317] ppid=28242 vsize=15685716 memory=1128 CPUtime=26.02 cores=1,3,5,7
/proc/28244/task/28317/stat : 28317 (java) R 28242 28242 25933 0 -1 4202560 676 0 0 0 2602 0 0 0 20 0 19 0 446034704 16062173184 88456 33554432000 4194304 4196468 140731351583472 140202837515624 140203996171376 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28318] ppid=28242 vsize=15685716 memory=1452 CPUtime=25.6 cores=1,3,5,7
/proc/28244/task/28318/stat : 28318 (java) R 28242 28242 25933 0 -1 4202560 1498 0 0 0 2560 0 0 0 20 0 19 0 446034704 16062173184 88456 33554432000 4194304 4196468 140731351583472 140202844887240 140203996171399 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28319] ppid=28242 vsize=15685716 memory=351756 CPUtime=25.82 cores=1,3,5,7
/proc/28244/task/28319/stat : 28319 (java) R 28242 28242 25933 0 -1 4202560 1406 0 0 0 2582 0 0 0 20 0 19 0 446034704 16062173184 88456 33554432000 4194304 4196468 140731351583472 140202840674968 140203996171429 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28320] ppid=28242 vsize=15685716 memory=1548 CPUtime=25.74 cores=1,3,5,7
/proc/28244/task/28320/stat : 28320 (java) R 28242 28242 25933 0 -1 4202560 874 0 0 0 2574 0 0 0 20 0 19 0 446034704 16062173184 88456 33554432000 4194304 4196468 140731351583472 140202838571208 140203996171417 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
Current children cumulated CPU time: 144.23 s
Current children cumulated vsize: 15798844 KiB
Current children cumulated memory: 355276 KiB
[startup+37.6013 s]
/proc/loadavg: 8.98 8.71 8.18 9/237 28321
/proc/meminfo: memFree=29680248/32770624 swapFree=67000028/67108860
[pid=28242] ppid=28239 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28242/stat : 28242 (xcsp3-exec) S 28239 28242 25933 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446033628 115843072 363 33554432000 4194304 5098028 140729077181008 140729077179112 140653385540220 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 20443136 140729077183355 140729077183597 140729077183597 140729077186506 0
/proc/28242/statm: 28282 363 304 221 0 87 0
[pid=28244] ppid=28242 vsize=15685716 memory=355872 CPUtime=147.42 cores=1,3,5,7
/proc/28244/stat : 28244 (java) S 28242 28242 25933 0 -1 1077944320 45842 0 0 0 14723 19 0 0 20 0 19 0 446033628 16062173184 88968 33554432000 4194304 4196468 140731351583472 140731351566016 140204366728951 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
/proc/28244/statm: 3921429 88968 3528 1 0 3882529 0
[pid=28244/tid=28245] ppid=28242 vsize=15685716 memory=1452 CPUtime=1.32 cores=1,3,5,7
/proc/28244/task/28245/stat : 28245 (java) S 28242 28242 25933 0 -1 1077944384 9620 0 0 0 128 4 0 0 20 0 19 0 446033628 16062173184 88968 33554432000 4194304 4196468 140731351583472 140204370969728 140204366739157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28246] ppid=28242 vsize=15685716 memory=6791534058613427641 CPUtime=0.02 cores=1,3,5,7
/proc/28244/task/28246/stat : 28246 (java) S 28242 28242 25933 0 -1 1077944384 107 0 0 0 1 1 0 0 20 0 19 0 446033629 16062173184 88968 33554432000 4194304 4196468 140731351583472 140204319349392 140204366739157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28247] ppid=28242 vsize=15685716 memory=1412 CPUtime=0.02 cores=1,3,5,7
/proc/28244/task/28247/stat : 28247 (java) S 28242 28242 25933 0 -1 1077944384 93 0 0 0 1 1 0 0 20 0 19 0 446033629 16062173184 88968 33554432000 4194304 4196468 140731351583472 140204318296592 140204366739157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28248] ppid=28242 vsize=15685716 memory=2980 CPUtime=0.02 cores=1,3,5,7
/proc/28244/task/28248/stat : 28248 (java) S 28242 28242 25933 0 -1 1077944384 71 0 0 0 1 1 0 0 20 0 19 0 446033629 16062173184 88968 33554432000 4194304 4196468 140731351583472 140204317243792 140204366739157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28249] ppid=28242 vsize=15685716 memory=1452 CPUtime=0.02 cores=1,3,5,7
/proc/28244/task/28249/stat : 28249 (java) S 28242 28242 25933 0 -1 1077944384 112 0 0 0 1 1 0 0 20 0 19 0 446033629 16062173184 88968 33554432000 4194304 4196468 140731351583472 140204316190992 140204366739157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28250] ppid=28242 vsize=15685716 memory=349692 CPUtime=0.02 cores=1,3,5,7
/proc/28244/task/28250/stat : 28250 (java) S 28242 28242 25933 0 -1 1077944384 359 0 0 0 1 1 0 0 20 0 19 0 446033630 16062173184 88968 33554432000 4194304 4196468 140731351583472 140203307019120 140204366740098 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28251] ppid=28242 vsize=15685716 memory=2024 CPUtime=0 cores=1,3,5,7
/proc/28244/task/28251/stat : 28251 (java) S 28242 28242 25933 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 19 0 446033631 16062173184 88968 33554432000 4194304 4196468 140731351583472 140203305965152 140204366739157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28252] ppid=28242 vsize=15685716 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28244/task/28252/stat : 28252 (java) S 28242 28242 25933 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 446033631 16062173184 88968 33554432000 4194304 4196468 140731351583472 140203304912256 140204366739157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28253] ppid=28242 vsize=15685716 memory=1128 CPUtime=0 cores=1,3,5,7
/proc/28244/task/28253/stat : 28253 (java) S 28242 28242 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446033633 16062173184 88968 33554432000 4194304 4196468 140731351583472 140203303860560 140204366747547 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28254] ppid=28242 vsize=15685716 memory=772 CPUtime=3.22 cores=1,3,5,7
/proc/28244/task/28254/stat : 28254 (java) S 28242 28242 25933 0 -1 1077944384 10678 0 0 0 320 2 0 0 20 0 19 0 446033633 16062173184 88968 33554432000 4194304 4196468 140731351583472 140202860173680 140204366740098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28255] ppid=28242 vsize=15685716 memory=4168 CPUtime=2.92 cores=1,3,5,7
/proc/28244/task/28255/stat : 28255 (java) S 28242 28242 25933 0 -1 1077944384 8531 0 0 0 292 0 0 0 20 0 19 0 446033633 16062173184 88968 33554432000 4194304 4196468 140731351583472 140202859120880 140204366740098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28256] ppid=28242 vsize=15685716 memory=948 CPUtime=0.92 cores=1,3,5,7
/proc/28244/task/28256/stat : 28256 (java) S 28242 28242 25933 0 -1 1077944384 6990 0 0 0 91 1 0 0 20 0 19 0 446033633 16062173184 88968 33554432000 4194304 4196468 140731351583472 140202858068080 140204366740098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28257] ppid=28242 vsize=15685716 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/28244/task/28257/stat : 28257 (java) S 28242 28242 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446033634 16062173184 88968 33554432000 4194304 4196468 140731351583472 140202857015520 140204366739157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28258] ppid=28242 vsize=15685716 memory=9492 CPUtime=0.01 cores=1,3,5,7
/proc/28244/task/28258/stat : 28258 (java) S 28242 28242 25933 0 -1 1077944384 772 0 0 0 0 1 0 0 20 0 19 0 446033634 16062173184 88968 33554432000 4194304 4196468 140731351583472 140202855963824 140204366740098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28317] ppid=28242 vsize=15685716 memory=1548 CPUtime=26.82 cores=1,3,5,7
/proc/28244/task/28317/stat : 28317 (java) R 28242 28242 25933 0 -1 4202560 676 0 0 0 2682 0 0 0 20 0 19 0 446034704 16062173184 88968 33554432000 4194304 4196468 140731351583472 140202837515624 140203996171241 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28318] ppid=28242 vsize=15685716 memory=628 CPUtime=26.38 cores=1,3,5,7
/proc/28244/task/28318/stat : 28318 (java) R 28242 28242 25933 0 -1 4202560 1500 0 0 0 2638 0 0 0 20 0 19 0 446034704 16062173184 88968 33554432000 4194304 4196468 140731351583472 140202844887240 140203996171399 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28319] ppid=28242 vsize=15685716 memory=1056 CPUtime=26.62 cores=1,3,5,7
/proc/28244/task/28319/stat : 28319 (java) R 28242 28242 25933 0 -1 4202560 1406 0 0 0 2662 0 0 0 20 0 19 0 446034704 16062173184 88968 33554432000 4194304 4196468 140731351583472 140202840674968 140203996172283 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28320] ppid=28242 vsize=15685716 memory=1724 CPUtime=26.54 cores=1,3,5,7
/proc/28244/task/28320/stat : 28320 (java) R 28242 28242 25933 0 -1 4202560 874 0 0 0 2654 0 0 0 20 0 19 0 446034704 16062173184 88968 33554432000 4194304 4196468 140731351583472 140202838571208 140203996171399 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
Current children cumulated CPU time: 147.42 s
Current children cumulated vsize: 15798844 KiB
Current children cumulated memory: 357324 KiB
[startup+37.8013 s]
/proc/loadavg: 8.98 8.71 8.18 9/237 28321
/proc/meminfo: memFree=29680248/32770624 swapFree=67000028/67108860
[pid=28242] ppid=28239 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28242/stat : 28242 (xcsp3-exec) S 28239 28242 25933 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446033628 115843072 363 33554432000 4194304 5098028 140729077181008 140729077179112 140653385540220 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 20443136 140729077183355 140729077183597 140729077183597 140729077186506 0
/proc/28242/statm: 28282 363 304 221 0 87 0
[pid=28244] ppid=28242 vsize=15685716 memory=355872 CPUtime=148.22 cores=1,3,5,7
/proc/28244/stat : 28244 (java) S 28242 28242 25933 0 -1 1077944320 45843 0 0 0 14803 19 0 0 20 0 19 0 446033628 16062173184 88968 33554432000 4194304 4196468 140731351583472 140731351566016 140204366728951 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
/proc/28244/statm: 3921429 88968 3528 1 0 3882529 0
[pid=28244/tid=28245] ppid=28242 vsize=15685716 memory=6791534058613427641 CPUtime=1.32 cores=1,3,5,7
/proc/28244/task/28245/stat : 28245 (java) S 28242 28242 25933 0 -1 1077944384 9620 0 0 0 128 4 0 0 20 0 19 0 446033628 16062173184 88968 33554432000 4194304 4196468 140731351583472 140204370969728 140204366739157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28246] ppid=28242 vsize=15685716 memory=351776 CPUtime=0.02 cores=1,3,5,7
/proc/28244/task/28246/stat : 28246 (java) S 28242 28242 25933 0 -1 1077944384 107 0 0 0 1 1 0 0 20 0 19 0 446033629 16062173184 88968 33554432000 4194304 4196468 140731351583472 140204319349392 140204366739157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28247] ppid=28242 vsize=15685716 memory=948 CPUtime=0.02 cores=1,3,5,7
/proc/28244/task/28247/stat : 28247 (java) S 28242 28242 25933 0 -1 1077944384 93 0 0 0 1 1 0 0 20 0 19 0 446033629 16062173184 88968 33554432000 4194304 4196468 140731351583472 140204318296592 140204366739157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28248] ppid=28242 vsize=15685716 memory=2832 CPUtime=0.02 cores=1,3,5,7
/proc/28244/task/28248/stat : 28248 (java) S 28242 28242 25933 0 -1 1077944384 71 0 0 0 1 1 0 0 20 0 19 0 446033629 16062173184 88968 33554432000 4194304 4196468 140731351583472 140204317243792 140204366739157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28249] ppid=28242 vsize=15685716 memory=9492 CPUtime=0.02 cores=1,3,5,7
/proc/28244/task/28249/stat : 28249 (java) S 28242 28242 25933 0 -1 1077944384 112 0 0 0 1 1 0 0 20 0 19 0 446033629 16062173184 88968 33554432000 4194304 4196468 140731351583472 140204316190992 140204366739157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28250] ppid=28242 vsize=15685716 memory=1548 CPUtime=0.02 cores=1,3,5,7
/proc/28244/task/28250/stat : 28250 (java) S 28242 28242 25933 0 -1 1077944384 359 0 0 0 1 1 0 0 20 0 19 0 446033630 16062173184 88968 33554432000 4194304 4196468 140731351583472 140203307019120 140204366740098 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28251] ppid=28242 vsize=15685716 memory=628 CPUtime=0 cores=1,3,5,7
/proc/28244/task/28251/stat : 28251 (java) S 28242 28242 25933 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 19 0 446033631 16062173184 88968 33554432000 4194304 4196468 140731351583472 140203305965152 140204366739157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28252] ppid=28242 vsize=15685716 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/28244/task/28252/stat : 28252 (java) S 28242 28242 25933 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 446033631 16062173184 88968 33554432000 4194304 4196468 140731351583472 140203304912256 140204366739157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28253] ppid=28242 vsize=15685716 memory=1724 CPUtime=0 cores=1,3,5,7
/proc/28244/task/28253/stat : 28253 (java) S 28242 28242 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446033633 16062173184 88968 33554432000 4194304 4196468 140731351583472 140203303860560 140204366747547 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28254] ppid=28242 vsize=15685716 memory=349692 CPUtime=3.22 cores=1,3,5,7
/proc/28244/task/28254/stat : 28254 (java) S 28242 28242 25933 0 -1 1077944384 10678 0 0 0 320 2 0 0 20 0 19 0 446033633 16062173184 88968 33554432000 4194304 4196468 140731351583472 140202860173680 140204366740098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28255] ppid=28242 vsize=15685716 memory=6056 CPUtime=2.92 cores=1,3,5,7
/proc/28244/task/28255/stat : 28255 (java) S 28242 28242 25933 0 -1 1077944384 8531 0 0 0 292 0 0 0 20 0 19 0 446033633 16062173184 88968 33554432000 4194304 4196468 140731351583472 140202859120880 140204366740098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28256] ppid=28242 vsize=15685716 memory=14012 CPUtime=0.92 cores=1,3,5,7
/proc/28244/task/28256/stat : 28256 (java) S 28242 28242 25933 0 -1 1077944384 6990 0 0 0 91 1 0 0 20 0 19 0 446033633 16062173184 88968 33554432000 4194304 4196468 140731351583472 140202858068080 140204366740098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28257] ppid=28242 vsize=15685716 memory=2116 CPUtime=0 cores=1,3,5,7
/proc/28244/task/28257/stat : 28257 (java) S 28242 28242 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446033634 16062173184 88968 33554432000 4194304 4196468 140731351583472 140202857015520 140204366739157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28258] ppid=28242 vsize=15685716 memory=14512 CPUtime=0.01 cores=1,3,5,7
/proc/28244/task/28258/stat : 28258 (java) S 28242 28242 25933 0 -1 1077944384 772 0 0 0 0 1 0 0 20 0 19 0 446033634 16062173184 88968 33554432000 4194304 4196468 140731351583472 140202855963824 140204366740098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28317] ppid=28242 vsize=15685716 memory=12024 CPUtime=27.02 cores=1,3,5,7
/proc/28244/task/28317/stat : 28317 (java) R 28242 28242 25933 0 -1 4202560 676 0 0 0 2702 0 0 0 20 0 19 0 446034704 16062173184 88968 33554432000 4194304 4196468 140731351583472 140202837515624 140203996171274 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28318] ppid=28242 vsize=15685716 memory=1556 CPUtime=26.58 cores=1,3,5,7
/proc/28244/task/28318/stat : 28318 (java) R 28242 28242 25933 0 -1 4202560 1500 0 0 0 2658 0 0 0 20 0 19 0 446034704 16062173184 88968 33554432000 4194304 4196468 140731351583472 140202844887240 140203996171507 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28319] ppid=28242 vsize=15685716 memory=500 CPUtime=26.82 cores=1,3,5,7
/proc/28244/task/28319/stat : 28319 (java) R 28242 28242 25933 0 -1 4202560 1406 0 0 0 2682 0 0 0 20 0 19 0 446034704 16062173184 88968 33554432000 4194304 4196468 140731351583472 140202840674968 140203996959827 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
[pid=28244/tid=28320] ppid=28242 vsize=15685716 memory=928 CPUtime=26.74 cores=1,3,5,7
/proc/28244/task/28320/stat : 28320 (java) R 28242 28242 25933 0 -1 4202560 875 0 0 0 2674 0 0 0 20 0 19 0 446034704 16062173184 88968 33554432000 4194304 4196468 140731351583472 140202838571208 140203996171417 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19550208 140731351585775 140731351585946 140731351585946 140731351588815 0
Current children cumulated CPU time: 148.22 s
Current children cumulated vsize: 15798844 KiB
Current children cumulated memory: 357324 KiB
Child status: 0
Real time (s): 37.8572
CPU time (s): 148.427
CPU user time (s): 148.221
CPU system time (s): 0.205864
CPU usage (%): 392.07
Max. virtual memory (cumulated for all children) (KiB): 15798844
Max. memory (cumulated for all children) (KiB): 357324
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 148.221
system time used= 0.205864
maximum resident set size= 356308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47268
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4600
involuntary context switches= 2728
# summary of solver processes directly reported to runsolver:
# pid: 28242
# total CPU time (s): 148.427
# total CPU user time (s): 148.221
# total CPU system time (s): 0.205864
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.281174 second user time and 0.464896 second system time
The end