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 (14100 MiB free)
memory of node 1: 16384 MiB (15218 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398927-1568697845/watcher-4398927-1568697845 -o /tmp/evaluation-result-4398927-1568697845/solver-4398927-1568697845 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568691194-25965 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 529826161 HOME/instance-4398927-1568697845.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=28469, runsolver pid=28466
Current StackSize limit: 8192 KiB
[startup+0.100081 s]*
/proc/loadavg: 8.96 8.72 8.19 8/233 28485
/proc/meminfo: memFree=30006280/32770624 swapFree=67000028/67108860
[pid=28469] ppid=28466 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/28469/stat : 28469 (xcsp3-exec) S 28466 28469 25933 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446039000 115843072 362 33554432000 4194304 5098028 140734353536032 140734353534136 140414409208444 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29175808 140734353539963 140734353540205 140734353540205 140734353543114 0
/proc/28469/statm: 28282 362 304 221 0 87 0
[pid=28471] ppid=28469 vsize=15144776 memory=29120 CPUtime=0.14 cores=1,3,5,7
/proc/28471/stat : 28471 (java) S 28469 28469 25933 0 -1 1077944320 5711 0 0 0 13 1 0 0 20 0 15 0 446039001 15508250624 7280 33554432000 4194304 4196468 140734951707488 140734951690032 139985049030391 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
/proc/28471/statm: 3786194 7280 3155 1 0 3748377 0
[pid=28471/tid=28472] ppid=28469 vsize=15144776 memory=576460756329955459 CPUtime=0.09 cores=1,3,5,7
/proc/28471/task/28472/stat : 28472 (java) R 28469 28469 25933 0 -1 4202560 3572 0 0 0 9 0 0 0 20 0 15 0 446039001 15508250624 7280 33554432000 4194304 4196468 140734951707488 139985053252448 139985041267518 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28473] ppid=28469 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28471/task/28473/stat : 28473 (java) S 28469 28469 25933 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446039002 15508250624 7280 33554432000 4194304 4196468 140734951707488 139985001650448 139985049040597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28474] ppid=28469 vsize=15144776 memory=3976878801590445728 CPUtime=0 cores=1,3,5,7
/proc/28471/task/28474/stat : 28474 (java) S 28469 28469 25933 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446039002 15508250624 7280 33554432000 4194304 4196468 140734951707488 139985000597904 139985049040597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28475] ppid=28469 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28471/task/28475/stat : 28475 (java) S 28469 28469 25933 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446039002 15508250624 7280 33554432000 4194304 4196468 140734951707488 139984999545360 139985049040597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28476] ppid=28469 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28471/task/28476/stat : 28476 (java) S 28469 28469 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446039002 15508250624 7280 33554432000 4194304 4196468 140734951707488 139984998492816 139985049040597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28477] ppid=28469 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28471/task/28477/stat : 28477 (java) S 28469 28469 25933 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446039003 15508250624 7280 33554432000 4194304 4196468 140734951707488 139984124242416 139985049041538 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28478] ppid=28469 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28471/task/28478/stat : 28478 (java) S 28469 28469 25933 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446039003 15508250624 7280 33554432000 4194304 4196468 140734951707488 139984123188640 139985049040597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28479] ppid=28469 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28471/task/28479/stat : 28479 (java) S 28469 28469 25933 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446039004 15508250624 7280 33554432000 4194304 4196468 140734951707488 139984122136048 139985049040597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28480] ppid=28469 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28471/task/28480/stat : 28480 (java) S 28469 28469 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446039006 15508250624 7280 33554432000 4194304 4196468 140734951707488 139984121084624 139985049048987 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28481] ppid=28469 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28471/task/28481/stat : 28481 (java) S 28469 28469 25933 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 15 0 446039006 15508250624 7280 33554432000 4194304 4196468 140734951707488 139984120031216 139985049041538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28482] ppid=28469 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28471/task/28482/stat : 28482 (java) S 28469 28469 25933 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 446039006 15508250624 7280 33554432000 4194304 4196468 140734951707488 139984118978672 139985049041538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28483] ppid=28469 vsize=15144776 memory=139629010380416 CPUtime=0.02 cores=1,3,5,7
/proc/28471/task/28483/stat : 28483 (java) R 28469 28469 25933 0 -1 4202560 366 0 0 0 2 0 0 0 20 0 15 0 446039006 15508250624 7280 33554432000 4194304 4196468 140734951707488 139984117926256 139985041747543 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28484] ppid=28469 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28471/task/28484/stat : 28484 (java) S 28469 28469 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446039006 15508250624 7280 33554432000 4194304 4196468 140734951707488 139984116873824 139985049040597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28485] ppid=28469 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28471/task/28485/stat : 28485 (java) S 28469 28469 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446039006 15508250624 7280 33554432000 4194304 4196468 140734951707488 139984115821360 139985049041538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30568 KiB
[startup+0.21137 s]*
/proc/loadavg: 8.96 8.72 8.19 7/233 28485
/proc/meminfo: memFree=29993308/32770624 swapFree=67000028/67108860
[pid=28469] ppid=28466 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/28469/stat : 28469 (xcsp3-exec) S 28466 28469 25933 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446039000 115843072 362 33554432000 4194304 5098028 140734353536032 140734353534136 140414409208444 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29175808 140734353539963 140734353540205 140734353540205 140734353543114 0
/proc/28469/statm: 28282 362 304 221 0 87 0
[pid=28471] ppid=28469 vsize=15144776 memory=40916 CPUtime=0.34 cores=1,3,5,7
/proc/28471/stat : 28471 (java) S 28469 28469 25933 0 -1 1077944320 9475 0 0 0 32 2 0 0 20 0 15 0 446039001 15508250624 10229 33554432000 4194304 4196468 140734951707488 140734951690032 139985049030391 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
/proc/28471/statm: 3786194 10229 3318 1 0 3748377 0
[pid=28471/tid=28472] ppid=28469 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/28471/task/28472/stat : 28472 (java) R 28469 28469 25933 0 -1 4202560 6609 0 0 0 18 2 0 0 20 0 15 0 446039001 15508250624 10229 33554432000 4194304 4196468 140734951707488 139985053265376 139985033110878 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28473] ppid=28469 vsize=15144776 memory=2669799 CPUtime=0 cores=1,3,5,7
/proc/28471/task/28473/stat : 28473 (java) S 28469 28469 25933 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446039002 15508250624 10229 33554432000 4194304 4196468 140734951707488 139985001650448 139985049040597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28474] ppid=28469 vsize=15144776 memory=139629013544120 CPUtime=0 cores=1,3,5,7
/proc/28471/task/28474/stat : 28474 (java) S 28469 28469 25933 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446039002 15508250624 10229 33554432000 4194304 4196468 140734951707488 139985000597904 139985049040597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28475] ppid=28469 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28471/task/28475/stat : 28475 (java) S 28469 28469 25933 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446039002 15508250624 10229 33554432000 4194304 4196468 140734951707488 139984999545360 139985049040597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28476] ppid=28469 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28471/task/28476/stat : 28476 (java) S 28469 28469 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446039002 15508250624 10229 33554432000 4194304 4196468 140734951707488 139984998492816 139985049040597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28477] ppid=28469 vsize=15144776 memory=139629010380416 CPUtime=0 cores=1,3,5,7
/proc/28471/task/28477/stat : 28477 (java) S 28469 28469 25933 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446039003 15508250624 10229 33554432000 4194304 4196468 140734951707488 139984124242416 139985049041538 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28478] ppid=28469 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28471/task/28478/stat : 28478 (java) S 28469 28469 25933 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446039003 15508250624 10229 33554432000 4194304 4196468 140734951707488 139984123188640 139985049040597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28479] ppid=28469 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28471/task/28479/stat : 28479 (java) S 28469 28469 25933 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446039004 15508250624 10229 33554432000 4194304 4196468 140734951707488 139984122136048 139985049040597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28480] ppid=28469 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28471/task/28480/stat : 28480 (java) S 28469 28469 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446039006 15508250624 10229 33554432000 4194304 4196468 140734951707488 139984121084624 139985049048987 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28481] ppid=28469 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/28471/task/28481/stat : 28481 (java) S 28469 28469 25933 0 -1 1077944384 478 0 0 0 2 0 0 0 20 0 15 0 446039006 15508250624 10229 33554432000 4194304 4196468 140734951707488 139984120031216 139985049041538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28482] ppid=28469 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/28471/task/28482/stat : 28482 (java) R 28469 28469 25933 0 -1 4202560 294 0 0 0 2 0 0 0 20 0 15 0 446039006 15508250624 10229 33554432000 4194304 4196468 140734951707488 139984118978672 139985049042326 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28483] ppid=28469 vsize=15144776 memory=139629010380416 CPUtime=0.08 cores=1,3,5,7
/proc/28471/task/28483/stat : 28483 (java) S 28469 28469 25933 0 -1 1077944384 788 0 0 0 8 0 0 0 20 0 15 0 446039006 15508250624 10229 33554432000 4194304 4196468 140734951707488 139984117926128 139985049041538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28484] ppid=28469 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28471/task/28484/stat : 28484 (java) S 28469 28469 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446039006 15508250624 10229 33554432000 4194304 4196468 140734951707488 139984116873824 139985049040597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28485] ppid=28469 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28471/task/28485/stat : 28485 (java) S 28469 28469 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446039006 15508250624 10229 33554432000 4194304 4196468 140734951707488 139984115821360 139985049041538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42364 KiB
[startup+0.310555 s]*
/proc/loadavg: 8.96 8.72 8.19 7/233 28485
/proc/meminfo: memFree=29986260/32770624 swapFree=67000028/67108860
[pid=28469] ppid=28466 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/28469/stat : 28469 (xcsp3-exec) S 28466 28469 25933 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446039000 115843072 362 33554432000 4194304 5098028 140734353536032 140734353534136 140414409208444 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29175808 140734353539963 140734353540205 140734353540205 140734353543114 0
/proc/28469/statm: 28282 362 304 221 0 87 0
[pid=28471] ppid=28469 vsize=15149032 memory=50488 CPUtime=0.53 cores=1,3,5,7
/proc/28471/stat : 28471 (java) S 28469 28469 25933 0 -1 1077944320 10950 0 0 0 50 3 0 0 20 0 15 0 446039001 15512608768 12622 33554432000 4194304 4196468 140734951707488 140734951690032 139985049030391 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
/proc/28471/statm: 3787258 12622 3359 1 0 3748377 0
[pid=28471/tid=28472] ppid=28469 vsize=15149032 memory=8317482817917895235 CPUtime=0.29 cores=1,3,5,7
/proc/28471/task/28472/stat : 28472 (java) R 28469 28469 25933 0 -1 4202560 7819 0 0 0 27 2 0 0 20 0 15 0 446039001 15512608768 12622 33554432000 4194304 4196468 140734951707488 139985053261040 139985033110878 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28473] ppid=28469 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/28471/task/28473/stat : 28473 (java) S 28469 28469 25933 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446039002 15512608768 12622 33554432000 4194304 4196468 140734951707488 139985001650448 139985049040597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28474] ppid=28469 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/28471/task/28474/stat : 28474 (java) S 28469 28469 25933 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446039002 15512608768 12622 33554432000 4194304 4196468 140734951707488 139985000597904 139985049040597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28475] ppid=28469 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/28471/task/28475/stat : 28475 (java) S 28469 28469 25933 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446039002 15512608768 12622 33554432000 4194304 4196468 140734951707488 139984999545360 139985049040597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28476] ppid=28469 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/28471/task/28476/stat : 28476 (java) S 28469 28469 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446039002 15512608768 12622 33554432000 4194304 4196468 140734951707488 139984998492816 139985049040597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28477] ppid=28469 vsize=15149032 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7
/proc/28471/task/28477/stat : 28477 (java) S 28469 28469 25933 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446039003 15512608768 12622 33554432000 4194304 4196468 140734951707488 139984124242416 139985049041538 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28478] ppid=28469 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/28471/task/28478/stat : 28478 (java) S 28469 28469 25933 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446039003 15512608768 12622 33554432000 4194304 4196468 140734951707488 139984123188640 139985049040597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28479] ppid=28469 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/28471/task/28479/stat : 28479 (java) S 28469 28469 25933 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446039004 15512608768 12622 33554432000 4194304 4196468 140734951707488 139984122136048 139985049040597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28480] ppid=28469 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/28471/task/28480/stat : 28480 (java) S 28469 28469 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446039006 15512608768 12622 33554432000 4194304 4196468 140734951707488 139984121084624 139985049048987 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28481] ppid=28469 vsize=15149032 memory=7827413994055111515 CPUtime=0.05 cores=1,3,5,7
/proc/28471/task/28481/stat : 28481 (java) S 28469 28469 25933 0 -1 1077944384 615 0 0 0 5 0 0 0 20 0 15 0 446039006 15512608768 12622 33554432000 4194304 4196468 140734951707488 139984120031216 139985049041538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28482] ppid=28469 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/28471/task/28482/stat : 28482 (java) S 28469 28469 25933 0 -1 1077944384 310 0 0 0 4 0 0 0 20 0 15 0 446039006 15512608768 12622 33554432000 4194304 4196468 140734951707488 139984118978672 139985049041538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28483] ppid=28469 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/28471/task/28483/stat : 28483 (java) S 28469 28469 25933 0 -1 1077944384 904 0 0 0 12 0 0 0 20 0 15 0 446039006 15512608768 12622 33554432000 4194304 4196468 140734951707488 139984117926128 139985049041538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28484] ppid=28469 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28471/task/28484/stat : 28484 (java) S 28469 28469 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446039006 15512608768 12622 33554432000 4194304 4196468 140734951707488 139984116873824 139985049040597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28485] ppid=28469 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28471/task/28485/stat : 28485 (java) S 28469 28469 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446039006 15512608768 12622 33554432000 4194304 4196468 140734951707488 139984115821360 139985049041538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51936 KiB
[startup+0.701285 s]
/proc/loadavg: 8.96 8.72 8.19 9/233 28485
/proc/meminfo: memFree=29965212/32770624 swapFree=67000028/67108860
[pid=28469] ppid=28466 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/28469/stat : 28469 (xcsp3-exec) S 28466 28469 25933 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446039000 115843072 362 33554432000 4194304 5098028 140734353536032 140734353534136 140414409208444 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29175808 140734353539963 140734353540205 140734353540205 140734353543114 0
/proc/28469/statm: 28282 362 304 221 0 87 0
[pid=28471] ppid=28469 vsize=15151156 memory=92280 CPUtime=1.79 cores=1,3,5,7
/proc/28471/stat : 28471 (java) S 28469 28469 25933 0 -1 1077944320 16308 0 0 0 174 5 0 0 20 0 15 0 446039001 15514783744 23070 33554432000 4194304 4196468 140734951707488 140734951690032 139985049030391 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
/proc/28471/statm: 3787789 23070 3456 1 0 3748889 0
[pid=28471/tid=28472] ppid=28469 vsize=15151156 memory=-3704326594973231466 CPUtime=0.67 cores=1,3,5,7
/proc/28471/task/28472/stat : 28472 (java) R 28469 28469 25933 0 -1 4202560 9186 0 0 0 64 3 0 0 20 0 15 0 446039001 15514783744 23070 33554432000 4194304 4196468 140734951707488 139985053267760 139984682311994 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28473] ppid=28469 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28471/task/28473/stat : 28473 (java) S 28469 28469 25933 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446039002 15514783744 23070 33554432000 4194304 4196468 140734951707488 139985001650448 139985049040597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28474] ppid=28469 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28471/task/28474/stat : 28474 (java) S 28469 28469 25933 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446039002 15514783744 23070 33554432000 4194304 4196468 140734951707488 139985000597904 139985049040597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28475] ppid=28469 vsize=15151156 memory=772 CPUtime=0 cores=1,3,5,7
/proc/28471/task/28475/stat : 28475 (java) S 28469 28469 25933 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446039002 15514783744 23070 33554432000 4194304 4196468 140734951707488 139984999545360 139985049040597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28476] ppid=28469 vsize=15151156 memory=4168 CPUtime=0 cores=1,3,5,7
/proc/28471/task/28476/stat : 28476 (java) S 28469 28469 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446039002 15514783744 23070 33554432000 4194304 4196468 140734951707488 139984998492816 139985049040597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28477] ppid=28469 vsize=15151156 memory=948 CPUtime=0 cores=1,3,5,7
/proc/28471/task/28477/stat : 28477 (java) S 28469 28469 25933 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446039003 15514783744 23070 33554432000 4194304 4196468 140734951707488 139984124242416 139985049041538 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28478] ppid=28469 vsize=15151156 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/28471/task/28478/stat : 28478 (java) S 28469 28469 25933 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446039003 15514783744 23070 33554432000 4194304 4196468 140734951707488 139984123188640 139985049040597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28479] ppid=28469 vsize=15151156 memory=9492 CPUtime=0 cores=1,3,5,7
/proc/28471/task/28479/stat : 28479 (java) S 28469 28469 25933 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446039004 15514783744 23070 33554432000 4194304 4196468 140734951707488 139984122136048 139985049040597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28480] ppid=28469 vsize=15151156 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/28471/task/28480/stat : 28480 (java) S 28469 28469 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446039006 15514783744 23070 33554432000 4194304 4196468 140734951707488 139984121084624 139985049048987 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28481] ppid=28469 vsize=15151156 memory=628 CPUtime=0.36 cores=1,3,5,7
/proc/28471/task/28481/stat : 28481 (java) R 28469 28469 25933 0 -1 4202560 1592 0 0 0 36 0 0 0 20 0 15 0 446039006 15514783744 23070 33554432000 4194304 4196468 140734951707488 139984120017296 139985033427536 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28482] ppid=28469 vsize=15151156 memory=1056 CPUtime=0.31 cores=1,3,5,7
/proc/28471/task/28482/stat : 28482 (java) R 28469 28469 25933 0 -1 4202560 1882 0 0 0 31 0 0 0 20 0 15 0 446039006 15514783744 23070 33554432000 4194304 4196468 140734951707488 139984118964552 139985033430062 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28483] ppid=28469 vsize=15151156 memory=1724 CPUtime=0.4 cores=1,3,5,7
/proc/28471/task/28483/stat : 28483 (java) R 28469 28469 25933 0 -1 4202560 2340 0 0 0 40 0 0 0 20 0 15 0 446039006 15514783744 23070 33554432000 4194304 4196468 140734951707488 139984117923936 139985033110878 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28484] ppid=28469 vsize=15151156 memory=6056 CPUtime=0 cores=1,3,5,7
/proc/28471/task/28484/stat : 28484 (java) S 28469 28469 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446039006 15514783744 23070 33554432000 4194304 4196468 140734951707488 139984116873824 139985049040597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28485] ppid=28469 vsize=15151156 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/28471/task/28485/stat : 28485 (java) S 28469 28469 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446039006 15514783744 23070 33554432000 4194304 4196468 140734951707488 139984115821360 139985049041538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
Current children cumulated CPU time: 1.79 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 93728 KiB
[startup+1.50329 s]
/proc/loadavg: 8.96 8.72 8.19 8/233 28485
/proc/meminfo: memFree=29871448/32770624 swapFree=67000028/67108860
[pid=28469] ppid=28466 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/28469/stat : 28469 (xcsp3-exec) S 28466 28469 25933 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446039000 115843072 362 33554432000 4194304 5098028 140734353536032 140734353534136 140414409208444 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29175808 140734353539963 140734353540205 140734353540205 140734353543114 0
/proc/28469/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/28471/task/28489/stat : 28489 (java) R 28469 28469 25933 0 -1 4202560 563 0 0 0 1063 0 0 0 20 0 19 0 446039109 15789527040 62564 33554432000 4194304 4196468 140734951707488 139984103681224 139984684400578 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
Current children cumulated CPU time: 49.23 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 251704 KiB
[startup+13.8398 s]
# the end of solver process 28469 was just reported to runsolver
# cumulated CPU time of all completed processes: user=53.5475 s, system=0.16681 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8013 s]
/proc/loadavg: 8.95 8.74 8.21 9/237 28489
/proc/meminfo: memFree=29776172/32770624 swapFree=67000028/67108860
[pid=28469] ppid=28466 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/28469/stat : 28469 (xcsp3-exec) S 28466 28469 25933 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446039000 115843072 362 33554432000 4194304 5098028 140734353536032 140734353534136 140414409208444 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29175808 140734353539963 140734353540205 140734353540205 140734353543114 0
/proc/28469/statm: 28282 362 304 221 0 87 0
[pid=28471] ppid=28469 vsize=15419460 memory=250256 CPUtime=49.63 cores=1,3,5,7
/proc/28471/stat : 28471 (java) S 28469 28469 25933 0 -1 1077944320 42876 0 0 0 4948 15 0 0 20 0 19 0 446039001 15789527040 62564 33554432000 4194304 4196468 140734951707488 140734951690032 139985049030391 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
/proc/28471/statm: 3854865 62564 3532 1 0 3815965 0
[pid=28471/tid=28472] ppid=28469 vsize=15419460 memory=2024 CPUtime=1.06 cores=1,3,5,7
/proc/28471/task/28472/stat : 28472 (java) S 28469 28469 25933 0 -1 1077944384 10777 0 0 0 101 5 0 0 20 0 19 0 446039001 15789527040 62564 33554432000 4194304 4196468 140734951707488 139985053271168 139985049040597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28473] ppid=28469 vsize=15419460 memory=1380 CPUtime=0.03 cores=1,3,5,7
/proc/28471/task/28473/stat : 28473 (java) S 28469 28469 25933 0 -1 1077944384 367 0 0 0 2 1 0 0 20 0 19 0 446039002 15789527040 62564 33554432000 4194304 4196468 140734951707488 139985001650448 139985049040597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28474] ppid=28469 vsize=15419460 memory=1128 CPUtime=0.02 cores=1,3,5,7
/proc/28471/task/28474/stat : 28474 (java) S 28469 28469 25933 0 -1 1077944384 244 0 0 0 2 0 0 0 20 0 19 0 446039002 15789527040 62564 33554432000 4194304 4196468 140734951707488 139985000597904 139985049040597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28475] ppid=28469 vsize=15419460 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/28471/task/28475/stat : 28475 (java) S 28469 28469 25933 0 -1 1077944384 232 0 0 0 2 1 0 0 20 0 19 0 446039002 15789527040 62564 33554432000 4194304 4196468 140734951707488 139984999545360 139985049040597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28476] ppid=28469 vsize=15419460 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/28471/task/28476/stat : 28476 (java) S 28469 28469 25933 0 -1 1077944384 1430 0 0 0 2 0 0 0 20 0 19 0 446039002 15789527040 62564 33554432000 4194304 4196468 140734951707488 139984998492816 139985049040597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28477] ppid=28469 vsize=15419460 memory=955 CPUtime=0.01 cores=1,3,5,7
/proc/28471/task/28477/stat : 28477 (java) S 28469 28469 25933 0 -1 1077944384 378 0 0 0 0 1 0 0 20 0 19 0 446039003 15789527040 62564 33554432000 4194304 4196468 140734951707488 139984124242416 139985049041538 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28478] ppid=28469 vsize=15419460 memory=953 CPUtime=0 cores=1,3,5,7
/proc/28471/task/28478/stat : 28478 (java) S 28469 28469 25933 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 446039003 15789527040 62564 33554432000 4194304 4196468 140734951707488 139984123188704 139985049040597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28479] ppid=28469 vsize=15419460 memory=938 CPUtime=0 cores=1,3,5,7
/proc/28471/task/28479/stat : 28479 (java) S 28469 28469 25933 0 -1 1077944384 99 0 0 0 0 0 0 0 20 0 19 0 446039004 15789527040 62564 33554432000 4194304 4196468 140734951707488 139984122136064 139985049040597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28480] ppid=28469 vsize=15419460 memory=955 CPUtime=0 cores=1,3,5,7
/proc/28471/task/28480/stat : 28480 (java) S 28469 28469 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446039006 15789527040 62564 33554432000 4194304 4196468 140734951707488 139984121084624 139985049048987 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28481] ppid=28469 vsize=15419460 memory=948 CPUtime=2.5 cores=1,3,5,7
/proc/28471/task/28481/stat : 28481 (java) S 28469 28469 25933 0 -1 1077944384 9741 0 0 0 249 1 0 0 20 0 19 0 446039006 15789527040 62564 33554432000 4194304 4196468 140734951707488 139984120031216 139985049041538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28482] ppid=28469 vsize=15419460 memory=2832 CPUtime=2.29 cores=1,3,5,7
/proc/28471/task/28482/stat : 28482 (java) S 28469 28469 25933 0 -1 1077944384 8888 0 0 0 228 1 0 0 20 0 19 0 446039006 15789527040 62564 33554432000 4194304 4196468 140734951707488 139984118978672 139985049041538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28483] ppid=28469 vsize=15419460 memory=9492 CPUtime=0.79 cores=1,3,5,7
/proc/28471/task/28483/stat : 28483 (java) S 28469 28469 25933 0 -1 1077944384 6765 0 0 0 78 1 0 0 20 0 19 0 446039006 15789527040 62564 33554432000 4194304 4196468 140734951707488 139984117926128 139985049041538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28484] ppid=28469 vsize=15419460 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/28471/task/28484/stat : 28484 (java) S 28469 28469 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446039006 15789527040 62564 33554432000 4194304 4196468 140734951707488 139984116873824 139985049040597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28485] ppid=28469 vsize=15419460 memory=628 CPUtime=0 cores=1,3,5,7
/proc/28471/task/28485/stat : 28485 (java) S 28469 28469 25933 0 -1 1077944384 484 0 0 0 0 0 0 0 20 0 19 0 446039006 15789527040 62564 33554432000 4194304 4196468 140734951707488 139984115821360 139985049041538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28486] ppid=28469 vsize=15419460 memory=1056 CPUtime=10.75 cores=1,3,5,7
/proc/28471/task/28486/stat : 28486 (java) R 28469 28469 25933 0 -1 4202560 376 0 0 0 1075 0 0 0 20 0 19 0 446039108 15789527040 62564 33554432000 4194304 4196468 140734951707488 139984106839768 139984685337448 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28487] ppid=28469 vsize=15419460 memory=1724 CPUtime=10.72 cores=1,3,5,7
/proc/28471/task/28487/stat : 28487 (java) R 28469 28469 25933 0 -1 4202560 873 0 0 0 1072 0 0 0 20 0 19 0 446039109 15789527040 62564 33554432000 4194304 4196468 140734951707488 139984105788584 139984684146826 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28488] ppid=28469 vsize=15419460 memory=6056 CPUtime=10.58 cores=1,3,5,7
/proc/28471/task/28488/stat : 28488 (java) R 28469 28469 25933 0 -1 4202560 356 0 0 0 1058 0 0 0 20 0 19 0 446039109 15789527040 62564 33554432000 4194304 4196468 140734951707488 139984104735960 139984685337271 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28489] ppid=28469 vsize=15419460 memory=772 CPUtime=10.72 cores=1,3,5,7
/proc/28471/task/28489/stat : 28489 (java) R 28469 28469 25933 0 -1 4202560 563 0 0 0 1072 0 0 0 20 0 19 0 446039109 15789527040 62564 33554432000 4194304 4196468 140734951707488 139984103681224 139984684400883 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
Current children cumulated CPU time: 49.63 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 251704 KiB
[startup+13.6033 s]
/proc/loadavg: 8.95 8.74 8.21 9/237 28489
/proc/meminfo: memFree=29776180/32770624 swapFree=67000028/67108860
[pid=28469] ppid=28466 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/28469/stat : 28469 (xcsp3-exec) S 28466 28469 25933 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446039000 115843072 362 33554432000 4194304 5098028 140734353536032 140734353534136 140414409208444 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29175808 140734353539963 140734353540205 140734353540205 140734353543114 0
/proc/28469/statm: 28282 362 304 221 0 87 0
[pid=28471] ppid=28469 vsize=15419460 memory=250256 CPUtime=52.82 cores=1,3,5,7
/proc/28471/stat : 28471 (java) S 28469 28469 25933 0 -1 1077944320 42900 0 0 0 5267 15 0 0 20 0 19 0 446039001 15789527040 62564 33554432000 4194304 4196468 140734951707488 140734951690032 139985049030391 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
/proc/28471/statm: 3854865 62564 3532 1 0 3815965 0
[pid=28471/tid=28472] ppid=28469 vsize=15419460 memory=1380 CPUtime=1.06 cores=1,3,5,7
/proc/28471/task/28472/stat : 28472 (java) S 28469 28469 25933 0 -1 1077944384 10777 0 0 0 101 5 0 0 20 0 19 0 446039001 15789527040 62564 33554432000 4194304 4196468 140734951707488 139985053271168 139985049040597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28473] ppid=28469 vsize=15419460 memory=1128 CPUtime=0.03 cores=1,3,5,7
/proc/28471/task/28473/stat : 28473 (java) S 28469 28469 25933 0 -1 1077944384 367 0 0 0 2 1 0 0 20 0 19 0 446039002 15789527040 62564 33554432000 4194304 4196468 140734951707488 139985001650448 139985049040597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28474] ppid=28469 vsize=15419460 memory=772 CPUtime=0.02 cores=1,3,5,7
/proc/28471/task/28474/stat : 28474 (java) S 28469 28469 25933 0 -1 1077944384 244 0 0 0 2 0 0 0 20 0 19 0 446039002 15789527040 62564 33554432000 4194304 4196468 140734951707488 139985000597904 139985049040597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28475] ppid=28469 vsize=15419460 memory=4168 CPUtime=0.03 cores=1,3,5,7
/proc/28471/task/28475/stat : 28475 (java) S 28469 28469 25933 0 -1 1077944384 232 0 0 0 2 1 0 0 20 0 19 0 446039002 15789527040 62564 33554432000 4194304 4196468 140734951707488 139984999545360 139985049040597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28476] ppid=28469 vsize=15419460 memory=948 CPUtime=0.02 cores=1,3,5,7
/proc/28471/task/28476/stat : 28476 (java) S 28469 28469 25933 0 -1 1077944384 1430 0 0 0 2 0 0 0 20 0 19 0 446039002 15789527040 62564 33554432000 4194304 4196468 140734951707488 139984998492816 139985049040597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28477] ppid=28469 vsize=15419460 memory=2832 CPUtime=0.01 cores=1,3,5,7
/proc/28471/task/28477/stat : 28477 (java) S 28469 28469 25933 0 -1 1077944384 378 0 0 0 0 1 0 0 20 0 19 0 446039003 15789527040 62564 33554432000 4194304 4196468 140734951707488 139984124242416 139985049041538 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28478] ppid=28469 vsize=15419460 memory=9492 CPUtime=0 cores=1,3,5,7
/proc/28471/task/28478/stat : 28478 (java) S 28469 28469 25933 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 446039003 15789527040 62564 33554432000 4194304 4196468 140734951707488 139984123188704 139985049040597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28479] ppid=28469 vsize=15419460 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/28471/task/28479/stat : 28479 (java) S 28469 28469 25933 0 -1 1077944384 99 0 0 0 0 0 0 0 20 0 19 0 446039004 15789527040 62564 33554432000 4194304 4196468 140734951707488 139984122136064 139985049040597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28480] ppid=28469 vsize=15419460 memory=628 CPUtime=0 cores=1,3,5,7
/proc/28471/task/28480/stat : 28480 (java) S 28469 28469 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446039006 15789527040 62564 33554432000 4194304 4196468 140734951707488 139984121084624 139985049048987 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28481] ppid=28469 vsize=15419460 memory=1056 CPUtime=2.5 cores=1,3,5,7
/proc/28471/task/28481/stat : 28481 (java) S 28469 28469 25933 0 -1 1077944384 9741 0 0 0 249 1 0 0 20 0 19 0 446039006 15789527040 62564 33554432000 4194304 4196468 140734951707488 139984120031216 139985049041538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28482] ppid=28469 vsize=15419460 memory=1724 CPUtime=2.29 cores=1,3,5,7
/proc/28471/task/28482/stat : 28482 (java) S 28469 28469 25933 0 -1 1077944384 8888 0 0 0 228 1 0 0 20 0 19 0 446039006 15789527040 62564 33554432000 4194304 4196468 140734951707488 139984118978672 139985049041538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28483] ppid=28469 vsize=15419460 memory=6056 CPUtime=0.8 cores=1,3,5,7
/proc/28471/task/28483/stat : 28483 (java) S 28469 28469 25933 0 -1 1077944384 6774 0 0 0 79 1 0 0 20 0 19 0 446039006 15789527040 62564 33554432000 4194304 4196468 140734951707488 139984117926128 139985049041538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28484] ppid=28469 vsize=15419460 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/28471/task/28484/stat : 28484 (java) S 28469 28469 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446039006 15789527040 62564 33554432000 4194304 4196468 140734951707488 139984116873824 139985049040597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28485] ppid=28469 vsize=15419460 memory=2116 CPUtime=0 cores=1,3,5,7
/proc/28471/task/28485/stat : 28485 (java) S 28469 28469 25933 0 -1 1077944384 484 0 0 0 0 0 0 0 20 0 19 0 446039006 15789527040 62564 33554432000 4194304 4196468 140734951707488 139984115821360 139985049041538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28486] ppid=28469 vsize=15419460 memory=0 CPUtime=11.55 cores=1,3,5,7
/proc/28471/task/28486/stat : 28486 (java) R 28469 28469 25933 0 -1 4202560 376 0 0 0 1155 0 0 0 20 0 19 0 446039108 15789527040 62564 33554432000 4194304 4196468 140734951707488 139984106839336 139984685197815 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28487] ppid=28469 vsize=15419460 memory=139628850535488 CPUtime=11.52 cores=1,3,5,7
/proc/28471/task/28487/stat : 28487 (java) R 28469 28469 25933 0 -1 4202560 885 0 0 0 1152 0 0 0 20 0 19 0 446039109 15789527040 62564 33554432000 4194304 4196468 140734951707488 139984105789288 139984684932229 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28488] ppid=28469 vsize=15419460 memory=139628850535584 CPUtime=11.38 cores=1,3,5,7
/proc/28471/task/28488/stat : 28488 (java) R 28469 28469 25933 0 -1 4202560 356 0 0 0 1138 0 0 0 20 0 19 0 446039109 15789527040 62564 33554432000 4194304 4196468 140734951707488 139984104735104 139984685337071 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28489] ppid=28469 vsize=15419460 memory=139628850535680 CPUtime=11.51 cores=1,3,5,7
/proc/28471/task/28489/stat : 28489 (java) R 28469 28469 25933 0 -1 4202560 566 0 0 0 1151 0 0 0 20 0 19 0 446039109 15789527040 62564 33554432000 4194304 4196468 140734951707488 139984103681864 139984684400204 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
Current children cumulated CPU time: 52.82 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 251704 KiB
[startup+13.8013 s]
/proc/loadavg: 8.95 8.74 8.21 9/237 28489
/proc/meminfo: memFree=29776180/32770624 swapFree=67000028/67108860
[pid=28469] ppid=28466 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/28469/stat : 28469 (xcsp3-exec) S 28466 28469 25933 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446039000 115843072 362 33554432000 4194304 5098028 140734353536032 140734353534136 140414409208444 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29175808 140734353539963 140734353540205 140734353540205 140734353543114 0
/proc/28469/statm: 28282 362 304 221 0 87 0
[pid=28471] ppid=28469 vsize=15419460 memory=250256 CPUtime=53.61 cores=1,3,5,7
/proc/28471/stat : 28471 (java) S 28469 28469 25933 0 -1 1077944320 43387 0 0 0 5346 15 0 0 20 0 19 0 446039001 15789527040 62564 33554432000 4194304 4196468 140734951707488 140734951690032 139985049030391 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
/proc/28471/statm: 3854865 62564 3532 1 0 3815965 0
[pid=28471/tid=28472] ppid=28469 vsize=15419460 memory=139628850535968 CPUtime=1.06 cores=1,3,5,7
/proc/28471/task/28472/stat : 28472 (java) S 28469 28469 25933 0 -1 1077944384 10777 0 0 0 101 5 0 0 20 0 19 0 446039001 15789527040 62564 33554432000 4194304 4196468 140734951707488 139985053271168 139985049040597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28473] ppid=28469 vsize=15419460 memory=8505804545242339572 CPUtime=0.03 cores=1,3,5,7
/proc/28471/task/28473/stat : 28473 (java) S 28469 28469 25933 0 -1 1077944384 367 0 0 0 2 1 0 0 20 0 19 0 446039002 15789527040 62564 33554432000 4194304 4196468 140734951707488 139985001650448 139985049040597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28474] ppid=28469 vsize=15419460 memory=3472467907898347280 CPUtime=0.02 cores=1,3,5,7
/proc/28471/task/28474/stat : 28474 (java) S 28469 28469 25933 0 -1 1077944384 244 0 0 0 2 0 0 0 20 0 19 0 446039002 15789527040 62564 33554432000 4194304 4196468 140734951707488 139985000597904 139985049040597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28475] ppid=28469 vsize=15419460 memory=1448 CPUtime=0.03 cores=1,3,5,7
/proc/28471/task/28475/stat : 28475 (java) S 28469 28469 25933 0 -1 1077944384 232 0 0 0 2 1 0 0 20 0 19 0 446039002 15789527040 62564 33554432000 4194304 4196468 140734951707488 139984999545360 139985049040597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28476] ppid=28469 vsize=15419460 memory=250224 CPUtime=0.02 cores=1,3,5,7
/proc/28471/task/28476/stat : 28476 (java) S 28469 28469 25933 0 -1 1077944384 1430 0 0 0 2 0 0 0 20 0 19 0 446039002 15789527040 62564 33554432000 4194304 4196468 140734951707488 139984998492816 139985049040597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28477] ppid=28469 vsize=15419460 memory=2732 CPUtime=0.01 cores=1,3,5,7
/proc/28471/task/28477/stat : 28477 (java) S 28469 28469 25933 0 -1 1077944384 378 0 0 0 0 1 0 0 20 0 19 0 446039003 15789527040 62564 33554432000 4194304 4196468 140734951707488 139984124242416 139985049041538 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28478] ppid=28469 vsize=15419460 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/28471/task/28478/stat : 28478 (java) S 28469 28469 25933 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 446039003 15789527040 62564 33554432000 4194304 4196468 140734951707488 139984123188704 139985049040597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28479] ppid=28469 vsize=15419460 memory=3436 CPUtime=0 cores=1,3,5,7
/proc/28471/task/28479/stat : 28479 (java) S 28469 28469 25933 0 -1 1077944384 99 0 0 0 0 0 0 0 20 0 19 0 446039004 15789527040 62564 33554432000 4194304 4196468 140734951707488 139984122136064 139985049040597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28480] ppid=28469 vsize=15419460 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/28471/task/28480/stat : 28480 (java) S 28469 28469 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446039006 15789527040 62564 33554432000 4194304 4196468 140734951707488 139984121084624 139985049048987 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28481] ppid=28469 vsize=15419460 memory=347848 CPUtime=2.5 cores=1,3,5,7
/proc/28471/task/28481/stat : 28481 (java) S 28469 28469 25933 0 -1 1077944384 9741 0 0 0 249 1 0 0 20 0 19 0 446039006 15789527040 62564 33554432000 4194304 4196468 140734951707488 139984120031216 139985049041538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28482] ppid=28469 vsize=15419460 memory=1408 CPUtime=2.29 cores=1,3,5,7
/proc/28471/task/28482/stat : 28482 (java) S 28469 28469 25933 0 -1 1077944384 8888 0 0 0 228 1 0 0 20 0 19 0 446039006 15789527040 62564 33554432000 4194304 4196468 140734951707488 139984118978672 139985049041538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28483] ppid=28469 vsize=15419460 memory=2680 CPUtime=0.8 cores=1,3,5,7
/proc/28471/task/28483/stat : 28483 (java) S 28469 28469 25933 0 -1 1077944384 6774 0 0 0 79 1 0 0 20 0 19 0 446039006 15789527040 62564 33554432000 4194304 4196468 140734951707488 139984117926128 139985049041538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28484] ppid=28469 vsize=15419460 memory=2552 CPUtime=0 cores=1,3,5,7
/proc/28471/task/28484/stat : 28484 (java) S 28469 28469 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446039006 15789527040 62564 33554432000 4194304 4196468 140734951707488 139984116873824 139985049040597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28485] ppid=28469 vsize=15419460 memory=1760 CPUtime=0 cores=1,3,5,7
/proc/28471/task/28485/stat : 28485 (java) S 28469 28469 25933 0 -1 1077944384 505 0 0 0 0 0 0 0 20 0 19 0 446039006 15789527040 62564 33554432000 4194304 4196468 140734951707488 139984115821360 139985049041538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28486] ppid=28469 vsize=15419460 memory=111632 CPUtime=11.75 cores=1,3,5,7
/proc/28471/task/28486/stat : 28486 (java) R 28469 28469 25933 0 -1 4202560 417 0 0 0 1175 0 0 0 20 0 19 0 446039108 15789527040 62564 33554432000 4194304 4196468 140734951707488 139984106839336 139984685337661 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28487] ppid=28469 vsize=15419460 memory=800 CPUtime=11.72 cores=1,3,5,7
/proc/28471/task/28487/stat : 28487 (java) R 28469 28469 25933 0 -1 4202560 1023 0 0 0 1172 0 0 0 20 0 19 0 446039109 15789527040 62564 33554432000 4194304 4196468 140734951707488 139984105788184 139984685337196 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28488] ppid=28469 vsize=15419460 memory=4104 CPUtime=11.58 cores=1,3,5,7
/proc/28471/task/28488/stat : 28488 (java) R 28469 28469 25933 0 -1 4202560 414 0 0 0 1158 0 0 0 20 0 19 0 446039109 15789527040 62564 33554432000 4194304 4196468 140734951707488 139984104735104 139984685337694 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
[pid=28471/tid=28489] ppid=28469 vsize=15419460 memory=1804 CPUtime=11.7 cores=1,3,5,7
/proc/28471/task/28489/stat : 28489 (java) R 28469 28469 25933 0 -1 4202560 795 0 0 0 1170 0 0 0 20 0 19 0 446039109 15789527040 62564 33554432000 4194304 4196468 140734951707488 139984103681864 139984684400897 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36106240 140734951711727 140734951711898 140734951711898 140734951714767 0
Current children cumulated CPU time: 53.61 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 251704 KiB
Child status: 0
Real time (s): 13.8399
CPU time (s): 53.7143
CPU user time (s): 53.5475
CPU system time (s): 0.16681
CPU usage (%): 388.112
Max. virtual memory (cumulated for all children) (KiB): 15532588
Max. memory (cumulated for all children) (KiB): 251704
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 53.5475
system time used= 0.16681
maximum resident set size= 250568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46032
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2755
involuntary context switches= 1343
# summary of solver processes directly reported to runsolver:
# pid: 28469
# total CPU time (s): 53.7143
# total CPU user time (s): 53.5475
# total CPU system time (s): 0.16681
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.107481 second user time and 0.198429 second system time
The end