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 (8417 MiB free)
memory of node 1: 16384 MiB (15456 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399218-1568700077/watcher-4399218-1568700077 -o /tmp/evaluation-result-4399218-1568700077/solver-4399218-1568700077 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1568699170-20236 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1864370811 HOME/instance-4399218-1568700077.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=21353, runsolver pid=21350
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 8.25 7.66 4.99 7/235 21369
/proc/meminfo: memFree=24428780/32770624 swapFree=66941524/67108860
[pid=21353] ppid=21350 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/21353/stat : 21353 (xcsp3-exec) S 21350 21353 20204 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446246353 115843072 362 33554432000 4194304 5098028 140730833222960 140730833221064 139770086793852 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26079232 140730833224570 140730833224813 140730833224813 140730833227722 0
/proc/21353/statm: 28282 362 304 221 0 87 0
[pid=21355] ppid=21353 vsize=15144776 memory=30220 CPUtime=0.13 cores=1,3,5,7
/proc/21355/stat : 21355 (java) S 21353 21353 20204 0 -1 1077944320 5490 0 0 0 12 1 0 0 20 0 15 0 446246353 15508250624 7555 33554432000 4194304 4196468 140726308415952 140726308398496 140029853167351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
/proc/21355/statm: 3786194 7555 3161 1 0 3748377 0
[pid=21355/tid=21356] ppid=21353 vsize=15144776 memory=8514701219881124772 CPUtime=0.08 cores=1,3,5,7
/proc/21355/task/21356/stat : 21356 (java) R 21353 21353 20204 0 -1 4202560 3368 0 0 0 8 0 0 0 20 0 15 0 446246353 15508250624 7555 33554432000 4194304 4196468 140726308415952 140029857396704 140029853179286 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21357] ppid=21353 vsize=15144776 memory=3472468156301698256 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21357/stat : 21357 (java) S 21353 21353 20204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446246354 15508250624 7555 33554432000 4194304 4196468 140726308415952 140029764823824 140029853177557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21358] ppid=21353 vsize=15144776 memory=140027406546560 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21358/stat : 21358 (java) S 21353 21353 20204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446246354 15508250624 7555 33554432000 4194304 4196468 140726308415952 140029763771280 140029853177557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21359] ppid=21353 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21359/stat : 21359 (java) S 21353 21353 20204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446246354 15508250624 7555 33554432000 4194304 4196468 140726308415952 140029762718736 140029853177557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21360] ppid=21353 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21360/stat : 21360 (java) S 21353 21353 20204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446246354 15508250624 7555 33554432000 4194304 4196468 140726308415952 140029761666192 140029853177557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21361] ppid=21353 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21361/stat : 21361 (java) S 21353 21353 20204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446246355 15508250624 7555 33554432000 4194304 4196468 140726308415952 140029321566192 140029853178498 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21362] ppid=21353 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21362/stat : 21362 (java) S 21353 21353 20204 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446246356 15508250624 7555 33554432000 4194304 4196468 140726308415952 140029320512416 140029853177557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21363] ppid=21353 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21363/stat : 21363 (java) S 21353 21353 20204 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446246356 15508250624 7555 33554432000 4194304 4196468 140726308415952 140029319459824 140029853177557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21364] ppid=21353 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21364/stat : 21364 (java) S 21353 21353 20204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446246358 15508250624 7555 33554432000 4194304 4196468 140726308415952 140029318408400 140029853185947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21365] ppid=21353 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21365/stat : 21365 (java) R 21353 21353 20204 0 -1 4202560 446 0 0 0 0 0 0 0 20 0 15 0 446246358 15508250624 7555 33554432000 4194304 4196468 140726308415952 140029317356016 140029853178498 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21366] ppid=21353 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21366/stat : 21366 (java) S 21353 21353 20204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446246358 15508250624 7555 33554432000 4194304 4196468 140726308415952 140029316303472 140029853178498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21367] ppid=21353 vsize=15144776 memory=140027406546560 CPUtime=0.02 cores=1,3,5,7
/proc/21355/task/21367/stat : 21367 (java) R 21353 21353 20204 0 -1 4202560 368 0 0 0 2 0 0 0 20 0 15 0 446246358 15508250624 7555 33554432000 4194304 4196468 140726308415952 140029315250928 140029853181233 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21368] ppid=21353 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21368/stat : 21368 (java) S 21353 21353 20204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446246358 15508250624 7555 33554432000 4194304 4196468 140726308415952 140029314198624 140029853177557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21369] ppid=21353 vsize=15144776 memory=140027406546560 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21369/stat : 21369 (java) S 21353 21353 20204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446246359 15508250624 7555 33554432000 4194304 4196468 140726308415952 140029313145136 140029853178498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31668 KiB
[startup+0.211035 s]*
/proc/loadavg: 8.25 7.66 4.99 6/235 21370
/proc/meminfo: memFree=24417164/32770624 swapFree=66941524/67108860
[pid=21353] ppid=21350 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/21353/stat : 21353 (xcsp3-exec) S 21350 21353 20204 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446246353 115843072 362 33554432000 4194304 5098028 140730833222960 140730833221064 139770086793852 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26079232 140730833224570 140730833224813 140730833224813 140730833227722 0
/proc/21353/statm: 28282 362 304 221 0 87 0
[pid=21355] ppid=21353 vsize=15144776 memory=41060 CPUtime=0.34 cores=1,3,5,7
/proc/21355/stat : 21355 (java) S 21353 21353 20204 0 -1 1077944320 9005 0 0 0 31 3 0 0 20 0 15 0 446246353 15508250624 10265 33554432000 4194304 4196468 140726308415952 140726308398496 140029853167351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
/proc/21355/statm: 3786194 10265 3274 1 0 3748377 0
[pid=21355/tid=21356] ppid=21353 vsize=15144776 memory=5855082630903857826 CPUtime=0.2 cores=1,3,5,7
/proc/21355/task/21356/stat : 21356 (java) R 21353 21353 20204 0 -1 4202560 6180 0 0 0 18 2 0 0 20 0 15 0 446246353 15508250624 10265 33554432000 4194304 4196468 140726308415952 140029857397072 140029853179286 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21357] ppid=21353 vsize=15144776 memory=3472468156301698256 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21357/stat : 21357 (java) S 21353 21353 20204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446246354 15508250624 10265 33554432000 4194304 4196468 140726308415952 140029764823824 140029853177557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21358] ppid=21353 vsize=15144776 memory=140027406546560 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21358/stat : 21358 (java) S 21353 21353 20204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446246354 15508250624 10265 33554432000 4194304 4196468 140726308415952 140029763771280 140029853177557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21359] ppid=21353 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21359/stat : 21359 (java) S 21353 21353 20204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446246354 15508250624 10265 33554432000 4194304 4196468 140726308415952 140029762718736 140029853177557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21360] ppid=21353 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21360/stat : 21360 (java) S 21353 21353 20204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446246354 15508250624 10265 33554432000 4194304 4196468 140726308415952 140029761666192 140029853177557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21361] ppid=21353 vsize=15144776 memory=140027406546560 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21361/stat : 21361 (java) S 21353 21353 20204 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 446246355 15508250624 10265 33554432000 4194304 4196468 140726308415952 140029321566192 140029853178498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21362] ppid=21353 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21362/stat : 21362 (java) S 21353 21353 20204 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446246356 15508250624 10265 33554432000 4194304 4196468 140726308415952 140029320512416 140029853177557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21363] ppid=21353 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21363/stat : 21363 (java) S 21353 21353 20204 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446246356 15508250624 10265 33554432000 4194304 4196468 140726308415952 140029319459824 140029853177557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21364] ppid=21353 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21364/stat : 21364 (java) S 21353 21353 20204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446246358 15508250624 10265 33554432000 4194304 4196468 140726308415952 140029318408400 140029853185947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21365] ppid=21353 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/21355/task/21365/stat : 21365 (java) S 21353 21353 20204 0 -1 1077944384 765 0 0 0 3 0 0 0 20 0 15 0 446246358 15508250624 10265 33554432000 4194304 4196468 140726308415952 140029317356016 140029853178498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21366] ppid=21353 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/21355/task/21366/stat : 21366 (java) S 21353 21353 20204 0 -1 1077944384 49 0 0 0 1 0 0 0 20 0 15 0 446246358 15508250624 10265 33554432000 4194304 4196468 140726308415952 140029316303472 140029853178498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21367] ppid=21353 vsize=15144776 memory=140027406546560 CPUtime=0.08 cores=1,3,5,7
/proc/21355/task/21367/stat : 21367 (java) R 21353 21353 20204 0 -1 4202560 702 0 0 0 8 0 0 0 20 0 15 0 446246358 15508250624 10265 33554432000 4194304 4196468 140726308415952 140029315250928 140029831823214 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21368] ppid=21353 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21368/stat : 21368 (java) S 21353 21353 20204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446246358 15508250624 10265 33554432000 4194304 4196468 140726308415952 140029314198624 140029853177557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21369] ppid=21353 vsize=15144776 memory=140027406546560 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21369/stat : 21369 (java) S 21353 21353 20204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446246359 15508250624 10265 33554432000 4194304 4196468 140726308415952 140029313145136 140029853178498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42508 KiB
[startup+0.312709 s]*
/proc/loadavg: 8.25 7.66 4.99 7/235 21370
/proc/meminfo: memFree=24408624/32770624 swapFree=66941524/67108860
[pid=21353] ppid=21350 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/21353/stat : 21353 (xcsp3-exec) S 21350 21353 20204 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446246353 115843072 362 33554432000 4194304 5098028 140730833222960 140730833221064 139770086793852 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26079232 140730833224570 140730833224813 140730833224813 140730833227722 0
/proc/21353/statm: 28282 362 304 221 0 87 0
[pid=21355] ppid=21353 vsize=15149032 memory=50968 CPUtime=0.52 cores=1,3,5,7
/proc/21355/stat : 21355 (java) S 21353 21353 20204 0 -1 1077944320 10338 0 0 0 49 3 0 0 20 0 15 0 446246353 15512608768 12742 33554432000 4194304 4196468 140726308415952 140726308398496 140029853167351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
/proc/21355/statm: 3787258 12742 3343 1 0 3748377 0
[pid=21355/tid=21356] ppid=21353 vsize=15149032 memory=8514701219880861597 CPUtime=0.29 cores=1,3,5,7
/proc/21355/task/21356/stat : 21356 (java) R 21353 21353 20204 0 -1 4202560 7276 0 0 0 27 2 0 0 20 0 15 0 446246353 15512608768 12742 33554432000 4194304 4196468 140726308415952 140029857398464 140029837247838 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21357] ppid=21353 vsize=15149032 memory=3472468156301698256 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21357/stat : 21357 (java) S 21353 21353 20204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446246354 15512608768 12742 33554432000 4194304 4196468 140726308415952 140029764823824 140029853177557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21358] ppid=21353 vsize=15149032 memory=140027406546560 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21358/stat : 21358 (java) S 21353 21353 20204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446246354 15512608768 12742 33554432000 4194304 4196468 140726308415952 140029763771280 140029853177557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21359] ppid=21353 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21359/stat : 21359 (java) S 21353 21353 20204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446246354 15512608768 12742 33554432000 4194304 4196468 140726308415952 140029762718736 140029853177557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21360] ppid=21353 vsize=15149032 memory=140027275388959 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21360/stat : 21360 (java) S 21353 21353 20204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446246354 15512608768 12742 33554432000 4194304 4196468 140726308415952 140029761666192 140029853177557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21361] ppid=21353 vsize=15149032 memory=280054550738688 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21361/stat : 21361 (java) S 21353 21353 20204 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 446246355 15512608768 12742 33554432000 4194304 4196468 140726308415952 140029321566192 140029853178498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21362] ppid=21353 vsize=15149032 memory=140027275365903 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21362/stat : 21362 (java) S 21353 21353 20204 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446246356 15512608768 12742 33554432000 4194304 4196468 140726308415952 140029320512416 140029853177557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21363] ppid=21353 vsize=15149032 memory=280054681921632 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21363/stat : 21363 (java) S 21353 21353 20204 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446246356 15512608768 12742 33554432000 4194304 4196468 140726308415952 140029319459824 140029853177557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21364] ppid=21353 vsize=15149032 memory=140027275370511 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21364/stat : 21364 (java) S 21353 21353 20204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446246358 15512608768 12742 33554432000 4194304 4196468 140726308415952 140029318408400 140029853185947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21365] ppid=21353 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/21355/task/21365/stat : 21365 (java) S 21353 21353 20204 0 -1 1077944384 772 0 0 0 4 0 0 0 20 0 15 0 446246358 15512608768 12742 33554432000 4194304 4196468 140726308415952 140029317356016 140029853178498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21366] ppid=21353 vsize=15149032 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/21355/task/21366/stat : 21366 (java) R 21353 21353 20204 0 -1 4202560 187 0 0 0 4 0 0 0 20 0 15 0 446246358 15512608768 12742 33554432000 4194304 4196468 140726308415952 140029316294928 140029838293702 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21367] ppid=21353 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/21355/task/21367/stat : 21367 (java) S 21353 21353 20204 0 -1 1077944384 799 0 0 0 12 0 0 0 20 0 15 0 446246358 15512608768 12742 33554432000 4194304 4196468 140726308415952 140029315250928 140029853178498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21368] ppid=21353 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21368/stat : 21368 (java) S 21353 21353 20204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446246358 15512608768 12742 33554432000 4194304 4196468 140726308415952 140029314198624 140029853177557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21369] ppid=21353 vsize=15149032 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21369/stat : 21369 (java) S 21353 21353 20204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446246359 15512608768 12742 33554432000 4194304 4196468 140726308415952 140029313145136 140029853178498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 52416 KiB
[startup+0.700749 s]
/proc/loadavg: 8.25 7.66 4.99 9/235 21370
/proc/meminfo: memFree=24391064/32770624 swapFree=66941524/67108860
[pid=21353] ppid=21350 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/21353/stat : 21353 (xcsp3-exec) S 21350 21353 20204 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446246353 115843072 362 33554432000 4194304 5098028 140730833222960 140730833221064 139770086793852 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26079232 140730833224570 140730833224813 140730833224813 140730833227722 0
/proc/21353/statm: 28282 362 304 221 0 87 0
[pid=21355] ppid=21353 vsize=15151156 memory=84456 CPUtime=1.63 cores=1,3,5,7
/proc/21355/stat : 21355 (java) S 21353 21353 20204 0 -1 1077944320 14478 0 0 0 157 6 0 0 20 0 15 0 446246353 15514783744 21114 33554432000 4194304 4196468 140726308415952 140726308398496 140029853167351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
/proc/21355/statm: 3787789 21114 3455 1 0 3748889 0
[pid=21355/tid=21356] ppid=21353 vsize=15151156 memory=1088 CPUtime=0.67 cores=1,3,5,7
/proc/21355/task/21356/stat : 21356 (java) S 21353 21353 20204 0 -1 1077944384 8812 0 0 0 63 4 0 0 20 0 15 0 446246353 15514783744 21114 33554432000 4194304 4196468 140726308415952 140029857402880 140029853177557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21357] ppid=21353 vsize=15151156 memory=988 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21357/stat : 21357 (java) S 21353 21353 20204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446246354 15514783744 21114 33554432000 4194304 4196468 140726308415952 140029764823824 140029853177557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21358] ppid=21353 vsize=15151156 memory=780 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21358/stat : 21358 (java) S 21353 21353 20204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446246354 15514783744 21114 33554432000 4194304 4196468 140726308415952 140029763771280 140029853177557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21359] ppid=21353 vsize=15151156 memory=6004 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21359/stat : 21359 (java) S 21353 21353 20204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446246354 15514783744 21114 33554432000 4194304 4196468 140726308415952 140029762718736 140029853177557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21360] ppid=21353 vsize=15151156 memory=624 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21360/stat : 21360 (java) S 21353 21353 20204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446246354 15514783744 21114 33554432000 4194304 4196468 140726308415952 140029761666192 140029853177557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21361] ppid=21353 vsize=15151156 memory=4004 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21361/stat : 21361 (java) R 21353 21353 20204 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 446246355 15514783744 21114 33554432000 4194304 4196468 140726308415952 140029321566192 140029853178498 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21362] ppid=21353 vsize=15151156 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21362/stat : 21362 (java) S 21353 21353 20204 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446246356 15514783744 21114 33554432000 4194304 4196468 140726308415952 140029320512416 140029853177557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21363] ppid=21353 vsize=15151156 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21363/stat : 21363 (java) S 21353 21353 20204 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446246356 15514783744 21114 33554432000 4194304 4196468 140726308415952 140029319459824 140029853177557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21364] ppid=21353 vsize=15151156 memory=47952 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21364/stat : 21364 (java) S 21353 21353 20204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446246358 15514783744 21114 33554432000 4194304 4196468 140726308415952 140029318408400 140029853185947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21365] ppid=21353 vsize=15151156 memory=1988 CPUtime=0.29 cores=1,3,5,7
/proc/21355/task/21365/stat : 21365 (java) R 21353 21353 20204 0 -1 4202560 1474 0 0 0 29 0 0 0 20 0 15 0 446246358 15514783744 21114 33554432000 4194304 4196468 140726308415952 140029317356016 140029834690784 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21366] ppid=21353 vsize=15151156 memory=988 CPUtime=0.25 cores=1,3,5,7
/proc/21355/task/21366/stat : 21366 (java) S 21353 21353 20204 0 -1 1077944384 810 0 0 0 25 0 0 0 20 0 15 0 446246358 15514783744 21114 33554432000 4194304 4196468 140726308415952 140029316303472 140029853178498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21367] ppid=21353 vsize=15151156 memory=1428 CPUtime=0.39 cores=1,3,5,7
/proc/21355/task/21367/stat : 21367 (java) S 21353 21353 20204 0 -1 1077944384 2073 0 0 0 39 0 0 0 20 0 15 0 446246358 15514783744 21114 33554432000 4194304 4196468 140726308415952 140029315250928 140029853178498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21368] ppid=21353 vsize=15151156 memory=1752 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21368/stat : 21368 (java) S 21353 21353 20204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446246358 15514783744 21114 33554432000 4194304 4196468 140726308415952 140029314198624 140029853177557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21369] ppid=21353 vsize=15151156 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21369/stat : 21369 (java) S 21353 21353 20204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446246359 15514783744 21114 33554432000 4194304 4196468 140726308415952 140029313145136 140029853178498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
Current children cumulated CPU time: 1.63 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 85904 KiB
[startup+1.50083 s]
/proc/loadavg: 8.25 7.66 4.99 12/239 21394
/proc/meminfo: memFree=24303676/32770624 swapFree=66941524/67108860
[pid=21353] ppid=21350 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/21353/stat : 21353 (xcsp3-exec) S 21350 21353 20204 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446246353 115843072 362 33554432000 4194304 5098028 140730833222960 140730833221064 139770086793852 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26079232 140730833224570 140730833224813 140730833224813 140730833227722 0
/proc/21353/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/21355/task/21357/stat : 21357 (java) S 21353 21353 20204 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 19 0 446246354 15996116992 48994 33554432000 4194304 4196468 140726308415952 140029764823824 140029853177557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21358] ppid=21353 vsize=15621208 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21358/stat : 21358 (java) S 21353 21353 20204 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 19 0 446246354 15996116992 48994 33554432000 4194304 4196468 140726308415952 140029763771280 140029853177557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21359] ppid=21353 vsize=15621208 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21359/stat : 21359 (java) S 21353 21353 20204 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 19 0 446246354 15996116992 48994 33554432000 4194304 4196468 140726308415952 140029762718736 140029853177557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21360] ppid=21353 vsize=15621208 memory=7236229500900889449 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21360/stat : 21360 (java) S 21353 21353 20204 0 -1 1077944384 214 0 0 0 0 0 0 0 20 0 19 0 446246354 15996116992 48994 33554432000 4194304 4196468 140726308415952 140029761666192 140029853177557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21361] ppid=21353 vsize=15621208 memory=5864625081210529895 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21361/stat : 21361 (java) S 21353 21353 20204 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 19 0 446246355 15996116992 48994 33554432000 4194304 4196468 140726308415952 140029321566192 140029853178498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21362] ppid=21353 vsize=15621208 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21362/stat : 21362 (java) S 21353 21353 20204 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 446246356 15996116992 48994 33554432000 4194304 4196468 140726308415952 140029320512416 140029853177557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21363] ppid=21353 vsize=15621208 memory=288230600345911612 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21363/stat : 21363 (java) S 21353 21353 20204 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 446246356 15996116992 48994 33554432000 4194304 4196468 140726308415952 140029319459824 140029853177557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21364] ppid=21353 vsize=15621208 memory=14127849082721544 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21364/stat : 21364 (java) S 21353 21353 20204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446246358 15996116992 48994 33554432000 4194304 4196468 140726308415952 140029318408400 140029853185947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21365] ppid=21353 vsize=15621208 memory=0 CPUtime=1.53 cores=1,3,5,7
/proc/21355/task/21365/stat : 21365 (java) S 21353 21353 20204 0 -1 1077944384 5317 0 0 0 152 1 0 0 20 0 19 0 446246358 15996116992 48994 33554432000 4194304 4196468 140726308415952 140029317356016 140029853178498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21366] ppid=21353 vsize=15621208 memory=0 CPUtime=1.55 cores=1,3,5,7
/proc/21355/task/21366/stat : 21366 (java) R 21353 21353 20204 0 -1 4202560 4016 0 0 0 155 0 0 0 20 0 19 0 446246358 15996116992 48994 33554432000 4194304 4196468 140726308415952 140029316303472 140029832356801 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21367] ppid=21353 vsize=15621208 memory=280054550991984 CPUtime=0.67 cores=1,3,5,7
/proc/21355/task/21367/stat : 21367 (java) R 21353 21353 20204 0 -1 1077944384 3844 0 0 0 66 1 0 0 20 0 19 0 446246358 15996116992 48994 33554432000 4194304 4196468 140726308415952 140029315250928 140029853178498 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21368] ppid=21353 vsize=15621208 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21368/stat : 21368 (java) S 21353 21353 20204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446246358 15996116992 48994 33554432000 4194304 4196468 140726308415952 140029314198624 140029853177557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21369] ppid=21353 vsize=15621208 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21369/stat : 21369 (java) S 21353 21353 20204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446246359 15996116992 48994 33554432000 4194304 4196468 140726308415952 140029313145136 140029853178498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
Current children cumulated CPU time: 11.09 s
Current children cumulated vsize: 15734336 KiB
Current children cumulated memory: 197424 KiB
[startup+3.80994 s]
# the end of solver process 21353 was just reported to runsolver
# cumulated CPU time of all completed processes: user=13.7255 s, system=0.12239 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.2025 s]
/proc/loadavg: 8.25 7.66 4.99 11/239 21414
/proc/meminfo: memFree=24264036/32770624 swapFree=66941524/67108860
[pid=21353] ppid=21350 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/21353/stat : 21353 (xcsp3-exec) S 21350 21353 20204 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446246353 115843072 362 33554432000 4194304 5098028 140730833222960 140730833221064 139770086793852 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26079232 140730833224570 140730833224813 140730833224813 140730833227722 0
/proc/21353/statm: 28282 362 304 221 0 87 0
[pid=21355] ppid=21353 vsize=15621208 memory=195976 CPUtime=11.43 cores=1,3,5,7
/proc/21355/stat : 21355 (java) S 21353 21353 20204 0 -1 1077944320 25381 0 0 0 1132 11 0 0 20 0 19 0 446246353 15996116992 48994 33554432000 4194304 4196468 140726308415952 140726308398496 140029853167351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
/proc/21355/statm: 3905302 48994 3483 1 0 3866402 0
[pid=21355/tid=21356] ppid=21353 vsize=15621208 memory=2112 CPUtime=0.75 cores=1,3,5,7
/proc/21355/task/21356/stat : 21356 (java) S 21353 21353 20204 0 -1 1077944384 8913 0 0 0 71 4 0 0 20 0 19 0 446246353 15996116992 48994 33554432000 4194304 4196468 140726308415952 140029857408128 140029853177557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21357] ppid=21353 vsize=15621208 memory=12040 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21357/stat : 21357 (java) S 21353 21353 20204 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 19 0 446246354 15996116992 48994 33554432000 4194304 4196468 140726308415952 140029764823824 140029853177557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21358] ppid=21353 vsize=15621208 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21358/stat : 21358 (java) S 21353 21353 20204 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 19 0 446246354 15996116992 48994 33554432000 4194304 4196468 140726308415952 140029763771280 140029853177557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21359] ppid=21353 vsize=15621208 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21359/stat : 21359 (java) S 21353 21353 20204 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 19 0 446246354 15996116992 48994 33554432000 4194304 4196468 140726308415952 140029762718736 140029853177557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21360] ppid=21353 vsize=15621208 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21360/stat : 21360 (java) S 21353 21353 20204 0 -1 1077944384 214 0 0 0 0 0 0 0 20 0 19 0 446246354 15996116992 48994 33554432000 4194304 4196468 140726308415952 140029761666192 140029853177557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21361] ppid=21353 vsize=15621208 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21361/stat : 21361 (java) S 21353 21353 20204 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 19 0 446246355 15996116992 48994 33554432000 4194304 4196468 140726308415952 140029321566192 140029853178498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21362] ppid=21353 vsize=15621208 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21362/stat : 21362 (java) S 21353 21353 20204 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 446246356 15996116992 48994 33554432000 4194304 4196468 140726308415952 140029320512416 140029853177557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21363] ppid=21353 vsize=15621208 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21363/stat : 21363 (java) S 21353 21353 20204 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 446246356 15996116992 48994 33554432000 4194304 4196468 140726308415952 140029319459824 140029853177557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21364] ppid=21353 vsize=15621208 memory=140027275621956 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21364/stat : 21364 (java) S 21353 21353 20204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446246358 15996116992 48994 33554432000 4194304 4196468 140726308415952 140029318408400 140029853185947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21365] ppid=21353 vsize=15621208 memory=1436 CPUtime=1.53 cores=1,3,5,7
/proc/21355/task/21365/stat : 21365 (java) S 21353 21353 20204 0 -1 1077944384 5317 0 0 0 152 1 0 0 20 0 19 0 446246358 15996116992 48994 33554432000 4194304 4196468 140726308415952 140029317356016 140029853178498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21366] ppid=21353 vsize=15621208 memory=288230574492221466 CPUtime=1.56 cores=1,3,5,7
/proc/21355/task/21366/stat : 21366 (java) S 21353 21353 20204 0 -1 1077944384 4021 0 0 0 156 0 0 0 20 0 19 0 446246358 15996116992 48994 33554432000 4194304 4196468 140726308415952 140029316303472 140029853178498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21367] ppid=21353 vsize=15621208 memory=288230583166042426 CPUtime=0.68 cores=1,3,5,7
/proc/21355/task/21367/stat : 21367 (java) S 21353 21353 20204 0 -1 1077944384 3844 0 0 0 67 1 0 0 20 0 19 0 446246358 15996116992 48994 33554432000 4194304 4196468 140726308415952 140029315250928 140029853178498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21368] ppid=21353 vsize=15621208 memory=13847469322668657 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21368/stat : 21368 (java) S 21353 21353 20204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446246358 15996116992 48994 33554432000 4194304 4196468 140726308415952 140029314198624 140029853177557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21369] ppid=21353 vsize=15621208 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21369/stat : 21369 (java) S 21353 21353 20204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446246359 15996116992 48994 33554432000 4194304 4196468 140726308415952 140029313145136 140029853178498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
Current children cumulated CPU time: 11.43 s
Current children cumulated vsize: 15734336 KiB
Current children cumulated memory: 197424 KiB
[startup+3.60063 s]
/proc/loadavg: 8.25 7.66 4.99 11/239 21414
/proc/meminfo: memFree=24264036/32770624 swapFree=66941524/67108860
[pid=21353] ppid=21350 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/21353/stat : 21353 (xcsp3-exec) S 21350 21353 20204 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446246353 115843072 362 33554432000 4194304 5098028 140730833222960 140730833221064 139770086793852 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26079232 140730833224570 140730833224813 140730833224813 140730833227722 0
/proc/21353/statm: 28282 362 304 221 0 87 0
[pid=21355] ppid=21353 vsize=15621208 memory=196036 CPUtime=13.02 cores=1,3,5,7
/proc/21355/stat : 21355 (java) S 21353 21353 20204 0 -1 1077944320 25396 0 0 0 1291 11 0 0 20 0 19 0 446246353 15996116992 49009 33554432000 4194304 4196468 140726308415952 140726308398496 140029853167351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
/proc/21355/statm: 3905302 49009 3483 1 0 3866402 0
[pid=21355/tid=21356] ppid=21353 vsize=15621208 memory=1988 CPUtime=0.75 cores=1,3,5,7
/proc/21355/task/21356/stat : 21356 (java) S 21353 21353 20204 0 -1 1077944384 8913 0 0 0 71 4 0 0 20 0 19 0 446246353 15996116992 49009 33554432000 4194304 4196468 140726308415952 140029857408128 140029853177557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21357] ppid=21353 vsize=15621208 memory=988 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21357/stat : 21357 (java) S 21353 21353 20204 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 19 0 446246354 15996116992 49009 33554432000 4194304 4196468 140726308415952 140029764823824 140029853177557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21358] ppid=21353 vsize=15621208 memory=1428 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21358/stat : 21358 (java) S 21353 21353 20204 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 19 0 446246354 15996116992 49009 33554432000 4194304 4196468 140726308415952 140029763771280 140029853177557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21359] ppid=21353 vsize=15621208 memory=1752 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21359/stat : 21359 (java) S 21353 21353 20204 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 19 0 446246354 15996116992 49009 33554432000 4194304 4196468 140726308415952 140029762718736 140029853177557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21360] ppid=21353 vsize=15621208 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21360/stat : 21360 (java) S 21353 21353 20204 0 -1 1077944384 214 0 0 0 0 0 0 0 20 0 19 0 446246354 15996116992 49009 33554432000 4194304 4196468 140726308415952 140029761666192 140029853177557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21361] ppid=21353 vsize=15621208 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21361/stat : 21361 (java) S 21353 21353 20204 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 19 0 446246355 15996116992 49009 33554432000 4194304 4196468 140726308415952 140029321566192 140029853178498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21362] ppid=21353 vsize=15621208 memory=11632 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21362/stat : 21362 (java) S 21353 21353 20204 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 446246356 15996116992 49009 33554432000 4194304 4196468 140726308415952 140029320512416 140029853177557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21363] ppid=21353 vsize=15621208 memory=1732 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21363/stat : 21363 (java) S 21353 21353 20204 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 446246356 15996116992 49009 33554432000 4194304 4196468 140726308415952 140029319459824 140029853177557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21364] ppid=21353 vsize=15621208 memory=1088 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21364/stat : 21364 (java) S 21353 21353 20204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446246358 15996116992 49009 33554432000 4194304 4196468 140726308415952 140029318408400 140029853185947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21365] ppid=21353 vsize=15621208 memory=988 CPUtime=1.54 cores=1,3,5,7
/proc/21355/task/21365/stat : 21365 (java) S 21353 21353 20204 0 -1 1077944384 5320 0 0 0 153 1 0 0 20 0 19 0 446246358 15996116992 49009 33554432000 4194304 4196468 140726308415952 140029317356016 140029853178498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21366] ppid=21353 vsize=15621208 memory=780 CPUtime=1.58 cores=1,3,5,7
/proc/21355/task/21366/stat : 21366 (java) S 21353 21353 20204 0 -1 1077944384 4027 0 0 0 158 0 0 0 20 0 19 0 446246358 15996116992 49009 33554432000 4194304 4196468 140726308415952 140029316303472 140029853178498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21367] ppid=21353 vsize=15621208 memory=6004 CPUtime=0.68 cores=1,3,5,7
/proc/21355/task/21367/stat : 21367 (java) R 21353 21353 20204 0 -1 1077944384 3845 0 0 0 67 1 0 0 20 0 19 0 446246358 15996116992 49009 33554432000 4194304 4196468 140726308415952 140029315250928 140029853178498 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21368] ppid=21353 vsize=15621208 memory=624 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21368/stat : 21368 (java) S 21353 21353 20204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446246358 15996116992 49009 33554432000 4194304 4196468 140726308415952 140029314198624 140029853177557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21369] ppid=21353 vsize=15621208 memory=4004 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21369/stat : 21369 (java) S 21353 21353 20204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446246359 15996116992 49009 33554432000 4194304 4196468 140726308415952 140029313145136 140029853178498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
Current children cumulated CPU time: 13.02 s
Current children cumulated vsize: 15734336 KiB
Current children cumulated memory: 197484 KiB
[startup+3.80149 s]
/proc/loadavg: 8.25 7.66 4.99 11/239 21414
/proc/meminfo: memFree=24264036/32770624 swapFree=66941524/67108860
[pid=21353] ppid=21350 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/21353/stat : 21353 (xcsp3-exec) S 21350 21353 20204 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446246353 115843072 362 33554432000 4194304 5098028 140730833222960 140730833221064 139770086793852 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26079232 140730833224570 140730833224813 140730833224813 140730833227722 0
/proc/21353/statm: 28282 362 304 221 0 87 0
[pid=21355] ppid=21353 vsize=15621208 memory=196036 CPUtime=13.82 cores=1,3,5,7
/proc/21355/stat : 21355 (java) S 21353 21353 20204 0 -1 1077944320 25410 0 0 0 1371 11 0 0 20 0 19 0 446246353 15996116992 49009 33554432000 4194304 4196468 140726308415952 140726308398496 140029853167351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
/proc/21355/statm: 3905302 49009 3483 1 0 3866402 0
[pid=21355/tid=21356] ppid=21353 vsize=15621208 memory=31492 CPUtime=0.75 cores=1,3,5,7
/proc/21355/task/21356/stat : 21356 (java) S 21353 21353 20204 0 -1 1077944384 8913 0 0 0 71 4 0 0 20 0 19 0 446246353 15996116992 49009 33554432000 4194304 4196468 140726308415952 140029857408128 140029853177557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21357] ppid=21353 vsize=15621208 memory=-8033973626532799130 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21357/stat : 21357 (java) S 21353 21353 20204 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 19 0 446246354 15996116992 49009 33554432000 4194304 4196468 140726308415952 140029764823824 140029853177557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21358] ppid=21353 vsize=15621208 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21358/stat : 21358 (java) S 21353 21353 20204 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 19 0 446246354 15996116992 49009 33554432000 4194304 4196468 140726308415952 140029763771280 140029853177557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21359] ppid=21353 vsize=15621208 memory=280054550495472 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21359/stat : 21359 (java) S 21353 21353 20204 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 19 0 446246354 15996116992 49009 33554432000 4194304 4196468 140726308415952 140029762718736 140029853177557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21360] ppid=21353 vsize=15621208 memory=7739276948477930857 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21360/stat : 21360 (java) S 21353 21353 20204 0 -1 1077944384 214 0 0 0 0 0 0 0 20 0 19 0 446246354 15996116992 49009 33554432000 4194304 4196468 140726308415952 140029761666192 140029853177557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21361] ppid=21353 vsize=15621208 memory=8025788814078207340 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21361/stat : 21361 (java) S 21353 21353 20204 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 19 0 446246355 15996116992 49009 33554432000 4194304 4196468 140726308415952 140029321566192 140029853178498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21362] ppid=21353 vsize=15621208 memory=-8814538831020006773 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21362/stat : 21362 (java) S 21353 21353 20204 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 446246356 15996116992 49009 33554432000 4194304 4196468 140726308415952 140029320512416 140029853177557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21363] ppid=21353 vsize=15621208 memory=-6736937045019192452 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21363/stat : 21363 (java) S 21353 21353 20204 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 446246356 15996116992 49009 33554432000 4194304 4196468 140726308415952 140029319459824 140029853177557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21364] ppid=21353 vsize=15621208 memory=6944656591801717918 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21364/stat : 21364 (java) S 21353 21353 20204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446246358 15996116992 49009 33554432000 4194304 4196468 140726308415952 140029318408400 140029853185947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21365] ppid=21353 vsize=15621208 memory=-7522837583129307271 CPUtime=1.54 cores=1,3,5,7
/proc/21355/task/21365/stat : 21365 (java) S 21353 21353 20204 0 -1 1077944384 5320 0 0 0 153 1 0 0 20 0 19 0 446246358 15996116992 49009 33554432000 4194304 4196468 140726308415952 140029317356016 140029853178498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21366] ppid=21353 vsize=15621208 memory=7682475212697334586 CPUtime=1.62 cores=1,3,5,7
/proc/21355/task/21366/stat : 21366 (java) S 21353 21353 20204 0 -1 1077944384 4035 0 0 0 162 0 0 0 20 0 19 0 446246358 15996116992 49009 33554432000 4194304 4196468 140726308415952 140029316303472 140029853178498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21367] ppid=21353 vsize=15621208 memory=-7035114785800479027 CPUtime=0.68 cores=1,3,5,7
/proc/21355/task/21367/stat : 21367 (java) S 21353 21353 20204 0 -1 1077944384 3851 0 0 0 67 1 0 0 20 0 19 0 446246358 15996116992 49009 33554432000 4194304 4196468 140726308415952 140029315250928 140029853178498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21368] ppid=21353 vsize=15621208 memory=-8035107114841901037 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21368/stat : 21368 (java) S 21353 21353 20204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446246358 15996116992 49009 33554432000 4194304 4196468 140726308415952 140029314198624 140029853177557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
[pid=21355/tid=21369] ppid=21353 vsize=15621208 memory=-7390251449858225344 CPUtime=0 cores=1,3,5,7
/proc/21355/task/21369/stat : 21369 (java) S 21353 21353 20204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446246359 15996116992 49009 33554432000 4194304 4196468 140726308415952 140029313145136 140029853178498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21016576 140726308418543 140726308418714 140726308418714 140726308421583 0
Current children cumulated CPU time: 13.82 s
Current children cumulated vsize: 15734336 KiB
Current children cumulated memory: 197484 KiB
Child status: 0
Real time (s): 3.80999
CPU time (s): 13.8479
CPU user time (s): 13.7255
CPU system time (s): 0.12239
CPU usage (%): 363.463
Max. virtual memory (cumulated for all children) (KiB): 15734336
Max. memory (cumulated for all children) (KiB): 197484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.7255
system time used= 0.12239
maximum resident set size= 196776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25992
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= 2737
involuntary context switches= 682
# summary of solver processes directly reported to runsolver:
# pid: 21353
# total CPU time (s): 13.8479
# total CPU user time (s): 13.7255
# total CPU system time (s): 0.12239
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.04824 second user time and 0.082543 second system time
The end