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 (13141 MiB free)
memory of node 1: 16384 MiB (11686 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405963-1569415878/watcher-4405963-1569415878 -o /var/tmp/evaluation-result-4405963-1569415878/solver-4405963-1569415878 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node119-1569396629-25937 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1452114308 HOME/instance-4405963-1569415878.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=30705, runsolver pid=30702
Current StackSize limit: 8192 KiB
[startup+0.100227 s]*
/proc/loadavg: 2.00 2.05 2.03 4/231 30721
/proc/meminfo: memFree=25406480/32770624 swapFree=66953524/67108860
[pid=30705] ppid=30702 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/30705/stat : 30705 (xcsp3-exec) S 30702 30705 25905 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517502514 115843072 364 33554432000 4194304 5098028 140722577971872 140722577969976 139848693498492 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10870784 140722577978198 140722577978457 140722577978457 140722577981382 0
/proc/30705/statm: 28282 364 305 221 0 87 0
[pid=30707] ppid=30705 vsize=15144776 memory=29732 CPUtime=0.13 cores=1,3,5,7
/proc/30707/stat : 30707 (java) S 30705 30705 25905 0 -1 1077944320 5834 0 0 0 12 1 0 0 20 0 15 0 517502514 15508250624 7433 33554432000 4194304 4196468 140730059784464 140730059767008 140421330042615 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
/proc/30707/statm: 3786194 7433 3160 1 0 3748377 0
[pid=30707/tid=30708] ppid=30705 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/30707/task/30708/stat : 30708 (java) R 30705 30705 25905 0 -1 4202560 3730 0 0 0 8 1 0 0 20 0 15 0 517502515 15508250624 7433 33554432000 4194304 4196468 140730059784464 140421334276896 140420952729095 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30709] ppid=30705 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30709/stat : 30709 (java) S 30705 30705 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517502515 15508250624 7433 33554432000 4194304 4196468 140730059784464 140421282663184 140421330052821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30710] ppid=30705 vsize=15144776 memory=140577997739648 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30710/stat : 30710 (java) S 30705 30705 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517502515 15508250624 7433 33554432000 4194304 4196468 140730059784464 140421281610640 140421330052821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30711] ppid=30705 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30711/stat : 30711 (java) S 30705 30705 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517502515 15508250624 7433 33554432000 4194304 4196468 140730059784464 140421280558096 140421330052821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30712] ppid=30705 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30712/stat : 30712 (java) S 30705 30705 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517502515 15508250624 7433 33554432000 4194304 4196468 140730059784464 140421279505552 140421330052821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30713] ppid=30705 vsize=15144776 memory=140577997739648 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30713/stat : 30713 (java) S 30705 30705 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517502517 15508250624 7433 33554432000 4194304 4196468 140730059784464 140420472567792 140421330053762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30714] ppid=30705 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30714/stat : 30714 (java) S 30705 30705 25905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517502517 15508250624 7433 33554432000 4194304 4196468 140730059784464 140420471514016 140421330052821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30715] ppid=30705 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30715/stat : 30715 (java) S 30705 30705 25905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517502517 15508250624 7433 33554432000 4194304 4196468 140730059784464 140420470461424 140421330052821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30716] ppid=30705 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30716/stat : 30716 (java) S 30705 30705 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517502520 15508250624 7433 33554432000 4194304 4196468 140730059784464 140420469410000 140421330061211 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30717] ppid=30705 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30717/stat : 30717 (java) S 30705 30705 25905 0 -1 1077944384 333 0 0 0 0 0 0 0 20 0 15 0 517502520 15508250624 7433 33554432000 4194304 4196468 140730059784464 140420468357616 140421330053762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30718] ppid=30705 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30718/stat : 30718 (java) S 30705 30705 25905 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 517502520 15508250624 7433 33554432000 4194304 4196468 140730059784464 140420467305072 140421330053762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30719] ppid=30705 vsize=15144776 memory=140577997739648 CPUtime=0.02 cores=1,3,5,7
/proc/30707/task/30719/stat : 30719 (java) S 30705 30705 25905 0 -1 1077944384 343 0 0 0 2 0 0 0 20 0 15 0 517502520 15508250624 7433 33554432000 4194304 4196468 140730059784464 140420398967536 140421330053762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30720] ppid=30705 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30720/stat : 30720 (java) S 30705 30705 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517502520 15508250624 7433 33554432000 4194304 4196468 140730059784464 140420397915232 140421330052821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30721] ppid=30705 vsize=15144776 memory=140577997739648 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30721/stat : 30721 (java) S 30705 30705 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517502520 15508250624 7433 33554432000 4194304 4196468 140730059784464 140420396861744 140421330053762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31188 KiB
[startup+0.211197 s]*
/proc/loadavg: 2.00 2.05 2.03 4/231 30721
/proc/meminfo: memFree=25393996/32770624 swapFree=66953524/67108860
[pid=30705] ppid=30702 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/30705/stat : 30705 (xcsp3-exec) S 30702 30705 25905 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517502514 115843072 364 33554432000 4194304 5098028 140722577971872 140722577969976 139848693498492 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10870784 140722577978198 140722577978457 140722577978457 140722577981382 0
/proc/30705/statm: 28282 364 305 221 0 87 0
[pid=30707] ppid=30705 vsize=15144776 memory=40692 CPUtime=0.35 cores=1,3,5,7
/proc/30707/stat : 30707 (java) S 30705 30705 25905 0 -1 1077944320 9357 0 0 0 32 3 0 0 20 0 15 0 517502514 15508250624 10173 33554432000 4194304 4196468 140730059784464 140730059767008 140421330042615 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
/proc/30707/statm: 3786194 10173 3321 1 0 3748377 0
[pid=30707/tid=30708] ppid=30705 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/30707/task/30708/stat : 30708 (java) R 30705 30705 25905 0 -1 4202560 6616 0 0 0 18 2 0 0 20 0 15 0 517502515 15508250624 10173 33554432000 4194304 4196468 140730059784464 140421334279312 140421314123102 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30709] ppid=30705 vsize=15144776 memory=10535 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30709/stat : 30709 (java) S 30705 30705 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517502515 15508250624 10173 33554432000 4194304 4196468 140730059784464 140421282663184 140421330052821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30710] ppid=30705 vsize=15144776 memory=140577997768360 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30710/stat : 30710 (java) S 30705 30705 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517502515 15508250624 10173 33554432000 4194304 4196468 140730059784464 140421281610640 140421330052821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30711] ppid=30705 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30711/stat : 30711 (java) S 30705 30705 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517502515 15508250624 10173 33554432000 4194304 4196468 140730059784464 140421280558096 140421330052821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30712] ppid=30705 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30712/stat : 30712 (java) S 30705 30705 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517502515 15508250624 10173 33554432000 4194304 4196468 140730059784464 140421279505552 140421330052821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30713] ppid=30705 vsize=15144776 memory=140577997739648 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30713/stat : 30713 (java) R 30705 30705 25905 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 15 0 517502517 15508250624 10173 33554432000 4194304 4196468 140730059784464 140420472567792 140421322759767 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30714] ppid=30705 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30714/stat : 30714 (java) S 30705 30705 25905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517502517 15508250624 10173 33554432000 4194304 4196468 140730059784464 140420471514016 140421330052821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30715] ppid=30705 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30715/stat : 30715 (java) S 30705 30705 25905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517502517 15508250624 10173 33554432000 4194304 4196468 140730059784464 140420470461424 140421330052821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30716] ppid=30705 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30716/stat : 30716 (java) S 30705 30705 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517502520 15508250624 10173 33554432000 4194304 4196468 140730059784464 140420469410000 140421330061211 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30717] ppid=30705 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/30707/task/30717/stat : 30717 (java) S 30705 30705 25905 0 -1 1077944384 402 0 0 0 2 0 0 0 20 0 15 0 517502520 15508250624 10173 33554432000 4194304 4196468 140730059784464 140420468357616 140421330053762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30718] ppid=30705 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/30707/task/30718/stat : 30718 (java) S 30705 30705 25905 0 -1 1077944384 226 0 0 0 2 0 0 0 20 0 15 0 517502520 15508250624 10173 33554432000 4194304 4196468 140730059784464 140420467305072 140421330053762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30719] ppid=30705 vsize=15144776 memory=140577997739648 CPUtime=0.08 cores=1,3,5,7
/proc/30707/task/30719/stat : 30719 (java) S 30705 30705 25905 0 -1 1077944384 809 0 0 0 8 0 0 0 20 0 15 0 517502520 15508250624 10173 33554432000 4194304 4196468 140730059784464 140420398967536 140421330053762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30720] ppid=30705 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30720/stat : 30720 (java) S 30705 30705 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517502520 15508250624 10173 33554432000 4194304 4196468 140730059784464 140420397915232 140421330052821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30721] ppid=30705 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30721/stat : 30721 (java) S 30705 30705 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517502520 15508250624 10173 33554432000 4194304 4196468 140730059784464 140420396861744 140421330053762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42148 KiB
[startup+0.311094 s]*
/proc/loadavg: 2.00 2.05 2.03 4/231 30721
/proc/meminfo: memFree=25386104/32770624 swapFree=66953524/67108860
[pid=30705] ppid=30702 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/30705/stat : 30705 (xcsp3-exec) S 30702 30705 25905 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517502514 115843072 364 33554432000 4194304 5098028 140722577971872 140722577969976 139848693498492 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10870784 140722577978198 140722577978457 140722577978457 140722577981382 0
/proc/30705/statm: 28282 364 305 221 0 87 0
[pid=30707] ppid=30705 vsize=15149032 memory=50284 CPUtime=0.54 cores=1,3,5,7
/proc/30707/stat : 30707 (java) S 30705 30705 25905 0 -1 1077944320 10891 0 0 0 50 4 0 0 20 0 15 0 517502514 15512608768 12571 33554432000 4194304 4196468 140730059784464 140730059767008 140421330042615 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
/proc/30707/statm: 3787258 12571 3367 1 0 3748377 0
[pid=30707/tid=30708] ppid=30705 vsize=15149032 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/30707/task/30708/stat : 30708 (java) R 30705 30705 25905 0 -1 4202560 7820 0 0 0 27 3 0 0 20 0 15 0 517502515 15512608768 12571 33554432000 4194304 4196468 140730059784464 140421334273728 140421314123102 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30709] ppid=30705 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30709/stat : 30709 (java) S 30705 30705 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517502515 15512608768 12571 33554432000 4194304 4196468 140730059784464 140421282663184 140421330052821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30710] ppid=30705 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30710/stat : 30710 (java) S 30705 30705 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517502515 15512608768 12571 33554432000 4194304 4196468 140730059784464 140421281610640 140421330052821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30711] ppid=30705 vsize=15149032 memory=-4190076264842474805 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30711/stat : 30711 (java) S 30705 30705 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517502515 15512608768 12571 33554432000 4194304 4196468 140730059784464 140421280558096 140421330052821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30712] ppid=30705 vsize=15149032 memory=-7305852742256935071 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30712/stat : 30712 (java) S 30705 30705 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517502515 15512608768 12571 33554432000 4194304 4196468 140730059784464 140421279505552 140421330052821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30713] ppid=30705 vsize=15149032 memory=6944656425123485561 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30713/stat : 30713 (java) S 30705 30705 25905 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 517502517 15512608768 12571 33554432000 4194304 4196468 140730059784464 140420472567792 140421330053762 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30714] ppid=30705 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30714/stat : 30714 (java) S 30705 30705 25905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517502517 15512608768 12571 33554432000 4194304 4196468 140730059784464 140420471514016 140421330052821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30715] ppid=30705 vsize=15149032 memory=4627853888499060086 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30715/stat : 30715 (java) S 30705 30705 25905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517502517 15512608768 12571 33554432000 4194304 4196468 140730059784464 140420470461424 140421330052821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30716] ppid=30705 vsize=15149032 memory=-2915668829928281502 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30716/stat : 30716 (java) S 30705 30705 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517502520 15512608768 12571 33554432000 4194304 4196468 140730059784464 140420469410000 140421330061211 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30717] ppid=30705 vsize=15149032 memory=4426078206164241782 CPUtime=0.04 cores=1,3,5,7
/proc/30707/task/30717/stat : 30717 (java) S 30705 30705 25905 0 -1 1077944384 406 0 0 0 4 0 0 0 20 0 15 0 517502520 15512608768 12571 33554432000 4194304 4196468 140730059784464 140420468357616 140421330053762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30718] ppid=30705 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/30707/task/30718/stat : 30718 (java) S 30705 30705 25905 0 -1 1077944384 409 0 0 0 5 0 0 0 20 0 15 0 517502520 15512608768 12571 33554432000 4194304 4196468 140730059784464 140420467305072 140421330053762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30719] ppid=30705 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/30707/task/30719/stat : 30719 (java) S 30705 30705 25905 0 -1 1077944384 951 0 0 0 12 0 0 0 20 0 15 0 517502520 15512608768 12571 33554432000 4194304 4196468 140730059784464 140420398967536 140421330053762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30720] ppid=30705 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30720/stat : 30720 (java) S 30705 30705 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517502520 15512608768 12571 33554432000 4194304 4196468 140730059784464 140420397915232 140421330052821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30721] ppid=30705 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30721/stat : 30721 (java) S 30705 30705 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517502520 15512608768 12571 33554432000 4194304 4196468 140730059784464 140420396861744 140421330053762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51740 KiB
[startup+0.701394 s]
/proc/loadavg: 2.00 2.05 2.03 4/231 30721
/proc/meminfo: memFree=25370504/32770624 swapFree=66953524/67108860
[pid=30705] ppid=30702 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/30705/stat : 30705 (xcsp3-exec) S 30702 30705 25905 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517502514 115843072 364 33554432000 4194304 5098028 140722577971872 140722577969976 139848693498492 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10870784 140722577978198 140722577978457 140722577978457 140722577981382 0
/proc/30705/statm: 28282 364 305 221 0 87 0
[pid=30707] ppid=30705 vsize=15151156 memory=92576 CPUtime=1.74 cores=1,3,5,7
/proc/30707/stat : 30707 (java) S 30705 30705 25905 0 -1 1077944320 15787 0 0 0 168 6 0 0 20 0 15 0 517502514 15514783744 23144 33554432000 4194304 4196468 140730059784464 140730059767008 140421330042615 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
/proc/30707/statm: 3787789 23144 3454 1 0 3748889 0
[pid=30707/tid=30708] ppid=30705 vsize=15151156 memory=33 CPUtime=0.68 cores=1,3,5,7
/proc/30707/task/30708/stat : 30708 (java) R 30705 30705 25905 0 -1 4202560 9396 0 0 0 64 4 0 0 20 0 15 0 517502515 15514783744 23144 33554432000 4194304 4196468 140730059784464 140421334278168 140420952745515 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30709] ppid=30705 vsize=15151156 memory=288230587427465466 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30709/stat : 30709 (java) S 30705 30705 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517502515 15514783744 23144 33554432000 4194304 4196468 140730059784464 140421282663184 140421330052821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30710] ppid=30705 vsize=15151156 memory=16100364336257230 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30710/stat : 30710 (java) S 30705 30705 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517502515 15514783744 23144 33554432000 4194304 4196468 140730059784464 140421281610640 140421330052821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30711] ppid=30705 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30711/stat : 30711 (java) S 30705 30705 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517502515 15514783744 23144 33554432000 4194304 4196468 140730059784464 140421280558096 140421330052821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30712] ppid=30705 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30712/stat : 30712 (java) S 30705 30705 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517502515 15514783744 23144 33554432000 4194304 4196468 140730059784464 140421279505552 140421330052821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30713] ppid=30705 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30713/stat : 30713 (java) S 30705 30705 25905 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 517502517 15514783744 23144 33554432000 4194304 4196468 140730059784464 140420472567792 140421330053762 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30714] ppid=30705 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30714/stat : 30714 (java) S 30705 30705 25905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517502517 15514783744 23144 33554432000 4194304 4196468 140730059784464 140420471514016 140421330052821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30715] ppid=30705 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30715/stat : 30715 (java) S 30705 30705 25905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517502517 15514783744 23144 33554432000 4194304 4196468 140730059784464 140420470461424 140421330052821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30716] ppid=30705 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30716/stat : 30716 (java) S 30705 30705 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517502520 15514783744 23144 33554432000 4194304 4196468 140730059784464 140420469410000 140421330061211 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30717] ppid=30705 vsize=15151156 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/30707/task/30717/stat : 30717 (java) R 30705 30705 25905 0 -1 4202560 1335 0 0 0 30 0 0 0 20 0 15 0 517502520 15514783744 23144 33554432000 4194304 4196468 140730059784464 140420468357712 140421314835658 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30718] ppid=30705 vsize=15151156 memory=3618995696228983654 CPUtime=0.3 cores=1,3,5,7
/proc/30707/task/30718/stat : 30718 (java) R 30705 30705 25905 0 -1 4202560 1341 0 0 0 30 0 0 0 20 0 15 0 517502520 15514783744 23144 33554432000 4194304 4196468 140730059784464 140420467287088 140421309261247 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30719] ppid=30705 vsize=15151156 memory=7811889829912012387 CPUtime=0.42 cores=1,3,5,7
/proc/30707/task/30719/stat : 30719 (java) R 30705 30705 25905 0 -1 4202560 2412 0 0 0 42 0 0 0 20 0 15 0 517502520 15514783744 23144 33554432000 4194304 4196468 140730059784464 140420398962880 140421309002847 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30720] ppid=30705 vsize=15151156 memory=7594587674001172330 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30720/stat : 30720 (java) S 30705 30705 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517502520 15514783744 23144 33554432000 4194304 4196468 140730059784464 140420397915232 140421330052821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30721] ppid=30705 vsize=15151156 memory=7300704776819335744 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30721/stat : 30721 (java) S 30705 30705 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517502520 15514783744 23144 33554432000 4194304 4196468 140730059784464 140420396861744 140421330053762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
Current children cumulated CPU time: 1.74 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 94032 KiB
[startup+1.50088 s]
/proc/loadavg: 2.00 2.05 2.03 5/231 30721
/proc/meminfo: memFree=25318396/32770624 swapFree=66953524/67108860
[pid=30705] ppid=30702 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/30705/stat : 30705 (xcsp3-exec) S 30702 30705 25905 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517502514 115843072 364 33554432000 4194304 5098028 140722577971872 140722577969976 139848693498492 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10870784 140722577978198 140722577978457 140722577978457 140722577981382 0
/proc/30705/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
/proc/30707/task/30715/stat : 30715 (java) S 30705 30705 25905 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 517502517 15514783744 49055 33554432000 4194304 4196468 140730059784464 140420470461440 140421330052821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30716] ppid=30705 vsize=15151156 memory=194172 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30716/stat : 30716 (java) S 30705 30705 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517502520 15514783744 49055 33554432000 4194304 4196468 140730059784464 140420469410000 140421330061211 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30717] ppid=30705 vsize=15151156 memory=196220 CPUtime=2.43 cores=1,3,5,7
/proc/30707/task/30717/stat : 30717 (java) S 30705 30705 25905 0 -1 1077944384 21804 0 0 0 242 1 0 0 20 0 15 0 517502520 15514783744 49055 33554432000 4194304 4196468 140730059784464 140420468357616 140421330053762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30718] ppid=30705 vsize=15151156 memory=1456 CPUtime=2.6 cores=1,3,5,7
/proc/30707/task/30718/stat : 30718 (java) S 30705 30705 25905 0 -1 1077944384 21585 0 0 0 258 2 0 0 20 0 15 0 517502520 15514783744 49055 33554432000 4194304 4196468 140730059784464 140420467305072 140421330053762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30719] ppid=30705 vsize=15151156 memory=196220 CPUtime=0.71 cores=1,3,5,7
/proc/30707/task/30719/stat : 30719 (java) S 30705 30705 25905 0 -1 1077944384 10321 0 0 0 70 1 0 0 20 0 15 0 517502520 15514783744 49055 33554432000 4194304 4196468 140730059784464 140420398967536 140421330053762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30720] ppid=30705 vsize=15151156 memory=196220 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30720/stat : 30720 (java) S 30705 30705 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517502520 15514783744 49055 33554432000 4194304 4196468 140730059784464 140420397915232 140421330052821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30721] ppid=30705 vsize=15151156 memory=196220 CPUtime=0.52 cores=1,3,5,7
/proc/30707/task/30721/stat : 30721 (java) S 30705 30705 25905 0 -1 1077944384 1175 0 0 0 21 31 0 0 20 0 15 0 517502520 15514783744 49055 33554432000 4194304 4196468 140730059784464 140420396861744 140421330053762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
Current children cumulated CPU time: 2450.47 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 197676 KiB
[startup+2502.3 s]
/proc/loadavg: 1.04 1.42 1.65 2/208 31022
/proc/meminfo: memFree=25474328/32770624 swapFree=66953528/67108860
[pid=30705] ppid=30702 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/30705/stat : 30705 (xcsp3-exec) S 30702 30705 25905 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517502514 115843072 364 33554432000 4194304 5098028 140722577971872 140722577969976 139848693498492 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10870784 140722577978198 140722577978457 140722577978457 140722577981382 0
/proc/30705/statm: 28282 364 305 221 0 87 0
[pid=30707] ppid=30705 vsize=15151156 memory=196220 CPUtime=2510.49 cores=1,3,5,7
/proc/30707/stat : 30707 (java) S 30705 30705 25905 0 -1 1077944320 92599 0 0 0 250991 58 0 0 20 0 15 0 517502514 15514783744 49055 33554432000 4194304 4196468 140730059784464 140730059767008 140421330042615 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
/proc/30707/statm: 3787789 49055 3517 1 0 3748889 0
[pid=30707/tid=30708] ppid=30705 vsize=15151156 memory=196220 CPUtime=2501.17 cores=1,3,5,7
/proc/30707/task/30708/stat : 30708 (java) R 30705 30705 25905 0 -1 4202560 20243 0 0 0 250109 8 0 0 20 0 15 0 517502515 15514783744 49055 33554432000 4194304 4196468 140730059784464 140421334282272 140420959380429 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30709] ppid=30705 vsize=15151156 memory=196220 CPUtime=0.65 cores=1,3,5,7
/proc/30707/task/30709/stat : 30709 (java) S 30705 30705 25905 0 -1 1077944384 3713 0 0 0 61 4 0 0 20 0 15 0 517502515 15514783744 49055 33554432000 4194304 4196468 140730059784464 140421282663184 140421330052821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30710] ppid=30705 vsize=15151156 memory=196220 CPUtime=0.65 cores=1,3,5,7
/proc/30707/task/30710/stat : 30710 (java) S 30705 30705 25905 0 -1 1077944384 2983 0 0 0 61 4 0 0 20 0 15 0 517502515 15514783744 49055 33554432000 4194304 4196468 140730059784464 140421281610640 140421330052821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30711] ppid=30705 vsize=15151156 memory=1456 CPUtime=0.65 cores=1,3,5,7
/proc/30707/task/30711/stat : 30711 (java) S 30705 30705 25905 0 -1 1077944384 3424 0 0 0 60 5 0 0 20 0 15 0 517502515 15514783744 49055 33554432000 4194304 4196468 140730059784464 140421280558096 140421330052821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30712] ppid=30705 vsize=15151156 memory=196220 CPUtime=0.65 cores=1,3,5,7
/proc/30707/task/30712/stat : 30712 (java) S 30705 30705 25905 0 -1 1077944384 1681 0 0 0 60 5 0 0 20 0 15 0 517502515 15514783744 49055 33554432000 4194304 4196468 140730059784464 140421279505552 140421330052821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30713] ppid=30705 vsize=15151156 memory=196220 CPUtime=0.39 cores=1,3,5,7
/proc/30707/task/30713/stat : 30713 (java) S 30705 30705 25905 0 -1 1077944384 4208 0 0 0 34 5 0 0 20 0 15 0 517502517 15514783744 49055 33554432000 4194304 4196468 140730059784464 140420472567792 140421330053762 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30714] ppid=30705 vsize=15151156 memory=196220 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30714/stat : 30714 (java) S 30705 30705 25905 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 517502517 15514783744 49055 33554432000 4194304 4196468 140730059784464 140420471514080 140421330052821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30715] ppid=30705 vsize=15151156 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30715/stat : 30715 (java) S 30705 30705 25905 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 517502517 15514783744 49055 33554432000 4194304 4196468 140730059784464 140420470461440 140421330052821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30716] ppid=30705 vsize=15151156 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30716/stat : 30716 (java) S 30705 30705 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517502520 15514783744 49055 33554432000 4194304 4196468 140730059784464 140420469410000 140421330061211 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30717] ppid=30705 vsize=15151156 memory=196220 CPUtime=2.43 cores=1,3,5,7
/proc/30707/task/30717/stat : 30717 (java) S 30705 30705 25905 0 -1 1077944384 21807 0 0 0 242 1 0 0 20 0 15 0 517502520 15514783744 49055 33554432000 4194304 4196468 140730059784464 140420468357616 140421330053762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30718] ppid=30705 vsize=15151156 memory=1456 CPUtime=2.6 cores=1,3,5,7
/proc/30707/task/30718/stat : 30718 (java) S 30705 30705 25905 0 -1 1077944384 21587 0 0 0 258 2 0 0 20 0 15 0 517502520 15514783744 49055 33554432000 4194304 4196468 140730059784464 140420467305072 140421330053762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30719] ppid=30705 vsize=15151156 memory=196220 CPUtime=0.71 cores=1,3,5,7
/proc/30707/task/30719/stat : 30719 (java) S 30705 30705 25905 0 -1 1077944384 10323 0 0 0 70 1 0 0 20 0 15 0 517502520 15514783744 49055 33554432000 4194304 4196468 140730059784464 140420398967536 140421330053762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30720] ppid=30705 vsize=15151156 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30720/stat : 30720 (java) S 30705 30705 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517502520 15514783744 49055 33554432000 4194304 4196468 140730059784464 140420397915232 140421330052821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30721] ppid=30705 vsize=15151156 memory=196220 CPUtime=0.54 cores=1,3,5,7
/proc/30707/task/30721/stat : 30721 (java) S 30705 30705 25905 0 -1 1077944384 1194 0 0 0 22 32 0 0 20 0 15 0 517502520 15514783744 49055 33554432000 4194304 4196468 140730059784464 140420396861744 140421330053762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
Current children cumulated CPU time: 2510.49 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 197676 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2511.9 s]
/proc/loadavg: 1.03 1.41 1.64 2/208 31022
/proc/meminfo: memFree=25474468/32770624 swapFree=66953528/67108860
[pid=30705] ppid=30702 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/30705/stat : 30705 (xcsp3-exec) S 30702 30705 25905 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517502514 115843072 364 33554432000 4194304 5098028 140722577971872 140722577969976 139848693498492 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10870784 140722577978198 140722577978457 140722577978457 140722577981382 0
/proc/30705/statm: 28282 364 305 221 0 87 0
[pid=30707] ppid=30705 vsize=15151156 memory=196220 CPUtime=2520.09 cores=1,3,5,7
/proc/30707/stat : 30707 (java) S 30705 30705 25905 0 -1 1077944320 93208 0 0 0 251951 58 0 0 20 0 15 0 517502514 15514783744 49055 33554432000 4194304 4196468 140730059784464 140730059767008 140421330042615 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
/proc/30707/statm: 3787789 49055 3517 1 0 3748889 0
[pid=30707/tid=30708] ppid=30705 vsize=15151156 memory=196220 CPUtime=2510.77 cores=1,3,5,7
/proc/30707/task/30708/stat : 30708 (java) R 30705 30705 25905 0 -1 4202560 20257 0 0 0 251069 8 0 0 20 0 15 0 517502515 15514783744 49055 33554432000 4194304 4196468 140730059784464 140421334282272 140420958878700 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30709] ppid=30705 vsize=15151156 memory=196220 CPUtime=0.65 cores=1,3,5,7
/proc/30707/task/30709/stat : 30709 (java) S 30705 30705 25905 0 -1 1077944384 4029 0 0 0 61 4 0 0 20 0 15 0 517502515 15514783744 49055 33554432000 4194304 4196468 140730059784464 140421282663184 140421330052821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30710] ppid=30705 vsize=15151156 memory=1456 CPUtime=0.65 cores=1,3,5,7
/proc/30707/task/30710/stat : 30710 (java) S 30705 30705 25905 0 -1 1077944384 3040 0 0 0 61 4 0 0 20 0 15 0 517502515 15514783744 49055 33554432000 4194304 4196468 140730059784464 140421281610640 140421330052821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30711] ppid=30705 vsize=15151156 memory=196220 CPUtime=0.65 cores=1,3,5,7
/proc/30707/task/30711/stat : 30711 (java) S 30705 30705 25905 0 -1 1077944384 3471 0 0 0 60 5 0 0 20 0 15 0 517502515 15514783744 49055 33554432000 4194304 4196468 140730059784464 140421280558096 140421330052821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30712] ppid=30705 vsize=15151156 memory=196220 CPUtime=0.65 cores=1,3,5,7
/proc/30707/task/30712/stat : 30712 (java) S 30705 30705 25905 0 -1 1077944384 1687 0 0 0 60 5 0 0 20 0 15 0 517502515 15514783744 49055 33554432000 4194304 4196468 140730059784464 140421279505552 140421330052821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30713] ppid=30705 vsize=15151156 memory=1456 CPUtime=0.39 cores=1,3,5,7
/proc/30707/task/30713/stat : 30713 (java) S 30705 30705 25905 0 -1 1077944384 4375 0 0 0 34 5 0 0 20 0 15 0 517502517 15514783744 49055 33554432000 4194304 4196468 140730059784464 140420472567792 140421330053762 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30714] ppid=30705 vsize=15151156 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30714/stat : 30714 (java) S 30705 30705 25905 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 517502517 15514783744 49055 33554432000 4194304 4196468 140730059784464 140420471514080 140421330052821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30715] ppid=30705 vsize=15151156 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30715/stat : 30715 (java) S 30705 30705 25905 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 517502517 15514783744 49055 33554432000 4194304 4196468 140730059784464 140420470461440 140421330052821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30716] ppid=30705 vsize=15151156 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30716/stat : 30716 (java) S 30705 30705 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517502520 15514783744 49055 33554432000 4194304 4196468 140730059784464 140420469410000 140421330061211 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30717] ppid=30705 vsize=15151156 memory=196220 CPUtime=2.43 cores=1,3,5,7
/proc/30707/task/30717/stat : 30717 (java) S 30705 30705 25905 0 -1 1077944384 21807 0 0 0 242 1 0 0 20 0 15 0 517502520 15514783744 49055 33554432000 4194304 4196468 140730059784464 140420468357616 140421330053762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30718] ppid=30705 vsize=15151156 memory=1456 CPUtime=2.6 cores=1,3,5,7
/proc/30707/task/30718/stat : 30718 (java) S 30705 30705 25905 0 -1 1077944384 21587 0 0 0 258 2 0 0 20 0 15 0 517502520 15514783744 49055 33554432000 4194304 4196468 140730059784464 140420467305072 140421330053762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30719] ppid=30705 vsize=15151156 memory=1456 CPUtime=0.71 cores=1,3,5,7
/proc/30707/task/30719/stat : 30719 (java) S 30705 30705 25905 0 -1 1077944384 10323 0 0 0 70 1 0 0 20 0 15 0 517502520 15514783744 49055 33554432000 4194304 4196468 140730059784464 140420398967536 140421330053762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30720] ppid=30705 vsize=15151156 memory=196220 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30720/stat : 30720 (java) S 30705 30705 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517502520 15514783744 49055 33554432000 4194304 4196468 140730059784464 140420397915232 140421330052821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30721] ppid=30705 vsize=15151156 memory=1548 CPUtime=0.54 cores=1,3,5,7
/proc/30707/task/30721/stat : 30721 (java) S 30705 30705 25905 0 -1 1077944384 1196 0 0 0 22 32 0 0 20 0 15 0 517502520 15514783744 49055 33554432000 4194304 4196468 140730059784464 140420396861744 140421330053762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 197676 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2511.91 s]
# the end of solver process 30705 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001034 s, system=0.001499 s
[startup+2511.91 s]
# the end of solver process 30707 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.53 s, system=0.593668 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2511.9 s]
/proc/loadavg: 1.03 1.41 1.64 2/208 31022
/proc/meminfo: memFree=25474468/32770624 swapFree=66953528/67108860
[pid=30705] ppid=30702 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/30705/stat : 30705 (xcsp3-exec) S 30702 30705 25905 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517502514 115843072 364 33554432000 4194304 5098028 140722577971872 140722577969976 139848693498492 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10870784 140722577978198 140722577978457 140722577978457 140722577981382 0
/proc/30705/statm: 28282 364 305 221 0 87 0
[pid=30707] ppid=30705 vsize=15151156 memory=196220 CPUtime=2520.09 cores=1,3,5,7
/proc/30707/stat : 30707 (java) S 30705 30705 25905 0 -1 1077944320 93208 0 0 0 251951 58 0 0 20 0 15 0 517502514 15514783744 49055 33554432000 4194304 4196468 140730059784464 140730059767008 140421330042615 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
/proc/30707/statm: 3787789 49055 3517 1 0 3748889 0
[pid=30707/tid=30708] ppid=30705 vsize=15151156 memory=196220 CPUtime=2510.77 cores=1,3,5,7
/proc/30707/task/30708/stat : 30708 (java) R 30705 30705 25905 0 -1 4202560 20257 0 0 0 251069 8 0 0 20 0 15 0 517502515 15514783744 49055 33554432000 4194304 4196468 140730059784464 140421334282272 140420958878700 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30709] ppid=30705 vsize=15151156 memory=196220 CPUtime=0.65 cores=1,3,5,7
/proc/30707/task/30709/stat : 30709 (java) S 30705 30705 25905 0 -1 1077944384 4029 0 0 0 61 4 0 0 20 0 15 0 517502515 15514783744 49055 33554432000 4194304 4196468 140730059784464 140421282663184 140421330052821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30710] ppid=30705 vsize=15151156 memory=1456 CPUtime=0.65 cores=1,3,5,7
/proc/30707/task/30710/stat : 30710 (java) S 30705 30705 25905 0 -1 1077944384 3040 0 0 0 61 4 0 0 20 0 15 0 517502515 15514783744 49055 33554432000 4194304 4196468 140730059784464 140421281610640 140421330052821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30711] ppid=30705 vsize=15151156 memory=196220 CPUtime=0.65 cores=1,3,5,7
/proc/30707/task/30711/stat : 30711 (java) S 30705 30705 25905 0 -1 1077944384 3471 0 0 0 60 5 0 0 20 0 15 0 517502515 15514783744 49055 33554432000 4194304 4196468 140730059784464 140421280558096 140421330052821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30712] ppid=30705 vsize=15151156 memory=196220 CPUtime=0.65 cores=1,3,5,7
/proc/30707/task/30712/stat : 30712 (java) S 30705 30705 25905 0 -1 1077944384 1687 0 0 0 60 5 0 0 20 0 15 0 517502515 15514783744 49055 33554432000 4194304 4196468 140730059784464 140421279505552 140421330052821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30713] ppid=30705 vsize=15151156 memory=1456 CPUtime=0.39 cores=1,3,5,7
/proc/30707/task/30713/stat : 30713 (java) S 30705 30705 25905 0 -1 1077944384 4375 0 0 0 34 5 0 0 20 0 15 0 517502517 15514783744 49055 33554432000 4194304 4196468 140730059784464 140420472567792 140421330053762 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30714] ppid=30705 vsize=15151156 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30714/stat : 30714 (java) S 30705 30705 25905 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 517502517 15514783744 49055 33554432000 4194304 4196468 140730059784464 140420471514080 140421330052821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30715] ppid=30705 vsize=15151156 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30715/stat : 30715 (java) S 30705 30705 25905 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 517502517 15514783744 49055 33554432000 4194304 4196468 140730059784464 140420470461440 140421330052821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30716] ppid=30705 vsize=15151156 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30716/stat : 30716 (java) S 30705 30705 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517502520 15514783744 49055 33554432000 4194304 4196468 140730059784464 140420469410000 140421330061211 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30717] ppid=30705 vsize=15151156 memory=196220 CPUtime=2.43 cores=1,3,5,7
/proc/30707/task/30717/stat : 30717 (java) S 30705 30705 25905 0 -1 1077944384 21807 0 0 0 242 1 0 0 20 0 15 0 517502520 15514783744 49055 33554432000 4194304 4196468 140730059784464 140420468357616 140421330053762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30718] ppid=30705 vsize=15151156 memory=1456 CPUtime=2.6 cores=1,3,5,7
/proc/30707/task/30718/stat : 30718 (java) S 30705 30705 25905 0 -1 1077944384 21587 0 0 0 258 2 0 0 20 0 15 0 517502520 15514783744 49055 33554432000 4194304 4196468 140730059784464 140420467305072 140421330053762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30719] ppid=30705 vsize=15151156 memory=1456 CPUtime=0.71 cores=1,3,5,7
/proc/30707/task/30719/stat : 30719 (java) S 30705 30705 25905 0 -1 1077944384 10323 0 0 0 70 1 0 0 20 0 15 0 517502520 15514783744 49055 33554432000 4194304 4196468 140730059784464 140420398967536 140421330053762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30720] ppid=30705 vsize=15151156 memory=196220 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30720/stat : 30720 (java) S 30705 30705 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517502520 15514783744 49055 33554432000 4194304 4196468 140730059784464 140420397915232 140421330052821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
[pid=30707/tid=30721] ppid=30705 vsize=15151156 memory=1548 CPUtime=0.54 cores=1,3,5,7
/proc/30707/task/30721/stat : 30721 (java) S 30705 30705 25905 0 -1 1077944384 1196 0 0 0 22 32 0 0 20 0 15 0 517502520 15514783744 49055 33554432000 4194304 4196468 140730059784464 140420396861744 140421330053762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140730059789275 140730059789450 140730059789450 140730059792335 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 197676 KiB
Child status: 143
Real time (s): 2511.91
CPU time (s): 2520.12
CPU user time (s): 2519.53
CPU system time (s): 0.593668
CPU usage (%): 100.327
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 224880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.53
system time used= 0.593668
maximum resident set size= 229568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93988
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 66355
involuntary context switches= 1069
# summary of solver processes directly reported to runsolver:
# pid: 30705,30707
# total CPU time (s): 2520.12
# total CPU user time (s): 2519.53
# total CPU system time (s): 0.593668
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.158 second user time and 23.3182 second system time
The end