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 (656 MiB free)
memory of node 1: 16384 MiB (1826 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403922-1568991536/watcher-4403922-1568991536 -o /var/tmp/evaluation-result-4403922-1568991536/solver-4403922-1568991536 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node124-1568988386-31612 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 290248573 HOME/instance-4403922-1568991536.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=6321, runsolver pid=6317
[startup+0.100884 s]*
/proc/loadavg: 7.91 8.22 8.11 7/233 6337
/proc/meminfo: memFree=2525052/32770624 swapFree=66976740/67108860
[pid=6321] ppid=6317 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6321/stat : 6321 (xcsp3-exec) S 6317 6321 31580 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475093705 115843072 364 33554432000 4194304 5098028 140722916136080 140722916134184 140017853178492 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12648448 140722916143959 140722916144217 140722916144217 140722916147142 0
/proc/6321/statm: 28282 364 305 221 0 87 0
[pid=6323] ppid=6321 vsize=15144776 memory=30088 CPUtime=0.13 cores=1,3,5,7
/proc/6323/stat : 6323 (java) S 6321 6321 31580 0 -1 1077944320 5436 0 0 0 12 1 0 0 20 0 15 0 475093705 15508250624 7522 33554432000 4194304 4196468 140734256124752 140734256107296 140005505429239 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
/proc/6323/statm: 3786194 7522 3124 1 0 3748377 0
[pid=6323/tid=6324] ppid=6321 vsize=15144776 memory=7031125463459224206 CPUtime=0.08 cores=1,3,5,7
/proc/6323/task/6324/stat : 6324 (java) R 6321 6321 31580 0 -1 4202560 3381 0 0 0 8 0 0 0 20 0 15 0 475093706 15508250624 7588 33554432000 4194304 4196468 140734256124752 140005509659064 140005141801089 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
[pid=6323/tid=6325] ppid=6321 vsize=15144776 memory=7378697629483820645 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6325/stat : 6325 (java) S 6321 6321 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475093706 15508250624 7588 33554432000 4194304 4196468 140734256124752 140005466389264 140005505439445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
[pid=6323/tid=6326] ppid=6321 vsize=15144776 memory=140388658632320 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6326/stat : 6326 (java) S 6321 6321 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475093706 15508250624 7588 33554432000 4194304 4196468 140734256124752 140005096790928 140005505439445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
[pid=6323/tid=6327] ppid=6321 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6327/stat : 6327 (java) S 6321 6321 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475093706 15508250624 7588 33554432000 4194304 4196468 140734256124752 140005095738384 140005505439445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
[pid=6323/tid=6328] ppid=6321 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6328/stat : 6328 (java) S 6321 6321 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475093706 15508250624 7588 33554432000 4194304 4196468 140734256124752 140005094685840 140005505439445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
[pid=6323/tid=6329] ppid=6321 vsize=15144776 memory=140388658632320 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6329/stat : 6329 (java) S 6321 6321 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475093708 15508250624 7588 33554432000 4194304 4196468 140734256124752 140004974077936 140005505440386 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
[pid=6323/tid=6330] ppid=6321 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6330/stat : 6330 (java) S 6321 6321 31580 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475093708 15508250624 7588 33554432000 4194304 4196468 140734256124752 140004973024160 140005505439445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
[pid=6323/tid=6331] ppid=6321 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6331/stat : 6331 (java) S 6321 6321 31580 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475093708 15508250624 7588 33554432000 4194304 4196468 140734256124752 140004971971568 140005505439445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
[pid=6323/tid=6332] ppid=6321 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6332/stat : 6332 (java) S 6321 6321 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475093711 15508250624 7588 33554432000 4194304 4196468 140734256124752 140004970920144 140005505447835 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
[pid=6323/tid=6333] ppid=6321 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6333/stat : 6333 (java) S 6321 6321 31580 0 -1 1077944384 333 0 0 0 0 0 0 0 20 0 15 0 475093711 15508250624 7588 33554432000 4194304 4196468 140734256124752 140004969867760 140005505440386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
[pid=6323/tid=6334] ppid=6321 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6334/stat : 6334 (java) S 6321 6321 31580 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 475093711 15508250624 7588 33554432000 4194304 4196468 140734256124752 140004968815216 140005505440386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
[pid=6323/tid=6335] ppid=6321 vsize=15144776 memory=140388658632320 CPUtime=0.02 cores=1,3,5,7
/proc/6323/task/6335/stat : 6335 (java) R 6321 6321 31580 0 -1 4202560 352 0 0 0 2 0 0 0 20 0 15 0 475093711 15508250624 7588 33554432000 4194304 4196468 140734256124752 140004967762592 140005505441174 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
[pid=6323/tid=6336] ppid=6321 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6336/stat : 6336 (java) S 6321 6321 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475093711 15508250624 7588 33554432000 4194304 4196468 140734256124752 140004966710368 140005505439445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
[pid=6323/tid=6337] ppid=6321 vsize=15144776 memory=140388658632320 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6337/stat : 6337 (java) S 6321 6321 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475093711 15508250624 7588 33554432000 4194304 4196468 140734256124752 140004965656880 140005505440386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31544 KiB
[startup+0.210878 s]*
/proc/loadavg: 7.91 8.22 8.11 7/233 6337
/proc/meminfo: memFree=2512440/32770624 swapFree=66976740/67108860
[pid=6321] ppid=6317 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6321/stat : 6321 (xcsp3-exec) S 6317 6321 31580 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475093705 115843072 364 33554432000 4194304 5098028 140722916136080 140722916134184 140017853178492 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12648448 140722916143959 140722916144217 140722916144217 140722916147142 0
/proc/6321/statm: 28282 364 305 221 0 87 0
[pid=6323] ppid=6321 vsize=15144776 memory=41428 CPUtime=0.34 cores=1,3,5,7
/proc/6323/stat : 6323 (java) S 6321 6321 31580 0 -1 1077944320 9041 0 0 0 31 3 0 0 20 0 15 0 475093705 15508250624 10357 33554432000 4194304 4196468 140734256124752 140734256107296 140005505429239 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
/proc/6323/statm: 3786194 10357 3305 1 0 3748377 0
[pid=6323/tid=6324] ppid=6321 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/6323/task/6324/stat : 6324 (java) R 6321 6321 31580 0 -1 4202560 6195 0 0 0 18 2 0 0 20 0 15 0 475093706 15508250624 10357 33554432000 4194304 4196468 140734256124752 140005509667552 140005505451165 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
[pid=6323/tid=6325] ppid=6321 vsize=15144776 memory=4296933242 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6325/stat : 6325 (java) S 6321 6321 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475093706 15508250624 10357 33554432000 4194304 4196468 140734256124752 140005466389264 140005505439445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
[pid=6323/tid=6326] ppid=6321 vsize=15144776 memory=140388658661923 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6326/stat : 6326 (java) S 6321 6321 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475093706 15508250624 10357 33554432000 4194304 4196468 140734256124752 140005096790928 140005505439445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
[pid=6323/tid=6327] ppid=6321 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6327/stat : 6327 (java) S 6321 6321 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475093706 15508250624 10357 33554432000 4194304 4196468 140734256124752 140005095738384 140005505439445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
[pid=6323/tid=6328] ppid=6321 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6328/stat : 6328 (java) S 6321 6321 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475093706 15508250624 10357 33554432000 4194304 4196468 140734256124752 140005094685840 140005505439445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
[pid=6323/tid=6329] ppid=6321 vsize=15144776 memory=140388658632320 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6329/stat : 6329 (java) S 6321 6321 31580 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475093708 15508250624 10357 33554432000 4194304 4196468 140734256124752 140004974077936 140005505440386 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
[pid=6323/tid=6330] ppid=6321 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6330/stat : 6330 (java) S 6321 6321 31580 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475093708 15508250624 10357 33554432000 4194304 4196468 140734256124752 140004973024160 140005505439445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
[pid=6323/tid=6331] ppid=6321 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6331/stat : 6331 (java) S 6321 6321 31580 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475093708 15508250624 10357 33554432000 4194304 4196468 140734256124752 140004971971568 140005505439445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
[pid=6323/tid=6332] ppid=6321 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6332/stat : 6332 (java) S 6321 6321 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475093711 15508250624 10357 33554432000 4194304 4196468 140734256124752 140004970920144 140005505447835 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
[pid=6323/tid=6333] ppid=6321 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/6323/task/6333/stat : 6333 (java) S 6321 6321 31580 0 -1 1077944384 545 0 0 0 2 0 0 0 20 0 15 0 475093711 15508250624 10357 33554432000 4194304 4196468 140734256124752 140004969867760 140005505440386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
[pid=6323/tid=6334] ppid=6321 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/6323/task/6334/stat : 6334 (java) S 6321 6321 31580 0 -1 1077944384 229 0 0 0 2 0 0 0 20 0 15 0 475093711 15508250624 10357 33554432000 4194304 4196468 140734256124752 140004968815216 140005505440386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
[pid=6323/tid=6335] ppid=6321 vsize=15144776 memory=140388658632320 CPUtime=0.08 cores=1,3,5,7
/proc/6323/task/6335/stat : 6335 (java) S 6321 6321 31580 0 -1 1077944384 767 0 0 0 8 0 0 0 20 0 15 0 475093711 15508250624 10357 33554432000 4194304 4196468 140734256124752 140004967762672 140005505440386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
[pid=6323/tid=6336] ppid=6321 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6336/stat : 6336 (java) S 6321 6321 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475093711 15508250624 10357 33554432000 4194304 4196468 140734256124752 140004966710368 140005505439445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
[pid=6323/tid=6337] ppid=6321 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6337/stat : 6337 (java) S 6321 6321 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475093711 15508250624 10357 33554432000 4194304 4196468 140734256124752 140004965656880 140005505440386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42884 KiB
[startup+0.316877 s]*
/proc/loadavg: 7.91 8.22 8.11 8/233 6337
/proc/meminfo: memFree=2505540/32770624 swapFree=66976740/67108860
[pid=6321] ppid=6317 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6321/stat : 6321 (xcsp3-exec) S 6317 6321 31580 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475093705 115843072 364 33554432000 4194304 5098028 140722916136080 140722916134184 140017853178492 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12648448 140722916143959 140722916144217 140722916144217 140722916147142 0
/proc/6321/statm: 28282 364 305 221 0 87 0
[pid=6323] ppid=6321 vsize=15149032 memory=50168 CPUtime=0.54 cores=1,3,5,7
/proc/6323/stat : 6323 (java) S 6321 6321 31580 0 -1 1077944320 10405 0 0 0 50 4 0 0 20 0 15 0 475093705 15512608768 12542 33554432000 4194304 4196468 140734256124752 140734256107296 140005505429239 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
/proc/6323/statm: 3787258 12542 3355 1 0 3748377 0
[pid=6323/tid=6324] ppid=6321 vsize=15149032 memory=6935054825532540783 CPUtime=0.3 cores=1,3,5,7
/proc/6323/task/6324/stat : 6324 (java) R 6321 6321 31580 0 -1 4202560 7406 0 0 0 27 3 0 0 20 0 15 0 475093706 15512608768 12607 33554432000 4194304 4196468 140734256124752 140005509652840 140005505451165 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
[pid=6323/tid=6325] ppid=6321 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6325/stat : 6325 (java) S 6321 6321 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475093706 15512608768 12607 33554432000 4194304 4196468 140734256124752 140005466389264 140005505439445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
[pid=6323/tid=6326] ppid=6321 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6326/stat : 6326 (java) S 6321 6321 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475093706 15512608768 12607 33554432000 4194304 4196468 140734256124752 140005096790928 140005505439445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
[pid=6323/tid=6327] ppid=6321 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6327/stat : 6327 (java) S 6321 6321 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475093706 15512608768 12607 33554432000 4194304 4196468 140734256124752 140005095738384 140005505439445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
[pid=6323/tid=6328] ppid=6321 vsize=15149032 memory=-2893623298589923098 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6328/stat : 6328 (java) S 6321 6321 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475093706 15512608768 12607 33554432000 4194304 4196468 140734256124752 140005094685840 140005505439445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
[pid=6323/tid=6329] ppid=6321 vsize=15149032 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6329/stat : 6329 (java) S 6321 6321 31580 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475093708 15512608768 12607 33554432000 4194304 4196468 140734256124752 140004974077936 140005505440386 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
[pid=6323/tid=6330] ppid=6321 vsize=15149032 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6330/stat : 6330 (java) S 6321 6321 31580 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475093708 15512608768 12607 33554432000 4194304 4196468 140734256124752 140004973024160 140005505439445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
[pid=6323/tid=6331] ppid=6321 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6331/stat : 6331 (java) S 6321 6321 31580 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475093708 15512608768 12607 33554432000 4194304 4196468 140734256124752 140004971971568 140005505439445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
[pid=6323/tid=6332] ppid=6321 vsize=15149032 memory=-2026666227646604569 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6332/stat : 6332 (java) S 6321 6321 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475093711 15512608768 12607 33554432000 4194304 4196468 140734256124752 140004970920144 140005505447835 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
[pid=6323/tid=6333] ppid=6321 vsize=15149032 memory=7307178800369004696 CPUtime=0.04 cores=1,3,5,7
/proc/6323/task/6333/stat : 6333 (java) S 6321 6321 31580 0 -1 1077944384 547 0 0 0 4 0 0 0 20 0 15 0 475093711 15512608768 12615 33554432000 4194304 4196468 140734256124752 140004969867760 140005505440386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
[pid=6323/tid=6334] ppid=6321 vsize=15149032 memory=6944656425123485561 CPUtime=0.05 cores=1,3,5,7
/proc/6323/task/6334/stat : 6334 (java) S 6321 6321 31580 0 -1 1077944384 329 0 0 0 5 0 0 0 20 0 15 0 475093711 15512608768 12615 33554432000 4194304 4196468 140734256124752 140004968815216 140005505440386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
[pid=6323/tid=6335] ppid=6321 vsize=15149032 memory=-7739291672887926688 CPUtime=0.13 cores=1,3,5,7
/proc/6323/task/6335/stat : 6335 (java) S 6321 6321 31580 0 -1 1077944384 826 0 0 0 13 0 0 0 20 0 15 0 475093711 15512608768 12615 33554432000 4194304 4196468 140734256124752 140004967762672 140005505440386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
[pid=6323/tid=6336] ppid=6321 vsize=15149032 memory=8514701219781834910 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6336/stat : 6336 (java) S 6321 6321 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475093711 15512608768 12615 33554432000 4194304 4196468 140734256124752 140004966710368 140005505439445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
[pid=6323/tid=6337] ppid=6321 vsize=15149032 memory=4628975428865778067 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6337/stat : 6337 (java) S 6321 6321 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475093711 15512608768 12615 33554432000 4194304 4196468 140734256124752 140004965656880 140005505440386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51624 KiB
[startup+0.708876 s]
/proc/loadavg: 7.91 8.22 8.11 7/233 6337
/proc/meminfo: memFree=2495384/32770624 swapFree=66976740/67108860
[pid=6321] ppid=6317 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6321/stat : 6321 (xcsp3-exec) S 6317 6321 31580 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475093705 115843072 364 33554432000 4194304 5098028 140722916136080 140722916134184 140017853178492 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12648448 140722916143959 140722916144217 140722916144217 140722916147142 0
/proc/6321/statm: 28282 364 305 221 0 87 0
[pid=6323] ppid=6321 vsize=15417412 memory=87988 CPUtime=1.62 cores=1,3,5,7
/proc/6323/stat : 6323 (java) S 6321 6321 31580 0 -1 1077944320 13812 0 0 0 157 5 0 0 20 0 19 0 475093705 15787429888 21997 33554432000 4194304 4196468 140734256124752 140734256107296 140005505429239 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
/proc/6323/statm: 3854353 21997 3453 1 0 3815453 0
[pid=6323/tid=6324] ppid=6321 vsize=15417412 memory=-9110635228796802480 CPUtime=0.63 cores=1,3,5,7
/proc/6323/task/6324/stat : 6324 (java) S 6321 6321 31580 0 -1 1077944384 8677 0 0 0 60 3 0 0 20 0 19 0 475093706 15787429888 21997 33554432000 4194304 4196468 140734256124752 140005509670016 140005505439445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
[pid=6323/tid=6325] ppid=6321 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6325/stat : 6325 (java) S 6321 6321 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475093706 15787429888 21997 33554432000 4194304 4196468 140734256124752 140005466389264 140005505439445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
[pid=6323/tid=6326] ppid=6321 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6326/stat : 6326 (java) S 6321 6321 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475093706 15787429888 21997 33554432000 4194304 4196468 140734256124752 140005096790928 140005505439445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
[pid=6323/tid=6327] ppid=6321 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6327/stat : 6327 (java) S 6321 6321 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475093706 15787429888 21997 33554432000 4194304 4196468 140734256124752 140005095738384 140005505439445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
[pid=6323/tid=6328] ppid=6321 vsize=15417412 memory=56 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6328/stat : 6328 (java) S 6321 6321 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475093706 15787429888 21997 33554432000 4194304 4196468 140734256124752 140005094685840 140005505439445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
[pid=6323/tid=6329] ppid=6321 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6329/stat : 6329 (java) S 6321 6321 31580 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 475093708 15787429888 21997 33554432000 4194304 4196468 140734256124752 140004974077936 140005505440386 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
[pid=6323/tid=6330] ppid=6321 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6330/stat : 6330 (java) S 6321 6321 31580 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475093708 15787429888 21997 33554432000 4194304 4196468 140734256124752 140004973024160 140005505439445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
[pid=6323/tid=6331] ppid=6321 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6331/stat : 6331 (java) S 6321 6321 31580 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475093708 15787429888 21997 33554432000 4194304 4196468 140734256124752 140004971971568 140005505439445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
[pid=6323/tid=6332] ppid=6321 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6332/stat : 6332 (java) S 6321 6321 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475093711 15787429888 21997 33554432000 4194304 4196468 140734256124752 140004970920144 140005505447835 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
[pid=6323/tid=6333] ppid=6321 vsize=15417412 memory=1660 CPUtime=0.2 cores=1,3,5,7
/proc/6323/task/6333/stat : 6333 (java) R 6321 6321 31580 0 -1 4202560 1101 0 0 0 20 0 0 0 20 0 19 0 475093711 15787429888 21997 33554432000 4194304 4196468 140734256124752 140004969853968 140005491145408 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
[pid=6323/tid=6334] ppid=6321 vsize=15417412 memory=55856 CPUtime=0.22 cores=1,3,5,7
/proc/6323/task/6334/stat : 6334 (java) R 6321 6321 31580 0 -1 4202560 783 0 0 0 22 0 0 0 20 0 19 0 475093711 15787429888 21997 33554432000 4194304 4196468 140734256124752 140004968802560 140005497666366 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
[pid=6323/tid=6335] ppid=6321 vsize=15417412 memory=988 CPUtime=0.41 cores=1,3,5,7
/proc/6323/task/6335/stat : 6335 (java) R 6321 6321 31580 0 -1 1077944384 1732 0 0 0 41 0 0 0 20 0 19 0 475093711 15787429888 21997 33554432000 4194304 4196468 140734256124752 140004967757440 140005505439445 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
[pid=6323/tid=6336] ppid=6321 vsize=15417412 memory=2008 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6336/stat : 6336 (java) S 6321 6321 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475093711 15787429888 21997 33554432000 4194304 4196468 140734256124752 140004966710368 140005505439445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
[pid=6323/tid=6337] ppid=6321 vsize=15417412 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6337/stat : 6337 (java) S 6321 6321 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475093711 15787429888 21997 33554432000 4194304 4196468 140734256124752 140004965656880 140005505440386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
Current children cumulated CPU time: 1.62 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 89444 KiB
[startup+0.87281 s]
# the end of solver process 6321 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2.14943 s, system=0.062832 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.807876 s]
/proc/loadavg: 7.91 8.22 8.11 7/233 6337
/proc/meminfo: memFree=2495384/32770624 swapFree=66976740/67108860
[pid=6321] ppid=6317 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6321/stat : 6321 (xcsp3-exec) S 6317 6321 31580 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475093705 115843072 364 33554432000 4194304 5098028 140722916136080 140722916134184 140017853178492 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12648448 140722916143959 140722916144217 140722916144217 140722916147142 0
/proc/6321/statm: 28282 364 305 221 0 87 0
[pid=6323] ppid=6321 vsize=15417412 memory=89600 CPUtime=2.01 cores=1,3,5,7
/proc/6323/stat : 6323 (java) S 6321 6321 31580 0 -1 1077944320 14221 0 0 0 196 5 0 0 20 0 19 0 475093705 15787429888 22400 33554432000 4194304 4196468 140734256124752 140734256107296 140005505429239 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
/proc/6323/statm: 3854353 22400 3458 1 0 3815453 0
[pid=6323/tid=6324] ppid=6321 vsize=15417412 memory=10604 CPUtime=0.63 cores=1,3,5,7
/proc/6323/task/6324/stat : 6324 (java) S 6321 6321 31580 0 -1 1077944384 8677 0 0 0 60 3 0 0 20 0 19 0 475093706 15787429888 22400 33554432000 4194304 4196468 140734256124752 140005509670016 140005505439445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
[pid=6323/tid=6325] ppid=6321 vsize=15417412 memory=3636 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6325/stat : 6325 (java) S 6321 6321 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475093706 15787429888 22400 33554432000 4194304 4196468 140734256124752 140005466389264 140005505439445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
[pid=6323/tid=6326] ppid=6321 vsize=15417412 memory=776 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6326/stat : 6326 (java) S 6321 6321 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475093706 15787429888 22400 33554432000 4194304 4196468 140734256124752 140005096790928 140005505439445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
[pid=6323/tid=6327] ppid=6321 vsize=15417412 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6327/stat : 6327 (java) S 6321 6321 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475093706 15787429888 22400 33554432000 4194304 4196468 140734256124752 140005095738384 140005505439445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
[pid=6323/tid=6328] ppid=6321 vsize=15417412 memory=6088 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6328/stat : 6328 (java) S 6321 6321 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475093706 15787429888 22400 33554432000 4194304 4196468 140734256124752 140005094685840 140005505439445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
[pid=6323/tid=6329] ppid=6321 vsize=15417412 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6329/stat : 6329 (java) S 6321 6321 31580 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 475093708 15787429888 22400 33554432000 4194304 4196468 140734256124752 140004974077936 140005505440386 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
[pid=6323/tid=6330] ppid=6321 vsize=15417412 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6330/stat : 6330 (java) S 6321 6321 31580 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475093708 15787429888 22400 33554432000 4194304 4196468 140734256124752 140004973024160 140005505439445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
[pid=6323/tid=6331] ppid=6321 vsize=15417412 memory=3636 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6331/stat : 6331 (java) S 6321 6321 31580 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475093708 15787429888 22400 33554432000 4194304 4196468 140734256124752 140004971971568 140005505439445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
[pid=6323/tid=6332] ppid=6321 vsize=15417412 memory=776 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6332/stat : 6332 (java) S 6321 6321 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475093711 15787429888 22400 33554432000 4194304 4196468 140734256124752 140004970920144 140005505447835 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
[pid=6323/tid=6333] ppid=6321 vsize=15417412 memory=1564 CPUtime=0.29 cores=1,3,5,7
/proc/6323/task/6333/stat : 6333 (java) R 6321 6321 31580 0 -1 4202560 1197 0 0 0 29 0 0 0 20 0 19 0 475093711 15787429888 22400 33554432000 4194304 4196468 140734256124752 140004969854328 140005491461290 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
[pid=6323/tid=6334] ppid=6321 vsize=15417412 memory=6088 CPUtime=0.29 cores=1,3,5,7
/proc/6323/task/6334/stat : 6334 (java) R 6321 6321 31580 0 -1 4202560 984 0 0 0 29 0 0 0 20 0 19 0 475093711 15787429888 22400 33554432000 4194304 4196468 140734256124752 140004968804208 140005488915253 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
[pid=6323/tid=6335] ppid=6321 vsize=15417412 memory=1060 CPUtime=0.46 cores=1,3,5,7
/proc/6323/task/6335/stat : 6335 (java) S 6321 6321 31580 0 -1 1077944384 1842 0 0 0 46 0 0 0 20 0 19 0 475093711 15787429888 22400 33554432000 4194304 4196468 140734256124752 140004967762672 140005505440386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
[pid=6323/tid=6336] ppid=6321 vsize=15417412 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6336/stat : 6336 (java) S 6321 6321 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475093711 15787429888 22400 33554432000 4194304 4196468 140734256124752 140004966710368 140005505439445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
[pid=6323/tid=6337] ppid=6321 vsize=15417412 memory=1216 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6337/stat : 6337 (java) S 6321 6321 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475093711 15787429888 22400 33554432000 4194304 4196468 140734256124752 140004965656880 140005505440386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38281216 140734256128987 140734256129162 140734256129162 140734256132047 0
Current children cumulated CPU time: 2.01 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 91056 KiB
Child status: 0
Real time (s): 0.872853
CPU time (s): 2.21226
CPU user time (s): 2.14943
CPU system time (s): 0.062832
CPU usage (%): 253.452
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 91056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.14943
system time used= 0.062832
maximum resident set size= 111128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15477
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2005
involuntary context switches= 46
# summary of solver processes directly reported to runsolver:
# pid: 6321
# total CPU time (s): 2.21226
# total CPU user time (s): 2.14943
# total CPU system time (s): 0.062832
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.030199 second user time and 0.046861 second system time
The end