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 (13118 MiB free)
memory of node 1: 16384 MiB (11644 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405834-1569399182/watcher-4405834-1569399182 -o /tmp/evaluation-result-4405834-1569399182/solver-4405834-1569399182 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node141-1569396627-21715 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 2000911244 HOME/instance-4405834-1569399182.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=22121, runsolver pid=22118
Current StackSize limit: 8192 KiB
[startup+0.100166 s]*
/proc/loadavg: 2.04 1.99 1.87 5/229 22137
/proc/meminfo: memFree=25332224/32770624 swapFree=66936812/67108860
[pid=22121] ppid=22118 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/22121/stat : 22121 (xcsp3-exec) S 22118 22121 21684 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515855977 115843072 362 33554432000 4194304 5098028 140733740921888 140733740919992 139873262240380 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24961024 140733740929914 140733740930157 140733740930157 140733740933066 0
/proc/22121/statm: 28282 362 304 221 0 87 0
[pid=22123] ppid=22121 vsize=15144776 memory=29380 CPUtime=0.13 cores=0,2,4,6
/proc/22123/stat : 22123 (java) S 22121 22121 21684 0 -1 1077944320 5809 0 0 0 11 2 0 0 20 0 15 0 515855977 15508250624 7345 33554432000 4194304 4196468 140720630468944 140720630451488 139888510721783 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
/proc/22123/statm: 3786194 7345 3121 1 0 3748377 0
[pid=22123/tid=22124] ppid=22121 vsize=15144776 memory=-8094235084319000145 CPUtime=0.09 cores=0,2,4,6
/proc/22123/task/22124/stat : 22124 (java) R 22121 22121 21684 0 -1 4202560 3733 0 0 0 8 1 0 0 20 0 15 0 515855978 15508250624 7345 33554432000 4194304 4196468 140720630468944 139888514955056 139888510733718 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22125] ppid=22121 vsize=15144776 memory=5793855448911702457 CPUtime=0 cores=0,2,4,6
/proc/22123/task/22125/stat : 22125 (java) S 22121 22121 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515855979 15508250624 7345 33554432000 4194304 4196468 140720630468944 139888438762256 139888510731989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22126] ppid=22121 vsize=15144776 memory=140197901809280 CPUtime=0 cores=0,2,4,6
/proc/22123/task/22126/stat : 22126 (java) S 22121 22121 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515855979 15508250624 7345 33554432000 4194304 4196468 140720630468944 139888437709712 139888510731989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22127] ppid=22121 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22123/task/22127/stat : 22127 (java) S 22121 22121 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515855979 15508250624 7345 33554432000 4194304 4196468 140720630468944 139888436657168 139888510731989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22128] ppid=22121 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22123/task/22128/stat : 22128 (java) S 22121 22121 21684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515855979 15508250624 7345 33554432000 4194304 4196468 140720630468944 139888435604624 139888510731989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22129] ppid=22121 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22123/task/22129/stat : 22129 (java) S 22121 22121 21684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515855980 15508250624 7345 33554432000 4194304 4196468 140720630468944 139887978751984 139888510732930 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22130] ppid=22121 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22123/task/22130/stat : 22130 (java) S 22121 22121 21684 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515855981 15508250624 7345 33554432000 4194304 4196468 140720630468944 139887977698208 139888510731989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22131] ppid=22121 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22123/task/22131/stat : 22131 (java) S 22121 22121 21684 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515855981 15508250624 7345 33554432000 4194304 4196468 140720630468944 139887976645616 139888510731989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22132] ppid=22121 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22123/task/22132/stat : 22132 (java) S 22121 22121 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515855983 15508250624 7345 33554432000 4194304 4196468 140720630468944 139887975594192 139888510740379 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22133] ppid=22121 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22123/task/22133/stat : 22133 (java) R 22121 22121 21684 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 515855983 15508250624 7345 33554432000 4194304 4196468 140720630468944 139887974541808 139888510732930 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22134] ppid=22121 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22123/task/22134/stat : 22134 (java) R 22121 22121 21684 0 -1 4202560 128 0 0 0 0 0 0 0 20 0 15 0 515855983 15508250624 7345 33554432000 4194304 4196468 140720630468944 139887973489264 139888494120956 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22135] ppid=22121 vsize=15144776 memory=140197901809280 CPUtime=0.02 cores=0,2,4,6
/proc/22123/task/22135/stat : 22135 (java) R 22121 22121 21684 0 -1 4202560 352 0 0 0 2 0 0 0 20 0 15 0 515855983 15508250624 7345 33554432000 4194304 4196468 140720630468944 139887972436720 139888495283969 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22136] ppid=22121 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22123/task/22136/stat : 22136 (java) S 22121 22121 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515855983 15508250624 7345 33554432000 4194304 4196468 140720630468944 139887971384416 139888510731989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22137] ppid=22121 vsize=15144776 memory=140197901809280 CPUtime=0 cores=0,2,4,6
/proc/22123/task/22137/stat : 22137 (java) S 22121 22121 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515855984 15508250624 7345 33554432000 4194304 4196468 140720630468944 139887970330928 139888510732930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30828 KiB
[startup+0.211227 s]*
/proc/loadavg: 2.04 1.99 1.87 3/212 22140
/proc/meminfo: memFree=25342264/32770624 swapFree=66936812/67108860
[pid=22121] ppid=22118 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/22121/stat : 22121 (xcsp3-exec) S 22118 22121 21684 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515855977 115843072 362 33554432000 4194304 5098028 140733740921888 140733740919992 139873262240380 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24961024 140733740929914 140733740930157 140733740930157 140733740933066 0
/proc/22121/statm: 28282 362 304 221 0 87 0
[pid=22123] ppid=22121 vsize=15144776 memory=40380 CPUtime=0.34 cores=0,2,4,6
/proc/22123/stat : 22123 (java) S 22121 22121 21684 0 -1 1077944320 9298 0 0 0 31 3 0 0 20 0 15 0 515855977 15508250624 10095 33554432000 4194304 4196468 140720630468944 140720630451488 139888510721783 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
/proc/22123/statm: 3786194 10095 3308 1 0 3748377 0
[pid=22123/tid=22124] ppid=22121 vsize=15144776 memory=8246674155440865347 CPUtime=0.2 cores=0,2,4,6
/proc/22123/task/22124/stat : 22124 (java) R 22121 22121 21684 0 -1 4202560 6601 0 0 0 17 3 0 0 20 0 15 0 515855978 15508250624 10095 33554432000 4194304 4196468 140720630468944 139888514954512 139888510733718 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22125] ppid=22121 vsize=15144776 memory=4211973924106599818 CPUtime=0 cores=0,2,4,6
/proc/22123/task/22125/stat : 22125 (java) S 22121 22121 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515855979 15508250624 10095 33554432000 4194304 4196468 140720630468944 139888438762256 139888510731989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22126] ppid=22121 vsize=15144776 memory=140197901809280 CPUtime=0 cores=0,2,4,6
/proc/22123/task/22126/stat : 22126 (java) S 22121 22121 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515855979 15508250624 10095 33554432000 4194304 4196468 140720630468944 139888437709712 139888510731989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22127] ppid=22121 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22123/task/22127/stat : 22127 (java) S 22121 22121 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515855979 15508250624 10095 33554432000 4194304 4196468 140720630468944 139888436657168 139888510731989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22128] ppid=22121 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22123/task/22128/stat : 22128 (java) S 22121 22121 21684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515855979 15508250624 10095 33554432000 4194304 4196468 140720630468944 139888435604624 139888510731989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22129] ppid=22121 vsize=15144776 memory=140197901809280 CPUtime=0 cores=0,2,4,6
/proc/22123/task/22129/stat : 22129 (java) S 22121 22121 21684 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 515855980 15508250624 10095 33554432000 4194304 4196468 140720630468944 139887978751984 139888510732930 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22130] ppid=22121 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22123/task/22130/stat : 22130 (java) S 22121 22121 21684 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515855981 15508250624 10095 33554432000 4194304 4196468 140720630468944 139887977698208 139888510731989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22131] ppid=22121 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22123/task/22131/stat : 22131 (java) S 22121 22121 21684 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515855981 15508250624 10095 33554432000 4194304 4196468 140720630468944 139887976645616 139888510731989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22132] ppid=22121 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22123/task/22132/stat : 22132 (java) S 22121 22121 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515855983 15508250624 10095 33554432000 4194304 4196468 140720630468944 139887975594192 139888510740379 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22133] ppid=22121 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/22123/task/22133/stat : 22133 (java) S 22121 22121 21684 0 -1 1077944384 346 0 0 0 2 0 0 0 20 0 15 0 515855983 15508250624 10095 33554432000 4194304 4196468 140720630468944 139887974541808 139888510732930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22134] ppid=22121 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/22123/task/22134/stat : 22134 (java) S 22121 22121 21684 0 -1 1077944384 278 0 0 0 2 0 0 0 20 0 15 0 515855983 15508250624 10095 33554432000 4194304 4196468 140720630468944 139887973489264 139888510732930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22135] ppid=22121 vsize=15144776 memory=140197901809280 CPUtime=0.08 cores=0,2,4,6
/proc/22123/task/22135/stat : 22135 (java) R 22121 22121 21684 0 -1 4202560 767 0 0 0 8 0 0 0 20 0 15 0 515855983 15508250624 10095 33554432000 4194304 4196468 140720630468944 139887972436528 139888489387423 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22136] ppid=22121 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22123/task/22136/stat : 22136 (java) S 22121 22121 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515855983 15508250624 10095 33554432000 4194304 4196468 140720630468944 139887971384416 139888510731989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22137] ppid=22121 vsize=15144776 memory=140197901809280 CPUtime=0 cores=0,2,4,6
/proc/22123/task/22137/stat : 22137 (java) S 22121 22121 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515855984 15508250624 10095 33554432000 4194304 4196468 140720630468944 139887970330928 139888510732930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41828 KiB
[startup+0.311477 s]*
/proc/loadavg: 2.04 1.99 1.87 5/211 22155
/proc/meminfo: memFree=25366664/32770624 swapFree=66936812/67108860
[pid=22121] ppid=22118 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/22121/stat : 22121 (xcsp3-exec) S 22118 22121 21684 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515855977 115843072 362 33554432000 4194304 5098028 140733740921888 140733740919992 139873262240380 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24961024 140733740929914 140733740930157 140733740930157 140733740933066 0
/proc/22121/statm: 28282 362 304 221 0 87 0
[pid=22123] ppid=22121 vsize=15149032 memory=49156 CPUtime=0.52 cores=0,2,4,6
/proc/22123/stat : 22123 (java) S 22121 22121 21684 0 -1 1077944320 10634 0 0 0 48 4 0 0 20 0 15 0 515855977 15512608768 12289 33554432000 4194304 4196468 140720630468944 140720630451488 139888510721783 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
/proc/22123/statm: 3787258 12289 3348 1 0 3748377 0
[pid=22123/tid=22124] ppid=22121 vsize=15149032 memory=8027219270080752492 CPUtime=0.29 cores=0,2,4,6
/proc/22123/task/22124/stat : 22124 (java) R 22121 22121 21684 0 -1 4202560 7651 0 0 0 26 3 0 0 20 0 15 0 515855978 15512608768 12316 33554432000 4194304 4196468 140720630468944 139888514952896 139888489791952 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22125] ppid=22121 vsize=15149032 memory=3833186913019306033 CPUtime=0 cores=0,2,4,6
/proc/22123/task/22125/stat : 22125 (java) S 22121 22121 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515855979 15512608768 12316 33554432000 4194304 4196468 140720630468944 139888438762256 139888510731989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22126] ppid=22121 vsize=15149032 memory=29678448712876256 CPUtime=0 cores=0,2,4,6
/proc/22123/task/22126/stat : 22126 (java) S 22121 22121 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515855979 15512608768 12316 33554432000 4194304 4196468 140720630468944 139888437709712 139888510731989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22127] ppid=22121 vsize=15149032 memory=288230604660466584 CPUtime=0 cores=0,2,4,6
/proc/22123/task/22127/stat : 22127 (java) S 22121 22121 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515855979 15512608768 12316 33554432000 4194304 4196468 140720630468944 139888436657168 139888510731989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22128] ppid=22121 vsize=15149032 memory=3813519 CPUtime=0 cores=0,2,4,6
/proc/22123/task/22128/stat : 22128 (java) S 22121 22121 21684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515855979 15512608768 12316 33554432000 4194304 4196468 140720630468944 139888435604624 139888510731989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22129] ppid=22121 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22123/task/22129/stat : 22129 (java) S 22121 22121 21684 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 515855980 15512608768 12316 33554432000 4194304 4196468 140720630468944 139887978751984 139888510732930 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22130] ppid=22121 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22123/task/22130/stat : 22130 (java) S 22121 22121 21684 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515855981 15512608768 12316 33554432000 4194304 4196468 140720630468944 139887977698208 139888510731989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22131] ppid=22121 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22123/task/22131/stat : 22131 (java) S 22121 22121 21684 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515855981 15512608768 12316 33554432000 4194304 4196468 140720630468944 139887976645616 139888510731989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22132] ppid=22121 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22123/task/22132/stat : 22132 (java) S 22121 22121 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515855983 15512608768 12316 33554432000 4194304 4196468 140720630468944 139887975594192 139888510740379 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22133] ppid=22121 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/22123/task/22133/stat : 22133 (java) R 22121 22121 21684 0 -1 4202560 414 0 0 0 3 0 0 0 20 0 15 0 515855983 15512608768 12316 33554432000 4194304 4196468 140720630468944 139887974533264 139888494222209 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22134] ppid=22121 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/22123/task/22134/stat : 22134 (java) S 22121 22121 21684 0 -1 1077944384 322 0 0 0 4 0 0 0 20 0 15 0 515855983 15512608768 12316 33554432000 4194304 4196468 140720630468944 139887973489264 139888510732930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22135] ppid=22121 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/22123/task/22135/stat : 22135 (java) S 22121 22121 21684 0 -1 1077944384 946 0 0 0 13 0 0 0 20 0 15 0 515855983 15512608768 12316 33554432000 4194304 4196468 140720630468944 139887972436720 139888510732930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22136] ppid=22121 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22123/task/22136/stat : 22136 (java) S 22121 22121 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515855983 15512608768 12316 33554432000 4194304 4196468 140720630468944 139887971384416 139888510731989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22137] ppid=22121 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22123/task/22137/stat : 22137 (java) S 22121 22121 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515855984 15512608768 12316 33554432000 4194304 4196468 140720630468944 139887970330928 139888510732930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50604 KiB
[startup+0.700787 s]
/proc/loadavg: 2.04 1.99 1.87 6/231 22184
/proc/meminfo: memFree=25303224/32770624 swapFree=66936812/67108860
[pid=22121] ppid=22118 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/22121/stat : 22121 (xcsp3-exec) S 22118 22121 21684 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515855977 115843072 362 33554432000 4194304 5098028 140733740921888 140733740919992 139873262240380 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24961024 140733740929914 140733740930157 140733740930157 140733740933066 0
/proc/22121/statm: 28282 362 304 221 0 87 0
[pid=22123] ppid=22121 vsize=15151156 memory=94812 CPUtime=1.76 cores=0,2,4,6
/proc/22123/stat : 22123 (java) S 22121 22121 21684 0 -1 1077944320 15339 0 0 0 170 6 0 0 20 0 15 0 515855977 15514783744 23703 33554432000 4194304 4196468 140720630468944 140720630451488 139888510721783 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
/proc/22123/statm: 3787789 23703 3449 1 0 3748889 0
[pid=22123/tid=22124] ppid=22121 vsize=15151156 memory=33 CPUtime=0.67 cores=0,2,4,6
/proc/22123/task/22124/stat : 22124 (java) R 22121 22121 21684 0 -1 4202560 9132 0 0 0 63 4 0 0 20 0 15 0 515855978 15514783744 23703 33554432000 4194304 4196468 140720630468944 139888514959088 139888510733718 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22125] ppid=22121 vsize=15151156 memory=-7604262568725289114 CPUtime=0 cores=0,2,4,6
/proc/22123/task/22125/stat : 22125 (java) S 22121 22121 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515855979 15514783744 23703 33554432000 4194304 4196468 140720630468944 139888438762256 139888510731989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22126] ppid=22121 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22123/task/22126/stat : 22126 (java) S 22121 22121 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515855979 15514783744 23703 33554432000 4194304 4196468 140720630468944 139888437709712 139888510731989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22127] ppid=22121 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22123/task/22127/stat : 22127 (java) S 22121 22121 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515855979 15514783744 23703 33554432000 4194304 4196468 140720630468944 139888436657168 139888510731989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22128] ppid=22121 vsize=15151156 memory=280395597745904 CPUtime=0 cores=0,2,4,6
/proc/22123/task/22128/stat : 22128 (java) S 22121 22121 21684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515855979 15514783744 23703 33554432000 4194304 4196468 140720630468944 139888435604624 139888510731989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22129] ppid=22121 vsize=15151156 memory=2458197690113 CPUtime=0 cores=0,2,4,6
/proc/22123/task/22129/stat : 22129 (java) S 22121 22121 21684 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 515855980 15514783744 23703 33554432000 4194304 4196468 140720630468944 139887978751984 139888510732930 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22130] ppid=22121 vsize=15151156 memory=2462492657409 CPUtime=0 cores=0,2,4,6
/proc/22123/task/22130/stat : 22130 (java) S 22121 22121 21684 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515855981 15514783744 23703 33554432000 4194304 4196468 140720630468944 139887977698208 139888510731989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22131] ppid=22121 vsize=15151156 memory=2466787624705 CPUtime=0 cores=0,2,4,6
/proc/22123/task/22131/stat : 22131 (java) S 22121 22121 21684 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515855981 15514783744 23703 33554432000 4194304 4196468 140720630468944 139887976645616 139888510731989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22132] ppid=22121 vsize=15151156 memory=2492557428481 CPUtime=0 cores=0,2,4,6
/proc/22123/task/22132/stat : 22132 (java) S 22121 22121 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515855983 15514783744 23703 33554432000 4194304 4196468 140720630468944 139887975594192 139888510740379 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22133] ppid=22121 vsize=15151156 memory=2535507101185 CPUtime=0.36 cores=0,2,4,6
/proc/22123/task/22133/stat : 22133 (java) R 22121 22121 21684 0 -1 4202560 1452 0 0 0 36 0 0 0 20 0 15 0 515855983 15514783744 23703 33554432000 4194304 4196468 140720630468944 139887974523216 139888510743130 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22134] ppid=22121 vsize=15151156 memory=2552686970369 CPUtime=0.33 cores=0,2,4,6
/proc/22123/task/22134/stat : 22134 (java) R 22121 22121 21684 0 -1 4202560 1320 0 0 0 33 0 0 0 20 0 15 0 515855983 15514783744 23703 33554432000 4194304 4196468 140720630468944 139887973489232 139888496785008 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22135] ppid=22121 vsize=15151156 memory=182 CPUtime=0.36 cores=0,2,4,6
/proc/22123/task/22135/stat : 22135 (java) R 22121 22121 21684 0 -1 1077944384 2128 0 0 0 36 0 0 0 20 0 15 0 515855983 15514783744 23703 33554432000 4194304 4196468 140720630468944 139887972436720 139888510732930 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22136] ppid=22121 vsize=15151156 memory=373 CPUtime=0 cores=0,2,4,6
/proc/22123/task/22136/stat : 22136 (java) S 22121 22121 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515855983 15514783744 23703 33554432000 4194304 4196468 140720630468944 139887971384416 139888510731989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22137] ppid=22121 vsize=15151156 memory=2538 CPUtime=0 cores=0,2,4,6
/proc/22123/task/22137/stat : 22137 (java) S 22121 22121 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515855984 15514783744 23703 33554432000 4194304 4196468 140720630468944 139887970330928 139888510732930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
Current children cumulated CPU time: 1.76 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 96260 KiB
[startup+1.50089 s]
/proc/loadavg: 2.04 1.99 1.87 6/231 22184
/proc/meminfo: memFree=25081768/32770624 swapFree=66936812/67108860
[pid=22121] ppid=22118 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/22121/stat : 22121 (xcsp3-exec) S 22118 22121 21684 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515855977 115843072 362 33554432000 4194304 5098028 140733740921888 140733740919992 139873262240380 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24961024 140733740929914 140733740930157 140733740930157 140733740933066 0
/proc/22121/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/22121/stat : 22121 (xcsp3-exec) S 22118 22121 21684 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515855977 115843072 362 33554432000 4194304 5098028 140733740921888 140733740919992 139873262240380 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24961024 140733740929914 140733740930157 140733740930157 140733740933066 0
/proc/22121/statm: 28282 362 304 221 0 87 0
[pid=22123] ppid=22121 vsize=15153204 memory=2027572 CPUtime=1196.77 cores=0,2,4,6
/proc/22123/stat : 22123 (java) S 22121 22121 21684 0 -1 1077944320 83463 0 0 0 119454 223 0 0 20 0 15 0 515855977 15516880896 506893 33554432000 4194304 4196468 140720630468944 140720630451488 139888510721783 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
/proc/22123/statm: 3788301 506893 3533 1 0 3749401 0
[pid=22123/tid=22124] ppid=22121 vsize=15153204 memory=6188 CPUtime=1183.47 cores=0,2,4,6
/proc/22123/task/22124/stat : 22124 (java) R 22121 22121 21684 0 -1 4202560 32049 0 0 0 118334 13 0 0 20 0 15 0 515855978 15516880896 506893 33554432000 4194304 4196468 140720630468944 139888514958384 139888115229560 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22125] ppid=22121 vsize=15153204 memory=768 CPUtime=1.86 cores=0,2,4,6
/proc/22123/task/22125/stat : 22125 (java) S 22121 22121 21684 0 -1 1077944384 1904 0 0 0 140 46 0 0 20 0 15 0 515855979 15516880896 506893 33554432000 4194304 4196468 140720630468944 139888438762256 139888510731989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22126] ppid=22121 vsize=15153204 memory=3616 CPUtime=1.87 cores=0,2,4,6
/proc/22123/task/22126/stat : 22126 (java) S 22121 22121 21684 0 -1 1077944384 1924 0 0 0 140 47 0 0 20 0 15 0 515855979 15516880896 506893 33554432000 4194304 4196468 140720630468944 139888437709712 139888510731989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22127] ppid=22121 vsize=15153204 memory=53236 CPUtime=1.87 cores=0,2,4,6
/proc/22123/task/22127/stat : 22127 (java) S 22121 22121 21684 0 -1 1077944384 2702 0 0 0 139 48 0 0 20 0 15 0 515855979 15516880896 506893 33554432000 4194304 4196468 140720630468944 139888436657168 139888510731989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22128] ppid=22121 vsize=15153204 memory=988 CPUtime=1.9 cores=0,2,4,6
/proc/22123/task/22128/stat : 22128 (java) S 22121 22121 21684 0 -1 1077944384 1614 0 0 0 139 51 0 0 20 0 15 0 515855979 15516880896 506893 33554432000 4194304 4196468 140720630468944 139888435604624 139888510731989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22129] ppid=22121 vsize=15153204 memory=2012 CPUtime=0.1 cores=0,2,4,6
/proc/22123/task/22129/stat : 22129 (java) S 22121 22121 21684 0 -1 1077944384 2287 0 0 0 10 0 0 0 20 0 15 0 515855980 15516880896 506893 33554432000 4194304 4196468 140720630468944 139887978751984 139888510732930 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 16 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22130] ppid=22121 vsize=15153204 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/22123/task/22130/stat : 22130 (java) S 22121 22121 21684 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 515855981 15516880896 506893 33554432000 4194304 4196468 140720630468944 139887977698272 139888510731989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22131] ppid=22121 vsize=15153204 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/22123/task/22131/stat : 22131 (java) S 22121 22121 21684 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 515855981 15516880896 506893 33554432000 4194304 4196468 140720630468944 139887976645632 139888510731989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22132] ppid=22121 vsize=15153204 memory=2027572 CPUtime=0 cores=0,2,4,6
/proc/22123/task/22132/stat : 22132 (java) S 22121 22121 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515855983 15516880896 506893 33554432000 4194304 4196468 140720630468944 139887975594192 139888510740379 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22133] ppid=22121 vsize=15153204 memory=3608 CPUtime=2.43 cores=0,2,4,6
/proc/22123/task/22133/stat : 22133 (java) S 22121 22121 21684 0 -1 1077944384 16110 0 0 0 241 2 0 0 20 0 15 0 515855983 15516880896 506893 33554432000 4194304 4196468 140720630468944 139887974541808 139888510732930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22134] ppid=22121 vsize=15153204 memory=2828 CPUtime=2.06 cores=0,2,4,6
/proc/22123/task/22134/stat : 22134 (java) S 22121 22121 21684 0 -1 1077944384 15265 0 0 0 205 1 0 0 20 0 15 0 515855983 15516880896 506893 33554432000 4194304 4196468 140720630468944 139887973489264 139888510732930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22135] ppid=22121 vsize=15153204 memory=1000 CPUtime=0.78 cores=0,2,4,6
/proc/22123/task/22135/stat : 22135 (java) S 22121 22121 21684 0 -1 1077944384 7340 0 0 0 77 1 0 0 20 0 15 0 515855983 15516880896 506893 33554432000 4194304 4196468 140720630468944 139887972436720 139888510732930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22136] ppid=22121 vsize=15153204 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/22123/task/22136/stat : 22136 (java) S 22121 22121 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515855983 15516880896 506893 33554432000 4194304 4196468 140720630468944 139887971384416 139888510731989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22137] ppid=22121 vsize=15153204 memory=2027572 CPUtime=0.33 cores=0,2,4,6
/proc/22123/task/22137/stat : 22137 (java) S 22121 22121 21684 0 -1 1077944384 926 0 0 0 14 19 0 0 20 0 15 0 515855984 15516880896 506893 33554432000 4194304 4196468 140720630468944 139887970330928 139888510732930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 24 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
Current children cumulated CPU time: 1196.77 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 2029020 KiB
[startup+1186.4 s]
/proc/loadavg: 2.00 2.01 1.96 3/230 22315
/proc/meminfo: memFree=20529572/32770624 swapFree=66936820/67108860
[pid=22121] ppid=22118 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/22121/stat : 22121 (xcsp3-exec) S 22118 22121 21684 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515855977 115843072 362 33554432000 4194304 5098028 140733740921888 140733740919992 139873262240380 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24961024 140733740929914 140733740930157 140733740930157 140733740933066 0
/proc/22121/statm: 28282 362 304 221 0 87 0
[pid=22123] ppid=22121 vsize=15153204 memory=2027572 CPUtime=1197.57 cores=0,2,4,6
/proc/22123/stat : 22123 (java) S 22121 22121 21684 0 -1 1077944320 83463 0 0 0 119534 223 0 0 20 0 15 0 515855977 15516880896 506893 33554432000 4194304 4196468 140720630468944 140720630451488 139888510721783 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
/proc/22123/statm: 3788301 506893 3533 1 0 3749401 0
[pid=22123/tid=22124] ppid=22121 vsize=15153204 memory=1804 CPUtime=1184.27 cores=0,2,4,6
/proc/22123/task/22124/stat : 22124 (java) R 22121 22121 21684 0 -1 4202560 32049 0 0 0 118414 13 0 0 20 0 15 0 515855978 15516880896 506893 33554432000 4194304 4196468 140720630468944 139888514958384 139888115229279 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22125] ppid=22121 vsize=15153204 memory=916 CPUtime=1.86 cores=0,2,4,6
/proc/22123/task/22125/stat : 22125 (java) S 22121 22121 21684 0 -1 1077944384 1904 0 0 0 140 46 0 0 20 0 15 0 515855979 15516880896 506893 33554432000 4194304 4196468 140720630468944 139888438762256 139888510731989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22126] ppid=22121 vsize=15153204 memory=528 CPUtime=1.87 cores=0,2,4,6
/proc/22123/task/22126/stat : 22126 (java) S 22121 22121 21684 0 -1 1077944384 1924 0 0 0 140 47 0 0 20 0 15 0 515855979 15516880896 506893 33554432000 4194304 4196468 140720630468944 139888437709712 139888510731989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22127] ppid=22121 vsize=15153204 memory=1560 CPUtime=1.87 cores=0,2,4,6
/proc/22123/task/22127/stat : 22127 (java) S 22121 22121 21684 0 -1 1077944384 2702 0 0 0 139 48 0 0 20 0 15 0 515855979 15516880896 506893 33554432000 4194304 4196468 140720630468944 139888436657168 139888510731989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22128] ppid=22121 vsize=15153204 memory=932 CPUtime=1.9 cores=0,2,4,6
/proc/22123/task/22128/stat : 22128 (java) S 22121 22121 21684 0 -1 1077944384 1614 0 0 0 139 51 0 0 20 0 15 0 515855979 15516880896 506893 33554432000 4194304 4196468 140720630468944 139888435604624 139888510731989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22129] ppid=22121 vsize=15153204 memory=1492 CPUtime=0.1 cores=0,2,4,6
/proc/22123/task/22129/stat : 22129 (java) S 22121 22121 21684 0 -1 1077944384 2287 0 0 0 10 0 0 0 20 0 15 0 515855980 15516880896 506893 33554432000 4194304 4196468 140720630468944 139887978751984 139888510732930 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 16 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22130] ppid=22121 vsize=15153204 memory=860 CPUtime=0 cores=0,2,4,6
/proc/22123/task/22130/stat : 22130 (java) S 22121 22121 21684 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 515855981 15516880896 506893 33554432000 4194304 4196468 140720630468944 139887977698272 139888510731989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22131] ppid=22121 vsize=15153204 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/22123/task/22131/stat : 22131 (java) S 22121 22121 21684 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 515855981 15516880896 506893 33554432000 4194304 4196468 140720630468944 139887976645632 139888510731989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22132] ppid=22121 vsize=15153204 memory=3616 CPUtime=0 cores=0,2,4,6
/proc/22123/task/22132/stat : 22132 (java) S 22121 22121 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515855983 15516880896 506893 33554432000 4194304 4196468 140720630468944 139887975594192 139888510740379 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22133] ppid=22121 vsize=15153204 memory=1448 CPUtime=2.43 cores=0,2,4,6
/proc/22123/task/22133/stat : 22133 (java) S 22121 22121 21684 0 -1 1077944384 16110 0 0 0 241 2 0 0 20 0 15 0 515855983 15516880896 506893 33554432000 4194304 4196468 140720630468944 139887974541808 139888510732930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22134] ppid=22121 vsize=15153204 memory=2027572 CPUtime=2.06 cores=0,2,4,6
/proc/22123/task/22134/stat : 22134 (java) S 22121 22121 21684 0 -1 1077944384 15265 0 0 0 205 1 0 0 20 0 15 0 515855983 15516880896 506893 33554432000 4194304 4196468 140720630468944 139887973489264 139888510732930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22135] ppid=22121 vsize=15153204 memory=2828 CPUtime=0.78 cores=0,2,4,6
/proc/22123/task/22135/stat : 22135 (java) S 22121 22121 21684 0 -1 1077944384 7340 0 0 0 77 1 0 0 20 0 15 0 515855983 15516880896 506893 33554432000 4194304 4196468 140720630468944 139887972436720 139888510732930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22136] ppid=22121 vsize=15153204 memory=1000 CPUtime=0 cores=0,2,4,6
/proc/22123/task/22136/stat : 22136 (java) S 22121 22121 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515855983 15516880896 506893 33554432000 4194304 4196468 140720630468944 139887971384416 139888510731989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22137] ppid=22121 vsize=15153204 memory=6188 CPUtime=0.33 cores=0,2,4,6
/proc/22123/task/22137/stat : 22137 (java) S 22121 22121 21684 0 -1 1077944384 926 0 0 0 14 19 0 0 20 0 15 0 515855984 15516880896 506893 33554432000 4194304 4196468 140720630468944 139887970330928 139888510732930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 24 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
Current children cumulated CPU time: 1197.57 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 2029020 KiB
[startup+1187.2 s]
/proc/loadavg: 2.00 2.01 1.96 3/230 22315
/proc/meminfo: memFree=20529572/32770624 swapFree=66936820/67108860
[pid=22121] ppid=22118 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/22121/stat : 22121 (xcsp3-exec) S 22118 22121 21684 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515855977 115843072 362 33554432000 4194304 5098028 140733740921888 140733740919992 139873262240380 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24961024 140733740929914 140733740930157 140733740930157 140733740933066 0
/proc/22121/statm: 28282 362 304 221 0 87 0
[pid=22123] ppid=22121 vsize=15153204 memory=2027572 CPUtime=1198.37 cores=0,2,4,6
/proc/22123/stat : 22123 (java) S 22121 22121 21684 0 -1 1077944320 83463 0 0 0 119614 223 0 0 20 0 15 0 515855977 15516880896 506893 33554432000 4194304 4196468 140720630468944 140720630451488 139888510721783 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
/proc/22123/statm: 3788301 506893 3533 1 0 3749401 0
[pid=22123/tid=22124] ppid=22121 vsize=15153204 memory=2027572 CPUtime=1185.07 cores=0,2,4,6
/proc/22123/task/22124/stat : 22124 (java) R 22121 22121 21684 0 -1 4202560 32049 0 0 0 118494 13 0 0 20 0 15 0 515855978 15516880896 506893 33554432000 4194304 4196468 140720630468944 139888514958384 139888115229650 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22125] ppid=22121 vsize=15153204 memory=2027572 CPUtime=1.86 cores=0,2,4,6
/proc/22123/task/22125/stat : 22125 (java) S 22121 22121 21684 0 -1 1077944384 1904 0 0 0 140 46 0 0 20 0 15 0 515855979 15516880896 506893 33554432000 4194304 4196468 140720630468944 139888438762256 139888510731989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22126] ppid=22121 vsize=15153204 memory=2116 CPUtime=1.87 cores=0,2,4,6
/proc/22123/task/22126/stat : 22126 (java) S 22121 22121 21684 0 -1 1077944384 1924 0 0 0 140 47 0 0 20 0 15 0 515855979 15516880896 506893 33554432000 4194304 4196468 140720630468944 139888437709712 139888510731989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22127] ppid=22121 vsize=15153204 memory=2027572 CPUtime=1.87 cores=0,2,4,6
/proc/22123/task/22127/stat : 22127 (java) S 22121 22121 21684 0 -1 1077944384 2702 0 0 0 139 48 0 0 20 0 15 0 515855979 15516880896 506893 33554432000 4194304 4196468 140720630468944 139888436657168 139888510731989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22128] ppid=22121 vsize=15153204 memory=3616 CPUtime=1.9 cores=0,2,4,6
/proc/22123/task/22128/stat : 22128 (java) S 22121 22121 21684 0 -1 1077944384 1614 0 0 0 139 51 0 0 20 0 15 0 515855979 15516880896 506893 33554432000 4194304 4196468 140720630468944 139888435604624 139888510731989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22129] ppid=22121 vsize=15153204 memory=53236 CPUtime=0.1 cores=0,2,4,6
/proc/22123/task/22129/stat : 22129 (java) S 22121 22121 21684 0 -1 1077944384 2287 0 0 0 10 0 0 0 20 0 15 0 515855980 15516880896 506893 33554432000 4194304 4196468 140720630468944 139887978751984 139888510732930 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 16 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22130] ppid=22121 vsize=15153204 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/22123/task/22130/stat : 22130 (java) S 22121 22121 21684 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 515855981 15516880896 506893 33554432000 4194304 4196468 140720630468944 139887977698272 139888510731989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22131] ppid=22121 vsize=15153204 memory=2027572 CPUtime=0 cores=0,2,4,6
/proc/22123/task/22131/stat : 22131 (java) S 22121 22121 21684 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 515855981 15516880896 506893 33554432000 4194304 4196468 140720630468944 139887976645632 139888510731989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22132] ppid=22121 vsize=15153204 memory=3608 CPUtime=0 cores=0,2,4,6
/proc/22123/task/22132/stat : 22132 (java) S 22121 22121 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515855983 15516880896 506893 33554432000 4194304 4196468 140720630468944 139887975594192 139888510740379 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22133] ppid=22121 vsize=15153204 memory=2828 CPUtime=2.43 cores=0,2,4,6
/proc/22123/task/22133/stat : 22133 (java) S 22121 22121 21684 0 -1 1077944384 16110 0 0 0 241 2 0 0 20 0 15 0 515855983 15516880896 506893 33554432000 4194304 4196468 140720630468944 139887974541808 139888510732930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22134] ppid=22121 vsize=15153204 memory=1424 CPUtime=2.06 cores=0,2,4,6
/proc/22123/task/22134/stat : 22134 (java) S 22121 22121 21684 0 -1 1077944384 15265 0 0 0 205 1 0 0 20 0 15 0 515855983 15516880896 506893 33554432000 4194304 4196468 140720630468944 139887973489264 139888510732930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22135] ppid=22121 vsize=15153204 memory=1704 CPUtime=0.78 cores=0,2,4,6
/proc/22123/task/22135/stat : 22135 (java) S 22121 22121 21684 0 -1 1077944384 7340 0 0 0 77 1 0 0 20 0 15 0 515855983 15516880896 506893 33554432000 4194304 4196468 140720630468944 139887972436720 139888510732930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22136] ppid=22121 vsize=15153204 memory=6188 CPUtime=0 cores=0,2,4,6
/proc/22123/task/22136/stat : 22136 (java) S 22121 22121 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515855983 15516880896 506893 33554432000 4194304 4196468 140720630468944 139887971384416 139888510731989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22137] ppid=22121 vsize=15153204 memory=768 CPUtime=0.33 cores=0,2,4,6
/proc/22123/task/22137/stat : 22137 (java) S 22121 22121 21684 0 -1 1077944384 926 0 0 0 14 19 0 0 20 0 15 0 515855984 15516880896 506893 33554432000 4194304 4196468 140720630468944 139887970330928 139888510732930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 24 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
Current children cumulated CPU time: 1198.37 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 2029020 KiB
[startup+1187.6 s]
/proc/loadavg: 2.00 2.01 1.96 3/230 22315
/proc/meminfo: memFree=20529572/32770624 swapFree=66936820/67108860
[pid=22121] ppid=22118 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/22121/stat : 22121 (xcsp3-exec) S 22118 22121 21684 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515855977 115843072 362 33554432000 4194304 5098028 140733740921888 140733740919992 139873262240380 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24961024 140733740929914 140733740930157 140733740930157 140733740933066 0
/proc/22121/statm: 28282 362 304 221 0 87 0
[pid=22123] ppid=22121 vsize=15153204 memory=2027572 CPUtime=1198.77 cores=0,2,4,6
/proc/22123/stat : 22123 (java) S 22121 22121 21684 0 -1 1077944320 83463 0 0 0 119654 223 0 0 20 0 15 0 515855977 15516880896 506893 33554432000 4194304 4196468 140720630468944 140720630451488 139888510721783 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
/proc/22123/statm: 3788301 506893 3533 1 0 3749401 0
[pid=22123/tid=22124] ppid=22121 vsize=15153204 memory=3616 CPUtime=1185.47 cores=0,2,4,6
/proc/22123/task/22124/stat : 22124 (java) R 22121 22121 21684 0 -1 4202560 32049 0 0 0 118534 13 0 0 20 0 15 0 515855978 15516880896 506893 33554432000 4194304 4196468 140720630468944 139888514958384 139888115229560 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22125] ppid=22121 vsize=15153204 memory=53236 CPUtime=1.86 cores=0,2,4,6
/proc/22123/task/22125/stat : 22125 (java) S 22121 22121 21684 0 -1 1077944384 1904 0 0 0 140 46 0 0 20 0 15 0 515855979 15516880896 506893 33554432000 4194304 4196468 140720630468944 139888438762256 139888510731989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22126] ppid=22121 vsize=15153204 memory=988 CPUtime=1.87 cores=0,2,4,6
/proc/22123/task/22126/stat : 22126 (java) S 22121 22121 21684 0 -1 1077944384 1924 0 0 0 140 47 0 0 20 0 15 0 515855979 15516880896 506893 33554432000 4194304 4196468 140720630468944 139888437709712 139888510731989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22127] ppid=22121 vsize=15153204 memory=2012 CPUtime=1.87 cores=0,2,4,6
/proc/22123/task/22127/stat : 22127 (java) S 22121 22121 21684 0 -1 1077944384 2702 0 0 0 139 48 0 0 20 0 15 0 515855979 15516880896 506893 33554432000 4194304 4196468 140720630468944 139888436657168 139888510731989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22128] ppid=22121 vsize=15153204 memory=1424 CPUtime=1.9 cores=0,2,4,6
/proc/22123/task/22128/stat : 22128 (java) S 22121 22121 21684 0 -1 1077944384 1614 0 0 0 139 51 0 0 20 0 15 0 515855979 15516880896 506893 33554432000 4194304 4196468 140720630468944 139888435604624 139888510731989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22129] ppid=22121 vsize=15153204 memory=1704 CPUtime=0.1 cores=0,2,4,6
/proc/22123/task/22129/stat : 22129 (java) S 22121 22121 21684 0 -1 1077944384 2287 0 0 0 10 0 0 0 20 0 15 0 515855980 15516880896 506893 33554432000 4194304 4196468 140720630468944 139887978751984 139888510732930 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 16 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22130] ppid=22121 vsize=15153204 memory=6188 CPUtime=0 cores=0,2,4,6
/proc/22123/task/22130/stat : 22130 (java) S 22121 22121 21684 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 515855981 15516880896 506893 33554432000 4194304 4196468 140720630468944 139887977698272 139888510731989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22131] ppid=22121 vsize=15153204 memory=768 CPUtime=0 cores=0,2,4,6
/proc/22123/task/22131/stat : 22131 (java) S 22121 22121 21684 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 515855981 15516880896 506893 33554432000 4194304 4196468 140720630468944 139887976645632 139888510731989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22132] ppid=22121 vsize=15153204 memory=780 CPUtime=0 cores=0,2,4,6
/proc/22123/task/22132/stat : 22132 (java) S 22121 22121 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515855983 15516880896 506893 33554432000 4194304 4196468 140720630468944 139887975594192 139888510740379 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22133] ppid=22121 vsize=15153204 memory=1056 CPUtime=2.43 cores=0,2,4,6
/proc/22123/task/22133/stat : 22133 (java) S 22121 22121 21684 0 -1 1077944384 16110 0 0 0 241 2 0 0 20 0 15 0 515855983 15516880896 506893 33554432000 4194304 4196468 140720630468944 139887974541808 139888510732930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22134] ppid=22121 vsize=15153204 memory=11620 CPUtime=2.06 cores=0,2,4,6
/proc/22123/task/22134/stat : 22134 (java) S 22121 22121 21684 0 -1 1077944384 15265 0 0 0 205 1 0 0 20 0 15 0 515855983 15516880896 506893 33554432000 4194304 4196468 140720630468944 139887973489264 139888510732930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22135] ppid=22121 vsize=15153204 memory=3608 CPUtime=0.78 cores=0,2,4,6
/proc/22123/task/22135/stat : 22135 (java) S 22121 22121 21684 0 -1 1077944384 7340 0 0 0 77 1 0 0 20 0 15 0 515855983 15516880896 506893 33554432000 4194304 4196468 140720630468944 139887972436720 139888510732930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22136] ppid=22121 vsize=15153204 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/22123/task/22136/stat : 22136 (java) S 22121 22121 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515855983 15516880896 506893 33554432000 4194304 4196468 140720630468944 139887971384416 139888510731989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
[pid=22123/tid=22137] ppid=22121 vsize=15153204 memory=1000 CPUtime=0.33 cores=0,2,4,6
/proc/22123/task/22137/stat : 22137 (java) S 22121 22121 21684 0 -1 1077944384 926 0 0 0 14 19 0 0 20 0 15 0 515855984 15516880896 506893 33554432000 4194304 4196468 140720630468944 139887970330928 139888510732930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 24 0 0 6293624 6294260 9703424 140720630473711 140720630473882 140720630473882 140720630476751 0
Current children cumulated CPU time: 1198.77 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 2029020 KiB
Child status: 0
Real time (s): 1187.68
CPU time (s): 1198.85
CPU user time (s): 1196.6
CPU system time (s): 2.24574
CPU usage (%): 100.94
Max. virtual memory (cumulated for all children) (KiB): 15266332
Max. memory (cumulated for all children) (KiB): 2029020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1196.6
system time used= 2.24574
maximum resident set size= 2027824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85233
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 29478
involuntary context switches= 1215
# summary of solver processes directly reported to runsolver:
# pid: 22121
# total CPU time (s): 1198.85
# total CPU user time (s): 1196.6
# total CPU system time (s): 2.24574
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.46904 second user time and 10.8573 second system time
The end