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 (14943 MiB free)
memory of node 1: 16384 MiB (15432 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393357-1568319538/watcher-4393357-1568319538 -o /tmp/evaluation-result-4393357-1568319538/solver-4393357-1568319538 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568308867-14286 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 767196802 HOME/instance-4393357-1568319538.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=21137, runsolver pid=21134
[startup+0.100077 s]*
/proc/loadavg: 8.96 8.69 8.36 8/233 21153
/proc/meminfo: memFree=31087396/32770624 swapFree=66920740/67108860
[pid=21137] ppid=21134 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21137/stat : 21137 (xcsp3-exec) S 21134 21137 14254 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408209939 115843072 363 33554432000 4194304 5098028 140730445892112 140730445890216 140420748866172 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10637312 140730445894523 140730445894765 140730445894765 140730445897674 0
/proc/21137/statm: 28282 363 304 221 0 87 0
[pid=21139] ppid=21137 vsize=15144768 memory=30172 CPUtime=0.13 cores=1,3,5,7
/proc/21139/stat : 21139 (java) S 21137 21137 14254 0 -1 1077944320 5994 0 0 0 12 1 0 0 20 0 15 0 408209939 15508242432 7543 33554432000 4194304 4196468 140729781881488 140729781864032 140261358608119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
/proc/21139/statm: 3786192 7543 3155 1 0 3748377 0
[pid=21139/tid=21140] ppid=21137 vsize=15144768 memory=576460756329955459 CPUtime=0.09 cores=1,3,5,7
/proc/21139/task/21140/stat : 21140 (java) R 21137 21137 14254 0 -1 4202560 3872 0 0 0 8 1 0 0 20 0 15 0 408209939 15508242432 7543 33554432000 4194304 4196468 140729781881488 140261362837184 140261358620054 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21141] ppid=21137 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21139/task/21141/stat : 21141 (java) S 21137 21137 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408209940 15508242432 7543 33554432000 4194304 4196468 140729781881488 140261286648592 140261358618325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21142] ppid=21137 vsize=15144768 memory=3472750387890235040 CPUtime=0 cores=1,3,5,7
/proc/21139/task/21142/stat : 21142 (java) S 21137 21137 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408209940 15508242432 7543 33554432000 4194304 4196468 140729781881488 140261285596048 140261358618325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21143] ppid=21137 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21139/task/21143/stat : 21143 (java) S 21137 21137 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408209940 15508242432 7543 33554432000 4194304 4196468 140729781881488 140260948700176 140261358618325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21144] ppid=21137 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21139/task/21144/stat : 21144 (java) S 21137 21137 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408209940 15508242432 7543 33554432000 4194304 4196468 140729781881488 140260947647632 140261358618325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21145] ppid=21137 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21139/task/21145/stat : 21145 (java) S 21137 21137 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408209941 15508242432 7543 33554432000 4194304 4196468 140729781881488 140260894398448 140261358619266 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21146] ppid=21137 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21139/task/21146/stat : 21146 (java) S 21137 21137 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408209942 15508242432 7543 33554432000 4194304 4196468 140729781881488 140260893344672 140261358618325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21147] ppid=21137 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21139/task/21147/stat : 21147 (java) S 21137 21137 14254 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 408209942 15508242432 7543 33554432000 4194304 4196468 140729781881488 140260892292080 140261358618325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21148] ppid=21137 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21139/task/21148/stat : 21148 (java) S 21137 21137 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408209944 15508242432 7543 33554432000 4194304 4196468 140729781881488 140260891240656 140261358626715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21149] ppid=21137 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21139/task/21149/stat : 21149 (java) S 21137 21137 14254 0 -1 1077944384 330 0 0 0 0 0 0 0 20 0 15 0 408209944 15508242432 7543 33554432000 4194304 4196468 140729781881488 140260890188272 140261358619266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21150] ppid=21137 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21139/task/21150/stat : 21150 (java) S 21137 21137 14254 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 408209944 15508242432 7543 33554432000 4194304 4196468 140729781881488 140260889135728 140261358619266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21151] ppid=21137 vsize=15144768 memory=140590902158976 CPUtime=0.02 cores=1,3,5,7
/proc/21139/task/21151/stat : 21151 (java) R 21137 21137 14254 0 -1 4202560 364 0 0 0 2 0 0 0 20 0 15 0 408209945 15508242432 7543 33554432000 4194304 4196468 140729781881488 140260888083184 140261337157157 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21152] ppid=21137 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21139/task/21152/stat : 21152 (java) S 21137 21137 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408209945 15508242432 7543 33554432000 4194304 4196468 140729781881488 140260887030880 140261358618325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21153] ppid=21137 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21139/task/21153/stat : 21153 (java) S 21137 21137 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408209945 15508242432 7543 33554432000 4194304 4196468 140729781881488 140260885977392 140261358619266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31624 KiB
[startup+0.21073 s]*
/proc/loadavg: 8.96 8.69 8.36 6/233 21153
/proc/meminfo: memFree=31075024/32770624 swapFree=66920740/67108860
[pid=21137] ppid=21134 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21137/stat : 21137 (xcsp3-exec) S 21134 21137 14254 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408209939 115843072 363 33554432000 4194304 5098028 140730445892112 140730445890216 140420748866172 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10637312 140730445894523 140730445894765 140730445894765 140730445897674 0
/proc/21137/statm: 28282 363 304 221 0 87 0
[pid=21139] ppid=21137 vsize=15144768 memory=41120 CPUtime=0.34 cores=1,3,5,7
/proc/21139/stat : 21139 (java) S 21137 21137 14254 0 -1 1077944320 9484 0 0 0 31 3 0 0 20 0 15 0 408209939 15508242432 10280 33554432000 4194304 4196468 140729781881488 140729781864032 140261358608119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
/proc/21139/statm: 3786192 10280 3301 1 0 3748377 0
[pid=21139/tid=21140] ppid=21137 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/21139/task/21140/stat : 21140 (java) R 21137 21137 14254 0 -1 4202560 6686 0 0 0 18 2 0 0 20 0 15 0 408209939 15508242432 10280 33554432000 4194304 4196468 140729781881488 140261362843104 140261358630045 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21141] ppid=21137 vsize=15144768 memory=10592 CPUtime=0 cores=1,3,5,7
/proc/21139/task/21141/stat : 21141 (java) S 21137 21137 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408209940 15508242432 10280 33554432000 4194304 4196468 140729781881488 140261286648592 140261358618325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21142] ppid=21137 vsize=15144768 memory=140590905012163 CPUtime=0 cores=1,3,5,7
/proc/21139/task/21142/stat : 21142 (java) S 21137 21137 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408209940 15508242432 10280 33554432000 4194304 4196468 140729781881488 140261285596048 140261358618325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21143] ppid=21137 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21139/task/21143/stat : 21143 (java) S 21137 21137 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408209940 15508242432 10280 33554432000 4194304 4196468 140729781881488 140260948700176 140261358618325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21144] ppid=21137 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21139/task/21144/stat : 21144 (java) S 21137 21137 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408209940 15508242432 10280 33554432000 4194304 4196468 140729781881488 140260947647632 140261358618325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21145] ppid=21137 vsize=15144768 memory=140590902158976 CPUtime=0 cores=1,3,5,7
/proc/21139/task/21145/stat : 21145 (java) S 21137 21137 14254 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 408209941 15508242432 10280 33554432000 4194304 4196468 140729781881488 140260894398448 140261358619266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21146] ppid=21137 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21139/task/21146/stat : 21146 (java) S 21137 21137 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408209942 15508242432 10280 33554432000 4194304 4196468 140729781881488 140260893344672 140261358618325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21147] ppid=21137 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21139/task/21147/stat : 21147 (java) S 21137 21137 14254 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 408209942 15508242432 10280 33554432000 4194304 4196468 140729781881488 140260892292080 140261358618325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21148] ppid=21137 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21139/task/21148/stat : 21148 (java) S 21137 21137 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408209944 15508242432 10280 33554432000 4194304 4196468 140729781881488 140260891240656 140261358626715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21149] ppid=21137 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/21139/task/21149/stat : 21149 (java) S 21137 21137 14254 0 -1 1077944384 445 0 0 0 2 0 0 0 20 0 15 0 408209944 15508242432 10280 33554432000 4194304 4196468 140729781881488 140260890188272 140261358619266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21150] ppid=21137 vsize=15144768 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/21139/task/21150/stat : 21150 (java) S 21137 21137 14254 0 -1 1077944384 286 0 0 0 1 0 0 0 20 0 15 0 408209944 15508242432 10280 33554432000 4194304 4196468 140729781881488 140260889135728 140261358619266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21151] ppid=21137 vsize=15144768 memory=140590902158976 CPUtime=0.08 cores=1,3,5,7
/proc/21139/task/21151/stat : 21151 (java) S 21137 21137 14254 0 -1 1077944384 759 0 0 0 8 0 0 0 20 0 15 0 408209945 15508242432 10280 33554432000 4194304 4196468 140729781881488 140260888083184 140261358619266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21152] ppid=21137 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21139/task/21152/stat : 21152 (java) S 21137 21137 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408209945 15508242432 10280 33554432000 4194304 4196468 140729781881488 140260887030880 140261358618325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21153] ppid=21137 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21139/task/21153/stat : 21153 (java) S 21137 21137 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408209945 15508242432 10280 33554432000 4194304 4196468 140729781881488 140260885977392 140261358619266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42572 KiB
[startup+0.317147 s]*
/proc/loadavg: 8.96 8.69 8.36 7/233 21153
/proc/meminfo: memFree=31068060/32770624 swapFree=66920740/67108860
[pid=21137] ppid=21134 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21137/stat : 21137 (xcsp3-exec) S 21134 21137 14254 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408209939 115843072 363 33554432000 4194304 5098028 140730445892112 140730445890216 140420748866172 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10637312 140730445894523 140730445894765 140730445894765 140730445897674 0
/proc/21137/statm: 28282 363 304 221 0 87 0
[pid=21139] ppid=21137 vsize=15149024 memory=50312 CPUtime=0.54 cores=1,3,5,7
/proc/21139/stat : 21139 (java) S 21137 21137 14254 0 -1 1077944320 10996 0 0 0 51 3 0 0 20 0 15 0 408209939 15512600576 12578 33554432000 4194304 4196468 140729781881488 140729781864032 140261358608119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
/proc/21139/statm: 3787256 12578 3349 1 0 3748377 0
[pid=21139/tid=21140] ppid=21137 vsize=15149024 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/21139/task/21140/stat : 21140 (java) R 21137 21137 14254 0 -1 4202560 7948 0 0 0 28 2 0 0 20 0 15 0 408209939 15512600576 12578 33554432000 4194304 4196468 140729781881488 140261362844944 140261358620054 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21141] ppid=21137 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/21139/task/21141/stat : 21141 (java) S 21137 21137 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408209940 15512600576 12578 33554432000 4194304 4196468 140729781881488 140261286648592 140261358618325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21142] ppid=21137 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/21139/task/21142/stat : 21142 (java) S 21137 21137 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408209940 15512600576 12578 33554432000 4194304 4196468 140729781881488 140261285596048 140261358618325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21143] ppid=21137 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/21139/task/21143/stat : 21143 (java) S 21137 21137 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408209940 15512600576 12578 33554432000 4194304 4196468 140729781881488 140260948700176 140261358618325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21144] ppid=21137 vsize=15149024 memory=-4190076264842474805 CPUtime=0 cores=1,3,5,7
/proc/21139/task/21144/stat : 21144 (java) S 21137 21137 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408209940 15512600576 12578 33554432000 4194304 4196468 140729781881488 140260947647632 140261358618325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21145] ppid=21137 vsize=15149024 memory=-7233513673208676511 CPUtime=0 cores=1,3,5,7
/proc/21139/task/21145/stat : 21145 (java) S 21137 21137 14254 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 408209941 15512600576 12578 33554432000 4194304 4196468 140729781881488 140260894398448 140261358619266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21146] ppid=21137 vsize=15149024 memory=6944656425123485561 CPUtime=0 cores=1,3,5,7
/proc/21139/task/21146/stat : 21146 (java) S 21137 21137 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408209942 15512600576 12578 33554432000 4194304 4196468 140729781881488 140260893344672 140261358618325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21147] ppid=21137 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/21139/task/21147/stat : 21147 (java) S 21137 21137 14254 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 408209942 15512600576 12578 33554432000 4194304 4196468 140729781881488 140260892292080 140261358618325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21148] ppid=21137 vsize=15149024 memory=4627853888499060086 CPUtime=0 cores=1,3,5,7
/proc/21139/task/21148/stat : 21148 (java) S 21137 21137 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408209944 15512600576 12578 33554432000 4194304 4196468 140729781881488 140260891240656 140261358626715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21149] ppid=21137 vsize=15149024 memory=7827413994055111515 CPUtime=0.05 cores=1,3,5,7
/proc/21139/task/21149/stat : 21149 (java) R 21137 21137 14254 0 -1 4202560 544 0 0 0 5 0 0 0 20 0 15 0 408209944 15512600576 12578 33554432000 4194304 4196468 140729781881488 140260890188272 140261351593161 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21150] ppid=21137 vsize=15149024 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/21139/task/21150/stat : 21150 (java) R 21137 21137 14254 0 -1 1077944384 324 0 0 0 3 0 0 0 20 0 15 0 408209944 15512600576 12578 33554432000 4194304 4196468 140729781881488 140260889135728 140261358619266 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21151] ppid=21137 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/21139/task/21151/stat : 21151 (java) R 21137 21137 14254 0 -1 4202560 871 0 0 0 12 0 0 0 20 0 15 0 408209945 15512600576 12578 33554432000 4194304 4196468 140729781881488 140260888083184 140261338041184 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21152] ppid=21137 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21139/task/21152/stat : 21152 (java) S 21137 21137 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408209945 15512600576 12578 33554432000 4194304 4196468 140729781881488 140260887030880 140261358618325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21153] ppid=21137 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21139/task/21153/stat : 21153 (java) S 21137 21137 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408209945 15512600576 12578 33554432000 4194304 4196468 140729781881488 140260885977392 140261358619266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51764 KiB
[startup+0.700808 s]
/proc/loadavg: 8.96 8.69 8.36 8/233 21153
/proc/meminfo: memFree=31037724/32770624 swapFree=66920740/67108860
[pid=21137] ppid=21134 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21137/stat : 21137 (xcsp3-exec) S 21134 21137 14254 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408209939 115843072 363 33554432000 4194304 5098028 140730445892112 140730445890216 140420748866172 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10637312 140730445894523 140730445894765 140730445894765 140730445897674 0
/proc/21137/statm: 28282 363 304 221 0 87 0
[pid=21139] ppid=21137 vsize=15151148 memory=114796 CPUtime=1.7 cores=1,3,5,7
/proc/21139/stat : 21139 (java) S 21137 21137 14254 0 -1 1077944320 15270 0 0 0 165 5 0 0 20 0 15 0 408209939 15514775552 28699 33554432000 4194304 4196468 140729781881488 140729781864032 140261358608119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
/proc/21139/statm: 3787787 28699 3441 1 0 3748889 0
[pid=21139/tid=21140] ppid=21137 vsize=15151148 memory=-3704326594973231466 CPUtime=0.68 cores=1,3,5,7
/proc/21139/task/21140/stat : 21140 (java) R 21137 21137 14254 0 -1 4202560 9030 0 0 0 65 3 0 0 20 0 15 0 408209939 15514775552 28699 33554432000 4194304 4196468 140729781881488 140261362827792 140261344303104 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21141] ppid=21137 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21139/task/21141/stat : 21141 (java) S 21137 21137 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408209940 15514775552 28699 33554432000 4194304 4196468 140729781881488 140261286648592 140261358618325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21142] ppid=21137 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21139/task/21142/stat : 21142 (java) S 21137 21137 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408209940 15514775552 28699 33554432000 4194304 4196468 140729781881488 140261285596048 140261358618325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21143] ppid=21137 vsize=15151148 memory=708 CPUtime=0 cores=1,3,5,7
/proc/21139/task/21143/stat : 21143 (java) S 21137 21137 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408209940 15514775552 28699 33554432000 4194304 4196468 140729781881488 140260948700176 140261358618325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21144] ppid=21137 vsize=15151148 memory=9364 CPUtime=0 cores=1,3,5,7
/proc/21139/task/21144/stat : 21144 (java) S 21137 21137 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408209940 15514775552 28699 33554432000 4194304 4196468 140729781881488 140260947647632 140261358618325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21145] ppid=21137 vsize=15151148 memory=1120 CPUtime=0 cores=1,3,5,7
/proc/21139/task/21145/stat : 21145 (java) S 21137 21137 14254 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 408209941 15514775552 28699 33554432000 4194304 4196468 140729781881488 140260894398448 140261358619266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21146] ppid=21137 vsize=15151148 memory=776 CPUtime=0 cores=1,3,5,7
/proc/21139/task/21146/stat : 21146 (java) S 21137 21137 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408209942 15514775552 28699 33554432000 4194304 4196468 140729781881488 140260893344672 140261358618325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21147] ppid=21137 vsize=15151148 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/21139/task/21147/stat : 21147 (java) S 21137 21137 14254 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 408209942 15514775552 28699 33554432000 4194304 4196468 140729781881488 140260892292080 140261358618325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21148] ppid=21137 vsize=15151148 memory=7956 CPUtime=0 cores=1,3,5,7
/proc/21139/task/21148/stat : 21148 (java) S 21137 21137 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408209944 15514775552 28699 33554432000 4194304 4196468 140729781881488 140260891240656 140261358626715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21149] ppid=21137 vsize=15151148 memory=3444 CPUtime=0.35 cores=1,3,5,7
/proc/21139/task/21149/stat : 21149 (java) R 21137 21137 14254 0 -1 4202560 1532 0 0 0 35 0 0 0 20 0 15 0 408209944 15514775552 28699 33554432000 4194304 4196468 140729781881488 140260890177984 140261341981921 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21150] ppid=21137 vsize=15151148 memory=1556 CPUtime=0.33 cores=1,3,5,7
/proc/21139/task/21150/stat : 21150 (java) R 21137 21137 14254 0 -1 4202560 1519 0 0 0 33 0 0 0 20 0 15 0 408209944 15514775552 28699 33554432000 4194304 4196468 140729781881488 140260889121608 140261358622006 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21151] ppid=21137 vsize=15151148 memory=2832 CPUtime=0.29 cores=1,3,5,7
/proc/21139/task/21151/stat : 21151 (java) S 21137 21137 14254 0 -1 1077944384 1881 0 0 0 29 0 0 0 20 0 15 0 408209945 15514775552 28699 33554432000 4194304 4196468 140729781881488 140260888083184 140261358619266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21152] ppid=21137 vsize=15151148 memory=984 CPUtime=0 cores=1,3,5,7
/proc/21139/task/21152/stat : 21152 (java) S 21137 21137 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408209945 15514775552 28699 33554432000 4194304 4196468 140729781881488 140260887030880 140261358618325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21153] ppid=21137 vsize=15151148 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/21139/task/21153/stat : 21153 (java) S 21137 21137 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408209945 15514775552 28699 33554432000 4194304 4196468 140729781881488 140260885977392 140261358619266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 116248 KiB
[startup+1.50075 s]
/proc/loadavg: 8.96 8.69 8.36 9/233 21153
/proc/meminfo: memFree=30939364/32770624 swapFree=66920740/67108860
[pid=21137] ppid=21134 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21137/stat : 21137 (xcsp3-exec) S 21134 21137 14254 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408209939 115843072 363 33554432000 4194304 5098028 140730445892112 140730445890216 140420748866172 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10637312 140730445894523 140730445894765 140730445894765 140730445897674 0
/proc/21137/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/21139/task/21153/stat : 21153 (java) S 21137 21137 14254 0 -1 1077944384 597 0 0 0 0 1 0 0 20 0 19 0 408209945 15789518848 85392 33554432000 4194304 4196468 140729781881488 140260885977392 140261358619266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21210] ppid=21137 vsize=15419452 memory=1452 CPUtime=31.75 cores=1,3,5,7
/proc/21139/task/21210/stat : 21210 (java) R 21137 21137 14254 0 -1 4202560 770 0 0 0 3175 0 0 0 20 0 19 0 408211669 15789518848 85392 33554432000 4194304 4196468 140729781881488 140260804476152 140260972047316 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21211] ppid=21137 vsize=15419452 memory=339520 CPUtime=32.05 cores=1,3,5,7
/proc/21139/task/21211/stat : 21211 (java) R 21137 21137 14254 0 -1 4202560 1914 0 0 0 3205 0 0 0 20 0 19 0 408211669 15789518848 85392 33554432000 4194304 4196468 140729781881488 140260883222488 140260971995351 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21212] ppid=21137 vsize=15419452 memory=1444 CPUtime=32.13 cores=1,3,5,7
/proc/21139/task/21212/stat : 21212 (java) R 21137 21137 14254 0 -1 4202560 1946 0 0 0 3213 0 0 0 20 0 19 0 408211669 15789518848 85392 33554432000 4194304 4196468 140729781881488 140260803424096 140260972562252 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21213] ppid=21137 vsize=15419452 memory=888 CPUtime=32.04 cores=1,3,5,7
/proc/21139/task/21213/stat : 21213 (java) R 21137 21137 14254 0 -1 4202560 1465 0 0 0 3204 0 0 0 20 0 19 0 408211670 15789518848 85392 33554432000 4194304 4196468 140729781881488 140260805531416 140260971995587 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
Current children cumulated CPU time: 195.35 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 343020 KiB
[startup+50.4011 s]
/proc/loadavg: 8.91 8.74 8.40 9/236 21216
/proc/meminfo: memFree=30672580/32770624 swapFree=66920740/67108860
[pid=21137] ppid=21134 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21137/stat : 21137 (xcsp3-exec) S 21134 21137 14254 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408209939 115843072 363 33554432000 4194304 5098028 140730445892112 140730445890216 140420748866172 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10637312 140730445894523 140730445894765 140730445894765 140730445897674 0
/proc/21137/statm: 28282 363 304 221 0 87 0
[pid=21139] ppid=21137 vsize=15419452 memory=343616 CPUtime=198.53 cores=1,3,5,7
/proc/21139/stat : 21139 (java) S 21137 21137 14254 0 -1 1077944320 64276 0 0 0 19830 23 0 0 20 0 19 0 408209939 15789518848 85904 33554432000 4194304 4196468 140729781881488 140729781864032 140261358608119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
/proc/21139/statm: 3854863 85904 3528 1 0 3815965 0
[pid=21139/tid=21140] ppid=21137 vsize=15419452 memory=1120 CPUtime=1.31 cores=1,3,5,7
/proc/21139/task/21140/stat : 21140 (java) S 21137 21137 14254 0 -1 1077944384 11324 0 0 0 126 5 0 0 20 0 19 0 408209939 15789518848 85904 33554432000 4194304 4196468 140729781881488 140261362848896 140261358618325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21141] ppid=21137 vsize=15419452 memory=776 CPUtime=0.02 cores=1,3,5,7
/proc/21139/task/21141/stat : 21141 (java) S 21137 21137 14254 0 -1 1077944384 341 0 0 0 1 1 0 0 20 0 19 0 408209940 15789518848 85904 33554432000 4194304 4196468 140729781881488 140261286648592 140261358618325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21142] ppid=21137 vsize=15419452 memory=1552 CPUtime=0.02 cores=1,3,5,7
/proc/21139/task/21142/stat : 21142 (java) S 21137 21137 14254 0 -1 1077944384 136 0 0 0 1 1 0 0 20 0 19 0 408209940 15789518848 85904 33554432000 4194304 4196468 140729781881488 140261285596048 140261358618325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21143] ppid=21137 vsize=15419452 memory=7956 CPUtime=0.02 cores=1,3,5,7
/proc/21139/task/21143/stat : 21143 (java) S 21137 21137 14254 0 -1 1077944384 437 0 0 0 1 1 0 0 20 0 19 0 408209940 15789518848 85904 33554432000 4194304 4196468 140729781881488 140260948700176 140261358618325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21144] ppid=21137 vsize=15419452 memory=3444 CPUtime=0.03 cores=1,3,5,7
/proc/21139/task/21144/stat : 21144 (java) S 21137 21137 14254 0 -1 1077944384 165 0 0 0 2 1 0 0 20 0 19 0 408209940 15789518848 85904 33554432000 4194304 4196468 140729781881488 140260947647632 140261358618325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21145] ppid=21137 vsize=15419452 memory=341568 CPUtime=0.01 cores=1,3,5,7
/proc/21139/task/21145/stat : 21145 (java) S 21137 21137 14254 0 -1 1077944384 869 0 0 0 1 0 0 0 20 0 19 0 408209941 15789518848 85904 33554432000 4194304 4196468 140729781881488 140260894398448 140261358619266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21146] ppid=21137 vsize=15419452 memory=708 CPUtime=0 cores=1,3,5,7
/proc/21139/task/21146/stat : 21146 (java) S 21137 21137 14254 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 408209942 15789518848 85904 33554432000 4194304 4196468 140729781881488 140260893344736 140261358618325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21147] ppid=21137 vsize=15419452 memory=9364 CPUtime=0 cores=1,3,5,7
/proc/21139/task/21147/stat : 21147 (java) S 21137 21137 14254 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 19 0 408209942 15789518848 85904 33554432000 4194304 4196468 140729781881488 140260892292096 140261358618325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21148] ppid=21137 vsize=15419452 memory=1120 CPUtime=0 cores=1,3,5,7
/proc/21139/task/21148/stat : 21148 (java) S 21137 21137 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408209944 15789518848 85904 33554432000 4194304 4196468 140729781881488 140260891240656 140261358626715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21149] ppid=21137 vsize=15419452 memory=776 CPUtime=2.67 cores=1,3,5,7
/proc/21139/task/21149/stat : 21149 (java) S 21137 21137 14254 0 -1 1077944384 10102 0 0 0 266 1 0 0 20 0 19 0 408209944 15789518848 85904 33554432000 4194304 4196468 140729781881488 140260890188272 140261358619266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21150] ppid=21137 vsize=15419452 memory=1552 CPUtime=3.15 cores=1,3,5,7
/proc/21139/task/21150/stat : 21150 (java) S 21137 21137 14254 0 -1 1077944384 18145 0 0 0 314 1 0 0 20 0 19 0 408209944 15789518848 85904 33554432000 4194304 4196468 140729781881488 140260889135728 140261358619266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21151] ppid=21137 vsize=15419452 memory=1452 CPUtime=0.9 cores=1,3,5,7
/proc/21139/task/21151/stat : 21151 (java) S 21137 21137 14254 0 -1 1077944384 10592 0 0 0 88 2 0 0 20 0 19 0 408209945 15789518848 85904 33554432000 4194304 4196468 140729781881488 140260888083184 140261358619266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21152] ppid=21137 vsize=15419452 memory=341568 CPUtime=0 cores=1,3,5,7
/proc/21139/task/21152/stat : 21152 (java) S 21137 21137 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408209945 15789518848 85904 33554432000 4194304 4196468 140729781881488 140260887030880 140261358618325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21153] ppid=21137 vsize=15419452 memory=1120 CPUtime=0.01 cores=1,3,5,7
/proc/21139/task/21153/stat : 21153 (java) S 21137 21137 14254 0 -1 1077944384 597 0 0 0 0 1 0 0 20 0 19 0 408209945 15789518848 85904 33554432000 4194304 4196468 140729781881488 140260885977392 140261358619266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21210] ppid=21137 vsize=15419452 memory=776 CPUtime=32.53 cores=1,3,5,7
/proc/21139/task/21210/stat : 21210 (java) R 21137 21137 14254 0 -1 4202560 771 0 0 0 3253 0 0 0 20 0 19 0 408211669 15789518848 85904 33554432000 4194304 4196468 140729781881488 140260804475608 140260972047316 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21211] ppid=21137 vsize=15419452 memory=1552 CPUtime=32.85 cores=1,3,5,7
/proc/21139/task/21211/stat : 21211 (java) R 21137 21137 14254 0 -1 4202560 1914 0 0 0 3285 0 0 0 20 0 19 0 408211669 15789518848 85904 33554432000 4194304 4196468 140729781881488 140260883222352 140260971995283 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21212] ppid=21137 vsize=15419452 memory=708 CPUtime=32.91 cores=1,3,5,7
/proc/21139/task/21212/stat : 21212 (java) R 21137 21137 14254 0 -1 4202560 1958 0 0 0 3291 0 0 0 20 0 19 0 408211669 15789518848 85904 33554432000 4194304 4196468 140729781881488 140260803424240 140260971995351 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21213] ppid=21137 vsize=15419452 memory=9364 CPUtime=32.84 cores=1,3,5,7
/proc/21139/task/21213/stat : 21213 (java) R 21137 21137 14254 0 -1 4202560 1583 0 0 0 3284 0 0 0 20 0 19 0 408211670 15789518848 85904 33554432000 4194304 4196468 140729781881488 140260805529488 140260972047316 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
Current children cumulated CPU time: 198.53 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 345068 KiB
[startup+50.8011 s]
/proc/loadavg: 8.91 8.74 8.40 9/236 21216
/proc/meminfo: memFree=30672580/32770624 swapFree=66920740/67108860
[pid=21137] ppid=21134 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21137/stat : 21137 (xcsp3-exec) S 21134 21137 14254 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408209939 115843072 363 33554432000 4194304 5098028 140730445892112 140730445890216 140420748866172 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10637312 140730445894523 140730445894765 140730445894765 140730445897674 0
/proc/21137/statm: 28282 363 304 221 0 87 0
[pid=21139] ppid=21137 vsize=15419452 memory=343616 CPUtime=200.13 cores=1,3,5,7
/proc/21139/stat : 21139 (java) S 21137 21137 14254 0 -1 1077944320 64276 0 0 0 19990 23 0 0 20 0 19 0 408209939 15789518848 85904 33554432000 4194304 4196468 140729781881488 140729781864032 140261358608119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
/proc/21139/statm: 3854863 85904 3528 1 0 3815965 0
[pid=21139/tid=21140] ppid=21137 vsize=15419452 memory=14981065810905736 CPUtime=1.31 cores=1,3,5,7
/proc/21139/task/21140/stat : 21140 (java) S 21137 21137 14254 0 -1 1077944384 11324 0 0 0 126 5 0 0 20 0 19 0 408209939 15789518848 85904 33554432000 4194304 4196468 140729781881488 140261362848896 140261358618325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21141] ppid=21137 vsize=15419452 memory=1412 CPUtime=0.02 cores=1,3,5,7
/proc/21139/task/21141/stat : 21141 (java) S 21137 21137 14254 0 -1 1077944384 341 0 0 0 1 1 0 0 20 0 19 0 408209940 15789518848 85904 33554432000 4194304 4196468 140729781881488 140261286648592 140261358618325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21142] ppid=21137 vsize=15419452 memory=3068 CPUtime=0.02 cores=1,3,5,7
/proc/21139/task/21142/stat : 21142 (java) S 21137 21137 14254 0 -1 1077944384 136 0 0 0 1 1 0 0 20 0 19 0 408209940 15789518848 85904 33554432000 4194304 4196468 140729781881488 140261285596048 140261358618325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21143] ppid=21137 vsize=15419452 memory=-8486080722631693414 CPUtime=0.02 cores=1,3,5,7
/proc/21139/task/21143/stat : 21143 (java) S 21137 21137 14254 0 -1 1077944384 437 0 0 0 1 1 0 0 20 0 19 0 408209940 15789518848 85904 33554432000 4194304 4196468 140729781881488 140260948700176 140261358618325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21144] ppid=21137 vsize=15419452 memory=4426639978525455914 CPUtime=0.03 cores=1,3,5,7
/proc/21139/task/21144/stat : 21144 (java) S 21137 21137 14254 0 -1 1077944384 165 0 0 0 2 1 0 0 20 0 19 0 408209940 15789518848 85904 33554432000 4194304 4196468 140729781881488 140260947647632 140261358618325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21145] ppid=21137 vsize=15419452 memory=3047711553219693942 CPUtime=0.01 cores=1,3,5,7
/proc/21139/task/21145/stat : 21145 (java) S 21137 21137 14254 0 -1 1077944384 869 0 0 0 1 0 0 0 20 0 19 0 408209941 15789518848 85904 33554432000 4194304 4196468 140729781881488 140260894398448 140261358619266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21146] ppid=21137 vsize=15419452 memory=-7521736447810188379 CPUtime=0 cores=1,3,5,7
/proc/21139/task/21146/stat : 21146 (java) S 21137 21137 14254 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 408209942 15789518848 85904 33554432000 4194304 4196468 140729781881488 140260893344736 140261358618325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21147] ppid=21137 vsize=15419452 memory=-8412652160765825907 CPUtime=0 cores=1,3,5,7
/proc/21139/task/21147/stat : 21147 (java) S 21137 21137 14254 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 19 0 408209942 15789518848 85904 33554432000 4194304 4196468 140729781881488 140260892292096 140261358618325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21148] ppid=21137 vsize=15419452 memory=7100839878645619564 CPUtime=0 cores=1,3,5,7
/proc/21139/task/21148/stat : 21148 (java) S 21137 21137 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408209944 15789518848 85904 33554432000 4194304 4196468 140729781881488 140260891240656 140261358626715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21149] ppid=21137 vsize=15419452 memory=-8634980985311628903 CPUtime=2.67 cores=1,3,5,7
/proc/21139/task/21149/stat : 21149 (java) S 21137 21137 14254 0 -1 1077944384 10102 0 0 0 266 1 0 0 20 0 19 0 408209944 15789518848 85904 33554432000 4194304 4196468 140729781881488 140260890188272 140261358619266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21150] ppid=21137 vsize=15419452 memory=7897517683652307531 CPUtime=3.15 cores=1,3,5,7
/proc/21139/task/21150/stat : 21150 (java) S 21137 21137 14254 0 -1 1077944384 18145 0 0 0 314 1 0 0 20 0 19 0 408209944 15789518848 85904 33554432000 4194304 4196468 140729781881488 140260889135728 140261358619266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21151] ppid=21137 vsize=15419452 memory=8514726395715349656 CPUtime=0.9 cores=1,3,5,7
/proc/21139/task/21151/stat : 21151 (java) S 21137 21137 14254 0 -1 1077944384 10592 0 0 0 88 2 0 0 20 0 19 0 408209945 15789518848 85904 33554432000 4194304 4196468 140729781881488 140260888083184 140261358619266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21152] ppid=21137 vsize=15419452 memory=-8486080722631693414 CPUtime=0 cores=1,3,5,7
/proc/21139/task/21152/stat : 21152 (java) S 21137 21137 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408209945 15789518848 85904 33554432000 4194304 4196468 140729781881488 140260887030880 140261358618325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21153] ppid=21137 vsize=15419452 memory=4426639978525455914 CPUtime=0.01 cores=1,3,5,7
/proc/21139/task/21153/stat : 21153 (java) R 21137 21137 14254 0 -1 1077944384 597 0 0 0 0 1 0 0 20 0 19 0 408209945 15789518848 85904 33554432000 4194304 4196468 140729781881488 140260885977392 140261358619266 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21210] ppid=21137 vsize=15419452 memory=3047711553219693942 CPUtime=32.93 cores=1,3,5,7
/proc/21139/task/21210/stat : 21210 (java) R 21137 21137 14254 0 -1 4202560 771 0 0 0 3293 0 0 0 20 0 19 0 408211669 15789518848 85904 33554432000 4194304 4196468 140729781881488 140260804475608 140260971995216 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21211] ppid=21137 vsize=15419452 memory=-7521736447810188379 CPUtime=33.25 cores=1,3,5,7
/proc/21139/task/21211/stat : 21211 (java) R 21137 21137 14254 0 -1 4202560 1914 0 0 0 3325 0 0 0 20 0 19 0 408211669 15789518848 85904 33554432000 4194304 4196468 140729781881488 140260883222352 140260972574090 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21212] ppid=21137 vsize=15419452 memory=-8412652160765825907 CPUtime=33.31 cores=1,3,5,7
/proc/21139/task/21212/stat : 21212 (java) R 21137 21137 14254 0 -1 4202560 1958 0 0 0 3331 0 0 0 20 0 19 0 408211669 15789518848 85904 33554432000 4194304 4196468 140729781881488 140260803424240 140260971995017 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21213] ppid=21137 vsize=15419452 memory=7100839878645619564 CPUtime=33.24 cores=1,3,5,7
/proc/21139/task/21213/stat : 21213 (java) R 21137 21137 14254 0 -1 4202560 1583 0 0 0 3324 0 0 0 20 0 19 0 408211670 15789518848 85904 33554432000 4194304 4196468 140729781881488 140260805529624 140260971995251 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
Current children cumulated CPU time: 200.13 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 345068 KiB
[startup+51.0011 s]*
/proc/loadavg: 8.91 8.74 8.40 9/236 21216
/proc/meminfo: memFree=30668608/32770624 swapFree=66920740/67108860
[pid=21137] ppid=21134 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21137/stat : 21137 (xcsp3-exec) S 21134 21137 14254 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408209939 115843072 363 33554432000 4194304 5098028 140730445892112 140730445890216 140420748866172 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10637312 140730445894523 140730445894765 140730445894765 140730445897674 0
/proc/21137/statm: 28282 363 304 221 0 87 0
[pid=21139] ppid=21137 vsize=15419452 memory=345664 CPUtime=200.95 cores=1,3,5,7
/proc/21139/stat : 21139 (java) S 21137 21137 14254 0 -1 1077944320 64292 0 0 0 20072 23 0 0 20 0 19 0 408209939 15789518848 86416 33554432000 4194304 4196468 140729781881488 140729781864032 140261358608119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
/proc/21139/statm: 3854863 86416 3528 1 0 3815965 0
[pid=21139/tid=21140] ppid=21137 vsize=15419452 memory=7883960649037381690 CPUtime=1.31 cores=1,3,5,7
/proc/21139/task/21140/stat : 21140 (java) S 21137 21137 14254 0 -1 1077944384 11324 0 0 0 126 5 0 0 20 0 19 0 408209939 15789518848 86416 33554432000 4194304 4196468 140729781881488 140261362848896 140261358618325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21141] ppid=21137 vsize=15419452 memory=10592 CPUtime=0.02 cores=1,3,5,7
/proc/21139/task/21141/stat : 21141 (java) S 21137 21137 14254 0 -1 1077944384 341 0 0 0 1 1 0 0 20 0 19 0 408209940 15789518848 86416 33554432000 4194304 4196468 140729781881488 140261286648592 140261358618325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21142] ppid=21137 vsize=15419452 memory=140590905012163 CPUtime=0.02 cores=1,3,5,7
/proc/21139/task/21142/stat : 21142 (java) S 21137 21137 14254 0 -1 1077944384 136 0 0 0 1 1 0 0 20 0 19 0 408209940 15789518848 86416 33554432000 4194304 4196468 140729781881488 140261285596048 140261358618325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21143] ppid=21137 vsize=15419452 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/21139/task/21143/stat : 21143 (java) S 21137 21137 14254 0 -1 1077944384 437 0 0 0 1 1 0 0 20 0 19 0 408209940 15789518848 86416 33554432000 4194304 4196468 140729781881488 140260948700176 140261358618325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21144] ppid=21137 vsize=15419452 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/21139/task/21144/stat : 21144 (java) S 21137 21137 14254 0 -1 1077944384 165 0 0 0 2 1 0 0 20 0 19 0 408209940 15789518848 86416 33554432000 4194304 4196468 140729781881488 140260947647632 140261358618325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21145] ppid=21137 vsize=15419452 memory=140590902158976 CPUtime=0.01 cores=1,3,5,7
/proc/21139/task/21145/stat : 21145 (java) S 21137 21137 14254 0 -1 1077944384 869 0 0 0 1 0 0 0 20 0 19 0 408209941 15789518848 86416 33554432000 4194304 4196468 140729781881488 140260894398448 140261358619266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21146] ppid=21137 vsize=15419452 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21139/task/21146/stat : 21146 (java) S 21137 21137 14254 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 408209942 15789518848 86416 33554432000 4194304 4196468 140729781881488 140260893344736 140261358618325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21147] ppid=21137 vsize=15419452 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21139/task/21147/stat : 21147 (java) S 21137 21137 14254 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 19 0 408209942 15789518848 86416 33554432000 4194304 4196468 140729781881488 140260892292096 140261358618325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21148] ppid=21137 vsize=15419452 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21139/task/21148/stat : 21148 (java) S 21137 21137 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408209944 15789518848 86416 33554432000 4194304 4196468 140729781881488 140260891240656 140261358626715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21149] ppid=21137 vsize=15419452 memory=0 CPUtime=2.67 cores=1,3,5,7
/proc/21139/task/21149/stat : 21149 (java) S 21137 21137 14254 0 -1 1077944384 10102 0 0 0 266 1 0 0 20 0 19 0 408209944 15789518848 86416 33554432000 4194304 4196468 140729781881488 140260890188272 140261358619266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21150] ppid=21137 vsize=15419452 memory=-1 CPUtime=3.15 cores=1,3,5,7
/proc/21139/task/21150/stat : 21150 (java) S 21137 21137 14254 0 -1 1077944384 18145 0 0 0 314 1 0 0 20 0 19 0 408209944 15789518848 86416 33554432000 4194304 4196468 140729781881488 140260889135728 140261358619266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21151] ppid=21137 vsize=15419452 memory=140590902158976 CPUtime=0.9 cores=1,3,5,7
/proc/21139/task/21151/stat : 21151 (java) S 21137 21137 14254 0 -1 1077944384 10592 0 0 0 88 2 0 0 20 0 19 0 408209945 15789518848 86416 33554432000 4194304 4196468 140729781881488 140260888083184 140261358619266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21152] ppid=21137 vsize=15419452 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21139/task/21152/stat : 21152 (java) S 21137 21137 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408209945 15789518848 86416 33554432000 4194304 4196468 140729781881488 140260887030880 140261358618325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21153] ppid=21137 vsize=15419452 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/21139/task/21153/stat : 21153 (java) S 21137 21137 14254 0 -1 1077944384 610 0 0 0 0 1 0 0 20 0 19 0 408209945 15789518848 86416 33554432000 4194304 4196468 140729781881488 140260885977392 140261358619266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21210] ppid=21137 vsize=15419452 memory=0 CPUtime=33.13 cores=1,3,5,7
/proc/21139/task/21210/stat : 21210 (java) R 21137 21137 14254 0 -1 4202560 771 0 0 0 3313 0 0 0 20 0 19 0 408211669 15789518848 86416 33554432000 4194304 4196468 140729781881488 140260804475608 140260971995551 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21211] ppid=21137 vsize=15419452 memory=0 CPUtime=33.46 cores=1,3,5,7
/proc/21139/task/21211/stat : 21211 (java) R 21137 21137 14254 0 -1 4202560 1914 0 0 0 3346 0 0 0 20 0 19 0 408211669 15789518848 86416 33554432000 4194304 4196468 140729781881488 140260883222352 140260971995567 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21212] ppid=21137 vsize=15419452 memory=0 CPUtime=33.52 cores=1,3,5,7
/proc/21139/task/21212/stat : 21212 (java) R 21137 21137 14254 0 -1 4202560 1958 0 0 0 3352 0 0 0 20 0 19 0 408211669 15789518848 86416 33554432000 4194304 4196468 140729781881488 140260803424240 140260971995351 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
[pid=21139/tid=21213] ppid=21137 vsize=15419452 memory=0 CPUtime=33.45 cores=1,3,5,7
/proc/21139/task/21213/stat : 21213 (java) R 21137 21137 14254 0 -1 4202560 1586 0 0 0 3345 0 0 0 20 0 19 0 408211670 15789518848 86416 33554432000 4194304 4196468 140729781881488 140260805529624 140260971995395 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17580032 140729781887983 140729781888154 140729781888154 140729781891023 0
Current children cumulated CPU time: 200.95 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 347116 KiB
Child status: 0
Real time (s): 51.0939
CPU time (s): 201.271
CPU user time (s): 201.03
CPU system time (s): 0.240716
CPU usage (%): 393.923
Max. virtual memory (cumulated for all children) (KiB): 15532580
Max. memory (cumulated for all children) (KiB): 347116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 201.03
system time used= 0.240716
maximum resident set size= 347832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65698
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4827
involuntary context switches= 3794
# summary of solver processes directly reported to runsolver:
# pid: 21137
# total CPU time (s): 201.271
# total CPU user time (s): 201.03
# total CPU system time (s): 0.240716
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.342101 second user time and 0.631768 second system time
The end