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 (4894 MiB free)
memory of node 1: 16384 MiB (4690 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403973-1568991538/watcher-4403973-1568991538 -o /tmp/evaluation-result-4403973-1568991538/solver-4403973-1568991538 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568991261-14402 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1212126124 HOME/instance-4403973-1568991538.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=16006, runsolver pid=16003
Current StackSize limit: 8192 KiB
[startup+0.100458 s]*
/proc/loadavg: 7.83 4.62 2.58 7/233 16022
/proc/meminfo: memFree=9798892/32770624 swapFree=66999216/67108860
[pid=16006] ppid=16003 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16006/stat : 16006 (xcsp3-exec) S 16003 16006 14371 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475406859 115843072 363 33554432000 4194304 5098028 140723266525280 140723266523384 140019460387452 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27136000 140723266532218 140723266532461 140723266532461 140723266535370 0
/proc/16006/statm: 28282 363 304 221 0 87 0
[pid=16008] ppid=16006 vsize=15144776 memory=28692 CPUtime=0.13 cores=0,2,4,6
/proc/16008/stat : 16008 (java) S 16006 16006 14371 0 -1 1077944320 5659 0 0 0 12 1 0 0 20 0 15 0 475406859 15508250624 7173 33554432000 4194304 4196468 140723985360256 140723985342800 140568698511095 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
/proc/16008/statm: 3786194 7173 3119 1 0 3748377 0
[pid=16008/tid=16009] ppid=16006 vsize=15144776 memory=576460756329955459 CPUtime=0.09 cores=0,2,4,6
/proc/16008/task/16009/stat : 16009 (java) R 16006 16006 14371 0 -1 4202560 3579 0 0 0 8 1 0 0 20 0 15 0 475406860 15508250624 7239 33554432000 4194304 4196468 140723985360256 140568702735504 140568682591582 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16010] ppid=16006 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16010/stat : 16010 (java) S 16006 16006 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475406861 15508250624 7239 33554432000 4194304 4196468 140723985360256 140568651132048 140568698521301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16011] ppid=16006 vsize=15144776 memory=3616587737302009504 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16011/stat : 16011 (java) S 16006 16006 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475406861 15508250624 7239 33554432000 4194304 4196468 140723985360256 140568650079248 140568698521301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16012] ppid=16006 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16012/stat : 16012 (java) S 16006 16006 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475406861 15508250624 7239 33554432000 4194304 4196468 140723985360256 140568649026448 140568698521301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16013] ppid=16006 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16013/stat : 16013 (java) S 16006 16006 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475406861 15508250624 7239 33554432000 4194304 4196468 140723985360256 140568647973648 140568698521301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16014] ppid=16006 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16014/stat : 16014 (java) S 16006 16006 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475406862 15508250624 7239 33554432000 4194304 4196468 140723985360256 140568166369648 140568698522242 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16015] ppid=16006 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16015/stat : 16015 (java) S 16006 16006 14371 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475406862 15508250624 7239 33554432000 4194304 4196468 140723985360256 140568165315616 140568698521301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16016] ppid=16006 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16016/stat : 16016 (java) S 16006 16006 14371 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475406863 15508250624 7239 33554432000 4194304 4196468 140723985360256 140568164262768 140568698521301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16017] ppid=16006 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16017/stat : 16017 (java) S 16006 16006 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475406865 15508250624 7239 33554432000 4194304 4196468 140723985360256 140568163211088 140568698529691 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16018] ppid=16006 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16018/stat : 16018 (java) R 16006 16006 14371 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 475406865 15508250624 7239 33554432000 4194304 4196468 140723985360256 140568162159472 140568698522242 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16019] ppid=16006 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16019/stat : 16019 (java) R 16006 16006 14371 0 -1 4202560 151 0 0 0 0 0 0 0 20 0 15 0 475406865 15508250624 7239 33554432000 4194304 4196468 140723985360256 140568161106672 140568678924400 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16020] ppid=16006 vsize=15144776 memory=139837758211712 CPUtime=0.02 cores=0,2,4,6
/proc/16008/task/16020/stat : 16020 (java) R 16006 16006 14371 0 -1 4202560 352 0 0 0 2 0 0 0 20 0 15 0 475406865 15508250624 7239 33554432000 4194304 4196468 140723985360256 140568160053872 140568682591582 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16021] ppid=16006 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16021/stat : 16021 (java) S 16006 16006 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475406865 15508250624 7239 33554432000 4194304 4196468 140723985360256 140568159001312 140568698521301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16022] ppid=16006 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16022/stat : 16022 (java) S 16006 16006 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475406865 15508250624 7239 33554432000 4194304 4196468 140723985360256 140568157948592 140568698522242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30144 KiB
[startup+0.210651 s]*
/proc/loadavg: 7.83 4.62 2.58 7/233 16022
/proc/meminfo: memFree=9785456/32770624 swapFree=66999216/67108860
[pid=16006] ppid=16003 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16006/stat : 16006 (xcsp3-exec) S 16003 16006 14371 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475406859 115843072 363 33554432000 4194304 5098028 140723266525280 140723266523384 140019460387452 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27136000 140723266532218 140723266532461 140723266532461 140723266535370 0
/proc/16006/statm: 28282 363 304 221 0 87 0
[pid=16008] ppid=16006 vsize=15144776 memory=40460 CPUtime=0.34 cores=0,2,4,6
/proc/16008/stat : 16008 (java) S 16006 16006 14371 0 -1 1077944320 9289 0 0 0 31 3 0 0 20 0 15 0 475406859 15508250624 10115 33554432000 4194304 4196468 140723985360256 140723985342800 140568698511095 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
/proc/16008/statm: 3786194 10115 3306 1 0 3748377 0
[pid=16008/tid=16009] ppid=16006 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/16008/task/16009/stat : 16009 (java) R 16006 16006 14371 0 -1 4202560 6556 0 0 0 18 2 0 0 20 0 15 0 475406860 15508250624 10115 33554432000 4194304 4196468 140723985360256 140568702750096 140568698523030 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16010] ppid=16006 vsize=15144776 memory=9100 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16010/stat : 16010 (java) S 16006 16006 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475406861 15508250624 10115 33554432000 4194304 4196468 140723985360256 140568651132048 140568698521301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16011] ppid=16006 vsize=15144776 memory=139837762010759 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16011/stat : 16011 (java) S 16006 16006 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475406861 15508250624 10115 33554432000 4194304 4196468 140723985360256 140568650079248 140568698521301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16012] ppid=16006 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16012/stat : 16012 (java) S 16006 16006 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475406861 15508250624 10115 33554432000 4194304 4196468 140723985360256 140568649026448 140568698521301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16013] ppid=16006 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16013/stat : 16013 (java) S 16006 16006 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475406861 15508250624 10115 33554432000 4194304 4196468 140723985360256 140568647973648 140568698521301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16014] ppid=16006 vsize=15144776 memory=139837758211712 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16014/stat : 16014 (java) S 16006 16006 14371 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475406862 15508250624 10115 33554432000 4194304 4196468 140723985360256 140568166369648 140568698522242 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16015] ppid=16006 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16015/stat : 16015 (java) S 16006 16006 14371 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475406862 15508250624 10115 33554432000 4194304 4196468 140723985360256 140568165315616 140568698521301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16016] ppid=16006 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16016/stat : 16016 (java) S 16006 16006 14371 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475406863 15508250624 10115 33554432000 4194304 4196468 140723985360256 140568164262768 140568698521301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16017] ppid=16006 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16017/stat : 16017 (java) S 16006 16006 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475406865 15508250624 10115 33554432000 4194304 4196468 140723985360256 140568163211088 140568698529691 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16018] ppid=16006 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/16008/task/16018/stat : 16018 (java) S 16006 16006 14371 0 -1 1077944384 362 0 0 0 2 0 0 0 20 0 15 0 475406865 15508250624 10115 33554432000 4194304 4196468 140723985360256 140568162159472 140568698522242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16019] ppid=16006 vsize=15144776 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/16008/task/16019/stat : 16019 (java) S 16006 16006 14371 0 -1 1077944384 266 0 0 0 3 0 0 0 20 0 15 0 475406865 15508250624 10115 33554432000 4194304 4196468 140723985360256 140568161106672 140568698522242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16020] ppid=16006 vsize=15144776 memory=139837758211712 CPUtime=0.08 cores=0,2,4,6
/proc/16008/task/16020/stat : 16020 (java) R 16006 16006 14371 0 -1 4202560 798 0 0 0 8 0 0 0 20 0 15 0 475406865 15508250624 10115 33554432000 4194304 4196468 140723985360256 140568160053680 140568677049369 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16021] ppid=16006 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16021/stat : 16021 (java) S 16006 16006 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475406865 15508250624 10115 33554432000 4194304 4196468 140723985360256 140568159001312 140568698521301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16022] ppid=16006 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16022/stat : 16022 (java) S 16006 16006 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475406865 15508250624 10115 33554432000 4194304 4196468 140723985360256 140568157948592 140568698522242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41912 KiB
[startup+0.313096 s]*
/proc/loadavg: 7.83 4.62 2.58 8/233 16022
/proc/meminfo: memFree=9778196/32770624 swapFree=66999216/67108860
[pid=16006] ppid=16003 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16006/stat : 16006 (xcsp3-exec) S 16003 16006 14371 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475406859 115843072 363 33554432000 4194304 5098028 140723266525280 140723266523384 140019460387452 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27136000 140723266532218 140723266532461 140723266532461 140723266535370 0
/proc/16006/statm: 28282 363 304 221 0 87 0
[pid=16008] ppid=16006 vsize=15149032 memory=50040 CPUtime=0.53 cores=0,2,4,6
/proc/16008/stat : 16008 (java) S 16006 16006 14371 0 -1 1077944320 10832 0 0 0 49 4 0 0 20 0 15 0 475406859 15512608768 12510 33554432000 4194304 4196468 140723985360256 140723985342800 140568698511095 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
/proc/16008/statm: 3787258 12510 3366 1 0 3748377 0
[pid=16008/tid=16009] ppid=16006 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/16008/task/16009/stat : 16009 (java) R 16006 16006 14371 0 -1 4202560 7772 0 0 0 27 3 0 0 20 0 15 0 475406860 15512608768 12510 33554432000 4194304 4196468 140723985360256 140568702744400 140568682591582 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16010] ppid=16006 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16010/stat : 16010 (java) S 16006 16006 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475406861 15512608768 12510 33554432000 4194304 4196468 140723985360256 140568651132048 140568698521301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16011] ppid=16006 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16011/stat : 16011 (java) S 16006 16006 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475406861 15512608768 12510 33554432000 4194304 4196468 140723985360256 140568650079248 140568698521301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16012] ppid=16006 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16012/stat : 16012 (java) S 16006 16006 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475406861 15512608768 12510 33554432000 4194304 4196468 140723985360256 140568649026448 140568698521301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16013] ppid=16006 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16013/stat : 16013 (java) S 16006 16006 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475406861 15512608768 12510 33554432000 4194304 4196468 140723985360256 140568647973648 140568698521301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16014] ppid=16006 vsize=15149032 memory=4500088463514900084 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16014/stat : 16014 (java) S 16006 16006 14371 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475406862 15512608768 12510 33554432000 4194304 4196468 140723985360256 140568166369648 140568698522242 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16015] ppid=16006 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16015/stat : 16015 (java) S 16006 16006 14371 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475406862 15512608768 12510 33554432000 4194304 4196468 140723985360256 140568165315616 140568698521301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16016] ppid=16006 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16016/stat : 16016 (java) S 16006 16006 14371 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475406863 15512608768 12510 33554432000 4194304 4196468 140723985360256 140568164262768 140568698521301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16017] ppid=16006 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16017/stat : 16017 (java) S 16006 16006 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475406865 15512608768 12510 33554432000 4194304 4196468 140723985360256 140568163211088 140568698529691 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16018] ppid=16006 vsize=15149032 memory=7827413994055111515 CPUtime=0.03 cores=0,2,4,6
/proc/16008/task/16018/stat : 16018 (java) S 16006 16006 14371 0 -1 1077944384 434 0 0 0 3 0 0 0 20 0 15 0 475406865 15512608768 12510 33554432000 4194304 4196468 140723985360256 140568162159472 140568698522242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16019] ppid=16006 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/16008/task/16019/stat : 16019 (java) S 16006 16006 14371 0 -1 1077944384 381 0 0 0 5 0 0 0 20 0 15 0 475406865 15512608768 12510 33554432000 4194304 4196468 140723985360256 140568161106672 140568698522242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16020] ppid=16006 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/16008/task/16020/stat : 16020 (java) S 16006 16006 14371 0 -1 1077944384 955 0 0 0 12 0 0 0 20 0 15 0 475406865 15512608768 12510 33554432000 4194304 4196468 140723985360256 140568160053872 140568698522242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16021] ppid=16006 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16021/stat : 16021 (java) S 16006 16006 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475406865 15512608768 12510 33554432000 4194304 4196468 140723985360256 140568159001312 140568698521301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16022] ppid=16006 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16022/stat : 16022 (java) S 16006 16006 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475406865 15512608768 12510 33554432000 4194304 4196468 140723985360256 140568157948592 140568698522242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51492 KiB
[startup+0.701453 s]
/proc/loadavg: 7.83 4.62 2.58 11/237 16026
/proc/meminfo: memFree=9753532/32770624 swapFree=66999216/67108860
[pid=16006] ppid=16003 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16006/stat : 16006 (xcsp3-exec) S 16003 16006 14371 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475406859 115843072 363 33554432000 4194304 5098028 140723266525280 140723266523384 140019460387452 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27136000 140723266532218 140723266532461 140723266532461 140723266535370 0
/proc/16006/statm: 28282 363 304 221 0 87 0
[pid=16008] ppid=16006 vsize=15417412 memory=77624 CPUtime=1.74 cores=0,2,4,6
/proc/16008/stat : 16008 (java) S 16006 16006 14371 0 -1 1077944320 14320 0 0 0 169 5 0 0 20 0 19 0 475406859 15787429888 19406 33554432000 4194304 4196468 140723985360256 140723985342800 140568698511095 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
/proc/16008/statm: 3854353 19406 3446 1 0 3815453 0
[pid=16008/tid=16009] ppid=16006 vsize=15417412 memory=0 CPUtime=0.48 cores=0,2,4,6
/proc/16008/task/16009/stat : 16009 (java) S 16006 16006 14371 0 -1 1077944384 9081 0 0 0 44 4 0 0 20 0 19 0 475406860 15787429888 19406 33554432000 4194304 4196468 140723985360256 140568702751872 140568698521301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16010] ppid=16006 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16010/stat : 16010 (java) S 16006 16006 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475406861 15787429888 19406 33554432000 4194304 4196468 140723985360256 140568651132048 140568698521301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16011] ppid=16006 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16011/stat : 16011 (java) S 16006 16006 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475406861 15787429888 19406 33554432000 4194304 4196468 140723985360256 140568650079248 140568698521301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16012] ppid=16006 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16012/stat : 16012 (java) S 16006 16006 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475406861 15787429888 19406 33554432000 4194304 4196468 140723985360256 140568649026448 140568698521301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16013] ppid=16006 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16013/stat : 16013 (java) S 16006 16006 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475406861 15787429888 19406 33554432000 4194304 4196468 140723985360256 140568647973648 140568698521301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16014] ppid=16006 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16014/stat : 16014 (java) S 16006 16006 14371 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 475406862 15787429888 19406 33554432000 4194304 4196468 140723985360256 140568166369648 140568698522242 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16015] ppid=16006 vsize=15417412 memory=139837626057552 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16015/stat : 16015 (java) S 16006 16006 14371 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475406862 15787429888 19406 33554432000 4194304 4196468 140723985360256 140568165315616 140568698521301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16016] ppid=16006 vsize=15417412 memory=3604 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16016/stat : 16016 (java) S 16006 16006 14371 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475406863 15787429888 19406 33554432000 4194304 4196468 140723985360256 140568164262768 140568698521301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16017] ppid=16006 vsize=15417412 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16017/stat : 16017 (java) S 16006 16006 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475406865 15787429888 19406 33554432000 4194304 4196468 140723985360256 140568163211088 140568698529691 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16018] ppid=16006 vsize=15417412 memory=676 CPUtime=0.22 cores=0,2,4,6
/proc/16008/task/16018/stat : 16018 (java) R 16006 16006 14371 0 -1 4202560 1015 0 0 0 22 0 0 0 20 0 19 0 475406865 15787429888 19406 33554432000 4194304 4196468 140723985360256 140568162145568 140568683392784 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16019] ppid=16006 vsize=15417412 memory=1060 CPUtime=0.25 cores=0,2,4,6
/proc/16008/task/16019/stat : 16019 (java) R 16006 16006 14371 0 -1 4202560 904 0 0 0 25 0 0 0 20 0 19 0 475406865 15787429888 19406 33554432000 4194304 4196468 140723985360256 140568161088080 140568677939376 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16020] ppid=16006 vsize=15417412 memory=1548 CPUtime=0.31 cores=0,2,4,6
/proc/16008/task/16020/stat : 16020 (java) R 16006 16006 14371 0 -1 1077944384 1791 0 0 0 31 0 0 0 20 0 19 0 475406865 15787429888 19406 33554432000 4194304 4196468 140723985360256 140568160053872 140568698522242 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16021] ppid=16006 vsize=15417412 memory=8560 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16021/stat : 16021 (java) S 16006 16006 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475406865 15787429888 19406 33554432000 4194304 4196468 140723985360256 140568159001312 140568698521301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16022] ppid=16006 vsize=15417412 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16022/stat : 16022 (java) S 16006 16006 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475406865 15787429888 19406 33554432000 4194304 4196468 140723985360256 140568157948592 140568698522242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16023] ppid=16006 vsize=15417412 memory=1112 CPUtime=0.1 cores=0,2,4,6
/proc/16008/task/16023/stat : 16023 (java) R 16006 16006 14371 0 -1 4202560 52 0 0 0 10 0 0 0 20 0 19 0 475406909 15787429888 19406 33554432000 4194304 4196468 140723985360256 140568148966776 140568682849971 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16024] ppid=16006 vsize=15417412 memory=1004 CPUtime=0.11 cores=0,2,4,6
/proc/16008/task/16024/stat : 16024 (java) R 16006 16006 14371 0 -1 4202560 72 0 0 0 11 0 0 0 20 0 19 0 475406909 15787429888 19406 33554432000 4194304 4196468 140723985360256 140568147914936 140568327230379 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16025] ppid=16006 vsize=15417412 memory=6064 CPUtime=0.1 cores=0,2,4,6
/proc/16008/task/16025/stat : 16025 (java) R 16006 16006 14371 0 -1 4202560 52 0 0 0 10 0 0 0 20 0 19 0 475406909 15787429888 19406 33554432000 4194304 4196468 140723985360256 140568146862216 140568327475212 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16026] ppid=16006 vsize=15417412 memory=14008 CPUtime=0.13 cores=0,2,4,6
/proc/16008/task/16026/stat : 16026 (java) R 16006 16006 14371 0 -1 4202560 45 0 0 0 13 0 0 0 20 0 19 0 475406909 15787429888 19406 33554432000 4194304 4196468 140723985360256 140568145809144 140568326806087 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
Current children cumulated CPU time: 1.74 s
Current children cumulated vsize: 15530540 KiB
################
# More data... #
################
/proc/16008/task/16026/stat : 16026 (java) R 16006 16006 14371 0 -1 4202560 227 0 0 0 528 0 0 0 20 0 19 0 475406909 15787429888 49644 33554432000 4194304 4196468 140723985360256 140568145810504 140568327474293 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
Current children cumulated CPU time: 23.22 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 200028 KiB
[startup+7.07479 s]
# the end of solver process 16006 was just reported to runsolver
# cumulated CPU time of all completed processes: user=26.1614 s, system=0.117088 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40145 s]
/proc/loadavg: 7.84 4.68 2.60 9/237 16027
/proc/meminfo: memFree=9607028/32770624 swapFree=66999216/67108860
[pid=16006] ppid=16003 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16006/stat : 16006 (xcsp3-exec) S 16003 16006 14371 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475406859 115843072 363 33554432000 4194304 5098028 140723266525280 140723266523384 140019460387452 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27136000 140723266532218 140723266532461 140723266532461 140723266535370 0
/proc/16006/statm: 28282 363 304 221 0 87 0
[pid=16008] ppid=16006 vsize=15417412 memory=200624 CPUtime=23.61 cores=0,2,4,6
/proc/16008/stat : 16008 (java) S 16006 16006 14371 0 -1 1077944320 21892 0 0 0 2351 10 0 0 20 0 19 0 475406859 15787429888 50156 33554432000 4194304 4196468 140723985360256 140723985342800 140568698511095 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
/proc/16008/statm: 3854353 50156 3501 1 0 3815453 0
[pid=16008/tid=16009] ppid=16006 vsize=15417412 memory=2244 CPUtime=0.48 cores=0,2,4,6
/proc/16008/task/16009/stat : 16009 (java) S 16006 16006 14371 0 -1 1077944384 9081 0 0 0 44 4 0 0 20 0 19 0 475406860 15787429888 50156 33554432000 4194304 4196468 140723985360256 140568702751872 140568698521301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16010] ppid=16006 vsize=15417412 memory=6791534058613427641 CPUtime=0.01 cores=0,2,4,6
/proc/16008/task/16010/stat : 16010 (java) S 16006 16006 14371 0 -1 1077944384 40 0 0 0 1 0 0 0 20 0 19 0 475406861 15787429888 50156 33554432000 4194304 4196468 140723985360256 140568651132048 140568698521301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16011] ppid=16006 vsize=15417412 memory=3504 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16011/stat : 16011 (java) S 16006 16006 14371 0 -1 1077944384 329 0 0 0 0 0 0 0 20 0 19 0 475406861 15787429888 50156 33554432000 4194304 4196468 140723985360256 140568650079248 140568698521301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16012] ppid=16006 vsize=15417412 memory=55892 CPUtime=0.01 cores=0,2,4,6
/proc/16008/task/16012/stat : 16012 (java) S 16006 16006 14371 0 -1 1077944384 153 0 0 0 1 0 0 0 20 0 19 0 475406861 15787429888 50156 33554432000 4194304 4196468 140723985360256 140568649026448 140568698521301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16013] ppid=16006 vsize=15417412 memory=3028 CPUtime=0.01 cores=0,2,4,6
/proc/16008/task/16013/stat : 16013 (java) S 16006 16006 14371 0 -1 1077944384 413 0 0 0 1 0 0 0 20 0 19 0 475406861 15787429888 50156 33554432000 4194304 4196468 140723985360256 140568647973648 140568698521301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16014] ppid=16006 vsize=15417412 memory=2012 CPUtime=0.01 cores=0,2,4,6
/proc/16008/task/16014/stat : 16014 (java) S 16006 16006 14371 0 -1 1077944384 250 0 0 0 1 0 0 0 20 0 19 0 475406862 15787429888 50156 33554432000 4194304 4196468 140723985360256 140568166369648 140568698522242 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 20 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16015] ppid=16006 vsize=15417412 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16015/stat : 16015 (java) S 16006 16006 14371 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 475406862 15787429888 50156 33554432000 4194304 4196468 140723985360256 140568165315680 140568698521301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16016] ppid=16006 vsize=15417412 memory=56 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16016/stat : 16016 (java) S 16006 16006 14371 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 19 0 475406863 15787429888 50156 33554432000 4194304 4196468 140723985360256 140568164262784 140568698521301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16017] ppid=16006 vsize=15417412 memory=-8689539942354613440 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16017/stat : 16017 (java) S 16006 16006 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475406865 15787429888 50156 33554432000 4194304 4196468 140723985360256 140568163211088 140568698529691 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16018] ppid=16006 vsize=15417412 memory=4627829660337606006 CPUtime=0.78 cores=0,2,4,6
/proc/16008/task/16018/stat : 16018 (java) S 16006 16006 14371 0 -1 1077944384 3002 0 0 0 78 0 0 0 20 0 19 0 475406865 15787429888 50156 33554432000 4194304 4196468 140723985360256 140568162159472 140568698522242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16019] ppid=16006 vsize=15417412 memory=8514701219931451533 CPUtime=0.81 cores=0,2,4,6
/proc/16008/task/16019/stat : 16019 (java) S 16006 16006 14371 0 -1 1077944384 2558 0 0 0 81 0 0 0 20 0 19 0 475406865 15787429888 50156 33554432000 4194304 4196468 140723985360256 140568161106672 140568698522242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16020] ppid=16006 vsize=15417412 memory=4627829660337606006 CPUtime=0.39 cores=0,2,4,6
/proc/16008/task/16020/stat : 16020 (java) S 16006 16006 14371 0 -1 1077944384 3524 0 0 0 39 0 0 0 20 0 19 0 475406865 15787429888 50156 33554432000 4194304 4196468 140723985360256 140568160053872 140568698522242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16021] ppid=16006 vsize=15417412 memory=8514726395714820750 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16021/stat : 16021 (java) S 16006 16006 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475406865 15787429888 50156 33554432000 4194304 4196468 140723985360256 140568159001312 140568698521301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16022] ppid=16006 vsize=15417412 memory=-8412661042826874739 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16022/stat : 16022 (java) S 16006 16006 14371 0 -1 1077944384 248 0 0 0 0 0 0 0 20 0 19 0 475406865 15787429888 50156 33554432000 4194304 4196468 140723985360256 140568157948592 140568698522242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 29 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16023] ppid=16006 vsize=15417412 memory=1548 CPUtime=5.16 cores=0,2,4,6
/proc/16008/task/16023/stat : 16023 (java) R 16006 16006 14371 0 -1 4202560 133 0 0 0 516 0 0 0 20 0 19 0 475406909 15787429888 50156 33554432000 4194304 4196468 140723985360256 140568148966688 140568327199548 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16024] ppid=16006 vsize=15417412 memory=8560 CPUtime=5.3 cores=0,2,4,6
/proc/16008/task/16024/stat : 16024 (java) R 16006 16006 14371 0 -1 4202560 436 0 0 0 530 0 0 0 20 0 19 0 475406909 15787429888 50156 33554432000 4194304 4196468 140723985360256 140568147915224 140568327475471 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16025] ppid=16006 vsize=15417412 memory=2241 CPUtime=5.16 cores=0,2,4,6
/proc/16008/task/16025/stat : 16025 (java) R 16006 16006 14371 0 -1 4202560 126 0 0 0 516 0 0 0 20 0 19 0 475406909 15787429888 50156 33554432000 4194304 4196468 140723985360256 140568146862288 140568328256747 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16026] ppid=16006 vsize=15417412 memory=2244 CPUtime=5.38 cores=0,2,4,6
/proc/16008/task/16026/stat : 16026 (java) R 16006 16006 14371 0 -1 4202560 228 0 0 0 538 0 0 0 20 0 19 0 475406909 15787429888 50156 33554432000 4194304 4196468 140723985360256 140568145811904 140568327951157 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
Current children cumulated CPU time: 23.61 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 202076 KiB
[startup+6.80145 s]
/proc/loadavg: 7.84 4.68 2.60 9/237 16027
/proc/meminfo: memFree=9607028/32770624 swapFree=66999216/67108860
[pid=16006] ppid=16003 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16006/stat : 16006 (xcsp3-exec) S 16003 16006 14371 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475406859 115843072 363 33554432000 4194304 5098028 140723266525280 140723266523384 140019460387452 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27136000 140723266532218 140723266532461 140723266532461 140723266535370 0
/proc/16006/statm: 28282 363 304 221 0 87 0
[pid=16008] ppid=16006 vsize=15417412 memory=198684 CPUtime=25.21 cores=0,2,4,6
/proc/16008/stat : 16008 (java) S 16006 16006 14371 0 -1 1077944320 23267 0 0 0 2510 11 0 0 20 0 19 0 475406859 15787429888 49671 33554432000 4194304 4196468 140723985360256 140723985342800 140568698511095 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
/proc/16008/statm: 3854353 49671 3501 1 0 3815453 0
[pid=16008/tid=16009] ppid=16006 vsize=15417412 memory=6791534058613427641 CPUtime=0.48 cores=0,2,4,6
/proc/16008/task/16009/stat : 16009 (java) S 16006 16006 14371 0 -1 1077944384 9081 0 0 0 44 4 0 0 20 0 19 0 475406860 15787429888 49671 33554432000 4194304 4196468 140723985360256 140568702751872 140568698521301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16010] ppid=16006 vsize=15417412 memory=139837625622963 CPUtime=0.01 cores=0,2,4,6
/proc/16008/task/16010/stat : 16010 (java) S 16006 16006 14371 0 -1 1077944384 75 0 0 0 1 0 0 0 20 0 19 0 475406861 15787429888 49671 33554432000 4194304 4196468 140723985360256 140568651132048 140568698521301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16011] ppid=16006 vsize=15417412 memory=139837625633360 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16011/stat : 16011 (java) S 16006 16006 14371 0 -1 1077944384 429 0 0 0 0 0 0 0 20 0 19 0 475406861 15787429888 49671 33554432000 4194304 4196468 140723985360256 140568650079248 140568698521301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16012] ppid=16006 vsize=15417412 memory=139837625614112 CPUtime=0.01 cores=0,2,4,6
/proc/16008/task/16012/stat : 16012 (java) S 16006 16006 14371 0 -1 1077944384 510 0 0 0 1 0 0 0 20 0 19 0 475406861 15787429888 49671 33554432000 4194304 4196468 140723985360256 140568649026448 140568698521301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16013] ppid=16006 vsize=15417412 memory=139837625614208 CPUtime=0.01 cores=0,2,4,6
/proc/16008/task/16013/stat : 16013 (java) S 16006 16006 14371 0 -1 1077944384 425 0 0 0 1 0 0 0 20 0 19 0 475406861 15787429888 49671 33554432000 4194304 4196468 140723985360256 140568647973648 140568698521301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16014] ppid=16006 vsize=15417412 memory=139837625614304 CPUtime=0.01 cores=0,2,4,6
/proc/16008/task/16014/stat : 16014 (java) S 16006 16006 14371 0 -1 1077944384 460 0 0 0 1 0 0 0 20 0 19 0 475406862 15787429888 49671 33554432000 4194304 4196468 140723985360256 140568166369648 140568698522242 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 20 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16015] ppid=16006 vsize=15417412 memory=288370214616449112 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16015/stat : 16015 (java) S 16006 16006 14371 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 475406862 15787429888 49671 33554432000 4194304 4196468 140723985360256 140568165315680 140568698521301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16016] ppid=16006 vsize=15417412 memory=15399075566600376 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16016/stat : 16016 (java) S 16006 16006 14371 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 19 0 475406863 15787429888 49671 33554432000 4194304 4196468 140723985360256 140568164262784 140568698521301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16017] ppid=16006 vsize=15417412 memory=139837625614592 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16017/stat : 16017 (java) S 16006 16006 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475406865 15787429888 49671 33554432000 4194304 4196468 140723985360256 140568163211088 140568698529691 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16018] ppid=16006 vsize=15417412 memory=139837625614688 CPUtime=0.78 cores=0,2,4,6
/proc/16008/task/16018/stat : 16018 (java) S 16006 16006 14371 0 -1 1077944384 3005 0 0 0 78 0 0 0 20 0 19 0 475406865 15787429888 49671 33554432000 4194304 4196468 140723985360256 140568162159472 140568698522242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16019] ppid=16006 vsize=15417412 memory=139837625614784 CPUtime=0.81 cores=0,2,4,6
/proc/16008/task/16019/stat : 16019 (java) S 16006 16006 14371 0 -1 1077944384 2751 0 0 0 81 0 0 0 20 0 19 0 475406865 15787429888 49671 33554432000 4194304 4196468 140723985360256 140568161106672 140568698522242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16020] ppid=16006 vsize=15417412 memory=279675251212952 CPUtime=0.39 cores=0,2,4,6
/proc/16008/task/16020/stat : 16020 (java) S 16006 16006 14371 0 -1 1077944384 3529 0 0 0 39 0 0 0 20 0 19 0 475406865 15787429888 49671 33554432000 4194304 4196468 140723985360256 140568160053872 140568698522242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16021] ppid=16006 vsize=15417412 memory=3690057125648824752 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16021/stat : 16021 (java) S 16006 16006 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475406865 15787429888 49671 33554432000 4194304 4196468 140723985360256 140568159001312 140568698521301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16022] ppid=16006 vsize=15417412 memory=177 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16022/stat : 16022 (java) S 16006 16006 14371 0 -1 1077944384 269 0 0 0 0 0 0 0 20 0 19 0 475406865 15787429888 49671 33554432000 4194304 4196468 140723985360256 140568157948592 140568698522242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 29 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16023] ppid=16006 vsize=15417412 memory=6944665225511868275 CPUtime=5.56 cores=0,2,4,6
/proc/16008/task/16023/stat : 16023 (java) R 16006 16006 14371 0 -1 4202560 222 0 0 0 556 0 0 0 20 0 19 0 475406909 15787429888 49671 33554432000 4194304 4196468 140723985360256 140568148966768 140568327151263 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16024] ppid=16006 vsize=15417412 memory=-9001733975035308135 CPUtime=5.69 cores=0,2,4,6
/proc/16008/task/16024/stat : 16024 (java) R 16006 16006 14371 0 -1 4202560 532 0 0 0 569 0 0 0 20 0 19 0 475406909 15787429888 49671 33554432000 4194304 4196468 140723985360256 140568147915224 140568327201120 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16025] ppid=16006 vsize=15417412 memory=6958453264360695866 CPUtime=5.56 cores=0,2,4,6
/proc/16008/task/16025/stat : 16025 (java) R 16006 16006 14371 0 -1 4202560 207 0 0 0 556 0 0 0 20 0 19 0 475406909 15787429888 49671 33554432000 4194304 4196468 140723985360256 140568146862288 140568327475534 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16026] ppid=16006 vsize=15417412 memory=6944665225511868275 CPUtime=5.77 cores=0,2,4,6
/proc/16008/task/16026/stat : 16026 (java) R 16006 16006 14371 0 -1 4202560 401 0 0 0 577 0 0 0 20 0 19 0 475406909 15787429888 49671 33554432000 4194304 4196468 140723985360256 140568145811904 140568327475200 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
Current children cumulated CPU time: 25.21 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 200136 KiB
[startup+7.00145 s]*
/proc/loadavg: 7.84 4.68 2.60 9/237 16027
/proc/meminfo: memFree=9611348/32770624 swapFree=66999216/67108860
[pid=16006] ppid=16003 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16006/stat : 16006 (xcsp3-exec) S 16003 16006 14371 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475406859 115843072 363 33554432000 4194304 5098028 140723266525280 140723266523384 140019460387452 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27136000 140723266532218 140723266532461 140723266532461 140723266535370 0
/proc/16006/statm: 28282 363 304 221 0 87 0
[pid=16008] ppid=16006 vsize=15417412 memory=198684 CPUtime=26.04 cores=0,2,4,6
/proc/16008/stat : 16008 (java) S 16006 16006 14371 0 -1 1077944320 23301 0 0 0 2593 11 0 0 20 0 19 0 475406859 15787429888 49671 33554432000 4194304 4196468 140723985360256 140723985342800 140568698511095 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
/proc/16008/statm: 3854353 49671 3501 1 0 3815453 0
[pid=16008/tid=16009] ppid=16006 vsize=15417412 memory=7450739877569916774 CPUtime=0.48 cores=0,2,4,6
/proc/16008/task/16009/stat : 16009 (java) S 16006 16006 14371 0 -1 1077944384 9081 0 0 0 44 4 0 0 20 0 19 0 475406860 15787429888 49671 33554432000 4194304 4196468 140723985360256 140568702751872 140568698521301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16010] ppid=16006 vsize=15417412 memory=3760822589546706997 CPUtime=0.01 cores=0,2,4,6
/proc/16008/task/16010/stat : 16010 (java) S 16006 16006 14371 0 -1 1077944384 75 0 0 0 1 0 0 0 20 0 19 0 475406861 15787429888 49671 33554432000 4194304 4196468 140723985360256 140568651132048 140568698521301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16011] ppid=16006 vsize=15417412 memory=3690057125781421488 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16011/stat : 16011 (java) S 16006 16006 14371 0 -1 1077944384 429 0 0 0 0 0 0 0 20 0 19 0 475406861 15787429888 49671 33554432000 4194304 4196468 140723985360256 140568650079248 140568698521301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16012] ppid=16006 vsize=15417412 memory=4048790178329090160 CPUtime=0.01 cores=0,2,4,6
/proc/16008/task/16012/stat : 16012 (java) S 16006 16006 14371 0 -1 1077944384 510 0 0 0 1 0 0 0 20 0 19 0 475406861 15787429888 49671 33554432000 4194304 4196468 140723985360256 140568649026448 140568698521301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16013] ppid=16006 vsize=15417412 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/16008/task/16013/stat : 16013 (java) S 16006 16006 14371 0 -1 1077944384 425 0 0 0 1 0 0 0 20 0 19 0 475406861 15787429888 49671 33554432000 4194304 4196468 140723985360256 140568647973648 140568698521301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16014] ppid=16006 vsize=15417412 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/16008/task/16014/stat : 16014 (java) S 16006 16006 14371 0 -1 1077944384 460 0 0 0 1 0 0 0 20 0 19 0 475406862 15787429888 49671 33554432000 4194304 4196468 140723985360256 140568166369648 140568698522242 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 20 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16015] ppid=16006 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16015/stat : 16015 (java) S 16006 16006 14371 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 475406862 15787429888 49671 33554432000 4194304 4196468 140723985360256 140568165315680 140568698521301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16016] ppid=16006 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16016/stat : 16016 (java) S 16006 16006 14371 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 19 0 475406863 15787429888 49671 33554432000 4194304 4196468 140723985360256 140568164262784 140568698521301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16017] ppid=16006 vsize=15417412 memory=4860381530921337488 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16017/stat : 16017 (java) S 16006 16006 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475406865 15787429888 49671 33554432000 4194304 4196468 140723985360256 140568163211088 140568698529691 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16018] ppid=16006 vsize=15417412 memory=0 CPUtime=0.78 cores=0,2,4,6
/proc/16008/task/16018/stat : 16018 (java) R 16006 16006 14371 0 -1 1077944384 3005 0 0 0 78 0 0 0 20 0 19 0 475406865 15787429888 49671 33554432000 4194304 4196468 140723985360256 140568162159472 140568698522242 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16019] ppid=16006 vsize=15417412 memory=3471202396320837679 CPUtime=0.81 cores=0,2,4,6
/proc/16008/task/16019/stat : 16019 (java) R 16006 16006 14371 0 -1 4202560 2755 0 0 0 81 0 0 0 20 0 19 0 475406865 15787429888 49671 33554432000 4194304 4196468 140723985360256 140568161106672 140568679147107 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16020] ppid=16006 vsize=15417412 memory=3184237757834180272 CPUtime=0.39 cores=0,2,4,6
/proc/16008/task/16020/stat : 16020 (java) S 16006 16006 14371 0 -1 1077944384 3529 0 0 0 39 0 0 0 20 0 19 0 475406865 15787429888 49671 33554432000 4194304 4196468 140723985360256 140568160053872 140568698522242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16021] ppid=16006 vsize=15417412 memory=3472328296227680303 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16021/stat : 16021 (java) S 16006 16006 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475406865 15787429888 49671 33554432000 4194304 4196468 140723985360256 140568159001312 140568698521301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16022] ppid=16006 vsize=15417412 memory=8607468104435100127 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16022/stat : 16022 (java) S 16006 16006 14371 0 -1 1077944384 269 0 0 0 0 0 0 0 20 0 19 0 475406865 15787429888 49671 33554432000 4194304 4196468 140723985360256 140568157948592 140568698522242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 29 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16023] ppid=16006 vsize=15417412 memory=3611939815990375199 CPUtime=5.76 cores=0,2,4,6
/proc/16008/task/16023/stat : 16023 (java) R 16006 16006 14371 0 -1 4202560 223 0 0 0 576 0 0 0 20 0 19 0 475406909 15787429888 49671 33554432000 4194304 4196468 140723985360256 140568148966768 140568327199766 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16024] ppid=16006 vsize=15417412 memory=139837758211712 CPUtime=5.9 cores=0,2,4,6
/proc/16008/task/16024/stat : 16024 (java) R 16006 16006 14371 0 -1 4202560 575 0 0 0 590 0 0 0 20 0 19 0 475406909 15787429888 49671 33554432000 4194304 4196468 140723985360256 140568147914808 140568327475529 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16025] ppid=16006 vsize=15417412 memory=-1 CPUtime=5.77 cores=0,2,4,6
/proc/16008/task/16025/stat : 16025 (java) R 16006 16006 14371 0 -1 4202560 212 0 0 0 577 0 0 0 20 0 19 0 475406909 15787429888 49671 33554432000 4194304 4196468 140723985360256 140568146862288 140568328251906 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
[pid=16008/tid=16026] ppid=16006 vsize=15417412 memory=0 CPUtime=5.98 cores=0,2,4,6
/proc/16008/task/16026/stat : 16026 (java) R 16006 16006 14371 0 -1 4202560 403 0 0 0 598 0 0 0 20 0 19 0 475406909 15787429888 49671 33554432000 4194304 4196468 140723985360256 140568145811904 140568327475526 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7168000 140723985368047 140723985368218 140723985368218 140723985371087 0
Current children cumulated CPU time: 26.04 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 200136 KiB
Child status: 0
Real time (s): 7.07484
CPU time (s): 26.2784
CPU user time (s): 26.1614
CPU system time (s): 0.117088
CPU usage (%): 371.435
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 202076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26.1614
system time used= 0.117088
maximum resident set size= 202788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24974
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2027
involuntary context switches= 853
# summary of solver processes directly reported to runsolver:
# pid: 16006
# total CPU time (s): 26.2784
# total CPU user time (s): 26.1614
# total CPU system time (s): 0.117088
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.077957 second user time and 0.113039 second system time
The end