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 (5576 MiB free)
memory of node 1: 16384 MiB (7008 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306967-1534104069/watcher-4306967-1534104069 -o /tmp/evaluation-result-4306967-1534104069/solver-4306967-1534104069 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534096142-24483 --watchdog 2580 HOME/xcsp3-exec -seed 1468078315 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306967-1534104069.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
Starting watchdog thread
solver pid=26239, runsolver pid=26236
Current StackSize limit: 8192 KiB
[startup+0.100091 s]*
/proc/loadavg: 1.68 1.53 1.51 3/219 26255
/proc/meminfo: memFree=12869308/32770624 swapFree=67108860/67108860
[pid=26239] ppid=26236 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/26239/stat : 26239 (xcsp3-exec) S 26236 26239 24451 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227970055 115843072 364 33554432000 4194304 5098028 140734352987344 140734352985448 139867162047100 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27877376 140734352995386 140734352995588 140734352995588 140734352998346 0
/proc/26239/statm: 28282 364 306 221 0 87 0
[pid=26241] ppid=26239 vsize=14082940 memory=28592 CPUtime=0.12 cores=1,3,5,7
/proc/26241/stat : 26241 (java) S 26239 26239 24451 0 -1 1077944320 5488 0 0 0 11 1 0 0 20 0 15 0 227970056 14420930560 7148 33554432000 4194304 4196468 140724694957056 140724694939600 139741174492919 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
/proc/26241/statm: 3520735 7148 3029 1 0 3483012 0
[pid=26241/tid=26242] ppid=26239 vsize=14082940 memory=-6962121287837372198 CPUtime=0.08 cores=1,3,5,7
/proc/26241/task/26242/stat : 26242 (java) R 26239 26239 24451 0 -1 4202560 3505 0 0 0 8 0 0 0 20 0 15 0 227970056 14420930560 7148 33554432000 4194304 4196468 140724694957056 139741178726192 139741174504854 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26243] ppid=26239 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26243/stat : 26243 (java) S 26239 26239 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227970057 14420930560 7148 33554432000 4194304 4196468 140724694957056 139741127113744 139741174503125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26244] ppid=26239 vsize=14082940 memory=140691867166336 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26244/stat : 26244 (java) S 26239 26239 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227970057 14420930560 7148 33554432000 4194304 4196468 140724694957056 139741126061200 139741174503125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26245] ppid=26239 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26245/stat : 26245 (java) S 26239 26239 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227970057 14420930560 7148 33554432000 4194304 4196468 140724694957056 139741125008144 139741174503125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26246] ppid=26239 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26246/stat : 26246 (java) S 26239 26239 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227970057 14420930560 7148 33554432000 4194304 4196468 140724694957056 139740766727056 139741174503125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26247] ppid=26239 vsize=14082940 memory=140691867166336 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26247/stat : 26247 (java) S 26239 26239 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227970058 14420930560 7148 33554432000 4194304 4196468 140724694957056 139740287842544 139741174504066 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26248] ppid=26239 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26248/stat : 26248 (java) S 26239 26239 24451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227970059 14420930560 7148 33554432000 4194304 4196468 140724694957056 139740286788768 139741174503125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26249] ppid=26239 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26249/stat : 26249 (java) S 26239 26239 24451 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227970059 14420930560 7148 33554432000 4194304 4196468 140724694957056 139740285735664 139741174503125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26250] ppid=26239 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26250/stat : 26250 (java) S 26239 26239 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227970061 14420930560 7148 33554432000 4194304 4196468 140724694957056 139740284684240 139741174511515 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26251] ppid=26239 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26251/stat : 26251 (java) S 26239 26239 24451 0 -1 1077944384 425 0 0 0 0 0 0 0 20 0 15 0 227970061 14420930560 7148 33554432000 4194304 4196468 140724694957056 139740283632368 139741174504066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26252] ppid=26239 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26252/stat : 26252 (java) S 26239 26239 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227970061 14420930560 7148 33554432000 4194304 4196468 140724694957056 139740282579824 139741174504066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26253] ppid=26239 vsize=14082940 memory=140691867166336 CPUtime=0.01 cores=1,3,5,7
/proc/26241/task/26253/stat : 26253 (java) R 26239 26239 24451 0 -1 4202560 257 0 0 0 1 0 0 0 20 0 15 0 227970061 14420930560 7148 33554432000 4194304 4196468 140724694957056 139740281526768 139741158573406 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26254] ppid=26239 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26254/stat : 26254 (java) S 26239 26239 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227970061 14420930560 7148 33554432000 4194304 4196468 140724694957056 139740280474464 139741174503125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26255] ppid=26239 vsize=14082940 memory=140691867166336 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26255/stat : 26255 (java) S 26239 26239 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227970061 14420930560 7148 33554432000 4194304 4196468 140724694957056 139740279421488 139741174504066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30048 KiB
[startup+0.21077 s]*
/proc/loadavg: 1.68 1.53 1.51 5/219 26255
/proc/meminfo: memFree=12856904/32770624 swapFree=67108860/67108860
[pid=26239] ppid=26236 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/26239/stat : 26239 (xcsp3-exec) S 26236 26239 24451 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227970055 115843072 364 33554432000 4194304 5098028 140734352987344 140734352985448 139867162047100 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27877376 140734352995386 140734352995588 140734352995588 140734352998346 0
/proc/26239/statm: 28282 364 306 221 0 87 0
[pid=26241] ppid=26239 vsize=14082940 memory=41100 CPUtime=0.34 cores=1,3,5,7
/proc/26241/stat : 26241 (java) S 26239 26239 24451 0 -1 1077944320 8322 0 0 0 32 2 0 0 20 0 15 0 227970056 14420930560 10275 33554432000 4194304 4196468 140724694957056 140724694939600 139741174492919 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
/proc/26241/statm: 3520735 10275 3200 1 0 3483012 0
[pid=26241/tid=26242] ppid=26239 vsize=14082940 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/26241/task/26242/stat : 26242 (java) R 26239 26239 24451 0 -1 4202560 5405 0 0 0 18 1 0 0 20 0 15 0 227970056 14420930560 10275 33554432000 4194304 4196468 140724694957056 139741178727904 139741158573406 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26243] ppid=26239 vsize=14082940 memory=12591 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26243/stat : 26243 (java) S 26239 26239 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227970057 14420930560 10275 33554432000 4194304 4196468 140724694957056 139741127113744 139741174503125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26244] ppid=26239 vsize=14082940 memory=140691868387039 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26244/stat : 26244 (java) S 26239 26239 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227970057 14420930560 10275 33554432000 4194304 4196468 140724694957056 139741126061200 139741174503125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26245] ppid=26239 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26245/stat : 26245 (java) S 26239 26239 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227970057 14420930560 10275 33554432000 4194304 4196468 140724694957056 139741125008144 139741174503125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26246] ppid=26239 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26246/stat : 26246 (java) S 26239 26239 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227970057 14420930560 10275 33554432000 4194304 4196468 140724694957056 139740766727056 139741174503125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26247] ppid=26239 vsize=14082940 memory=140691867166336 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26247/stat : 26247 (java) S 26239 26239 24451 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 227970058 14420930560 10275 33554432000 4194304 4196468 140724694957056 139740287842544 139741174504066 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26248] ppid=26239 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26248/stat : 26248 (java) S 26239 26239 24451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227970059 14420930560 10275 33554432000 4194304 4196468 140724694957056 139740286788768 139741174503125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26249] ppid=26239 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26249/stat : 26249 (java) S 26239 26239 24451 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227970059 14420930560 10275 33554432000 4194304 4196468 140724694957056 139740285735664 139741174503125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26250] ppid=26239 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26250/stat : 26250 (java) S 26239 26239 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227970061 14420930560 10275 33554432000 4194304 4196468 140724694957056 139740284684240 139741174511515 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26251] ppid=26239 vsize=14082940 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/26241/task/26251/stat : 26251 (java) S 26239 26239 24451 0 -1 1077944384 703 0 0 0 2 0 0 0 20 0 15 0 227970061 14420930560 10275 33554432000 4194304 4196468 140724694957056 139740283632368 139741174504066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26252] ppid=26239 vsize=14082940 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/26241/task/26252/stat : 26252 (java) S 26239 26239 24451 0 -1 1077944384 163 0 0 0 2 0 0 0 20 0 15 0 227970061 14420930560 10275 33554432000 4194304 4196468 140724694957056 139740282579824 139741174504066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26253] ppid=26239 vsize=14082940 memory=140691867166336 CPUtime=0.07 cores=1,3,5,7
/proc/26241/task/26253/stat : 26253 (java) S 26239 26239 24451 0 -1 1077944384 743 0 0 0 7 0 0 0 20 0 15 0 227970061 14420930560 10275 33554432000 4194304 4196468 140724694957056 139740281526768 139741174504066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26254] ppid=26239 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26254/stat : 26254 (java) S 26239 26239 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227970061 14420930560 10275 33554432000 4194304 4196468 140724694957056 139740280474464 139741174503125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26255] ppid=26239 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26255/stat : 26255 (java) S 26239 26239 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227970061 14420930560 10275 33554432000 4194304 4196468 140724694957056 139740279421488 139741174504066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42556 KiB
[startup+0.310892 s]*
/proc/loadavg: 1.71 1.54 1.51 4/219 26255
/proc/meminfo: memFree=12849832/32770624 swapFree=67108860/67108860
[pid=26239] ppid=26236 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/26239/stat : 26239 (xcsp3-exec) S 26236 26239 24451 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227970055 115843072 364 33554432000 4194304 5098028 140734352987344 140734352985448 139867162047100 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27877376 140734352995386 140734352995588 140734352995588 140734352998346 0
/proc/26239/statm: 28282 364 306 221 0 87 0
[pid=26241] ppid=26239 vsize=14087196 memory=48292 CPUtime=0.53 cores=1,3,5,7
/proc/26241/stat : 26241 (java) S 26239 26239 24451 0 -1 1077944320 9255 0 0 0 49 4 0 0 20 0 15 0 227970056 14425288704 12073 33554432000 4194304 4196468 140724694957056 140724694939600 139741174492919 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
/proc/26241/statm: 3521799 12073 3246 1 0 3483012 0
[pid=26241/tid=26242] ppid=26239 vsize=14087196 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/26241/task/26242/stat : 26242 (java) R 26239 26239 24451 0 -1 4202560 6125 0 0 0 27 2 0 0 20 0 15 0 227970056 14425288704 12073 33554432000 4194304 4196468 140724694957056 139741178726704 139741158573406 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26243] ppid=26239 vsize=14087196 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26243/stat : 26243 (java) S 26239 26239 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227970057 14425288704 12073 33554432000 4194304 4196468 140724694957056 139741127113744 139741174503125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26244] ppid=26239 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26244/stat : 26244 (java) S 26239 26239 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227970057 14425288704 12073 33554432000 4194304 4196468 140724694957056 139741126061200 139741174503125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26245] ppid=26239 vsize=14087196 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26245/stat : 26245 (java) S 26239 26239 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227970057 14425288704 12073 33554432000 4194304 4196468 140724694957056 139741125008144 139741174503125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26246] ppid=26239 vsize=14087196 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26246/stat : 26246 (java) S 26239 26239 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227970057 14425288704 12073 33554432000 4194304 4196468 140724694957056 139740766727056 139741174503125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26247] ppid=26239 vsize=14087196 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26247/stat : 26247 (java) S 26239 26239 24451 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 227970058 14425288704 12073 33554432000 4194304 4196468 140724694957056 139740287842544 139741174504066 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26248] ppid=26239 vsize=14087196 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26248/stat : 26248 (java) S 26239 26239 24451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227970059 14425288704 12073 33554432000 4194304 4196468 140724694957056 139740286788768 139741174503125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26249] ppid=26239 vsize=14087196 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26249/stat : 26249 (java) S 26239 26239 24451 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227970059 14425288704 12073 33554432000 4194304 4196468 140724694957056 139740285735664 139741174503125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26250] ppid=26239 vsize=14087196 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26250/stat : 26250 (java) S 26239 26239 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227970061 14425288704 12073 33554432000 4194304 4196468 140724694957056 139740284684240 139741174511515 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26251] ppid=26239 vsize=14087196 memory=4426078206164241782 CPUtime=0.05 cores=1,3,5,7
/proc/26241/task/26251/stat : 26251 (java) S 26239 26239 24451 0 -1 1077944384 805 0 0 0 5 0 0 0 20 0 15 0 227970061 14425288704 12073 33554432000 4194304 4196468 140724694957056 139740283632368 139741174504066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26252] ppid=26239 vsize=14087196 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/26241/task/26252/stat : 26252 (java) S 26239 26239 24451 0 -1 1077944384 180 0 0 0 4 0 0 0 20 0 15 0 227970061 14425288704 12073 33554432000 4194304 4196468 140724694957056 139740282579824 139741174504066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26253] ppid=26239 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/26241/task/26253/stat : 26253 (java) S 26239 26239 24451 0 -1 1077944384 835 0 0 0 12 0 0 0 20 0 15 0 227970061 14425288704 12073 33554432000 4194304 4196468 140724694957056 139740281526768 139741174504066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26254] ppid=26239 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26254/stat : 26254 (java) S 26239 26239 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227970061 14425288704 12073 33554432000 4194304 4196468 140724694957056 139740280474464 139741174503125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26255] ppid=26239 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26255/stat : 26255 (java) S 26239 26239 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227970061 14425288704 12073 33554432000 4194304 4196468 140724694957056 139740279421488 139741174504066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49748 KiB
[startup+0.700793 s]
/proc/loadavg: 1.71 1.54 1.51 6/219 26255
/proc/meminfo: memFree=12825080/32770624 swapFree=67108860/67108860
[pid=26239] ppid=26236 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/26239/stat : 26239 (xcsp3-exec) S 26236 26239 24451 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227970055 115843072 364 33554432000 4194304 5098028 140734352987344 140734352985448 139867162047100 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27877376 140734352995386 140734352995588 140734352995588 140734352998346 0
/proc/26239/statm: 28282 364 306 221 0 87 0
[pid=26241] ppid=26239 vsize=14089320 memory=116496 CPUtime=1.81 cores=1,3,5,7
/proc/26241/stat : 26241 (java) S 26239 26239 24451 0 -1 1077944320 12993 0 0 0 175 6 0 0 20 0 15 0 227970056 14427463680 29124 33554432000 4194304 4196468 140724694957056 140724694939600 139741174492919 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
/proc/26241/statm: 3522330 29124 3342 1 0 3483524 0
[pid=26241/tid=26242] ppid=26239 vsize=14089320 memory=33 CPUtime=0.68 cores=1,3,5,7
/proc/26241/task/26242/stat : 26242 (java) R 26239 26239 24451 0 -1 4202560 6726 0 0 0 64 4 0 0 20 0 15 0 227970056 14427463680 29124 33554432000 4194304 4196468 140724694957056 139741178709760 139741174504854 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26243] ppid=26239 vsize=14089320 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26243/stat : 26243 (java) S 26239 26239 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227970057 14427463680 29124 33554432000 4194304 4196468 140724694957056 139741127113744 139741174503125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26244] ppid=26239 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26244/stat : 26244 (java) S 26239 26239 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227970057 14427463680 29124 33554432000 4194304 4196468 140724694957056 139741126061200 139741174503125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26245] ppid=26239 vsize=14089320 memory=61880 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26245/stat : 26245 (java) S 26239 26239 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227970057 14427463680 29124 33554432000 4194304 4196468 140724694957056 139741125008144 139741174503125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26246] ppid=26239 vsize=14089320 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26246/stat : 26246 (java) S 26239 26239 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227970057 14427463680 29124 33554432000 4194304 4196468 140724694957056 139740766727056 139741174503125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26247] ppid=26239 vsize=14089320 memory=2416 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26247/stat : 26247 (java) S 26239 26239 24451 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 227970058 14427463680 29124 33554432000 4194304 4196468 140724694957056 139740287842544 139741174504066 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26248] ppid=26239 vsize=14089320 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26248/stat : 26248 (java) S 26239 26239 24451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227970059 14427463680 29124 33554432000 4194304 4196468 140724694957056 139740286788768 139741174503125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26249] ppid=26239 vsize=14089320 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26249/stat : 26249 (java) S 26239 26239 24451 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227970059 14427463680 29124 33554432000 4194304 4196468 140724694957056 139740285735664 139741174503125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26250] ppid=26239 vsize=14089320 memory=796 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26250/stat : 26250 (java) S 26239 26239 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227970061 14427463680 29124 33554432000 4194304 4196468 140724694957056 139740284684240 139741174511515 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26251] ppid=26239 vsize=14089320 memory=5408 CPUtime=0.34 cores=1,3,5,7
/proc/26241/task/26251/stat : 26251 (java) R 26239 26239 24451 0 -1 4202560 1717 0 0 0 34 0 0 0 20 0 15 0 227970061 14427463680 29124 33554432000 4194304 4196468 140724694957056 139740283623696 139741156013779 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26252] ppid=26239 vsize=14089320 memory=876 CPUtime=0.37 cores=1,3,5,7
/proc/26241/task/26252/stat : 26252 (java) R 26239 26239 24451 0 -1 4202560 1350 0 0 0 37 0 0 0 20 0 15 0 227970061 14427463680 29124 33554432000 4194304 4196468 140724694957056 139740282571152 139741156038127 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26253] ppid=26239 vsize=14089320 memory=10096 CPUtime=0.38 cores=1,3,5,7
/proc/26241/task/26253/stat : 26253 (java) R 26239 26239 24451 0 -1 1077944384 1890 0 0 0 38 0 0 0 20 0 15 0 227970061 14427463680 29124 33554432000 4194304 4196468 140724694957056 139740281526768 139741174504066 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26254] ppid=26239 vsize=14089320 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26254/stat : 26254 (java) S 26239 26239 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227970061 14427463680 29124 33554432000 4194304 4196468 140724694957056 139740280474464 139741174503125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26255] ppid=26239 vsize=14089320 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26255/stat : 26255 (java) S 26239 26239 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227970061 14427463680 29124 33554432000 4194304 4196468 140724694957056 139740279421488 139741174504066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
Current children cumulated CPU time: 1.81 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 117952 KiB
[startup+1.50087 s]
/proc/loadavg: 1.71 1.54 1.51 5/219 26255
/proc/meminfo: memFree=12760356/32770624 swapFree=67108860/67108860
[pid=26239] ppid=26236 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/26239/stat : 26239 (xcsp3-exec) S 26236 26239 24451 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227970055 115843072 364 33554432000 4194304 5098028 140734352987344 140734352985448 139867162047100 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27877376 140734352995386 140734352995588 140734352995588 140734352998346 0
################
# More data... #
################
/proc/26239/stat : 26239 (xcsp3-exec) S 26236 26239 24451 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227970055 115843072 364 33554432000 4194304 5098028 140734352987344 140734352985448 139867162047100 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27877376 140734352995386 140734352995588 140734352995588 140734352998346 0
/proc/26239/statm: 28282 364 306 221 0 87 0
[pid=26241] ppid=26239 vsize=14089320 memory=166528 CPUtime=8.74 cores=1,3,5,7
/proc/26241/stat : 26241 (java) S 26239 26239 24451 0 -1 1077944320 25432 0 0 0 865 9 0 0 20 0 15 0 227970056 14427463680 41632 33554432000 4194304 4196468 140724694957056 140724694939600 139741174492919 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
/proc/26241/statm: 3522330 41632 3380 1 0 3483524 0
[pid=26241/tid=26242] ppid=26239 vsize=14089320 memory=6791534058613427641 CPUtime=3.98 cores=1,3,5,7
/proc/26241/task/26242/stat : 26242 (java) R 26239 26239 24451 0 -1 4202560 8147 0 0 0 393 5 0 0 20 0 15 0 227970056 14427463680 41632 33554432000 4194304 4196468 140724694957056 139741178729680 139740811034387 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26243] ppid=26239 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26243/stat : 26243 (java) S 26239 26239 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227970057 14427463680 41632 33554432000 4194304 4196468 140724694957056 139741127113744 139741174503125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26244] ppid=26239 vsize=14089320 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26244/stat : 26244 (java) S 26239 26239 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227970057 14427463680 41632 33554432000 4194304 4196468 140724694957056 139741126061200 139741174503125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26245] ppid=26239 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26245/stat : 26245 (java) S 26239 26239 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227970057 14427463680 41632 33554432000 4194304 4196468 140724694957056 139741125008144 139741174503125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26246] ppid=26239 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26246/stat : 26246 (java) S 26239 26239 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227970057 14427463680 41632 33554432000 4194304 4196468 140724694957056 139740766727056 139741174503125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26247] ppid=26239 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26247/stat : 26247 (java) S 26239 26239 24451 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 227970058 14427463680 41632 33554432000 4194304 4196468 140724694957056 139740287842544 139741174504066 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26248] ppid=26239 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26248/stat : 26248 (java) S 26239 26239 24451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227970059 14427463680 41632 33554432000 4194304 4196468 140724694957056 139740286788768 139741174503125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26249] ppid=26239 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26249/stat : 26249 (java) S 26239 26239 24451 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227970059 14427463680 41632 33554432000 4194304 4196468 140724694957056 139740285735664 139741174503125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26250] ppid=26239 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26250/stat : 26250 (java) S 26239 26239 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227970061 14427463680 41632 33554432000 4194304 4196468 140724694957056 139740284684240 139741174511515 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26251] ppid=26239 vsize=14089320 memory=0 CPUtime=1.94 cores=1,3,5,7
/proc/26241/task/26251/stat : 26251 (java) S 26239 26239 24451 0 -1 1077944384 6124 0 0 0 193 1 0 0 20 0 15 0 227970061 14427463680 41632 33554432000 4194304 4196468 140724694957056 139740283632368 139741174504066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26252] ppid=26239 vsize=14089320 memory=7590655979367786604 CPUtime=2.09 cores=1,3,5,7
/proc/26241/task/26252/stat : 26252 (java) S 26239 26239 24451 0 -1 1077944384 6228 0 0 0 208 1 0 0 20 0 15 0 227970061 14427463680 41632 33554432000 4194304 4196468 140724694957056 139740282579824 139741174504066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26253] ppid=26239 vsize=14089320 memory=6443354087213133157 CPUtime=0.7 cores=1,3,5,7
/proc/26241/task/26253/stat : 26253 (java) S 26239 26239 24451 0 -1 1077944384 3557 0 0 0 69 1 0 0 20 0 15 0 227970061 14427463680 41632 33554432000 4194304 4196468 140724694957056 139740281526768 139741174504066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26254] ppid=26239 vsize=14089320 memory=7679937539659563834 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26254/stat : 26254 (java) S 26239 26239 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227970061 14427463680 41632 33554432000 4194304 4196468 140724694957056 139740280474464 139741174503125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26255] ppid=26239 vsize=14089320 memory=4783494139404706144 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26255/stat : 26255 (java) S 26239 26239 24451 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 227970061 14427463680 41632 33554432000 4194304 4196468 140724694957056 139740279421488 139741174504066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
Current children cumulated CPU time: 8.74 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 167984 KiB
[startup+4.4008 s]
/proc/loadavg: 1.71 1.54 1.51 3/219 26255
/proc/meminfo: memFree=12733440/32770624 swapFree=67108860/67108860
[pid=26239] ppid=26236 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/26239/stat : 26239 (xcsp3-exec) S 26236 26239 24451 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227970055 115843072 364 33554432000 4194304 5098028 140734352987344 140734352985448 139867162047100 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27877376 140734352995386 140734352995588 140734352995588 140734352998346 0
/proc/26239/statm: 28282 364 306 221 0 87 0
[pid=26241] ppid=26239 vsize=14089320 memory=174800 CPUtime=9.23 cores=1,3,5,7
/proc/26241/stat : 26241 (java) S 26239 26239 24451 0 -1 1077944320 25944 0 0 0 914 9 0 0 20 0 15 0 227970056 14427463680 43700 33554432000 4194304 4196468 140724694957056 140724694939600 139741174492919 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
/proc/26241/statm: 3522330 43700 3384 1 0 3483524 0
[pid=26241/tid=26242] ppid=26239 vsize=14089320 memory=3152 CPUtime=4.37 cores=1,3,5,7
/proc/26241/task/26242/stat : 26242 (java) R 26239 26239 24451 0 -1 4202560 8181 0 0 0 432 5 0 0 20 0 15 0 227970056 14427463680 43700 33554432000 4194304 4196468 140724694957056 139741178731992 139740811054199 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26243] ppid=26239 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26243/stat : 26243 (java) S 26239 26239 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227970057 14427463680 43700 33554432000 4194304 4196468 140724694957056 139741127113744 139741174503125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26244] ppid=26239 vsize=14089320 memory=148648 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26244/stat : 26244 (java) S 26239 26239 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227970057 14427463680 43700 33554432000 4194304 4196468 140724694957056 139741126061200 139741174503125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26245] ppid=26239 vsize=14089320 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26245/stat : 26245 (java) S 26239 26239 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227970057 14427463680 43700 33554432000 4194304 4196468 140724694957056 139741125008144 139741174503125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26246] ppid=26239 vsize=14089320 memory=2424 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26246/stat : 26246 (java) S 26239 26239 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227970057 14427463680 43700 33554432000 4194304 4196468 140724694957056 139740766727056 139741174503125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26247] ppid=26239 vsize=14089320 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26247/stat : 26247 (java) S 26239 26239 24451 0 -1 1077944384 264 0 0 0 0 0 0 0 20 0 15 0 227970058 14427463680 43700 33554432000 4194304 4196468 140724694957056 139740287842544 139741174504066 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26248] ppid=26239 vsize=14089320 memory=153260 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26248/stat : 26248 (java) S 26239 26239 24451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227970059 14427463680 43700 33554432000 4194304 4196468 140724694957056 139740286788768 139741174503125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26249] ppid=26239 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26249/stat : 26249 (java) S 26239 26239 24451 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227970059 14427463680 43700 33554432000 4194304 4196468 140724694957056 139740285735664 139741174503125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26250] ppid=26239 vsize=14089320 memory=-2672971631320983069 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26250/stat : 26250 (java) S 26239 26239 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227970061 14427463680 43700 33554432000 4194304 4196468 140724694957056 139740284684240 139741174511515 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26251] ppid=26239 vsize=14089320 memory=-2672971631320983069 CPUtime=1.99 cores=1,3,5,7
/proc/26241/task/26251/stat : 26251 (java) S 26239 26239 24451 0 -1 1077944384 6241 0 0 0 198 1 0 0 20 0 15 0 227970061 14427463680 43700 33554432000 4194304 4196468 140724694957056 139740283632368 139741174504066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26252] ppid=26239 vsize=14089320 memory=6944656592455360569 CPUtime=2.14 cores=1,3,5,7
/proc/26241/task/26252/stat : 26252 (java) S 26239 26239 24451 0 -1 1077944384 6308 0 0 0 213 1 0 0 20 0 15 0 227970061 14427463680 43700 33554432000 4194304 4196468 140724694957056 139740282579824 139741174504066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26253] ppid=26239 vsize=14089320 memory=7681421203011431829 CPUtime=0.7 cores=1,3,5,7
/proc/26241/task/26253/stat : 26253 (java) S 26239 26239 24451 0 -1 1077944384 3631 0 0 0 69 1 0 0 20 0 15 0 227970061 14427463680 43700 33554432000 4194304 4196468 140724694957056 139740281526768 139741174504066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26254] ppid=26239 vsize=14089320 memory=4945125699554088323 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26254/stat : 26254 (java) S 26239 26239 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227970061 14427463680 43700 33554432000 4194304 4196468 140724694957056 139740280474464 139741174503125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26255] ppid=26239 vsize=14089320 memory=8546823402028195750 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26255/stat : 26255 (java) S 26239 26239 24451 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 227970061 14427463680 43700 33554432000 4194304 4196468 140724694957056 139740279421488 139741174504066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
Current children cumulated CPU time: 9.23 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 176256 KiB
[startup+4.60384 s]
/proc/loadavg: 1.71 1.54 1.51 3/219 26255
/proc/meminfo: memFree=12733440/32770624 swapFree=67108860/67108860
[pid=26239] ppid=26236 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/26239/stat : 26239 (xcsp3-exec) S 26236 26239 24451 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227970055 115843072 364 33554432000 4194304 5098028 140734352987344 140734352985448 139867162047100 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27877376 140734352995386 140734352995588 140734352995588 140734352998346 0
/proc/26239/statm: 28282 364 306 221 0 87 0
[pid=26241] ppid=26239 vsize=14089320 memory=176848 CPUtime=9.44 cores=1,3,5,7
/proc/26241/stat : 26241 (java) S 26239 26239 24451 0 -1 1077944320 25951 0 0 0 935 9 0 0 20 0 15 0 227970056 14427463680 44212 33554432000 4194304 4196468 140724694957056 140724694939600 139741174492919 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
/proc/26241/statm: 3522330 44212 3384 1 0 3483524 0
[pid=26241/tid=26242] ppid=26239 vsize=14089320 memory=0 CPUtime=4.57 cores=1,3,5,7
/proc/26241/task/26242/stat : 26242 (java) R 26239 26239 24451 0 -1 4202560 8183 0 0 0 452 5 0 0 20 0 15 0 227970056 14427463680 44212 33554432000 4194304 4196468 140724694957056 139741178731992 139740804623118 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26243] ppid=26239 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26243/stat : 26243 (java) S 26239 26239 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227970057 14427463680 44212 33554432000 4194304 4196468 140724694957056 139741127113744 139741174503125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26244] ppid=26239 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26244/stat : 26244 (java) S 26239 26239 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227970057 14427463680 44212 33554432000 4194304 4196468 140724694957056 139741126061200 139741174503125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26245] ppid=26239 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26245/stat : 26245 (java) S 26239 26239 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227970057 14427463680 44212 33554432000 4194304 4196468 140724694957056 139741125008144 139741174503125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26246] ppid=26239 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26246/stat : 26246 (java) S 26239 26239 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227970057 14427463680 44212 33554432000 4194304 4196468 140724694957056 139740766727056 139741174503125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26247] ppid=26239 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26247/stat : 26247 (java) S 26239 26239 24451 0 -1 1077944384 264 0 0 0 0 0 0 0 20 0 15 0 227970058 14427463680 44212 33554432000 4194304 4196468 140724694957056 139740287842544 139741174504066 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26248] ppid=26239 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26248/stat : 26248 (java) S 26239 26239 24451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227970059 14427463680 44212 33554432000 4194304 4196468 140724694957056 139740286788768 139741174503125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26249] ppid=26239 vsize=14089320 memory=288230621787205905 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26249/stat : 26249 (java) S 26239 26239 24451 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227970059 14427463680 44212 33554432000 4194304 4196468 140724694957056 139740285735664 139741174503125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26250] ppid=26239 vsize=14089320 memory=16097091571157036 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26250/stat : 26250 (java) S 26239 26239 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227970061 14427463680 44212 33554432000 4194304 4196468 140724694957056 139740284684240 139741174511515 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26251] ppid=26239 vsize=14089320 memory=0 CPUtime=1.99 cores=1,3,5,7
/proc/26241/task/26251/stat : 26251 (java) S 26239 26239 24451 0 -1 1077944384 6241 0 0 0 198 1 0 0 20 0 15 0 227970061 14427463680 44212 33554432000 4194304 4196468 140724694957056 139740283632368 139741174504066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26252] ppid=26239 vsize=14089320 memory=6943526294502006880 CPUtime=2.15 cores=1,3,5,7
/proc/26241/task/26252/stat : 26252 (java) R 26239 26239 24451 0 -1 4202560 6313 0 0 0 214 1 0 0 20 0 15 0 227970061 14427463680 44212 33554432000 4194304 4196468 140724694957056 139740282580120 139741159594887 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26253] ppid=26239 vsize=14089320 memory=6944652177228980320 CPUtime=0.7 cores=1,3,5,7
/proc/26241/task/26253/stat : 26253 (java) S 26239 26239 24451 0 -1 1077944384 3631 0 0 0 69 1 0 0 20 0 15 0 227970061 14427463680 44212 33554432000 4194304 4196468 140724694957056 139740281526768 139741174504066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26254] ppid=26239 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26254/stat : 26254 (java) S 26239 26239 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227970061 14427463680 44212 33554432000 4194304 4196468 140724694957056 139740280474464 139741174503125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26255] ppid=26239 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26255/stat : 26255 (java) S 26239 26239 24451 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 227970061 14427463680 44212 33554432000 4194304 4196468 140724694957056 139740279421488 139741174504066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
Current children cumulated CPU time: 9.44 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 178304 KiB
[startup+4.70078 s]
/proc/loadavg: 1.71 1.54 1.51 3/219 26255
/proc/meminfo: memFree=12733440/32770624 swapFree=67108860/67108860
[pid=26239] ppid=26236 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/26239/stat : 26239 (xcsp3-exec) S 26236 26239 24451 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227970055 115843072 364 33554432000 4194304 5098028 140734352987344 140734352985448 139867162047100 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27877376 140734352995386 140734352995588 140734352995588 140734352998346 0
/proc/26239/statm: 28282 364 306 221 0 87 0
[pid=26241] ppid=26239 vsize=14089320 memory=176848 CPUtime=9.54 cores=1,3,5,7
/proc/26241/stat : 26241 (java) S 26239 26239 24451 0 -1 1077944320 25963 0 0 0 945 9 0 0 20 0 15 0 227970056 14427463680 44212 33554432000 4194304 4196468 140724694957056 140724694939600 139741174492919 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
/proc/26241/statm: 3522330 44212 3384 1 0 3483524 0
[pid=26241/tid=26242] ppid=26239 vsize=14089320 memory=8128038100524242582 CPUtime=4.67 cores=1,3,5,7
/proc/26241/task/26242/stat : 26242 (java) R 26239 26239 24451 0 -1 4202560 8183 0 0 0 462 5 0 0 20 0 15 0 227970056 14427463680 44212 33554432000 4194304 4196468 140724694957056 139741178731992 139740810094840 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26243] ppid=26239 vsize=14089320 memory=8259761640030508194 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26243/stat : 26243 (java) S 26239 26239 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227970057 14427463680 44212 33554432000 4194304 4196468 140724694957056 139741127113744 139741174503125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26244] ppid=26239 vsize=14089320 memory=156012 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26244/stat : 26244 (java) S 26239 26239 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227970057 14427463680 44212 33554432000 4194304 4196468 140724694957056 139741126061200 139741174503125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26245] ppid=26239 vsize=14089320 memory=7016714190785702558 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26245/stat : 26245 (java) S 26239 26239 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227970057 14427463680 44212 33554432000 4194304 4196468 140724694957056 139741125008144 139741174503125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26246] ppid=26239 vsize=14089320 memory=281383440503008 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26246/stat : 26246 (java) S 26239 26239 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227970057 14427463680 44212 33554432000 4194304 4196468 140724694957056 139740766727056 139741174503125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26247] ppid=26239 vsize=14089320 memory=288230621803970871 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26247/stat : 26247 (java) S 26239 26239 24451 0 -1 1077944384 264 0 0 0 0 0 0 0 20 0 15 0 227970058 14427463680 44212 33554432000 4194304 4196468 140724694957056 139740287842544 139741174504066 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26248] ppid=26239 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26248/stat : 26248 (java) S 26239 26239 24451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227970059 14427463680 44212 33554432000 4194304 4196468 140724694957056 139740286788768 139741174503125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26249] ppid=26239 vsize=14089320 memory=6940725864358242391 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26249/stat : 26249 (java) S 26239 26239 24451 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227970059 14427463680 44212 33554432000 4194304 4196468 140724694957056 139740285735664 139741174503125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26250] ppid=26239 vsize=14089320 memory=7086220844935242341 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26250/stat : 26250 (java) S 26239 26239 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227970061 14427463680 44212 33554432000 4194304 4196468 140724694957056 139740284684240 139741174511515 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26251] ppid=26239 vsize=14089320 memory=7230638415855315287 CPUtime=1.99 cores=1,3,5,7
/proc/26241/task/26251/stat : 26251 (java) S 26239 26239 24451 0 -1 1077944384 6241 0 0 0 198 1 0 0 20 0 15 0 227970061 14427463680 44212 33554432000 4194304 4196468 140724694957056 139740283632368 139741174504066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26252] ppid=26239 vsize=14089320 memory=7230638415855315287 CPUtime=2.15 cores=1,3,5,7
/proc/26241/task/26252/stat : 26252 (java) S 26239 26239 24451 0 -1 1077944384 6325 0 0 0 214 1 0 0 20 0 15 0 227970061 14427463680 44212 33554432000 4194304 4196468 140724694957056 139740282579824 139741174504066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26253] ppid=26239 vsize=14089320 memory=1456 CPUtime=0.7 cores=1,3,5,7
/proc/26241/task/26253/stat : 26253 (java) S 26239 26239 24451 0 -1 1077944384 3631 0 0 0 69 1 0 0 20 0 15 0 227970061 14427463680 44212 33554432000 4194304 4196468 140724694957056 139740281526768 139741174504066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26254] ppid=26239 vsize=14089320 memory=162244 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26254/stat : 26254 (java) S 26239 26239 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227970061 14427463680 44212 33554432000 4194304 4196468 140724694957056 139740280474464 139741174503125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
[pid=26241/tid=26255] ppid=26239 vsize=14089320 memory=281383440496288 CPUtime=0 cores=1,3,5,7
/proc/26241/task/26255/stat : 26255 (java) S 26239 26239 24451 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 227970061 14427463680 44212 33554432000 4194304 4196468 140724694957056 139740279421488 139741174504066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30117888 140724694963334 140724694963505 140724694963505 140724694966223 0
Current children cumulated CPU time: 9.54 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 178304 KiB
Child status: 0
Real time (s): 4.78766
CPU time (s): 9.66056
CPU user time (s): 9.55388
CPU system time (s): 0.106679
CPU usage (%): 201.781
Max. virtual memory (cumulated for all children) (KiB): 14202448
Max. memory (cumulated for all children) (KiB): 178304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.55388
system time used= 0.106679
maximum resident set size= 177300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27208
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2389
involuntary context switches= 23
# summary of solver processes directly reported to runsolver:
# pid: 26239
# total CPU time (s): 9.66056
# total CPU user time (s): 9.55388
# total CPU system time (s): 0.106679
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.063267 second user time and 0.076533 second system time
The end