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 (10686 MiB free)
memory of node 1: 16384 MiB (12669 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406225-1569399642/watcher-4406225-1569399642 -o /var/tmp/evaluation-result-4406225-1569399642/solver-4406225-1569399642 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node133-1569396629-3722 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1563985591 HOME/instance-4406225-1569399642.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=4993, runsolver pid=4990
[startup+0.10052 s]*
/proc/loadavg: 2.01 2.08 1.94 4/236 5009
/proc/meminfo: memFree=23901716/32770624 swapFree=67003052/67108860
[pid=4993] ppid=4990 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4993/stat : 4993 (xcsp3-exec) S 4990 4993 3690 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516203741 115843072 363 33554432000 4194304 5098028 140735900073424 140735900071528 140325818835580 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 39268352 140735900074838 140735900075097 140735900075097 140735900078022 0
/proc/4993/statm: 28282 363 305 221 0 87 0
[pid=4995] ppid=4993 vsize=15144776 memory=27680 CPUtime=0.13 cores=1,3,5,7
/proc/4995/stat : 4995 (java) S 4993 4993 3690 0 -1 1077944320 5868 0 0 0 12 1 0 0 20 0 15 0 516203741 15508250624 6920 33554432000 4194304 4196468 140727802096992 140727802079536 140127970836215 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
/proc/4995/statm: 3786194 6920 3154 1 0 3748377 0
[pid=4995/tid=4996] ppid=4993 vsize=15144776 memory=8115104583012029275 CPUtime=0.09 cores=1,3,5,7
/proc/4995/task/4996/stat : 4996 (java) R 4993 4993 3690 0 -1 4202560 3735 0 0 0 8 1 0 0 20 0 15 0 516203741 15508250624 6986 33554432000 4194304 4196468 140727802096992 140127975072640 140127970848150 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=4997] ppid=4993 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/4995/task/4997/stat : 4997 (java) S 4993 4993 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516203742 15508250624 6986 33554432000 4194304 4196468 140727802096992 140127940549392 140127970846421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=4998] ppid=4993 vsize=15144776 memory=140329037465216 CPUtime=0 cores=1,3,5,7
/proc/4995/task/4998/stat : 4998 (java) S 4993 4993 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516203742 15508250624 6986 33554432000 4194304 4196468 140727802096992 140127561714576 140127970846421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=4999] ppid=4993 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4995/task/4999/stat : 4999 (java) S 4993 4993 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516203742 15508250624 6986 33554432000 4194304 4196468 140727802096992 140127560662032 140127970846421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=5000] ppid=4993 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4995/task/5000/stat : 5000 (java) S 4993 4993 3690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516203742 15508250624 6986 33554432000 4194304 4196468 140727802096992 140127559609488 140127970846421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=5001] ppid=4993 vsize=15144776 memory=140329037465216 CPUtime=0 cores=1,3,5,7
/proc/4995/task/5001/stat : 5001 (java) S 4993 4993 3690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516203744 15508250624 6986 33554432000 4194304 4196468 140727802096992 140127438936048 140127970847362 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=5002] ppid=4993 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4995/task/5002/stat : 5002 (java) S 4993 4993 3690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516203744 15508250624 6986 33554432000 4194304 4196468 140727802096992 140127437882272 140127970846421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=5003] ppid=4993 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4995/task/5003/stat : 5003 (java) S 4993 4993 3690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516203744 15508250624 6986 33554432000 4194304 4196468 140727802096992 140127436829680 140127970846421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=5004] ppid=4993 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4995/task/5004/stat : 5004 (java) S 4993 4993 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516203747 15508250624 6986 33554432000 4194304 4196468 140727802096992 140127435778256 140127970854811 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=5005] ppid=4993 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4995/task/5005/stat : 5005 (java) S 4993 4993 3690 0 -1 1077944384 478 0 0 0 0 0 0 0 20 0 15 0 516203747 15508250624 6986 33554432000 4194304 4196468 140727802096992 140127434725872 140127970847362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=5006] ppid=4993 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4995/task/5006/stat : 5006 (java) S 4993 4993 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516203747 15508250624 6986 33554432000 4194304 4196468 140727802096992 140127433673328 140127970847362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=5007] ppid=4993 vsize=15144776 memory=140329037465216 CPUtime=0.02 cores=1,3,5,7
/proc/4995/task/5007/stat : 5007 (java) R 4993 4993 3690 0 -1 4202560 391 0 0 0 2 0 0 0 20 0 15 0 516203747 15508250624 6986 33554432000 4194304 4196468 140727802096992 140127432620784 140127952246223 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=5008] ppid=4993 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4995/task/5008/stat : 5008 (java) S 4993 4993 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516203747 15508250624 6986 33554432000 4194304 4196468 140727802096992 140127431568480 140127970846421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=5009] ppid=4993 vsize=15144776 memory=140329037465216 CPUtime=0 cores=1,3,5,7
/proc/4995/task/5009/stat : 5009 (java) S 4993 4993 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516203747 15508250624 6986 33554432000 4194304 4196468 140727802096992 140127430514992 140127970847362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 29132 KiB
[startup+0.21104 s]*
/proc/loadavg: 2.01 2.08 1.94 4/236 5009
/proc/meminfo: memFree=23888736/32770624 swapFree=67003052/67108860
[pid=4993] ppid=4990 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4993/stat : 4993 (xcsp3-exec) S 4990 4993 3690 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516203741 115843072 363 33554432000 4194304 5098028 140735900073424 140735900071528 140325818835580 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 39268352 140735900074838 140735900075097 140735900075097 140735900078022 0
/proc/4993/statm: 28282 363 305 221 0 87 0
[pid=4995] ppid=4993 vsize=15144776 memory=39368 CPUtime=0.34 cores=1,3,5,7
/proc/4995/stat : 4995 (java) S 4993 4993 3690 0 -1 1077944320 9586 0 0 0 31 3 0 0 20 0 15 0 516203741 15508250624 9842 33554432000 4194304 4196468 140727802096992 140727802079536 140127970836215 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
/proc/4995/statm: 3786194 9842 3313 1 0 3748377 0
[pid=4995/tid=4996] ppid=4993 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/4995/task/4996/stat : 4996 (java) R 4993 4993 3690 0 -1 4202560 6659 0 0 0 18 2 0 0 20 0 15 0 516203741 15508250624 9842 33554432000 4194304 4196468 140727802096992 140127975070336 140127970858141 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=4997] ppid=4993 vsize=15144776 memory=13591 CPUtime=0 cores=1,3,5,7
/proc/4995/task/4997/stat : 4997 (java) S 4993 4993 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516203742 15508250624 9842 33554432000 4194304 4196468 140727802096992 140127940549392 140127970846421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=4998] ppid=4993 vsize=15144776 memory=140329041216169 CPUtime=0 cores=1,3,5,7
/proc/4995/task/4998/stat : 4998 (java) S 4993 4993 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516203742 15508250624 9842 33554432000 4194304 4196468 140727802096992 140127561714576 140127970846421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=4999] ppid=4993 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4995/task/4999/stat : 4999 (java) S 4993 4993 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516203742 15508250624 9842 33554432000 4194304 4196468 140727802096992 140127560662032 140127970846421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=5000] ppid=4993 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4995/task/5000/stat : 5000 (java) S 4993 4993 3690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516203742 15508250624 9842 33554432000 4194304 4196468 140727802096992 140127559609488 140127970846421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=5001] ppid=4993 vsize=15144776 memory=140329037465216 CPUtime=0 cores=1,3,5,7
/proc/4995/task/5001/stat : 5001 (java) S 4993 4993 3690 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 516203744 15508250624 9842 33554432000 4194304 4196468 140727802096992 140127438936048 140127970847362 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=5002] ppid=4993 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4995/task/5002/stat : 5002 (java) S 4993 4993 3690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516203744 15508250624 9842 33554432000 4194304 4196468 140727802096992 140127437882272 140127970846421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=5003] ppid=4993 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4995/task/5003/stat : 5003 (java) S 4993 4993 3690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516203744 15508250624 9842 33554432000 4194304 4196468 140727802096992 140127436829680 140127970846421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=5004] ppid=4993 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4995/task/5004/stat : 5004 (java) S 4993 4993 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516203747 15508250624 9842 33554432000 4194304 4196468 140727802096992 140127435778256 140127970854811 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=5005] ppid=4993 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/4995/task/5005/stat : 5005 (java) S 4993 4993 3690 0 -1 1077944384 619 0 0 0 3 0 0 0 20 0 15 0 516203747 15508250624 9842 33554432000 4194304 4196468 140727802096992 140127434725872 140127970847362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=5006] ppid=4993 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/4995/task/5006/stat : 5006 (java) S 4993 4993 3690 0 -1 1077944384 62 0 0 0 1 0 0 0 20 0 15 0 516203747 15508250624 9842 33554432000 4194304 4196468 140727802096992 140127433673328 140127970847362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=5007] ppid=4993 vsize=15144776 memory=140329037465216 CPUtime=0.08 cores=1,3,5,7
/proc/4995/task/5007/stat : 5007 (java) S 4993 4993 3690 0 -1 1077944384 945 0 0 0 8 0 0 0 20 0 15 0 516203747 15508250624 9842 33554432000 4194304 4196468 140727802096992 140127432620784 140127970847362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=5008] ppid=4993 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4995/task/5008/stat : 5008 (java) S 4993 4993 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516203747 15508250624 9842 33554432000 4194304 4196468 140727802096992 140127431568480 140127970846421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=5009] ppid=4993 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4995/task/5009/stat : 5009 (java) S 4993 4993 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516203747 15508250624 9842 33554432000 4194304 4196468 140727802096992 140127430514992 140127970847362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 40820 KiB
[startup+0.31095 s]*
/proc/loadavg: 2.01 2.08 1.94 5/236 5009
/proc/meminfo: memFree=23881792/32770624 swapFree=67003052/67108860
[pid=4993] ppid=4990 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4993/stat : 4993 (xcsp3-exec) S 4990 4993 3690 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516203741 115843072 363 33554432000 4194304 5098028 140735900073424 140735900071528 140325818835580 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 39268352 140735900074838 140735900075097 140735900075097 140735900078022 0
/proc/4993/statm: 28282 363 305 221 0 87 0
[pid=4995] ppid=4993 vsize=15149032 memory=48676 CPUtime=0.53 cores=1,3,5,7
/proc/4995/stat : 4995 (java) S 4993 4993 3690 0 -1 1077944320 11054 0 0 0 49 4 0 0 20 0 15 0 516203741 15512608768 12169 33554432000 4194304 4196468 140727802096992 140727802079536 140127970836215 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
/proc/4995/statm: 3787258 12169 3359 1 0 3748377 0
[pid=4995/tid=4996] ppid=4993 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/4995/task/4996/stat : 4996 (java) R 4993 4993 3690 0 -1 4202560 7808 0 0 0 27 3 0 0 20 0 15 0 516203741 15512608768 12169 33554432000 4194304 4196468 140727802096992 140127975067328 140127954916702 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=4997] ppid=4993 vsize=15149032 memory=13953 CPUtime=0 cores=1,3,5,7
/proc/4995/task/4997/stat : 4997 (java) S 4993 4993 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516203742 15512608768 12169 33554432000 4194304 4196468 140727802096992 140127940549392 140127970846421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=4998] ppid=4993 vsize=15149032 memory=3881843 CPUtime=0 cores=1,3,5,7
/proc/4995/task/4998/stat : 4998 (java) S 4993 4993 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516203742 15512608768 12169 33554432000 4194304 4196468 140727802096992 140127561714576 140127970846421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=4999] ppid=4993 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4995/task/4999/stat : 4999 (java) S 4993 4993 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516203742 15512608768 12169 33554432000 4194304 4196468 140727802096992 140127560662032 140127970846421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=5000] ppid=4993 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4995/task/5000/stat : 5000 (java) S 4993 4993 3690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516203742 15512608768 12169 33554432000 4194304 4196468 140727802096992 140127559609488 140127970846421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=5001] ppid=4993 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4995/task/5001/stat : 5001 (java) S 4993 4993 3690 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 516203744 15512608768 12169 33554432000 4194304 4196468 140727802096992 140127438936048 140127970847362 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=5002] ppid=4993 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4995/task/5002/stat : 5002 (java) S 4993 4993 3690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516203744 15512608768 12169 33554432000 4194304 4196468 140727802096992 140127437882272 140127970846421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=5003] ppid=4993 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4995/task/5003/stat : 5003 (java) S 4993 4993 3690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516203744 15512608768 12169 33554432000 4194304 4196468 140727802096992 140127436829680 140127970846421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=5004] ppid=4993 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4995/task/5004/stat : 5004 (java) S 4993 4993 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516203747 15512608768 12169 33554432000 4194304 4196468 140727802096992 140127435778256 140127970854811 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=5005] ppid=4993 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/4995/task/5005/stat : 5005 (java) R 4993 4993 3690 0 -1 1077944384 658 0 0 0 5 0 0 0 20 0 15 0 516203747 15512608768 12169 33554432000 4194304 4196468 140727802096992 140127434725872 140127970847362 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=5006] ppid=4993 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/4995/task/5006/stat : 5006 (java) R 4993 4993 3690 0 -1 4202560 167 0 0 0 4 0 0 0 20 0 15 0 516203747 15512608768 12169 33554432000 4194304 4196468 140727802096992 140127433659872 140127950092945 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=5007] ppid=4993 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/4995/task/5007/stat : 5007 (java) R 4993 4993 3690 0 -1 4202560 1128 0 0 0 12 0 0 0 20 0 15 0 516203747 15512608768 12169 33554432000 4194304 4196468 140727802096992 140127432620784 140127954916702 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=5008] ppid=4993 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4995/task/5008/stat : 5008 (java) S 4993 4993 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516203747 15512608768 12169 33554432000 4194304 4196468 140727802096992 140127431568480 140127970846421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=5009] ppid=4993 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4995/task/5009/stat : 5009 (java) S 4993 4993 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516203747 15512608768 12169 33554432000 4194304 4196468 140727802096992 140127430514992 140127970847362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50128 KiB
[startup+0.700843 s]
/proc/loadavg: 2.01 2.08 1.94 5/236 5009
/proc/meminfo: memFree=23869588/32770624 swapFree=67003052/67108860
[pid=4993] ppid=4990 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4993/stat : 4993 (xcsp3-exec) S 4990 4993 3690 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516203741 115843072 363 33554432000 4194304 5098028 140735900073424 140735900071528 140325818835580 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 39268352 140735900074838 140735900075097 140735900075097 140735900078022 0
/proc/4993/statm: 28282 363 305 221 0 87 0
[pid=4995] ppid=4993 vsize=15151156 memory=72532 CPUtime=1.6 cores=1,3,5,7
/proc/4995/stat : 4995 (java) S 4993 4993 3690 0 -1 1077944320 14874 0 0 0 154 6 0 0 20 0 15 0 516203741 15514783744 18133 33554432000 4194304 4196468 140727802096992 140727802079536 140127970836215 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
/proc/4995/statm: 3787789 18133 3463 1 0 3748889 0
[pid=4995/tid=4996] ppid=4993 vsize=15151156 memory=35544 CPUtime=0.68 cores=1,3,5,7
/proc/4995/task/4996/stat : 4996 (java) R 4993 4993 3690 0 -1 4202560 9308 0 0 0 64 4 0 0 20 0 15 0 516203741 15514783744 18133 33554432000 4194304 4196468 140727802096992 140127975076448 140127610362548 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=4997] ppid=4993 vsize=15151156 memory=496 CPUtime=0 cores=1,3,5,7
/proc/4995/task/4997/stat : 4997 (java) S 4993 4993 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516203742 15514783744 18133 33554432000 4194304 4196468 140727802096992 140127940549392 140127970846421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=4998] ppid=4993 vsize=15151156 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/4995/task/4998/stat : 4998 (java) S 4993 4993 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516203742 15514783744 18133 33554432000 4194304 4196468 140727802096992 140127561714576 140127970846421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=4999] ppid=4993 vsize=15151156 memory=928 CPUtime=0 cores=1,3,5,7
/proc/4995/task/4999/stat : 4999 (java) S 4993 4993 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516203742 15514783744 18133 33554432000 4194304 4196468 140727802096992 140127560662032 140127970846421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=5000] ppid=4993 vsize=15151156 memory=1756 CPUtime=0 cores=1,3,5,7
/proc/4995/task/5000/stat : 5000 (java) S 4993 4993 3690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516203742 15514783744 18133 33554432000 4194304 4196468 140727802096992 140127559609488 140127970846421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=5001] ppid=4993 vsize=15151156 memory=780 CPUtime=0 cores=1,3,5,7
/proc/4995/task/5001/stat : 5001 (java) S 4993 4993 3690 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 516203744 15514783744 18133 33554432000 4194304 4196468 140727802096992 140127438936048 140127970847362 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=5002] ppid=4993 vsize=15151156 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/4995/task/5002/stat : 5002 (java) S 4993 4993 3690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516203744 15514783744 18133 33554432000 4194304 4196468 140727802096992 140127437882272 140127970846421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=5003] ppid=4993 vsize=15151156 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/4995/task/5003/stat : 5003 (java) S 4993 4993 3690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516203744 15514783744 18133 33554432000 4194304 4196468 140727802096992 140127436829680 140127970846421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=5004] ppid=4993 vsize=15151156 memory=2376 CPUtime=0 cores=1,3,5,7
/proc/4995/task/5004/stat : 5004 (java) S 4993 4993 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516203747 15514783744 18133 33554432000 4194304 4196468 140727802096992 140127435778256 140127970854811 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=5005] ppid=4993 vsize=15151156 memory=1768 CPUtime=0.28 cores=1,3,5,7
/proc/4995/task/5005/stat : 5005 (java) R 4993 4993 3690 0 -1 4202560 1507 0 0 0 28 0 0 0 20 0 15 0 516203747 15514783744 18133 33554432000 4194304 4196468 140727802096992 140127434717328 140127948432816 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=5006] ppid=4993 vsize=15151156 memory=111628 CPUtime=0.28 cores=1,3,5,7
/proc/4995/task/5006/stat : 5006 (java) R 4993 4993 3690 0 -1 4202560 730 0 0 0 28 0 0 0 20 0 15 0 516203747 15514783744 18133 33554432000 4194304 4196468 140727802096992 140127433666520 140127955736500 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=5007] ppid=4993 vsize=15151156 memory=804 CPUtime=0.33 cores=1,3,5,7
/proc/4995/task/5007/stat : 5007 (java) S 4993 4993 3690 0 -1 1077944384 2020 0 0 0 33 0 0 0 20 0 15 0 516203747 15514783744 18133 33554432000 4194304 4196468 140727802096992 140127432620784 140127970847362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=5008] ppid=4993 vsize=15151156 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/4995/task/5008/stat : 5008 (java) S 4993 4993 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516203747 15514783744 18133 33554432000 4194304 4196468 140727802096992 140127431568480 140127970846421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=5009] ppid=4993 vsize=15151156 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/4995/task/5009/stat : 5009 (java) S 4993 4993 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516203747 15514783744 18133 33554432000 4194304 4196468 140727802096992 140127430514992 140127970847362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
Current children cumulated CPU time: 1.6 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 73984 KiB
[startup+1.50083 s]
/proc/loadavg: 2.01 2.08 1.94 3/236 5009
/proc/meminfo: memFree=23854888/32770624 swapFree=67003052/67108860
[pid=4993] ppid=4990 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4993/stat : 4993 (xcsp3-exec) S 4990 4993 3690 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516203741 115843072 363 33554432000 4194304 5098028 140735900073424 140735900071528 140325818835580 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 39268352 140735900074838 140735900075097 140735900075097 140735900078022 0
/proc/4993/statm: 28282 363 305 221 0 87 0
[pid=4995] ppid=4993 vsize=15152952 memory=95008 CPUtime=3.44 cores=1,3,5,7
/proc/4995/stat : 4995 (java) S 4993 4993 3690 0 -1 1077944320 23706 0 0 0 338 6 0 0 20 0 15 0 516203741 15516622848 23752 33554432000 4194304 4196468 140727802096992 140727802079536 140127970836215 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
/proc/4995/statm: 3788238 23752 3473 1 0 3749338 0
[pid=4995/tid=4996] ppid=4993 vsize=15152952 memory=131 CPUtime=1.48 cores=1,3,5,7
/proc/4995/task/4996/stat : 4996 (java) R 4993 4993 3690 0 -1 4202560 9962 0 0 0 144 4 0 0 20 0 15 0 516203741 15516622848 23752 33554432000 4194304 4196468 140727802096992 140127975073520 140127610363938 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=4997] ppid=4993 vsize=15152952 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/4995/task/4997/stat : 4997 (java) S 4993 4993 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516203742 15516622848 23752 33554432000 4194304 4196468 140727802096992 140127940549392 140127970846421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=4998] ppid=4993 vsize=15152952 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/4995/task/4998/stat : 4998 (java) S 4993 4993 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516203742 15516622848 23818 33554432000 4194304 4196468 140727802096992 140127561714576 140127970846421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=4999] ppid=4993 vsize=15152952 memory=-8452003601766204349 CPUtime=0 cores=1,3,5,7
/proc/4995/task/4999/stat : 4999 (java) S 4993 4993 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516203742 15516622848 23818 33554432000 4194304 4196468 140727802096992 140127560662032 140127970846421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=5000] ppid=4993 vsize=15152952 memory=-8452003597471237053 CPUtime=0 cores=1,3,5,7
/proc/4995/task/5000/stat : 5000 (java) S 4993 4993 3690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516203742 15516622848 23818 33554432000 4194304 4196468 140727802096992 140127559609488 140127970846421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=5001] ppid=4993 vsize=15152952 memory=8323284791877332333 CPUtime=0 cores=1,3,5,7
/proc/4995/task/5001/stat : 5001 (java) S 4993 4993 3690 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 516203744 15516622848 23818 33554432000 4194304 4196468 140727802096992 140127438936048 140127970847362 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=5002] ppid=4993 vsize=15152952 memory=4211596219265610629 CPUtime=0 cores=1,3,5,7
/proc/4995/task/5002/stat : 5002 (java) S 4993 4993 3690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516203744 15516622848 23818 33554432000 4194304 4196468 140727802096992 140127437882272 140127970846421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=5003] ppid=4993 vsize=15152952 memory=-8774304836664504880 CPUtime=0 cores=1,3,5,7
/proc/4995/task/5003/stat : 5003 (java) S 4993 4993 3690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516203744 15516622848 23818 33554432000 4194304 4196468 140727802096992 140127436829680 140127970846421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=5004] ppid=4993 vsize=15152952 memory=4280738806452048030 CPUtime=0 cores=1,3,5,7
/proc/4995/task/5004/stat : 5004 (java) S 4993 4993 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516203747 15516622848 23818 33554432000 4194304 4196468 140727802096992 140127435778256 140127970854811 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=5005] ppid=4993 vsize=15152952 memory=43757089846 CPUtime=0.73 cores=1,3,5,7
/proc/4995/task/5005/stat : 5005 (java) R 4993 4993 3690 0 -1 4202560 3808 0 0 0 73 0 0 0 20 0 15 0 516203747 15516622848 23818 33554432000 4194304 4196468 140727802096992 140127434712440 140127949072901 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=5006] ppid=4993 vsize=15152952 memory=6081619128951980135 CPUtime=0.79 cores=1,3,5,7
/proc/4995/task/5006/stat : 5006 (java) R 4993 4993 3690 0 -1 4202560 6073 0 0 0 79 0 0 0 20 0 15 0 516203747 15516622848 23818 33554432000 4194304 4196468 140727802096992 140127433659352 140127952379938 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=5007] ppid=4993 vsize=15152952 memory=7588970436514572132 CPUtime=0.41 cores=1,3,5,7
/proc/4995/task/5007/stat : 5007 (java) S 4993 4993 3690 0 -1 1077944384 2634 0 0 0 41 0 0 0 20 0 15 0 516203747 15516622848 23818 33554432000 4194304 4196468 140727802096992 140127432620784 140127970847362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=5008] ppid=4993 vsize=15152952 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/4995/task/5008/stat : 5008 (java) S 4993 4993 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516203747 15516622848 23884 33554432000 4194304 4196468 140727802096992 140127431568480 140127970846421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=5009] ppid=4993 vsize=15152952 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4995/task/5009/stat : 5009 (java) S 4993 4993 3690 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 516203747 15516622848 23884 33554432000 4194304 4196468 140727802096992 140127430514992 140127970847362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
Current children cumulated CPU time: 3.44 s
Current children cumulated vsize: 15266080 KiB
Current children cumulated memory: 96460 KiB
[startup+1.6583 s]
# the end of solver process 4993 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.7073 s, system=0.083248 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60092 s]
/proc/loadavg: 2.01 2.08 1.94 3/236 5009
/proc/meminfo: memFree=23854888/32770624 swapFree=67003052/67108860
[pid=4993] ppid=4990 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4993/stat : 4993 (xcsp3-exec) S 4990 4993 3690 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516203741 115843072 363 33554432000 4194304 5098028 140735900073424 140735900071528 140325818835580 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 39268352 140735900074838 140735900075097 140735900075097 140735900078022 0
/proc/4993/statm: 28282 363 305 221 0 87 0
[pid=4995] ppid=4993 vsize=15151156 memory=94020 CPUtime=3.68 cores=1,3,5,7
/proc/4995/stat : 4995 (java) S 4993 4993 3690 0 -1 1077944320 23979 0 0 0 361 7 0 0 20 0 15 0 516203741 15514783744 23505 33554432000 4194304 4196468 140727802096992 140727802079536 140127970836215 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
/proc/4995/statm: 3787789 23505 3473 1 0 3748889 0
[pid=4995/tid=4996] ppid=4993 vsize=15151156 memory=0 CPUtime=1.57 cores=1,3,5,7
/proc/4995/task/4996/stat : 4996 (java) R 4993 4993 3690 0 -1 4202560 9977 0 0 0 153 4 0 0 20 0 15 0 516203741 15514783744 23505 33554432000 4194304 4196468 140727802096992 140127975073520 140127970848150 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=4997] ppid=4993 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4995/task/4997/stat : 4997 (java) S 4993 4993 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516203742 15514783744 23505 33554432000 4194304 4196468 140727802096992 140127940549392 140127970846421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=4998] ppid=4993 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4995/task/4998/stat : 4998 (java) S 4993 4993 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516203742 15514783744 23505 33554432000 4194304 4196468 140727802096992 140127561714576 140127970846421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=4999] ppid=4993 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4995/task/4999/stat : 4999 (java) S 4993 4993 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516203742 15514783744 23505 33554432000 4194304 4196468 140727802096992 140127560662032 140127970846421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=5000] ppid=4993 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4995/task/5000/stat : 5000 (java) S 4993 4993 3690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516203742 15514783744 23505 33554432000 4194304 4196468 140727802096992 140127559609488 140127970846421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=5001] ppid=4993 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4995/task/5001/stat : 5001 (java) S 4993 4993 3690 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 516203744 15514783744 23505 33554432000 4194304 4196468 140727802096992 140127438936048 140127970847362 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=5002] ppid=4993 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4995/task/5002/stat : 5002 (java) S 4993 4993 3690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516203744 15514783744 23505 33554432000 4194304 4196468 140727802096992 140127437882272 140127970846421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=5003] ppid=4993 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4995/task/5003/stat : 5003 (java) S 4993 4993 3690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516203744 15514783744 23505 33554432000 4194304 4196468 140727802096992 140127436829680 140127970846421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=5004] ppid=4993 vsize=15151156 memory=142712636499482 CPUtime=0 cores=1,3,5,7
/proc/4995/task/5004/stat : 5004 (java) S 4993 4993 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516203747 15514783744 23505 33554432000 4194304 4196468 140727802096992 140127435778256 140127970854811 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=5005] ppid=4993 vsize=15151156 memory=297237821058711863 CPUtime=0.79 cores=1,3,5,7
/proc/4995/task/5005/stat : 5005 (java) S 4993 4993 3690 0 -1 1077944384 3893 0 0 0 79 0 0 0 20 0 15 0 516203747 15514783744 23505 33554432000 4194304 4196468 140727802096992 140127434725872 140127970847362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=5006] ppid=4993 vsize=15151156 memory=15825486429292335 CPUtime=0.86 cores=1,3,5,7
/proc/4995/task/5006/stat : 5006 (java) R 4993 4993 3690 0 -1 4202560 6156 0 0 0 86 0 0 0 20 0 15 0 516203747 15514783744 23505 33554432000 4194304 4196468 140727802096992 140127433673328 140127970848150 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=5007] ppid=4993 vsize=15151156 memory=280657859251648 CPUtime=0.41 cores=1,3,5,7
/proc/4995/task/5007/stat : 5007 (java) S 4993 4993 3690 0 -1 1077944384 2634 0 0 0 41 0 0 0 20 0 15 0 516203747 15514783744 23505 33554432000 4194304 4196468 140727802096992 140127432620784 140127970847362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=5008] ppid=4993 vsize=15151156 memory=288230587494564173 CPUtime=0 cores=1,3,5,7
/proc/4995/task/5008/stat : 5008 (java) S 4993 4993 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516203747 15514783744 23505 33554432000 4194304 4196468 140727802096992 140127431568480 140127970846421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
[pid=4995/tid=5009] ppid=4993 vsize=15151156 memory=15254857107902286 CPUtime=0 cores=1,3,5,7
/proc/4995/task/5009/stat : 5009 (java) S 4993 4993 3690 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 516203747 15514783744 23505 33554432000 4194304 4196468 140727802096992 140127430514992 140127970847362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10948608 140727802098651 140727802098826 140727802098826 140727802101711 0
Current children cumulated CPU time: 3.68 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 95472 KiB
[startup+1.70074 s]*
/proc/loadavg: 2.01 2.08 1.94 2/220 5009
/proc/meminfo: memFree=23912748/32770624 swapFree=67003052/67108860
Current cumulated CPU time of completed processes: 3.79055 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 1.78596
CPU time (s): 3.79055
CPU user time (s): 3.7073
CPU system time (s): 0.083248
CPU usage (%): 212.242
Max. virtual memory (cumulated for all children) (KiB): 15266080
Max. memory (cumulated for all children) (KiB): 96460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.7073
system time used= 0.083248
maximum resident set size= 95536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25195
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2129
involuntary context switches= 13
# summary of solver processes directly reported to runsolver:
# pid: 4993
# total CPU time (s): 3.79055
# total CPU user time (s): 3.7073
# total CPU system time (s): 0.083248
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.034465 second user time and 0.060821 second system time
The end