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 (14992 MiB free)
memory of node 1: 16384 MiB (15432 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392935-1568319814/watcher-4392935-1568319814 -o /tmp/evaluation-result-4392935-1568319814/solver-4392935-1568319814 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568308867-14286 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1094000775 HOME/instance-4392935-1568319814.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=21903, runsolver pid=21900
Current StackSize limit: 8192 KiB
[startup+0.100082 s]*
/proc/loadavg: 8.16 8.48 8.37 8/233 21919
/proc/meminfo: memFree=31138988/32770624 swapFree=66920744/67108860
[pid=21903] ppid=21900 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21903/stat : 21903 (xcsp3-exec) S 21900 21903 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408237479 115843072 363 33554432000 4194304 5098028 140732187133312 140732187131416 139765089452668 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9756672 140732187136890 140732187137133 140732187137133 140732187140042 0
/proc/21903/statm: 28282 363 304 221 0 87 0
[pid=21905] ppid=21903 vsize=15144768 memory=29040 CPUtime=0.13 cores=1,3,5,7
/proc/21905/stat : 21905 (java) S 21903 21903 14254 0 -1 1077944320 5702 0 0 0 12 1 0 0 20 0 15 0 408237479 15508242432 7260 33554432000 4194304 4196468 140736090455232 140736090437776 139834689552119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
/proc/21905/statm: 3786192 7260 3148 1 0 3748377 0
[pid=21905/tid=21906] ppid=21903 vsize=15144768 memory=576460756329955459 CPUtime=0.08 cores=1,3,5,7
/proc/21905/task/21906/stat : 21906 (java) R 21903 21903 14254 0 -1 4202560 3572 0 0 0 8 0 0 0 20 0 15 0 408237479 15508242432 7260 33554432000 4194304 4196468 140736090455232 139834693774816 139834689564054 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21907] ppid=21903 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21905/task/21907/stat : 21907 (java) S 21903 21903 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408237480 15508242432 7260 33554432000 4194304 4196468 140736090455232 139834617592848 139834689562325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21908] ppid=21903 vsize=15144768 memory=3472749831443338912 CPUtime=0 cores=1,3,5,7
/proc/21905/task/21908/stat : 21908 (java) S 21903 21903 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408237480 15508242432 7260 33554432000 4194304 4196468 140736090455232 139834616540304 139834689562325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21909] ppid=21903 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21905/task/21909/stat : 21909 (java) S 21903 21903 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408237480 15508242432 7260 33554432000 4194304 4196468 140736090455232 139834615487248 139834689562325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21910] ppid=21903 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21905/task/21910/stat : 21910 (java) S 21903 21903 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408237480 15508242432 7260 33554432000 4194304 4196468 140736090455232 139834614434704 139834689562325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21911] ppid=21903 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21905/task/21911/stat : 21911 (java) S 21903 21903 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408237481 15508242432 7260 33554432000 4194304 4196468 140736090455232 139833789454576 139834689563266 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21912] ppid=21903 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21905/task/21912/stat : 21912 (java) S 21903 21903 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408237482 15508242432 7260 33554432000 4194304 4196468 140736090455232 139833788400800 139834689562325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21913] ppid=21903 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21905/task/21913/stat : 21913 (java) S 21903 21903 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408237482 15508242432 7260 33554432000 4194304 4196468 140736090455232 139833787347696 139834689562325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21914] ppid=21903 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21905/task/21914/stat : 21914 (java) S 21903 21903 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408237484 15508242432 7260 33554432000 4194304 4196468 140736090455232 139833786296272 139834689570715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21915] ppid=21903 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21905/task/21915/stat : 21915 (java) S 21903 21903 14254 0 -1 1077944384 338 0 0 0 0 0 0 0 20 0 15 0 408237484 15508242432 7260 33554432000 4194304 4196468 140736090455232 139833785244400 139834689563266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21916] ppid=21903 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21905/task/21916/stat : 21916 (java) S 21903 21903 14254 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 408237484 15508242432 7260 33554432000 4194304 4196468 140736090455232 139833784191856 139834689563266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21917] ppid=21903 vsize=15144768 memory=140034455262848 CPUtime=0.02 cores=1,3,5,7
/proc/21905/task/21917/stat : 21917 (java) S 21903 21903 14254 0 -1 1077944384 364 0 0 0 2 0 0 0 20 0 15 0 408237484 15508242432 7260 33554432000 4194304 4196468 140736090455232 139833783138800 139834689563266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21918] ppid=21903 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21905/task/21918/stat : 21918 (java) S 21903 21903 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408237485 15508242432 7260 33554432000 4194304 4196468 140736090455232 139833782086496 139834689562325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21919] ppid=21903 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21905/task/21919/stat : 21919 (java) S 21903 21903 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408237485 15508242432 7260 33554432000 4194304 4196468 140736090455232 139833781033520 139834689563266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30492 KiB
[startup+0.210811 s]*
/proc/loadavg: 8.16 8.48 8.37 6/233 21919
/proc/meminfo: memFree=31126148/32770624 swapFree=66920744/67108860
[pid=21903] ppid=21900 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21903/stat : 21903 (xcsp3-exec) S 21900 21903 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408237479 115843072 363 33554432000 4194304 5098028 140732187133312 140732187131416 139765089452668 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9756672 140732187136890 140732187137133 140732187137133 140732187140042 0
/proc/21903/statm: 28282 363 304 221 0 87 0
[pid=21905] ppid=21903 vsize=15144768 memory=40836 CPUtime=0.35 cores=1,3,5,7
/proc/21905/stat : 21905 (java) S 21903 21903 14254 0 -1 1077944320 9457 0 0 0 32 3 0 0 20 0 15 0 408237479 15508242432 10209 33554432000 4194304 4196468 140736090455232 140736090437776 139834689552119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
/proc/21905/statm: 3786192 10209 3265 1 0 3748377 0
[pid=21905/tid=21906] ppid=21903 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/21905/task/21906/stat : 21906 (java) R 21903 21903 14254 0 -1 4202560 6615 0 0 0 18 2 0 0 20 0 15 0 408237479 15508242432 10272 33554432000 4194304 4196468 140736090455232 139834693789152 139834689574045 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21907] ppid=21903 vsize=15144768 memory=10592 CPUtime=0 cores=1,3,5,7
/proc/21905/task/21907/stat : 21907 (java) S 21903 21903 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408237480 15508242432 10272 33554432000 4194304 4196468 140736090455232 139834617592848 139834689562325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21908] ppid=21903 vsize=15144768 memory=140034458116035 CPUtime=0 cores=1,3,5,7
/proc/21905/task/21908/stat : 21908 (java) S 21903 21903 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408237480 15508242432 10272 33554432000 4194304 4196468 140736090455232 139834616540304 139834689562325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21909] ppid=21903 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21905/task/21909/stat : 21909 (java) S 21903 21903 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408237480 15508242432 10272 33554432000 4194304 4196468 140736090455232 139834615487248 139834689562325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21910] ppid=21903 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21905/task/21910/stat : 21910 (java) S 21903 21903 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408237480 15508242432 10272 33554432000 4194304 4196468 140736090455232 139834614434704 139834689562325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21911] ppid=21903 vsize=15144768 memory=140034455262848 CPUtime=0 cores=1,3,5,7
/proc/21905/task/21911/stat : 21911 (java) S 21903 21903 14254 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408237481 15508242432 10272 33554432000 4194304 4196468 140736090455232 139833789454576 139834689563266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21912] ppid=21903 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21905/task/21912/stat : 21912 (java) S 21903 21903 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408237482 15508242432 10272 33554432000 4194304 4196468 140736090455232 139833788400800 139834689562325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21913] ppid=21903 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21905/task/21913/stat : 21913 (java) S 21903 21903 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408237482 15508242432 10272 33554432000 4194304 4196468 140736090455232 139833787347696 139834689562325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21914] ppid=21903 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21905/task/21914/stat : 21914 (java) S 21903 21903 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408237484 15508242432 10272 33554432000 4194304 4196468 140736090455232 139833786296272 139834689570715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21915] ppid=21903 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/21905/task/21915/stat : 21915 (java) S 21903 21903 14254 0 -1 1077944384 376 0 0 0 2 0 0 0 20 0 15 0 408237484 15508242432 10272 33554432000 4194304 4196468 140736090455232 139833785244400 139834689563266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21916] ppid=21903 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/21905/task/21916/stat : 21916 (java) S 21903 21903 14254 0 -1 1077944384 363 0 0 0 2 0 0 0 20 0 15 0 408237484 15508242432 10272 33554432000 4194304 4196468 140736090455232 139833784191856 139834689563266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21917] ppid=21903 vsize=15144768 memory=140034455262848 CPUtime=0.08 cores=1,3,5,7
/proc/21905/task/21917/stat : 21917 (java) S 21903 21903 14254 0 -1 1077944384 799 0 0 0 8 0 0 0 20 0 15 0 408237484 15508242432 10272 33554432000 4194304 4196468 140736090455232 139833783138800 139834689563266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21918] ppid=21903 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21905/task/21918/stat : 21918 (java) S 21903 21903 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408237485 15508242432 10272 33554432000 4194304 4196468 140736090455232 139833782086496 139834689562325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21919] ppid=21903 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21905/task/21919/stat : 21919 (java) S 21903 21903 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408237485 15508242432 10272 33554432000 4194304 4196468 140736090455232 139833781033520 139834689563266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42288 KiB
[startup+0.314331 s]*
/proc/loadavg: 8.16 8.48 8.37 6/233 21919
/proc/meminfo: memFree=31118972/32770624 swapFree=66920744/67108860
[pid=21903] ppid=21900 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21903/stat : 21903 (xcsp3-exec) S 21900 21903 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408237479 115843072 363 33554432000 4194304 5098028 140732187133312 140732187131416 139765089452668 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9756672 140732187136890 140732187137133 140732187137133 140732187140042 0
/proc/21903/statm: 28282 363 304 221 0 87 0
[pid=21905] ppid=21903 vsize=15149024 memory=50156 CPUtime=0.51 cores=1,3,5,7
/proc/21905/stat : 21905 (java) S 21903 21903 14254 0 -1 1077944320 10854 0 0 0 48 3 0 0 20 0 15 0 408237479 15512600576 12539 33554432000 4194304 4196468 140736090455232 140736090437776 139834689552119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
/proc/21905/statm: 3787256 12539 3328 1 0 3748377 0
[pid=21905/tid=21906] ppid=21903 vsize=15149024 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/21905/task/21906/stat : 21906 (java) R 21903 21903 14254 0 -1 4202560 7871 0 0 0 28 2 0 0 20 0 15 0 408237479 15512600576 12539 33554432000 4194304 4196468 140736090455232 139834693787056 139834673632606 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21907] ppid=21903 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/21905/task/21907/stat : 21907 (java) S 21903 21903 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408237480 15512600576 12539 33554432000 4194304 4196468 140736090455232 139834617592848 139834689562325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21908] ppid=21903 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/21905/task/21908/stat : 21908 (java) S 21903 21903 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408237480 15512600576 12539 33554432000 4194304 4196468 140736090455232 139834616540304 139834689562325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21909] ppid=21903 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/21905/task/21909/stat : 21909 (java) S 21903 21903 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408237480 15512600576 12539 33554432000 4194304 4196468 140736090455232 139834615487248 139834689562325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21910] ppid=21903 vsize=15149024 memory=-4190076264842474805 CPUtime=0 cores=1,3,5,7
/proc/21905/task/21910/stat : 21910 (java) S 21903 21903 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408237480 15512600576 12539 33554432000 4194304 4196468 140736090455232 139834614434704 139834689562325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21911] ppid=21903 vsize=15149024 memory=-7233513673208676511 CPUtime=0 cores=1,3,5,7
/proc/21905/task/21911/stat : 21911 (java) S 21903 21903 14254 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408237481 15512600576 12539 33554432000 4194304 4196468 140736090455232 139833789454576 139834689563266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21912] ppid=21903 vsize=15149024 memory=6944656425123485561 CPUtime=0 cores=1,3,5,7
/proc/21905/task/21912/stat : 21912 (java) S 21903 21903 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408237482 15512600576 12539 33554432000 4194304 4196468 140736090455232 139833788400800 139834689562325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21913] ppid=21903 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/21905/task/21913/stat : 21913 (java) S 21903 21903 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408237482 15512600576 12539 33554432000 4194304 4196468 140736090455232 139833787347696 139834689562325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21914] ppid=21903 vsize=15149024 memory=4627853888499060086 CPUtime=0 cores=1,3,5,7
/proc/21905/task/21914/stat : 21914 (java) S 21903 21903 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408237484 15512600576 12539 33554432000 4194304 4196468 140736090455232 139833786296272 139834689570715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21915] ppid=21903 vsize=15149024 memory=7827413994055111515 CPUtime=0.03 cores=1,3,5,7
/proc/21905/task/21915/stat : 21915 (java) S 21903 21903 14254 0 -1 1077944384 405 0 0 0 3 0 0 0 20 0 15 0 408237484 15512600576 12539 33554432000 4194304 4196468 140736090455232 139833785244400 139834689563266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21916] ppid=21903 vsize=15149024 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/21905/task/21916/stat : 21916 (java) S 21903 21903 14254 0 -1 1077944384 373 0 0 0 4 0 0 0 20 0 15 0 408237484 15512600576 12539 33554432000 4194304 4196468 140736090455232 139833784191856 139834689563266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21917] ppid=21903 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/21905/task/21917/stat : 21917 (java) S 21903 21903 14254 0 -1 1077944384 906 0 0 0 12 0 0 0 20 0 15 0 408237484 15512600576 12539 33554432000 4194304 4196468 140736090455232 139833783138800 139834689563266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21918] ppid=21903 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21905/task/21918/stat : 21918 (java) S 21903 21903 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408237485 15512600576 12539 33554432000 4194304 4196468 140736090455232 139833782086496 139834689562325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21919] ppid=21903 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21905/task/21919/stat : 21919 (java) S 21903 21903 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408237485 15512600576 12539 33554432000 4194304 4196468 140736090455232 139833781033520 139834689563266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51608 KiB
[startup+0.701331 s]
/proc/loadavg: 8.16 8.48 8.37 10/233 21919
/proc/meminfo: memFree=31097800/32770624 swapFree=66920744/67108860
[pid=21903] ppid=21900 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21903/stat : 21903 (xcsp3-exec) S 21900 21903 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408237479 115843072 363 33554432000 4194304 5098028 140732187133312 140732187131416 139765089452668 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9756672 140732187136890 140732187137133 140732187137133 140732187140042 0
/proc/21903/statm: 28282 363 304 221 0 87 0
[pid=21905] ppid=21903 vsize=15151148 memory=93064 CPUtime=1.77 cores=1,3,5,7
/proc/21905/stat : 21905 (java) S 21903 21903 14254 0 -1 1077944320 16493 0 0 0 172 5 0 0 20 0 15 0 408237479 15514775552 23266 33554432000 4194304 4196468 140736090455232 140736090437776 139834689552119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
/proc/21905/statm: 3787787 23266 3456 1 0 3748889 0
[pid=21905/tid=21906] ppid=21903 vsize=15151148 memory=-3704326594973231466 CPUtime=0.67 cores=1,3,5,7
/proc/21905/task/21906/stat : 21906 (java) R 21903 21903 14254 0 -1 4202560 9261 0 0 0 64 3 0 0 20 0 15 0 408237479 15514775552 23266 33554432000 4194304 4196468 140736090455232 139834693786560 139834689573466 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21907] ppid=21903 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21905/task/21907/stat : 21907 (java) S 21903 21903 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408237480 15514775552 23266 33554432000 4194304 4196468 140736090455232 139834617592848 139834689562325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21908] ppid=21903 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21905/task/21908/stat : 21908 (java) S 21903 21903 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408237480 15514775552 23266 33554432000 4194304 4196468 140736090455232 139834616540304 139834689562325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21909] ppid=21903 vsize=15151148 memory=708 CPUtime=0 cores=1,3,5,7
/proc/21905/task/21909/stat : 21909 (java) S 21903 21903 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408237480 15514775552 23266 33554432000 4194304 4196468 140736090455232 139834615487248 139834689562325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21910] ppid=21903 vsize=15151148 memory=9364 CPUtime=0 cores=1,3,5,7
/proc/21905/task/21910/stat : 21910 (java) S 21903 21903 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408237480 15514775552 23266 33554432000 4194304 4196468 140736090455232 139834614434704 139834689562325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21911] ppid=21903 vsize=15151148 memory=1120 CPUtime=0 cores=1,3,5,7
/proc/21905/task/21911/stat : 21911 (java) S 21903 21903 14254 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408237481 15514775552 23266 33554432000 4194304 4196468 140736090455232 139833789454576 139834689563266 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21912] ppid=21903 vsize=15151148 memory=776 CPUtime=0 cores=1,3,5,7
/proc/21905/task/21912/stat : 21912 (java) S 21903 21903 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408237482 15514775552 23266 33554432000 4194304 4196468 140736090455232 139833788400800 139834689562325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21913] ppid=21903 vsize=15151148 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/21905/task/21913/stat : 21913 (java) S 21903 21903 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408237482 15514775552 23266 33554432000 4194304 4196468 140736090455232 139833787347696 139834689562325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21914] ppid=21903 vsize=15151148 memory=7956 CPUtime=0 cores=1,3,5,7
/proc/21905/task/21914/stat : 21914 (java) S 21903 21903 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408237484 15514775552 23266 33554432000 4194304 4196468 140736090455232 139833786296272 139834689570715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21915] ppid=21903 vsize=15151148 memory=3444 CPUtime=0.31 cores=1,3,5,7
/proc/21905/task/21915/stat : 21915 (java) R 21903 21903 14254 0 -1 4202560 2033 0 0 0 31 0 0 0 20 0 15 0 408237484 15514775552 23266 33554432000 4194304 4196468 140736090455232 139833785225416 139834667146896 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21916] ppid=21903 vsize=15151148 memory=1556 CPUtime=0.35 cores=1,3,5,7
/proc/21905/task/21916/stat : 21916 (java) R 21903 21903 14254 0 -1 4202560 1601 0 0 0 35 0 0 0 20 0 15 0 408237484 15514775552 23266 33554432000 4194304 4196468 140736090455232 139833784180000 139834675566445 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21917] ppid=21903 vsize=15151148 memory=2832 CPUtime=0.4 cores=1,3,5,7
/proc/21905/task/21917/stat : 21917 (java) R 21903 21903 14254 0 -1 4202560 2291 0 0 0 40 0 0 0 20 0 15 0 408237484 15514775552 23266 33554432000 4194304 4196468 140736090455232 139833783136592 139834689564054 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21918] ppid=21903 vsize=15151148 memory=984 CPUtime=0 cores=1,3,5,7
/proc/21905/task/21918/stat : 21918 (java) S 21903 21903 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408237485 15514775552 23266 33554432000 4194304 4196468 140736090455232 139833782086496 139834689562325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21919] ppid=21903 vsize=15151148 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/21905/task/21919/stat : 21919 (java) S 21903 21903 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408237485 15514775552 23266 33554432000 4194304 4196468 140736090455232 139833781033520 139834689563266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
Current children cumulated CPU time: 1.77 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 94516 KiB
[startup+1.50433 s]
/proc/loadavg: 8.16 8.48 8.37 8/233 21919
/proc/meminfo: memFree=31002440/32770624 swapFree=66920744/67108860
[pid=21903] ppid=21900 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21903/stat : 21903 (xcsp3-exec) S 21900 21903 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408237479 115843072 363 33554432000 4194304 5098028 140732187133312 140732187131416 139765089452668 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9756672 140732187136890 140732187137133 140732187137133 140732187140042 0
/proc/21903/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/21905/task/21919/stat : 21919 (java) S 21903 21903 14254 0 -1 1077944384 613 0 0 0 0 2 0 0 20 0 19 0 408237485 15789518848 65905 33554432000 4194304 4196468 140736090455232 139833781033520 139834689563266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21920] ppid=21903 vsize=15419452 memory=3444 CPUtime=99.61 cores=1,3,5,7
/proc/21905/task/21920/stat : 21920 (java) R 21903 21903 14254 0 -1 4202560 1034 0 0 0 9961 0 0 0 20 0 19 0 408237589 15789518848 65905 33554432000 4194304 4196468 140736090455232 139833771821856 139834293481063 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21921] ppid=21903 vsize=15419452 memory=1556 CPUtime=99.55 cores=1,3,5,7
/proc/21905/task/21921/stat : 21921 (java) R 21903 21903 14254 0 -1 4202560 2068 0 0 0 9955 0 0 0 20 0 19 0 408237590 15789518848 65905 33554432000 4194304 4196468 140736090455232 139833770770168 139834296304165 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21922] ppid=21903 vsize=15419452 memory=2832 CPUtime=99.05 cores=1,3,5,7
/proc/21905/task/21922/stat : 21922 (java) R 21903 21903 14254 0 -1 4202560 670 0 0 0 9905 0 0 0 20 0 19 0 408237590 15789518848 65905 33554432000 4194304 4196468 140736090455232 139833769720480 139834293990172 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21923] ppid=21903 vsize=15419452 memory=984 CPUtime=99.38 cores=1,3,5,7
/proc/21905/task/21923/stat : 21923 (java) R 21903 21903 14254 0 -1 4202560 1333 0 0 0 9938 0 0 0 20 0 19 0 408237590 15789518848 65905 33554432000 4194304 4196468 140736090455232 139833768665624 139834295782745 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
Current children cumulated CPU time: 406.26 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 265072 KiB
[startup+104.001 s]*
/proc/loadavg: 8.43 8.53 8.40 9/237 21929
/proc/meminfo: memFree=30871260/32770624 swapFree=66920744/67108860
[pid=21903] ppid=21900 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21903/stat : 21903 (xcsp3-exec) S 21900 21903 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408237479 115843072 363 33554432000 4194304 5098028 140732187133312 140732187131416 139765089452668 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9756672 140732187136890 140732187137133 140732187137133 140732187140042 0
/proc/21903/statm: 28282 363 304 221 0 87 0
[pid=21905] ppid=21903 vsize=15419452 memory=264112 CPUtime=412.66 cores=1,3,5,7
/proc/21905/stat : 21905 (java) S 21903 21903 14254 0 -1 1077944320 68074 0 0 0 41240 26 0 0 20 0 19 0 408237479 15789518848 66028 33554432000 4194304 4196468 140736090455232 140736090437776 139834689552119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
/proc/21905/statm: 3854863 66028 3528 1 0 3815965 0
[pid=21905/tid=21906] ppid=21903 vsize=15419452 memory=8317482817917895235 CPUtime=1.08 cores=1,3,5,7
/proc/21905/task/21906/stat : 21906 (java) S 21903 21903 14254 0 -1 1077944384 11195 0 0 0 103 5 0 0 20 0 19 0 408237479 15789518848 66028 33554432000 4194304 4196468 140736090455232 139834693792896 139834689562325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21907] ppid=21903 vsize=15419452 memory=7014746103714047336 CPUtime=0.09 cores=1,3,5,7
/proc/21905/task/21907/stat : 21907 (java) S 21903 21903 14254 0 -1 1077944384 3544 0 0 0 6 3 0 0 20 0 19 0 408237480 15789518848 66028 33554432000 4194304 4196468 140736090455232 139834617592848 139834689562325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21908] ppid=21903 vsize=15419452 memory=7521391131912138341 CPUtime=0.1 cores=1,3,5,7
/proc/21905/task/21908/stat : 21908 (java) S 21903 21903 14254 0 -1 1077944384 818 0 0 0 7 3 0 0 20 0 19 0 408237480 15789518848 66028 33554432000 4194304 4196468 140736090455232 139834616540304 139834689562325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21909] ppid=21903 vsize=15419452 memory=3472328296227679313 CPUtime=0.09 cores=1,3,5,7
/proc/21905/task/21909/stat : 21909 (java) S 21903 21903 14254 0 -1 1077944384 905 0 0 0 6 3 0 0 20 0 19 0 408237480 15789518848 66028 33554432000 4194304 4196468 140736090455232 139834615487248 139834689562325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21910] ppid=21903 vsize=15419452 memory=6791534058613427641 CPUtime=0.09 cores=1,3,5,7
/proc/21905/task/21910/stat : 21910 (java) S 21903 21903 14254 0 -1 1077944384 2731 0 0 0 7 2 0 0 20 0 19 0 408237480 15789518848 66028 33554432000 4194304 4196468 140736090455232 139834614434704 139834689562325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21911] ppid=21903 vsize=15419452 memory=2016 CPUtime=0.02 cores=1,3,5,7
/proc/21905/task/21911/stat : 21911 (java) S 21903 21903 14254 0 -1 1077944384 1453 0 0 0 2 0 0 0 20 0 19 0 408237481 15789518848 66028 33554432000 4194304 4196468 140736090455232 139833789454576 139834689563266 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21912] ppid=21903 vsize=15419452 memory=1284 CPUtime=0 cores=1,3,5,7
/proc/21905/task/21912/stat : 21912 (java) S 21903 21903 14254 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 408237482 15789518848 66028 33554432000 4194304 4196468 140736090455232 139833788400864 139834689562325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21913] ppid=21903 vsize=15419452 memory=1044 CPUtime=0 cores=1,3,5,7
/proc/21905/task/21913/stat : 21913 (java) S 21903 21903 14254 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 19 0 408237482 15789518848 66028 33554432000 4194304 4196468 140736090455232 139833787347712 139834689562325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21914] ppid=21903 vsize=15419452 memory=708 CPUtime=0 cores=1,3,5,7
/proc/21905/task/21914/stat : 21914 (java) S 21903 21903 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408237484 15789518848 66028 33554432000 4194304 4196468 140736090455232 139833786296272 139834689570715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21915] ppid=21903 vsize=15419452 memory=9364 CPUtime=3.17 cores=1,3,5,7
/proc/21905/task/21915/stat : 21915 (java) S 21903 21903 14254 0 -1 1077944384 17411 0 0 0 316 1 0 0 20 0 19 0 408237484 15789518848 66028 33554432000 4194304 4196468 140736090455232 139833785244400 139834689563266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21916] ppid=21903 vsize=15419452 memory=1120 CPUtime=3.08 cores=1,3,5,7
/proc/21905/task/21916/stat : 21916 (java) S 21903 21903 14254 0 -1 1077944384 14660 0 0 0 307 1 0 0 20 0 19 0 408237484 15789518848 66028 33554432000 4194304 4196468 140736090455232 139833784191856 139834689563266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21917] ppid=21903 vsize=15419452 memory=263620 CPUtime=0.8 cores=1,3,5,7
/proc/21905/task/21917/stat : 21917 (java) S 21903 21903 14254 0 -1 1077944384 8215 0 0 0 79 1 0 0 20 0 19 0 408237484 15789518848 66028 33554432000 4194304 4196468 140736090455232 139833783138800 139834689563266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21918] ppid=21903 vsize=15419452 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/21905/task/21918/stat : 21918 (java) S 21903 21903 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408237485 15789518848 66028 33554432000 4194304 4196468 140736090455232 139833782086496 139834689562325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21919] ppid=21903 vsize=15419452 memory=7956 CPUtime=0.02 cores=1,3,5,7
/proc/21905/task/21919/stat : 21919 (java) S 21903 21903 14254 0 -1 1077944384 613 0 0 0 0 2 0 0 20 0 19 0 408237485 15789518848 66028 33554432000 4194304 4196468 140736090455232 139833781033520 139834689563266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21920] ppid=21903 vsize=15419452 memory=3444 CPUtime=101.21 cores=1,3,5,7
/proc/21905/task/21920/stat : 21920 (java) R 21903 21903 14254 0 -1 4202560 1036 0 0 0 10121 0 0 0 20 0 19 0 408237589 15789518848 66028 33554432000 4194304 4196468 140736090455232 139833771821856 139834294194313 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21921] ppid=21903 vsize=15419452 memory=1556 CPUtime=101.15 cores=1,3,5,7
/proc/21905/task/21921/stat : 21921 (java) R 21903 21903 14254 0 -1 4202560 2070 0 0 0 10115 0 0 0 20 0 19 0 408237590 15789518848 66028 33554432000 4194304 4196468 140736090455232 139833770770152 139834295840896 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21922] ppid=21903 vsize=15419452 memory=2832 CPUtime=100.62 cores=1,3,5,7
/proc/21905/task/21922/stat : 21922 (java) R 21903 21903 14254 0 -1 4202560 672 0 0 0 10062 0 0 0 20 0 19 0 408237590 15789518848 66028 33554432000 4194304 4196468 140736090455232 139833769720480 139834295841673 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21923] ppid=21903 vsize=15419452 memory=984 CPUtime=100.99 cores=1,3,5,7
/proc/21905/task/21923/stat : 21923 (java) R 21903 21903 14254 0 -1 4202560 1346 0 0 0 10099 0 0 0 20 0 19 0 408237590 15789518848 66028 33554432000 4194304 4196468 140736090455232 139833768666168 139834295782613 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
Current children cumulated CPU time: 412.66 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 265564 KiB
[startup+104.801 s]
/proc/loadavg: 8.43 8.53 8.40 9/237 21929
/proc/meminfo: memFree=30871260/32770624 swapFree=66920744/67108860
[pid=21903] ppid=21900 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21903/stat : 21903 (xcsp3-exec) S 21900 21903 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408237479 115843072 363 33554432000 4194304 5098028 140732187133312 140732187131416 139765089452668 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9756672 140732187136890 140732187137133 140732187137133 140732187140042 0
/proc/21903/statm: 28282 363 304 221 0 87 0
[pid=21905] ppid=21903 vsize=15419452 memory=264112 CPUtime=415.81 cores=1,3,5,7
/proc/21905/stat : 21905 (java) S 21903 21903 14254 0 -1 1077944320 68074 0 0 0 41555 26 0 0 20 0 19 0 408237479 15789518848 66028 33554432000 4194304 4196468 140736090455232 140736090437776 139834689552119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
/proc/21905/statm: 3854863 66028 3528 1 0 3815965 0
[pid=21905/tid=21906] ppid=21903 vsize=15419452 memory=6628 CPUtime=1.08 cores=1,3,5,7
/proc/21905/task/21906/stat : 21906 (java) S 21903 21903 14254 0 -1 1077944384 11195 0 0 0 103 5 0 0 20 0 19 0 408237479 15789518848 66028 33554432000 4194304 4196468 140736090455232 139834693792896 139834689562325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21907] ppid=21903 vsize=15419452 memory=6791534058613427641 CPUtime=0.09 cores=1,3,5,7
/proc/21905/task/21907/stat : 21907 (java) S 21903 21903 14254 0 -1 1077944384 3544 0 0 0 6 3 0 0 20 0 19 0 408237480 15789518848 66028 33554432000 4194304 4196468 140736090455232 139834617592848 139834689562325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21908] ppid=21903 vsize=15419452 memory=5220 CPUtime=0.1 cores=1,3,5,7
/proc/21905/task/21908/stat : 21908 (java) S 21903 21903 14254 0 -1 1077944384 818 0 0 0 7 3 0 0 20 0 19 0 408237480 15789518848 66028 33554432000 4194304 4196468 140736090455232 139834616540304 139834689562325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21909] ppid=21903 vsize=15419452 memory=2120 CPUtime=0.09 cores=1,3,5,7
/proc/21905/task/21909/stat : 21909 (java) S 21903 21903 14254 0 -1 1077944384 905 0 0 0 6 3 0 0 20 0 19 0 408237480 15789518848 66028 33554432000 4194304 4196468 140736090455232 139834615487248 139834689562325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21910] ppid=21903 vsize=15419452 memory=12020 CPUtime=0.09 cores=1,3,5,7
/proc/21905/task/21910/stat : 21910 (java) S 21903 21903 14254 0 -1 1077944384 2731 0 0 0 7 2 0 0 20 0 19 0 408237480 15789518848 66028 33554432000 4194304 4196468 140736090455232 139834614434704 139834689562325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21911] ppid=21903 vsize=15419452 memory=288230574492221466 CPUtime=0.02 cores=1,3,5,7
/proc/21905/task/21911/stat : 21911 (java) S 21903 21903 14254 0 -1 1077944384 1453 0 0 0 2 0 0 0 20 0 19 0 408237481 15789518848 66028 33554432000 4194304 4196468 140736090455232 139833789454576 139834689563266 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21912] ppid=21903 vsize=15419452 memory=288230596050944315 CPUtime=0 cores=1,3,5,7
/proc/21905/task/21912/stat : 21912 (java) S 21903 21903 14254 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 408237482 15789518848 66028 33554432000 4194304 4196468 140736090455232 139833788400864 139834689562325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21913] ppid=21903 vsize=15419452 memory=14981065810905736 CPUtime=0 cores=1,3,5,7
/proc/21905/task/21913/stat : 21913 (java) S 21903 21903 14254 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 19 0 408237482 15789518848 66028 33554432000 4194304 4196468 140736090455232 139833787347712 139834689562325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21914] ppid=21903 vsize=15419452 memory=9364 CPUtime=0 cores=1,3,5,7
/proc/21905/task/21914/stat : 21914 (java) S 21903 21903 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408237484 15789518848 66028 33554432000 4194304 4196468 140736090455232 139833786296272 139834689570715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21915] ppid=21903 vsize=15419452 memory=1120 CPUtime=3.17 cores=1,3,5,7
/proc/21905/task/21915/stat : 21915 (java) S 21903 21903 14254 0 -1 1077944384 17411 0 0 0 316 1 0 0 20 0 19 0 408237484 15789518848 66028 33554432000 4194304 4196468 140736090455232 139833785244400 139834689563266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21916] ppid=21903 vsize=15419452 memory=1452 CPUtime=3.08 cores=1,3,5,7
/proc/21905/task/21916/stat : 21916 (java) S 21903 21903 14254 0 -1 1077944384 14660 0 0 0 307 1 0 0 20 0 19 0 408237484 15789518848 66028 33554432000 4194304 4196468 140736090455232 139833784191856 139834689563266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21917] ppid=21903 vsize=15419452 memory=7956 CPUtime=0.8 cores=1,3,5,7
/proc/21905/task/21917/stat : 21917 (java) S 21903 21903 14254 0 -1 1077944384 8215 0 0 0 79 1 0 0 20 0 19 0 408237484 15789518848 66028 33554432000 4194304 4196468 140736090455232 139833783138800 139834689563266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21918] ppid=21903 vsize=15419452 memory=3444 CPUtime=0 cores=1,3,5,7
/proc/21905/task/21918/stat : 21918 (java) S 21903 21903 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408237485 15789518848 66028 33554432000 4194304 4196468 140736090455232 139833782086496 139834689562325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21919] ppid=21903 vsize=15419452 memory=1556 CPUtime=0.02 cores=1,3,5,7
/proc/21905/task/21919/stat : 21919 (java) S 21903 21903 14254 0 -1 1077944384 613 0 0 0 0 2 0 0 20 0 19 0 408237485 15789518848 66028 33554432000 4194304 4196468 140736090455232 139833781033520 139834689563266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21920] ppid=21903 vsize=15419452 memory=2832 CPUtime=102 cores=1,3,5,7
/proc/21905/task/21920/stat : 21920 (java) R 21903 21903 14254 0 -1 4202560 1036 0 0 0 10200 0 0 0 20 0 19 0 408237589 15789518848 66028 33554432000 4194304 4196468 140736090455232 139833771821856 139834295841288 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21921] ppid=21903 vsize=15419452 memory=1452 CPUtime=101.94 cores=1,3,5,7
/proc/21905/task/21921/stat : 21921 (java) R 21903 21903 14254 0 -1 4202560 2070 0 0 0 10194 0 0 0 20 0 19 0 408237590 15789518848 66028 33554432000 4194304 4196468 140736090455232 139833770770152 139834290746548 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21922] ppid=21903 vsize=15419452 memory=264112 CPUtime=101.41 cores=1,3,5,7
/proc/21905/task/21922/stat : 21922 (java) R 21903 21903 14254 0 -1 4202560 672 0 0 0 10141 0 0 0 20 0 19 0 408237590 15789518848 66028 33554432000 4194304 4196468 140736090455232 139833769720480 139834293588205 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21923] ppid=21903 vsize=15419452 memory=5220 CPUtime=101.78 cores=1,3,5,7
/proc/21905/task/21923/stat : 21923 (java) R 21903 21903 14254 0 -1 4202560 1346 0 0 0 10178 0 0 0 20 0 19 0 408237590 15789518848 66028 33554432000 4194304 4196468 140736090455232 139833768666168 139834295841250 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
Current children cumulated CPU time: 415.81 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 265564 KiB
[startup+105.001 s]*
/proc/loadavg: 8.43 8.53 8.40 9/237 21929
/proc/meminfo: memFree=30871388/32770624 swapFree=66920744/67108860
[pid=21903] ppid=21900 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21903/stat : 21903 (xcsp3-exec) S 21900 21903 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408237479 115843072 363 33554432000 4194304 5098028 140732187133312 140732187131416 139765089452668 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9756672 140732187136890 140732187137133 140732187137133 140732187140042 0
/proc/21903/statm: 28282 363 304 221 0 87 0
[pid=21905] ppid=21903 vsize=15419452 memory=264112 CPUtime=416.64 cores=1,3,5,7
/proc/21905/stat : 21905 (java) S 21903 21903 14254 0 -1 1077944320 68075 0 0 0 41638 26 0 0 20 0 19 0 408237479 15789518848 66028 33554432000 4194304 4196468 140736090455232 140736090437776 139834689552119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
/proc/21905/statm: 3854863 66028 3528 1 0 3815965 0
[pid=21905/tid=21906] ppid=21903 vsize=15419452 memory=8317482817917895235 CPUtime=1.08 cores=1,3,5,7
/proc/21905/task/21906/stat : 21906 (java) S 21903 21903 14254 0 -1 1077944384 11195 0 0 0 103 5 0 0 20 0 19 0 408237479 15789518848 66028 33554432000 4194304 4196468 140736090455232 139834693792896 139834689562325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21907] ppid=21903 vsize=15419452 memory=364360 CPUtime=0.09 cores=1,3,5,7
/proc/21905/task/21907/stat : 21907 (java) S 21903 21903 14254 0 -1 1077944384 3544 0 0 0 6 3 0 0 20 0 19 0 408237480 15789518848 66028 33554432000 4194304 4196468 140736090455232 139834617592848 139834689562325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21908] ppid=21903 vsize=15419452 memory=1452 CPUtime=0.1 cores=1,3,5,7
/proc/21905/task/21908/stat : 21908 (java) S 21903 21903 14254 0 -1 1077944384 818 0 0 0 7 3 0 0 20 0 19 0 408237480 15789518848 66028 33554432000 4194304 4196468 140736090455232 139834616540304 139834689562325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21909] ppid=21903 vsize=15419452 memory=264616 CPUtime=0.09 cores=1,3,5,7
/proc/21905/task/21909/stat : 21909 (java) S 21903 21903 14254 0 -1 1077944384 905 0 0 0 6 3 0 0 20 0 19 0 408237480 15789518848 66028 33554432000 4194304 4196468 140736090455232 139834615487248 139834689562325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21910] ppid=21903 vsize=15419452 memory=14981065810905736 CPUtime=0.09 cores=1,3,5,7
/proc/21905/task/21910/stat : 21910 (java) S 21903 21903 14254 0 -1 1077944384 2731 0 0 0 7 2 0 0 20 0 19 0 408237480 15789518848 66028 33554432000 4194304 4196468 140736090455232 139834614434704 139834689562325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21911] ppid=21903 vsize=15419452 memory=496 CPUtime=0.02 cores=1,3,5,7
/proc/21905/task/21911/stat : 21911 (java) S 21903 21903 14254 0 -1 1077944384 1453 0 0 0 2 0 0 0 20 0 19 0 408237481 15789518848 66028 33554432000 4194304 4196468 140736090455232 139833789454576 139834689563266 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21912] ppid=21903 vsize=15419452 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/21905/task/21912/stat : 21912 (java) S 21903 21903 14254 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 408237482 15789518848 66028 33554432000 4194304 4196468 140736090455232 139833788400864 139834689562325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21913] ppid=21903 vsize=15419452 memory=928 CPUtime=0 cores=1,3,5,7
/proc/21905/task/21913/stat : 21913 (java) S 21903 21903 14254 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 19 0 408237482 15789518848 66028 33554432000 4194304 4196468 140736090455232 139833787347712 139834689562325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21914] ppid=21903 vsize=15419452 memory=1680 CPUtime=0 cores=1,3,5,7
/proc/21905/task/21914/stat : 21914 (java) S 21903 21903 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408237484 15789518848 66028 33554432000 4194304 4196468 140736090455232 139833786296272 139834689570715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21915] ppid=21903 vsize=15419452 memory=1444 CPUtime=3.17 cores=1,3,5,7
/proc/21905/task/21915/stat : 21915 (java) S 21903 21903 14254 0 -1 1077944384 17411 0 0 0 316 1 0 0 20 0 19 0 408237484 15789518848 66028 33554432000 4194304 4196468 140736090455232 139833785244400 139834689563266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21916] ppid=21903 vsize=15419452 memory=888 CPUtime=3.08 cores=1,3,5,7
/proc/21905/task/21916/stat : 21916 (java) S 21903 21903 14254 0 -1 1077944384 14660 0 0 0 307 1 0 0 20 0 19 0 408237484 15789518848 66028 33554432000 4194304 4196468 140736090455232 139833784191856 139834689563266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21917] ppid=21903 vsize=15419452 memory=1984 CPUtime=0.8 cores=1,3,5,7
/proc/21905/task/21917/stat : 21917 (java) S 21903 21903 14254 0 -1 1077944384 8215 0 0 0 79 1 0 0 20 0 19 0 408237484 15789518848 66028 33554432000 4194304 4196468 140736090455232 139833783138800 139834689563266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21918] ppid=21903 vsize=15419452 memory=2552 CPUtime=0 cores=1,3,5,7
/proc/21905/task/21918/stat : 21918 (java) S 21903 21903 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408237485 15789518848 66028 33554432000 4194304 4196468 140736090455232 139833782086496 139834689562325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21919] ppid=21903 vsize=15419452 memory=1760 CPUtime=0.02 cores=1,3,5,7
/proc/21905/task/21919/stat : 21919 (java) S 21903 21903 14254 0 -1 1077944384 613 0 0 0 0 2 0 0 20 0 19 0 408237485 15789518848 66028 33554432000 4194304 4196468 140736090455232 139833781033520 139834689563266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21920] ppid=21903 vsize=15419452 memory=111632 CPUtime=102.21 cores=1,3,5,7
/proc/21905/task/21920/stat : 21920 (java) R 21903 21903 14254 0 -1 4202560 1036 0 0 0 10221 0 0 0 20 0 19 0 408237589 15789518848 66028 33554432000 4194304 4196468 140736090455232 139833771821856 139834295840896 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21921] ppid=21903 vsize=15419452 memory=804 CPUtime=102.15 cores=1,3,5,7
/proc/21905/task/21921/stat : 21921 (java) R 21903 21903 14254 0 -1 4202560 2070 0 0 0 10215 0 0 0 20 0 19 0 408237590 15789518848 66028 33554432000 4194304 4196468 140736090455232 139833770770152 139834295846300 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21922] ppid=21903 vsize=15419452 memory=1808 CPUtime=101.6 cores=1,3,5,7
/proc/21905/task/21922/stat : 21922 (java) R 21903 21903 14254 0 -1 4202560 672 0 0 0 10160 0 0 0 20 0 19 0 408237590 15789518848 66028 33554432000 4194304 4196468 140736090455232 139833769720480 139834293171216 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
[pid=21905/tid=21923] ppid=21903 vsize=15419452 memory=924 CPUtime=101.99 cores=1,3,5,7
/proc/21905/task/21923/stat : 21923 (java) R 21903 21903 14254 0 -1 4202560 1347 0 0 0 10199 0 0 0 20 0 19 0 408237590 15789518848 66028 33554432000 4194304 4196468 140736090455232 139833768666168 139834295841154 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9363456 140736090457071 140736090457242 140736090457242 140736090460111 0
Current children cumulated CPU time: 416.64 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 265564 KiB
Child status: 0
Real time (s): 105.075
CPU time (s): 416.836
CPU user time (s): 416.565
CPU system time (s): 0.271285
CPU usage (%): 396.705
Max. virtual memory (cumulated for all children) (KiB): 15532580
Max. memory (cumulated for all children) (KiB): 284684
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 416.565
system time used= 0.271285
maximum resident set size= 287328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71207
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= 5116
involuntary context switches= 6647
# summary of solver processes directly reported to runsolver:
# pid: 21903
# total CPU time (s): 416.836
# total CPU user time (s): 416.565
# total CPU system time (s): 0.271285
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.654147 second user time and 1.24408 second system time
The end