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 (14526 MiB free)
memory of node 1: 16384 MiB (15668 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399289-1568697995/watcher-4399289-1568697995 -o /tmp/evaluation-result-4399289-1568697995/solver-4399289-1568697995 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568690084-23429 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1757667220 HOME/instance-4399289-1568697995.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
Current StackSize limit: 8192 KiB
solver pid=28865, runsolver pid=28862
[startup+0.100107 s]*
/proc/loadavg: 8.56 8.56 8.27 8/232 28881
/proc/meminfo: memFree=30904200/32770624 swapFree=66977408/67108860
[pid=28865] ppid=28862 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28865/stat : 28865 (xcsp3-exec) S 28862 28865 23397 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446056532 115843072 363 33554432000 4194304 5098028 140723107018400 140723107016504 139709219771004 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 16375808 140723107025786 140723107026029 140723107026029 140723107028938 0
/proc/28865/statm: 28282 363 304 221 0 87 0
[pid=28867] ppid=28865 vsize=15144776 memory=29024 CPUtime=0.13 cores=1,3,5,7
/proc/28867/stat : 28867 (java) S 28865 28865 23397 0 -1 1077944320 5707 0 0 0 12 1 0 0 20 0 15 0 446056532 15508250624 7256 33554432000 4194304 4196468 140725484922704 140725484905248 140333515263735 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
/proc/28867/statm: 3786194 7256 3178 1 0 3748377 0
[pid=28867/tid=28868] ppid=28865 vsize=15144776 memory=576460756329955459 CPUtime=0.08 cores=1,3,5,7
/proc/28867/task/28868/stat : 28868 (java) R 28865 28865 23397 0 -1 4202560 3579 0 0 0 8 0 0 0 20 0 15 0 446056532 15508250624 7256 33554432000 4194304 4196468 140725484922704 140333519493328 140333515285082 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28869] ppid=28865 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28867/task/28869/stat : 28869 (java) S 28865 28865 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446056533 15508250624 7256 33554432000 4194304 4196468 140725484922704 140333107112720 140333515273941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28870] ppid=28865 vsize=15144776 memory=140441633011884 CPUtime=0 cores=1,3,5,7
/proc/28867/task/28870/stat : 28870 (java) S 28865 28865 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446056533 15508250624 7256 33554432000 4194304 4196468 140725484922704 140333106060176 140333515273941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28871] ppid=28865 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28867/task/28871/stat : 28871 (java) S 28865 28865 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446056533 15508250624 7256 33554432000 4194304 4196468 140725484922704 140333105007632 140333515273941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28872] ppid=28865 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28867/task/28872/stat : 28872 (java) S 28865 28865 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446056533 15508250624 7256 33554432000 4194304 4196468 140725484922704 140333103955088 140333515273941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28873] ppid=28865 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28867/task/28873/stat : 28873 (java) S 28865 28865 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446056534 15508250624 7256 33554432000 4194304 4196468 140725484922704 140332983912432 140333515274882 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28874] ppid=28865 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28867/task/28874/stat : 28874 (java) S 28865 28865 23397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446056535 15508250624 7256 33554432000 4194304 4196468 140725484922704 140332982858656 140333515273941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28875] ppid=28865 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28867/task/28875/stat : 28875 (java) S 28865 28865 23397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446056535 15508250624 7256 33554432000 4194304 4196468 140725484922704 140332981806064 140333515273941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28876] ppid=28865 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28867/task/28876/stat : 28876 (java) S 28865 28865 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446056537 15508250624 7256 33554432000 4194304 4196468 140725484922704 140332980754640 140333515282331 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28877] ppid=28865 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28867/task/28877/stat : 28877 (java) S 28865 28865 23397 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 446056537 15508250624 7256 33554432000 4194304 4196468 140725484922704 140332979702256 140333515274882 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28878] ppid=28865 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28867/task/28878/stat : 28878 (java) S 28865 28865 23397 0 -1 1077944384 161 0 0 0 0 0 0 0 20 0 15 0 446056537 15508250624 7256 33554432000 4194304 4196468 140725484922704 140332978649712 140333515274882 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28879] ppid=28865 vsize=15144776 memory=140441629845120 CPUtime=0.02 cores=1,3,5,7
/proc/28867/task/28879/stat : 28879 (java) R 28865 28865 23397 0 -1 4202560 358 0 0 0 2 0 0 0 20 0 15 0 446056537 15508250624 7256 33554432000 4194304 4196468 140725484922704 140332977592208 140333515285082 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28880] ppid=28865 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28867/task/28880/stat : 28880 (java) S 28865 28865 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446056538 15508250624 7256 33554432000 4194304 4196468 140725484922704 140332976544864 140333515273941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28881] ppid=28865 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28867/task/28881/stat : 28881 (java) S 28865 28865 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446056538 15508250624 7256 33554432000 4194304 4196468 140725484922704 140332975491376 140333515274882 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30476 KiB
[startup+0.21082 s]*
/proc/loadavg: 8.56 8.56 8.27 7/232 28881
/proc/meminfo: memFree=30890948/32770624 swapFree=66977408/67108860
[pid=28865] ppid=28862 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28865/stat : 28865 (xcsp3-exec) S 28862 28865 23397 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446056532 115843072 363 33554432000 4194304 5098028 140723107018400 140723107016504 139709219771004 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 16375808 140723107025786 140723107026029 140723107026029 140723107028938 0
/proc/28865/statm: 28282 363 304 221 0 87 0
[pid=28867] ppid=28865 vsize=15144776 memory=40908 CPUtime=0.34 cores=1,3,5,7
/proc/28867/stat : 28867 (java) S 28865 28865 23397 0 -1 1077944320 9462 0 0 0 31 3 0 0 20 0 15 0 446056532 15508250624 10227 33554432000 4194304 4196468 140725484922704 140725484905248 140333515263735 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
/proc/28867/statm: 3786194 10227 3307 1 0 3748377 0
[pid=28867/tid=28868] ppid=28865 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/28867/task/28868/stat : 28868 (java) R 28865 28865 23397 0 -1 4202560 6613 0 0 0 18 2 0 0 20 0 15 0 446056532 15508250624 10227 33554432000 4194304 4196468 140725484922704 140333519496464 140333499344222 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28869] ppid=28865 vsize=15144776 memory=1898158 CPUtime=0 cores=1,3,5,7
/proc/28867/task/28869/stat : 28869 (java) S 28865 28865 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446056533 15508250624 10227 33554432000 4194304 4196468 140725484922704 140333107112720 140333515273941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28870] ppid=28865 vsize=15144776 memory=3472752424773052064 CPUtime=0 cores=1,3,5,7
/proc/28867/task/28870/stat : 28870 (java) S 28865 28865 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446056533 15508250624 10227 33554432000 4194304 4196468 140725484922704 140333106060176 140333515273941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28871] ppid=28865 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28867/task/28871/stat : 28871 (java) S 28865 28865 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446056533 15508250624 10227 33554432000 4194304 4196468 140725484922704 140333105007632 140333515273941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28872] ppid=28865 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28867/task/28872/stat : 28872 (java) S 28865 28865 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446056533 15508250624 10227 33554432000 4194304 4196468 140725484922704 140333103955088 140333515273941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28873] ppid=28865 vsize=15144776 memory=140441629845120 CPUtime=0 cores=1,3,5,7
/proc/28867/task/28873/stat : 28873 (java) S 28865 28865 23397 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 446056534 15508250624 10227 33554432000 4194304 4196468 140725484922704 140332983912432 140333515274882 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28874] ppid=28865 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28867/task/28874/stat : 28874 (java) S 28865 28865 23397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446056535 15508250624 10227 33554432000 4194304 4196468 140725484922704 140332982858656 140333515273941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28875] ppid=28865 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28867/task/28875/stat : 28875 (java) S 28865 28865 23397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446056535 15508250624 10227 33554432000 4194304 4196468 140725484922704 140332981806064 140333515273941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28876] ppid=28865 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28867/task/28876/stat : 28876 (java) S 28865 28865 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446056537 15508250624 10227 33554432000 4194304 4196468 140725484922704 140332980754640 140333515282331 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28877] ppid=28865 vsize=15144776 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/28867/task/28877/stat : 28877 (java) S 28865 28865 23397 0 -1 1077944384 361 0 0 0 1 0 0 0 20 0 15 0 446056537 15508250624 10227 33554432000 4194304 4196468 140725484922704 140332979702256 140333515274882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28878] ppid=28865 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/28867/task/28878/stat : 28878 (java) S 28865 28865 23397 0 -1 1077944384 402 0 0 0 2 0 0 0 20 0 15 0 446056537 15508250624 10227 33554432000 4194304 4196468 140725484922704 140332978649712 140333515274882 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28879] ppid=28865 vsize=15144776 memory=140441629845120 CPUtime=0.08 cores=1,3,5,7
/proc/28867/task/28879/stat : 28879 (java) S 28865 28865 23397 0 -1 1077944384 781 0 0 0 8 0 0 0 20 0 15 0 446056537 15508250624 10227 33554432000 4194304 4196468 140725484922704 140332977597168 140333515274882 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28880] ppid=28865 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28867/task/28880/stat : 28880 (java) S 28865 28865 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446056538 15508250624 10227 33554432000 4194304 4196468 140725484922704 140332976544864 140333515273941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28881] ppid=28865 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28867/task/28881/stat : 28881 (java) S 28865 28865 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446056538 15508250624 10227 33554432000 4194304 4196468 140725484922704 140332975491376 140333515274882 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42360 KiB
[startup+0.311525 s]*
/proc/loadavg: 8.56 8.56 8.27 7/232 28881
/proc/meminfo: memFree=30883812/32770624 swapFree=66977408/67108860
[pid=28865] ppid=28862 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28865/stat : 28865 (xcsp3-exec) S 28862 28865 23397 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446056532 115843072 363 33554432000 4194304 5098028 140723107018400 140723107016504 139709219771004 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 16375808 140723107025786 140723107026029 140723107026029 140723107028938 0
/proc/28865/statm: 28282 363 304 221 0 87 0
[pid=28867] ppid=28865 vsize=15149032 memory=50076 CPUtime=0.53 cores=1,3,5,7
/proc/28867/stat : 28867 (java) S 28865 28865 23397 0 -1 1077944320 10969 0 0 0 49 4 0 0 20 0 15 0 446056532 15512608768 12519 33554432000 4194304 4196468 140725484922704 140725484905248 140333515263735 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
/proc/28867/statm: 3787258 12519 3355 1 0 3748377 0
[pid=28867/tid=28868] ppid=28865 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/28867/task/28868/stat : 28868 (java) R 28865 28865 23397 0 -1 4202560 7927 0 0 0 27 3 0 0 20 0 15 0 446056532 15512608768 12519 33554432000 4194304 4196468 140725484922704 140333519497520 140333499344222 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28869] ppid=28865 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/28867/task/28869/stat : 28869 (java) S 28865 28865 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446056533 15512608768 12519 33554432000 4194304 4196468 140725484922704 140333107112720 140333515273941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28870] ppid=28865 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/28867/task/28870/stat : 28870 (java) S 28865 28865 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446056533 15512608768 12519 33554432000 4194304 4196468 140725484922704 140333106060176 140333515273941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28871] ppid=28865 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/28867/task/28871/stat : 28871 (java) S 28865 28865 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446056533 15512608768 12519 33554432000 4194304 4196468 140725484922704 140333105007632 140333515273941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28872] ppid=28865 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/28867/task/28872/stat : 28872 (java) S 28865 28865 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446056533 15512608768 12519 33554432000 4194304 4196468 140725484922704 140333103955088 140333515273941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28873] ppid=28865 vsize=15149032 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7
/proc/28867/task/28873/stat : 28873 (java) S 28865 28865 23397 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 446056534 15512608768 12519 33554432000 4194304 4196468 140725484922704 140332983912432 140333515274882 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28874] ppid=28865 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/28867/task/28874/stat : 28874 (java) S 28865 28865 23397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446056535 15512608768 12519 33554432000 4194304 4196468 140725484922704 140332982858656 140333515273941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28875] ppid=28865 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/28867/task/28875/stat : 28875 (java) S 28865 28865 23397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446056535 15512608768 12519 33554432000 4194304 4196468 140725484922704 140332981806064 140333515273941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28876] ppid=28865 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/28867/task/28876/stat : 28876 (java) S 28865 28865 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446056537 15512608768 12519 33554432000 4194304 4196468 140725484922704 140332980754640 140333515282331 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28877] ppid=28865 vsize=15149032 memory=7827413994055111515 CPUtime=0.04 cores=1,3,5,7
/proc/28867/task/28877/stat : 28877 (java) R 28865 28865 23397 0 -1 4202560 452 0 0 0 4 0 0 0 20 0 15 0 446056537 15512608768 12519 33554432000 4194304 4196468 140725484922704 140332979702256 140333492524992 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28878] ppid=28865 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/28867/task/28878/stat : 28878 (java) S 28865 28865 23397 0 -1 1077944384 421 0 0 0 4 0 0 0 20 0 15 0 446056537 15512608768 12519 33554432000 4194304 4196468 140725484922704 140332978649712 140333515274882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28879] ppid=28865 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/28867/task/28879/stat : 28879 (java) S 28865 28865 23397 0 -1 1077944384 865 0 0 0 12 0 0 0 20 0 15 0 446056537 15512608768 12519 33554432000 4194304 4196468 140725484922704 140332977597168 140333515274882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28880] ppid=28865 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28867/task/28880/stat : 28880 (java) S 28865 28865 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446056538 15512608768 12519 33554432000 4194304 4196468 140725484922704 140332976544864 140333515273941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28881] ppid=28865 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28867/task/28881/stat : 28881 (java) S 28865 28865 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446056538 15512608768 12519 33554432000 4194304 4196468 140725484922704 140332975491376 140333515274882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51528 KiB
[startup+0.707576 s]
/proc/loadavg: 8.56 8.56 8.27 9/232 28881
/proc/meminfo: memFree=30865992/32770624 swapFree=66977408/67108860
[pid=28865] ppid=28862 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28865/stat : 28865 (xcsp3-exec) S 28862 28865 23397 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446056532 115843072 363 33554432000 4194304 5098028 140723107018400 140723107016504 139709219771004 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 16375808 140723107025786 140723107026029 140723107026029 140723107028938 0
/proc/28865/statm: 28282 363 304 221 0 87 0
[pid=28867] ppid=28865 vsize=15151156 memory=87484 CPUtime=1.65 cores=1,3,5,7
/proc/28867/stat : 28867 (java) S 28865 28865 23397 0 -1 1077944320 15061 0 0 0 158 7 0 0 20 0 15 0 446056532 15514783744 21871 33554432000 4194304 4196468 140725484922704 140725484905248 140333515263735 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
/proc/28867/statm: 3787789 21871 3453 1 0 3748889 0
[pid=28867/tid=28868] ppid=28865 vsize=15151156 memory=-3704326594973231466 CPUtime=0.68 cores=1,3,5,7
/proc/28867/task/28868/stat : 28868 (java) R 28865 28865 23397 0 -1 4202560 9315 0 0 0 64 4 0 0 20 0 15 0 446056532 15514783744 21871 33554432000 4194304 4196468 140725484922704 140333519498432 140333110278397 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28869] ppid=28865 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28867/task/28869/stat : 28869 (java) S 28865 28865 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446056533 15514783744 21871 33554432000 4194304 4196468 140725484922704 140333107112720 140333515273941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28870] ppid=28865 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28867/task/28870/stat : 28870 (java) S 28865 28865 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446056533 15514783744 21871 33554432000 4194304 4196468 140725484922704 140333106060176 140333515273941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28871] ppid=28865 vsize=15151156 memory=692 CPUtime=0 cores=1,3,5,7
/proc/28867/task/28871/stat : 28871 (java) S 28865 28865 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446056533 15514783744 21871 33554432000 4194304 4196468 140725484922704 140333105007632 140333515273941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28872] ppid=28865 vsize=15151156 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/28867/task/28872/stat : 28872 (java) S 28865 28865 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446056533 15514783744 21871 33554432000 4194304 4196468 140725484922704 140333103955088 140333515273941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28873] ppid=28865 vsize=15151156 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/28867/task/28873/stat : 28873 (java) S 28865 28865 23397 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 446056534 15514783744 21871 33554432000 4194304 4196468 140725484922704 140332983912432 140333515274882 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28874] ppid=28865 vsize=15151156 memory=780 CPUtime=0 cores=1,3,5,7
/proc/28867/task/28874/stat : 28874 (java) S 28865 28865 23397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446056535 15514783744 21871 33554432000 4194304 4196468 140725484922704 140332982858656 140333515273941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28875] ppid=28865 vsize=15151156 memory=4132 CPUtime=0 cores=1,3,5,7
/proc/28867/task/28875/stat : 28875 (java) S 28865 28865 23397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446056535 15514783744 21871 33554432000 4194304 4196468 140725484922704 140332981806064 140333515273941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28876] ppid=28865 vsize=15151156 memory=1112 CPUtime=0 cores=1,3,5,7
/proc/28867/task/28876/stat : 28876 (java) S 28865 28865 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446056537 15514783744 21871 33554432000 4194304 4196468 140725484922704 140332980754640 140333515282331 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28877] ppid=28865 vsize=15151156 memory=6048 CPUtime=0.24 cores=1,3,5,7
/proc/28867/task/28877/stat : 28877 (java) S 28865 28865 23397 0 -1 1077944384 1157 0 0 0 24 0 0 0 20 0 15 0 446056537 15514783744 21871 33554432000 4194304 4196468 140725484922704 140332979695280 140333515273941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28878] ppid=28865 vsize=15151156 memory=7552 CPUtime=0.27 cores=1,3,5,7
/proc/28867/task/28878/stat : 28878 (java) S 28865 28865 23397 0 -1 1077944384 1055 0 0 0 27 0 0 0 20 0 15 0 446056537 15514783744 21871 33554432000 4194304 4196468 140725484922704 140332978649712 140333515274882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28879] ppid=28865 vsize=15151156 memory=2832 CPUtime=0.42 cores=1,3,5,7
/proc/28867/task/28879/stat : 28879 (java) R 28865 28865 23397 0 -1 4202560 2226 0 0 0 41 1 0 0 20 0 15 0 446056537 15514783744 21871 33554432000 4194304 4196468 140725484922704 140332977595128 140333500397484 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28880] ppid=28865 vsize=15151156 memory=1084 CPUtime=0 cores=1,3,5,7
/proc/28867/task/28880/stat : 28880 (java) S 28865 28865 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446056538 15514783744 21871 33554432000 4194304 4196468 140725484922704 140332976544864 140333515273941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28881] ppid=28865 vsize=15151156 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/28867/task/28881/stat : 28881 (java) S 28865 28865 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446056538 15514783744 21871 33554432000 4194304 4196468 140725484922704 140332975491376 140333515274882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
Current children cumulated CPU time: 1.65 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 88936 KiB
[startup+1.50084 s]
/proc/loadavg: 8.56 8.56 8.27 11/236 28893
/proc/meminfo: memFree=30799608/32770624 swapFree=66977408/67108860
[pid=28865] ppid=28862 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28865/stat : 28865 (xcsp3-exec) S 28862 28865 23397 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446056532 115843072 363 33554432000 4194304 5098028 140723107018400 140723107016504 139709219771004 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 16375808 140723107025786 140723107026029 140723107026029 140723107028938 0
/proc/28865/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/28867/task/28881/stat : 28881 (java) S 28865 28865 23397 0 -1 1077944384 947 0 0 0 0 1 0 0 20 0 19 0 446056538 15858741248 58151 33554432000 4194304 4196468 140725484922704 140332975491376 140333515274882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28929] ppid=28865 vsize=15487052 memory=233124 CPUtime=37.61 cores=1,3,5,7
/proc/28867/task/28929/stat : 28929 (java) R 28865 28865 23397 0 -1 4202560 454 0 0 0 3761 0 0 0 20 0 19 0 446059795 15858741248 58151 33554432000 4194304 4196468 140725484922704 140332964167176 140333115296128 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28930] ppid=28865 vsize=15487052 memory=1452 CPUtime=37.29 cores=1,3,5,7
/proc/28867/task/28930/stat : 28930 (java) R 28865 28865 23397 0 -1 4202560 1579 0 0 0 3729 0 0 0 20 0 19 0 446059795 15858741248 58151 33554432000 4194304 4196468 140725484922704 140332958914880 140333115040678 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28931] ppid=28865 vsize=15487052 memory=233124 CPUtime=37.56 cores=1,3,5,7
/proc/28867/task/28931/stat : 28931 (java) R 28865 28865 23397 0 -1 4202560 384 0 0 0 3756 0 0 0 20 0 19 0 446059795 15858741248 58151 33554432000 4194304 4196468 140725484922704 140332959964944 140333113926849 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28932] ppid=28865 vsize=15487052 memory=3616 CPUtime=37.59 cores=1,3,5,7
/proc/28867/task/28932/stat : 28932 (java) R 28865 28865 23397 0 -1 4202560 828 0 0 0 3759 0 0 0 20 0 19 0 446059795 15858741248 58151 33554432000 4194304 4196468 140725484922704 140332965219752 140333114298346 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
Current children cumulated CPU time: 278.86 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 234056 KiB
[startup+71.2016 s]
/proc/loadavg: 8.70 8.61 8.32 9/236 28935
/proc/meminfo: memFree=30688132/32770624 swapFree=66977408/67108860
[pid=28865] ppid=28862 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28865/stat : 28865 (xcsp3-exec) S 28862 28865 23397 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446056532 115843072 363 33554432000 4194304 5098028 140723107018400 140723107016504 139709219771004 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 16375808 140723107025786 140723107026029 140723107026029 140723107028938 0
/proc/28865/statm: 28282 363 304 221 0 87 0
[pid=28867] ppid=28865 vsize=15487052 memory=232604 CPUtime=282.05 cores=1,3,5,7
/proc/28867/stat : 28867 (java) S 28865 28865 23397 0 -1 1077944320 86665 0 0 0 28187 18 0 0 20 0 19 0 446056532 15858741248 58151 33554432000 4194304 4196468 140725484922704 140725484905248 140333515263735 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
/proc/28867/statm: 3871763 58151 3529 1 0 3832863 0
[pid=28867/tid=28868] ppid=28865 vsize=15487052 memory=1452 CPUtime=0.71 cores=1,3,5,7
/proc/28867/task/28868/stat : 28868 (java) S 28865 28865 23397 0 -1 1077944384 9893 0 0 0 66 5 0 0 20 0 19 0 446056532 15858741248 58151 33554432000 4194304 4196468 140725484922704 140333519504512 140333515273941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28869] ppid=28865 vsize=15487052 memory=3616 CPUtime=0.03 cores=1,3,5,7
/proc/28867/task/28869/stat : 28869 (java) S 28865 28865 23397 0 -1 1077944384 1766 0 0 0 3 0 0 0 20 0 19 0 446056533 15858741248 58151 33554432000 4194304 4196468 140725484922704 140333107112720 140333515273941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28870] ppid=28865 vsize=15487052 memory=47636 CPUtime=0.02 cores=1,3,5,7
/proc/28867/task/28870/stat : 28870 (java) S 28865 28865 23397 0 -1 1077944384 1633 0 0 0 2 0 0 0 20 0 19 0 446056533 15858741248 58151 33554432000 4194304 4196468 140725484922704 140333106060176 140333515273941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28871] ppid=28865 vsize=15487052 memory=988 CPUtime=0.03 cores=1,3,5,7
/proc/28867/task/28871/stat : 28871 (java) S 28865 28865 23397 0 -1 1077944384 3339 0 0 0 3 0 0 0 20 0 19 0 446056533 15858741248 58151 33554432000 4194304 4196468 140725484922704 140333105007632 140333515273941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28872] ppid=28865 vsize=15487052 memory=6791534058613427641 CPUtime=0.03 cores=1,3,5,7
/proc/28867/task/28872/stat : 28872 (java) S 28865 28865 23397 0 -1 1077944384 1442 0 0 0 3 0 0 0 20 0 19 0 446056533 15858741248 58151 33554432000 4194304 4196468 140725484922704 140333103955088 140333515273941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28873] ppid=28865 vsize=15487052 memory=232604 CPUtime=0.02 cores=1,3,5,7
/proc/28867/task/28873/stat : 28873 (java) S 28865 28865 23397 0 -1 1077944384 1637 0 0 0 2 0 0 0 20 0 19 0 446056534 15858741248 58151 33554432000 4194304 4196468 140725484922704 140332983912432 140333515274882 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28874] ppid=28865 vsize=15487052 memory=2004 CPUtime=0 cores=1,3,5,7
/proc/28867/task/28874/stat : 28874 (java) S 28865 28865 23397 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 19 0 446056535 15858741248 58151 33554432000 4194304 4196468 140725484922704 140332982858720 140333515273941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28875] ppid=28865 vsize=15487052 memory=1416 CPUtime=0 cores=1,3,5,7
/proc/28867/task/28875/stat : 28875 (java) S 28865 28865 23397 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 19 0 446056535 15858741248 58151 33554432000 4194304 4196468 140725484922704 140332981806080 140333515273941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28876] ppid=28865 vsize=15487052 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/28867/task/28876/stat : 28876 (java) S 28865 28865 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446056537 15858741248 58151 33554432000 4194304 4196468 140725484922704 140332980754640 140333515282331 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28877] ppid=28865 vsize=15487052 memory=3616 CPUtime=3.97 cores=1,3,5,7
/proc/28867/task/28877/stat : 28877 (java) S 28865 28865 23397 0 -1 1077944384 24588 0 0 0 395 2 0 0 20 0 19 0 446056537 15858741248 58151 33554432000 4194304 4196468 140725484922704 140332979702256 140333515274882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28878] ppid=28865 vsize=15487052 memory=288230574492221466 CPUtime=4.22 cores=1,3,5,7
/proc/28867/task/28878/stat : 28878 (java) S 28865 28865 23397 0 -1 1077944384 22761 0 0 0 420 2 0 0 20 0 19 0 446056537 15858741248 58151 33554432000 4194304 4196468 140725484922704 140332978649712 140333515274882 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28879] ppid=28865 vsize=15487052 memory=304274695476478263 CPUtime=0.77 cores=1,3,5,7
/proc/28867/task/28879/stat : 28879 (java) S 28865 28865 23397 0 -1 1077944384 7651 0 0 0 75 2 0 0 20 0 19 0 446056537 15858741248 58151 33554432000 4194304 4196468 140725484922704 140332977597168 140333515274882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28880] ppid=28865 vsize=15487052 memory=8317482817917895235 CPUtime=0 cores=1,3,5,7
/proc/28867/task/28880/stat : 28880 (java) S 28865 28865 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446056538 15858741248 58151 33554432000 4194304 4196468 140725484922704 140332976544864 140333515273941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28881] ppid=28865 vsize=15487052 memory=6791534058613427641 CPUtime=0.01 cores=1,3,5,7
/proc/28867/task/28881/stat : 28881 (java) S 28865 28865 23397 0 -1 1077944384 947 0 0 0 0 1 0 0 20 0 19 0 446056538 15858741248 58151 33554432000 4194304 4196468 140725484922704 140332975491376 140333515274882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28929] ppid=28865 vsize=15487052 memory=796 CPUtime=38.41 cores=1,3,5,7
/proc/28867/task/28929/stat : 28929 (java) R 28865 28865 23397 0 -1 4202560 454 0 0 0 3841 0 0 0 20 0 19 0 446059795 15858741248 58151 33554432000 4194304 4196468 140725484922704 140332964167176 140333115858581 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28930] ppid=28865 vsize=15487052 memory=111632 CPUtime=38.09 cores=1,3,5,7
/proc/28867/task/28930/stat : 28930 (java) R 28865 28865 23397 0 -1 4202560 1579 0 0 0 3809 0 0 0 20 0 19 0 446059795 15858741248 58151 33554432000 4194304 4196468 140725484922704 140332958914880 140333113359414 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28931] ppid=28865 vsize=15487052 memory=796 CPUtime=38.35 cores=1,3,5,7
/proc/28867/task/28931/stat : 28931 (java) R 28865 28865 23397 0 -1 4202560 386 0 0 0 3835 0 0 0 20 0 19 0 446059795 15858741248 58151 33554432000 4194304 4196468 140725484922704 140332959964944 140333113359191 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28932] ppid=28865 vsize=15487052 memory=4104 CPUtime=38.39 cores=1,3,5,7
/proc/28867/task/28932/stat : 28932 (java) R 28865 28865 23397 0 -1 4202560 828 0 0 0 3839 0 0 0 20 0 19 0 446059795 15858741248 58151 33554432000 4194304 4196468 140725484922704 140332965219752 140333115039132 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
Current children cumulated CPU time: 282.05 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 234056 KiB
[startup+72.0016 s]*
/proc/loadavg: 8.72 8.62 8.32 10/236 28935
/proc/meminfo: memFree=30688272/32770624 swapFree=66977408/67108860
[pid=28865] ppid=28862 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28865/stat : 28865 (xcsp3-exec) S 28862 28865 23397 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446056532 115843072 363 33554432000 4194304 5098028 140723107018400 140723107016504 139709219771004 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 16375808 140723107025786 140723107026029 140723107026029 140723107028938 0
/proc/28865/statm: 28282 363 304 221 0 87 0
[pid=28867] ppid=28865 vsize=15487052 memory=232604 CPUtime=285.28 cores=1,3,5,7
/proc/28867/stat : 28867 (java) S 28865 28865 23397 0 -1 1077944320 86666 0 0 0 28509 19 0 0 20 0 19 0 446056532 15858741248 58151 33554432000 4194304 4196468 140725484922704 140725484905248 140333515263735 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
/proc/28867/statm: 3871763 58151 3529 1 0 3832863 0
[pid=28867/tid=28868] ppid=28865 vsize=15487052 memory=288230574492221466 CPUtime=0.71 cores=1,3,5,7
/proc/28867/task/28868/stat : 28868 (java) S 28865 28865 23397 0 -1 1077944384 9893 0 0 0 66 5 0 0 20 0 19 0 446056532 15858741248 58151 33554432000 4194304 4196468 140725484922704 140333519504512 140333515273941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28869] ppid=28865 vsize=15487052 memory=288230621803970871 CPUtime=0.03 cores=1,3,5,7
/proc/28867/task/28869/stat : 28869 (java) S 28865 28865 23397 0 -1 1077944384 1766 0 0 0 3 0 0 0 20 0 19 0 446056533 15858741248 58151 33554432000 4194304 4196468 140725484922704 140333107112720 140333515273941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28870] ppid=28865 vsize=15487052 memory=16105866206120578 CPUtime=0.02 cores=1,3,5,7
/proc/28867/task/28870/stat : 28870 (java) S 28865 28865 23397 0 -1 1077944384 1633 0 0 0 2 0 0 0 20 0 19 0 446056533 15858741248 58151 33554432000 4194304 4196468 140725484922704 140333106060176 140333515273941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28871] ppid=28865 vsize=15487052 memory=8317482817917895235 CPUtime=0.03 cores=1,3,5,7
/proc/28867/task/28871/stat : 28871 (java) S 28865 28865 23397 0 -1 1077944384 3339 0 0 0 3 0 0 0 20 0 19 0 446056533 15858741248 58151 33554432000 4194304 4196468 140725484922704 140333105007632 140333515273941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28872] ppid=28865 vsize=15487052 memory=8514726395714825349 CPUtime=0.03 cores=1,3,5,7
/proc/28867/task/28872/stat : 28872 (java) S 28865 28865 23397 0 -1 1077944384 1442 0 0 0 3 0 0 0 20 0 19 0 446056533 15858741248 58151 33554432000 4194304 4196468 140725484922704 140333103955088 140333515273941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28873] ppid=28865 vsize=15487052 memory=4715433313220523562 CPUtime=0.02 cores=1,3,5,7
/proc/28867/task/28873/stat : 28873 (java) S 28865 28865 23397 0 -1 1077944384 1637 0 0 0 2 0 0 0 20 0 19 0 446056534 15858741248 58151 33554432000 4194304 4196468 140725484922704 140332983912432 140333515274882 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28874] ppid=28865 vsize=15487052 memory=7822038051842261661 CPUtime=0 cores=1,3,5,7
/proc/28867/task/28874/stat : 28874 (java) S 28865 28865 23397 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 19 0 446056535 15858741248 58151 33554432000 4194304 4196468 140725484922704 140332982858720 140333515273941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28875] ppid=28865 vsize=15487052 memory=-8707038579349950309 CPUtime=0 cores=1,3,5,7
/proc/28867/task/28875/stat : 28875 (java) S 28865 28865 23397 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 19 0 446056535 15858741248 58151 33554432000 4194304 4196468 140725484922704 140332981806080 140333515273941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28876] ppid=28865 vsize=15487052 memory=-8341965534556230502 CPUtime=0 cores=1,3,5,7
/proc/28867/task/28876/stat : 28876 (java) S 28865 28865 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446056537 15858741248 58151 33554432000 4194304 4196468 140725484922704 140332980754640 140333515282331 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28877] ppid=28865 vsize=15487052 memory=-8253362762722141311 CPUtime=3.97 cores=1,3,5,7
/proc/28867/task/28877/stat : 28877 (java) S 28865 28865 23397 0 -1 1077944384 24588 0 0 0 395 2 0 0 20 0 19 0 446056537 15858741248 58151 33554432000 4194304 4196468 140725484922704 140332979702256 140333515274882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28878] ppid=28865 vsize=15487052 memory=1412 CPUtime=4.22 cores=1,3,5,7
/proc/28867/task/28878/stat : 28878 (java) S 28865 28865 23397 0 -1 1077944384 22761 0 0 0 420 2 0 0 20 0 19 0 446056537 15858741248 58151 33554432000 4194304 4196468 140725484922704 140332978649712 140333515274882 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28879] ppid=28865 vsize=15487052 memory=3212 CPUtime=0.77 cores=1,3,5,7
/proc/28867/task/28879/stat : 28879 (java) S 28865 28865 23397 0 -1 1077944384 7651 0 0 0 75 2 0 0 20 0 19 0 446056537 15858741248 58151 33554432000 4194304 4196468 140725484922704 140332977597168 140333515274882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28880] ppid=28865 vsize=15487052 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28867/task/28880/stat : 28880 (java) S 28865 28865 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446056538 15858741248 58151 33554432000 4194304 4196468 140725484922704 140332976544864 140333515273941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28881] ppid=28865 vsize=15487052 memory=232604 CPUtime=0.01 cores=1,3,5,7
/proc/28867/task/28881/stat : 28881 (java) S 28865 28865 23397 0 -1 1077944384 947 0 0 0 0 1 0 0 20 0 19 0 446056538 15858741248 58151 33554432000 4194304 4196468 140725484922704 140332975491376 140333515274882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28929] ppid=28865 vsize=15487052 memory=3848 CPUtime=39.22 cores=1,3,5,7
/proc/28867/task/28929/stat : 28929 (java) R 28865 28865 23397 0 -1 4202560 454 0 0 0 3922 0 0 0 20 0 19 0 446059795 15858741248 58151 33554432000 4194304 4196468 140725484922704 140332964167176 140333115859868 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28930] ppid=28865 vsize=15487052 memory=2596 CPUtime=38.9 cores=1,3,5,7
/proc/28867/task/28930/stat : 28930 (java) R 28865 28865 23397 0 -1 4202560 1580 0 0 0 3890 0 0 0 20 0 19 0 446059795 15858741248 58151 33554432000 4194304 4196468 140725484922704 140332958914880 140333115297539 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28931] ppid=28865 vsize=15487052 memory=2732 CPUtime=39.14 cores=1,3,5,7
/proc/28867/task/28931/stat : 28931 (java) R 28865 28865 23397 0 -1 4202560 386 0 0 0 3914 0 0 0 20 0 19 0 446059795 15858741248 58151 33554432000 4194304 4196468 140725484922704 140332959964944 140333115034459 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28932] ppid=28865 vsize=15487052 memory=1412 CPUtime=39.2 cores=1,3,5,7
/proc/28867/task/28932/stat : 28932 (java) R 28865 28865 23397 0 -1 4202560 828 0 0 0 3920 0 0 0 20 0 19 0 446059795 15858741248 58151 33554432000 4194304 4196468 140725484922704 140332965219752 140333115034774 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
Current children cumulated CPU time: 285.28 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 234056 KiB
[startup+72.2016 s]
/proc/loadavg: 8.72 8.62 8.32 10/236 28935
/proc/meminfo: memFree=30688272/32770624 swapFree=66977408/67108860
[pid=28865] ppid=28862 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28865/stat : 28865 (xcsp3-exec) S 28862 28865 23397 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446056532 115843072 363 33554432000 4194304 5098028 140723107018400 140723107016504 139709219771004 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 16375808 140723107025786 140723107026029 140723107026029 140723107028938 0
/proc/28865/statm: 28282 363 304 221 0 87 0
[pid=28867] ppid=28865 vsize=15487052 memory=232604 CPUtime=286.04 cores=1,3,5,7
/proc/28867/stat : 28867 (java) S 28865 28865 23397 0 -1 1077944320 86666 0 0 0 28585 19 0 0 20 0 19 0 446056532 15858741248 58151 33554432000 4194304 4196468 140725484922704 140725484905248 140333515263735 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
/proc/28867/statm: 3871763 58151 3529 1 0 3832863 0
[pid=28867/tid=28868] ppid=28865 vsize=15487052 memory=299436 CPUtime=0.71 cores=1,3,5,7
/proc/28867/task/28868/stat : 28868 (java) S 28865 28865 23397 0 -1 1077944384 9893 0 0 0 66 5 0 0 20 0 19 0 446056532 15858741248 58151 33554432000 4194304 4196468 140725484922704 140333519504512 140333515273941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28869] ppid=28865 vsize=15487052 memory=1412 CPUtime=0.03 cores=1,3,5,7
/proc/28867/task/28869/stat : 28869 (java) S 28865 28865 23397 0 -1 1077944384 1766 0 0 0 3 0 0 0 20 0 19 0 446056533 15858741248 58151 33554432000 4194304 4196468 140725484922704 140333107112720 140333515273941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28870] ppid=28865 vsize=15487052 memory=3040 CPUtime=0.02 cores=1,3,5,7
/proc/28867/task/28870/stat : 28870 (java) S 28865 28865 23397 0 -1 1077944384 1633 0 0 0 2 0 0 0 20 0 19 0 446056533 15858741248 58151 33554432000 4194304 4196468 140725484922704 140333106060176 140333515273941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28871] ppid=28865 vsize=15487052 memory=288230574492221466 CPUtime=0.03 cores=1,3,5,7
/proc/28867/task/28871/stat : 28871 (java) S 28865 28865 23397 0 -1 1077944384 3339 0 0 0 3 0 0 0 20 0 19 0 446056533 15858741248 58151 33554432000 4194304 4196468 140725484922704 140333105007632 140333515273941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28872] ppid=28865 vsize=15487052 memory=288230621803970871 CPUtime=0.03 cores=1,3,5,7
/proc/28867/task/28872/stat : 28872 (java) S 28865 28865 23397 0 -1 1077944384 1442 0 0 0 3 0 0 0 20 0 19 0 446056533 15858741248 58151 33554432000 4194304 4196468 140725484922704 140333103955088 140333515273941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28873] ppid=28865 vsize=15487052 memory=16105866206120578 CPUtime=0.02 cores=1,3,5,7
/proc/28867/task/28873/stat : 28873 (java) S 28865 28865 23397 0 -1 1077944384 1637 0 0 0 2 0 0 0 20 0 19 0 446056534 15858741248 58151 33554432000 4194304 4196468 140725484922704 140332983912432 140333515274882 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28874] ppid=28865 vsize=15487052 memory=796 CPUtime=0 cores=1,3,5,7
/proc/28867/task/28874/stat : 28874 (java) S 28865 28865 23397 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 19 0 446056535 15858741248 58151 33554432000 4194304 4196468 140725484922704 140332982858720 140333515273941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28875] ppid=28865 vsize=15487052 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/28867/task/28875/stat : 28875 (java) S 28865 28865 23397 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 19 0 446056535 15858741248 58151 33554432000 4194304 4196468 140725484922704 140332981806080 140333515273941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28876] ppid=28865 vsize=15487052 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/28867/task/28876/stat : 28876 (java) S 28865 28865 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446056537 15858741248 58151 33554432000 4194304 4196468 140725484922704 140332980754640 140333515282331 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28877] ppid=28865 vsize=15487052 memory=920 CPUtime=3.97 cores=1,3,5,7
/proc/28867/task/28877/stat : 28877 (java) S 28865 28865 23397 0 -1 1077944384 24588 0 0 0 395 2 0 0 20 0 19 0 446056537 15858741248 58151 33554432000 4194304 4196468 140725484922704 140332979702256 140333515274882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28878] ppid=28865 vsize=15487052 memory=3848 CPUtime=4.22 cores=1,3,5,7
/proc/28867/task/28878/stat : 28878 (java) S 28865 28865 23397 0 -1 1077944384 22761 0 0 0 420 2 0 0 20 0 19 0 446056537 15858741248 58151 33554432000 4194304 4196468 140725484922704 140332978649712 140333515274882 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28879] ppid=28865 vsize=15487052 memory=2596 CPUtime=0.77 cores=1,3,5,7
/proc/28867/task/28879/stat : 28879 (java) S 28865 28865 23397 0 -1 1077944384 7651 0 0 0 75 2 0 0 20 0 19 0 446056537 15858741248 58151 33554432000 4194304 4196468 140725484922704 140332977597168 140333515274882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28880] ppid=28865 vsize=15487052 memory=2732 CPUtime=0 cores=1,3,5,7
/proc/28867/task/28880/stat : 28880 (java) S 28865 28865 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446056538 15858741248 58151 33554432000 4194304 4196468 140725484922704 140332976544864 140333515273941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28881] ppid=28865 vsize=15487052 memory=1412 CPUtime=0.01 cores=1,3,5,7
/proc/28867/task/28881/stat : 28881 (java) S 28865 28865 23397 0 -1 1077944384 947 0 0 0 0 1 0 0 20 0 19 0 446056538 15858741248 58151 33554432000 4194304 4196468 140725484922704 140332975491376 140333515274882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28929] ppid=28865 vsize=15487052 memory=3212 CPUtime=39.41 cores=1,3,5,7
/proc/28867/task/28929/stat : 28929 (java) R 28865 28865 23397 0 -1 4202560 454 0 0 0 3941 0 0 0 20 0 19 0 446059795 15858741248 58151 33554432000 4194304 4196468 140725484922704 140332964167176 140333115298987 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28930] ppid=28865 vsize=15487052 memory=1448 CPUtime=39.09 cores=1,3,5,7
/proc/28867/task/28930/stat : 28930 (java) R 28865 28865 23397 0 -1 4202560 1580 0 0 0 3909 0 0 0 20 0 19 0 446059795 15858741248 58151 33554432000 4194304 4196468 140725484922704 140332958914880 140333113762189 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28931] ppid=28865 vsize=15487052 memory=299312 CPUtime=39.33 cores=1,3,5,7
/proc/28867/task/28931/stat : 28931 (java) R 28865 28865 23397 0 -1 4202560 386 0 0 0 3933 0 0 0 20 0 19 0 446059795 15858741248 58151 33554432000 4194304 4196468 140725484922704 140332959964944 140333114862160 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
[pid=28867/tid=28932] ppid=28865 vsize=15487052 memory=1412 CPUtime=39.39 cores=1,3,5,7
/proc/28867/task/28932/stat : 28932 (java) R 28865 28865 23397 0 -1 4202560 828 0 0 0 3939 0 0 0 20 0 19 0 446059795 15858741248 58151 33554432000 4194304 4196468 140725484922704 140332965219752 140333115449064 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34979840 140725484930031 140725484930202 140725484930202 140725484933071 0
Current children cumulated CPU time: 286.04 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 234056 KiB
Child status: 0
Real time (s): 72.214
CPU time (s): 286.069
CPU user time (s): 285.871
CPU system time (s): 0.197682
CPU usage (%): 396.141
Max. virtual memory (cumulated for all children) (KiB): 15603724
Max. memory (cumulated for all children) (KiB): 238836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 285.871
system time used= 0.197682
maximum resident set size= 238252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88368
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5071
involuntary context switches= 4933
# summary of solver processes directly reported to runsolver:
# pid: 28865
# total CPU time (s): 286.069
# total CPU user time (s): 285.871
# total CPU system time (s): 0.197682
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.46723 second user time and 0.798081 second system time
The end