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 (8688 MiB free)
memory of node 1: 16384 MiB (13688 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393040-1568316868/watcher-4393040-1568316868 -o /tmp/evaluation-result-4393040-1568316868/solver-4393040-1568316868 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node117-1568312851-11623 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1684780253 HOME/instance-4393040-1568316868.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=17007, runsolver pid=17004
[startup+0.100057 s]*
/proc/loadavg: 7.43 7.84 7.95 8/234 17023
/proc/meminfo: memFree=22897724/32770624 swapFree=66952812/67108860
[pid=17007] ppid=17004 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17007/stat : 17007 (xcsp3-exec) S 17004 17007 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407628744 115843072 362 33554432000 4194304 5098028 140721646252672 140721646250776 140717273133692 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 39530496 140721646261114 140721646261357 140721646261357 140721646264266 0
/proc/17007/statm: 28282 362 304 221 0 87 0
[pid=17009] ppid=17007 vsize=15144768 memory=29016 CPUtime=0.13 cores=1,3,5,7
/proc/17009/stat : 17009 (java) S 17007 17007 11591 0 -1 1077944320 5704 0 0 0 12 1 0 0 20 0 15 0 407628745 15508242432 7254 33554432000 4194304 4196468 140736008839920 140736008822464 140174775578359 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
/proc/17009/statm: 3786192 7254 3148 1 0 3748377 0
[pid=17009/tid=17010] ppid=17007 vsize=15144768 memory=7100839861498119282 CPUtime=0.09 cores=1,3,5,7
/proc/17009/task/17010/stat : 17010 (java) R 17007 17007 11591 0 -1 4202560 3580 0 0 0 8 1 0 0 20 0 15 0 407628745 15508242432 7254 33554432000 4194304 4196468 140736008839920 140174779801056 140174775590294 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17011] ppid=17007 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/17009/task/17011/stat : 17011 (java) S 17007 17007 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407628746 15508242432 7254 33554432000 4194304 4196468 140736008839920 140174728199184 140174775588565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17012] ppid=17007 vsize=15144768 memory=140682876008064 CPUtime=0 cores=1,3,5,7
/proc/17009/task/17012/stat : 17012 (java) S 17007 17007 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407628746 15508242432 7254 33554432000 4194304 4196468 140736008839920 140174727146640 140174775588565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17013] ppid=17007 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17009/task/17013/stat : 17013 (java) S 17007 17007 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407628746 15508242432 7254 33554432000 4194304 4196468 140736008839920 140174726093584 140174775588565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17014] ppid=17007 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17009/task/17014/stat : 17014 (java) S 17007 17007 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407628746 15508242432 7254 33554432000 4194304 4196468 140736008839920 140174725041040 140174775588565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17015] ppid=17007 vsize=15144768 memory=140682876008064 CPUtime=0 cores=1,3,5,7
/proc/17009/task/17015/stat : 17015 (java) S 17007 17007 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407628747 15508242432 7254 33554432000 4194304 4196468 140736008839920 140174243653872 140174775589506 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17016] ppid=17007 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17009/task/17016/stat : 17016 (java) S 17007 17007 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407628747 15508242432 7254 33554432000 4194304 4196468 140736008839920 140174242600096 140174775588565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17017] ppid=17007 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17009/task/17017/stat : 17017 (java) S 17007 17007 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407628748 15508242432 7254 33554432000 4194304 4196468 140736008839920 140174241546992 140174775588565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17018] ppid=17007 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17009/task/17018/stat : 17018 (java) S 17007 17007 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407628750 15508242432 7254 33554432000 4194304 4196468 140736008839920 140174240495568 140174775596955 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17019] ppid=17007 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17009/task/17019/stat : 17019 (java) R 17007 17007 11591 0 -1 1077944384 340 0 0 0 0 0 0 0 20 0 15 0 407628750 15508242432 7254 33554432000 4194304 4196468 140736008839920 140174239443696 140174775589506 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17020] ppid=17007 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17009/task/17020/stat : 17020 (java) S 17007 17007 11591 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 407628750 15508242432 7254 33554432000 4194304 4196468 140736008839920 140174238391152 140174775589506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17021] ppid=17007 vsize=15144768 memory=140682876008064 CPUtime=0.02 cores=1,3,5,7
/proc/17009/task/17021/stat : 17021 (java) R 17007 17007 11591 0 -1 4202560 364 0 0 0 2 0 0 0 20 0 15 0 407628750 15508242432 7254 33554432000 4194304 4196468 140736008839920 140174237338096 140174775590294 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17022] ppid=17007 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17009/task/17022/stat : 17022 (java) S 17007 17007 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407628750 15508242432 7254 33554432000 4194304 4196468 140736008839920 140174236285792 140174775588565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17023] ppid=17007 vsize=15144768 memory=140682876008064 CPUtime=0 cores=1,3,5,7
/proc/17009/task/17023/stat : 17023 (java) S 17007 17007 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407628751 15508242432 7254 33554432000 4194304 4196468 140736008839920 140174235232816 140174775589506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30464 KiB
[startup+0.211581 s]*
/proc/loadavg: 7.43 7.84 7.95 8/234 17023
/proc/meminfo: memFree=22883836/32770624 swapFree=66952812/67108860
[pid=17007] ppid=17004 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17007/stat : 17007 (xcsp3-exec) S 17004 17007 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407628744 115843072 362 33554432000 4194304 5098028 140721646252672 140721646250776 140717273133692 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 39530496 140721646261114 140721646261357 140721646261357 140721646264266 0
/proc/17007/statm: 28282 362 304 221 0 87 0
[pid=17009] ppid=17007 vsize=15144768 memory=40900 CPUtime=0.35 cores=1,3,5,7
/proc/17009/stat : 17009 (java) S 17007 17007 11591 0 -1 1077944320 9468 0 0 0 32 3 0 0 20 0 15 0 407628745 15508242432 10225 33554432000 4194304 4196468 140736008839920 140736008822464 140174775578359 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
/proc/17009/statm: 3786192 10225 3308 1 0 3748377 0
[pid=17009/tid=17010] ppid=17007 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/17009/task/17010/stat : 17010 (java) R 17007 17007 11591 0 -1 4202560 6620 0 0 0 18 2 0 0 20 0 15 0 407628745 15508242432 10225 33554432000 4194304 4196468 140736008839920 140174779813344 140174775590294 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17011] ppid=17007 vsize=15144768 memory=13655 CPUtime=0 cores=1,3,5,7
/proc/17009/task/17011/stat : 17011 (java) S 17007 17007 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407628746 15508242432 10225 33554432000 4194304 4196468 140736008839920 140174728199184 140174775588565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17012] ppid=17007 vsize=15144768 memory=288371059027719808 CPUtime=0 cores=1,3,5,7
/proc/17009/task/17012/stat : 17012 (java) S 17007 17007 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407628746 15508242432 10225 33554432000 4194304 4196468 140736008839920 140174727146640 140174775588565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17013] ppid=17007 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17009/task/17013/stat : 17013 (java) S 17007 17007 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407628746 15508242432 10225 33554432000 4194304 4196468 140736008839920 140174726093584 140174775588565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17014] ppid=17007 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17009/task/17014/stat : 17014 (java) S 17007 17007 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407628746 15508242432 10225 33554432000 4194304 4196468 140736008839920 140174725041040 140174775588565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17015] ppid=17007 vsize=15144768 memory=140682876008064 CPUtime=0 cores=1,3,5,7
/proc/17009/task/17015/stat : 17015 (java) S 17007 17007 11591 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407628747 15508242432 10225 33554432000 4194304 4196468 140736008839920 140174243653872 140174775589506 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17016] ppid=17007 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17009/task/17016/stat : 17016 (java) S 17007 17007 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407628747 15508242432 10225 33554432000 4194304 4196468 140736008839920 140174242600096 140174775588565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17017] ppid=17007 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17009/task/17017/stat : 17017 (java) S 17007 17007 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407628748 15508242432 10225 33554432000 4194304 4196468 140736008839920 140174241546992 140174775588565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17018] ppid=17007 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17009/task/17018/stat : 17018 (java) S 17007 17007 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407628750 15508242432 10225 33554432000 4194304 4196468 140736008839920 140174240495568 140174775596955 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17019] ppid=17007 vsize=15144768 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/17009/task/17019/stat : 17019 (java) S 17007 17007 11591 0 -1 1077944384 613 0 0 0 3 0 0 0 20 0 15 0 407628750 15508242432 10225 33554432000 4194304 4196468 140736008839920 140174239443696 140174775589506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17020] ppid=17007 vsize=15144768 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/17009/task/17020/stat : 17020 (java) S 17007 17007 11591 0 -1 1077944384 155 0 0 0 1 0 0 0 20 0 15 0 407628750 15508242432 10225 33554432000 4194304 4196468 140736008839920 140174238391152 140174775589506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17021] ppid=17007 vsize=15144768 memory=140682876008064 CPUtime=0.08 cores=1,3,5,7
/proc/17009/task/17021/stat : 17021 (java) R 17007 17007 11591 0 -1 4202560 776 0 0 0 8 0 0 0 20 0 15 0 407628750 15508242432 10225 33554432000 4194304 4196468 140736008839920 140174237338096 140174775599706 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17022] ppid=17007 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17009/task/17022/stat : 17022 (java) S 17007 17007 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407628750 15508242432 10225 33554432000 4194304 4196468 140736008839920 140174236285792 140174775588565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17023] ppid=17007 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17009/task/17023/stat : 17023 (java) S 17007 17007 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407628751 15508242432 10225 33554432000 4194304 4196468 140736008839920 140174235232816 140174775589506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42348 KiB
[startup+0.31071 s]*
/proc/loadavg: 7.43 7.84 7.95 7/234 17023
/proc/meminfo: memFree=22877052/32770624 swapFree=66952812/67108860
[pid=17007] ppid=17004 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17007/stat : 17007 (xcsp3-exec) S 17004 17007 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407628744 115843072 362 33554432000 4194304 5098028 140721646252672 140721646250776 140717273133692 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 39530496 140721646261114 140721646261357 140721646261357 140721646264266 0
/proc/17007/statm: 28282 362 304 221 0 87 0
[pid=17009] ppid=17007 vsize=15149024 memory=50324 CPUtime=0.54 cores=1,3,5,7
/proc/17009/stat : 17009 (java) S 17007 17007 11591 0 -1 1077944320 10912 0 0 0 50 4 0 0 20 0 15 0 407628745 15512600576 12581 33554432000 4194304 4196468 140736008839920 140736008822464 140174775578359 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
/proc/17009/statm: 3787256 12581 3356 1 0 3748377 0
[pid=17009/tid=17010] ppid=17007 vsize=15149024 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/17009/task/17010/stat : 17010 (java) R 17007 17007 11591 0 -1 4202560 7834 0 0 0 27 3 0 0 20 0 15 0 407628745 15512600576 12581 33554432000 4194304 4196468 140736008839920 140174779807840 140174775601949 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17011] ppid=17007 vsize=15149024 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/17009/task/17011/stat : 17011 (java) S 17007 17007 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407628746 15512600576 12581 33554432000 4194304 4196468 140736008839920 140174728199184 140174775588565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17012] ppid=17007 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/17009/task/17012/stat : 17012 (java) S 17007 17007 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407628746 15512600576 12581 33554432000 4194304 4196468 140736008839920 140174727146640 140174775588565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17013] ppid=17007 vsize=15149024 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/17009/task/17013/stat : 17013 (java) S 17007 17007 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407628746 15512600576 12581 33554432000 4194304 4196468 140736008839920 140174726093584 140174775588565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17014] ppid=17007 vsize=15149024 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/17009/task/17014/stat : 17014 (java) S 17007 17007 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407628746 15512600576 12581 33554432000 4194304 4196468 140736008839920 140174725041040 140174775588565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17015] ppid=17007 vsize=15149024 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7
/proc/17009/task/17015/stat : 17015 (java) S 17007 17007 11591 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407628747 15512600576 12581 33554432000 4194304 4196468 140736008839920 140174243653872 140174775589506 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17016] ppid=17007 vsize=15149024 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/17009/task/17016/stat : 17016 (java) S 17007 17007 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407628747 15512600576 12581 33554432000 4194304 4196468 140736008839920 140174242600096 140174775588565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17017] ppid=17007 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/17009/task/17017/stat : 17017 (java) S 17007 17007 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407628748 15512600576 12581 33554432000 4194304 4196468 140736008839920 140174241546992 140174775588565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17018] ppid=17007 vsize=15149024 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/17009/task/17018/stat : 17018 (java) S 17007 17007 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407628750 15512600576 12581 33554432000 4194304 4196468 140736008839920 140174240495568 140174775596955 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17019] ppid=17007 vsize=15149024 memory=7827413994055111515 CPUtime=0.05 cores=1,3,5,7
/proc/17009/task/17019/stat : 17019 (java) S 17007 17007 11591 0 -1 1077944384 636 0 0 0 5 0 0 0 20 0 15 0 407628750 15512600576 12581 33554432000 4194304 4196468 140736008839920 140174239443696 140174775589506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17020] ppid=17007 vsize=15149024 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/17009/task/17020/stat : 17020 (java) S 17007 17007 11591 0 -1 1077944384 274 0 0 0 3 0 0 0 20 0 15 0 407628750 15512600576 12581 33554432000 4194304 4196468 140736008839920 140174238391152 140174775589506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17021] ppid=17007 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/17009/task/17021/stat : 17021 (java) S 17007 17007 11591 0 -1 1077944384 869 0 0 0 12 0 0 0 20 0 15 0 407628750 15512600576 12581 33554432000 4194304 4196468 140736008839920 140174237338096 140174775589506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17022] ppid=17007 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17009/task/17022/stat : 17022 (java) S 17007 17007 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407628750 15512600576 12581 33554432000 4194304 4196468 140736008839920 140174236285792 140174775588565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17023] ppid=17007 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17009/task/17023/stat : 17023 (java) S 17007 17007 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407628751 15512600576 12581 33554432000 4194304 4196468 140736008839920 140174235232816 140174775589506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51772 KiB
[startup+0.703303 s]
/proc/loadavg: 7.43 7.84 7.95 9/234 17023
/proc/meminfo: memFree=22799356/32770624 swapFree=66952812/67108860
[pid=17007] ppid=17004 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17007/stat : 17007 (xcsp3-exec) S 17004 17007 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407628744 115843072 362 33554432000 4194304 5098028 140721646252672 140721646250776 140717273133692 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 39530496 140721646261114 140721646261357 140721646261357 140721646264266 0
/proc/17007/statm: 28282 362 304 221 0 87 0
[pid=17009] ppid=17007 vsize=15149100 memory=250872 CPUtime=1.55 cores=1,3,5,7
/proc/17009/stat : 17009 (java) S 17007 17007 11591 0 -1 1077944320 13692 0 0 0 140 15 0 0 20 0 15 0 407628745 15512678400 62718 33554432000 4194304 4196468 140736008839920 140736008822464 140174775578359 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
/proc/17009/statm: 3787275 62718 3447 1 0 3748377 0
[pid=17009/tid=17010] ppid=17007 vsize=15149100 memory=0 CPUtime=0.64 cores=1,3,5,7
/proc/17009/task/17010/stat : 17010 (java) R 17007 17007 11591 0 -1 4202560 8262 0 0 0 58 6 0 0 20 0 15 0 407628745 15512678400 62718 33554432000 4194304 4196468 140736008839920 140174779814352 140174397854155 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17011] ppid=17007 vsize=15149100 memory=37964 CPUtime=0.02 cores=1,3,5,7
/proc/17009/task/17011/stat : 17011 (java) S 17007 17007 11591 0 -1 1077944384 33 0 0 0 1 1 0 0 20 0 15 0 407628746 15512678400 62718 33554432000 4194304 4196468 140736008839920 140174728199184 140174775588565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17012] ppid=17007 vsize=15149100 memory=992 CPUtime=0.02 cores=1,3,5,7
/proc/17009/task/17012/stat : 17012 (java) S 17007 17007 11591 0 -1 1077944384 40 0 0 0 1 1 0 0 20 0 15 0 407628746 15512678400 62718 33554432000 4194304 4196468 140736008839920 140174727146640 140174775588565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17013] ppid=17007 vsize=15149100 memory=2044 CPUtime=0.03 cores=1,3,5,7
/proc/17009/task/17013/stat : 17013 (java) S 17007 17007 11591 0 -1 1077944384 40 0 0 0 2 1 0 0 20 0 15 0 407628746 15512678400 62718 33554432000 4194304 4196468 140736008839920 140174726093584 140174775588565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17014] ppid=17007 vsize=15149100 memory=1324 CPUtime=0.03 cores=1,3,5,7
/proc/17009/task/17014/stat : 17014 (java) S 17007 17007 11591 0 -1 1077944384 49 0 0 0 1 2 0 0 20 0 15 0 407628746 15512678400 62718 33554432000 4194304 4196468 140736008839920 140174725041040 140174775588565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17015] ppid=17007 vsize=15149100 memory=11624 CPUtime=0 cores=1,3,5,7
/proc/17009/task/17015/stat : 17015 (java) S 17007 17007 11591 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 407628747 15512678400 62718 33554432000 4194304 4196468 140736008839920 140174243653872 140174775589506 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17016] ppid=17007 vsize=15149100 memory=752 CPUtime=0 cores=1,3,5,7
/proc/17009/task/17016/stat : 17016 (java) S 17007 17007 11591 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 407628747 15512678400 62718 33554432000 4194304 4196468 140736008839920 140174242600096 140174775588565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17017] ppid=17007 vsize=15149100 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/17009/task/17017/stat : 17017 (java) S 17007 17007 11591 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 407628748 15512678400 62718 33554432000 4194304 4196468 140736008839920 140174241546992 140174775588565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17018] ppid=17007 vsize=15149100 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/17009/task/17018/stat : 17018 (java) S 17007 17007 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407628750 15512678400 62718 33554432000 4194304 4196468 140736008839920 140174240495568 140174775596955 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17019] ppid=17007 vsize=15149100 memory=944 CPUtime=0.25 cores=1,3,5,7
/proc/17009/task/17019/stat : 17019 (java) R 17007 17007 11591 0 -1 4202560 1503 0 0 0 25 0 0 0 20 0 15 0 407628750 15512678400 62718 33554432000 4194304 4196468 140736008839920 140174239436720 140174759867374 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17020] ppid=17007 vsize=15149100 memory=4004 CPUtime=0.22 cores=1,3,5,7
/proc/17009/task/17020/stat : 17020 (java) R 17007 17007 11591 0 -1 4202560 819 0 0 0 22 0 0 0 20 0 15 0 407628750 15512678400 62718 33554432000 4194304 4196468 140736008839920 140174238377248 140174753744840 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17021] ppid=17007 vsize=15149100 memory=780 CPUtime=0.24 cores=1,3,5,7
/proc/17009/task/17021/stat : 17021 (java) S 17007 17007 11591 0 -1 1077944384 1566 0 0 0 24 0 0 0 20 0 15 0 407628750 15512678400 62718 33554432000 4194304 4196468 140736008839920 140174237338096 140174775589506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17022] ppid=17007 vsize=15149100 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/17009/task/17022/stat : 17022 (java) S 17007 17007 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407628750 15512678400 62718 33554432000 4194304 4196468 140736008839920 140174236285792 140174775588565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17023] ppid=17007 vsize=15149100 memory=1720 CPUtime=0 cores=1,3,5,7
/proc/17009/task/17023/stat : 17023 (java) S 17007 17007 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407628751 15512678400 62718 33554432000 4194304 4196468 140736008839920 140174235232816 140174775589506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
Current children cumulated CPU time: 1.55 s
Current children cumulated vsize: 15262228 KiB
Current children cumulated memory: 252320 KiB
[startup+1.50132 s]
/proc/loadavg: 7.43 7.84 7.95 7/234 17023
/proc/meminfo: memFree=22646200/32770624 swapFree=66952812/67108860
[pid=17007] ppid=17004 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17007/stat : 17007 (xcsp3-exec) S 17004 17007 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407628744 115843072 362 33554432000 4194304 5098028 140721646252672 140721646250776 140717273133692 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 39530496 140721646261114 140721646261357 140721646261357 140721646264266 0
/proc/17007/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 4704948 KiB
[startup+96.0013 s]*
/proc/loadavg: 7.84 7.80 7.91 10/238 17034
/proc/meminfo: memFree=18305840/32770624 swapFree=66952812/67108860
[pid=17007] ppid=17004 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17007/stat : 17007 (xcsp3-exec) S 17004 17007 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407628744 115843072 362 33554432000 4194304 5098028 140721646252672 140721646250776 140717273133692 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 39530496 140721646261114 140721646261357 140721646261357 140721646264266 0
/proc/17007/statm: 28282 362 304 221 0 87 0
[pid=17009] ppid=17007 vsize=15417404 memory=4703500 CPUtime=333.2 cores=1,3,5,7
/proc/17009/stat : 17009 (java) S 17007 17007 11591 0 -1 1077944320 83537 0 0 0 32989 331 0 0 20 0 19 0 407628745 15787421696 1175875 33554432000 4194304 4196468 140736008839920 140736008822464 140174775578359 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
/proc/17009/statm: 3854351 1175875 3520 1 0 3815453 0
[pid=17009/tid=17010] ppid=17007 vsize=15417404 memory=8317482817917895235 CPUtime=16.05 cores=1,3,5,7
/proc/17009/task/17010/stat : 17010 (java) S 17007 17007 11591 0 -1 1077944384 16598 0 0 0 1567 38 0 0 20 0 19 0 407628745 15787421696 1175875 33554432000 4194304 4196468 140736008839920 140174779819136 140174775588565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17011] ppid=17007 vsize=15417404 memory=4126316290023845779 CPUtime=3.98 cores=1,3,5,7
/proc/17009/task/17011/stat : 17011 (java) S 17007 17007 11591 0 -1 1077944384 7304 0 0 0 325 73 0 0 20 0 19 0 407628746 15787421696 1175875 33554432000 4194304 4196468 140736008839920 140174728199184 140174775588565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17012] ppid=17007 vsize=15417404 memory=1452 CPUtime=3.93 cores=1,3,5,7
/proc/17009/task/17012/stat : 17012 (java) S 17007 17007 11591 0 -1 1077944384 3703 0 0 0 324 69 0 0 20 0 19 0 407628746 15787421696 1175875 33554432000 4194304 4196468 140736008839920 140174727146640 140174775588565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17013] ppid=17007 vsize=15417404 memory=995584 CPUtime=3.96 cores=1,3,5,7
/proc/17009/task/17013/stat : 17013 (java) S 17007 17007 11591 0 -1 1077944384 6373 0 0 0 324 72 0 0 20 0 19 0 407628746 15787421696 1175875 33554432000 4194304 4196468 140736008839920 140174726093584 140174775588565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17014] ppid=17007 vsize=15417404 memory=4703500 CPUtime=4.01 cores=1,3,5,7
/proc/17009/task/17014/stat : 17014 (java) S 17007 17007 11591 0 -1 1077944384 5672 0 0 0 331 70 0 0 20 0 19 0 407628746 15787421696 1175875 33554432000 4194304 4196468 140736008839920 140174725041040 140174775588565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17015] ppid=17007 vsize=15417404 memory=1448 CPUtime=0.93 cores=1,3,5,7
/proc/17009/task/17015/stat : 17015 (java) S 17007 17007 11591 0 -1 1077944384 6132 0 0 0 93 0 0 0 20 0 19 0 407628747 15787421696 1175875 33554432000 4194304 4196468 140736008839920 140174243653872 140174775589506 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17016] ppid=17007 vsize=15417404 memory=924 CPUtime=0 cores=1,3,5,7
/proc/17009/task/17016/stat : 17016 (java) S 17007 17007 11591 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 407628747 15787421696 1175875 33554432000 4194304 4196468 140736008839920 140174242600160 140174775588565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17017] ppid=17007 vsize=15417404 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/17009/task/17017/stat : 17017 (java) S 17007 17007 11591 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 407628748 15787421696 1175875 33554432000 4194304 4196468 140736008839920 140174241547008 140174775588565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17018] ppid=17007 vsize=15417404 memory=812 CPUtime=0 cores=1,3,5,7
/proc/17009/task/17018/stat : 17018 (java) S 17007 17007 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407628750 15787421696 1175875 33554432000 4194304 4196468 140736008839920 140174240495568 140174775596955 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17019] ppid=17007 vsize=15417404 memory=1436 CPUtime=1.85 cores=1,3,5,7
/proc/17009/task/17019/stat : 17019 (java) S 17007 17007 11591 0 -1 1077944384 12263 0 0 0 184 1 0 0 20 0 19 0 407628750 15787421696 1175875 33554432000 4194304 4196468 140736008839920 140174239443696 140174775589506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 34 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17020] ppid=17007 vsize=15417404 memory=1984 CPUtime=1.65 cores=1,3,5,7
/proc/17009/task/17020/stat : 17020 (java) S 17007 17007 11591 0 -1 1077944384 9225 0 0 0 164 1 0 0 20 0 19 0 407628750 15787421696 1175875 33554432000 4194304 4196468 140736008839920 140174238391152 140174775589506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17021] ppid=17007 vsize=15417404 memory=2492 CPUtime=0.64 cores=1,3,5,7
/proc/17009/task/17021/stat : 17021 (java) S 17007 17007 11591 0 -1 1077944384 5947 0 0 0 63 1 0 0 20 0 19 0 407628750 15787421696 1175875 33554432000 4194304 4196468 140736008839920 140174237338096 140174775589506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 35 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17022] ppid=17007 vsize=15417404 memory=1764 CPUtime=0 cores=1,3,5,7
/proc/17009/task/17022/stat : 17022 (java) S 17007 17007 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407628750 15787421696 1175875 33554432000 4194304 4196468 140736008839920 140174236285792 140174775588565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17023] ppid=17007 vsize=15417404 memory=111636 CPUtime=0.03 cores=1,3,5,7
/proc/17009/task/17023/stat : 17023 (java) S 17007 17007 11591 0 -1 1077944384 1013 0 0 0 1 2 0 0 20 0 19 0 407628751 15787421696 1175875 33554432000 4194304 4196468 140736008839920 140174235232816 140174775589506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 35 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17025] ppid=17007 vsize=15417404 memory=752 CPUtime=73.88 cores=1,3,5,7
/proc/17009/task/17025/stat : 17025 (java) R 17007 17007 11591 0 -1 4202560 965 0 0 0 7388 0 0 0 20 0 19 0 407630849 15787421696 1175875 33554432000 4194304 4196468 140736008839920 140174226258824 140174400089265 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17026] ppid=17007 vsize=15417404 memory=1056 CPUtime=73.95 cores=1,3,5,7
/proc/17009/task/17026/stat : 17026 (java) R 17007 17007 11591 0 -1 4202560 2391 0 0 0 7395 0 0 0 20 0 19 0 407630850 15787421696 1175875 33554432000 4194304 4196468 140736008839920 140174225208656 140174400607282 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17027] ppid=17007 vsize=15417404 memory=1552 CPUtime=73.85 cores=1,3,5,7
/proc/17009/task/17027/stat : 17027 (java) R 17007 17007 11591 0 -1 4202560 2193 0 0 0 7385 0 0 0 20 0 19 0 407630850 15787421696 1175875 33554432000 4194304 4196468 140736008839920 140174224154520 140174400607347 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17028] ppid=17007 vsize=15417404 memory=944 CPUtime=74.35 cores=1,3,5,7
/proc/17009/task/17028/stat : 17028 (java) R 17007 17007 11591 0 -1 4202560 2424 0 0 0 7435 0 0 0 20 0 19 0 407630850 15787421696 1175875 33554432000 4194304 4196468 140736008839920 140174223102488 140174400607262 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
Current children cumulated CPU time: 333.2 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 4704948 KiB
[startup+97.6013 s]
/proc/loadavg: 7.84 7.80 7.91 11/238 17034
/proc/meminfo: memFree=18305872/32770624 swapFree=66952812/67108860
[pid=17007] ppid=17004 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17007/stat : 17007 (xcsp3-exec) S 17004 17007 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407628744 115843072 362 33554432000 4194304 5098028 140721646252672 140721646250776 140717273133692 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 39530496 140721646261114 140721646261357 140721646261357 140721646264266 0
/proc/17007/statm: 28282 362 304 221 0 87 0
[pid=17009] ppid=17007 vsize=15417404 memory=4703500 CPUtime=339.53 cores=1,3,5,7
/proc/17009/stat : 17009 (java) S 17007 17007 11591 0 -1 1077944320 83582 0 0 0 33622 331 0 0 20 0 19 0 407628745 15787421696 1175875 33554432000 4194304 4196468 140736008839920 140736008822464 140174775578359 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
/proc/17009/statm: 3854351 1175875 3520 1 0 3815453 0
[pid=17009/tid=17010] ppid=17007 vsize=15417404 memory=4703500 CPUtime=16.05 cores=1,3,5,7
/proc/17009/task/17010/stat : 17010 (java) S 17007 17007 11591 0 -1 1077944384 16598 0 0 0 1567 38 0 0 20 0 19 0 407628745 15787421696 1175875 33554432000 4194304 4196468 140736008839920 140174779819136 140174775588565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17011] ppid=17007 vsize=15417404 memory=1712 CPUtime=3.98 cores=1,3,5,7
/proc/17009/task/17011/stat : 17011 (java) S 17007 17007 11591 0 -1 1077944384 7304 0 0 0 325 73 0 0 20 0 19 0 407628746 15787421696 1175875 33554432000 4194304 4196468 140736008839920 140174728199184 140174775588565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17012] ppid=17007 vsize=15417404 memory=6791534058613427641 CPUtime=3.93 cores=1,3,5,7
/proc/17009/task/17012/stat : 17012 (java) S 17007 17007 11591 0 -1 1077944384 3703 0 0 0 324 69 0 0 20 0 19 0 407628746 15787421696 1175875 33554432000 4194304 4196468 140736008839920 140174727146640 140174775588565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17013] ppid=17007 vsize=15417404 memory=5868 CPUtime=3.96 cores=1,3,5,7
/proc/17009/task/17013/stat : 17013 (java) S 17007 17007 11591 0 -1 1077944384 6373 0 0 0 324 72 0 0 20 0 19 0 407628746 15787421696 1175875 33554432000 4194304 4196468 140736008839920 140174726093584 140174775588565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17014] ppid=17007 vsize=15417404 memory=14012 CPUtime=4.01 cores=1,3,5,7
/proc/17009/task/17014/stat : 17014 (java) S 17007 17007 11591 0 -1 1077944384 5672 0 0 0 331 70 0 0 20 0 19 0 407628746 15787421696 1175875 33554432000 4194304 4196468 140736008839920 140174725041040 140174775588565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17015] ppid=17007 vsize=15417404 memory=20708 CPUtime=0.93 cores=1,3,5,7
/proc/17009/task/17015/stat : 17015 (java) S 17007 17007 11591 0 -1 1077944384 6132 0 0 0 93 0 0 0 20 0 19 0 407628747 15787421696 1175875 33554432000 4194304 4196468 140736008839920 140174243653872 140174775589506 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17016] ppid=17007 vsize=15417404 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/17009/task/17016/stat : 17016 (java) S 17007 17007 11591 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 407628747 15787421696 1175875 33554432000 4194304 4196468 140736008839920 140174242600160 140174775588565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17017] ppid=17007 vsize=15417404 memory=4703500 CPUtime=0 cores=1,3,5,7
/proc/17009/task/17017/stat : 17017 (java) S 17007 17007 11591 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 407628748 15787421696 1175875 33554432000 4194304 4196468 140736008839920 140174241547008 140174775588565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17018] ppid=17007 vsize=15417404 memory=780 CPUtime=0 cores=1,3,5,7
/proc/17009/task/17018/stat : 17018 (java) S 17007 17007 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407628750 15787421696 1175875 33554432000 4194304 4196468 140736008839920 140174240495568 140174775596955 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17019] ppid=17007 vsize=15417404 memory=2832 CPUtime=1.85 cores=1,3,5,7
/proc/17009/task/17019/stat : 17019 (java) S 17007 17007 11591 0 -1 1077944384 12263 0 0 0 184 1 0 0 20 0 19 0 407628750 15787421696 1175875 33554432000 4194304 4196468 140736008839920 140174239443696 140174775589506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 34 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17020] ppid=17007 vsize=15417404 memory=1720 CPUtime=1.65 cores=1,3,5,7
/proc/17009/task/17020/stat : 17020 (java) S 17007 17007 11591 0 -1 1077944384 9225 0 0 0 164 1 0 0 20 0 19 0 407628750 15787421696 1175875 33554432000 4194304 4196468 140736008839920 140174238391152 140174775589506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17021] ppid=17007 vsize=15417404 memory=812 CPUtime=0.64 cores=1,3,5,7
/proc/17009/task/17021/stat : 17021 (java) S 17007 17007 11591 0 -1 1077944384 5947 0 0 0 63 1 0 0 20 0 19 0 407628750 15787421696 1175875 33554432000 4194304 4196468 140736008839920 140174237338096 140174775589506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 35 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17022] ppid=17007 vsize=15417404 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/17009/task/17022/stat : 17022 (java) S 17007 17007 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407628750 15787421696 1175875 33554432000 4194304 4196468 140736008839920 140174236285792 140174775588565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17023] ppid=17007 vsize=15417404 memory=6791534058613427641 CPUtime=0.03 cores=1,3,5,7
/proc/17009/task/17023/stat : 17023 (java) S 17007 17007 11591 0 -1 1077944384 1013 0 0 0 1 2 0 0 20 0 19 0 407628751 15787421696 1175875 33554432000 4194304 4196468 140736008839920 140174235232816 140174775589506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 35 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17025] ppid=17007 vsize=15417404 memory=1324 CPUtime=75.47 cores=1,3,5,7
/proc/17009/task/17025/stat : 17025 (java) R 17007 17007 11591 0 -1 4202560 993 0 0 0 7547 0 0 0 20 0 19 0 407630849 15787421696 1175875 33554432000 4194304 4196468 140736008839920 140174226258824 140174400607282 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17026] ppid=17007 vsize=15417404 memory=11624 CPUtime=75.54 cores=1,3,5,7
/proc/17009/task/17026/stat : 17026 (java) R 17007 17007 11591 0 -1 4202560 2406 0 0 0 7554 0 0 0 20 0 19 0 407630850 15787421696 1175875 33554432000 4194304 4196468 140736008839920 140174225208656 140174400610779 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17027] ppid=17007 vsize=15417404 memory=4703500 CPUtime=75.42 cores=1,3,5,7
/proc/17009/task/17027/stat : 17027 (java) R 17007 17007 11591 0 -1 4202560 2193 0 0 0 7542 0 0 0 20 0 19 0 407630850 15787421696 1175875 33554432000 4194304 4196468 140736008839920 140174224154520 140174400610713 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17028] ppid=17007 vsize=15417404 memory=37964 CPUtime=75.94 cores=1,3,5,7
/proc/17009/task/17028/stat : 17028 (java) R 17007 17007 11591 0 -1 4202560 2426 0 0 0 7594 0 0 0 20 0 19 0 407630850 15787421696 1175875 33554432000 4194304 4196468 140736008839920 140174223102488 140174400609339 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
Current children cumulated CPU time: 339.53 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 4704948 KiB
[startup+98.4013 s]
/proc/loadavg: 7.85 7.80 7.91 10/238 17034
/proc/meminfo: memFree=18304096/32770624 swapFree=66952812/67108860
[pid=17007] ppid=17004 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17007/stat : 17007 (xcsp3-exec) S 17004 17007 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407628744 115843072 362 33554432000 4194304 5098028 140721646252672 140721646250776 140717273133692 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 39530496 140721646261114 140721646261357 140721646261357 140721646264266 0
/proc/17007/statm: 28282 362 304 221 0 87 0
[pid=17009] ppid=17007 vsize=15417404 memory=4703500 CPUtime=342.72 cores=1,3,5,7
/proc/17009/stat : 17009 (java) S 17007 17007 11591 0 -1 1077944320 83586 0 0 0 33941 331 0 0 20 0 19 0 407628745 15787421696 1175875 33554432000 4194304 4196468 140736008839920 140736008822464 140174775578359 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
/proc/17009/statm: 3854351 1175875 3520 1 0 3815453 0
[pid=17009/tid=17010] ppid=17007 vsize=15417404 memory=1324 CPUtime=16.05 cores=1,3,5,7
/proc/17009/task/17010/stat : 17010 (java) S 17007 17007 11591 0 -1 1077944384 16598 0 0 0 1567 38 0 0 20 0 19 0 407628745 15787421696 1175875 33554432000 4194304 4196468 140736008839920 140174779819136 140174775588565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17011] ppid=17007 vsize=15417404 memory=11624 CPUtime=3.98 cores=1,3,5,7
/proc/17009/task/17011/stat : 17011 (java) S 17007 17007 11591 0 -1 1077944384 7304 0 0 0 325 73 0 0 20 0 19 0 407628746 15787421696 1175875 33554432000 4194304 4196468 140736008839920 140174728199184 140174775588565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17012] ppid=17007 vsize=15417404 memory=752 CPUtime=3.93 cores=1,3,5,7
/proc/17009/task/17012/stat : 17012 (java) S 17007 17007 11591 0 -1 1077944384 3703 0 0 0 324 69 0 0 20 0 19 0 407628746 15787421696 1175875 33554432000 4194304 4196468 140736008839920 140174727146640 140174775588565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17013] ppid=17007 vsize=15417404 memory=1056 CPUtime=3.96 cores=1,3,5,7
/proc/17009/task/17013/stat : 17013 (java) S 17007 17007 11591 0 -1 1077944384 6373 0 0 0 324 72 0 0 20 0 19 0 407628746 15787421696 1175875 33554432000 4194304 4196468 140736008839920 140174726093584 140174775588565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17014] ppid=17007 vsize=15417404 memory=1552 CPUtime=4.01 cores=1,3,5,7
/proc/17009/task/17014/stat : 17014 (java) S 17007 17007 11591 0 -1 1077944384 5672 0 0 0 331 70 0 0 20 0 19 0 407628746 15787421696 1175875 33554432000 4194304 4196468 140736008839920 140174725041040 140174775588565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17015] ppid=17007 vsize=15417404 memory=944 CPUtime=0.93 cores=1,3,5,7
/proc/17009/task/17015/stat : 17015 (java) S 17007 17007 11591 0 -1 1077944384 6132 0 0 0 93 0 0 0 20 0 19 0 407628747 15787421696 1175875 33554432000 4194304 4196468 140736008839920 140174243653872 140174775589506 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17016] ppid=17007 vsize=15417404 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/17009/task/17016/stat : 17016 (java) S 17007 17007 11591 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 407628747 15787421696 1175875 33554432000 4194304 4196468 140736008839920 140174242600160 140174775588565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17017] ppid=17007 vsize=15417404 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/17009/task/17017/stat : 17017 (java) S 17007 17007 11591 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 407628748 15787421696 1175875 33554432000 4194304 4196468 140736008839920 140174241547008 140174775588565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17018] ppid=17007 vsize=15417404 memory=213726162617574 CPUtime=0 cores=1,3,5,7
/proc/17009/task/17018/stat : 17018 (java) S 17007 17007 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407628750 15787421696 1175875 33554432000 4194304 4196468 140736008839920 140174240495568 140174775596955 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17019] ppid=17007 vsize=15417404 memory=213726162617575 CPUtime=1.85 cores=1,3,5,7
/proc/17009/task/17019/stat : 17019 (java) S 17007 17007 11591 0 -1 1077944384 12263 0 0 0 184 1 0 0 20 0 19 0 407628750 15787421696 1175875 33554432000 4194304 4196468 140736008839920 140174239443696 140174775589506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 34 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17020] ppid=17007 vsize=15417404 memory=213726162617576 CPUtime=1.65 cores=1,3,5,7
/proc/17009/task/17020/stat : 17020 (java) S 17007 17007 11591 0 -1 1077944384 9225 0 0 0 164 1 0 0 20 0 19 0 407628750 15787421696 1175875 33554432000 4194304 4196468 140736008839920 140174238391152 140174775589506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17021] ppid=17007 vsize=15417404 memory=213726162617577 CPUtime=0.64 cores=1,3,5,7
/proc/17009/task/17021/stat : 17021 (java) S 17007 17007 11591 0 -1 1077944384 5947 0 0 0 63 1 0 0 20 0 19 0 407628750 15787421696 1175875 33554432000 4194304 4196468 140736008839920 140174237338096 140174775589506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 35 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17022] ppid=17007 vsize=15417404 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17009/task/17022/stat : 17022 (java) S 17007 17007 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407628750 15787421696 1175875 33554432000 4194304 4196468 140736008839920 140174236285792 140174775588565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17023] ppid=17007 vsize=15417404 memory=4703500 CPUtime=0.03 cores=1,3,5,7
/proc/17009/task/17023/stat : 17023 (java) S 17007 17007 11591 0 -1 1077944384 1013 0 0 0 1 2 0 0 20 0 19 0 407628751 15787421696 1175875 33554432000 4194304 4196468 140736008839920 140174235232816 140174775589506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 35 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17025] ppid=17007 vsize=15417404 memory=213726162617580 CPUtime=76.27 cores=1,3,5,7
/proc/17009/task/17025/stat : 17025 (java) R 17007 17007 11591 0 -1 4202560 993 0 0 0 7627 0 0 0 20 0 19 0 407630849 15787421696 1175875 33554432000 4194304 4196468 140736008839920 140174226258824 140174399981940 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17026] ppid=17007 vsize=15417404 memory=1448 CPUtime=76.34 cores=1,3,5,7
/proc/17009/task/17026/stat : 17026 (java) R 17007 17007 11591 0 -1 4202560 2408 0 0 0 7634 0 0 0 20 0 19 0 407630850 15787421696 1175875 33554432000 4194304 4196468 140736008839920 140174225208656 140174400607282 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17027] ppid=17007 vsize=15417404 memory=1448 CPUtime=76.2 cores=1,3,5,7
/proc/17009/task/17027/stat : 17027 (java) R 17007 17007 11591 0 -1 4202560 2195 0 0 0 7620 0 0 0 20 0 19 0 407630850 15787421696 1175875 33554432000 4194304 4196468 140736008839920 140174224154520 140174400607277 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
[pid=17009/tid=17028] ppid=17007 vsize=15417404 memory=4703500 CPUtime=76.74 cores=1,3,5,7
/proc/17009/task/17028/stat : 17028 (java) R 17007 17007 11591 0 -1 4202560 2426 0 0 0 7674 0 0 0 20 0 19 0 407630850 15787421696 1175875 33554432000 4194304 4196468 140736008839920 140174223102488 140174400665392 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30142464 140736008848367 140736008848538 140736008848538 140736008851407 0
Current children cumulated CPU time: 342.72 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 4704948 KiB
[startup+98.8009 s]
/proc/loadavg: 7.85 7.80 7.91 10/238 17034
/proc/meminfo: memFree=18304096/32770624 swapFree=66952812/67108860
[pid=17007] ppid=17004 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17007/stat : 17007 (xcsp3-exec) S 17004 17007 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407628744 115843072 362 33554432000 4194304 5098028 140721646252672 140721646250776 140717273133692 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 39530496 140721646261114 140721646261357 140721646261357 140721646264266 0
/proc/17007/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): 98.8081
CPU time (s): 344.274
CPU user time (s): 340.928
CPU system time (s): 3.34603
CPU usage (%): 348.426
Max. virtual memory (cumulated for all children) (KiB): 15530532
Max. memory (cumulated for all children) (KiB): 4704948
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 340.928
system time used= 3.34603
maximum resident set size= 4703580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85751
page faults= 0
swaps= 0
block input operations= 0
block output operations= 232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5480
involuntary context switches= 7265
# summary of solver processes directly reported to runsolver:
# pid: 17007
# total CPU time (s): 344.274
# total CPU user time (s): 340.928
# total CPU system time (s): 3.34603
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.689342 second user time and 1.1402 second system time
The end