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 (15338 MiB free)
memory of node 1: 16384 MiB (15024 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400336-1568694632/watcher-4400336-1568694632 -o /tmp/evaluation-result-4400336-1568694632/solver-4400336-1568694632 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568694456-7913 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 138243276 HOME/instance-4400336-1568694632.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=10703, runsolver pid=10699
[startup+0.101545 s]*
/proc/loadavg: 7.97 3.58 1.87 5/227 10720
/proc/meminfo: memFree=31059112/32770624 swapFree=66988556/67108860
[pid=10703] ppid=10699 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10703/stat : 10703 (xcsp3-exec) S 10699 10703 7881 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445731051 115843072 363 33554432000 4194304 5098028 140734659963088 140734659961192 140670886466172 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38133760 140734659969915 140734659970157 140734659970157 140734659973066 0
/proc/10703/statm: 28282 363 304 221 0 87 0
[pid=10706] ppid=10703 vsize=15144776 memory=31020 CPUtime=0.13 cores=1,3,5,7
/proc/10706/stat : 10706 (java) S 10703 10703 7881 0 -1 1077944320 5706 0 0 0 12 1 0 0 20 0 15 0 445731051 15508250624 7755 33554432000 4194304 4196468 140727647393632 140727647376176 140208738254583 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
/proc/10706/statm: 3786194 7755 3162 1 0 3748377 0
[pid=10706/tid=10707] ppid=10703 vsize=15144776 memory=8324486588775410251 CPUtime=0.09 cores=1,3,5,7
/proc/10706/task/10707/stat : 10707 (java) R 10703 10703 7881 0 -1 4202560 3577 0 0 0 8 1 0 0 20 0 15 0 445731051 15508250624 7755 33554432000 4194304 4196468 140727647393632 140208742485424 140208351842080 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10708] ppid=10703 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10708/stat : 10708 (java) S 10703 10703 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445731052 15508250624 7755 33554432000 4194304 4196468 140727647393632 140208674491280 140208738264789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10709] ppid=10703 vsize=15144776 memory=140142966331008 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10709/stat : 10709 (java) S 10703 10703 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445731052 15508250624 7755 33554432000 4194304 4196468 140727647393632 140208673438480 140208738264789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10710] ppid=10703 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10710/stat : 10710 (java) S 10703 10703 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445731052 15508250624 7755 33554432000 4194304 4196468 140727647393632 140208672386192 140208738264789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10711] ppid=10703 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10711/stat : 10711 (java) S 10703 10703 7881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445731052 15508250624 7755 33554432000 4194304 4196468 140727647393632 140208327154704 140208738264789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10712] ppid=10703 vsize=15144776 memory=140142966331008 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10712/stat : 10712 (java) S 10703 10703 7881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445731054 15508250624 7755 33554432000 4194304 4196468 140727647393632 140208274040944 140208738265730 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10713] ppid=10703 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10713/stat : 10713 (java) S 10703 10703 7881 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445731054 15508250624 7755 33554432000 4194304 4196468 140727647393632 140208272986912 140208738264789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10714] ppid=10703 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10714/stat : 10714 (java) S 10703 10703 7881 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445731054 15508250624 7755 33554432000 4194304 4196468 140727647393632 140208271934576 140208738264789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10715] ppid=10703 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10715/stat : 10715 (java) S 10703 10703 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445731057 15508250624 7755 33554432000 4194304 4196468 140727647393632 140208270882896 140208738273179 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10716] ppid=10703 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10716/stat : 10716 (java) R 10703 10703 7881 0 -1 4202560 447 0 0 0 0 0 0 0 20 0 15 0 445731057 15508250624 7755 33554432000 4194304 4196468 140727647393632 140208269830768 140208738266518 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10717] ppid=10703 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10717/stat : 10717 (java) R 10703 10703 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445731057 15508250624 7755 33554432000 4194304 4196468 140727647393632 140207606196720 140208738265730 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10718] ppid=10703 vsize=15144776 memory=140142966331008 CPUtime=0.02 cores=1,3,5,7
/proc/10706/task/10718/stat : 10718 (java) R 10703 10703 7881 0 -1 4202560 377 0 0 0 2 0 0 0 20 0 15 0 445731057 15508250624 7755 33554432000 4194304 4196468 140727647393632 140207605144432 140208722335070 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10719] ppid=10703 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10719/stat : 10719 (java) S 10703 10703 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445731057 15508250624 7755 33554432000 4194304 4196468 140727647393632 140207604091872 140208738264789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10720] ppid=10703 vsize=15144776 memory=140142966331008 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10720/stat : 10720 (java) R 10703 10703 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445731057 15508250624 7755 33554432000 4194304 4196468 140727647393632 140207603038640 140208738265730 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 32472 KiB
[startup+0.210753 s]*
/proc/loadavg: 7.97 3.58 1.87 7/227 10720
/proc/meminfo: memFree=31041308/32770624 swapFree=66988556/67108860
[pid=10703] ppid=10699 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10703/stat : 10703 (xcsp3-exec) S 10699 10703 7881 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445731051 115843072 363 33554432000 4194304 5098028 140734659963088 140734659961192 140670886466172 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38133760 140734659969915 140734659970157 140734659970157 140734659973066 0
/proc/10703/statm: 28282 363 304 221 0 87 0
[pid=10706] ppid=10703 vsize=15144776 memory=42836 CPUtime=0.34 cores=1,3,5,7
/proc/10706/stat : 10706 (java) S 10703 10703 7881 0 -1 1077944320 9463 0 0 0 30 4 0 0 20 0 15 0 445731051 15508250624 10709 33554432000 4194304 4196468 140727647393632 140727647376176 140208738254583 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
/proc/10706/statm: 3786194 10709 3306 1 0 3748377 0
[pid=10706/tid=10707] ppid=10703 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/10706/task/10707/stat : 10707 (java) R 10703 10703 7881 0 -1 4202560 6605 0 0 0 17 3 0 0 20 0 15 0 445731051 15508250624 10709 33554432000 4194304 4196468 140727647393632 140208742487840 140208738276509 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10708] ppid=10703 vsize=15144776 memory=8996 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10708/stat : 10708 (java) S 10703 10703 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445731052 15508250624 10709 33554432000 4194304 4196468 140727647393632 140208674491280 140208738264789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10709] ppid=10703 vsize=15144776 memory=3763238687219766944 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10709/stat : 10709 (java) S 10703 10703 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445731052 15508250624 10709 33554432000 4194304 4196468 140727647393632 140208673438480 140208738264789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10710] ppid=10703 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10710/stat : 10710 (java) S 10703 10703 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445731052 15508250624 10709 33554432000 4194304 4196468 140727647393632 140208672386192 140208738264789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10711] ppid=10703 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10711/stat : 10711 (java) S 10703 10703 7881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445731052 15508250624 10709 33554432000 4194304 4196468 140727647393632 140208327154704 140208738264789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10712] ppid=10703 vsize=15144776 memory=140142966331008 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10712/stat : 10712 (java) S 10703 10703 7881 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445731054 15508250624 10709 33554432000 4194304 4196468 140727647393632 140208274040944 140208738265730 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10713] ppid=10703 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10713/stat : 10713 (java) S 10703 10703 7881 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445731054 15508250624 10709 33554432000 4194304 4196468 140727647393632 140208272986912 140208738264789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10714] ppid=10703 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10714/stat : 10714 (java) S 10703 10703 7881 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445731054 15508250624 10709 33554432000 4194304 4196468 140727647393632 140208271934576 140208738264789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10715] ppid=10703 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10715/stat : 10715 (java) S 10703 10703 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445731057 15508250624 10709 33554432000 4194304 4196468 140727647393632 140208270882896 140208738273179 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10716] ppid=10703 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/10706/task/10716/stat : 10716 (java) S 10703 10703 7881 0 -1 1077944384 719 0 0 0 3 0 0 0 20 0 15 0 445731057 15508250624 10709 33554432000 4194304 4196468 140727647393632 140208269830768 140208738265730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10717] ppid=10703 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/10706/task/10717/stat : 10717 (java) R 10703 10703 7881 0 -1 1077944384 50 0 0 0 1 0 0 0 20 0 15 0 445731057 15508250624 10709 33554432000 4194304 4196468 140727647393632 140207606196720 140208738265730 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10718] ppid=10703 vsize=15144776 memory=140142966331008 CPUtime=0.08 cores=1,3,5,7
/proc/10706/task/10718/stat : 10718 (java) S 10703 10703 7881 0 -1 1077944384 786 0 0 0 8 0 0 0 20 0 15 0 445731057 15508250624 10709 33554432000 4194304 4196468 140727647393632 140207605144432 140208738265730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10719] ppid=10703 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10719/stat : 10719 (java) S 10703 10703 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445731057 15508250624 10709 33554432000 4194304 4196468 140727647393632 140207604091872 140208738264789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10720] ppid=10703 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10720/stat : 10720 (java) S 10703 10703 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445731057 15508250624 10709 33554432000 4194304 4196468 140727647393632 140207603038640 140208738265730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 44288 KiB
[startup+0.315543 s]*
/proc/loadavg: 7.97 3.58 1.87 5/227 10720
/proc/meminfo: memFree=31027720/32770624 swapFree=66988556/67108860
[pid=10703] ppid=10699 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10703/stat : 10703 (xcsp3-exec) S 10699 10703 7881 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445731051 115843072 363 33554432000 4194304 5098028 140734659963088 140734659961192 140670886466172 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38133760 140734659969915 140734659970157 140734659970157 140734659973066 0
/proc/10703/statm: 28282 363 304 221 0 87 0
[pid=10706] ppid=10703 vsize=15149032 memory=52284 CPUtime=0.54 cores=1,3,5,7
/proc/10706/stat : 10706 (java) S 10703 10703 7881 0 -1 1077944320 10931 0 0 0 49 5 0 0 20 0 15 0 445731051 15512608768 13071 33554432000 4194304 4196468 140727647393632 140727647376176 140208738254583 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
/proc/10706/statm: 3787258 13071 3369 1 0 3748377 0
[pid=10706/tid=10707] ppid=10703 vsize=15149032 memory=1398722017469774279 CPUtime=0.3 cores=1,3,5,7
/proc/10706/task/10707/stat : 10707 (java) R 10703 10703 7881 0 -1 4202560 7856 0 0 0 26 4 0 0 20 0 15 0 445731051 15512608768 13136 33554432000 4194304 4196468 140727647393632 140208742488368 140208722335070 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10708] ppid=10703 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10708/stat : 10708 (java) S 10703 10703 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445731052 15512608768 13136 33554432000 4194304 4196468 140727647393632 140208674491280 140208738264789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10709] ppid=10703 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10709/stat : 10709 (java) S 10703 10703 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445731052 15512608768 13136 33554432000 4194304 4196468 140727647393632 140208673438480 140208738264789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10710] ppid=10703 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10710/stat : 10710 (java) S 10703 10703 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445731052 15512608768 13136 33554432000 4194304 4196468 140727647393632 140208672386192 140208738264789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10711] ppid=10703 vsize=15149032 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10711/stat : 10711 (java) S 10703 10703 7881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445731052 15512608768 13136 33554432000 4194304 4196468 140727647393632 140208327154704 140208738264789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10712] ppid=10703 vsize=15149032 memory=7307460107981921142 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10712/stat : 10712 (java) S 10703 10703 7881 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445731054 15512608768 13136 33554432000 4194304 4196468 140727647393632 140208274040944 140208738265730 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10713] ppid=10703 vsize=15149032 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10713/stat : 10713 (java) S 10703 10703 7881 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445731054 15512608768 13136 33554432000 4194304 4196468 140727647393632 140208272986912 140208738264789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10714] ppid=10703 vsize=15149032 memory=-9062581184954983548 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10714/stat : 10714 (java) S 10703 10703 7881 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445731054 15512608768 13136 33554432000 4194304 4196468 140727647393632 140208271934576 140208738264789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10715] ppid=10703 vsize=15149032 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10715/stat : 10715 (java) S 10703 10703 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445731057 15512608768 13136 33554432000 4194304 4196468 140727647393632 140208270882896 140208738273179 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10716] ppid=10703 vsize=15149032 memory=4281692409175315347 CPUtime=0.05 cores=1,3,5,7
/proc/10706/task/10716/stat : 10716 (java) S 10703 10703 7881 0 -1 1077944384 825 0 0 0 5 0 0 0 20 0 15 0 445731057 15512608768 13136 33554432000 4194304 4196468 140727647393632 140208269830768 140208738265730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10717] ppid=10703 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/10706/task/10717/stat : 10717 (java) S 10703 10703 7881 0 -1 1077944384 79 0 0 0 3 0 0 0 20 0 15 0 445731057 15512608768 13136 33554432000 4194304 4196468 140727647393632 140207606196720 140208738265730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10718] ppid=10703 vsize=15149032 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/10706/task/10718/stat : 10718 (java) S 10703 10703 7881 0 -1 1077944384 870 0 0 0 13 0 0 0 20 0 15 0 445731057 15512608768 13136 33554432000 4194304 4196468 140727647393632 140207605144432 140208738265730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10719] ppid=10703 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10719/stat : 10719 (java) S 10703 10703 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445731057 15512608768 13136 33554432000 4194304 4196468 140727647393632 140207604091872 140208738264789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10720] ppid=10703 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10720/stat : 10720 (java) S 10703 10703 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445731057 15512608768 13136 33554432000 4194304 4196468 140727647393632 140207603038640 140208738265730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 53736 KiB
[startup+0.701544 s]
/proc/loadavg: 7.97 3.58 1.87 6/209 10742
/proc/meminfo: memFree=31051336/32770624 swapFree=66988556/67108860
[pid=10703] ppid=10699 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10703/stat : 10703 (xcsp3-exec) S 10699 10703 7881 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445731051 115843072 363 33554432000 4194304 5098028 140734659963088 140734659961192 140670886466172 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38133760 140734659969915 140734659970157 140734659970157 140734659973066 0
/proc/10703/statm: 28282 363 304 221 0 87 0
[pid=10706] ppid=10703 vsize=15151156 memory=92952 CPUtime=1.64 cores=1,3,5,7
/proc/10706/stat : 10706 (java) S 10703 10703 7881 0 -1 1077944320 14377 0 0 0 157 7 0 0 20 0 15 0 445731051 15514783744 23238 33554432000 4194304 4196468 140727647393632 140727647376176 140208738254583 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
/proc/10706/statm: 3787789 23238 3451 1 0 3748889 0
[pid=10706/tid=10707] ppid=10703 vsize=15151156 memory=8320808402720207156 CPUtime=0.68 cores=1,3,5,7
/proc/10706/task/10707/stat : 10707 (java) R 10703 10703 7881 0 -1 4202560 9159 0 0 0 63 5 0 0 20 0 15 0 445731051 15514783744 23238 33554432000 4194304 4196468 140727647393632 140208742493136 140208355328580 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10708] ppid=10703 vsize=15151156 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10708/stat : 10708 (java) S 10703 10703 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445731052 15514783744 23238 33554432000 4194304 4196468 140727647393632 140208674491280 140208738264789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10709] ppid=10703 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10709/stat : 10709 (java) S 10703 10703 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445731052 15514783744 23238 33554432000 4194304 4196468 140727647393632 140208673438480 140208738264789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10710] ppid=10703 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10710/stat : 10710 (java) S 10703 10703 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445731052 15514783744 23238 33554432000 4194304 4196468 140727647393632 140208672386192 140208738264789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10711] ppid=10703 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10711/stat : 10711 (java) S 10703 10703 7881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445731052 15514783744 23238 33554432000 4194304 4196468 140727647393632 140208327154704 140208738264789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10712] ppid=10703 vsize=15151156 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10712/stat : 10712 (java) S 10703 10703 7881 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445731054 15514783744 23238 33554432000 4194304 4196468 140727647393632 140208274040944 140208738265730 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10713] ppid=10703 vsize=15151156 memory=6296429582468600672 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10713/stat : 10713 (java) S 10703 10703 7881 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445731054 15514783744 23238 33554432000 4194304 4196468 140727647393632 140208272986912 140208738264789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10714] ppid=10703 vsize=15151156 memory=6009865056696298853 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10714/stat : 10714 (java) S 10703 10703 7881 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445731054 15514783744 23238 33554432000 4194304 4196468 140727647393632 140208271934576 140208738264789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10715] ppid=10703 vsize=15151156 memory=8170772620567335020 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10715/stat : 10715 (java) S 10703 10703 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445731057 15514783744 23238 33554432000 4194304 4196468 140727647393632 140208270882896 140208738273179 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10716] ppid=10703 vsize=15151156 memory=7512114578044973668 CPUtime=0.27 cores=1,3,5,7
/proc/10706/task/10716/stat : 10716 (java) R 10703 10703 7881 0 -1 4202560 1343 0 0 0 27 0 0 0 20 0 15 0 445731057 15514783744 23238 33554432000 4194304 4196468 140727647393632 140208269817336 140208723380928 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10717] ppid=10703 vsize=15151156 memory=7521970565916677226 CPUtime=0.26 cores=1,3,5,7
/proc/10706/task/10717/stat : 10717 (java) R 10703 10703 7881 0 -1 4202560 735 0 0 0 26 0 0 0 20 0 15 0 445731057 15514783744 23238 33554432000 4194304 4196468 140727647393632 140207606196720 140208719664733 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10718] ppid=10703 vsize=15151156 memory=38644 CPUtime=0.4 cores=1,3,5,7
/proc/10706/task/10718/stat : 10718 (java) S 10703 10703 7881 0 -1 1077944384 1834 0 0 0 40 0 0 0 20 0 15 0 445731057 15514783744 23238 33554432000 4194304 4196468 140727647393632 140207605144432 140208738265730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10719] ppid=10703 vsize=15151156 memory=984 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10719/stat : 10719 (java) S 10703 10703 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445731057 15514783744 23238 33554432000 4194304 4196468 140727647393632 140207604091872 140208738264789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10720] ppid=10703 vsize=15151156 memory=2004 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10720/stat : 10720 (java) S 10703 10703 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445731057 15514783744 23238 33554432000 4194304 4196468 140727647393632 140207603038640 140208738265730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
Current children cumulated CPU time: 1.64 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 94404 KiB
[startup+1.50352 s]
/proc/loadavg: 7.73 3.61 1.89 14/233 10783
/proc/meminfo: memFree=30906444/32770624 swapFree=66988556/67108860
[pid=10703] ppid=10699 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10703/stat : 10703 (xcsp3-exec) S 10699 10703 7881 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445731051 115843072 363 33554432000 4194304 5098028 140734659963088 140734659961192 140670886466172 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38133760 140734659969915 140734659970157 140734659970157 140734659973066 0
/proc/10703/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/10706/task/10716/stat : 10716 (java) R 10703 10703 7881 0 -1 4202560 2408 0 0 0 94 1 0 0 20 0 19 0 445731057 15855591424 47311 33554432000 4194304 4196468 140727647393632 140208269816928 140208723181204 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10717] ppid=10703 vsize=15483976 memory=0 CPUtime=0.8 cores=1,3,5,7
/proc/10706/task/10717/stat : 10717 (java) R 10703 10703 7881 0 -1 4202560 1798 0 0 0 80 0 0 0 20 0 19 0 445731057 15855591424 47311 33554432000 4194304 4196468 140727647393632 140207606187720 140208715849328 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10718] ppid=10703 vsize=15483976 memory=7306055035097212781 CPUtime=0.63 cores=1,3,5,7
/proc/10706/task/10718/stat : 10718 (java) S 10703 10703 7881 0 -1 1077944384 2581 0 0 0 63 0 0 0 20 0 19 0 445731057 15855591424 47311 33554432000 4194304 4196468 140727647393632 140207605144432 140208738265730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10719] ppid=10703 vsize=15483976 memory=7597132098393106257 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10719/stat : 10719 (java) S 10703 10703 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445731057 15855591424 47311 33554432000 4194304 4196468 140727647393632 140207604091872 140208738264789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10720] ppid=10703 vsize=15483976 memory=4641330296368681058 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10720/stat : 10720 (java) S 10703 10703 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445731057 15855591424 47311 33554432000 4194304 4196468 140727647393632 140207603038640 140208738265730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
Current children cumulated CPU time: 4.64 s
Current children cumulated vsize: 15597104 KiB
Current children cumulated memory: 190696 KiB
[startup+2.2006 s]
# the end of solver process 10703 was just reported to runsolver
# cumulated CPU time of all completed processes: user=7.25515 s, system=0.106912 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60752 s]
/proc/loadavg: 7.73 3.61 1.89 14/233 10783
/proc/meminfo: memFree=30906444/32770624 swapFree=66988556/67108860
[pid=10703] ppid=10699 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10703/stat : 10703 (xcsp3-exec) S 10699 10703 7881 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445731051 115843072 363 33554432000 4194304 5098028 140734659963088 140734659961192 140670886466172 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38133760 140734659969915 140734659970157 140734659970157 140734659973066 0
/proc/10703/statm: 28282 363 304 221 0 87 0
[pid=10706] ppid=10703 vsize=15483976 memory=189792 CPUtime=5.05 cores=1,3,5,7
/proc/10706/stat : 10706 (java) S 10703 10703 7881 0 -1 1077944320 21318 0 0 0 496 9 0 0 20 0 19 0 445731051 15855591424 47447 33554432000 4194304 4196468 140727647393632 140727647376176 140208738254583 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
/proc/10706/statm: 3870994 47447 3492 1 0 3832094 0
[pid=10706/tid=10707] ppid=10703 vsize=15483976 memory=2276 CPUtime=0.82 cores=1,3,5,7
/proc/10706/task/10707/stat : 10707 (java) S 10703 10703 7881 0 -1 1077944384 9246 0 0 0 76 6 0 0 20 0 19 0 445731051 15855591424 47448 33554432000 4194304 4196468 140727647393632 140208742495360 140208738264789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10708] ppid=10703 vsize=15483976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10708/stat : 10708 (java) S 10703 10703 7881 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 19 0 445731052 15855591424 47448 33554432000 4194304 4196468 140727647393632 140208674491280 140208738264789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10709] ppid=10703 vsize=15483976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10709/stat : 10709 (java) S 10703 10703 7881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 445731052 15855591424 47448 33554432000 4194304 4196468 140727647393632 140208673438480 140208738264789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10710] ppid=10703 vsize=15483976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10710/stat : 10710 (java) S 10703 10703 7881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 445731052 15855591424 47504 33554432000 4194304 4196468 140727647393632 140208672386192 140208738264789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10711] ppid=10703 vsize=15483976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10711/stat : 10711 (java) S 10703 10703 7881 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 19 0 445731052 15855591424 47504 33554432000 4194304 4196468 140727647393632 140208327154704 140208738264789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10712] ppid=10703 vsize=15483976 memory=6438155977927 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10712/stat : 10712 (java) S 10703 10703 7881 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 19 0 445731054 15855591424 47504 33554432000 4194304 4196468 140727647393632 140208274040944 140208738265730 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10713] ppid=10703 vsize=15483976 memory=288230583166042425 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10713/stat : 10713 (java) S 10703 10703 7881 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445731054 15855591424 47504 33554432000 4194304 4196468 140727647393632 140208272986912 140208738264789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10714] ppid=10703 vsize=15483976 memory=16104775267649398 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10714/stat : 10714 (java) S 10703 10703 7881 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 445731054 15855591424 47504 33554432000 4194304 4196468 140727647393632 140208271934576 140208738264789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10715] ppid=10703 vsize=15483976 memory=2116 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10715/stat : 10715 (java) S 10703 10703 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445731057 15855591424 47504 33554432000 4194304 4196468 140727647393632 140208270882896 140208738273179 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10716] ppid=10703 vsize=15483976 memory=12028 CPUtime=1.06 cores=1,3,5,7
/proc/10706/task/10716/stat : 10716 (java) R 10703 10703 7881 0 -1 4202560 3999 0 0 0 105 1 0 0 20 0 19 0 445731057 15855591424 47504 33554432000 4194304 4196468 140727647393632 140208269820624 140208722651262 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10717] ppid=10703 vsize=15483976 memory=496 CPUtime=0.85 cores=1,3,5,7
/proc/10706/task/10717/stat : 10717 (java) R 10703 10703 7881 0 -1 4202560 3058 0 0 0 85 0 0 0 20 0 19 0 445731057 15855591424 47504 33554432000 4194304 4196468 140727647393632 140207606183264 140208719798306 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10718] ppid=10703 vsize=15483976 memory=1564 CPUtime=0.64 cores=1,3,5,7
/proc/10706/task/10718/stat : 10718 (java) S 10703 10703 7881 0 -1 1077944384 2734 0 0 0 64 0 0 0 20 0 19 0 445731057 15855591424 47504 33554432000 4194304 4196468 140727647393632 140207605144432 140208738265730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10719] ppid=10703 vsize=15483976 memory=928 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10719/stat : 10719 (java) S 10703 10703 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445731057 15855591424 47504 33554432000 4194304 4196468 140727647393632 140207604091872 140208738264789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10720] ppid=10703 vsize=15483976 memory=1688 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10720/stat : 10720 (java) R 10703 10703 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445731057 15855591424 47504 33554432000 4194304 4196468 140727647393632 140207603038640 140208738265730 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
Current children cumulated CPU time: 5.05 s
Current children cumulated vsize: 15597104 KiB
Current children cumulated memory: 191244 KiB
[startup+2.00951 s]*
/proc/loadavg: 7.73 3.61 1.89 15/237 10795
/proc/meminfo: memFree=30708296/32770624 swapFree=66988556/67108860
[pid=10703] ppid=10699 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10703/stat : 10703 (xcsp3-exec) S 10699 10703 7881 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445731051 115843072 363 33554432000 4194304 5098028 140734659963088 140734659961192 140670886466172 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38133760 140734659969915 140734659970157 140734659970157 140734659973066 0
/proc/10703/statm: 28282 363 304 221 0 87 0
[pid=10706] ppid=10703 vsize=15483976 memory=190956 CPUtime=6.69 cores=1,3,5,7
/proc/10706/stat : 10706 (java) S 10703 10703 7881 0 -1 1077944320 23109 0 0 0 659 10 0 0 20 0 19 0 445731051 15855591424 47739 33554432000 4194304 4196468 140727647393632 140727647376176 140208738254583 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
/proc/10706/statm: 3870994 47739 3494 1 0 3832094 0
[pid=10706/tid=10707] ppid=10703 vsize=15483976 memory=7883960649037381690 CPUtime=0.82 cores=1,3,5,7
/proc/10706/task/10707/stat : 10707 (java) S 10703 10703 7881 0 -1 1077944384 9246 0 0 0 76 6 0 0 20 0 19 0 445731051 15855591424 47739 33554432000 4194304 4196468 140727647393632 140208742495360 140208738264789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10708] ppid=10703 vsize=15483976 memory=8996 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10708/stat : 10708 (java) S 10703 10703 7881 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 19 0 445731052 15855591424 47739 33554432000 4194304 4196468 140727647393632 140208674491280 140208738264789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10709] ppid=10703 vsize=15483976 memory=3978005193961625248 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10709/stat : 10709 (java) S 10703 10703 7881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 445731052 15855591424 47739 33554432000 4194304 4196468 140727647393632 140208673438480 140208738264789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10710] ppid=10703 vsize=15483976 memory=7100839861564704872 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10710/stat : 10710 (java) S 10703 10703 7881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 445731052 15855591424 47739 33554432000 4194304 4196468 140727647393632 140208672386192 140208738264789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10711] ppid=10703 vsize=15483976 memory=4785954420080779295 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10711/stat : 10711 (java) S 10703 10703 7881 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 19 0 445731052 15855591424 47739 33554432000 4194304 4196468 140727647393632 140208327154704 140208738264789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10712] ppid=10703 vsize=15483976 memory=2315025673400624087 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10712/stat : 10712 (java) S 10703 10703 7881 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 19 0 445731054 15855591424 47739 33554432000 4194304 4196468 140727647393632 140208274040944 140208738265730 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10713] ppid=10703 vsize=15483976 memory=7878495878512652319 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10713/stat : 10713 (java) S 10703 10703 7881 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445731054 15855591424 47739 33554432000 4194304 4196468 140727647393632 140208272986912 140208738264789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10714] ppid=10703 vsize=15483976 memory=5450916406782758442 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10714/stat : 10714 (java) S 10703 10703 7881 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 445731054 15855591424 47739 33554432000 4194304 4196468 140727647393632 140208271934576 140208738264789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10715] ppid=10703 vsize=15483976 memory=4627829647351778678 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10715/stat : 10715 (java) S 10703 10703 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445731057 15855591424 47739 33554432000 4194304 4196468 140727647393632 140208270882896 140208738273179 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10716] ppid=10703 vsize=15483976 memory=0 CPUtime=1.28 cores=1,3,5,7
/proc/10706/task/10716/stat : 10716 (java) R 10703 10703 7881 0 -1 4202560 4633 0 0 0 127 1 0 0 20 0 19 0 445731057 15855591424 47739 33554432000 4194304 4196468 140727647393632 140208269829904 140208723359247 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10717] ppid=10703 vsize=15483976 memory=7719227151608848415 CPUtime=1.18 cores=1,3,5,7
/proc/10706/task/10717/stat : 10717 (java) R 10703 10703 7881 0 -1 4202560 3822 0 0 0 117 1 0 0 20 0 19 0 445731057 15855591424 47739 33554432000 4194304 4196468 140727647393632 140207606193088 140208722652256 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10718] ppid=10703 vsize=15483976 memory=2315025673400632559 CPUtime=0.66 cores=1,3,5,7
/proc/10706/task/10718/stat : 10718 (java) S 10703 10703 7881 0 -1 1077944384 2939 0 0 0 66 0 0 0 20 0 19 0 445731057 15855591424 47739 33554432000 4194304 4196468 140727647393632 140207605144432 140208738265730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10719] ppid=10703 vsize=15483976 memory=3184097920075968559 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10719/stat : 10719 (java) S 10703 10703 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445731057 15855591424 47739 33554432000 4194304 4196468 140727647393632 140207604091872 140208738264789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10720] ppid=10703 vsize=15483976 memory=6370155173630722145 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10720/stat : 10720 (java) S 10703 10703 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445731057 15855591424 47739 33554432000 4194304 4196468 140727647393632 140207603038640 140208738265730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10788] ppid=10703 vsize=15483976 memory=7014444751693833280 CPUtime=0.55 cores=1,3,5,7
/proc/10706/task/10788/stat : 10788 (java) R 10703 10703 7881 0 -1 4202560 85 0 0 0 55 0 0 0 20 0 19 0 445731176 15855591424 47739 33554432000 4194304 4196468 140727647393632 140207281905352 140208357345029 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10789] ppid=10703 vsize=15483976 memory=6224326942143889505 CPUtime=0.57 cores=1,3,5,7
/proc/10706/task/10789/stat : 10789 (java) R 10703 10703 7881 0 -1 4202560 175 0 0 0 57 0 0 0 20 0 19 0 445731176 15855591424 47739 33554432000 4194304 4196468 140727647393632 140207282960216 140208357344914 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10790] ppid=10703 vsize=15483976 memory=7956260087874802256 CPUtime=0.38 cores=1,3,5,7
/proc/10706/task/10790/stat : 10790 (java) R 10703 10703 7881 0 -1 4202560 181 0 0 0 38 0 0 0 20 0 19 0 445731176 15855591424 47739 33554432000 4194304 4196468 140727647393632 140207285064232 140208357451824 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10791] ppid=10703 vsize=15483976 memory=8023269665315972697 CPUtime=0.38 cores=1,3,5,7
/proc/10706/task/10791/stat : 10791 (java) R 10703 10703 7881 0 -1 4202560 73 0 0 0 38 0 0 0 20 0 19 0 445731177 15855591424 47739 33554432000 4194304 4196468 140727647393632 140207284012264 140208359139655 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
Current children cumulated CPU time: 6.69 s
Current children cumulated vsize: 15597104 KiB
Current children cumulated memory: 192408 KiB
[startup+2.11072 s]
/proc/loadavg: 7.73 3.61 1.89 15/237 10795
/proc/meminfo: memFree=30708296/32770624 swapFree=66988556/67108860
[pid=10703] ppid=10699 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10703/stat : 10703 (xcsp3-exec) S 10699 10703 7881 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445731051 115843072 363 33554432000 4194304 5098028 140734659963088 140734659961192 140670886466172 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38133760 140734659969915 140734659970157 140734659970157 140734659973066 0
/proc/10703/statm: 28282 363 304 221 0 87 0
[pid=10706] ppid=10703 vsize=15483976 memory=191176 CPUtime=7.05 cores=1,3,5,7
/proc/10706/stat : 10706 (java) S 10703 10703 7881 0 -1 1077944320 23199 0 0 0 695 10 0 0 20 0 19 0 445731051 15855591424 47794 33554432000 4194304 4196468 140727647393632 140727647376176 140208738254583 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
/proc/10706/statm: 3870994 47794 3497 1 0 3832094 0
[pid=10706/tid=10707] ppid=10703 vsize=15483976 memory=1452 CPUtime=0.82 cores=1,3,5,7
/proc/10706/task/10707/stat : 10707 (java) S 10703 10703 7881 0 -1 1077944384 9246 0 0 0 76 6 0 0 20 0 19 0 445731051 15855591424 47794 33554432000 4194304 4196468 140727647393632 140208742495360 140208738264789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10708] ppid=10703 vsize=15483976 memory=190956 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10708/stat : 10708 (java) S 10703 10703 7881 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 19 0 445731052 15855591424 47794 33554432000 4194304 4196468 140727647393632 140208674491280 140208738264789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10709] ppid=10703 vsize=15483976 memory=57 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10709/stat : 10709 (java) S 10703 10703 7881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 445731052 15855591424 47794 33554432000 4194304 4196468 140727647393632 140208673438480 140208738264789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10710] ppid=10703 vsize=15483976 memory=9216 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10710/stat : 10710 (java) S 10703 10703 7881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 445731052 15855591424 47794 33554432000 4194304 4196468 140727647393632 140208672386192 140208738264789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10711] ppid=10703 vsize=15483976 memory=21813 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10711/stat : 10711 (java) S 10703 10703 7881 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 19 0 445731052 15855591424 47794 33554432000 4194304 4196468 140727647393632 140208327154704 140208738264789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10712] ppid=10703 vsize=15483976 memory=7719362818815424160 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10712/stat : 10712 (java) S 10703 10703 7881 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 19 0 445731054 15855591424 47794 33554432000 4194304 4196468 140727647393632 140208274040944 140208738265730 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10713] ppid=10703 vsize=15483976 memory=7007440471809 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10713/stat : 10713 (java) S 10703 10703 7881 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445731054 15855591424 47794 33554432000 4194304 4196468 140727647393632 140208272986912 140208738264789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10714] ppid=10703 vsize=15483976 memory=10031097448193 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10714/stat : 10714 (java) S 10703 10703 7881 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 445731054 15855591424 47794 33554432000 4194304 4196468 140727647393632 140208271934576 140208738264789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10715] ppid=10703 vsize=15483976 memory=10331745158913 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10715/stat : 10715 (java) S 10703 10703 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445731057 15855591424 47794 33554432000 4194304 4196468 140727647393632 140208270882896 140208738273179 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10716] ppid=10703 vsize=15483976 memory=6791534058613427641 CPUtime=1.33 cores=1,3,5,7
/proc/10706/task/10716/stat : 10716 (java) R 10703 10703 7881 0 -1 4202560 4714 0 0 0 132 1 0 0 20 0 19 0 445731057 15855591424 47794 33554432000 4194304 4196468 140727647393632 140208269823256 140208718954880 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10717] ppid=10703 vsize=15483976 memory=2404 CPUtime=1.22 cores=1,3,5,7
/proc/10706/task/10717/stat : 10717 (java) R 10703 10703 7881 0 -1 4202560 3829 0 0 0 121 1 0 0 20 0 19 0 445731057 15855591424 47794 33554432000 4194304 4196468 140727647393632 140207606183288 140208718947861 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10718] ppid=10703 vsize=15483976 memory=1440 CPUtime=0.66 cores=1,3,5,7
/proc/10706/task/10718/stat : 10718 (java) S 10703 10703 7881 0 -1 1077944384 2939 0 0 0 66 0 0 0 20 0 19 0 445731057 15855591424 47794 33554432000 4194304 4196468 140727647393632 140207605144432 140208738265730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10719] ppid=10703 vsize=15483976 memory=800 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10719/stat : 10719 (java) S 10703 10703 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445731057 15855591424 47794 33554432000 4194304 4196468 140727647393632 140207604091872 140208738264789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10720] ppid=10703 vsize=15483976 memory=1764 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10720/stat : 10720 (java) S 10703 10703 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445731057 15855591424 47794 33554432000 4194304 4196468 140727647393632 140207603038640 140208738265730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10788] ppid=10703 vsize=15483976 memory=288230574492221466 CPUtime=0.64 cores=1,3,5,7
/proc/10706/task/10788/stat : 10788 (java) R 10703 10703 7881 0 -1 4202560 85 0 0 0 64 0 0 0 20 0 19 0 445731176 15855591424 47794 33554432000 4194304 4196468 140727647393632 140207281905352 140208357346154 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10789] ppid=10703 vsize=15483976 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/10706/task/10789/stat : 10789 (java) R 10703 10703 7881 0 -1 4202560 176 0 0 0 66 0 0 0 20 0 19 0 445731176 15855591424 47794 33554432000 4194304 4196468 140727647393632 140207282961576 140208358917780 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10790] ppid=10703 vsize=15483976 memory=0 CPUtime=0.43 cores=1,3,5,7
/proc/10706/task/10790/stat : 10790 (java) R 10703 10703 7881 0 -1 4202560 182 0 0 0 43 0 0 0 20 0 19 0 445731176 15855591424 47794 33554432000 4194304 4196468 140727647393632 140207285064616 140208357986426 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
[pid=10706/tid=10791] ppid=10703 vsize=15483976 memory=0 CPUtime=0.43 cores=1,3,5,7
/proc/10706/task/10791/stat : 10791 (java) R 10703 10703 7881 0 -1 4202560 73 0 0 0 43 0 0 0 20 0 19 0 445731177 15855591424 47794 33554432000 4194304 4196468 140727647393632 140207284012264 140208357343104 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23195648 140727647400943 140727647401114 140727647401114 140727647403983 0
Current children cumulated CPU time: 7.05 s
Current children cumulated vsize: 15597104 KiB
Current children cumulated memory: 192628 KiB
Child status: 0
Real time (s): 2.20065
CPU time (s): 7.36206
CPU user time (s): 7.25515
CPU system time (s): 0.106912
CPU usage (%): 334.54
Max. virtual memory (cumulated for all children) (KiB): 15597104
Max. memory (cumulated for all children) (KiB): 192628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.25515
system time used= 0.106912
maximum resident set size= 191804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23856
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= 2211
involuntary context switches= 318
# summary of solver processes directly reported to runsolver:
# pid: 10703
# total CPU time (s): 7.36206
# total CPU user time (s): 7.25515
# total CPU system time (s): 0.106912
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.037127 second user time and 0.068629 second system time
The end