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 (9579 MiB free)
memory of node 1: 16384 MiB (3164 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403650-1568990807/watcher-4403650-1568990807 -o /var/tmp/evaluation-result-4403650-1568990807/solver-4403650-1568990807 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node136-1568987938-25142 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 509447552 HOME/instance-4403650-1568990807.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=27852, runsolver pid=27849
[startup+0.100067 s]*
/proc/loadavg: 7.83 7.79 7.84 7/233 27868
/proc/meminfo: memFree=13033448/32770624 swapFree=67002248/67108860
[pid=27852] ppid=27849 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/27852/stat : 27852 (xcsp3-exec) S 27849 27852 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475329269 115843072 364 33554432000 4194304 5098028 140730743612512 140730743610616 140212981682812 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 14565376 140730743616343 140730743616601 140730743616601 140730743619526 0
/proc/27852/statm: 28282 364 305 221 0 87 0
[pid=27854] ppid=27852 vsize=15144776 memory=28404 CPUtime=0.11 cores=0,2,4,6
/proc/27854/stat : 27854 (java) S 27852 27852 25111 0 -1 1077944320 5500 0 0 0 10 1 0 0 20 0 15 0 475329270 15508250624 7101 33554432000 4194304 4196468 140733095925056 140733095907600 140516618821367 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
/proc/27854/statm: 3786194 7101 3145 1 0 3748377 0
[pid=27854/tid=27855] ppid=27852 vsize=15144776 memory=-6962121287837372198 CPUtime=0.07 cores=0,2,4,6
/proc/27854/task/27855/stat : 27855 (java) R 27852 27852 25111 0 -1 4202560 3511 0 0 0 7 0 0 0 20 0 15 0 475329270 15508250624 7101 33554432000 4194304 4196468 140733095925056 140516623048000 140516602901854 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27856] ppid=27852 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/27854/task/27856/stat : 27856 (java) S 27852 27852 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475329271 15508250624 7101 33554432000 4194304 4196468 140733095925056 140516571441552 140516618831573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27857] ppid=27852 vsize=15144776 memory=140128181474944 CPUtime=0 cores=0,2,4,6
/proc/27854/task/27857/stat : 27857 (java) S 27852 27852 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475329271 15508250624 7101 33554432000 4194304 4196468 140733095925056 140516570388752 140516618831573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27858] ppid=27852 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27854/task/27858/stat : 27858 (java) S 27852 27852 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475329271 15508250624 7101 33554432000 4194304 4196468 140733095925056 140516569336464 140516618831573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27859] ppid=27852 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27854/task/27859/stat : 27859 (java) S 27852 27852 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475329271 15508250624 7101 33554432000 4194304 4196468 140733095925056 140516568283664 140516618831573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27860] ppid=27852 vsize=15144776 memory=140128181474944 CPUtime=0 cores=0,2,4,6
/proc/27854/task/27860/stat : 27860 (java) S 27852 27852 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475329272 15508250624 7101 33554432000 4194304 4196468 140733095925056 140515492973168 140516618832514 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27861] ppid=27852 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27854/task/27861/stat : 27861 (java) S 27852 27852 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475329273 15508250624 7101 33554432000 4194304 4196468 140733095925056 140515491919136 140516618831573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27862] ppid=27852 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27854/task/27862/stat : 27862 (java) S 27852 27852 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475329273 15508250624 7101 33554432000 4194304 4196468 140733095925056 140515490866800 140516618831573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27863] ppid=27852 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27854/task/27863/stat : 27863 (java) S 27852 27852 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475329275 15508250624 7101 33554432000 4194304 4196468 140733095925056 140515489815120 140516618839963 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27864] ppid=27852 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27854/task/27864/stat : 27864 (java) S 27852 27852 25111 0 -1 1077944384 416 0 0 0 0 0 0 0 20 0 15 0 475329276 15508250624 7101 33554432000 4194304 4196468 140733095925056 140515488761968 140516618832514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27865] ppid=27852 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27854/task/27865/stat : 27865 (java) S 27852 27852 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475329276 15508250624 7101 33554432000 4194304 4196468 140733095925056 140515487709168 140516618832514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27866] ppid=27852 vsize=15144776 memory=140128181474944 CPUtime=0.01 cores=0,2,4,6
/proc/27854/task/27866/stat : 27866 (java) R 27852 27852 25111 0 -1 4202560 266 0 0 0 1 0 0 0 20 0 15 0 475329276 15508250624 7101 33554432000 4194304 4196468 140733095925056 140515486656880 140516618842714 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27867] ppid=27852 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27854/task/27867/stat : 27867 (java) S 27852 27852 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475329277 15508250624 7101 33554432000 4194304 4196468 140733095925056 140515485604320 140516618831573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27868] ppid=27852 vsize=15144776 memory=140128181474944 CPUtime=0 cores=0,2,4,6
/proc/27854/task/27868/stat : 27868 (java) S 27852 27852 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475329277 15508250624 7101 33554432000 4194304 4196468 140733095925056 140515484552112 140516618832514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 29860 KiB
[startup+0.210658 s]*
/proc/loadavg: 7.83 7.79 7.84 6/233 27868
/proc/meminfo: memFree=13019728/32770624 swapFree=67002248/67108860
[pid=27852] ppid=27849 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/27852/stat : 27852 (xcsp3-exec) S 27849 27852 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475329269 115843072 364 33554432000 4194304 5098028 140730743612512 140730743610616 140212981682812 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 14565376 140730743616343 140730743616601 140730743616601 140730743619526 0
/proc/27852/statm: 28282 364 305 221 0 87 0
[pid=27854] ppid=27852 vsize=15144776 memory=40988 CPUtime=0.32 cores=0,2,4,6
/proc/27854/stat : 27854 (java) S 27852 27852 25111 0 -1 1077944320 9443 0 0 0 29 3 0 0 20 0 15 0 475329270 15508250624 10247 33554432000 4194304 4196468 140733095925056 140733095907600 140516618821367 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
/proc/27854/statm: 3786194 10247 3308 1 0 3748377 0
[pid=27854/tid=27855] ppid=27852 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/27854/task/27855/stat : 27855 (java) R 27852 27852 25111 0 -1 4202560 6529 0 0 0 17 2 0 0 20 0 15 0 475329270 15508250624 10247 33554432000 4194304 4196468 140733095925056 140516623047728 140516618833302 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27856] ppid=27852 vsize=15144776 memory=13620 CPUtime=0 cores=0,2,4,6
/proc/27854/task/27856/stat : 27856 (java) S 27852 27852 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475329271 15508250624 10247 33554432000 4194304 4196468 140733095925056 140516571441552 140516618831573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27857] ppid=27852 vsize=15144776 memory=140128185002721 CPUtime=0 cores=0,2,4,6
/proc/27854/task/27857/stat : 27857 (java) S 27852 27852 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475329271 15508250624 10247 33554432000 4194304 4196468 140733095925056 140516570388752 140516618831573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27858] ppid=27852 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27854/task/27858/stat : 27858 (java) S 27852 27852 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475329271 15508250624 10247 33554432000 4194304 4196468 140733095925056 140516569336464 140516618831573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27859] ppid=27852 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27854/task/27859/stat : 27859 (java) S 27852 27852 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475329271 15508250624 10247 33554432000 4194304 4196468 140733095925056 140516568283664 140516618831573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27860] ppid=27852 vsize=15144776 memory=140128181474944 CPUtime=0 cores=0,2,4,6
/proc/27854/task/27860/stat : 27860 (java) S 27852 27852 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475329272 15508250624 10247 33554432000 4194304 4196468 140733095925056 140515492973168 140516618832514 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27861] ppid=27852 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27854/task/27861/stat : 27861 (java) S 27852 27852 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475329273 15508250624 10247 33554432000 4194304 4196468 140733095925056 140515491919136 140516618831573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27862] ppid=27852 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27854/task/27862/stat : 27862 (java) S 27852 27852 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475329273 15508250624 10247 33554432000 4194304 4196468 140733095925056 140515490866800 140516618831573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27863] ppid=27852 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27854/task/27863/stat : 27863 (java) S 27852 27852 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475329275 15508250624 10247 33554432000 4194304 4196468 140733095925056 140515489815120 140516618839963 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27864] ppid=27852 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/27854/task/27864/stat : 27864 (java) S 27852 27852 25111 0 -1 1077944384 531 0 0 0 2 0 0 0 20 0 15 0 475329276 15508250624 10247 33554432000 4194304 4196468 140733095925056 140515488761968 140516618832514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27865] ppid=27852 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/27854/task/27865/stat : 27865 (java) S 27852 27852 25111 0 -1 1077944384 323 0 0 0 2 0 0 0 20 0 15 0 475329276 15508250624 10247 33554432000 4194304 4196468 140733095925056 140515487709168 140516618832514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27866] ppid=27852 vsize=15144776 memory=140128181474944 CPUtime=0.07 cores=0,2,4,6
/proc/27854/task/27866/stat : 27866 (java) R 27852 27852 25111 0 -1 4202560 756 0 0 0 7 0 0 0 20 0 15 0 475329276 15508250624 10247 33554432000 4194304 4196468 140733095925056 140515486656880 140516611538519 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27867] ppid=27852 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27854/task/27867/stat : 27867 (java) S 27852 27852 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475329277 15508250624 10247 33554432000 4194304 4196468 140733095925056 140515485604320 140516618831573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27868] ppid=27852 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27854/task/27868/stat : 27868 (java) S 27852 27852 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475329277 15508250624 10247 33554432000 4194304 4196468 140733095925056 140515484552112 140516618832514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42444 KiB
[startup+0.310752 s]*
/proc/loadavg: 7.83 7.79 7.84 6/233 27868
/proc/meminfo: memFree=13015376/32770624 swapFree=67002248/67108860
[pid=27852] ppid=27849 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/27852/stat : 27852 (xcsp3-exec) S 27849 27852 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475329269 115843072 364 33554432000 4194304 5098028 140730743612512 140730743610616 140212981682812 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 14565376 140730743616343 140730743616601 140730743616601 140730743619526 0
/proc/27852/statm: 28282 364 305 221 0 87 0
[pid=27854] ppid=27852 vsize=15149032 memory=46804 CPUtime=0.5 cores=0,2,4,6
/proc/27854/stat : 27854 (java) S 27852 27852 25111 0 -1 1077944320 10583 0 0 0 46 4 0 0 20 0 15 0 475329270 15512608768 11701 33554432000 4194304 4196468 140733095925056 140733095907600 140516618821367 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
/proc/27854/statm: 3787258 11701 3340 1 0 3748377 0
[pid=27854/tid=27855] ppid=27852 vsize=15149032 memory=7883960649037381690 CPUtime=0.29 cores=0,2,4,6
/proc/27854/task/27855/stat : 27855 (java) R 27852 27852 25111 0 -1 4202560 7593 0 0 0 26 3 0 0 20 0 15 0 475329270 15512608768 11701 33554432000 4194304 4196468 140733095925056 140516623058000 140516602864997 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27856] ppid=27852 vsize=15149032 memory=13961 CPUtime=0 cores=0,2,4,6
/proc/27854/task/27856/stat : 27856 (java) S 27852 27852 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475329271 15512608768 11701 33554432000 4194304 4196468 140733095925056 140516571441552 140516618831573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27857] ppid=27852 vsize=15149032 memory=3546595 CPUtime=0 cores=0,2,4,6
/proc/27854/task/27857/stat : 27857 (java) S 27852 27852 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475329271 15512608768 11701 33554432000 4194304 4196468 140733095925056 140516570388752 140516618831573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27858] ppid=27852 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27854/task/27858/stat : 27858 (java) S 27852 27852 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475329271 15512608768 11701 33554432000 4194304 4196468 140733095925056 140516569336464 140516618831573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27859] ppid=27852 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27854/task/27859/stat : 27859 (java) S 27852 27852 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475329271 15512608768 11701 33554432000 4194304 4196468 140733095925056 140516568283664 140516618831573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27860] ppid=27852 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27854/task/27860/stat : 27860 (java) S 27852 27852 25111 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475329272 15512608768 11701 33554432000 4194304 4196468 140733095925056 140515492973168 140516618832514 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27861] ppid=27852 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27854/task/27861/stat : 27861 (java) S 27852 27852 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475329273 15512608768 11701 33554432000 4194304 4196468 140733095925056 140515491919136 140516618831573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27862] ppid=27852 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27854/task/27862/stat : 27862 (java) S 27852 27852 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475329273 15512608768 11701 33554432000 4194304 4196468 140733095925056 140515490866800 140516618831573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27863] ppid=27852 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27854/task/27863/stat : 27863 (java) S 27852 27852 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475329275 15512608768 11701 33554432000 4194304 4196468 140733095925056 140515489815120 140516618839963 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27864] ppid=27852 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/27854/task/27864/stat : 27864 (java) R 27852 27852 25111 0 -1 1077944384 534 0 0 0 4 0 0 0 20 0 15 0 475329276 15512608768 11701 33554432000 4194304 4196468 140733095925056 140515488761968 140516618832514 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27865] ppid=27852 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/27854/task/27865/stat : 27865 (java) S 27852 27852 25111 0 -1 1077944384 329 0 0 0 3 0 0 0 20 0 15 0 475329276 15512608768 11701 33554432000 4194304 4196468 140733095925056 140515487709168 140516618832514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27866] ppid=27852 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/27854/task/27866/stat : 27866 (java) R 27852 27852 25111 0 -1 4202560 824 0 0 0 12 0 0 0 20 0 15 0 475329276 15512608768 11701 33554432000 4194304 4196468 140733095925056 140515486656880 140516597416903 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27867] ppid=27852 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27854/task/27867/stat : 27867 (java) S 27852 27852 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475329277 15512608768 11701 33554432000 4194304 4196468 140733095925056 140515485604320 140516618831573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27868] ppid=27852 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27854/task/27868/stat : 27868 (java) S 27852 27852 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475329277 15512608768 11701 33554432000 4194304 4196468 140733095925056 140515484552112 140516618832514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 48260 KiB
[startup+0.702397 s]
/proc/loadavg: 7.83 7.79 7.84 7/233 27868
/proc/meminfo: memFree=13002216/32770624 swapFree=67002248/67108860
[pid=27852] ppid=27849 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/27852/stat : 27852 (xcsp3-exec) S 27849 27852 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475329269 115843072 364 33554432000 4194304 5098028 140730743612512 140730743610616 140212981682812 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 14565376 140730743616343 140730743616601 140730743616601 140730743619526 0
/proc/27852/statm: 28282 364 305 221 0 87 0
[pid=27854] ppid=27852 vsize=15151156 memory=82924 CPUtime=1.59 cores=0,2,4,6
/proc/27854/stat : 27854 (java) S 27852 27852 25111 0 -1 1077944320 14969 0 0 0 151 8 0 0 20 0 15 0 475329270 15514783744 20731 33554432000 4194304 4196468 140733095925056 140733095907600 140516618821367 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
/proc/27854/statm: 3787789 20731 3454 1 0 3748889 0
[pid=27854/tid=27855] ppid=27852 vsize=15151156 memory=29916 CPUtime=0.67 cores=0,2,4,6
/proc/27854/task/27855/stat : 27855 (java) R 27852 27852 25111 0 -1 4202560 9253 0 0 0 62 5 0 0 20 0 15 0 475329270 15514783744 20731 33554432000 4194304 4196468 140733095925056 140516623059536 140516602901854 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27856] ppid=27852 vsize=15151156 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/27854/task/27856/stat : 27856 (java) S 27852 27852 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475329271 15514783744 20731 33554432000 4194304 4196468 140733095925056 140516571441552 140516618831573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27857] ppid=27852 vsize=15151156 memory=500 CPUtime=0 cores=0,2,4,6
/proc/27854/task/27857/stat : 27857 (java) S 27852 27852 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475329271 15514783744 20731 33554432000 4194304 4196468 140733095925056 140516570388752 140516618831573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27858] ppid=27852 vsize=15151156 memory=932 CPUtime=0 cores=0,2,4,6
/proc/27854/task/27858/stat : 27858 (java) S 27852 27852 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475329271 15514783744 20731 33554432000 4194304 4196468 140733095925056 140516569336464 140516618831573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27859] ppid=27852 vsize=15151156 memory=1776 CPUtime=0 cores=0,2,4,6
/proc/27854/task/27859/stat : 27859 (java) S 27852 27852 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475329271 15514783744 20731 33554432000 4194304 4196468 140733095925056 140516568283664 140516618831573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27860] ppid=27852 vsize=15151156 memory=1656 CPUtime=0 cores=0,2,4,6
/proc/27854/task/27860/stat : 27860 (java) S 27852 27852 25111 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475329272 15514783744 20731 33554432000 4194304 4196468 140733095925056 140515492973168 140516618832514 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27861] ppid=27852 vsize=15151156 memory=804 CPUtime=0 cores=0,2,4,6
/proc/27854/task/27861/stat : 27861 (java) S 27852 27852 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475329273 15514783744 20731 33554432000 4194304 4196468 140733095925056 140515491919136 140516618831573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27862] ppid=27852 vsize=15151156 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/27854/task/27862/stat : 27862 (java) S 27852 27852 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475329273 15514783744 20731 33554432000 4194304 4196468 140733095925056 140515490866800 140516618831573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27863] ppid=27852 vsize=15151156 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/27854/task/27863/stat : 27863 (java) S 27852 27852 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475329275 15514783744 20731 33554432000 4194304 4196468 140733095925056 140515489815120 140516618839963 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27864] ppid=27852 vsize=15151156 memory=2676 CPUtime=0.25 cores=0,2,4,6
/proc/27854/task/27864/stat : 27864 (java) R 27852 27852 25111 0 -1 1077944384 1278 0 0 0 25 0 0 0 20 0 15 0 475329276 15514783744 20731 33554432000 4194304 4196468 140733095925056 140515488761968 140516618832514 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27865] ppid=27852 vsize=15151156 memory=1764 CPUtime=0.24 cores=0,2,4,6
/proc/27854/task/27865/stat : 27865 (java) R 27852 27852 25111 0 -1 4202560 1061 0 0 0 23 1 0 0 20 0 15 0 475329276 15514783744 20731 33554432000 4194304 4196468 140733095925056 140515487701120 140516598067549 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27866] ppid=27852 vsize=15151156 memory=111632 CPUtime=0.4 cores=0,2,4,6
/proc/27854/task/27866/stat : 27866 (java) R 27852 27852 25111 0 -1 4202560 2070 0 0 0 40 0 0 0 20 0 15 0 475329276 15514783744 20731 33554432000 4194304 4196468 140733095925056 140515486653248 140516597190223 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27867] ppid=27852 vsize=15151156 memory=796 CPUtime=0 cores=0,2,4,6
/proc/27854/task/27867/stat : 27867 (java) S 27852 27852 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475329277 15514783744 20731 33554432000 4194304 4196468 140733095925056 140515485604320 140516618831573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27868] ppid=27852 vsize=15151156 memory=4096 CPUtime=0 cores=0,2,4,6
/proc/27854/task/27868/stat : 27868 (java) S 27852 27852 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475329277 15514783744 20731 33554432000 4194304 4196468 140733095925056 140515484552112 140516618832514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
Current children cumulated CPU time: 1.59 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 84380 KiB
[startup+1.50078 s]
/proc/loadavg: 7.83 7.79 7.84 11/237 27916
/proc/meminfo: memFree=12882916/32770624 swapFree=67002248/67108860
[pid=27852] ppid=27849 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/27852/stat : 27852 (xcsp3-exec) S 27849 27852 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475329269 115843072 364 33554432000 4194304 5098028 140730743612512 140730743610616 140212981682812 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 14565376 140730743616343 140730743616601 140730743616601 140730743619526 0
/proc/27852/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
/proc/27854/task/27868/stat : 27868 (java) S 27852 27852 25111 0 -1 1077944384 234 0 0 0 0 0 0 0 20 0 19 0 475329277 16131387392 74623 33554432000 4194304 4196468 140733095925056 140515484552112 140516618832514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27997] ppid=27852 vsize=15753308 memory=1998 CPUtime=4.24 cores=0,2,4,6
/proc/27854/task/27997/stat : 27997 (java) R 27852 27852 25111 0 -1 4202560 85 0 0 0 424 0 0 0 20 0 19 0 475329456 16131387392 74623 33554432000 4194304 4196468 140733095925056 140515467971960 140516253042944 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27998] ppid=27852 vsize=15753308 memory=81 CPUtime=3.6 cores=0,2,4,6
/proc/27854/task/27998/stat : 27998 (java) R 27852 27852 25111 0 -1 4202560 431 0 0 0 359 1 0 0 20 0 19 0 475329456 16131387392 74623 33554432000 4194304 4196468 140733095925056 140515463763064 140516253689049 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27999] ppid=27852 vsize=15753308 memory=1 CPUtime=3.38 cores=0,2,4,6
/proc/27854/task/27999/stat : 27999 (java) R 27852 27852 25111 0 -1 4202560 362 0 0 0 338 0 0 0 20 0 19 0 475329456 16131387392 74623 33554432000 4194304 4196468 140733095925056 140515464815752 140516256636294 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=28000] ppid=27852 vsize=15753308 memory=0 CPUtime=3.49 cores=0,2,4,6
/proc/27854/task/28000/stat : 28000 (java) R 27852 27852 25111 0 -1 4202560 172 0 0 0 349 0 0 0 20 0 19 0 475329456 16131387392 74623 33554432000 4194304 4196468 140733095925056 140515465866784 140516253139295 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
Current children cumulated CPU time: 24.76 s
Current children cumulated vsize: 15866436 KiB
Current children cumulated memory: 299948 KiB
[startup+8.20169 s]*
/proc/loadavg: 8.01 7.83 7.85 9/237 28000
/proc/meminfo: memFree=12704832/32770624 swapFree=67002248/67108860
[pid=27852] ppid=27849 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/27852/stat : 27852 (xcsp3-exec) S 27849 27852 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475329269 115843072 364 33554432000 4194304 5098028 140730743612512 140730743610616 140212981682812 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 14565376 140730743616343 140730743616601 140730743616601 140730743619526 0
/proc/27852/statm: 28282 364 305 221 0 87 0
[pid=27854] ppid=27852 vsize=15753308 memory=356136 CPUtime=31.15 cores=0,2,4,6
/proc/27854/stat : 27854 (java) S 27852 27852 25111 0 -1 1077944320 39223 0 0 0 3097 18 0 0 20 0 19 0 475329270 16131387392 89034 33554432000 4194304 4196468 140733095925056 140733095907600 140516618821367 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
/proc/27854/statm: 3938327 89034 3528 1 0 3899427 0
[pid=27854/tid=27855] ppid=27852 vsize=15753308 memory=4572714104722914957 CPUtime=0.81 cores=0,2,4,6
/proc/27854/task/27855/stat : 27855 (java) S 27852 27852 25111 0 -1 1077944384 9373 0 0 0 75 6 0 0 20 0 19 0 475329270 16131387392 89034 33554432000 4194304 4196468 140733095925056 140516623062144 140516618831573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27856] ppid=27852 vsize=15753308 memory=3472328295574039403 CPUtime=0.01 cores=0,2,4,6
/proc/27854/task/27856/stat : 27856 (java) S 27852 27852 25111 0 -1 1077944384 228 0 0 0 1 0 0 0 20 0 19 0 475329271 16131387392 89034 33554432000 4194304 4196468 140733095925056 140516571441552 140516618831573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27857] ppid=27852 vsize=15753308 memory=3472464026362644144 CPUtime=0.01 cores=0,2,4,6
/proc/27854/task/27857/stat : 27857 (java) S 27852 27852 25111 0 -1 1077944384 122 0 0 0 1 0 0 0 20 0 19 0 475329271 16131387392 89034 33554432000 4194304 4196468 140733095925056 140516570388752 140516618831573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27858] ppid=27852 vsize=15753308 memory=6944656592455359580 CPUtime=0.01 cores=0,2,4,6
/proc/27854/task/27858/stat : 27858 (java) S 27852 27852 25111 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 19 0 475329271 16131387392 89034 33554432000 4194304 4196468 140733095925056 140516569336464 140516618831573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27859] ppid=27852 vsize=15753308 memory=3472328296227418159 CPUtime=0.01 cores=0,2,4,6
/proc/27854/task/27859/stat : 27859 (java) S 27852 27852 25111 0 -1 1077944384 946 0 0 0 1 0 0 0 20 0 19 0 475329271 16131387392 89034 33554432000 4194304 4196468 140733095925056 140516568283664 140516618831573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27860] ppid=27852 vsize=15753308 memory=140128181498816 CPUtime=0 cores=0,2,4,6
/proc/27854/task/27860/stat : 27860 (java) S 27852 27852 25111 0 -1 1077944384 378 0 0 0 0 0 0 0 20 0 19 0 475329272 16131387392 89034 33554432000 4194304 4196468 140733095925056 140515492973168 140516618832514 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27861] ppid=27852 vsize=15753308 memory=3471202396320837679 CPUtime=0 cores=0,2,4,6
/proc/27854/task/27861/stat : 27861 (java) S 27852 27852 25111 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 19 0 475329273 16131387392 89034 33554432000 4194304 4196468 140733095925056 140515491919200 140516618831573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27862] ppid=27852 vsize=15753308 memory=140131897967483 CPUtime=0 cores=0,2,4,6
/proc/27854/task/27862/stat : 27862 (java) S 27852 27852 25111 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 19 0 475329273 16131387392 89034 33554432000 4194304 4196468 140733095925056 140515490866816 140516618831573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27863] ppid=27852 vsize=15753308 memory=280256146145840 CPUtime=0 cores=0,2,4,6
/proc/27854/task/27863/stat : 27863 (java) S 27852 27852 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475329275 16131387392 89034 33554432000 4194304 4196468 140733095925056 140515489815120 140516618839963 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27864] ppid=27852 vsize=15753308 memory=0 CPUtime=2.93 cores=0,2,4,6
/proc/27854/task/27864/stat : 27864 (java) S 27852 27852 25111 0 -1 1077944384 6794 0 0 0 292 1 0 0 20 0 19 0 475329276 16131387392 89034 33554432000 4194304 4196468 140733095925056 140515488761968 140516618832514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27865] ppid=27852 vsize=15753308 memory=140128073198511 CPUtime=3.38 cores=0,2,4,6
/proc/27854/task/27865/stat : 27865 (java) S 27852 27852 25111 0 -1 1077944384 11208 0 0 0 336 2 0 0 20 0 19 0 475329276 16131387392 89034 33554432000 4194304 4196468 140733095925056 140515487709168 140516618832514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27866] ppid=27852 vsize=15753308 memory=0 CPUtime=0.86 cores=0,2,4,6
/proc/27854/task/27866/stat : 27866 (java) S 27852 27852 25111 0 -1 1077944384 4995 0 0 0 85 1 0 0 20 0 19 0 475329276 16131387392 89034 33554432000 4194304 4196468 140733095925056 140515486656880 140516618832514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27867] ppid=27852 vsize=15753308 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27854/task/27867/stat : 27867 (java) S 27852 27852 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475329277 16131387392 89034 33554432000 4194304 4196468 140733095925056 140515485604320 140516618831573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27868] ppid=27852 vsize=15753308 memory=15111285586712216 CPUtime=0 cores=0,2,4,6
/proc/27854/task/27868/stat : 27868 (java) S 27852 27852 25111 0 -1 1077944384 234 0 0 0 0 0 0 0 20 0 19 0 475329277 16131387392 89034 33554432000 4194304 4196468 140733095925056 140515484552112 140516618832514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27997] ppid=27852 vsize=15753308 memory=3467825727408190768 CPUtime=5.83 cores=0,2,4,6
/proc/27854/task/27997/stat : 27997 (java) R 27852 27852 25111 0 -1 4202560 102 0 0 0 583 0 0 0 20 0 19 0 475329456 16131387392 89034 33554432000 4194304 4196468 140733095925056 140515467971624 140516253592989 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27998] ppid=27852 vsize=15753308 memory=2321805346481043104 CPUtime=5.16 cores=0,2,4,6
/proc/27854/task/27998/stat : 27998 (java) R 27852 27852 25111 0 -1 4202560 478 0 0 0 514 2 0 0 20 0 19 0 475329456 16131387392 89034 33554432000 4194304 4196468 140733095925056 140515463765320 140516254850969 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27999] ppid=27852 vsize=15753308 memory=8314877900371809289 CPUtime=4.9 cores=0,2,4,6
/proc/27854/task/27999/stat : 27999 (java) R 27852 27852 25111 0 -1 4202560 392 0 0 0 490 0 0 0 20 0 19 0 475329456 16131387392 89034 33554432000 4194304 4196468 140733095925056 140515464814480 140516255505888 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=28000] ppid=27852 vsize=15753308 memory=6443358498161447779 CPUtime=5.05 cores=0,2,4,6
/proc/27854/task/28000/stat : 28000 (java) R 27852 27852 25111 0 -1 4202560 178 0 0 0 505 0 0 0 20 0 19 0 475329456 16131387392 89034 33554432000 4194304 4196468 140733095925056 140515465867168 140516256929823 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
Current children cumulated CPU time: 31.15 s
Current children cumulated vsize: 15866436 KiB
Current children cumulated memory: 357592 KiB
[startup+9.00669 s]
/proc/loadavg: 8.01 7.83 7.85 9/237 28000
/proc/meminfo: memFree=12704832/32770624 swapFree=67002248/67108860
[pid=27852] ppid=27849 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/27852/stat : 27852 (xcsp3-exec) S 27849 27852 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475329269 115843072 364 33554432000 4194304 5098028 140730743612512 140730743610616 140212981682812 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 14565376 140730743616343 140730743616601 140730743616601 140730743619526 0
/proc/27852/statm: 28282 364 305 221 0 87 0
[pid=27854] ppid=27852 vsize=15753308 memory=356136 CPUtime=34.33 cores=0,2,4,6
/proc/27854/stat : 27854 (java) S 27852 27852 25111 0 -1 1077944320 39252 0 0 0 3415 18 0 0 20 0 19 0 475329270 16131387392 89034 33554432000 4194304 4196468 140733095925056 140733095907600 140516618821367 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
/proc/27854/statm: 3938327 89034 3528 1 0 3899427 0
[pid=27854/tid=27855] ppid=27852 vsize=15753308 memory=6943526294502006880 CPUtime=0.81 cores=0,2,4,6
/proc/27854/task/27855/stat : 27855 (java) S 27852 27852 25111 0 -1 1077944384 9373 0 0 0 75 6 0 0 20 0 19 0 475329270 16131387392 89034 33554432000 4194304 4196468 140733095925056 140516623062144 140516618831573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27856] ppid=27852 vsize=15753308 memory=6943526294502006880 CPUtime=0.01 cores=0,2,4,6
/proc/27854/task/27856/stat : 27856 (java) S 27852 27852 25111 0 -1 1077944384 228 0 0 0 1 0 0 0 20 0 19 0 475329271 16131387392 89034 33554432000 4194304 4196468 140733095925056 140516571441552 140516618831573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27857] ppid=27852 vsize=15753308 memory=6944656592455097440 CPUtime=0.01 cores=0,2,4,6
/proc/27854/task/27857/stat : 27857 (java) S 27852 27852 25111 0 -1 1077944384 122 0 0 0 1 0 0 0 20 0 19 0 475329271 16131387392 89034 33554432000 4194304 4196468 140733095925056 140516570388752 140516618831573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27858] ppid=27852 vsize=15753308 memory=6944656592387989600 CPUtime=0.01 cores=0,2,4,6
/proc/27854/task/27858/stat : 27858 (java) S 27852 27852 25111 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 19 0 475329271 16131387392 89034 33554432000 4194304 4196468 140733095925056 140516569336464 140516618831573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27859] ppid=27852 vsize=15753308 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/27854/task/27859/stat : 27859 (java) S 27852 27852 25111 0 -1 1077944384 946 0 0 0 1 0 0 0 20 0 19 0 475329271 16131387392 89034 33554432000 4194304 4196468 140733095925056 140516568283664 140516618831573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27860] ppid=27852 vsize=15753308 memory=140128073133557 CPUtime=0 cores=0,2,4,6
/proc/27854/task/27860/stat : 27860 (java) S 27852 27852 25111 0 -1 1077944384 378 0 0 0 0 0 0 0 20 0 19 0 475329272 16131387392 89034 33554432000 4194304 4196468 140733095925056 140515492973168 140516618832514 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27861] ppid=27852 vsize=15753308 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/27854/task/27861/stat : 27861 (java) S 27852 27852 25111 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 19 0 475329273 16131387392 89034 33554432000 4194304 4196468 140733095925056 140515491919200 140516618831573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27862] ppid=27852 vsize=15753308 memory=776 CPUtime=0 cores=0,2,4,6
/proc/27854/task/27862/stat : 27862 (java) S 27852 27852 25111 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 19 0 475329273 16131387392 89034 33554432000 4194304 4196468 140733095925056 140515490866816 140516618831573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27863] ppid=27852 vsize=15753308 memory=3540 CPUtime=0 cores=0,2,4,6
/proc/27854/task/27863/stat : 27863 (java) S 27852 27852 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475329275 16131387392 89034 33554432000 4194304 4196468 140733095925056 140515489815120 140516618839963 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27864] ppid=27852 vsize=15753308 memory=1220 CPUtime=2.93 cores=0,2,4,6
/proc/27854/task/27864/stat : 27864 (java) S 27852 27852 25111 0 -1 1077944384 6794 0 0 0 292 1 0 0 20 0 19 0 475329276 16131387392 89034 33554432000 4194304 4196468 140733095925056 140515488761968 140516618832514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27865] ppid=27852 vsize=15753308 memory=10600 CPUtime=3.38 cores=0,2,4,6
/proc/27854/task/27865/stat : 27865 (java) S 27852 27852 25111 0 -1 1077944384 11208 0 0 0 336 2 0 0 20 0 19 0 475329276 16131387392 89034 33554432000 4194304 4196468 140733095925056 140515487709168 140516618832514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27866] ppid=27852 vsize=15753308 memory=1736 CPUtime=0.86 cores=0,2,4,6
/proc/27854/task/27866/stat : 27866 (java) S 27852 27852 25111 0 -1 1077944384 5001 0 0 0 85 1 0 0 20 0 19 0 475329276 16131387392 89034 33554432000 4194304 4196468 140733095925056 140515486656880 140516618832514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27867] ppid=27852 vsize=15753308 memory=6064 CPUtime=0 cores=0,2,4,6
/proc/27854/task/27867/stat : 27867 (java) S 27852 27852 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475329277 16131387392 89034 33554432000 4194304 4196468 140733095925056 140515485604320 140516618831573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27868] ppid=27852 vsize=15753308 memory=636 CPUtime=0 cores=0,2,4,6
/proc/27854/task/27868/stat : 27868 (java) S 27852 27852 25111 0 -1 1077944384 234 0 0 0 0 0 0 0 20 0 19 0 475329277 16131387392 89034 33554432000 4194304 4196468 140733095925056 140515484552112 140516618832514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27997] ppid=27852 vsize=15753308 memory=2836 CPUtime=6.62 cores=0,2,4,6
/proc/27854/task/27997/stat : 27997 (java) R 27852 27852 25111 0 -1 4202560 102 0 0 0 662 0 0 0 20 0 19 0 475329456 16131387392 89034 33554432000 4194304 4196468 140733095925056 140515467971624 140516256377459 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27998] ppid=27852 vsize=15753308 memory=20004 CPUtime=5.95 cores=0,2,4,6
/proc/27854/task/27998/stat : 27998 (java) R 27852 27852 25111 0 -1 4202560 486 0 0 0 593 2 0 0 20 0 19 0 475329456 16131387392 89034 33554432000 4194304 4196468 140733095925056 140515463765320 140516256381145 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27999] ppid=27852 vsize=15753308 memory=4817 CPUtime=5.7 cores=0,2,4,6
/proc/27854/task/27999/stat : 27999 (java) R 27852 27852 25111 0 -1 4202560 398 0 0 0 570 0 0 0 20 0 19 0 475329456 16131387392 89034 33554432000 4194304 4196468 140733095925056 140515464814480 140516257252549 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=28000] ppid=27852 vsize=15753308 memory=7017260669523223125 CPUtime=5.85 cores=0,2,4,6
/proc/27854/task/28000/stat : 28000 (java) R 27852 27852 25111 0 -1 4202560 187 0 0 0 585 0 0 0 20 0 19 0 475329456 16131387392 89034 33554432000 4194304 4196468 140733095925056 140515465868664 140516255967493 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
Current children cumulated CPU time: 34.33 s
Current children cumulated vsize: 15866436 KiB
Current children cumulated memory: 357592 KiB
[startup+9.20669 s]*
/proc/loadavg: 8.01 7.83 7.85 9/237 28000
/proc/meminfo: memFree=12704832/32770624 swapFree=67002248/67108860
[pid=27852] ppid=27849 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/27852/stat : 27852 (xcsp3-exec) S 27849 27852 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475329269 115843072 364 33554432000 4194304 5098028 140730743612512 140730743610616 140212981682812 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 14565376 140730743616343 140730743616601 140730743616601 140730743619526 0
/proc/27852/statm: 28282 364 305 221 0 87 0
[pid=27854] ppid=27852 vsize=15753308 memory=356136 CPUtime=35.16 cores=0,2,4,6
/proc/27854/stat : 27854 (java) S 27852 27852 25111 0 -1 1077944320 39262 0 0 0 3498 18 0 0 20 0 19 0 475329270 16131387392 89034 33554432000 4194304 4196468 140733095925056 140733095907600 140516618821367 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
/proc/27854/statm: 3938327 89034 3528 1 0 3899427 0
[pid=27854/tid=27855] ppid=27852 vsize=15753308 memory=4026532046 CPUtime=0.81 cores=0,2,4,6
/proc/27854/task/27855/stat : 27855 (java) S 27852 27852 25111 0 -1 1077944384 9373 0 0 0 75 6 0 0 20 0 19 0 475329270 16131387392 89034 33554432000 4194304 4196468 140733095925056 140516623062144 140516618831573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27856] ppid=27852 vsize=15753308 memory=13598 CPUtime=0.01 cores=0,2,4,6
/proc/27854/task/27856/stat : 27856 (java) S 27852 27852 25111 0 -1 1077944384 228 0 0 0 1 0 0 0 20 0 19 0 475329271 16131387392 89034 33554432000 4194304 4196468 140733095925056 140516571441552 140516618831573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27857] ppid=27852 vsize=15753308 memory=140128184994146 CPUtime=0.01 cores=0,2,4,6
/proc/27854/task/27857/stat : 27857 (java) S 27852 27852 25111 0 -1 1077944384 122 0 0 0 1 0 0 0 20 0 19 0 475329271 16131387392 89034 33554432000 4194304 4196468 140733095925056 140516570388752 140516618831573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27858] ppid=27852 vsize=15753308 memory=-7357787915995474596 CPUtime=0.01 cores=0,2,4,6
/proc/27854/task/27858/stat : 27858 (java) S 27852 27852 25111 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 19 0 475329271 16131387392 89034 33554432000 4194304 4196468 140733095925056 140516569336464 140516618831573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27859] ppid=27852 vsize=15753308 memory=7311435031524761458 CPUtime=0.01 cores=0,2,4,6
/proc/27854/task/27859/stat : 27859 (java) S 27852 27852 25111 0 -1 1077944384 946 0 0 0 1 0 0 0 20 0 19 0 475329271 16131387392 89034 33554432000 4194304 4196468 140733095925056 140516568283664 140516618831573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27860] ppid=27852 vsize=15753308 memory=3472468424409155244 CPUtime=0 cores=0,2,4,6
/proc/27854/task/27860/stat : 27860 (java) S 27852 27852 25111 0 -1 1077944384 378 0 0 0 0 0 0 0 20 0 19 0 475329272 16131387392 89034 33554432000 4194304 4196468 140733095925056 140515492973168 140516618832514 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27861] ppid=27852 vsize=15753308 memory=3472328279047811119 CPUtime=0 cores=0,2,4,6
/proc/27854/task/27861/stat : 27861 (java) S 27852 27852 25111 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 19 0 475329273 16131387392 89034 33554432000 4194304 4196468 140733095925056 140515491919200 140516618831573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27862] ppid=27852 vsize=15753308 memory=-4695052241013923951 CPUtime=0 cores=0,2,4,6
/proc/27854/task/27862/stat : 27862 (java) S 27852 27852 25111 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 19 0 475329273 16131387392 89034 33554432000 4194304 4196468 140733095925056 140515490866816 140516618831573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27863] ppid=27852 vsize=15753308 memory=7084818013876338787 CPUtime=0 cores=0,2,4,6
/proc/27854/task/27863/stat : 27863 (java) S 27852 27852 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475329275 16131387392 89034 33554432000 4194304 4196468 140733095925056 140515489815120 140516618839963 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27864] ppid=27852 vsize=15753308 memory=0 CPUtime=2.93 cores=0,2,4,6
/proc/27854/task/27864/stat : 27864 (java) S 27852 27852 25111 0 -1 1077944384 6794 0 0 0 292 1 0 0 20 0 19 0 475329276 16131387392 89034 33554432000 4194304 4196468 140733095925056 140515488761968 140516618832514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27865] ppid=27852 vsize=15753308 memory=8029366422141416504 CPUtime=3.38 cores=0,2,4,6
/proc/27854/task/27865/stat : 27865 (java) S 27852 27852 25111 0 -1 1077944384 11208 0 0 0 336 2 0 0 20 0 19 0 475329276 16131387392 89034 33554432000 4194304 4196468 140733095925056 140515487709168 140516618832514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27866] ppid=27852 vsize=15753308 memory=3472468424409155244 CPUtime=0.86 cores=0,2,4,6
/proc/27854/task/27866/stat : 27866 (java) S 27852 27852 25111 0 -1 1077944384 5001 0 0 0 85 1 0 0 20 0 19 0 475329276 16131387392 89034 33554432000 4194304 4196468 140733095925056 140515486656880 140516618832514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27867] ppid=27852 vsize=15753308 memory=140128072761463 CPUtime=0 cores=0,2,4,6
/proc/27854/task/27867/stat : 27867 (java) S 27852 27852 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475329277 16131387392 89034 33554432000 4194304 4196468 140733095925056 140515485604320 140516618831573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27868] ppid=27852 vsize=15753308 memory=3472468424409155248 CPUtime=0 cores=0,2,4,6
/proc/27854/task/27868/stat : 27868 (java) S 27852 27852 25111 0 -1 1077944384 234 0 0 0 0 0 0 0 20 0 19 0 475329277 16131387392 89034 33554432000 4194304 4196468 140733095925056 140515484552112 140516618832514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27997] ppid=27852 vsize=15753308 memory=0 CPUtime=6.83 cores=0,2,4,6
/proc/27854/task/27997/stat : 27997 (java) R 27852 27852 25111 0 -1 4202560 102 0 0 0 683 0 0 0 20 0 19 0 475329456 16131387392 89034 33554432000 4194304 4196468 140733095925056 140515467971424 140516256312447 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27998] ppid=27852 vsize=15753308 memory=0 CPUtime=6.16 cores=0,2,4,6
/proc/27854/task/27998/stat : 27998 (java) R 27852 27852 25111 0 -1 4202560 490 0 0 0 614 2 0 0 20 0 19 0 475329456 16131387392 89034 33554432000 4194304 4196468 140733095925056 140515463762472 140516256670140 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=27999] ppid=27852 vsize=15753308 memory=0 CPUtime=5.9 cores=0,2,4,6
/proc/27854/task/27999/stat : 27999 (java) R 27852 27852 25111 0 -1 4202560 403 0 0 0 590 0 0 0 20 0 19 0 475329456 16131387392 89034 33554432000 4194304 4196468 140733095925056 140515464814480 140516257440291 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
[pid=27854/tid=28000] ppid=27852 vsize=15753308 memory=0 CPUtime=6.06 cores=0,2,4,6
/proc/27854/task/28000/stat : 28000 (java) R 27852 27852 25111 0 -1 4202560 188 0 0 0 606 0 0 0 20 0 19 0 475329456 16131387392 89034 33554432000 4194304 4196468 140733095925056 140515465866912 140516256311600 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36294656 140733095928795 140733095928970 140733095928970 140733095931855 0
Current children cumulated CPU time: 35.16 s
Current children cumulated vsize: 15866436 KiB
Current children cumulated memory: 357592 KiB
Child status: 0
Real time (s): 9.29624
CPU time (s): 35.4513
CPU user time (s): 35.26
CPU system time (s): 0.191322
CPU usage (%): 381.351
Max. virtual memory (cumulated for all children) (KiB): 15868368
Max. memory (cumulated for all children) (KiB): 357592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 35.26
system time used= 0.191322
maximum resident set size= 356476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40344
page faults= 0
swaps= 0
block input operations= 8
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3815
involuntary context switches= 1477
# summary of solver processes directly reported to runsolver:
# pid: 27852
# total CPU time (s): 35.4513
# total CPU user time (s): 35.26
# total CPU system time (s): 0.191322
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.069634 second user time and 0.159301 second system time
The end