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 (15111 MiB free)
memory of node 1: 16384 MiB (15681 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393334-1568319966/watcher-4393334-1568319966 -o /tmp/evaluation-result-4393334-1568319966/solver-4393334-1568319966 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568312479-6785 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 438216563 HOME/instance-4393334-1568319966.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=16591, runsolver pid=16588
Current StackSize limit: 8192 KiB
[startup+0.101343 s]*
/proc/loadavg: 8.72 8.38 8.21 6/233 16607
/proc/meminfo: memFree=31514808/32770624 swapFree=66979536/67108860
[pid=16591] ppid=16588 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16591/stat : 16591 (xcsp3-exec) S 16588 16591 6753 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408259251 115843072 362 33554432000 4194304 5098028 140722078413616 140722078411720 139639360205436 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 27410432 140722078417787 140722078418029 140722078418029 140722078420938 0
/proc/16591/statm: 28282 362 304 221 0 87 0
[pid=16593] ppid=16591 vsize=15144768 memory=30304 CPUtime=0.13 cores=1,3,5,7
/proc/16593/stat : 16593 (java) S 16591 16591 6753 0 -1 1077944320 5523 0 0 0 12 1 0 0 20 0 15 0 408259251 15508242432 7576 33554432000 4194304 4196468 140721709390480 140721709373024 140234411745015 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
/proc/16593/statm: 3786192 7576 3154 1 0 3748377 0
[pid=16593/tid=16594] ppid=16591 vsize=15144768 memory=7100839878644302962 CPUtime=0.09 cores=1,3,5,7
/proc/16593/task/16594/stat : 16594 (java) R 16591 16591 6753 0 -1 4202560 3395 0 0 0 9 0 0 0 20 0 15 0 408259252 15508242432 7576 33554432000 4194304 4196468 140721709390480 140234415966288 140234411756950 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16595] ppid=16591 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16595/stat : 16595 (java) S 16591 16591 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408259252 15508242432 7576 33554432000 4194304 4196468 140721709390480 140234374851600 140234411755221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16596] ppid=16591 vsize=15144768 memory=140072194950784 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16596/stat : 16596 (java) S 16591 16591 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408259252 15508242432 7576 33554432000 4194304 4196468 140721709390480 140234002979984 140234411755221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16597] ppid=16591 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16597/stat : 16597 (java) S 16591 16591 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408259252 15508242432 7576 33554432000 4194304 4196468 140721709390480 140234001926928 140234411755221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16598] ppid=16591 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16598/stat : 16598 (java) S 16591 16591 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408259252 15508242432 7576 33554432000 4194304 4196468 140721709390480 140234000874384 140234411755221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16599] ppid=16591 vsize=15144768 memory=140072194950784 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16599/stat : 16599 (java) S 16591 16591 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408259254 15508242432 7576 33554432000 4194304 4196468 140721709390480 140233880307952 140234411756162 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16600] ppid=16591 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16600/stat : 16600 (java) S 16591 16591 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408259254 15508242432 7576 33554432000 4194304 4196468 140721709390480 140233879254176 140234411755221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16601] ppid=16591 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16601/stat : 16601 (java) S 16591 16591 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408259254 15508242432 7576 33554432000 4194304 4196468 140721709390480 140233878201072 140234411755221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16602] ppid=16591 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16602/stat : 16602 (java) S 16591 16591 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408259257 15508242432 7576 33554432000 4194304 4196468 140721709390480 140233877149648 140234411763611 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16603] ppid=16591 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16603/stat : 16603 (java) S 16591 16591 6753 0 -1 1077944384 414 0 0 0 0 0 0 0 20 0 15 0 408259257 15508242432 7576 33554432000 4194304 4196468 140721709390480 140233876097776 140234411756162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16604] ppid=16591 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16604/stat : 16604 (java) R 16591 16591 6753 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 408259257 15508242432 7576 33554432000 4194304 4196468 140721709390480 140233875045232 140234411756162 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16605] ppid=16591 vsize=15144768 memory=140072194950784 CPUtime=0.02 cores=1,3,5,7
/proc/16593/task/16605/stat : 16605 (java) R 16591 16591 6753 0 -1 4202560 366 0 0 0 2 0 0 0 20 0 15 0 408259257 15508242432 7576 33554432000 4194304 4196468 140721709390480 140233873992176 140234391052063 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16606] ppid=16591 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16606/stat : 16606 (java) S 16591 16591 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408259257 15508242432 7576 33554432000 4194304 4196468 140721709390480 140233872939872 140234411755221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16607] ppid=16591 vsize=15144768 memory=140072194950784 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16607/stat : 16607 (java) S 16591 16591 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408259257 15508242432 7576 33554432000 4194304 4196468 140721709390480 140233871886896 140234411756162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31752 KiB
[startup+0.211745 s]*
/proc/loadavg: 8.72 8.38 8.21 6/233 16607
/proc/meminfo: memFree=31501380/32770624 swapFree=66979536/67108860
[pid=16591] ppid=16588 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16591/stat : 16591 (xcsp3-exec) S 16588 16591 6753 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408259251 115843072 362 33554432000 4194304 5098028 140722078413616 140722078411720 139639360205436 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 27410432 140722078417787 140722078418029 140722078418029 140722078420938 0
/proc/16591/statm: 28282 362 304 221 0 87 0
[pid=16593] ppid=16591 vsize=15144768 memory=40680 CPUtime=0.35 cores=1,3,5,7
/proc/16593/stat : 16593 (java) S 16591 16591 6753 0 -1 1077944320 8851 0 0 0 32 3 0 0 20 0 15 0 408259251 15508242432 10170 33554432000 4194304 4196468 140721709390480 140721709373024 140234411745015 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
/proc/16593/statm: 3786192 10170 3320 1 0 3748377 0
[pid=16593/tid=16594] ppid=16591 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/16593/task/16594/stat : 16594 (java) R 16591 16591 6753 0 -1 4202560 6160 0 0 0 18 2 0 0 20 0 15 0 408259252 15508242432 10170 33554432000 4194304 4196468 140721709390480 140234415978192 140234411766362 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16595] ppid=16591 vsize=15144768 memory=2995868 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16595/stat : 16595 (java) S 16591 16591 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408259252 15508242432 10170 33554432000 4194304 4196468 140721709390480 140234374851600 140234411755221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16596] ppid=16591 vsize=15144768 memory=140072194967410 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16596/stat : 16596 (java) S 16591 16591 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408259252 15508242432 10170 33554432000 4194304 4196468 140721709390480 140234002979984 140234411755221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16597] ppid=16591 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16597/stat : 16597 (java) S 16591 16591 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408259252 15508242432 10170 33554432000 4194304 4196468 140721709390480 140234001926928 140234411755221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16598] ppid=16591 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16598/stat : 16598 (java) S 16591 16591 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408259252 15508242432 10170 33554432000 4194304 4196468 140721709390480 140234000874384 140234411755221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16599] ppid=16591 vsize=15144768 memory=140072194950784 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16599/stat : 16599 (java) S 16591 16591 6753 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408259254 15508242432 10170 33554432000 4194304 4196468 140721709390480 140233880307952 140234411756162 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16600] ppid=16591 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16600/stat : 16600 (java) S 16591 16591 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408259254 15508242432 10170 33554432000 4194304 4196468 140721709390480 140233879254176 140234411755221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16601] ppid=16591 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16601/stat : 16601 (java) S 16591 16591 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408259254 15508242432 10170 33554432000 4194304 4196468 140721709390480 140233878201072 140234411755221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16602] ppid=16591 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16602/stat : 16602 (java) S 16591 16591 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408259257 15508242432 10170 33554432000 4194304 4196468 140721709390480 140233877149648 140234411763611 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16603] ppid=16591 vsize=15144768 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/16593/task/16603/stat : 16603 (java) S 16591 16591 6753 0 -1 1077944384 530 0 0 0 3 0 0 0 20 0 15 0 408259257 15508242432 10170 33554432000 4194304 4196468 140721709390480 140233876097776 140234411756162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16604] ppid=16591 vsize=15144768 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/16593/task/16604/stat : 16604 (java) S 16591 16591 6753 0 -1 1077944384 67 0 0 0 1 0 0 0 20 0 15 0 408259257 15508242432 10170 33554432000 4194304 4196468 140721709390480 140233875045232 140234411756162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16605] ppid=16591 vsize=15144768 memory=140072194950784 CPUtime=0.08 cores=1,3,5,7
/proc/16593/task/16605/stat : 16605 (java) S 16591 16591 6753 0 -1 1077944384 790 0 0 0 8 0 0 0 20 0 15 0 408259257 15508242432 10170 33554432000 4194304 4196468 140721709390480 140233873992176 140234411756162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16606] ppid=16591 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16606/stat : 16606 (java) S 16591 16591 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408259257 15508242432 10170 33554432000 4194304 4196468 140721709390480 140233872939872 140234411755221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16607] ppid=16591 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16607/stat : 16607 (java) S 16591 16591 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408259257 15508242432 10170 33554432000 4194304 4196468 140721709390480 140233871886896 140234411756162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42128 KiB
[startup+0.314552 s]*
/proc/loadavg: 8.72 8.38 8.21 8/233 16607
/proc/meminfo: memFree=31493748/32770624 swapFree=66979536/67108860
[pid=16591] ppid=16588 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16591/stat : 16591 (xcsp3-exec) S 16588 16591 6753 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408259251 115843072 362 33554432000 4194304 5098028 140722078413616 140722078411720 139639360205436 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 27410432 140722078417787 140722078418029 140722078418029 140722078420938 0
/proc/16591/statm: 28282 362 304 221 0 87 0
[pid=16593] ppid=16591 vsize=15149024 memory=50476 CPUtime=0.53 cores=1,3,5,7
/proc/16593/stat : 16593 (java) S 16591 16591 6753 0 -1 1077944320 10361 0 0 0 50 3 0 0 20 0 15 0 408259251 15512600576 12619 33554432000 4194304 4196468 140721709390480 140721709373024 140234411745015 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
/proc/16593/statm: 3787256 12619 3367 1 0 3748377 0
[pid=16593/tid=16594] ppid=16591 vsize=15149024 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/16593/task/16594/stat : 16594 (java) R 16591 16591 6753 0 -1 4202560 7368 0 0 0 28 2 0 0 20 0 15 0 408259252 15512600576 12619 33554432000 4194304 4196468 140721709390480 140234415977920 140234395825502 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16595] ppid=16591 vsize=15149024 memory=2996209 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16595/stat : 16595 (java) S 16591 16591 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408259252 15512600576 12619 33554432000 4194304 4196468 140721709390480 140234374851600 140234411755221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16596] ppid=16591 vsize=15149024 memory=3161056 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16596/stat : 16596 (java) S 16591 16591 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408259252 15512600576 12619 33554432000 4194304 4196468 140721709390480 140234002979984 140234411755221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16597] ppid=16591 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16597/stat : 16597 (java) S 16591 16591 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408259252 15512600576 12619 33554432000 4194304 4196468 140721709390480 140234001926928 140234411755221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16598] ppid=16591 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16598/stat : 16598 (java) S 16591 16591 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408259252 15512600576 12619 33554432000 4194304 4196468 140721709390480 140234000874384 140234411755221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16599] ppid=16591 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16599/stat : 16599 (java) S 16591 16591 6753 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408259254 15512600576 12619 33554432000 4194304 4196468 140721709390480 140233880307952 140234411756162 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16600] ppid=16591 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16600/stat : 16600 (java) S 16591 16591 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408259254 15512600576 12619 33554432000 4194304 4196468 140721709390480 140233879254176 140234411755221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16601] ppid=16591 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16601/stat : 16601 (java) S 16591 16591 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408259254 15512600576 12619 33554432000 4194304 4196468 140721709390480 140233878201072 140234411755221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16602] ppid=16591 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16602/stat : 16602 (java) S 16591 16591 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408259257 15512600576 12619 33554432000 4194304 4196468 140721709390480 140233877149648 140234411763611 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16603] ppid=16591 vsize=15149024 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/16593/task/16603/stat : 16603 (java) S 16591 16591 6753 0 -1 1077944384 539 0 0 0 5 0 0 0 20 0 15 0 408259257 15512600576 12619 33554432000 4194304 4196468 140721709390480 140233876097776 140234411756162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16604] ppid=16591 vsize=15149024 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/16593/task/16604/stat : 16604 (java) S 16591 16591 6753 0 -1 1077944384 205 0 0 0 4 0 0 0 20 0 15 0 408259257 15512600576 12619 33554432000 4194304 4196468 140721709390480 140233875045232 140234411756162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16605] ppid=16591 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/16593/task/16605/stat : 16605 (java) S 16591 16591 6753 0 -1 1077944384 948 0 0 0 12 0 0 0 20 0 15 0 408259257 15512600576 12619 33554432000 4194304 4196468 140721709390480 140233873992176 140234411756162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16606] ppid=16591 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16606/stat : 16606 (java) S 16591 16591 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408259257 15512600576 12619 33554432000 4194304 4196468 140721709390480 140233872939872 140234411755221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16607] ppid=16591 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16607/stat : 16607 (java) S 16591 16591 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408259257 15512600576 12619 33554432000 4194304 4196468 140721709390480 140233871886896 140234411756162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51924 KiB
[startup+0.703135 s]
/proc/loadavg: 8.72 8.38 8.21 6/233 16607
/proc/meminfo: memFree=31472472/32770624 swapFree=66979536/67108860
[pid=16591] ppid=16588 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16591/stat : 16591 (xcsp3-exec) S 16588 16591 6753 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408259251 115843072 362 33554432000 4194304 5098028 140722078413616 140722078411720 139639360205436 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 27410432 140722078417787 140722078418029 140722078418029 140722078420938 0
/proc/16591/statm: 28282 362 304 221 0 87 0
[pid=16593] ppid=16591 vsize=15417404 memory=91328 CPUtime=1.59 cores=1,3,5,7
/proc/16593/stat : 16593 (java) S 16591 16591 6753 0 -1 1077944320 15042 0 0 0 152 7 0 0 20 0 19 0 408259251 15787421696 22832 33554432000 4194304 4196468 140721709390480 140721709373024 140234411745015 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
/proc/16593/statm: 3854351 22832 3453 1 0 3815453 0
[pid=16593/tid=16594] ppid=16591 vsize=15417404 memory=1786974831873 CPUtime=0.63 cores=1,3,5,7
/proc/16593/task/16594/stat : 16594 (java) S 16591 16591 6753 0 -1 1077944384 8869 0 0 0 59 4 0 0 20 0 19 0 408259252 15787421696 22832 33554432000 4194304 4196468 140721709390480 140234415985792 140234411755221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16595] ppid=16591 vsize=15417404 memory=512 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16595/stat : 16595 (java) S 16591 16591 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 408259252 15787421696 22832 33554432000 4194304 4196468 140721709390480 140234374851600 140234411755221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16596] ppid=16591 vsize=15417404 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16596/stat : 16596 (java) S 16591 16591 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 408259252 15787421696 22832 33554432000 4194304 4196468 140721709390480 140234002979984 140234411755221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16597] ppid=16591 vsize=15417404 memory=928 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16597/stat : 16597 (java) S 16591 16591 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 408259252 15787421696 22832 33554432000 4194304 4196468 140721709390480 140234001926928 140234411755221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16598] ppid=16591 vsize=15417404 memory=3772 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16598/stat : 16598 (java) S 16591 16591 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 408259252 15787421696 22832 33554432000 4194304 4196468 140721709390480 140234000874384 140234411755221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16599] ppid=16591 vsize=15417404 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16599/stat : 16599 (java) S 16591 16591 6753 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 408259254 15787421696 22832 33554432000 4194304 4196468 140721709390480 140233880307952 140234411756162 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16600] ppid=16591 vsize=15417404 memory=920 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16600/stat : 16600 (java) S 16591 16591 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 408259254 15787421696 22832 33554432000 4194304 4196468 140721709390480 140233879254176 140234411755221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16601] ppid=16591 vsize=15417404 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16601/stat : 16601 (java) S 16591 16591 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 408259254 15787421696 22832 33554432000 4194304 4196468 140721709390480 140233878201072 140234411755221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16602] ppid=16591 vsize=15417404 memory=2404 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16602/stat : 16602 (java) S 16591 16591 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408259257 15787421696 22832 33554432000 4194304 4196468 140721709390480 140233877149648 140234411763611 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16603] ppid=16591 vsize=15417404 memory=1764 CPUtime=0.23 cores=1,3,5,7
/proc/16593/task/16603/stat : 16603 (java) R 16591 16591 6753 0 -1 1077944384 1294 0 0 0 23 0 0 0 20 0 19 0 408259257 15787421696 22832 33554432000 4194304 4196468 140721709390480 140233876084560 140234411755221 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16604] ppid=16591 vsize=15417404 memory=111632 CPUtime=0.19 cores=1,3,5,7
/proc/16593/task/16604/stat : 16604 (java) R 16591 16591 6753 0 -1 4202560 917 0 0 0 19 0 0 0 20 0 19 0 408259257 15787421696 22832 33554432000 4194304 4196468 140721709390480 140233875035024 140234397767301 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16605] ppid=16591 vsize=15417404 memory=804 CPUtime=0.4 cores=1,3,5,7
/proc/16593/task/16605/stat : 16605 (java) R 16591 16591 6753 0 -1 4202560 2017 0 0 0 40 0 0 0 20 0 19 0 408259257 15787421696 22832 33554432000 4194304 4196468 140721709390480 140233873987936 140234391705280 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16606] ppid=16591 vsize=15417404 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16606/stat : 16606 (java) S 16591 16591 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408259257 15787421696 22832 33554432000 4194304 4196468 140721709390480 140233872939872 140234411755221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16607] ppid=16591 vsize=15417404 memory=924 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16607/stat : 16607 (java) S 16591 16591 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 408259257 15787421696 22832 33554432000 4194304 4196468 140721709390480 140233871886896 140234411756162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
Current children cumulated CPU time: 1.59 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 92776 KiB
[startup+1.50655 s]
/proc/loadavg: 8.72 8.38 8.21 11/237 16623
/proc/meminfo: memFree=31396784/32770624 swapFree=66979536/67108860
[pid=16591] ppid=16588 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16591/stat : 16591 (xcsp3-exec) S 16588 16591 6753 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408259251 115843072 362 33554432000 4194304 5098028 140722078413616 140722078411720 139639360205436 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 27410432 140722078417787 140722078418029 140722078418029 140722078420938 0
/proc/16591/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/16593/task/16607/stat : 16607 (java) S 16591 16591 6753 0 -1 1077944384 444 0 0 0 0 1 0 0 20 0 19 0 408259257 15926894592 59078 33554432000 4194304 4196468 140721709390480 140233871886896 140234411756162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16654] ppid=16591 vsize=15553608 memory=1448 CPUtime=49.36 cores=1,3,5,7
/proc/16593/task/16654/stat : 16654 (java) R 16591 16591 6753 0 -1 4202560 569 0 0 0 4936 0 0 0 20 0 19 0 408261101 15926894592 59078 33554432000 4194304 4196468 140721709390480 140233860569680 140234054533712 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16655] ppid=16591 vsize=15553608 memory=236312 CPUtime=49 cores=1,3,5,7
/proc/16593/task/16655/stat : 16655 (java) R 16591 16591 6753 0 -1 4202560 1520 0 0 0 4900 0 0 0 20 0 19 0 408261101 15926894592 59078 33554432000 4194304 4196468 140721709390480 140233861623576 140234054645064 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16656] ppid=16591 vsize=15553608 memory=6791534058613427641 CPUtime=48.77 cores=1,3,5,7
/proc/16593/task/16656/stat : 16656 (java) R 16591 16591 6753 0 -1 4202560 1668 0 0 0 4877 0 0 0 20 0 19 0 408261101 15926894592 59078 33554432000 4194304 4196468 140721709390480 140233854264168 140234055267631 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16657] ppid=16591 vsize=15553608 memory=920 CPUtime=49.31 cores=1,3,5,7
/proc/16593/task/16657/stat : 16657 (java) R 16591 16591 6753 0 -1 4202560 783 0 0 0 4931 0 0 0 20 0 19 0 408261101 15926894592 59078 33554432000 4194304 4196468 140721709390480 140233855315256 140234055720158 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
Current children cumulated CPU time: 269.34 s
Current children cumulated vsize: 15666736 KiB
Current children cumulated memory: 237760 KiB
[startup+68.4016 s]
/proc/loadavg: 8.34 8.35 8.22 7/237 16662
/proc/meminfo: memFree=31253472/32770624 swapFree=66979536/67108860
[pid=16591] ppid=16588 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16591/stat : 16591 (xcsp3-exec) S 16588 16591 6753 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408259251 115843072 362 33554432000 4194304 5098028 140722078413616 140722078411720 139639360205436 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 27410432 140722078417787 140722078418029 140722078418029 140722078420938 0
/proc/16591/statm: 28282 362 304 221 0 87 0
[pid=16593] ppid=16591 vsize=15553608 memory=236312 CPUtime=270.9 cores=1,3,5,7
/proc/16593/stat : 16593 (java) S 16591 16591 6753 0 -1 1077944320 76454 0 0 0 27073 17 0 0 20 0 19 0 408259251 15926894592 59078 33554432000 4194304 4196468 140721709390480 140721709373024 140234411745015 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
/proc/16593/statm: 3888402 59078 3517 1 0 3849504 0
[pid=16593/tid=16594] ppid=16591 vsize=15553608 memory=9126232286719478932 CPUtime=0.63 cores=1,3,5,7
/proc/16593/task/16594/stat : 16594 (java) S 16591 16591 6753 0 -1 1077944384 9159 0 0 0 59 4 0 0 20 0 19 0 408259252 15926894592 59078 33554432000 4194304 4196468 140721709390480 140234415985792 140234411755221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16595] ppid=16591 vsize=15553608 memory=6791534058613427641 CPUtime=0.01 cores=1,3,5,7
/proc/16593/task/16595/stat : 16595 (java) S 16591 16591 6753 0 -1 1077944384 426 0 0 0 1 0 0 0 20 0 19 0 408259252 15926894592 59078 33554432000 4194304 4196468 140721709390480 140234374851600 140234411755221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16596] ppid=16591 vsize=15553608 memory=4104 CPUtime=0.01 cores=1,3,5,7
/proc/16593/task/16596/stat : 16596 (java) S 16591 16591 6753 0 -1 1077944384 2415 0 0 0 1 0 0 0 20 0 19 0 408259252 15926894592 59078 33554432000 4194304 4196468 140721709390480 140234002979984 140234411755221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16597] ppid=16591 vsize=15553608 memory=1412 CPUtime=0.01 cores=1,3,5,7
/proc/16593/task/16597/stat : 16597 (java) S 16591 16591 6753 0 -1 1077944384 1823 0 0 0 1 0 0 0 20 0 19 0 408259252 15926894592 59078 33554432000 4194304 4196468 140721709390480 140234001926928 140234411755221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16598] ppid=16591 vsize=15553608 memory=3348 CPUtime=0.01 cores=1,3,5,7
/proc/16593/task/16598/stat : 16598 (java) S 16591 16591 6753 0 -1 1077944384 2325 0 0 0 1 0 0 0 20 0 19 0 408259252 15926894592 59078 33554432000 4194304 4196468 140721709390480 140234000874384 140234411755221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16599] ppid=16591 vsize=15553608 memory=1448 CPUtime=0.02 cores=1,3,5,7
/proc/16593/task/16599/stat : 16599 (java) S 16591 16591 6753 0 -1 1077944384 1573 0 0 0 1 1 0 0 20 0 19 0 408259254 15926894592 59078 33554432000 4194304 4196468 140721709390480 140233880307952 140234411756162 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16600] ppid=16591 vsize=15553608 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16600/stat : 16600 (java) S 16591 16591 6753 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 408259254 15926894592 59078 33554432000 4194304 4196468 140721709390480 140233879254240 140234411755221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16601] ppid=16591 vsize=15553608 memory=236312 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16601/stat : 16601 (java) S 16591 16591 6753 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 408259254 15926894592 59078 33554432000 4194304 4196468 140721709390480 140233878201088 140234411755221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16602] ppid=16591 vsize=15553608 memory=928 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16602/stat : 16602 (java) S 16591 16591 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408259257 15926894592 59078 33554432000 4194304 4196468 140721709390480 140233877149648 140234411763611 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16603] ppid=16591 vsize=15553608 memory=3772 CPUtime=4.09 cores=1,3,5,7
/proc/16593/task/16603/stat : 16603 (java) S 16591 16591 6753 0 -1 1077944384 23419 0 0 0 407 2 0 0 20 0 19 0 408259257 15926894592 59078 33554432000 4194304 4196468 140721709390480 140233876097776 140234411756162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16604] ppid=16591 vsize=15553608 memory=1440 CPUtime=3.72 cores=1,3,5,7
/proc/16593/task/16604/stat : 16604 (java) S 16591 16591 6753 0 -1 1077944384 15693 0 0 0 371 1 0 0 20 0 19 0 408259257 15926894592 59078 33554432000 4194304 4196468 140721709390480 140233875045232 140234411756162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16605] ppid=16591 vsize=15553608 memory=920 CPUtime=0.75 cores=1,3,5,7
/proc/16593/task/16605/stat : 16605 (java) S 16591 16591 6753 0 -1 1077944384 8256 0 0 0 73 2 0 0 20 0 19 0 408259257 15926894592 59078 33554432000 4194304 4196468 140721709390480 140233873992176 140234411756162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16606] ppid=16591 vsize=15553608 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16606/stat : 16606 (java) S 16591 16591 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408259257 15926894592 59078 33554432000 4194304 4196468 140721709390480 140233872939872 140234411755221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16607] ppid=16591 vsize=15553608 memory=2404 CPUtime=0.01 cores=1,3,5,7
/proc/16593/task/16607/stat : 16607 (java) S 16591 16591 6753 0 -1 1077944384 444 0 0 0 0 1 0 0 20 0 19 0 408259257 15926894592 59078 33554432000 4194304 4196468 140721709390480 140233871886896 140234411756162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16654] ppid=16591 vsize=15553608 memory=1764 CPUtime=49.75 cores=1,3,5,7
/proc/16593/task/16654/stat : 16654 (java) R 16591 16591 6753 0 -1 4202560 569 0 0 0 4975 0 0 0 20 0 19 0 408261101 15926894592 59078 33554432000 4194304 4196468 140721709390480 140233860569680 140234054533329 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16655] ppid=16591 vsize=15553608 memory=111632 CPUtime=49.39 cores=1,3,5,7
/proc/16593/task/16655/stat : 16655 (java) R 16591 16591 6753 0 -1 4202560 1520 0 0 0 4939 0 0 0 20 0 19 0 408261101 15926894592 59078 33554432000 4194304 4196468 140721709390480 140233861623576 140234049033956 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16656] ppid=16591 vsize=15553608 memory=804 CPUtime=49.16 cores=1,3,5,7
/proc/16593/task/16656/stat : 16656 (java) R 16591 16591 6753 0 -1 4202560 1668 0 0 0 4916 0 0 0 20 0 19 0 408261101 15926894592 59078 33554432000 4194304 4196468 140721709390480 140233854265784 140234054774124 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16657] ppid=16591 vsize=15553608 memory=1808 CPUtime=49.7 cores=1,3,5,7
/proc/16593/task/16657/stat : 16657 (java) R 16591 16591 6753 0 -1 4202560 783 0 0 0 4970 0 0 0 20 0 19 0 408261101 15926894592 59078 33554432000 4194304 4196468 140721709390480 140233855315256 140234055499346 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
Current children cumulated CPU time: 270.9 s
Current children cumulated vsize: 15666736 KiB
Current children cumulated memory: 237760 KiB
[startup+68.8016 s]
/proc/loadavg: 8.34 8.35 8.22 7/237 16662
/proc/meminfo: memFree=31253472/32770624 swapFree=66979536/67108860
[pid=16591] ppid=16588 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16591/stat : 16591 (xcsp3-exec) S 16588 16591 6753 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408259251 115843072 362 33554432000 4194304 5098028 140722078413616 140722078411720 139639360205436 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 27410432 140722078417787 140722078418029 140722078418029 140722078420938 0
/proc/16591/statm: 28282 362 304 221 0 87 0
[pid=16593] ppid=16591 vsize=15553608 memory=236312 CPUtime=272.5 cores=1,3,5,7
/proc/16593/stat : 16593 (java) S 16591 16591 6753 0 -1 1077944320 76459 0 0 0 27233 17 0 0 20 0 19 0 408259251 15926894592 59078 33554432000 4194304 4196468 140721709390480 140721709373024 140234411745015 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
/proc/16593/statm: 3888402 59078 3517 1 0 3849504 0
[pid=16593/tid=16594] ppid=16591 vsize=15553608 memory=6791534058613427641 CPUtime=0.63 cores=1,3,5,7
/proc/16593/task/16594/stat : 16594 (java) S 16591 16591 6753 0 -1 1077944384 9159 0 0 0 59 4 0 0 20 0 19 0 408259252 15926894592 59078 33554432000 4194304 4196468 140721709390480 140234415985792 140234411755221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16595] ppid=16591 vsize=15553608 memory=236312 CPUtime=0.01 cores=1,3,5,7
/proc/16593/task/16595/stat : 16595 (java) S 16591 16591 6753 0 -1 1077944384 426 0 0 0 1 0 0 0 20 0 19 0 408259252 15926894592 59078 33554432000 4194304 4196468 140721709390480 140234374851600 140234411755221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16596] ppid=16591 vsize=15553608 memory=9580 CPUtime=0.01 cores=1,3,5,7
/proc/16593/task/16596/stat : 16596 (java) S 16591 16591 6753 0 -1 1077944384 2415 0 0 0 1 0 0 0 20 0 19 0 408259252 15926894592 59078 33554432000 4194304 4196468 140721709390480 140234002979984 140234411755221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16597] ppid=16591 vsize=15553608 memory=14008 CPUtime=0.01 cores=1,3,5,7
/proc/16593/task/16597/stat : 16597 (java) S 16591 16591 6753 0 -1 1077944384 1823 0 0 0 1 0 0 0 20 0 19 0 408259252 15926894592 59078 33554432000 4194304 4196468 140721709390480 140234001926928 140234411755221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16598] ppid=16591 vsize=15553608 memory=9580 CPUtime=0.01 cores=1,3,5,7
/proc/16593/task/16598/stat : 16598 (java) S 16591 16591 6753 0 -1 1077944384 2325 0 0 0 1 0 0 0 20 0 19 0 408259252 15926894592 59078 33554432000 4194304 4196468 140721709390480 140234000874384 140234411755221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16599] ppid=16591 vsize=15553608 memory=14008 CPUtime=0.02 cores=1,3,5,7
/proc/16593/task/16599/stat : 16599 (java) S 16591 16591 6753 0 -1 1077944384 1573 0 0 0 1 1 0 0 20 0 19 0 408259254 15926894592 59078 33554432000 4194304 4196468 140721709390480 140233880307952 140234411756162 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16600] ppid=16591 vsize=15553608 memory=2120 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16600/stat : 16600 (java) S 16591 16591 6753 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 408259254 15926894592 59078 33554432000 4194304 4196468 140721709390480 140233879254240 140234411755221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16601] ppid=16591 vsize=15553608 memory=11976 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16601/stat : 16601 (java) S 16591 16591 6753 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 408259254 15926894592 59078 33554432000 4194304 4196468 140721709390480 140233878201088 140234411755221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16602] ppid=16591 vsize=15553608 memory=5768 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16602/stat : 16602 (java) S 16591 16591 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408259257 15926894592 59078 33554432000 4194304 4196468 140721709390480 140233877149648 140234411763611 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16603] ppid=16591 vsize=15553608 memory=1448 CPUtime=4.09 cores=1,3,5,7
/proc/16593/task/16603/stat : 16603 (java) S 16591 16591 6753 0 -1 1077944384 23419 0 0 0 407 2 0 0 20 0 19 0 408259257 15926894592 59078 33554432000 4194304 4196468 140721709390480 140233876097776 140234411756162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16604] ppid=16591 vsize=15553608 memory=236312 CPUtime=3.72 cores=1,3,5,7
/proc/16593/task/16604/stat : 16604 (java) S 16591 16591 6753 0 -1 1077944384 15693 0 0 0 371 1 0 0 20 0 19 0 408259257 15926894592 59078 33554432000 4194304 4196468 140721709390480 140233875045232 140234411756162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16605] ppid=16591 vsize=15553608 memory=-5864069932141601893 CPUtime=0.75 cores=1,3,5,7
/proc/16593/task/16605/stat : 16605 (java) S 16591 16591 6753 0 -1 1077944384 8256 0 0 0 73 2 0 0 20 0 19 0 408259257 15926894592 59078 33554432000 4194304 4196468 140721709390480 140233873992176 140234411756162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16606] ppid=16591 vsize=15553608 memory=-6305710594529583744 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16606/stat : 16606 (java) S 16591 16591 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408259257 15926894592 59078 33554432000 4194304 4196468 140721709390480 140233872939872 140234411755221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16607] ppid=16591 vsize=15553608 memory=6656426216303648864 CPUtime=0.01 cores=1,3,5,7
/proc/16593/task/16607/stat : 16607 (java) S 16591 16591 6753 0 -1 1077944384 444 0 0 0 0 1 0 0 20 0 19 0 408259257 15926894592 59078 33554432000 4194304 4196468 140721709390480 140233871886896 140234411756162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16654] ppid=16591 vsize=15553608 memory=6655300316396806240 CPUtime=50.15 cores=1,3,5,7
/proc/16593/task/16654/stat : 16654 (java) R 16591 16591 6753 0 -1 4202560 569 0 0 0 5015 0 0 0 20 0 19 0 408261101 15926894592 59078 33554432000 4194304 4196468 140721709390480 140233860569680 140234054386677 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16655] ppid=16591 vsize=15553608 memory=1448 CPUtime=49.79 cores=1,3,5,7
/proc/16593/task/16655/stat : 16655 (java) R 16591 16591 6753 0 -1 4202560 1524 0 0 0 4979 0 0 0 20 0 19 0 408261101 15926894592 59078 33554432000 4194304 4196468 140721709390480 140233861623576 140234054122835 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16656] ppid=16591 vsize=15553608 memory=236312 CPUtime=49.55 cores=1,3,5,7
/proc/16593/task/16656/stat : 16656 (java) R 16591 16591 6753 0 -1 4202560 1669 0 0 0 4955 0 0 0 20 0 19 0 408261101 15926894592 59078 33554432000 4194304 4196468 140721709390480 140233854265784 140234054932792 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16657] ppid=16591 vsize=15553608 memory=1448 CPUtime=50.1 cores=1,3,5,7
/proc/16593/task/16657/stat : 16657 (java) R 16591 16591 6753 0 -1 4202560 783 0 0 0 5010 0 0 0 20 0 19 0 408261101 15926894592 59078 33554432000 4194304 4196468 140721709390480 140233855315256 140234054645599 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
Current children cumulated CPU time: 272.5 s
Current children cumulated vsize: 15666736 KiB
Current children cumulated memory: 237760 KiB
[startup+68.9016 s]
/proc/loadavg: 8.34 8.35 8.22 7/237 16662
/proc/meminfo: memFree=31253472/32770624 swapFree=66979536/67108860
[pid=16591] ppid=16588 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16591/stat : 16591 (xcsp3-exec) S 16588 16591 6753 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408259251 115843072 362 33554432000 4194304 5098028 140722078413616 140722078411720 139639360205436 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 27410432 140722078417787 140722078418029 140722078418029 140722078420938 0
/proc/16591/statm: 28282 362 304 221 0 87 0
[pid=16593] ppid=16591 vsize=15553608 memory=236312 CPUtime=272.89 cores=1,3,5,7
/proc/16593/stat : 16593 (java) S 16591 16591 6753 0 -1 1077944320 76459 0 0 0 27272 17 0 0 20 0 19 0 408259251 15926894592 59078 33554432000 4194304 4196468 140721709390480 140721709373024 140234411745015 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
/proc/16593/statm: 3888402 59078 3517 1 0 3849504 0
[pid=16593/tid=16594] ppid=16591 vsize=15553608 memory=236312 CPUtime=0.63 cores=1,3,5,7
/proc/16593/task/16594/stat : 16594 (java) S 16591 16591 6753 0 -1 1077944384 9159 0 0 0 59 4 0 0 20 0 19 0 408259252 15926894592 59078 33554432000 4194304 4196468 140721709390480 140234415985792 140234411755221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16595] ppid=16591 vsize=15553608 memory=236312 CPUtime=0.01 cores=1,3,5,7
/proc/16593/task/16595/stat : 16595 (java) S 16591 16591 6753 0 -1 1077944384 426 0 0 0 1 0 0 0 20 0 19 0 408259252 15926894592 59078 33554432000 4194304 4196468 140721709390480 140234374851600 140234411755221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16596] ppid=16591 vsize=15553608 memory=236312 CPUtime=0.01 cores=1,3,5,7
/proc/16593/task/16596/stat : 16596 (java) S 16591 16591 6753 0 -1 1077944384 2415 0 0 0 1 0 0 0 20 0 19 0 408259252 15926894592 59078 33554432000 4194304 4196468 140721709390480 140234002979984 140234411755221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16597] ppid=16591 vsize=15553608 memory=236312 CPUtime=0.01 cores=1,3,5,7
/proc/16593/task/16597/stat : 16597 (java) S 16591 16591 6753 0 -1 1077944384 1823 0 0 0 1 0 0 0 20 0 19 0 408259252 15926894592 59078 33554432000 4194304 4196468 140721709390480 140234001926928 140234411755221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16598] ppid=16591 vsize=15553608 memory=1448 CPUtime=0.01 cores=1,3,5,7
/proc/16593/task/16598/stat : 16598 (java) S 16591 16591 6753 0 -1 1077944384 2325 0 0 0 1 0 0 0 20 0 19 0 408259252 15926894592 59078 33554432000 4194304 4196468 140721709390480 140234000874384 140234411755221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16599] ppid=16591 vsize=15553608 memory=236780 CPUtime=0.02 cores=1,3,5,7
/proc/16593/task/16599/stat : 16599 (java) S 16591 16591 6753 0 -1 1077944384 1573 0 0 0 1 1 0 0 20 0 19 0 408259254 15926894592 59078 33554432000 4194304 4196468 140721709390480 140233880307952 140234411756162 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16600] ppid=16591 vsize=15553608 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16600/stat : 16600 (java) S 16591 16591 6753 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 408259254 15926894592 59078 33554432000 4194304 4196468 140721709390480 140233879254240 140234411755221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16601] ppid=16591 vsize=15553608 memory=236780 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16601/stat : 16601 (java) S 16591 16591 6753 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 408259254 15926894592 59078 33554432000 4194304 4196468 140721709390480 140233878201088 140234411755221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16602] ppid=16591 vsize=15553608 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16602/stat : 16602 (java) S 16591 16591 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408259257 15926894592 59078 33554432000 4194304 4196468 140721709390480 140233877149648 140234411763611 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16603] ppid=16591 vsize=15553608 memory=231664 CPUtime=4.09 cores=1,3,5,7
/proc/16593/task/16603/stat : 16603 (java) S 16591 16591 6753 0 -1 1077944384 23419 0 0 0 407 2 0 0 20 0 19 0 408259257 15926894592 59078 33554432000 4194304 4196468 140721709390480 140233876097776 140234411756162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16604] ppid=16591 vsize=15553608 memory=1448 CPUtime=3.72 cores=1,3,5,7
/proc/16593/task/16604/stat : 16604 (java) S 16591 16591 6753 0 -1 1077944384 15693 0 0 0 371 1 0 0 20 0 19 0 408259257 15926894592 59078 33554432000 4194304 4196468 140721709390480 140233875045232 140234411756162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16605] ppid=16591 vsize=15553608 memory=236780 CPUtime=0.75 cores=1,3,5,7
/proc/16593/task/16605/stat : 16605 (java) S 16591 16591 6753 0 -1 1077944384 8256 0 0 0 73 2 0 0 20 0 19 0 408259257 15926894592 59078 33554432000 4194304 4196468 140721709390480 140233873992176 140234411756162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16606] ppid=16591 vsize=15553608 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16606/stat : 16606 (java) S 16591 16591 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408259257 15926894592 59078 33554432000 4194304 4196468 140721709390480 140233872939872 140234411755221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16607] ppid=16591 vsize=15553608 memory=231664 CPUtime=0.01 cores=1,3,5,7
/proc/16593/task/16607/stat : 16607 (java) S 16591 16591 6753 0 -1 1077944384 444 0 0 0 0 1 0 0 20 0 19 0 408259257 15926894592 59078 33554432000 4194304 4196468 140721709390480 140233871886896 140234411756162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16654] ppid=16591 vsize=15553608 memory=1448 CPUtime=50.25 cores=1,3,5,7
/proc/16593/task/16654/stat : 16654 (java) R 16591 16591 6753 0 -1 4202560 569 0 0 0 5025 0 0 0 20 0 19 0 408261101 15926894592 59078 33554432000 4194304 4196468 140721709390480 140233860569680 140234055269086 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16655] ppid=16591 vsize=15553608 memory=231664 CPUtime=49.89 cores=1,3,5,7
/proc/16593/task/16655/stat : 16655 (java) R 16591 16591 6753 0 -1 4202560 1524 0 0 0 4989 0 0 0 20 0 19 0 408261101 15926894592 59078 33554432000 4194304 4196468 140721709390480 140233861623576 140234056237851 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16656] ppid=16591 vsize=15553608 memory=231664 CPUtime=49.65 cores=1,3,5,7
/proc/16593/task/16656/stat : 16656 (java) R 16591 16591 6753 0 -1 4202560 1669 0 0 0 4965 0 0 0 20 0 19 0 408261101 15926894592 59078 33554432000 4194304 4196468 140721709390480 140233854265784 140234055499357 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
[pid=16593/tid=16657] ppid=16591 vsize=15553608 memory=16884 CPUtime=50.2 cores=1,3,5,7
/proc/16593/task/16657/stat : 16657 (java) R 16591 16591 6753 0 -1 4202560 783 0 0 0 5020 0 0 0 20 0 19 0 408261101 15926894592 59078 33554432000 4194304 4196468 140721709390480 140233855315256 140234055497551 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721709396975 140721709397146 140721709397146 140721709400015 0
Current children cumulated CPU time: 272.89 s
Current children cumulated vsize: 15666736 KiB
Current children cumulated memory: 237760 KiB
Child status: 0
Real time (s): 68.9343
CPU time (s): 273.014
CPU user time (s): 272.83
CPU system time (s): 0.18385
CPU usage (%): 396.049
Max. virtual memory (cumulated for all children) (KiB): 15666736
Max. memory (cumulated for all children) (KiB): 238228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 272.83
system time used= 0.18385
maximum resident set size= 237832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77471
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5502
involuntary context switches= 5555
# summary of solver processes directly reported to runsolver:
# pid: 16591
# total CPU time (s): 273.014
# total CPU user time (s): 272.83
# total CPU system time (s): 0.18385
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.46607 second user time and 0.726567 second system time
The end