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 (6541 MiB free)
memory of node 1: 16384 MiB (10589 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292303-1532494919/watcher-4292303-1532494919 -o /tmp/evaluation-result-4292303-1532494919/solver-4292303-1532494919 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532470661-17281 --watchdog 2560 HOME/xcsp3-exec -seed 571709300 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292303-1532494919.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=21391, runsolver pid=21388
Current StackSize limit: 8192 KiB
[startup+0.100146 s]*
/proc/loadavg: 1.97 1.88 1.80 4/219 21407
/proc/meminfo: memFree=17524648/32770624 swapFree=67108796/67108860
[pid=21391] ppid=21388 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/21391/stat : 21391 (xcsp3-exec) S 21388 21391 17249 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 67055121 115843072 364 33554432000 4194304 5098028 140723638122096 140723638120200 139720198206076 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30560256 140723638125627 140723638125828 140723638125828 140723638128586 0
/proc/21391/statm: 28282 364 306 221 0 87 0
[pid=21393] ppid=21391 vsize=14082840 memory=28952 CPUtime=0.12 cores=1,3,5,7
/proc/21393/stat : 21393 (java) S 21391 21391 17249 0 -1 1077944320 5524 0 0 0 11 1 0 0 20 0 15 0 67055121 14420828160 7238 33554432000 4194304 4196468 140736701428384 140736701410928 140573224345335 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
/proc/21393/statm: 3520710 7238 3040 1 0 3483008 0
[pid=21393/tid=21394] ppid=21391 vsize=14082840 memory=8514701219880730789 CPUtime=0.08 cores=1,3,5,7
/proc/21393/task/21394/stat : 21394 (java) R 21391 21391 17249 0 -1 4202560 3541 0 0 0 8 0 0 0 20 0 15 0 67055121 14420828160 7238 33554432000 4194304 4196468 140736701428384 140573228573568 140573224357270 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21395] ppid=21391 vsize=14082840 memory=3472468079519024336 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21395/stat : 21395 (java) S 21391 21391 17249 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67055122 14420828160 7238 33554432000 4194304 4196468 140736701428384 140572819975184 140573224355541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21396] ppid=21391 vsize=14082840 memory=139950623872640 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21396/stat : 21396 (java) S 21391 21391 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67055122 14420828160 7238 33554432000 4194304 4196468 140736701428384 140572818922640 140573224355541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21397] ppid=21391 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21397/stat : 21397 (java) S 21391 21391 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67055122 14420828160 7238 33554432000 4194304 4196468 140736701428384 140572817869584 140573224355541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21398] ppid=21391 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21398/stat : 21398 (java) S 21391 21391 17249 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67055122 14420828160 7238 33554432000 4194304 4196468 140736701428384 140572816817040 140573224355541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21399] ppid=21391 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21399/stat : 21399 (java) S 21391 21391 17249 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67055123 14420828160 7238 33554432000 4194304 4196468 140736701428384 140572405324016 140573224356482 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21400] ppid=21391 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21400/stat : 21400 (java) S 21391 21391 17249 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67055124 14420828160 7238 33554432000 4194304 4196468 140736701428384 140572404270240 140573224355541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21401] ppid=21391 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21401/stat : 21401 (java) S 21391 21391 17249 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67055124 14420828160 7238 33554432000 4194304 4196468 140736701428384 140572403217136 140573224355541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21402] ppid=21391 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21402/stat : 21402 (java) S 21391 21391 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67055126 14420828160 7238 33554432000 4194304 4196468 140736701428384 140572402165712 140573224363931 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21403] ppid=21391 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21403/stat : 21403 (java) S 21391 21391 17249 0 -1 1077944384 404 0 0 0 0 0 0 0 20 0 15 0 67055126 14420828160 7238 33554432000 4194304 4196468 140736701428384 140572333435632 140573224356482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21404] ppid=21391 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21404/stat : 21404 (java) S 21391 21391 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67055126 14420828160 7238 33554432000 4194304 4196468 140736701428384 140572332383088 140573224356482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21405] ppid=21391 vsize=14082840 memory=139950623872640 CPUtime=0.01 cores=1,3,5,7
/proc/21393/task/21405/stat : 21405 (java) R 21391 21391 17249 0 -1 4202560 272 0 0 0 1 0 0 0 20 0 15 0 67055126 14420828160 7238 33554432000 4194304 4196468 140736701428384 140572331330032 140573205582896 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21406] ppid=21391 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21406/stat : 21406 (java) S 21391 21391 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67055127 14420828160 7238 33554432000 4194304 4196468 140736701428384 140572330277728 140573224355541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21407] ppid=21391 vsize=14082840 memory=139950623872640 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21407/stat : 21407 (java) S 21391 21391 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67055127 14420828160 7238 33554432000 4194304 4196468 140736701428384 140572329224752 140573224356482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 30408 KiB
[startup+0.210685 s]*
/proc/loadavg: 1.97 1.88 1.80 5/219 21407
/proc/meminfo: memFree=17513608/32770624 swapFree=67108796/67108860
[pid=21391] ppid=21388 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/21391/stat : 21391 (xcsp3-exec) S 21388 21391 17249 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 67055121 115843072 364 33554432000 4194304 5098028 140723638122096 140723638120200 139720198206076 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30560256 140723638125627 140723638125828 140723638125828 140723638128586 0
/proc/21391/statm: 28282 364 306 221 0 87 0
[pid=21393] ppid=21391 vsize=14087096 memory=40556 CPUtime=0.34 cores=1,3,5,7
/proc/21393/stat : 21393 (java) S 21391 21391 17249 0 -1 1077944320 8211 0 0 0 32 2 0 0 20 0 15 0 67055121 14425186304 10139 33554432000 4194304 4196468 140736701428384 140736701410928 140573224345335 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
/proc/21393/statm: 3521774 10139 3161 1 0 3483008 0
[pid=21393/tid=21394] ppid=21391 vsize=14087096 memory=5854518564242424225 CPUtime=0.2 cores=1,3,5,7
/proc/21393/task/21394/stat : 21394 (java) R 21391 21391 17249 0 -1 4202560 5454 0 0 0 19 1 0 0 20 0 15 0 67055121 14425186304 10139 33554432000 4194304 4196468 140736701428384 140573228566328 140573208425822 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21395] ppid=21391 vsize=14087096 memory=3472468079519024336 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21395/stat : 21395 (java) S 21391 21391 17249 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67055122 14425186304 10139 33554432000 4194304 4196468 140736701428384 140572819975184 140573224355541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21396] ppid=21391 vsize=14087096 memory=139950623872640 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21396/stat : 21396 (java) S 21391 21391 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67055122 14425186304 10139 33554432000 4194304 4196468 140736701428384 140572818922640 140573224355541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21397] ppid=21391 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21397/stat : 21397 (java) S 21391 21391 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67055122 14425186304 10139 33554432000 4194304 4196468 140736701428384 140572817869584 140573224355541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21398] ppid=21391 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21398/stat : 21398 (java) S 21391 21391 17249 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67055122 14425186304 10139 33554432000 4194304 4196468 140736701428384 140572816817040 140573224355541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21399] ppid=21391 vsize=14087096 memory=139950623872640 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21399/stat : 21399 (java) S 21391 21391 17249 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 67055123 14425186304 10139 33554432000 4194304 4196468 140736701428384 140572405324016 140573224356482 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21400] ppid=21391 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21400/stat : 21400 (java) S 21391 21391 17249 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67055124 14425186304 10139 33554432000 4194304 4196468 140736701428384 140572404270240 140573224355541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21401] ppid=21391 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21401/stat : 21401 (java) S 21391 21391 17249 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67055124 14425186304 10139 33554432000 4194304 4196468 140736701428384 140572403217136 140573224355541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21402] ppid=21391 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21402/stat : 21402 (java) S 21391 21391 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67055126 14425186304 10139 33554432000 4194304 4196468 140736701428384 140572402165712 140573224363931 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21403] ppid=21391 vsize=14087096 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/21393/task/21403/stat : 21403 (java) S 21391 21391 17249 0 -1 1077944384 478 0 0 0 1 0 0 0 20 0 15 0 67055126 14425186304 10139 33554432000 4194304 4196468 140736701428384 140572333435632 140573224356482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21404] ppid=21391 vsize=14087096 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/21393/task/21404/stat : 21404 (java) S 21391 21391 17249 0 -1 1077944384 192 0 0 0 3 0 0 0 20 0 15 0 67055126 14425186304 10139 33554432000 4194304 4196468 140736701428384 140572332383088 140573224356482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21405] ppid=21391 vsize=14087096 memory=139950623872640 CPUtime=0.07 cores=1,3,5,7
/proc/21393/task/21405/stat : 21405 (java) S 21391 21391 17249 0 -1 1077944384 779 0 0 0 7 0 0 0 20 0 15 0 67055126 14425186304 10139 33554432000 4194304 4196468 140736701428384 140572331330032 140573224356482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21406] ppid=21391 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21406/stat : 21406 (java) S 21391 21391 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67055127 14425186304 10139 33554432000 4194304 4196468 140736701428384 140572330277728 140573224355541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21407] ppid=21391 vsize=14087096 memory=139950623872640 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21407/stat : 21407 (java) S 21391 21391 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67055127 14425186304 10139 33554432000 4194304 4196468 140736701428384 140572329224752 140573224356482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 42012 KiB
[startup+0.311376 s]*
/proc/loadavg: 1.97 1.88 1.80 4/219 21407
/proc/meminfo: memFree=17506536/32770624 swapFree=67108796/67108860
[pid=21391] ppid=21388 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/21391/stat : 21391 (xcsp3-exec) S 21388 21391 17249 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 67055121 115843072 364 33554432000 4194304 5098028 140723638122096 140723638120200 139720198206076 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30560256 140723638125627 140723638125828 140723638125828 140723638128586 0
/proc/21391/statm: 28282 364 306 221 0 87 0
[pid=21393] ppid=21391 vsize=14087096 memory=48112 CPUtime=0.52 cores=1,3,5,7
/proc/21393/stat : 21393 (java) S 21391 21391 17249 0 -1 1077944320 9161 0 0 0 50 2 0 0 20 0 15 0 67055121 14425186304 12028 33554432000 4194304 4196468 140736701428384 140736701410928 140573224345335 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
/proc/21393/statm: 3521774 12028 3243 1 0 3483008 0
[pid=21393/tid=21394] ppid=21391 vsize=14087096 memory=8514701219881125277 CPUtime=0.3 cores=1,3,5,7
/proc/21393/task/21394/stat : 21394 (java) R 21391 21391 17249 0 -1 4202560 6169 0 0 0 28 2 0 0 20 0 15 0 67055121 14425186304 12028 33554432000 4194304 4196468 140736701428384 140573228576448 140573208425822 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21395] ppid=21391 vsize=14087096 memory=3472468079519024336 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21395/stat : 21395 (java) S 21391 21391 17249 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67055122 14425186304 12028 33554432000 4194304 4196468 140736701428384 140572819975184 140573224355541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21396] ppid=21391 vsize=14087096 memory=139950623872640 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21396/stat : 21396 (java) S 21391 21391 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67055122 14425186304 12028 33554432000 4194304 4196468 140736701428384 140572818922640 140573224355541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21397] ppid=21391 vsize=14087096 memory=16 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21397/stat : 21397 (java) S 21391 21391 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67055122 14425186304 12028 33554432000 4194304 4196468 140736701428384 140572817869584 140573224355541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21398] ppid=21391 vsize=14087096 memory=139950502848543 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21398/stat : 21398 (java) S 21391 21391 17249 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67055122 14425186304 12028 33554432000 4194304 4196468 140736701428384 140572816817040 140573224355541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21399] ppid=21391 vsize=14087096 memory=279901005657856 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21399/stat : 21399 (java) S 21391 21391 17249 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 67055123 14425186304 12028 33554432000 4194304 4196468 140736701428384 140572405324016 140573224356482 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21400] ppid=21391 vsize=14087096 memory=139950502825487 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21400/stat : 21400 (java) S 21391 21391 17249 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67055124 14425186304 12028 33554432000 4194304 4196468 140736701428384 140572404270240 140573224355541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21401] ppid=21391 vsize=14087096 memory=279901126707296 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21401/stat : 21401 (java) S 21391 21391 17249 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67055124 14425186304 12028 33554432000 4194304 4196468 140736701428384 140572403217136 140573224355541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21402] ppid=21391 vsize=14087096 memory=139950502830095 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21402/stat : 21402 (java) S 21391 21391 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67055126 14425186304 12028 33554432000 4194304 4196468 140736701428384 140572402165712 140573224363931 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21403] ppid=21391 vsize=14087096 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/21393/task/21403/stat : 21403 (java) S 21391 21391 17249 0 -1 1077944384 501 0 0 0 3 0 0 0 20 0 15 0 67055126 14425186304 12028 33554432000 4194304 4196468 140736701428384 140572333435632 140573224356482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21404] ppid=21391 vsize=14087096 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/21393/task/21404/stat : 21404 (java) S 21391 21391 17249 0 -1 1077944384 272 0 0 0 5 0 0 0 20 0 15 0 67055126 14425186304 12028 33554432000 4194304 4196468 140736701428384 140572332383088 140573224356482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21405] ppid=21391 vsize=14087096 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/21393/task/21405/stat : 21405 (java) S 21391 21391 17249 0 -1 1077944384 917 0 0 0 12 0 0 0 20 0 15 0 67055126 14425186304 12028 33554432000 4194304 4196468 140736701428384 140572331330032 140573224356482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21406] ppid=21391 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21406/stat : 21406 (java) S 21391 21391 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67055127 14425186304 12028 33554432000 4194304 4196468 140736701428384 140572330277728 140573224355541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21407] ppid=21391 vsize=14087096 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21407/stat : 21407 (java) S 21391 21391 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67055127 14425186304 12028 33554432000 4194304 4196468 140736701428384 140572329224752 140573224356482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 49568 KiB
[startup+0.701418 s]
/proc/loadavg: 1.97 1.88 1.80 6/219 21407
/proc/meminfo: memFree=17487308/32770624 swapFree=67108796/67108860
[pid=21391] ppid=21388 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/21391/stat : 21391 (xcsp3-exec) S 21388 21391 17249 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 67055121 115843072 364 33554432000 4194304 5098028 140723638122096 140723638120200 139720198206076 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30560256 140723638125627 140723638125828 140723638125828 140723638128586 0
/proc/21391/statm: 28282 364 306 221 0 87 0
[pid=21393] ppid=21391 vsize=14089220 memory=74940 CPUtime=1.58 cores=1,3,5,7
/proc/21393/stat : 21393 (java) S 21391 21391 17249 0 -1 1077944320 12989 0 0 0 154 4 0 0 20 0 15 0 67055121 14427361280 18735 33554432000 4194304 4196468 140736701428384 140736701410928 140573224345335 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
/proc/21393/statm: 3522305 18735 3348 1 0 3483520 0
[pid=21393/tid=21394] ppid=21391 vsize=14089220 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/21393/task/21394/stat : 21394 (java) R 21391 21391 17249 0 -1 4202560 7115 0 0 0 64 3 0 0 20 0 15 0 67055121 14427361280 18735 33554432000 4194304 4196468 140736701428384 140573228570864 140573224357270 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21395] ppid=21391 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21395/stat : 21395 (java) S 21391 21391 17249 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67055122 14427361280 18735 33554432000 4194304 4196468 140736701428384 140572819975184 140573224355541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21396] ppid=21391 vsize=14089220 memory=7813587196152133429 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21396/stat : 21396 (java) S 21391 21391 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67055122 14427361280 18735 33554432000 4194304 4196468 140736701428384 140572818922640 140573224355541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21397] ppid=21391 vsize=14089220 memory=7156871085463720546 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21397/stat : 21397 (java) S 21391 21391 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67055122 14427361280 18735 33554432000 4194304 4196468 140736701428384 140572817869584 140573224355541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21398] ppid=21391 vsize=14089220 memory=7666631141572832339 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21398/stat : 21398 (java) S 21391 21391 17249 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67055122 14427361280 18735 33554432000 4194304 4196468 140736701428384 140572816817040 140573224355541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21399] ppid=21391 vsize=14089220 memory=734122130331934768 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21399/stat : 21399 (java) S 21391 21391 17249 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 67055123 14427361280 18735 33554432000 4194304 4196468 140736701428384 140572405324016 140573224356482 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21400] ppid=21391 vsize=14089220 memory=1600 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21400/stat : 21400 (java) S 21391 21391 17249 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67055124 14427361280 18735 33554432000 4194304 4196468 140736701428384 140572404270240 140573224355541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21401] ppid=21391 vsize=14089220 memory=5024 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21401/stat : 21401 (java) S 21391 21391 17249 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67055124 14427361280 18735 33554432000 4194304 4196468 140736701428384 140572403217136 140573224355541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21402] ppid=21391 vsize=14089220 memory=4032 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21402/stat : 21402 (java) S 21391 21391 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67055126 14427361280 18735 33554432000 4194304 4196468 140736701428384 140572402165712 140573224363931 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21403] ppid=21391 vsize=14089220 memory=1284 CPUtime=0.25 cores=1,3,5,7
/proc/21393/task/21403/stat : 21403 (java) R 21391 21391 17249 0 -1 4202560 1514 0 0 0 25 0 0 0 20 0 15 0 67055126 14427361280 18735 33554432000 4194304 4196468 140736701428384 140572333421512 140573205866609 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21404] ppid=21391 vsize=14089220 memory=1088 CPUtime=0.27 cores=1,3,5,7
/proc/21393/task/21404/stat : 21404 (java) R 21391 21391 17249 0 -1 4202560 1044 0 0 0 27 0 0 0 20 0 15 0 67055126 14427361280 18735 33554432000 4194304 4196468 140736701428384 140572332376280 140573210363008 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21405] ppid=21391 vsize=14089220 memory=1796 CPUtime=0.37 cores=1,3,5,7
/proc/21393/task/21405/stat : 21405 (java) R 21391 21391 17249 0 -1 4202560 2007 0 0 0 37 0 0 0 20 0 15 0 67055126 14427361280 18735 33554432000 4194304 4196468 140736701428384 140572331330032 140573202337187 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21406] ppid=21391 vsize=14089220 memory=7012 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21406/stat : 21406 (java) S 21391 21391 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67055127 14427361280 18735 33554432000 4194304 4196468 140736701428384 140572330277728 140573224355541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21407] ppid=21391 vsize=14089220 memory=15044 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21407/stat : 21407 (java) S 21391 21391 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67055127 14427361280 18735 33554432000 4194304 4196468 140736701428384 140572329224752 140573224356482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
Current children cumulated CPU time: 1.58 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 76396 KiB
[startup+1.50088 s]
/proc/loadavg: 1.97 1.88 1.80 5/219 21407
/proc/meminfo: memFree=17458908/32770624 swapFree=67108796/67108860
[pid=21391] ppid=21388 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/21391/stat : 21391 (xcsp3-exec) S 21388 21391 17249 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 67055121 115843072 364 33554432000 4194304 5098028 140723638122096 140723638120200 139720198206076 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30560256 140723638125627 140723638125828 140723638125828 140723638128586 0
/proc/21391/statm: 28282 364 306 221 0 87 0
################
# More data... #
################
/proc/21393/task/21395/stat : 21395 (java) S 21391 21391 17249 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67055122 14427361280 33252 33554432000 4194304 4196468 140736701428384 140572819975184 140573224355541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21396] ppid=21391 vsize=14089220 memory=15044 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21396/stat : 21396 (java) S 21391 21391 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67055122 14427361280 33252 33554432000 4194304 4196468 140736701428384 140572818922640 140573224355541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21397] ppid=21391 vsize=14089220 memory=16836 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21397/stat : 21397 (java) S 21391 21391 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67055122 14427361280 33252 33554432000 4194304 4196468 140736701428384 140572817869584 140573224355541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21398] ppid=21391 vsize=14089220 memory=17804 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21398/stat : 21398 (java) S 21391 21391 17249 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67055122 14427361280 33252 33554432000 4194304 4196468 140736701428384 140572816817040 140573224355541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21399] ppid=21391 vsize=14089220 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21399/stat : 21399 (java) S 21391 21391 17249 0 -1 1077944384 273 0 0 0 0 0 0 0 20 0 15 0 67055123 14427361280 33252 33554432000 4194304 4196468 140736701428384 140572405324016 140573224356482 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21400] ppid=21391 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21400/stat : 21400 (java) S 21391 21391 17249 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67055124 14427361280 33252 33554432000 4194304 4196468 140736701428384 140572404270240 140573224355541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21401] ppid=21391 vsize=14089220 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21401/stat : 21401 (java) S 21391 21391 17249 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67055124 14427361280 33252 33554432000 4194304 4196468 140736701428384 140572403217136 140573224355541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21402] ppid=21391 vsize=14089220 memory=8772 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21402/stat : 21402 (java) S 21391 21391 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67055126 14427361280 33252 33554432000 4194304 4196468 140736701428384 140572402165712 140573224363931 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21403] ppid=21391 vsize=14089220 memory=1456 CPUtime=2.74 cores=1,3,5,7
/proc/21393/task/21403/stat : 21403 (java) S 21391 21391 17249 0 -1 1077944384 14807 0 0 0 273 1 0 0 20 0 15 0 67055126 14427361280 33252 33554432000 4194304 4196468 140736701428384 140572333435632 140573224356482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21404] ppid=21391 vsize=14089220 memory=140744 CPUtime=2.87 cores=1,3,5,7
/proc/21393/task/21404/stat : 21404 (java) S 21391 21391 17249 0 -1 1077944384 16675 0 0 0 285 2 0 0 20 0 15 0 67055126 14427361280 33252 33554432000 4194304 4196468 140736701428384 140572332383088 140573224356482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21405] ppid=21391 vsize=14089220 memory=0 CPUtime=0.5 cores=1,3,5,7
/proc/21393/task/21405/stat : 21405 (java) S 21391 21391 17249 0 -1 1077944384 4003 0 0 0 50 0 0 0 20 0 15 0 67055126 14427361280 33252 33554432000 4194304 4196468 140736701428384 140572331330032 140573224356482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21406] ppid=21391 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21406/stat : 21406 (java) S 21391 21391 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67055127 14427361280 33252 33554432000 4194304 4196468 140736701428384 140572330277728 140573224355541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21407] ppid=21391 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21407/stat : 21407 (java) S 21391 21391 17249 0 -1 1077944384 1312 0 0 0 0 0 0 0 20 0 15 0 67055127 14427361280 33252 33554432000 4194304 4196468 140736701428384 140572329224752 140573224356482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 20 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
Current children cumulated CPU time: 12.41 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 134464 KiB
[startup+6.95835 s]
# the end of solver process 21391 was just reported to runsolver
# cumulated CPU time of all completed processes: user=12.9946 s, system=0.096705 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40085 s]
/proc/loadavg: 1.97 1.88 1.81 3/219 21407
/proc/meminfo: memFree=17421156/32770624 swapFree=67108796/67108860
[pid=21391] ppid=21388 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/21391/stat : 21391 (xcsp3-exec) S 21388 21391 17249 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 67055121 115843072 364 33554432000 4194304 5098028 140723638122096 140723638120200 139720198206076 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30560256 140723638125627 140723638125828 140723638125828 140723638128586 0
/proc/21391/statm: 28282 364 306 221 0 87 0
[pid=21393] ppid=21391 vsize=14089220 memory=133008 CPUtime=12.51 cores=1,3,5,7
/proc/21393/stat : 21393 (java) S 21391 21391 17249 0 -1 1077944320 46884 0 0 0 1243 8 0 0 20 0 15 0 67055121 14427361280 33252 33554432000 4194304 4196468 140736701428384 140736701410928 140573224345335 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
/proc/21393/statm: 3522305 33252 3367 1 0 3483520 0
[pid=21393/tid=21394] ppid=21391 vsize=14089220 memory=1118 CPUtime=6.36 cores=1,3,5,7
/proc/21393/task/21394/stat : 21394 (java) R 21391 21391 17249 0 -1 4202560 8511 0 0 0 633 3 0 0 20 0 15 0 67055121 14427361280 33252 33554432000 4194304 4196468 140736701428384 140573228581856 140572824878910 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21395] ppid=21391 vsize=14089220 memory=516 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21395/stat : 21395 (java) S 21391 21391 17249 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67055122 14427361280 33252 33554432000 4194304 4196468 140736701428384 140572819975184 140573224355541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21396] ppid=21391 vsize=14089220 memory=56 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21396/stat : 21396 (java) S 21391 21391 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67055122 14427361280 33252 33554432000 4194304 4196468 140736701428384 140572818922640 140573224355541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21397] ppid=21391 vsize=14089220 memory=288230377057943841 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21397/stat : 21397 (java) S 21391 21391 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67055122 14427361280 33252 33554432000 4194304 4196468 140736701428384 140572817869584 140573224355541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21398] ppid=21391 vsize=14089220 memory=288284497991173377 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21398/stat : 21398 (java) S 21391 21391 17249 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67055122 14427361280 33252 33554432000 4194304 4196468 140736701428384 140572816817040 140573224355541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21399] ppid=21391 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21399/stat : 21399 (java) S 21391 21391 17249 0 -1 1077944384 273 0 0 0 0 0 0 0 20 0 15 0 67055123 14427361280 33252 33554432000 4194304 4196468 140736701428384 140572405324016 140573224356482 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21400] ppid=21391 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21400/stat : 21400 (java) S 21391 21391 17249 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67055124 14427361280 33252 33554432000 4194304 4196468 140736701428384 140572404270240 140573224355541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21401] ppid=21391 vsize=14089220 memory=28801 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21401/stat : 21401 (java) S 21391 21391 17249 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67055124 14427361280 33252 33554432000 4194304 4196468 140736701428384 140572403217136 140573224355541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21402] ppid=21391 vsize=14089220 memory=4420 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21402/stat : 21402 (java) S 21391 21391 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67055126 14427361280 33252 33554432000 4194304 4196468 140736701428384 140572402165712 140573224363931 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21403] ppid=21391 vsize=14089220 memory=6628 CPUtime=2.74 cores=1,3,5,7
/proc/21393/task/21403/stat : 21403 (java) S 21391 21391 17249 0 -1 1077944384 14807 0 0 0 273 1 0 0 20 0 15 0 67055126 14427361280 33252 33554432000 4194304 4196468 140736701428384 140572333435632 140573224356482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21404] ppid=21391 vsize=14089220 memory=8836 CPUtime=2.87 cores=1,3,5,7
/proc/21393/task/21404/stat : 21404 (java) S 21391 21391 17249 0 -1 1077944384 16675 0 0 0 285 2 0 0 20 0 15 0 67055126 14427361280 33252 33554432000 4194304 4196468 140736701428384 140572332383088 140573224356482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21405] ppid=21391 vsize=14089220 memory=11044 CPUtime=0.5 cores=1,3,5,7
/proc/21393/task/21405/stat : 21405 (java) S 21391 21391 17249 0 -1 1077944384 4003 0 0 0 50 0 0 0 20 0 15 0 67055126 14427361280 33252 33554432000 4194304 4196468 140736701428384 140572331330032 140573224356482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21406] ppid=21391 vsize=14089220 memory=13252 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21406/stat : 21406 (java) S 21391 21391 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67055127 14427361280 33252 33554432000 4194304 4196468 140736701428384 140572330277728 140573224355541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21407] ppid=21391 vsize=14089220 memory=15460 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21407/stat : 21407 (java) S 21391 21391 17249 0 -1 1077944384 1312 0 0 0 0 0 0 0 20 0 15 0 67055127 14427361280 33252 33554432000 4194304 4196468 140736701428384 140572329224752 140573224356482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 20 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
Current children cumulated CPU time: 12.51 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 134464 KiB
[startup+6.80066 s]
/proc/loadavg: 1.97 1.88 1.81 3/219 21407
/proc/meminfo: memFree=17421156/32770624 swapFree=67108796/67108860
[pid=21391] ppid=21388 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/21391/stat : 21391 (xcsp3-exec) S 21388 21391 17249 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 67055121 115843072 364 33554432000 4194304 5098028 140723638122096 140723638120200 139720198206076 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30560256 140723638125627 140723638125828 140723638125828 140723638128586 0
/proc/21391/statm: 28282 364 306 221 0 87 0
[pid=21393] ppid=21391 vsize=14089220 memory=133008 CPUtime=12.91 cores=1,3,5,7
/proc/21393/stat : 21393 (java) S 21391 21391 17249 0 -1 1077944320 46884 0 0 0 1283 8 0 0 20 0 15 0 67055121 14427361280 33252 33554432000 4194304 4196468 140736701428384 140736701410928 140573224345335 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
/proc/21393/statm: 3522305 33252 3367 1 0 3483520 0
[pid=21393/tid=21394] ppid=21391 vsize=14089220 memory=140744 CPUtime=6.76 cores=1,3,5,7
/proc/21393/task/21394/stat : 21394 (java) R 21391 21391 17249 0 -1 4202560 8511 0 0 0 673 3 0 0 20 0 15 0 67055121 14427361280 33252 33554432000 4194304 4196468 140736701428384 140573228582568 140572825332329 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21395] ppid=21391 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21395/stat : 21395 (java) S 21391 21391 17249 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67055122 14427361280 33252 33554432000 4194304 4196468 140736701428384 140572819975184 140573224355541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21396] ppid=21391 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21396/stat : 21396 (java) S 21391 21391 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67055122 14427361280 33252 33554432000 4194304 4196468 140736701428384 140572818922640 140573224355541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21397] ppid=21391 vsize=14089220 memory=279901006030752 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21397/stat : 21397 (java) S 21391 21391 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67055122 14427361280 33252 33554432000 4194304 4196468 140736701428384 140572817869584 140573224355541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21398] ppid=21391 vsize=14089220 memory=-9001734013606258791 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21398/stat : 21398 (java) S 21391 21391 17249 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67055122 14427361280 33252 33554432000 4194304 4196468 140736701428384 140572816817040 140573224355541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21399] ppid=21391 vsize=14089220 memory=-7384994778349281184 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21399/stat : 21399 (java) S 21391 21391 17249 0 -1 1077944384 273 0 0 0 0 0 0 0 20 0 15 0 67055123 14427361280 33252 33554432000 4194304 4196468 140736701428384 140572405324016 140573224356482 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21400] ppid=21391 vsize=14089220 memory=7681905605394137914 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21400/stat : 21400 (java) S 21391 21391 17249 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67055124 14427361280 33252 33554432000 4194304 4196468 140736701428384 140572404270240 140573224355541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21401] ppid=21391 vsize=14089220 memory=1399101730491701635 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21401/stat : 21401 (java) S 21391 21391 17249 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67055124 14427361280 33252 33554432000 4194304 4196468 140736701428384 140572403217136 140573224355541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21402] ppid=21391 vsize=14089220 memory=8326441112149131689 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21402/stat : 21402 (java) S 21391 21391 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67055126 14427361280 33252 33554432000 4194304 4196468 140736701428384 140572402165712 140573224363931 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21403] ppid=21391 vsize=14089220 memory=1404222122299264374 CPUtime=2.74 cores=1,3,5,7
/proc/21393/task/21403/stat : 21403 (java) S 21391 21391 17249 0 -1 1077944384 14807 0 0 0 273 1 0 0 20 0 15 0 67055126 14427361280 33252 33554432000 4194304 4196468 140736701428384 140572333435632 140573224356482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21404] ppid=21391 vsize=14089220 memory=8514726395714820750 CPUtime=2.87 cores=1,3,5,7
/proc/21393/task/21404/stat : 21404 (java) S 21391 21391 17249 0 -1 1077944384 16675 0 0 0 285 2 0 0 20 0 15 0 67055126 14427361280 33252 33554432000 4194304 4196468 140736701428384 140572332383088 140573224356482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21405] ppid=21391 vsize=14089220 memory=-2537689246120445521 CPUtime=0.5 cores=1,3,5,7
/proc/21393/task/21405/stat : 21405 (java) S 21391 21391 17249 0 -1 1077944384 4003 0 0 0 50 0 0 0 20 0 15 0 67055126 14427361280 33252 33554432000 4194304 4196468 140736701428384 140572331330032 140573224356482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21406] ppid=21391 vsize=14089220 memory=8546864036052574154 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21406/stat : 21406 (java) S 21391 21391 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67055127 14427361280 33252 33554432000 4194304 4196468 140736701428384 140572330277728 140573224355541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21407] ppid=21391 vsize=14089220 memory=2319389199337275488 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21407/stat : 21407 (java) S 21391 21391 17249 0 -1 1077944384 1312 0 0 0 0 0 0 0 20 0 15 0 67055127 14427361280 33252 33554432000 4194304 4196468 140736701428384 140572329224752 140573224356482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 20 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
Current children cumulated CPU time: 12.91 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 134464 KiB
[startup+6.90066 s]
/proc/loadavg: 1.97 1.88 1.81 3/219 21407
/proc/meminfo: memFree=17421156/32770624 swapFree=67108796/67108860
[pid=21391] ppid=21388 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/21391/stat : 21391 (xcsp3-exec) S 21388 21391 17249 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 67055121 115843072 364 33554432000 4194304 5098028 140723638122096 140723638120200 139720198206076 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30560256 140723638125627 140723638125828 140723638125828 140723638128586 0
/proc/21391/statm: 28282 364 306 221 0 87 0
[pid=21393] ppid=21391 vsize=14089220 memory=133008 CPUtime=13.02 cores=1,3,5,7
/proc/21393/stat : 21393 (java) S 21391 21391 17249 0 -1 1077944320 46895 0 0 0 1294 8 0 0 20 0 15 0 67055121 14427361280 33252 33554432000 4194304 4196468 140736701428384 140736701410928 140573224345335 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
/proc/21393/statm: 3522305 33252 3367 1 0 3483520 0
[pid=21393/tid=21394] ppid=21391 vsize=14089220 memory=133008 CPUtime=6.86 cores=1,3,5,7
/proc/21393/task/21394/stat : 21394 (java) R 21391 21391 17249 0 -1 4202560 8512 0 0 0 683 3 0 0 20 0 15 0 67055121 14427361280 33252 33554432000 4194304 4196468 140736701428384 140573228582568 140572823900468 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21395] ppid=21391 vsize=14089220 memory=7805974384891420736 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21395/stat : 21395 (java) S 21391 21391 17249 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67055122 14427361280 33252 33554432000 4194304 4196468 140736701428384 140572819975184 140573224355541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21396] ppid=21391 vsize=14089220 memory=56 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21396/stat : 21396 (java) S 21391 21391 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67055122 14427361280 33252 33554432000 4194304 4196468 140736701428384 140572818922640 140573224355541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21397] ppid=21391 vsize=14089220 memory=288230583166051074 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21397/stat : 21397 (java) S 21391 21391 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67055122 14427361280 33252 33554432000 4194304 4196468 140736701428384 140572817869584 140573224355541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21398] ppid=21391 vsize=14089220 memory=279901005731328 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21398/stat : 21398 (java) S 21391 21391 17249 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67055122 14427361280 33252 33554432000 4194304 4196468 140736701428384 140572816817040 140573224355541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21399] ppid=21391 vsize=14089220 memory=9195 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21399/stat : 21399 (java) S 21391 21391 17249 0 -1 1077944384 273 0 0 0 0 0 0 0 20 0 15 0 67055123 14427361280 33252 33554432000 4194304 4196468 140736701428384 140572405324016 140573224356482 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21400] ppid=21391 vsize=14089220 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21400/stat : 21400 (java) S 21391 21391 17249 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67055124 14427361280 33252 33554432000 4194304 4196468 140736701428384 140572404270240 140573224355541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21401] ppid=21391 vsize=14089220 memory=7739276948478454634 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21401/stat : 21401 (java) S 21391 21391 17249 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67055124 14427361280 33252 33554432000 4194304 4196468 140736701428384 140572403217136 140573224355541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21402] ppid=21391 vsize=14089220 memory=7156619400599655532 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21402/stat : 21402 (java) S 21391 21391 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67055126 14427361280 33252 33554432000 4194304 4196468 140736701428384 140572402165712 140573224363931 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21403] ppid=21391 vsize=14089220 memory=6791534058613427641 CPUtime=2.74 cores=1,3,5,7
/proc/21393/task/21403/stat : 21403 (java) S 21391 21391 17249 0 -1 1077944384 14807 0 0 0 273 1 0 0 20 0 15 0 67055126 14427361280 33252 33554432000 4194304 4196468 140736701428384 140572333435632 140573224356482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21404] ppid=21391 vsize=14089220 memory=0 CPUtime=2.87 cores=1,3,5,7
/proc/21393/task/21404/stat : 21404 (java) S 21391 21391 17249 0 -1 1077944384 16681 0 0 0 285 2 0 0 20 0 15 0 67055126 14427361280 33252 33554432000 4194304 4196468 140736701428384 140572332383088 140573224356482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21405] ppid=21391 vsize=14089220 memory=6944652177228980320 CPUtime=0.5 cores=1,3,5,7
/proc/21393/task/21405/stat : 21405 (java) S 21391 21391 17249 0 -1 1077944384 4007 0 0 0 50 0 0 0 20 0 15 0 67055126 14427361280 33252 33554432000 4194304 4196468 140736701428384 140572331330032 140573224356482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21406] ppid=21391 vsize=14089220 memory=15044 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21406/stat : 21406 (java) S 21391 21391 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67055127 14427361280 33252 33554432000 4194304 4196468 140736701428384 140572330277728 140573224355541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
[pid=21393/tid=21407] ppid=21391 vsize=14089220 memory=16836 CPUtime=0 cores=1,3,5,7
/proc/21393/task/21407/stat : 21407 (java) S 21391 21391 17249 0 -1 1077944384 1312 0 0 0 0 0 0 0 20 0 15 0 67055127 14427361280 33252 33554432000 4194304 4196468 140736701428384 140572329224752 140573224356482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 20 0 0 6293624 6294260 13639680 140736701437057 140736701437233 140736701437233 140736701439951 0
Current children cumulated CPU time: 13.02 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 134464 KiB
Child status: 0
Real time (s): 6.95841
CPU time (s): 13.0913
CPU user time (s): 12.9946
CPU system time (s): 0.096705
CPU usage (%): 188.136
Max. virtual memory (cumulated for all children) (KiB): 14205336
Max. memory (cumulated for all children) (KiB): 142256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.9946
system time used= 0.096705
maximum resident set size= 140804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47859
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2507
involuntary context switches= 39
# summary of solver processes directly reported to runsolver:
# pid: 21391
# total CPU time (s): 13.0913
# total CPU user time (s): 12.9946
# total CPU system time (s): 0.096705
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.06909 second user time and 0.100778 second system time
The end