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 (15312 MiB free)
memory of node 1: 16384 MiB (14594 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392889-1568315579/watcher-4392889-1568315579 -o /tmp/evaluation-result-4392889-1568315579/solver-4392889-1568315579 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568308867-14285 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 912610393 HOME/instance-4392889-1568315579.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
solver pid=17025, runsolver pid=17022
Current StackSize limit: 8192 KiB
[startup+0.100099 s]*
/proc/loadavg: 6.72 7.30 7.17 6/234 17041
/proc/meminfo: memFree=30604288/32770624 swapFree=66920672/67108860
[pid=17025] ppid=17022 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/17025/stat : 17025 (xcsp3-exec) S 17022 17025 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407814009 115843072 362 33554432000 4194304 5098028 140733270736320 140733270734424 140338531357308 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28631040 140733270741883 140733270742125 140733270742125 140733270745034 0
/proc/17025/statm: 28282 362 304 221 0 87 0
[pid=17027] ppid=17025 vsize=15144768 memory=29312 CPUtime=0.13 cores=0,2,4,6
/proc/17027/stat : 17027 (java) S 17025 17025 14254 0 -1 1077944320 5804 0 0 0 12 1 0 0 20 0 15 0 407814009 15508242432 7328 33554432000 4194304 4196468 140734042954208 140734042936752 140688146058999 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
/proc/17027/statm: 3786192 7328 3116 1 0 3748377 0
[pid=17027/tid=17028] ppid=17025 vsize=15144768 memory=576460756329955459 CPUtime=0.08 cores=0,2,4,6
/proc/17027/task/17028/stat : 17028 (java) R 17025 17025 14254 0 -1 4202560 3704 0 0 0 8 0 0 0 20 0 15 0 407814009 15508242432 7328 33554432000 4194304 4196468 140734042954208 140688150291776 140688146080925 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17029] ppid=17025 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17029/stat : 17029 (java) S 17025 17025 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407814010 15508242432 7328 33554432000 4194304 4196468 140734042954208 140688098679568 140688146069205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17030] ppid=17025 vsize=15144768 memory=140065994702671 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17030/stat : 17030 (java) S 17025 17025 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407814010 15508242432 7328 33554432000 4194304 4196468 140734042954208 140688097627024 140688146069205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17031] ppid=17025 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17031/stat : 17031 (java) S 17025 17025 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407814010 15508242432 7328 33554432000 4194304 4196468 140734042954208 140687736495120 140688146069205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17032] ppid=17025 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17032/stat : 17032 (java) S 17025 17025 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407814010 15508242432 7328 33554432000 4194304 4196468 140734042954208 140687735442576 140688146069205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17033] ppid=17025 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17033/stat : 17033 (java) S 17025 17025 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407814012 15508242432 7328 33554432000 4194304 4196468 140734042954208 140687020070896 140688146070146 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17034] ppid=17025 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17034/stat : 17034 (java) S 17025 17025 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407814012 15508242432 7328 33554432000 4194304 4196468 140734042954208 140687019017120 140688146069205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17035] ppid=17025 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17035/stat : 17035 (java) S 17025 17025 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407814012 15508242432 7328 33554432000 4194304 4196468 140734042954208 140687017964528 140688146069205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17036] ppid=17025 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17036/stat : 17036 (java) S 17025 17025 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407814015 15508242432 7328 33554432000 4194304 4196468 140734042954208 140687016913104 140688146077595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17037] ppid=17025 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17037/stat : 17037 (java) R 17025 17025 14254 0 -1 1077944384 319 0 0 0 0 0 0 0 20 0 15 0 407814015 15508242432 7328 33554432000 4194304 4196468 140734042954208 140687015860720 140688146070146 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17038] ppid=17025 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17038/stat : 17038 (java) S 17025 17025 14254 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 407814015 15508242432 7328 33554432000 4194304 4196468 140734042954208 140687014808176 140688146070146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17039] ppid=17025 vsize=15144768 memory=140065994688128 CPUtime=0.02 cores=0,2,4,6
/proc/17027/task/17039/stat : 17039 (java) S 17025 17025 14254 0 -1 1077944384 354 0 0 0 2 0 0 0 20 0 15 0 407814015 15508242432 7328 33554432000 4194304 4196468 140734042954208 140687013755632 140688146070146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17040] ppid=17025 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17040/stat : 17040 (java) S 17025 17025 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407814015 15508242432 7328 33554432000 4194304 4196468 140734042954208 140687012703328 140688146069205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17041] ppid=17025 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17041/stat : 17041 (java) S 17025 17025 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407814015 15508242432 7328 33554432000 4194304 4196468 140734042954208 140687011649840 140688146070146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30760 KiB
[startup+0.210748 s]*
/proc/loadavg: 6.72 7.30 7.17 6/234 17041
/proc/meminfo: memFree=30591744/32770624 swapFree=66920672/67108860
[pid=17025] ppid=17022 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/17025/stat : 17025 (xcsp3-exec) S 17022 17025 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407814009 115843072 362 33554432000 4194304 5098028 140733270736320 140733270734424 140338531357308 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28631040 140733270741883 140733270742125 140733270742125 140733270745034 0
/proc/17025/statm: 28282 362 304 221 0 87 0
[pid=17027] ppid=17025 vsize=15144768 memory=40204 CPUtime=0.34 cores=0,2,4,6
/proc/17027/stat : 17027 (java) S 17025 17025 14254 0 -1 1077944320 9281 0 0 0 31 3 0 0 20 0 15 0 407814009 15508242432 10051 33554432000 4194304 4196468 140734042954208 140734042936752 140688146058999 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
/proc/17027/statm: 3786192 10051 3300 1 0 3748377 0
[pid=17027/tid=17028] ppid=17025 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/17027/task/17028/stat : 17028 (java) R 17025 17025 14254 0 -1 4202560 6554 0 0 0 18 2 0 0 20 0 15 0 407814009 15508242432 10051 33554432000 4194304 4196468 140734042954208 140688150291728 140688113658853 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17029] ppid=17025 vsize=15144768 memory=10592 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17029/stat : 17029 (java) S 17025 17025 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407814010 15508242432 10051 33554432000 4194304 4196468 140734042954208 140688098679568 140688146069205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17030] ppid=17025 vsize=15144768 memory=288370442146399872 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17030/stat : 17030 (java) S 17025 17025 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407814010 15508242432 10051 33554432000 4194304 4196468 140734042954208 140688097627024 140688146069205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17031] ppid=17025 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17031/stat : 17031 (java) S 17025 17025 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407814010 15508242432 10051 33554432000 4194304 4196468 140734042954208 140687736495120 140688146069205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17032] ppid=17025 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17032/stat : 17032 (java) S 17025 17025 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407814010 15508242432 10051 33554432000 4194304 4196468 140734042954208 140687735442576 140688146069205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17033] ppid=17025 vsize=15144768 memory=140065994688128 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17033/stat : 17033 (java) S 17025 17025 14254 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 407814012 15508242432 10051 33554432000 4194304 4196468 140734042954208 140687020070896 140688146070146 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17034] ppid=17025 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17034/stat : 17034 (java) S 17025 17025 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407814012 15508242432 10051 33554432000 4194304 4196468 140734042954208 140687019017120 140688146069205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17035] ppid=17025 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17035/stat : 17035 (java) S 17025 17025 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407814012 15508242432 10051 33554432000 4194304 4196468 140734042954208 140687017964528 140688146069205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17036] ppid=17025 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17036/stat : 17036 (java) S 17025 17025 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407814015 15508242432 10051 33554432000 4194304 4196468 140734042954208 140687016913104 140688146077595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17037] ppid=17025 vsize=15144768 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/17027/task/17037/stat : 17037 (java) S 17025 17025 14254 0 -1 1077944384 352 0 0 0 1 0 0 0 20 0 15 0 407814015 15508242432 10051 33554432000 4194304 4196468 140734042954208 140687015860720 140688146070146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17038] ppid=17025 vsize=15144768 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/17027/task/17038/stat : 17038 (java) S 17025 17025 14254 0 -1 1077944384 284 0 0 0 3 0 0 0 20 0 15 0 407814015 15508242432 10051 33554432000 4194304 4196468 140734042954208 140687014808176 140688146070146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17039] ppid=17025 vsize=15144768 memory=140065994688128 CPUtime=0.07 cores=0,2,4,6
/proc/17027/task/17039/stat : 17039 (java) R 17025 17025 14254 0 -1 4202560 783 0 0 0 7 0 0 0 20 0 15 0 407814015 15508242432 10051 33554432000 4194304 4196468 140734042954208 140687013755440 140688130303265 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17040] ppid=17025 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17040/stat : 17040 (java) S 17025 17025 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407814015 15508242432 10051 33554432000 4194304 4196468 140734042954208 140687012703328 140688146069205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17041] ppid=17025 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17041/stat : 17041 (java) S 17025 17025 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407814015 15508242432 10051 33554432000 4194304 4196468 140734042954208 140687011649840 140688146070146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41652 KiB
[startup+0.310835 s]*
/proc/loadavg: 6.72 7.30 7.17 8/234 17041
/proc/meminfo: memFree=30587332/32770624 swapFree=66920672/67108860
[pid=17025] ppid=17022 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/17025/stat : 17025 (xcsp3-exec) S 17022 17025 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407814009 115843072 362 33554432000 4194304 5098028 140733270736320 140733270734424 140338531357308 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28631040 140733270741883 140733270742125 140733270742125 140733270745034 0
/proc/17025/statm: 28282 362 304 221 0 87 0
[pid=17027] ppid=17025 vsize=15149024 memory=49960 CPUtime=0.53 cores=0,2,4,6
/proc/17027/stat : 17027 (java) S 17025 17025 14254 0 -1 1077944320 10747 0 0 0 49 4 0 0 20 0 15 0 407814009 15512600576 12490 33554432000 4194304 4196468 140734042954208 140734042936752 140688146058999 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
/proc/17027/statm: 3787256 12490 3377 1 0 3748377 0
[pid=17027/tid=17028] ppid=17025 vsize=15149024 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/17027/task/17028/stat : 17028 (java) R 17025 17025 14254 0 -1 4202560 7698 0 0 0 27 3 0 0 20 0 15 0 407814009 15512600576 12490 33554432000 4194304 4196468 140734042954208 140688150291424 140688130139486 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17029] ppid=17025 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17029/stat : 17029 (java) S 17025 17025 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407814010 15512600576 12490 33554432000 4194304 4196468 140734042954208 140688098679568 140688146069205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17030] ppid=17025 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17030/stat : 17030 (java) S 17025 17025 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407814010 15512600576 12490 33554432000 4194304 4196468 140734042954208 140688097627024 140688146069205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17031] ppid=17025 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17031/stat : 17031 (java) S 17025 17025 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407814010 15512600576 12490 33554432000 4194304 4196468 140734042954208 140687736495120 140688146069205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17032] ppid=17025 vsize=15149024 memory=-4190076264842474805 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17032/stat : 17032 (java) S 17025 17025 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407814010 15512600576 12490 33554432000 4194304 4196468 140734042954208 140687735442576 140688146069205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17033] ppid=17025 vsize=15149024 memory=-7377628861284532383 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17033/stat : 17033 (java) S 17025 17025 14254 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 407814012 15512600576 12490 33554432000 4194304 4196468 140734042954208 140687020070896 140688146070146 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17034] ppid=17025 vsize=15149024 memory=6944656425123485561 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17034/stat : 17034 (java) S 17025 17025 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407814012 15512600576 12490 33554432000 4194304 4196468 140734042954208 140687019017120 140688146069205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17035] ppid=17025 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17035/stat : 17035 (java) S 17025 17025 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407814012 15512600576 12490 33554432000 4194304 4196468 140734042954208 140687017964528 140688146069205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17036] ppid=17025 vsize=15149024 memory=4627853888499060086 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17036/stat : 17036 (java) S 17025 17025 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407814015 15512600576 12490 33554432000 4194304 4196468 140734042954208 140687016913104 140688146077595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17037] ppid=17025 vsize=15149024 memory=7827413994055111515 CPUtime=0.03 cores=0,2,4,6
/proc/17027/task/17037/stat : 17037 (java) S 17025 17025 14254 0 -1 1077944384 413 0 0 0 3 0 0 0 20 0 15 0 407814015 15512600576 12490 33554432000 4194304 4196468 140734042954208 140687015860720 140688146070146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17038] ppid=17025 vsize=15149024 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/17027/task/17038/stat : 17038 (java) R 17025 17025 14254 0 -1 4202560 396 0 0 0 5 0 0 0 20 0 15 0 407814015 15512600576 12490 33554432000 4194304 4196468 140734042954208 140687014808176 140688125302855 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17039] ppid=17025 vsize=15149024 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/17027/task/17039/stat : 17039 (java) S 17025 17025 14254 0 -1 1077944384 935 0 0 0 12 0 0 0 20 0 15 0 407814015 15512600576 12490 33554432000 4194304 4196468 140734042954208 140687013755632 140688146070146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17040] ppid=17025 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17040/stat : 17040 (java) S 17025 17025 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407814015 15512600576 12490 33554432000 4194304 4196468 140734042954208 140687012703328 140688146069205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17041] ppid=17025 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17041/stat : 17041 (java) S 17025 17025 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407814015 15512600576 12490 33554432000 4194304 4196468 140734042954208 140687011649840 140688146070146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51408 KiB
[startup+0.701299 s]
/proc/loadavg: 6.66 7.27 7.16 8/234 17041
/proc/meminfo: memFree=30573508/32770624 swapFree=66920672/67108860
[pid=17025] ppid=17022 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/17025/stat : 17025 (xcsp3-exec) S 17022 17025 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407814009 115843072 362 33554432000 4194304 5098028 140733270736320 140733270734424 140338531357308 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28631040 140733270741883 140733270742125 140733270742125 140733270745034 0
/proc/17025/statm: 28282 362 304 221 0 87 0
[pid=17027] ppid=17025 vsize=15151148 memory=97816 CPUtime=1.6 cores=0,2,4,6
/proc/17027/stat : 17027 (java) S 17025 17025 14254 0 -1 1077944320 14090 0 0 0 154 6 0 0 20 0 15 0 407814009 15514775552 24454 33554432000 4194304 4196468 140734042954208 140734042936752 140688146058999 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
/proc/17027/statm: 3787787 24454 3458 1 0 3748889 0
[pid=17027/tid=17028] ppid=17025 vsize=15151148 memory=-3704326594973231466 CPUtime=0.67 cores=0,2,4,6
/proc/17027/task/17028/stat : 17028 (java) R 17025 17025 14254 0 -1 4202560 9129 0 0 0 63 4 0 0 20 0 15 0 407814009 15514775552 24454 33554432000 4194304 4196468 140734042954208 140688150291752 140688126025990 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17029] ppid=17025 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17029/stat : 17029 (java) S 17025 17025 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407814010 15514775552 24454 33554432000 4194304 4196468 140734042954208 140688098679568 140688146069205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17030] ppid=17025 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17030/stat : 17030 (java) S 17025 17025 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407814010 15514775552 24454 33554432000 4194304 4196468 140734042954208 140688097627024 140688146069205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17031] ppid=17025 vsize=15151148 memory=708 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17031/stat : 17031 (java) S 17025 17025 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407814010 15514775552 24492 33554432000 4194304 4196468 140734042954208 140687736495120 140688146069205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17032] ppid=17025 vsize=15151148 memory=9364 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17032/stat : 17032 (java) S 17025 17025 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407814010 15514775552 24492 33554432000 4194304 4196468 140734042954208 140687735442576 140688146069205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17033] ppid=17025 vsize=15151148 memory=1120 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17033/stat : 17033 (java) S 17025 17025 14254 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 407814012 15514775552 24492 33554432000 4194304 4196468 140734042954208 140687020070896 140688146070146 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17034] ppid=17025 vsize=15151148 memory=776 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17034/stat : 17034 (java) S 17025 17025 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407814012 15514775552 24492 33554432000 4194304 4196468 140734042954208 140687019017120 140688146069205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17035] ppid=17025 vsize=15151148 memory=1552 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17035/stat : 17035 (java) S 17025 17025 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407814012 15514775552 24492 33554432000 4194304 4196468 140734042954208 140687017964528 140688146069205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17036] ppid=17025 vsize=15151148 memory=7956 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17036/stat : 17036 (java) S 17025 17025 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407814015 15514775552 24492 33554432000 4194304 4196468 140734042954208 140687016913104 140688146077595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17037] ppid=17025 vsize=15151148 memory=3444 CPUtime=0.25 cores=0,2,4,6
/proc/17027/task/17037/stat : 17037 (java) R 17025 17025 14254 0 -1 4202560 863 0 0 0 25 0 0 0 20 0 15 0 407814015 15514775552 24492 33554432000 4194304 4196468 140734042954208 140687015851696 140688127576907 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17038] ppid=17025 vsize=15151148 memory=1556 CPUtime=0.28 cores=0,2,4,6
/proc/17027/task/17038/stat : 17038 (java) R 17025 17025 14254 0 -1 4202560 1031 0 0 0 28 0 0 0 20 0 15 0 407814015 15514775552 24492 33554432000 4194304 4196468 140734042954208 140687014799152 140688131174143 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17039] ppid=17025 vsize=15151148 memory=2832 CPUtime=0.36 cores=0,2,4,6
/proc/17027/task/17039/stat : 17039 (java) R 17025 17025 14254 0 -1 4202560 1761 0 0 0 36 0 0 0 20 0 15 0 407814015 15514775552 24492 33554432000 4194304 4196468 140734042954208 140687013755632 140688139158699 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17040] ppid=17025 vsize=15151148 memory=984 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17040/stat : 17040 (java) S 17025 17025 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407814015 15514775552 24492 33554432000 4194304 4196468 140734042954208 140687012703328 140688146069205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17041] ppid=17025 vsize=15151148 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17041/stat : 17041 (java) S 17025 17025 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407814015 15514775552 24492 33554432000 4194304 4196468 140734042954208 140687011649840 140688146070146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
Current children cumulated CPU time: 1.6 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 99264 KiB
[startup+1.50631 s]
/proc/loadavg: 6.66 7.27 7.16 13/238 17045
/proc/meminfo: memFree=30487644/32770624 swapFree=66920672/67108860
[pid=17025] ppid=17022 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/17025/stat : 17025 (xcsp3-exec) S 17022 17025 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407814009 115843072 362 33554432000 4194304 5098028 140733270736320 140733270734424 140338531357308 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28631040 140733270741883 140733270742125 140733270742125 140733270745034 0
/proc/17025/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 3143692 KiB
[startup+449.601 s]
/proc/loadavg: 8.17 8.21 7.68 10/237 17080
/proc/meminfo: memFree=26026736/32770624 swapFree=66920672/67108860
[pid=17025] ppid=17022 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/17025/stat : 17025 (xcsp3-exec) S 17022 17025 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407814009 115843072 362 33554432000 4194304 5098028 140733270736320 140733270734424 140338531357308 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28631040 140733270741883 140733270742125 140733270742125 140733270745034 0
/proc/17025/statm: 28282 362 304 221 0 87 0
[pid=17027] ppid=17025 vsize=15417404 memory=3142244 CPUtime=1788.52 cores=0,2,4,6
/proc/17027/stat : 17027 (java) S 17025 17025 14254 0 -1 1077944320 71578 0 0 0 178766 86 0 0 20 0 19 0 407814009 15787421696 785561 33554432000 4194304 4196468 140734042954208 140734042936752 140688146058999 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
/proc/17027/statm: 3854351 785561 3516 1 0 3815453 0
[pid=17027/tid=17028] ppid=17025 vsize=15417404 memory=6791534058613427641 CPUtime=0.78 cores=0,2,4,6
/proc/17027/task/17028/stat : 17028 (java) S 17025 17025 14254 0 -1 1077944384 9220 0 0 0 74 4 0 0 20 0 19 0 407814009 15787421696 785561 33554432000 4194304 4196468 140734042954208 140688150299776 140688146069205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17029] ppid=17025 vsize=15417404 memory=288230596050944315 CPUtime=0.25 cores=0,2,4,6
/proc/17027/task/17029/stat : 17029 (java) S 17025 17025 14254 0 -1 1077944384 1515 0 0 0 20 5 0 0 20 0 19 0 407814010 15787421696 785561 33554432000 4194304 4196468 140734042954208 140688098679568 140688146069205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17030] ppid=17025 vsize=15417404 memory=1448 CPUtime=0.25 cores=0,2,4,6
/proc/17027/task/17030/stat : 17030 (java) S 17025 17025 14254 0 -1 1077944384 1967 0 0 0 20 5 0 0 20 0 19 0 407814010 15787421696 785561 33554432000 4194304 4196468 140734042954208 140688097627024 140688146069205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17031] ppid=17025 vsize=15417404 memory=3142244 CPUtime=0.22 cores=0,2,4,6
/proc/17027/task/17031/stat : 17031 (java) S 17025 17025 14254 0 -1 1077944384 1367 0 0 0 18 4 0 0 20 0 19 0 407814010 15787421696 785561 33554432000 4194304 4196468 140734042954208 140687736495120 140688146069205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17032] ppid=17025 vsize=15417404 memory=-3622645143214314312 CPUtime=0.22 cores=0,2,4,6
/proc/17027/task/17032/stat : 17032 (java) S 17025 17025 14254 0 -1 1077944384 1350 0 0 0 18 4 0 0 20 0 19 0 407814010 15787421696 785561 33554432000 4194304 4196468 140734042954208 140687735442576 140688146069205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17033] ppid=17025 vsize=15417404 memory=3848 CPUtime=0.03 cores=0,2,4,6
/proc/17027/task/17033/stat : 17033 (java) S 17025 17025 14254 0 -1 1077944384 3797 0 0 0 2 1 0 0 20 0 19 0 407814012 15787421696 785561 33554432000 4194304 4196468 140734042954208 140687020070896 140688146070146 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17034] ppid=17025 vsize=15417404 memory=2928 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17034/stat : 17034 (java) S 17025 17025 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 407814012 15787421696 785561 33554432000 4194304 4196468 140734042954208 140687019017120 140688146069205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17035] ppid=17025 vsize=15417404 memory=2596 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17035/stat : 17035 (java) S 17025 17025 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 407814012 15787421696 785561 33554432000 4194304 4196468 140734042954208 140687017964528 140688146069205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17036] ppid=17025 vsize=15417404 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17036/stat : 17036 (java) S 17025 17025 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407814015 15787421696 785561 33554432000 4194304 4196468 140734042954208 140687016913104 140688146077595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17037] ppid=17025 vsize=15417404 memory=1448 CPUtime=1.65 cores=0,2,4,6
/proc/17027/task/17037/stat : 17037 (java) S 17025 17025 14254 0 -1 1077944384 6699 0 0 0 164 1 0 0 20 0 19 0 407814015 15787421696 785561 33554432000 4194304 4196468 140734042954208 140687015860720 140688146070146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17038] ppid=17025 vsize=15417404 memory=3142244 CPUtime=1.49 cores=0,2,4,6
/proc/17027/task/17038/stat : 17038 (java) S 17025 17025 14254 0 -1 1077944384 5785 0 0 0 149 0 0 0 20 0 19 0 407814015 15787421696 785561 33554432000 4194304 4196468 140734042954208 140687014808176 140688146070146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17039] ppid=17025 vsize=15417404 memory=988 CPUtime=0.7 cores=0,2,4,6
/proc/17027/task/17039/stat : 17039 (java) S 17025 17025 14254 0 -1 1077944384 6537 0 0 0 69 1 0 0 20 0 19 0 407814015 15787421696 785561 33554432000 4194304 4196468 140734042954208 140687013755632 140688146070146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17040] ppid=17025 vsize=15417404 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17040/stat : 17040 (java) S 17025 17025 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407814015 15787421696 785561 33554432000 4194304 4196468 140734042954208 140687012703328 140688146069205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17041] ppid=17025 vsize=15417404 memory=3142244 CPUtime=0.14 cores=0,2,4,6
/proc/17027/task/17041/stat : 17041 (java) S 17025 17025 14254 0 -1 1077944384 621 0 0 0 0 14 0 0 20 0 19 0 407814015 15787421696 785561 33554432000 4194304 4196468 140734042954208 140687011649840 140688146070146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17042] ppid=17025 vsize=15417404 memory=1444 CPUtime=447.16 cores=0,2,4,6
/proc/17027/task/17042/stat : 17042 (java) R 17025 17025 14254 0 -1 4202560 1051 0 0 0 44715 1 0 0 20 0 19 0 407814091 15787421696 785561 33554432000 4194304 4196468 140734042954208 140687002438264 140687784085723 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17043] ppid=17025 vsize=15417404 memory=888 CPUtime=444.21 cores=0,2,4,6
/proc/17027/task/17043/stat : 17043 (java) R 17025 17025 14254 0 -1 4202560 25790 0 0 0 44368 53 0 0 20 0 19 0 407814091 15787421696 785561 33554432000 4194304 4196468 140734042954208 140687001386944 140687784085567 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17044] ppid=17025 vsize=15417404 memory=988 CPUtime=445.54 cores=0,2,4,6
/proc/17027/task/17044/stat : 17044 (java) R 17025 17025 14254 0 -1 4202560 1341 0 0 0 44553 1 0 0 20 0 19 0 407814091 15787421696 785561 33554432000 4194304 4196468 140734042954208 140687000334280 140687784515852 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17045] ppid=17025 vsize=15417404 memory=2016 CPUtime=445.75 cores=0,2,4,6
/proc/17027/task/17045/stat : 17045 (java) R 17025 17025 14254 0 -1 4202560 3243 0 0 0 44574 1 0 0 20 0 19 0 407814092 15787421696 785561 33554432000 4194304 4196468 140734042954208 140686999284832 140687783182874 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
Current children cumulated CPU time: 1788.52 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 3143692 KiB
[startup+450.401 s]
/proc/loadavg: 8.17 8.21 7.68 10/237 17080
/proc/meminfo: memFree=26030292/32770624 swapFree=66920672/67108860
[pid=17025] ppid=17022 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/17025/stat : 17025 (xcsp3-exec) S 17022 17025 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407814009 115843072 362 33554432000 4194304 5098028 140733270736320 140733270734424 140338531357308 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28631040 140733270741883 140733270742125 140733270742125 140733270745034 0
/proc/17025/statm: 28282 362 304 221 0 87 0
[pid=17027] ppid=17025 vsize=15417404 memory=3142244 CPUtime=1791.71 cores=0,2,4,6
/proc/17027/stat : 17027 (java) S 17025 17025 14254 0 -1 1077944320 71587 0 0 0 179084 87 0 0 20 0 19 0 407814009 15787421696 785561 33554432000 4194304 4196468 140734042954208 140734042936752 140688146058999 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
/proc/17027/statm: 3854351 785561 3516 1 0 3815453 0
[pid=17027/tid=17028] ppid=17025 vsize=15417404 memory=1448 CPUtime=0.78 cores=0,2,4,6
/proc/17027/task/17028/stat : 17028 (java) S 17025 17025 14254 0 -1 1077944384 9220 0 0 0 74 4 0 0 20 0 19 0 407814009 15787421696 785561 33554432000 4194304 4196468 140734042954208 140688150299776 140688146069205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17029] ppid=17025 vsize=15417404 memory=3336 CPUtime=0.25 cores=0,2,4,6
/proc/17027/task/17029/stat : 17029 (java) S 17025 17025 14254 0 -1 1077944384 1515 0 0 0 20 5 0 0 20 0 19 0 407814010 15787421696 785561 33554432000 4194304 4196468 140734042954208 140688098679568 140688146069205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17030] ppid=17025 vsize=15417404 memory=1452 CPUtime=0.25 cores=0,2,4,6
/proc/17027/task/17030/stat : 17030 (java) S 17025 17025 14254 0 -1 1077944384 1967 0 0 0 20 5 0 0 20 0 19 0 407814010 15787421696 785561 33554432000 4194304 4196468 140734042954208 140688097627024 140688146069205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17031] ppid=17025 vsize=15417404 memory=2345084 CPUtime=0.22 cores=0,2,4,6
/proc/17027/task/17031/stat : 17031 (java) S 17025 17025 14254 0 -1 1077944384 1367 0 0 0 18 4 0 0 20 0 19 0 407814010 15787421696 785561 33554432000 4194304 4196468 140734042954208 140687736495120 140688146069205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17032] ppid=17025 vsize=15417404 memory=1448 CPUtime=0.22 cores=0,2,4,6
/proc/17027/task/17032/stat : 17032 (java) S 17025 17025 14254 0 -1 1077944384 1350 0 0 0 18 4 0 0 20 0 19 0 407814010 15787421696 785561 33554432000 4194304 4196468 140734042954208 140687735442576 140688146069205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17033] ppid=17025 vsize=15417404 memory=3142244 CPUtime=0.03 cores=0,2,4,6
/proc/17027/task/17033/stat : 17033 (java) S 17025 17025 14254 0 -1 1077944384 3797 0 0 0 2 1 0 0 20 0 19 0 407814012 15787421696 785561 33554432000 4194304 4196468 140734042954208 140687020070896 140688146070146 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17034] ppid=17025 vsize=15417404 memory=1164 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17034/stat : 17034 (java) S 17025 17025 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 407814012 15787421696 785561 33554432000 4194304 4196468 140734042954208 140687019017120 140688146069205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17035] ppid=17025 vsize=15417404 memory=8317482817917895235 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17035/stat : 17035 (java) S 17025 17025 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 407814012 15787421696 785561 33554432000 4194304 4196468 140734042954208 140687017964528 140688146069205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17036] ppid=17025 vsize=15417404 memory=1284 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17036/stat : 17036 (java) S 17025 17025 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407814015 15787421696 785561 33554432000 4194304 4196468 140734042954208 140687016913104 140688146077595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17037] ppid=17025 vsize=15417404 memory=6791534058613427641 CPUtime=1.65 cores=0,2,4,6
/proc/17027/task/17037/stat : 17037 (java) S 17025 17025 14254 0 -1 1077944384 6699 0 0 0 164 1 0 0 20 0 19 0 407814015 15787421696 785561 33554432000 4194304 4196468 140734042954208 140687015860720 140688146070146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17038] ppid=17025 vsize=15417404 memory=888 CPUtime=1.49 cores=0,2,4,6
/proc/17027/task/17038/stat : 17038 (java) S 17025 17025 14254 0 -1 1077944384 5785 0 0 0 149 0 0 0 20 0 19 0 407814015 15787421696 785561 33554432000 4194304 4196468 140734042954208 140687014808176 140688146070146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17039] ppid=17025 vsize=15417404 memory=6791534058613427641 CPUtime=0.7 cores=0,2,4,6
/proc/17027/task/17039/stat : 17039 (java) S 17025 17025 14254 0 -1 1077944384 6537 0 0 0 69 1 0 0 20 0 19 0 407814015 15787421696 785561 33554432000 4194304 4196468 140734042954208 140687013755632 140688146070146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17040] ppid=17025 vsize=15417404 memory=804 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17040/stat : 17040 (java) S 17025 17025 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407814015 15787421696 785561 33554432000 4194304 4196468 140734042954208 140687012703328 140688146069205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17041] ppid=17025 vsize=15417404 memory=1808 CPUtime=0.14 cores=0,2,4,6
/proc/17027/task/17041/stat : 17041 (java) S 17025 17025 14254 0 -1 1077944384 621 0 0 0 0 14 0 0 20 0 19 0 407814015 15787421696 785561 33554432000 4194304 4196468 140734042954208 140687011649840 140688146070146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17042] ppid=17025 vsize=15417404 memory=924 CPUtime=447.96 cores=0,2,4,6
/proc/17027/task/17042/stat : 17042 (java) R 17025 17025 14254 0 -1 4202560 1053 0 0 0 44795 1 0 0 20 0 19 0 407814091 15787421696 785561 33554432000 4194304 4196468 140734042954208 140687002438264 140687783633064 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17043] ppid=17025 vsize=15417404 memory=3848 CPUtime=444.99 cores=0,2,4,6
/proc/17027/task/17043/stat : 17043 (java) R 17025 17025 14254 0 -1 4202560 25797 0 0 0 44446 53 0 0 20 0 19 0 407814091 15787421696 785561 33554432000 4194304 4196468 140734042954208 140687001386944 140687785125269 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17044] ppid=17025 vsize=15417404 memory=2928 CPUtime=446.34 cores=0,2,4,6
/proc/17027/task/17044/stat : 17044 (java) R 17025 17025 14254 0 -1 4202560 1341 0 0 0 44633 1 0 0 20 0 19 0 407814091 15787421696 785561 33554432000 4194304 4196468 140734042954208 140687000334280 140687783633164 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17045] ppid=17025 vsize=15417404 memory=2596 CPUtime=446.55 cores=0,2,4,6
/proc/17027/task/17045/stat : 17045 (java) R 17025 17025 14254 0 -1 4202560 3243 0 0 0 44654 1 0 0 20 0 19 0 407814092 15787421696 785561 33554432000 4194304 4196468 140734042954208 140686999284832 140687783236149 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
Current children cumulated CPU time: 1791.71 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 3143692 KiB
[startup+451.201 s]
/proc/loadavg: 8.16 8.21 7.68 10/237 17080
/proc/meminfo: memFree=26031572/32770624 swapFree=66920672/67108860
[pid=17025] ppid=17022 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/17025/stat : 17025 (xcsp3-exec) S 17022 17025 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407814009 115843072 362 33554432000 4194304 5098028 140733270736320 140733270734424 140338531357308 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28631040 140733270741883 140733270742125 140733270742125 140733270745034 0
/proc/17025/statm: 28282 362 304 221 0 87 0
[pid=17027] ppid=17025 vsize=15417404 memory=3142244 CPUtime=1794.9 cores=0,2,4,6
/proc/17027/stat : 17027 (java) S 17025 17025 14254 0 -1 1077944320 71608 0 0 0 179403 87 0 0 20 0 19 0 407814009 15787421696 785561 33554432000 4194304 4196468 140734042954208 140734042936752 140688146058999 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
/proc/17027/statm: 3854351 785561 3516 1 0 3815453 0
[pid=17027/tid=17028] ppid=17025 vsize=15417404 memory=1448 CPUtime=0.78 cores=0,2,4,6
/proc/17027/task/17028/stat : 17028 (java) S 17025 17025 14254 0 -1 1077944384 9220 0 0 0 74 4 0 0 20 0 19 0 407814009 15787421696 785561 33554432000 4194304 4196468 140734042954208 140688150299776 140688146069205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17029] ppid=17025 vsize=15417404 memory=3142244 CPUtime=0.25 cores=0,2,4,6
/proc/17027/task/17029/stat : 17029 (java) S 17025 17025 14254 0 -1 1077944384 1515 0 0 0 20 5 0 0 20 0 19 0 407814010 15787421696 785561 33554432000 4194304 4196468 140734042954208 140688098679568 140688146069205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17030] ppid=17025 vsize=15417404 memory=496 CPUtime=0.25 cores=0,2,4,6
/proc/17027/task/17030/stat : 17030 (java) S 17025 17025 14254 0 -1 1077944384 1967 0 0 0 20 5 0 0 20 0 19 0 407814010 15787421696 785561 33554432000 4194304 4196468 140734042954208 140688097627024 140688146069205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17031] ppid=17025 vsize=15417404 memory=1560 CPUtime=0.22 cores=0,2,4,6
/proc/17027/task/17031/stat : 17031 (java) S 17025 17025 14254 0 -1 1077944384 1367 0 0 0 18 4 0 0 20 0 19 0 407814010 15787421696 785561 33554432000 4194304 4196468 140734042954208 140687736495120 140688146069205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17032] ppid=17025 vsize=15417404 memory=708 CPUtime=0.22 cores=0,2,4,6
/proc/17027/task/17032/stat : 17032 (java) S 17025 17025 14254 0 -1 1077944384 1350 0 0 0 18 4 0 0 20 0 19 0 407814010 15787421696 785561 33554432000 4194304 4196468 140734042954208 140687735442576 140688146069205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17033] ppid=17025 vsize=15417404 memory=9364 CPUtime=0.03 cores=0,2,4,6
/proc/17027/task/17033/stat : 17033 (java) S 17025 17025 14254 0 -1 1077944384 3797 0 0 0 2 1 0 0 20 0 19 0 407814012 15787421696 785561 33554432000 4194304 4196468 140734042954208 140687020070896 140688146070146 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17034] ppid=17025 vsize=15417404 memory=1120 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17034/stat : 17034 (java) S 17025 17025 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 407814012 15787421696 785561 33554432000 4194304 4196468 140734042954208 140687019017120 140688146069205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17035] ppid=17025 vsize=15417404 memory=776 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17035/stat : 17035 (java) S 17025 17025 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 407814012 15787421696 785561 33554432000 4194304 4196468 140734042954208 140687017964528 140688146069205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17036] ppid=17025 vsize=15417404 memory=1552 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17036/stat : 17036 (java) S 17025 17025 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407814015 15787421696 785561 33554432000 4194304 4196468 140734042954208 140687016913104 140688146077595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17037] ppid=17025 vsize=15417404 memory=7956 CPUtime=1.65 cores=0,2,4,6
/proc/17027/task/17037/stat : 17037 (java) S 17025 17025 14254 0 -1 1077944384 6699 0 0 0 164 1 0 0 20 0 19 0 407814015 15787421696 785561 33554432000 4194304 4196468 140734042954208 140687015860720 140688146070146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17038] ppid=17025 vsize=15417404 memory=1448 CPUtime=1.49 cores=0,2,4,6
/proc/17027/task/17038/stat : 17038 (java) S 17025 17025 14254 0 -1 1077944384 5785 0 0 0 149 0 0 0 20 0 19 0 407814015 15787421696 785561 33554432000 4194304 4196468 140734042954208 140687014808176 140688146070146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17039] ppid=17025 vsize=15417404 memory=3142244 CPUtime=0.7 cores=0,2,4,6
/proc/17027/task/17039/stat : 17039 (java) S 17025 17025 14254 0 -1 1077944384 6537 0 0 0 69 1 0 0 20 0 19 0 407814015 15787421696 785561 33554432000 4194304 4196468 140734042954208 140687013755632 140688146070146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17040] ppid=17025 vsize=15417404 memory=8317482817917895235 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17040/stat : 17040 (java) S 17025 17025 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407814015 15787421696 785561 33554432000 4194304 4196468 140734042954208 140687012703328 140688146069205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17041] ppid=17025 vsize=15417404 memory=2928 CPUtime=0.14 cores=0,2,4,6
/proc/17027/task/17041/stat : 17041 (java) S 17025 17025 14254 0 -1 1077944384 621 0 0 0 0 14 0 0 20 0 19 0 407814015 15787421696 785561 33554432000 4194304 4196468 140734042954208 140687011649840 140688146070146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17042] ppid=17025 vsize=15417404 memory=2596 CPUtime=448.76 cores=0,2,4,6
/proc/17027/task/17042/stat : 17042 (java) R 17025 17025 14254 0 -1 4202560 1054 0 0 0 44875 1 0 0 20 0 19 0 407814091 15787421696 785561 33554432000 4194304 4196468 140734042954208 140687002438264 140687783874591 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17043] ppid=17025 vsize=15417404 memory=4096 CPUtime=445.78 cores=0,2,4,6
/proc/17027/task/17043/stat : 17043 (java) R 17025 17025 14254 0 -1 4202560 25803 0 0 0 44525 53 0 0 20 0 19 0 407814091 15787421696 785561 33554432000 4194304 4196468 140734042954208 140687001386944 140687783634568 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17044] ppid=17025 vsize=15417404 memory=1448 CPUtime=447.14 cores=0,2,4,6
/proc/17027/task/17044/stat : 17044 (java) R 17025 17025 14254 0 -1 4202560 1342 0 0 0 44713 1 0 0 20 0 19 0 407814091 15787421696 785561 33554432000 4194304 4196468 140734042954208 140687000334280 140687783633219 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
[pid=17027/tid=17045] ppid=17025 vsize=15417404 memory=1044 CPUtime=447.34 cores=0,2,4,6
/proc/17027/task/17045/stat : 17045 (java) R 17025 17025 14254 0 -1 4202560 3256 0 0 0 44733 1 0 0 20 0 19 0 407814092 15787421696 785561 33554432000 4194304 4196468 140734042954208 140686999284832 140687783182797 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8794112 140734042960879 140734042961050 140734042961050 140734042963919 0
Current children cumulated CPU time: 1794.9 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 3143692 KiB
[startup+451.401 s]
/proc/loadavg: 8.16 8.21 7.68 10/237 17080
/proc/meminfo: memFree=26031572/32770624 swapFree=66920672/67108860
[pid=17025] ppid=17022 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/17025/stat : 17025 (xcsp3-exec) S 17022 17025 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407814009 115843072 362 33554432000 4194304 5098028 140733270736320 140733270734424 140338531357308 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28631040 140733270741883 140733270742125 140733270742125 140733270745034 0
/proc/17025/statm: 28282 362 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1448 KiB
Child status: 0
Real time (s): 451.412
CPU time (s): 1795.65
CPU user time (s): 1794.75
CPU system time (s): 0.892539
CPU usage (%): 397.784
Max. virtual memory (cumulated for all children) (KiB): 15530532
Max. memory (cumulated for all children) (KiB): 3412264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.75
system time used= 0.892539
maximum resident set size= 3412864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73863
page faults= 0
swaps= 0
block input operations= 0
block output operations= 592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12971
involuntary context switches= 23002
# summary of solver processes directly reported to runsolver:
# pid: 17025
# total CPU time (s): 1795.65
# total CPU user time (s): 1794.75
# total CPU system time (s): 0.892539
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.84849 second user time and 5.03882 second system time
The end