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 (15350 MiB free)
memory of node 1: 16384 MiB (14832 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400428-1568694561/watcher-4400428-1568694561 -o /tmp/evaluation-result-4400428-1568694561/solver-4400428-1568694561 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568694456-7912 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 157287724 HOME/instance-4400428-1568694561.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=8744, runsolver pid=8741
Current StackSize limit: 8192 KiB
[startup+0.100639 s]*
/proc/loadavg: 5.66 2.15 1.31 6/234 8764
/proc/meminfo: memFree=30890144/32770624 swapFree=66988556/67108860
[pid=8744] ppid=8741 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8744/stat : 8744 (xcsp3-exec) S 8741 8744 7881 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445723863 115843072 363 33554432000 4194304 5098028 140735497775472 140735497773576 139810239513212 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39424000 140735497778043 140735497778285 140735497778285 140735497781194 0
/proc/8744/statm: 28282 363 304 221 0 87 0
[pid=8746] ppid=8744 vsize=15144776 memory=30064 CPUtime=0.13 cores=0,2,4,6
/proc/8746/stat : 8746 (java) S 8744 8744 7881 0 -1 1077944320 5482 0 0 0 12 1 0 0 20 0 15 0 445723864 15508250624 7516 33554432000 4194304 4196468 140736350659184 140736350641728 140557406781175 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
/proc/8746/statm: 3786194 7516 3119 1 0 3748377 0
[pid=8746/tid=8747] ppid=8744 vsize=15144776 memory=8324486588775410251 CPUtime=0.09 cores=0,2,4,6
/proc/8746/task/8747/stat : 8747 (java) R 8744 8744 7881 0 -1 4202560 3399 0 0 0 9 0 0 0 20 0 15 0 445723864 15508250624 7582 33554432000 4194304 4196468 140736350659184 140557411005584 140557390861662 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8748] ppid=8744 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/8746/task/8748/stat : 8748 (java) S 8744 8744 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445723865 15508250624 7582 33554432000 4194304 4196468 140736350659184 140557369887632 140557406791381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8749] ppid=8744 vsize=15144776 memory=140714750887552 CPUtime=0 cores=0,2,4,6
/proc/8746/task/8749/stat : 8749 (java) S 8744 8744 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445723865 15508250624 7582 33554432000 4194304 4196468 140736350659184 140556997942032 140557406791381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8750] ppid=8744 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8746/task/8750/stat : 8750 (java) S 8744 8744 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445723865 15508250624 7582 33554432000 4194304 4196468 140736350659184 140556996889744 140557406791381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8751] ppid=8744 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8746/task/8751/stat : 8751 (java) S 8744 8744 7881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445723865 15508250624 7582 33554432000 4194304 4196468 140736350659184 140556995836944 140557406791381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8752] ppid=8744 vsize=15144776 memory=140714750887552 CPUtime=0 cores=0,2,4,6
/proc/8746/task/8752/stat : 8752 (java) S 8744 8744 7881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445723866 15508250624 7582 33554432000 4194304 4196468 140736350659184 140556875270256 140557406792322 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8753] ppid=8744 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8746/task/8753/stat : 8753 (java) S 8744 8744 7881 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445723867 15508250624 7582 33554432000 4194304 4196468 140736350659184 140556874216224 140557406791381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8754] ppid=8744 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8746/task/8754/stat : 8754 (java) S 8744 8744 7881 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445723867 15508250624 7582 33554432000 4194304 4196468 140736350659184 140556873163888 140557406791381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8759] ppid=8744 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8746/task/8759/stat : 8759 (java) S 8744 8744 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445723869 15508250624 7582 33554432000 4194304 4196468 140736350659184 140556872112208 140557406799771 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8760] ppid=8744 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8746/task/8760/stat : 8760 (java) R 8744 8744 7881 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 445723869 15508250624 7582 33554432000 4194304 4196468 140736350659184 140556871060080 140557406792322 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8761] ppid=8744 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8746/task/8761/stat : 8761 (java) R 8744 8744 7881 0 -1 4202560 146 0 0 0 0 0 0 0 20 0 15 0 445723869 15508250624 7582 33554432000 4194304 4196468 140736350659184 140556869998784 140557392447328 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8762] ppid=8744 vsize=15144776 memory=140714750887552 CPUtime=0.02 cores=0,2,4,6
/proc/8746/task/8762/stat : 8762 (java) R 8744 8744 7881 0 -1 4202560 361 0 0 0 2 0 0 0 20 0 15 0 445723869 15508250624 7582 33554432000 4194304 4196468 140736350659184 140556868954992 140557406793110 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8763] ppid=8744 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8746/task/8763/stat : 8763 (java) S 8744 8744 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445723869 15508250624 7582 33554432000 4194304 4196468 140736350659184 140556867902432 140557406791381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8764] ppid=8744 vsize=15144776 memory=140714750887552 CPUtime=0 cores=0,2,4,6
/proc/8746/task/8764/stat : 8764 (java) S 8744 8744 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445723870 15508250624 7582 33554432000 4194304 4196468 140736350659184 140556866849200 140557406792322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31516 KiB
[startup+0.211117 s]*
/proc/loadavg: 5.66 2.15 1.31 9/234 8768
/proc/meminfo: memFree=30877728/32770624 swapFree=66988556/67108860
[pid=8744] ppid=8741 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8744/stat : 8744 (xcsp3-exec) S 8741 8744 7881 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445723863 115843072 363 33554432000 4194304 5098028 140735497775472 140735497773576 139810239513212 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39424000 140735497778043 140735497778285 140735497778285 140735497781194 0
/proc/8744/statm: 28282 363 304 221 0 87 0
[pid=8746] ppid=8744 vsize=15144776 memory=41036 CPUtime=0.34 cores=0,2,4,6
/proc/8746/stat : 8746 (java) S 8744 8744 7881 0 -1 1077944320 8985 0 0 0 31 3 0 0 20 0 15 0 445723864 15508250624 10259 33554432000 4194304 4196468 140736350659184 140736350641728 140557406781175 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
/proc/8746/statm: 3786194 10259 3298 1 0 3748377 0
[pid=8746/tid=8747] ppid=8744 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/8746/task/8747/stat : 8747 (java) R 8744 8744 7881 0 -1 4202560 6178 0 0 0 18 2 0 0 20 0 15 0 445723864 15508250624 10259 33554432000 4194304 4196468 140736350659184 140557411013904 140557406793110 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8748] ppid=8744 vsize=15144776 memory=8996 CPUtime=0 cores=0,2,4,6
/proc/8746/task/8748/stat : 8748 (java) S 8744 8744 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445723865 15508250624 10259 33554432000 4194304 4196468 140736350659184 140557369887632 140557406791381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8749] ppid=8744 vsize=15144776 memory=140714754239096 CPUtime=0 cores=0,2,4,6
/proc/8746/task/8749/stat : 8749 (java) S 8744 8744 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445723865 15508250624 10259 33554432000 4194304 4196468 140736350659184 140556997942032 140557406791381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8750] ppid=8744 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8746/task/8750/stat : 8750 (java) S 8744 8744 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445723865 15508250624 10259 33554432000 4194304 4196468 140736350659184 140556996889744 140557406791381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8751] ppid=8744 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8746/task/8751/stat : 8751 (java) S 8744 8744 7881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445723865 15508250624 10259 33554432000 4194304 4196468 140736350659184 140556995836944 140557406791381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8752] ppid=8744 vsize=15144776 memory=140714750887552 CPUtime=0 cores=0,2,4,6
/proc/8746/task/8752/stat : 8752 (java) S 8744 8744 7881 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445723866 15508250624 10259 33554432000 4194304 4196468 140736350659184 140556875270256 140557406792322 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8753] ppid=8744 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8746/task/8753/stat : 8753 (java) S 8744 8744 7881 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445723867 15508250624 10259 33554432000 4194304 4196468 140736350659184 140556874216224 140557406791381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8754] ppid=8744 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8746/task/8754/stat : 8754 (java) S 8744 8744 7881 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445723867 15508250624 10259 33554432000 4194304 4196468 140736350659184 140556873163888 140557406791381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8759] ppid=8744 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8746/task/8759/stat : 8759 (java) S 8744 8744 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445723869 15508250624 10259 33554432000 4194304 4196468 140736350659184 140556872112208 140557406799771 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8760] ppid=8744 vsize=15144776 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/8746/task/8760/stat : 8760 (java) S 8744 8744 7881 0 -1 1077944384 329 0 0 0 1 0 0 0 20 0 15 0 445723869 15508250624 10259 33554432000 4194304 4196468 140736350659184 140556871060080 140557406792322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8761] ppid=8744 vsize=15144776 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/8746/task/8761/stat : 8761 (java) S 8744 8744 7881 0 -1 1077944384 409 0 0 0 3 0 0 0 20 0 15 0 445723869 15508250624 10259 33554432000 4194304 4196468 140736350659184 140556870007280 140557406792322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8762] ppid=8744 vsize=15144776 memory=140714750887552 CPUtime=0.08 cores=0,2,4,6
/proc/8746/task/8762/stat : 8762 (java) R 8744 8744 7881 0 -1 4202560 762 0 0 0 8 0 0 0 20 0 15 0 445723869 15508250624 10259 33554432000 4194304 4196468 140736350659184 140556868954800 140557390154302 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8763] ppid=8744 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8746/task/8763/stat : 8763 (java) S 8744 8744 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445723869 15508250624 10259 33554432000 4194304 4196468 140736350659184 140556867902432 140557406791381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8764] ppid=8744 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8746/task/8764/stat : 8764 (java) S 8744 8744 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445723870 15508250624 10259 33554432000 4194304 4196468 140736350659184 140556866849200 140557406792322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42488 KiB
[startup+0.310677 s]*
/proc/loadavg: 5.66 2.15 1.31 11/234 8768
/proc/meminfo: memFree=30870720/32770624 swapFree=66988556/67108860
[pid=8744] ppid=8741 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8744/stat : 8744 (xcsp3-exec) S 8741 8744 7881 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445723863 115843072 363 33554432000 4194304 5098028 140735497775472 140735497773576 139810239513212 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39424000 140735497778043 140735497778285 140735497778285 140735497781194 0
/proc/8744/statm: 28282 363 304 221 0 87 0
[pid=8746] ppid=8744 vsize=15149032 memory=49928 CPUtime=0.53 cores=0,2,4,6
/proc/8746/stat : 8746 (java) S 8744 8744 7881 0 -1 1077944320 10279 0 0 0 50 3 0 0 20 0 15 0 445723864 15512608768 12482 33554432000 4194304 4196468 140736350659184 140736350641728 140557406781175 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
/proc/8746/statm: 3787258 12482 3346 1 0 3748377 0
[pid=8746/tid=8747] ppid=8744 vsize=15149032 memory=1398722017469774279 CPUtime=0.29 cores=0,2,4,6
/proc/8746/task/8747/stat : 8747 (java) R 8744 8744 7881 0 -1 4202560 7263 0 0 0 27 2 0 0 20 0 15 0 445723864 15512608768 12482 33554432000 4194304 4196468 140736350659184 140557411012288 140557406803101 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8748] ppid=8744 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/8746/task/8748/stat : 8748 (java) S 8744 8744 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445723865 15512608768 12482 33554432000 4194304 4196468 140736350659184 140557369887632 140557406791381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8749] ppid=8744 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/8746/task/8749/stat : 8749 (java) S 8744 8744 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445723865 15512608768 12482 33554432000 4194304 4196468 140736350659184 140556997942032 140557406791381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8750] ppid=8744 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/8746/task/8750/stat : 8750 (java) S 8744 8744 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445723865 15512608768 12482 33554432000 4194304 4196468 140736350659184 140556996889744 140557406791381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8751] ppid=8744 vsize=15149032 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/8746/task/8751/stat : 8751 (java) S 8744 8744 7881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445723865 15512608768 12482 33554432000 4194304 4196468 140736350659184 140556995836944 140557406791381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8752] ppid=8744 vsize=15149032 memory=7307460107981921142 CPUtime=0 cores=0,2,4,6
/proc/8746/task/8752/stat : 8752 (java) S 8744 8744 7881 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445723866 15512608768 12482 33554432000 4194304 4196468 140736350659184 140556875270256 140557406792322 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8753] ppid=8744 vsize=15149032 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/8746/task/8753/stat : 8753 (java) S 8744 8744 7881 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445723867 15512608768 12482 33554432000 4194304 4196468 140736350659184 140556874216224 140557406791381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8754] ppid=8744 vsize=15149032 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/8746/task/8754/stat : 8754 (java) S 8744 8744 7881 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445723867 15512608768 12482 33554432000 4194304 4196468 140736350659184 140556873163888 140557406791381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8759] ppid=8744 vsize=15149032 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/8746/task/8759/stat : 8759 (java) S 8744 8744 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445723869 15512608768 12482 33554432000 4194304 4196468 140736350659184 140556872112208 140557406799771 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8760] ppid=8744 vsize=15149032 memory=-8412656567168561567 CPUtime=0.04 cores=0,2,4,6
/proc/8746/task/8760/stat : 8760 (java) R 8744 8744 7881 0 -1 4202560 435 0 0 0 4 0 0 0 20 0 15 0 445723869 15512608768 12482 33554432000 4194304 4196468 140736350659184 140556871050464 140557388308264 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8761] ppid=8744 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/8746/task/8761/stat : 8761 (java) S 8744 8744 7881 0 -1 1077944384 427 0 0 0 5 0 0 0 20 0 15 0 445723869 15512608768 12482 33554432000 4194304 4196468 140736350659184 140556870007280 140557406792322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8762] ppid=8744 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/8746/task/8762/stat : 8762 (java) S 8744 8744 7881 0 -1 1077944384 854 0 0 0 13 0 0 0 20 0 15 0 445723869 15512608768 12482 33554432000 4194304 4196468 140736350659184 140556868954992 140557406792322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8763] ppid=8744 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8746/task/8763/stat : 8763 (java) S 8744 8744 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445723869 15512608768 12482 33554432000 4194304 4196468 140736350659184 140556867902432 140557406791381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8764] ppid=8744 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8746/task/8764/stat : 8764 (java) S 8744 8744 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445723870 15512608768 12482 33554432000 4194304 4196468 140736350659184 140556866849200 140557406792322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51380 KiB
[startup+0.703424 s]
/proc/loadavg: 5.66 2.15 1.31 8/234 8768
/proc/meminfo: memFree=30851280/32770624 swapFree=66988556/67108860
[pid=8744] ppid=8741 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8744/stat : 8744 (xcsp3-exec) S 8741 8744 7881 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445723863 115843072 363 33554432000 4194304 5098028 140735497775472 140735497773576 139810239513212 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39424000 140735497778043 140735497778285 140735497778285 140735497781194 0
/proc/8744/statm: 28282 363 304 221 0 87 0
[pid=8746] ppid=8744 vsize=15151156 memory=96548 CPUtime=1.68 cores=0,2,4,6
/proc/8746/stat : 8746 (java) S 8744 8744 7881 0 -1 1077944320 14724 0 0 0 162 6 0 0 20 0 15 0 445723864 15514783744 24137 33554432000 4194304 4196468 140736350659184 140736350641728 140557406781175 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
/proc/8746/statm: 3787789 24137 3453 1 0 3748889 0
[pid=8746/tid=8747] ppid=8744 vsize=15151156 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/8746/task/8747/stat : 8747 (java) R 8744 8744 7881 0 -1 4202560 8858 0 0 0 64 4 0 0 20 0 15 0 445723864 15514783744 24137 33554432000 4194304 4196468 140736350659184 140557411018736 140557042961287 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8748] ppid=8744 vsize=15151156 memory=33 CPUtime=0 cores=0,2,4,6
/proc/8746/task/8748/stat : 8748 (java) S 8744 8744 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445723865 15514783744 24137 33554432000 4194304 4196468 140736350659184 140557369887632 140557406791381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8749] ppid=8744 vsize=15151156 memory=-7816663703405220396 CPUtime=0 cores=0,2,4,6
/proc/8746/task/8749/stat : 8749 (java) S 8744 8744 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445723865 15514783744 24137 33554432000 4194304 4196468 140736350659184 140556997942032 140557406791381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8750] ppid=8744 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8746/task/8750/stat : 8750 (java) S 8744 8744 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445723865 15514783744 24137 33554432000 4194304 4196468 140736350659184 140556996889744 140557406791381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8751] ppid=8744 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8746/task/8751/stat : 8751 (java) S 8744 8744 7881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445723865 15514783744 24137 33554432000 4194304 4196468 140736350659184 140556995836944 140557406791381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8752] ppid=8744 vsize=15151156 memory=38644 CPUtime=0 cores=0,2,4,6
/proc/8746/task/8752/stat : 8752 (java) S 8744 8744 7881 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445723866 15514783744 24137 33554432000 4194304 4196468 140736350659184 140556875270256 140557406792322 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8753] ppid=8744 vsize=15151156 memory=984 CPUtime=0 cores=0,2,4,6
/proc/8746/task/8753/stat : 8753 (java) S 8744 8744 7881 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445723867 15514783744 24137 33554432000 4194304 4196468 140736350659184 140556874216224 140557406791381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8754] ppid=8744 vsize=15151156 memory=2004 CPUtime=0 cores=0,2,4,6
/proc/8746/task/8754/stat : 8754 (java) S 8744 8744 7881 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445723867 15514783744 24137 33554432000 4194304 4196468 140736350659184 140556873163888 140557406791381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8759] ppid=8744 vsize=15151156 memory=1212 CPUtime=0 cores=0,2,4,6
/proc/8746/task/8759/stat : 8759 (java) S 8744 8744 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445723869 15514783744 24137 33554432000 4194304 4196468 140736350659184 140556872112208 140557406799771 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8760] ppid=8744 vsize=15151156 memory=1060 CPUtime=0.29 cores=0,2,4,6
/proc/8746/task/8760/stat : 8760 (java) R 8744 8744 7881 0 -1 4202560 1079 0 0 0 29 0 0 0 20 0 15 0 445723869 15514783744 24137 33554432000 4194304 4196468 140736350659184 140556871046624 140557385197352 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8761] ppid=8744 vsize=15151156 memory=740 CPUtime=0.25 cores=0,2,4,6
/proc/8746/task/8761/stat : 8761 (java) R 8744 8744 7881 0 -1 4202560 1334 0 0 0 25 0 0 0 20 0 15 0 445723869 15514783744 24137 33554432000 4194304 4196468 140736350659184 140556869993304 140557386019584 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8762] ppid=8744 vsize=15151156 memory=1228 CPUtime=0.42 cores=0,2,4,6
/proc/8746/task/8762/stat : 8762 (java) R 8744 8744 7881 0 -1 4202560 2146 0 0 0 42 0 0 0 20 0 15 0 445723869 15514783744 24137 33554432000 4194304 4196468 140736350659184 140556868954992 140557388191325 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8763] ppid=8744 vsize=15151156 memory=9520 CPUtime=0 cores=0,2,4,6
/proc/8746/task/8763/stat : 8763 (java) S 8744 8744 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445723869 15514783744 24137 33554432000 4194304 4196468 140736350659184 140556867902432 140557406791381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8764] ppid=8744 vsize=15151156 memory=4028 CPUtime=0 cores=0,2,4,6
/proc/8746/task/8764/stat : 8764 (java) S 8744 8744 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445723870 15514783744 24137 33554432000 4194304 4196468 140736350659184 140556866849200 140557406792322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
Current children cumulated CPU time: 1.68 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 98000 KiB
[startup+1.50076 s]
/proc/loadavg: 5.66 2.15 1.31 15/237 8795
/proc/meminfo: memFree=30752564/32770624 swapFree=66988556/67108860
[pid=8744] ppid=8741 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8744/stat : 8744 (xcsp3-exec) S 8741 8744 7881 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445723863 115843072 363 33554432000 4194304 5098028 140735497775472 140735497773576 139810239513212 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39424000 140735497778043 140735497778285 140735497778285 140735497781194 0
/proc/8744/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/8746/task/8764/stat : 8764 (java) S 8744 8744 7881 0 -1 1077944384 511 0 0 0 0 0 0 0 20 0 19 0 445723870 15858741248 93050 33554432000 4194304 4196468 140736350659184 140556866849200 140557406792322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8891] ppid=8744 vsize=15487052 memory=1688 CPUtime=3.76 cores=0,2,4,6
/proc/8746/task/8891/stat : 8891 (java) R 8744 8744 7881 0 -1 4202560 199 0 0 0 376 0 0 0 20 0 19 0 445725804 15858741248 93050 33554432000 4194304 4196468 140736350659184 140556854471568 140557048869282 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8892] ppid=8744 vsize=15487052 memory=1984 CPUtime=3.76 cores=0,2,4,6
/proc/8746/task/8892/stat : 8892 (java) R 8744 8744 7881 0 -1 4202560 298 0 0 0 376 0 0 0 20 0 19 0 445725804 15858741248 93050 33554432000 4194304 4196468 140736350659184 140556856581344 140557047503296 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8893] ppid=8744 vsize=15487052 memory=2404 CPUtime=3.73 cores=0,2,4,6
/proc/8746/task/8893/stat : 8893 (java) R 8744 8744 7881 0 -1 4202560 322 0 0 0 373 0 0 0 20 0 19 0 445725804 15858741248 93050 33554432000 4194304 4196468 140736350659184 140556850270544 140557048508147 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8894] ppid=8744 vsize=15487052 memory=1440 CPUtime=3.72 cores=0,2,4,6
/proc/8746/task/8894/stat : 8894 (java) R 8744 8744 7881 0 -1 4202560 246 0 0 0 372 0 0 0 20 0 19 0 445725804 15858741248 93050 33554432000 4194304 4196468 140736350659184 140556857630312 140557050255637 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
Current children cumulated CPU time: 91.08 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 373652 KiB
[startup+24.0014 s]*
/proc/loadavg: 6.93 2.75 1.53 9/238 8898
/proc/meminfo: memFree=30379412/32770624 swapFree=66988556/67108860
[pid=8744] ppid=8741 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8744/stat : 8744 (xcsp3-exec) S 8741 8744 7881 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445723863 115843072 363 33554432000 4194304 5098028 140735497775472 140735497773576 139810239513212 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39424000 140735497778043 140735497778285 140735497778285 140735497781194 0
/proc/8744/statm: 28282 363 304 221 0 87 0
[pid=8746] ppid=8744 vsize=15487052 memory=372232 CPUtime=94.3 cores=0,2,4,6
/proc/8746/stat : 8746 (java) S 8744 8744 7881 0 -1 1077944320 49750 0 0 0 9407 23 0 0 20 0 19 0 445723864 15858741248 93058 33554432000 4194304 4196468 140736350659184 140736350641728 140557406781175 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
/proc/8746/statm: 3871763 93058 3528 1 0 3832863 0
[pid=8746/tid=8747] ppid=8744 vsize=15487052 memory=1398722017469774279 CPUtime=0.74 cores=0,2,4,6
/proc/8746/task/8747/stat : 8747 (java) S 8744 8744 7881 0 -1 1077944384 9142 0 0 0 69 5 0 0 20 0 19 0 445723864 15858741248 93058 33554432000 4194304 4196468 140736350659184 140557411021952 140557406791381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8748] ppid=8744 vsize=15487052 memory=4126316290023845779 CPUtime=0.05 cores=0,2,4,6
/proc/8746/task/8748/stat : 8748 (java) S 8744 8744 7881 0 -1 1077944384 1458 0 0 0 3 2 0 0 20 0 19 0 445723865 15858741248 93058 33554432000 4194304 4196468 140736350659184 140557369887632 140557406791381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8749] ppid=8744 vsize=15487052 memory=9520 CPUtime=0.05 cores=0,2,4,6
/proc/8746/task/8749/stat : 8749 (java) S 8744 8744 7881 0 -1 1077944384 1446 0 0 0 3 2 0 0 20 0 19 0 445723865 15858741248 93058 33554432000 4194304 4196468 140736350659184 140556997942032 140557406791381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8750] ppid=8744 vsize=15487052 memory=4028 CPUtime=0.05 cores=0,2,4,6
/proc/8746/task/8750/stat : 8750 (java) S 8744 8744 7881 0 -1 1077944384 245 0 0 0 3 2 0 0 20 0 19 0 445723865 15858741248 93058 33554432000 4194304 4196468 140736350659184 140556996889744 140557406791381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8751] ppid=8744 vsize=15487052 memory=2832 CPUtime=0.05 cores=0,2,4,6
/proc/8746/task/8751/stat : 8751 (java) S 8744 8744 7881 0 -1 1077944384 254 0 0 0 3 2 0 0 20 0 19 0 445723865 15858741248 93058 33554432000 4194304 4196468 140736350659184 140556995836944 140557406791381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8752] ppid=8744 vsize=15487052 memory=1540 CPUtime=0.02 cores=0,2,4,6
/proc/8746/task/8752/stat : 8752 (java) S 8744 8744 7881 0 -1 1077944384 823 0 0 0 1 1 0 0 20 0 19 0 445723866 15858741248 93058 33554432000 4194304 4196468 140736350659184 140556875270256 140557406792322 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8753] ppid=8744 vsize=15487052 memory=1696 CPUtime=0 cores=0,2,4,6
/proc/8746/task/8753/stat : 8753 (java) S 8744 8744 7881 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 19 0 445723867 15858741248 93058 33554432000 4194304 4196468 140736350659184 140556874216288 140557406791381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8754] ppid=8744 vsize=15487052 memory=6032 CPUtime=0 cores=0,2,4,6
/proc/8746/task/8754/stat : 8754 (java) S 8744 8744 7881 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 19 0 445723867 15858741248 93058 33554432000 4194304 4196468 140736350659184 140556873163904 140557406791381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8759] ppid=8744 vsize=15487052 memory=772 CPUtime=0 cores=0,2,4,6
/proc/8746/task/8759/stat : 8759 (java) S 8744 8744 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445723869 15858741248 93058 33554432000 4194304 4196468 140736350659184 140556872112208 140557406799771 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8760] ppid=8744 vsize=15487052 memory=952 CPUtime=3.02 cores=0,2,4,6
/proc/8746/task/8760/stat : 8760 (java) S 8744 8744 7881 0 -1 1077944384 11252 0 0 0 301 1 0 0 20 0 19 0 445723869 15858741248 93058 33554432000 4194304 4196468 140736350659184 140556871060080 140557406792322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8761] ppid=8744 vsize=15487052 memory=14008 CPUtime=2.95 cores=0,2,4,6
/proc/8746/task/8761/stat : 8761 (java) S 8744 8744 7881 0 -1 1077944384 10277 0 0 0 294 1 0 0 20 0 19 0 445723869 15858741248 93058 33554432000 4194304 4196468 140736350659184 140556870007280 140557406792322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8762] ppid=8744 vsize=15487052 memory=20996 CPUtime=0.93 cores=0,2,4,6
/proc/8746/task/8762/stat : 8762 (java) S 8744 8744 7881 0 -1 1077944384 6578 0 0 0 93 0 0 0 20 0 19 0 445723869 15858741248 93058 33554432000 4194304 4196468 140736350659184 140556868954992 140557406792322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8763] ppid=8744 vsize=15487052 memory=2116 CPUtime=0 cores=0,2,4,6
/proc/8746/task/8763/stat : 8763 (java) S 8744 8744 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445723869 15858741248 93058 33554432000 4194304 4196468 140736350659184 140556867902432 140557406791381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8764] ppid=8744 vsize=15487052 memory=12028 CPUtime=0 cores=0,2,4,6
/proc/8746/task/8764/stat : 8764 (java) R 8744 8744 7881 0 -1 1077944384 511 0 0 0 0 0 0 0 20 0 19 0 445723870 15858741248 93058 33554432000 4194304 4196468 140736350659184 140556866849200 140557406792322 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8891] ppid=8744 vsize=15487052 memory=7739276948477996903 CPUtime=4.57 cores=0,2,4,6
/proc/8746/task/8891/stat : 8891 (java) R 8744 8744 7881 0 -1 4202560 201 0 0 0 457 0 0 0 20 0 19 0 445725804 15858741248 93058 33554432000 4194304 4196468 140736350659184 140556854471568 140557049068821 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8892] ppid=8744 vsize=15487052 memory=8102582798406464049 CPUtime=4.57 cores=0,2,4,6
/proc/8746/task/8892/stat : 8892 (java) R 8744 8744 7881 0 -1 4202560 305 0 0 0 457 0 0 0 20 0 19 0 445725804 15858741248 93058 33554432000 4194304 4196468 140736350659184 140556856578344 140557051546625 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8893] ppid=8744 vsize=15487052 memory=0 CPUtime=4.54 cores=0,2,4,6
/proc/8746/task/8893/stat : 8893 (java) R 8744 8744 7881 0 -1 4202560 331 0 0 0 454 0 0 0 20 0 19 0 445725804 15858741248 93058 33554432000 4194304 4196468 140736350659184 140556850270840 140557048507449 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8894] ppid=8744 vsize=15487052 memory=10932 CPUtime=4.47 cores=0,2,4,6
/proc/8746/task/8894/stat : 8894 (java) R 8744 8744 7881 0 -1 4202560 249 0 0 0 447 0 0 0 20 0 19 0 445725804 15858741248 93058 33554432000 4194304 4196468 140736350659184 140556857630312 140557050636874 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
Current children cumulated CPU time: 94.3 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 373684 KiB
[startup+24.2014 s]
/proc/loadavg: 6.93 2.75 1.53 9/238 8898
/proc/meminfo: memFree=30379412/32770624 swapFree=66988556/67108860
[pid=8744] ppid=8741 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8744/stat : 8744 (xcsp3-exec) S 8741 8744 7881 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445723863 115843072 363 33554432000 4194304 5098028 140735497775472 140735497773576 139810239513212 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39424000 140735497778043 140735497778285 140735497778285 140735497781194 0
/proc/8744/statm: 28282 363 304 221 0 87 0
[pid=8746] ppid=8744 vsize=15487052 memory=372232 CPUtime=95.06 cores=0,2,4,6
/proc/8746/stat : 8746 (java) S 8744 8744 7881 0 -1 1077944320 49780 0 0 0 9483 23 0 0 20 0 19 0 445723864 15858741248 93058 33554432000 4194304 4196468 140736350659184 140736350641728 140557406781175 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
/proc/8746/statm: 3871763 93058 3528 1 0 3832863 0
[pid=8746/tid=8747] ppid=8744 vsize=15487052 memory=16104775267649398 CPUtime=0.74 cores=0,2,4,6
/proc/8746/task/8747/stat : 8747 (java) S 8744 8744 7881 0 -1 1077944384 9142 0 0 0 69 5 0 0 20 0 19 0 445723864 15858741248 93058 33554432000 4194304 4196468 140736350659184 140557411021952 140557406791381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8748] ppid=8744 vsize=15487052 memory=372176 CPUtime=0.05 cores=0,2,4,6
/proc/8746/task/8748/stat : 8748 (java) S 8744 8744 7881 0 -1 1077944384 1458 0 0 0 3 2 0 0 20 0 19 0 445723865 15858741248 93058 33554432000 4194304 4196468 140736350659184 140557369887632 140557406791381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8749] ppid=8744 vsize=15487052 memory=1736 CPUtime=0.05 cores=0,2,4,6
/proc/8746/task/8749/stat : 8749 (java) S 8744 8744 7881 0 -1 1077944384 1446 0 0 0 3 2 0 0 20 0 19 0 445723865 15858741248 93058 33554432000 4194304 4196468 140736350659184 140556997942032 140557406791381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8750] ppid=8744 vsize=15487052 memory=1398722017469774279 CPUtime=0.05 cores=0,2,4,6
/proc/8746/task/8750/stat : 8750 (java) S 8744 8744 7881 0 -1 1077944384 245 0 0 0 3 2 0 0 20 0 19 0 445723865 15858741248 93058 33554432000 4194304 4196468 140736350659184 140556996889744 140557406791381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8751] ppid=8744 vsize=15487052 memory=4126316290023845779 CPUtime=0.05 cores=0,2,4,6
/proc/8746/task/8751/stat : 8751 (java) S 8744 8744 7881 0 -1 1077944384 254 0 0 0 3 2 0 0 20 0 19 0 445723865 15858741248 93058 33554432000 4194304 4196468 140736350659184 140556995836944 140557406791381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8752] ppid=8744 vsize=15487052 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/8746/task/8752/stat : 8752 (java) S 8744 8744 7881 0 -1 1077944384 824 0 0 0 1 1 0 0 20 0 19 0 445723866 15858741248 93058 33554432000 4194304 4196468 140736350659184 140556875270256 140557406792322 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8753] ppid=8744 vsize=15487052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8746/task/8753/stat : 8753 (java) S 8744 8744 7881 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 19 0 445723867 15858741248 93058 33554432000 4194304 4196468 140736350659184 140556874216288 140557406791381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8754] ppid=8744 vsize=15487052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8746/task/8754/stat : 8754 (java) S 8744 8744 7881 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 19 0 445723867 15858741248 93058 33554432000 4194304 4196468 140736350659184 140556873163904 140557406791381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8759] ppid=8744 vsize=15487052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8746/task/8759/stat : 8759 (java) S 8744 8744 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445723869 15858741248 93058 33554432000 4194304 4196468 140736350659184 140556872112208 140557406799771 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8760] ppid=8744 vsize=15487052 memory=0 CPUtime=3.02 cores=0,2,4,6
/proc/8746/task/8760/stat : 8760 (java) S 8744 8744 7881 0 -1 1077944384 11252 0 0 0 301 1 0 0 20 0 19 0 445723869 15858741248 93058 33554432000 4194304 4196468 140736350659184 140556871060080 140557406792322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8761] ppid=8744 vsize=15487052 memory=0 CPUtime=2.95 cores=0,2,4,6
/proc/8746/task/8761/stat : 8761 (java) S 8744 8744 7881 0 -1 1077944384 10277 0 0 0 294 1 0 0 20 0 19 0 445723869 15858741248 93058 33554432000 4194304 4196468 140736350659184 140556870007280 140557406792322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8762] ppid=8744 vsize=15487052 memory=0 CPUtime=0.93 cores=0,2,4,6
/proc/8746/task/8762/stat : 8762 (java) S 8744 8744 7881 0 -1 1077944384 6578 0 0 0 93 0 0 0 20 0 19 0 445723869 15858741248 93058 33554432000 4194304 4196468 140736350659184 140556868954992 140557406792322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8763] ppid=8744 vsize=15487052 memory=7379817958835055466 CPUtime=0 cores=0,2,4,6
/proc/8746/task/8763/stat : 8763 (java) S 8744 8744 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445723869 15858741248 93058 33554432000 4194304 4196468 140736350659184 140556867902432 140557406791381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8764] ppid=8744 vsize=15487052 memory=140714605041617 CPUtime=0 cores=0,2,4,6
/proc/8746/task/8764/stat : 8764 (java) S 8744 8744 7881 0 -1 1077944384 511 0 0 0 0 0 0 0 20 0 19 0 445723870 15858741248 93058 33554432000 4194304 4196468 140736350659184 140556866849200 140557406792322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8891] ppid=8744 vsize=15487052 memory=0 CPUtime=4.76 cores=0,2,4,6
/proc/8746/task/8891/stat : 8891 (java) R 8744 8744 7881 0 -1 4202560 202 0 0 0 476 0 0 0 20 0 19 0 445725804 15858741248 93058 33554432000 4194304 4196468 140736350659184 140556854471600 140557050331171 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8892] ppid=8744 vsize=15487052 memory=301741390604534054 CPUtime=4.76 cores=0,2,4,6
/proc/8746/task/8892/stat : 8892 (java) R 8744 8744 7881 0 -1 4202560 324 0 0 0 476 0 0 0 20 0 19 0 445725804 15858741248 93058 33554432000 4194304 4196468 140736350659184 140556856578496 140557048966917 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8893] ppid=8744 vsize=15487052 memory=15822192189376114 CPUtime=4.73 cores=0,2,4,6
/proc/8746/task/8893/stat : 8893 (java) R 8744 8744 7881 0 -1 4202560 334 0 0 0 473 0 0 0 20 0 19 0 445725804 15858741248 93058 33554432000 4194304 4196468 140736350659184 140556850270560 140557048967703 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8894] ppid=8744 vsize=15487052 memory=0 CPUtime=4.66 cores=0,2,4,6
/proc/8746/task/8894/stat : 8894 (java) R 8744 8744 7881 0 -1 4202560 255 0 0 0 466 0 0 0 20 0 19 0 445725804 15858741248 93058 33554432000 4194304 4196468 140736350659184 140556857630344 140557048507712 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
Current children cumulated CPU time: 95.06 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 373684 KiB
[startup+24.3014 s]
/proc/loadavg: 6.93 2.75 1.53 9/238 8898
/proc/meminfo: memFree=30379412/32770624 swapFree=66988556/67108860
[pid=8744] ppid=8741 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8744/stat : 8744 (xcsp3-exec) S 8741 8744 7881 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445723863 115843072 363 33554432000 4194304 5098028 140735497775472 140735497773576 139810239513212 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39424000 140735497778043 140735497778285 140735497778285 140735497781194 0
/proc/8744/statm: 28282 363 304 221 0 87 0
[pid=8746] ppid=8744 vsize=15487052 memory=372232 CPUtime=95.46 cores=0,2,4,6
/proc/8746/stat : 8746 (java) S 8744 8744 7881 0 -1 1077944320 49782 0 0 0 9523 23 0 0 20 0 19 0 445723864 15858741248 93058 33554432000 4194304 4196468 140736350659184 140736350641728 140557406781175 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
/proc/8746/statm: 3871763 93058 3528 1 0 3832863 0
[pid=8746/tid=8747] ppid=8744 vsize=15487052 memory=372232 CPUtime=0.74 cores=0,2,4,6
/proc/8746/task/8747/stat : 8747 (java) S 8744 8744 7881 0 -1 1077944384 9142 0 0 0 69 5 0 0 20 0 19 0 445723864 15858741248 93058 33554432000 4194304 4196468 140736350659184 140557411021952 140557406791381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8748] ppid=8744 vsize=15487052 memory=372200 CPUtime=0.05 cores=0,2,4,6
/proc/8746/task/8748/stat : 8748 (java) S 8744 8744 7881 0 -1 1077944384 1458 0 0 0 3 2 0 0 20 0 19 0 445723865 15858741248 93058 33554432000 4194304 4196468 140736350659184 140557369887632 140557406791381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8749] ppid=8744 vsize=15487052 memory=371852 CPUtime=0.05 cores=0,2,4,6
/proc/8746/task/8749/stat : 8749 (java) S 8744 8744 7881 0 -1 1077944384 1446 0 0 0 3 2 0 0 20 0 19 0 445723865 15858741248 93058 33554432000 4194304 4196468 140736350659184 140556997942032 140557406791381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8750] ppid=8744 vsize=15487052 memory=371928 CPUtime=0.05 cores=0,2,4,6
/proc/8746/task/8750/stat : 8750 (java) S 8744 8744 7881 0 -1 1077944384 245 0 0 0 3 2 0 0 20 0 19 0 445723865 15858741248 93058 33554432000 4194304 4196468 140736350659184 140556996889744 140557406791381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8751] ppid=8744 vsize=15487052 memory=372232 CPUtime=0.05 cores=0,2,4,6
/proc/8746/task/8751/stat : 8751 (java) S 8744 8744 7881 0 -1 1077944384 254 0 0 0 3 2 0 0 20 0 19 0 445723865 15858741248 93058 33554432000 4194304 4196468 140736350659184 140556995836944 140557406791381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8752] ppid=8744 vsize=15487052 memory=1452 CPUtime=0.02 cores=0,2,4,6
/proc/8746/task/8752/stat : 8752 (java) S 8744 8744 7881 0 -1 1077944384 824 0 0 0 1 1 0 0 20 0 19 0 445723866 15858741248 93058 33554432000 4194304 4196468 140736350659184 140556875270256 140557406792322 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8753] ppid=8744 vsize=15487052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8746/task/8753/stat : 8753 (java) S 8744 8744 7881 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 19 0 445723867 15858741248 93058 33554432000 4194304 4196468 140736350659184 140556874216288 140557406791381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8754] ppid=8744 vsize=15487052 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8746/task/8754/stat : 8754 (java) S 8744 8744 7881 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 19 0 445723867 15858741248 93058 33554432000 4194304 4196468 140736350659184 140556873163904 140557406791381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8759] ppid=8744 vsize=15487052 memory=372124 CPUtime=0 cores=0,2,4,6
/proc/8746/task/8759/stat : 8759 (java) S 8744 8744 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445723869 15858741248 93058 33554432000 4194304 4196468 140736350659184 140556872112208 140557406799771 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8760] ppid=8744 vsize=15487052 memory=3 CPUtime=3.02 cores=0,2,4,6
/proc/8746/task/8760/stat : 8760 (java) S 8744 8744 7881 0 -1 1077944384 11252 0 0 0 301 1 0 0 20 0 19 0 445723869 15858741248 93058 33554432000 4194304 4196468 140736350659184 140556871060080 140557406792322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8761] ppid=8744 vsize=15487052 memory=4 CPUtime=2.95 cores=0,2,4,6
/proc/8746/task/8761/stat : 8761 (java) S 8744 8744 7881 0 -1 1077944384 10277 0 0 0 294 1 0 0 20 0 19 0 445723869 15858741248 93058 33554432000 4194304 4196468 140736350659184 140556870007280 140557406792322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8762] ppid=8744 vsize=15487052 memory=6010425776822829158 CPUtime=0.93 cores=0,2,4,6
/proc/8746/task/8762/stat : 8762 (java) S 8744 8744 7881 0 -1 1077944384 6578 0 0 0 93 0 0 0 20 0 19 0 445723869 15858741248 93058 33554432000 4194304 4196468 140736350659184 140556868954992 140557406792322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8763] ppid=8744 vsize=15487052 memory=6010425776822829154 CPUtime=0 cores=0,2,4,6
/proc/8746/task/8763/stat : 8763 (java) S 8744 8744 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445723869 15858741248 93058 33554432000 4194304 4196468 140736350659184 140556867902432 140557406791381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8764] ppid=8744 vsize=15487052 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8746/task/8764/stat : 8764 (java) S 8744 8744 7881 0 -1 1077944384 511 0 0 0 0 0 0 0 20 0 19 0 445723870 15858741248 93058 33554432000 4194304 4196468 140736350659184 140556866849200 140557406792322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8891] ppid=8744 vsize=15487052 memory=1452 CPUtime=4.86 cores=0,2,4,6
/proc/8746/task/8891/stat : 8891 (java) R 8744 8744 7881 0 -1 4202560 202 0 0 0 486 0 0 0 20 0 19 0 445725804 15858741248 93058 33554432000 4194304 4196468 140736350659184 140556854471600 140557051691891 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8892] ppid=8744 vsize=15487052 memory=244948 CPUtime=4.86 cores=0,2,4,6
/proc/8746/task/8892/stat : 8892 (java) R 8744 8744 7881 0 -1 4202560 325 0 0 0 486 0 0 0 20 0 19 0 445725804 15858741248 93058 33554432000 4194304 4196468 140736350659184 140556856578496 140557046423030 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8893] ppid=8744 vsize=15487052 memory=244512 CPUtime=4.83 cores=0,2,4,6
/proc/8746/task/8893/stat : 8893 (java) R 8744 8744 7881 0 -1 4202560 335 0 0 0 483 0 0 0 20 0 19 0 445725804 15858741248 93058 33554432000 4194304 4196468 140736350659184 140556850270696 140557050410457 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
[pid=8746/tid=8894] ppid=8744 vsize=15487052 memory=1452 CPUtime=4.75 cores=0,2,4,6
/proc/8746/task/8894/stat : 8894 (java) R 8744 8744 7881 0 -1 4202560 255 0 0 0 475 0 0 0 20 0 19 0 445725804 15858741248 93058 33554432000 4194304 4196468 140736350659184 140556857630344 140557048507426 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34013184 140736350663663 140736350663834 140736350663834 140736350666703 0
Current children cumulated CPU time: 95.46 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 373684 KiB
Child status: 0
Real time (s): 24.3422
CPU time (s): 95.6126
CPU user time (s): 95.3687
CPU system time (s): 0.243923
CPU usage (%): 392.786
Max. virtual memory (cumulated for all children) (KiB): 15600180
Max. memory (cumulated for all children) (KiB): 373684
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 95.3687
system time used= 0.243923
maximum resident set size= 372232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50804
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= 3808
involuntary context switches= 2610
# summary of solver processes directly reported to runsolver:
# pid: 8744
# total CPU time (s): 95.6126
# total CPU user time (s): 95.3687
# total CPU system time (s): 0.243923
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.171851 second user time and 0.302184 second system time
The end