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 (12476 MiB free)
memory of node 1: 16384 MiB (14943 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272559-1502802932/watcher-4272559-1502802932 -o /tmp/evaluation-result-4272559-1502802932/solver-4272559-1502802932 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1502789706-445 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1699070508 HOME/instance-4272559-1502802932.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=1880, runsolver pid=1877
Current StackSize limit: 8192 KiB
[startup+0.100135 s]*
/proc/loadavg: 1.91 1.85 1.80 3/219 1896
/proc/meminfo: memFree=28061376/32770624 swapFree=67108860/67108860
[pid=1880] ppid=1877 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/1880/stat : 1880 (xcsp3-exec) S 1877 1880 410 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113381087 9740288 346 33554432000 4194304 5098028 140735520211488 140735520209592 139880225534588 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 12062720 140735520216174 140735520216379 140735520216379 140735520219115 0
/proc/1880/statm: 2378 346 289 221 0 87 0
[pid=1882] ppid=1880 vsize=13978596 memory=27988 CPUtime=0.12 cores=1,3,5,7
/proc/1882/stat : 1882 (java) S 1880 1880 410 0 -1 1077944320 5365 0 0 0 11 1 0 0 20 0 15 0 113381088 14314082304 6997 33554432000 4194304 4196468 140727359116464 140727359099008 139966378634999 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
/proc/1882/statm: 3494649 6997 2871 1 0 3482966 0
[pid=1882/tid=1883] ppid=1880 vsize=13978596 memory=7022364632946311227 CPUtime=0.09 cores=1,3,5,7
/proc/1882/task/1883/stat : 1883 (java) R 1880 1880 410 0 -1 4202560 3356 0 0 0 9 0 0 0 20 0 15 0 113381088 14314082304 7063 33554432000 4194304 4196468 140727359116464 139966382868272 139966356637840 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1884] ppid=1880 vsize=13978596 memory=4294976240 CPUtime=0 cores=1,3,5,7
/proc/1882/task/1884/stat : 1884 (java) S 1880 1880 410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113381089 14314082304 7063 33554432000 4194304 4196468 140727359116464 139966341741456 139966378645205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1885] ppid=1880 vsize=13978596 memory=139958293750408 CPUtime=0 cores=1,3,5,7
/proc/1882/task/1885/stat : 1885 (java) S 1880 1880 410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113381089 14314082304 7063 33554432000 4194304 4196468 140727359116464 139965973588752 139966378645205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1886] ppid=1880 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1882/task/1886/stat : 1886 (java) S 1880 1880 410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113381089 14314082304 7063 33554432000 4194304 4196468 140727359116464 139965972536464 139966378645205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1887] ppid=1880 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1882/task/1887/stat : 1887 (java) S 1880 1880 410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113381089 14314082304 7063 33554432000 4194304 4196468 140727359116464 139965971483664 139966378645205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1888] ppid=1880 vsize=13978596 memory=139958293616256 CPUtime=0 cores=1,3,5,7
/proc/1882/task/1888/stat : 1888 (java) S 1880 1880 410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113381090 14314082304 7063 33554432000 4194304 4196468 140727359116464 139965290993776 139966378646146 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1889] ppid=1880 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1882/task/1889/stat : 1889 (java) S 1880 1880 410 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113381091 14314082304 7063 33554432000 4194304 4196468 140727359116464 139965289939744 139966378645205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1890] ppid=1880 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1882/task/1890/stat : 1890 (java) S 1880 1880 410 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113381091 14314082304 7063 33554432000 4194304 4196468 140727359116464 139965288887408 139966378645205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1891] ppid=1880 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1882/task/1891/stat : 1891 (java) S 1880 1880 410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113381093 14314082304 7063 33554432000 4194304 4196468 140727359116464 139965287835728 139966378653595 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1892] ppid=1880 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1882/task/1892/stat : 1892 (java) S 1880 1880 410 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 113381093 14314082304 7063 33554432000 4194304 4196468 140727359116464 139965286783600 139966378646146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1893] ppid=1880 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1882/task/1893/stat : 1893 (java) S 1880 1880 410 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 113381093 14314082304 7063 33554432000 4194304 4196468 140727359116464 139965285730800 139966378646146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1894] ppid=1880 vsize=13978596 memory=139958293616256 CPUtime=0.01 cores=1,3,5,7
/proc/1882/task/1894/stat : 1894 (java) R 1880 1880 410 0 -1 4202560 343 0 0 0 1 0 0 0 20 0 15 0 113381093 14314082304 7063 33554432000 4194304 4196468 140727359116464 139965284678512 139966357335200 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1895] ppid=1880 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1882/task/1895/stat : 1895 (java) S 1880 1880 410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113381093 14314082304 7063 33554432000 4194304 4196468 140727359116464 139965283625952 139966378645205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1896] ppid=1880 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1882/task/1896/stat : 1896 (java) S 1880 1880 410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113381094 14314082304 7063 33554432000 4194304 4196468 140727359116464 139965282572720 139966378646146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29372 KiB
[startup+0.210891 s]*
/proc/loadavg: 1.91 1.85 1.80 4/219 1896
/proc/meminfo: memFree=28049344/32770624 swapFree=67108860/67108860
[pid=1880] ppid=1877 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/1880/stat : 1880 (xcsp3-exec) S 1877 1880 410 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113381087 9740288 346 33554432000 4194304 5098028 140735520211488 140735520209592 139880225534588 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 12062720 140735520216174 140735520216379 140735520216379 140735520219115 0
/proc/1880/statm: 2378 346 289 221 0 87 0
[pid=1882] ppid=1880 vsize=13982884 memory=40740 CPUtime=0.34 cores=1,3,5,7
/proc/1882/stat : 1882 (java) S 1880 1880 410 0 -1 1077944320 8319 0 0 0 32 2 0 0 20 0 15 0 113381088 14318473216 10185 33554432000 4194304 4196468 140727359116464 140727359099008 139966378634999 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
/proc/1882/statm: 3495721 10185 3051 1 0 3482974 0
[pid=1882/tid=1883] ppid=1880 vsize=13982852 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/1882/task/1883/stat : 1883 (java) R 1880 1880 410 0 -1 4202560 5410 0 0 0 18 1 0 0 20 0 15 0 113381088 14318440448 10185 33554432000 4194304 4196468 140727359116464 139966382844720 139966378656925 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1884] ppid=1880 vsize=13982852 memory=4294976240 CPUtime=0 cores=1,3,5,7
/proc/1882/task/1884/stat : 1884 (java) S 1880 1880 410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113381089 14318440448 10185 33554432000 4194304 4196468 140727359116464 139966341741456 139966378645205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1885] ppid=1880 vsize=13982852 memory=139958293750408 CPUtime=0 cores=1,3,5,7
/proc/1882/task/1885/stat : 1885 (java) S 1880 1880 410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113381089 14318440448 10185 33554432000 4194304 4196468 140727359116464 139965973588752 139966378645205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1886] ppid=1880 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1882/task/1886/stat : 1886 (java) S 1880 1880 410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113381089 14318440448 10185 33554432000 4194304 4196468 140727359116464 139965972536464 139966378645205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1887] ppid=1880 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1882/task/1887/stat : 1887 (java) S 1880 1880 410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113381089 14318440448 10185 33554432000 4194304 4196468 140727359116464 139965971483664 139966378645205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1888] ppid=1880 vsize=13982852 memory=139958293616256 CPUtime=0 cores=1,3,5,7
/proc/1882/task/1888/stat : 1888 (java) S 1880 1880 410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113381090 14318440448 10185 33554432000 4194304 4196468 140727359116464 139965290993776 139966378646146 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1889] ppid=1880 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1882/task/1889/stat : 1889 (java) S 1880 1880 410 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113381091 14318440448 10185 33554432000 4194304 4196468 140727359116464 139965289939744 139966378645205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1890] ppid=1880 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1882/task/1890/stat : 1890 (java) S 1880 1880 410 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113381091 14318440448 10185 33554432000 4194304 4196468 140727359116464 139965288887408 139966378645205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1891] ppid=1880 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1882/task/1891/stat : 1891 (java) S 1880 1880 410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113381093 14318440448 10185 33554432000 4194304 4196468 140727359116464 139965287835728 139966378653595 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1892] ppid=1880 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/1882/task/1892/stat : 1892 (java) S 1880 1880 410 0 -1 1077944384 402 0 0 0 2 0 0 0 20 0 15 0 113381093 14318440448 10185 33554432000 4194304 4196468 140727359116464 139965286783600 139966378646146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1893] ppid=1880 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/1882/task/1893/stat : 1893 (java) S 1880 1880 410 0 -1 1077944384 452 0 0 0 2 0 0 0 20 0 15 0 113381093 14318440448 10185 33554432000 4194304 4196468 140727359116464 139965285730800 139966378646146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1894] ppid=1880 vsize=13982852 memory=139958293616256 CPUtime=0.08 cores=1,3,5,7
/proc/1882/task/1894/stat : 1894 (java) R 1880 1880 410 0 -1 4202560 764 0 0 0 8 0 0 0 20 0 15 0 113381093 14318440448 10185 33554432000 4194304 4196468 140727359116464 139965284678512 139966370872126 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1895] ppid=1880 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1882/task/1895/stat : 1895 (java) S 1880 1880 410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113381093 14318440448 10185 33554432000 4194304 4196468 140727359116464 139965283625952 139966378645205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1896] ppid=1880 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1882/task/1896/stat : 1896 (java) S 1880 1880 410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113381094 14318440448 10185 33554432000 4194304 4196468 140727359116464 139965282572720 139966378646146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992396 KiB
Current children cumulated memory: 42124 KiB
[startup+0.311104 s]*
/proc/loadavg: 1.91 1.85 1.80 4/219 1896
/proc/meminfo: memFree=28042436/32770624 swapFree=67108860/67108860
[pid=1880] ppid=1877 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/1880/stat : 1880 (xcsp3-exec) S 1877 1880 410 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113381087 9740288 346 33554432000 4194304 5098028 140735520211488 140735520209592 139880225534588 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 12062720 140735520216174 140735520216379 140735520216379 140735520219115 0
/proc/1880/statm: 2378 346 289 221 0 87 0
[pid=1882] ppid=1880 vsize=13982852 memory=47316 CPUtime=0.51 cores=1,3,5,7
/proc/1882/stat : 1882 (java) S 1880 1880 410 0 -1 1077944320 9031 0 0 0 49 2 0 0 20 0 15 0 113381088 14318440448 11829 33554432000 4194304 4196468 140727359116464 140727359099008 139966378634999 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
/proc/1882/statm: 3495713 11829 3113 1 0 3482966 0
[pid=1882/tid=1883] ppid=1880 vsize=13982852 memory=1399051139730258233 CPUtime=0.3 cores=1,3,5,7
/proc/1882/task/1883/stat : 1883 (java) R 1880 1880 410 0 -1 4202560 5960 0 0 0 28 2 0 0 20 0 15 0 113381088 14318440448 11829 33554432000 4194304 4196468 140727359116464 139966382865488 139966364003210 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1884] ppid=1880 vsize=13982852 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/1882/task/1884/stat : 1884 (java) S 1880 1880 410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113381089 14318440448 11829 33554432000 4194304 4196468 140727359116464 139966341741456 139966378645205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1885] ppid=1880 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1882/task/1885/stat : 1885 (java) S 1880 1880 410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113381089 14318440448 11829 33554432000 4194304 4196468 140727359116464 139965973588752 139966378645205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1886] ppid=1880 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1882/task/1886/stat : 1886 (java) S 1880 1880 410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113381089 14318440448 11829 33554432000 4194304 4196468 140727359116464 139965972536464 139966378645205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1887] ppid=1880 vsize=13982852 memory=-6452064069391756930 CPUtime=0 cores=1,3,5,7
/proc/1882/task/1887/stat : 1887 (java) S 1880 1880 410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113381089 14318440448 11829 33554432000 4194304 4196468 140727359116464 139965971483664 139966378645205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1888] ppid=1880 vsize=13982852 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/1882/task/1888/stat : 1888 (java) S 1880 1880 410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113381090 14318440448 11829 33554432000 4194304 4196468 140727359116464 139965290993776 139966378646146 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1889] ppid=1880 vsize=13982852 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/1882/task/1889/stat : 1889 (java) S 1880 1880 410 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113381091 14318440448 11829 33554432000 4194304 4196468 140727359116464 139965289939744 139966378645205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1890] ppid=1880 vsize=13982852 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/1882/task/1890/stat : 1890 (java) S 1880 1880 410 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113381091 14318440448 11829 33554432000 4194304 4196468 140727359116464 139965288887408 139966378645205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1891] ppid=1880 vsize=13982852 memory=-7812736537705029536 CPUtime=0 cores=1,3,5,7
/proc/1882/task/1891/stat : 1891 (java) S 1880 1880 410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113381093 14318440448 11829 33554432000 4194304 4196468 140727359116464 139965287835728 139966378653595 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1892] ppid=1880 vsize=13982852 memory=-7604995849183860074 CPUtime=0.03 cores=1,3,5,7
/proc/1882/task/1892/stat : 1892 (java) R 1880 1880 410 0 -1 1077944384 411 0 0 0 3 0 0 0 20 0 15 0 113381093 14318440448 11829 33554432000 4194304 4196468 140727359116464 139965286783696 139966378645205 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1893] ppid=1880 vsize=13982852 memory=7681905605394137875 CPUtime=0.04 cores=1,3,5,7
/proc/1882/task/1893/stat : 1893 (java) R 1880 1880 410 0 -1 4202560 505 0 0 0 4 0 0 0 20 0 15 0 113381093 14318440448 11829 33554432000 4194304 4196468 140727359116464 139965285711816 139966360153355 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1894] ppid=1880 vsize=13982852 memory=7893295687695687954 CPUtime=0.13 cores=1,3,5,7
/proc/1882/task/1894/stat : 1894 (java) R 1880 1880 410 0 -1 4202560 855 0 0 0 13 0 0 0 20 0 15 0 113381093 14318440448 11829 33554432000 4194304 4196468 140727359116464 139965284678512 139966362715486 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1895] ppid=1880 vsize=13982852 memory=5450909908396308010 CPUtime=0 cores=1,3,5,7
/proc/1882/task/1895/stat : 1895 (java) S 1880 1880 410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113381093 14318440448 11829 33554432000 4194304 4196468 140727359116464 139965283625952 139966378645205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1896] ppid=1880 vsize=13982852 memory=5450889958524880682 CPUtime=0 cores=1,3,5,7
/proc/1882/task/1896/stat : 1896 (java) S 1880 1880 410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113381094 14318440448 11829 33554432000 4194304 4196468 140727359116464 139965282572720 139966378646146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48700 KiB
[startup+0.70279 s]
/proc/loadavg: 1.91 1.85 1.80 3/219 1896
/proc/meminfo: memFree=28028992/32770624 swapFree=67108860/67108860
[pid=1880] ppid=1877 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/1880/stat : 1880 (xcsp3-exec) S 1877 1880 410 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113381087 9740288 346 33554432000 4194304 5098028 140735520211488 140735520209592 139880225534588 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 12062720 140735520216174 140735520216379 140735520216379 140735520219115 0
/proc/1880/statm: 2378 346 289 221 0 87 0
[pid=1882] ppid=1880 vsize=13984976 memory=82252 CPUtime=1.55 cores=1,3,5,7
/proc/1882/stat : 1882 (java) S 1880 1880 410 0 -1 1077944320 11236 0 0 0 151 4 0 0 20 0 15 0 113381088 14320615424 20563 33554432000 4194304 4196468 140727359116464 140727359099008 139966378634999 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
/proc/1882/statm: 3496244 20563 3195 1 0 3483478 0
[pid=1882/tid=1883] ppid=1880 vsize=13984976 memory=5795153719298590087 CPUtime=0.67 cores=1,3,5,7
/proc/1882/task/1883/stat : 1883 (java) R 1880 1880 410 0 -1 4202560 6606 0 0 0 64 3 0 0 20 0 15 0 113381088 14320615424 20563 33554432000 4194304 4196468 140727359116464 139966382872160 139966362715486 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1884] ppid=1880 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1882/task/1884/stat : 1884 (java) S 1880 1880 410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113381089 14320615424 20563 33554432000 4194304 4196468 140727359116464 139966341741456 139966378645205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1885] ppid=1880 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1882/task/1885/stat : 1885 (java) S 1880 1880 410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113381089 14320615424 20563 33554432000 4194304 4196468 140727359116464 139965973588752 139966378645205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1886] ppid=1880 vsize=13984976 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/1882/task/1886/stat : 1886 (java) S 1880 1880 410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113381089 14320615424 20563 33554432000 4194304 4196468 140727359116464 139965972536464 139966378645205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1887] ppid=1880 vsize=13984976 memory=796 CPUtime=0 cores=1,3,5,7
/proc/1882/task/1887/stat : 1887 (java) S 1880 1880 410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113381089 14320615424 20563 33554432000 4194304 4196468 140727359116464 139965971483664 139966378645205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1888] ppid=1880 vsize=13984976 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/1882/task/1888/stat : 1888 (java) S 1880 1880 410 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 113381090 14320615424 20563 33554432000 4194304 4196468 140727359116464 139965290993776 139966378646146 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1889] ppid=1880 vsize=13984976 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/1882/task/1889/stat : 1889 (java) S 1880 1880 410 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113381091 14320615424 20563 33554432000 4194304 4196468 140727359116464 139965289939744 139966378645205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1890] ppid=1880 vsize=13984976 memory=8568 CPUtime=0 cores=1,3,5,7
/proc/1882/task/1890/stat : 1890 (java) S 1880 1880 410 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113381091 14320615424 20563 33554432000 4194304 4196468 140727359116464 139965288887408 139966378645205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1891] ppid=1880 vsize=13984976 memory=5516 CPUtime=0 cores=1,3,5,7
/proc/1882/task/1891/stat : 1891 (java) S 1880 1880 410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113381093 14320615424 20563 33554432000 4194304 4196468 140727359116464 139965287835728 139966378653595 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1892] ppid=1880 vsize=13984976 memory=4616 CPUtime=0.24 cores=1,3,5,7
/proc/1882/task/1892/stat : 1892 (java) R 1880 1880 410 0 -1 4202560 935 0 0 0 24 0 0 0 20 0 15 0 113381093 14320615424 20563 33554432000 4194304 4196468 140727359116464 139965286764616 139966359824577 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1893] ppid=1880 vsize=13984976 memory=1008 CPUtime=0.25 cores=1,3,5,7
/proc/1882/task/1893/stat : 1893 (java) R 1880 1880 410 0 -1 4202560 839 0 0 0 25 0 0 0 20 0 15 0 113381093 14320615424 20563 33554432000 4194304 4196468 140727359116464 139965285717616 139966362019972 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1894] ppid=1880 vsize=13984976 memory=11008 CPUtime=0.37 cores=1,3,5,7
/proc/1882/task/1894/stat : 1894 (java) S 1880 1880 410 0 -1 1077944384 1548 0 0 0 37 0 0 0 20 0 15 0 113381093 14320615424 20563 33554432000 4194304 4196468 140727359116464 139965284678512 139966378646146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1895] ppid=1880 vsize=13984976 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/1882/task/1895/stat : 1895 (java) S 1880 1880 410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113381093 14320615424 20563 33554432000 4194304 4196468 140727359116464 139965283625952 139966378645205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1896] ppid=1880 vsize=13984976 memory=1420 CPUtime=0 cores=1,3,5,7
/proc/1882/task/1896/stat : 1896 (java) S 1880 1880 410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113381094 14320615424 20563 33554432000 4194304 4196468 140727359116464 139965282572720 139966378646146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
Current children cumulated CPU time: 1.55 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 83636 KiB
[startup+1.50251 s]
/proc/loadavg: 1.99 1.87 1.81 5/219 1896
/proc/meminfo: memFree=27977444/32770624 swapFree=67108860/67108860
[pid=1880] ppid=1877 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/1880/stat : 1880 (xcsp3-exec) S 1877 1880 410 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113381087 9740288 346 33554432000 4194304 5098028 140735520211488 140735520209592 139880225534588 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 12062720 140735520216174 140735520216379 140735520216379 140735520219115 0
/proc/1880/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/1882/task/1890/stat : 1890 (java) S 1880 1880 410 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 113381091 14320615424 321866 33554432000 4194304 4196468 140727359116464 139965288887424 139966378645205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1891] ppid=1880 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/1882/task/1891/stat : 1891 (java) S 1880 1880 410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113381093 14320615424 321866 33554432000 4194304 4196468 140727359116464 139965287835728 139966378653595 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1892] ppid=1880 vsize=13984976 memory=1287464 CPUtime=5.04 cores=1,3,5,7
/proc/1882/task/1892/stat : 1892 (java) S 1880 1880 410 0 -1 1077944384 23158 0 0 0 501 3 0 0 20 0 15 0 113381093 14320615424 321866 33554432000 4194304 4196468 140727359116464 139965286783600 139966378646146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1893] ppid=1880 vsize=13984976 memory=1384 CPUtime=4.41 cores=1,3,5,7
/proc/1882/task/1893/stat : 1893 (java) S 1880 1880 410 0 -1 1077944384 17187 0 0 0 439 2 0 0 20 0 15 0 113381093 14320615424 321866 33554432000 4194304 4196468 140727359116464 139965285730800 139966378646146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1894] ppid=1880 vsize=13984976 memory=1309008 CPUtime=0.91 cores=1,3,5,7
/proc/1882/task/1894/stat : 1894 (java) S 1880 1880 410 0 -1 1077944384 8975 0 0 0 90 1 0 0 20 0 15 0 113381093 14320615424 321866 33554432000 4194304 4196468 140727359116464 139965284678512 139966378646146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1895] ppid=1880 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/1882/task/1895/stat : 1895 (java) S 1880 1880 410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113381093 14320615424 321866 33554432000 4194304 4196468 140727359116464 139965283625952 139966378645205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1896] ppid=1880 vsize=13984976 memory=1384 CPUtime=1.05 cores=1,3,5,7
/proc/1882/task/1896/stat : 1896 (java) S 1880 1880 410 0 -1 1077944384 1136 0 0 0 52 53 0 0 20 0 15 0 113381094 14320615424 321866 33554432000 4194304 4196468 140727359116464 139965282572720 139966378646146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
Current children cumulated CPU time: 2380.3 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 1288848 KiB
[startup+2382.3 s]
/proc/loadavg: 1.62 1.72 1.67 3/217 1971
/proc/meminfo: memFree=26688332/32770624 swapFree=67108860/67108860
[pid=1880] ppid=1877 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/1880/stat : 1880 (xcsp3-exec) S 1877 1880 410 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113381087 9740288 346 33554432000 4194304 5098028 140735520211488 140735520209592 139880225534588 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 12062720 140735520216174 140735520216379 140735520216379 140735520219115 0
/proc/1880/statm: 2378 346 289 221 0 87 0
[pid=1882] ppid=1880 vsize=13984976 memory=1170692 CPUtime=2441.79 cores=1,3,5,7
/proc/1882/stat : 1882 (java) S 1880 1880 410 0 -1 1077944320 311948 0 0 0 243460 719 0 0 20 0 15 0 113381088 14320615424 292673 33554432000 4194304 4196468 140727359116464 140727359099008 139966378634999 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
/proc/1882/statm: 3496244 292673 3279 1 0 3483478 0
[pid=1882/tid=1883] ppid=1880 vsize=13984976 memory=1183516 CPUtime=2365.07 cores=1,3,5,7
/proc/1882/task/1883/stat : 1883 (java) R 1880 1880 410 0 -1 4202560 124994 0 0 0 236450 57 0 0 20 0 15 0 113381088 14320615424 292673 33554432000 4194304 4196468 140727359116464 139966382874480 139966023027048 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1884] ppid=1880 vsize=13984976 memory=1191212 CPUtime=16.06 cores=1,3,5,7
/proc/1882/task/1884/stat : 1884 (java) S 1880 1880 410 0 -1 1077944384 21027 0 0 0 1455 151 0 0 20 0 15 0 113381089 14320615424 292673 33554432000 4194304 4196468 140727359116464 139966341741456 139966378645205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1885] ppid=1880 vsize=13984976 memory=1172232 CPUtime=16.1 cores=1,3,5,7
/proc/1882/task/1885/stat : 1885 (java) S 1880 1880 410 0 -1 1077944384 20533 0 0 0 1460 150 0 0 20 0 15 0 113381089 14320615424 292673 33554432000 4194304 4196468 140727359116464 139965973588752 139966378645205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1886] ppid=1880 vsize=13984976 memory=1170692 CPUtime=16.06 cores=1,3,5,7
/proc/1882/task/1886/stat : 1886 (java) S 1880 1880 410 0 -1 1077944384 26011 0 0 0 1457 149 0 0 20 0 15 0 113381089 14320615424 292673 33554432000 4194304 4196468 140727359116464 139965972536464 139966378645205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1887] ppid=1880 vsize=13984976 memory=1384 CPUtime=16.05 cores=1,3,5,7
/proc/1882/task/1887/stat : 1887 (java) S 1880 1880 410 0 -1 1077944384 20876 0 0 0 1456 149 0 0 20 0 15 0 113381089 14320615424 292673 33554432000 4194304 4196468 140727359116464 139965971483664 139966378645205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1888] ppid=1880 vsize=13984976 memory=1266944 CPUtime=0.92 cores=1,3,5,7
/proc/1882/task/1888/stat : 1888 (java) S 1880 1880 410 0 -1 1077944384 46328 0 0 0 78 14 0 0 20 0 15 0 113381090 14320615424 292673 33554432000 4194304 4196468 140727359116464 139965290993776 139966378646146 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1889] ppid=1880 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/1882/task/1889/stat : 1889 (java) S 1880 1880 410 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 113381091 14320615424 292673 33554432000 4194304 4196468 140727359116464 139965289939808 139966378645205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1890] ppid=1880 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/1882/task/1890/stat : 1890 (java) S 1880 1880 410 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 113381091 14320615424 292673 33554432000 4194304 4196468 140727359116464 139965288887424 139966378645205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1891] ppid=1880 vsize=13984976 memory=1183516 CPUtime=0 cores=1,3,5,7
/proc/1882/task/1891/stat : 1891 (java) S 1880 1880 410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113381093 14320615424 292673 33554432000 4194304 4196468 140727359116464 139965287835728 139966378653595 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1892] ppid=1880 vsize=13984976 memory=1191212 CPUtime=5.04 cores=1,3,5,7
/proc/1882/task/1892/stat : 1892 (java) S 1880 1880 410 0 -1 1077944384 23160 0 0 0 501 3 0 0 20 0 15 0 113381093 14320615424 292673 33554432000 4194304 4196468 140727359116464 139965286783600 139966378646146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1893] ppid=1880 vsize=13984976 memory=1170692 CPUtime=4.41 cores=1,3,5,7
/proc/1882/task/1893/stat : 1893 (java) S 1880 1880 410 0 -1 1077944384 17189 0 0 0 439 2 0 0 20 0 15 0 113381093 14320615424 292673 33554432000 4194304 4196468 140727359116464 139965285730800 139966378646146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1894] ppid=1880 vsize=13984976 memory=4140 CPUtime=0.91 cores=1,3,5,7
/proc/1882/task/1894/stat : 1894 (java) S 1880 1880 410 0 -1 1077944384 9295 0 0 0 90 1 0 0 20 0 15 0 113381093 14320615424 292673 33554432000 4194304 4196468 140727359116464 139965284678512 139966378646146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1895] ppid=1880 vsize=13984976 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/1882/task/1895/stat : 1895 (java) S 1880 1880 410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113381093 14320615424 292673 33554432000 4194304 4196468 140727359116464 139965283625952 139966378645205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1896] ppid=1880 vsize=13984976 memory=4128 CPUtime=1.08 cores=1,3,5,7
/proc/1882/task/1896/stat : 1896 (java) S 1880 1880 410 0 -1 1077944384 1162 0 0 0 53 55 0 0 20 0 15 0 113381094 14320615424 292673 33554432000 4194304 4196468 140727359116464 139965282572720 139966378646146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
Current children cumulated CPU time: 2441.79 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 1172076 KiB
[startup+2442.3 s]
/proc/loadavg: 1.71 1.72 1.67 6/217 2125
/proc/meminfo: memFree=15591680/32770624 swapFree=67108860/67108860
[pid=1880] ppid=1877 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/1880/stat : 1880 (xcsp3-exec) S 1877 1880 410 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113381087 9740288 346 33554432000 4194304 5098028 140735520211488 140735520209592 139880225534588 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 12062720 140735520216174 140735520216379 140735520216379 140735520219115 0
/proc/1880/statm: 2378 346 289 221 0 87 0
[pid=1882] ppid=1880 vsize=13984976 memory=1133740 CPUtime=2503.49 cores=1,3,5,7
/proc/1882/stat : 1882 (java) S 1880 1880 410 0 -1 1077944320 317118 0 0 0 249619 730 0 0 20 0 15 0 113381088 14320615424 283435 33554432000 4194304 4196468 140727359116464 140727359099008 139966378634999 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
/proc/1882/statm: 3496244 283435 3279 1 0 3483478 0
[pid=1882/tid=1883] ppid=1880 vsize=13984976 memory=1384 CPUtime=2424.45 cores=1,3,5,7
/proc/1882/task/1883/stat : 1883 (java) R 1880 1880 410 0 -1 4202560 127230 0 0 0 242385 60 0 0 20 0 15 0 113381088 14320615424 283435 33554432000 4194304 4196468 140727359116464 139966382873840 139966020590726 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1884] ppid=1880 vsize=13984976 memory=1129644 CPUtime=16.63 cores=1,3,5,7
/proc/1882/task/1884/stat : 1884 (java) S 1880 1880 410 0 -1 1077944384 21570 0 0 0 1511 152 0 0 20 0 15 0 113381089 14320615424 283435 33554432000 4194304 4196468 140727359116464 139966341741456 139966378645205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1885] ppid=1880 vsize=13984976 memory=1102968 CPUtime=16.67 cores=1,3,5,7
/proc/1882/task/1885/stat : 1885 (java) S 1880 1880 410 0 -1 1077944384 21132 0 0 0 1515 152 0 0 20 0 15 0 113381089 14320615424 283435 33554432000 4194304 4196468 140727359116464 139965973588752 139966378645205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1886] ppid=1880 vsize=13984976 memory=1102968 CPUtime=16.63 cores=1,3,5,7
/proc/1882/task/1886/stat : 1886 (java) S 1880 1880 410 0 -1 1077944384 26343 0 0 0 1512 151 0 0 20 0 15 0 113381089 14320615424 283435 33554432000 4194304 4196468 140727359116464 139965972536464 139966378645205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1887] ppid=1880 vsize=13984976 memory=1384 CPUtime=16.62 cores=1,3,5,7
/proc/1882/task/1887/stat : 1887 (java) S 1880 1880 410 0 -1 1077944384 21608 0 0 0 1511 151 0 0 20 0 15 0 113381089 14320615424 283435 33554432000 4194304 4196468 140727359116464 139965971483664 139966378645205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1888] ppid=1880 vsize=13984976 memory=1129644 CPUtime=0.96 cores=1,3,5,7
/proc/1882/task/1888/stat : 1888 (java) S 1880 1880 410 0 -1 1077944384 47030 0 0 0 81 15 0 0 20 0 15 0 113381090 14320615424 283435 33554432000 4194304 4196468 140727359116464 139965290993776 139966378646146 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1889] ppid=1880 vsize=13984976 memory=1266944 CPUtime=0 cores=1,3,5,7
/proc/1882/task/1889/stat : 1889 (java) S 1880 1880 410 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 113381091 14320615424 283435 33554432000 4194304 4196468 140727359116464 139965289939808 139966378645205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1890] ppid=1880 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1882/task/1890/stat : 1890 (java) S 1880 1880 410 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 113381091 14320615424 283435 33554432000 4194304 4196468 140727359116464 139965288887424 139966378645205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1891] ppid=1880 vsize=13984976 memory=1129644 CPUtime=0 cores=1,3,5,7
/proc/1882/task/1891/stat : 1891 (java) S 1880 1880 410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113381093 14320615424 283435 33554432000 4194304 4196468 140727359116464 139965287835728 139966378653595 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1892] ppid=1880 vsize=13984976 memory=1384 CPUtime=5.04 cores=1,3,5,7
/proc/1882/task/1892/stat : 1892 (java) S 1880 1880 410 0 -1 1077944384 23162 0 0 0 501 3 0 0 20 0 15 0 113381093 14320615424 283435 33554432000 4194304 4196468 140727359116464 139965286783600 139966378646146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1893] ppid=1880 vsize=13984976 memory=1384 CPUtime=4.41 cores=1,3,5,7
/proc/1882/task/1893/stat : 1893 (java) S 1880 1880 410 0 -1 1077944384 17192 0 0 0 439 2 0 0 20 0 15 0 113381093 14320615424 283435 33554432000 4194304 4196468 140727359116464 139965285730800 139966378646146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1894] ppid=1880 vsize=13984976 memory=1384 CPUtime=0.91 cores=1,3,5,7
/proc/1882/task/1894/stat : 1894 (java) S 1880 1880 410 0 -1 1077944384 9297 0 0 0 90 1 0 0 20 0 15 0 113381093 14320615424 283435 33554432000 4194304 4196468 140727359116464 139965284678512 139966378646146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1895] ppid=1880 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/1882/task/1895/stat : 1895 (java) S 1880 1880 410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113381093 14320615424 283435 33554432000 4194304 4196468 140727359116464 139965283625952 139966378645205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1896] ppid=1880 vsize=13984976 memory=1384 CPUtime=1.1 cores=1,3,5,7
/proc/1882/task/1896/stat : 1896 (java) S 1880 1880 410 0 -1 1077944384 1181 0 0 0 54 56 0 0 20 0 15 0 113381094 14320615424 283435 33554432000 4194304 4196468 140727359116464 139965282572720 139966378646146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
Current children cumulated CPU time: 2503.49 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 1135124 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2458.4 s]
/proc/loadavg: 2.09 1.80 1.70 3/217 2126
/proc/meminfo: memFree=15424644/32770624 swapFree=67108860/67108860
[pid=1880] ppid=1877 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/1880/stat : 1880 (xcsp3-exec) S 1877 1880 410 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113381087 9740288 346 33554432000 4194304 5098028 140735520211488 140735520209592 139880225534588 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 12062720 140735520216174 140735520216379 140735520216379 140735520219115 0
/proc/1880/statm: 2378 346 289 221 0 87 0
[pid=1882] ppid=1880 vsize=13984976 memory=1279480 CPUtime=2520.02 cores=1,3,5,7
/proc/1882/stat : 1882 (java) S 1880 1880 410 0 -1 1077944320 317706 0 0 0 251258 744 0 0 20 0 15 0 113381088 14320615424 319870 33554432000 4194304 4196468 140727359116464 140727359099008 139966378634999 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
/proc/1882/statm: 3496244 319870 3279 1 0 3483478 0
[pid=1882/tid=1883] ppid=1880 vsize=13984976 memory=6154845547521009002 CPUtime=2440.38 cores=1,3,5,7
/proc/1882/task/1883/stat : 1883 (java) R 1880 1880 410 0 -1 4202560 127386 0 0 0 243978 60 0 0 20 0 15 0 113381088 14320615424 319870 33554432000 4194304 4196468 140727359116464 139966382873952 139966022922134 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1884] ppid=1880 vsize=13984976 memory=6154845547521009002 CPUtime=16.78 cores=1,3,5,7
/proc/1882/task/1884/stat : 1884 (java) S 1880 1880 410 0 -1 1077944384 21656 0 0 0 1522 156 0 0 20 0 15 0 113381089 14320615424 319870 33554432000 4194304 4196468 140727359116464 139966341741456 139966378645205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1885] ppid=1880 vsize=13984976 memory=4486604260213485459 CPUtime=16.81 cores=1,3,5,7
/proc/1882/task/1885/stat : 1885 (java) S 1880 1880 410 0 -1 1077944384 21220 0 0 0 1526 155 0 0 20 0 15 0 113381089 14320615424 319870 33554432000 4194304 4196468 140727359116464 139965973588752 139966378645205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1886] ppid=1880 vsize=13984976 memory=1296 CPUtime=16.77 cores=1,3,5,7
/proc/1882/task/1886/stat : 1886 (java) S 1880 1880 410 0 -1 1077944384 26419 0 0 0 1523 154 0 0 20 0 15 0 113381089 14320615424 319870 33554432000 4194304 4196468 140727359116464 139965972536464 139966378645205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1887] ppid=1880 vsize=13984976 memory=2428 CPUtime=16.75 cores=1,3,5,7
/proc/1882/task/1887/stat : 1887 (java) S 1880 1880 410 0 -1 1077944384 21690 0 0 0 1521 154 0 0 20 0 15 0 113381089 14320615424 319870 33554432000 4194304 4196468 140727359116464 139965971483664 139966378645205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1888] ppid=1880 vsize=13984976 memory=8112282956445269571 CPUtime=0.96 cores=1,3,5,7
/proc/1882/task/1888/stat : 1888 (java) S 1880 1880 410 0 -1 1077944384 47128 0 0 0 81 15 0 0 20 0 15 0 113381090 14320615424 319870 33554432000 4194304 4196468 140727359116464 139965290993776 139966378646146 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1889] ppid=1880 vsize=13984976 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/1882/task/1889/stat : 1889 (java) S 1880 1880 410 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 113381091 14320615424 319870 33554432000 4194304 4196468 140727359116464 139965289939808 139966378645205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1890] ppid=1880 vsize=13984976 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/1882/task/1890/stat : 1890 (java) S 1880 1880 410 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 113381091 14320615424 319870 33554432000 4194304 4196468 140727359116464 139965288887424 139966378645205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1891] ppid=1880 vsize=13984976 memory=1420 CPUtime=0 cores=1,3,5,7
/proc/1882/task/1891/stat : 1891 (java) S 1880 1880 410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113381093 14320615424 319870 33554432000 4194304 4196468 140727359116464 139965287835728 139966378653595 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1892] ppid=1880 vsize=13984976 memory=15872 CPUtime=5.04 cores=1,3,5,7
/proc/1882/task/1892/stat : 1892 (java) S 1880 1880 410 0 -1 1077944384 23162 0 0 0 501 3 0 0 20 0 15 0 113381093 14320615424 319870 33554432000 4194304 4196468 140727359116464 139965286783600 139966378646146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1893] ppid=1880 vsize=13984976 memory=8112282956445269571 CPUtime=4.41 cores=1,3,5,7
/proc/1882/task/1893/stat : 1893 (java) S 1880 1880 410 0 -1 1077944384 17192 0 0 0 439 2 0 0 20 0 15 0 113381093 14320615424 319870 33554432000 4194304 4196468 140727359116464 139965285730800 139966378646146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1894] ppid=1880 vsize=13984976 memory=1094752 CPUtime=0.91 cores=1,3,5,7
/proc/1882/task/1894/stat : 1894 (java) S 1880 1880 410 0 -1 1077944384 9297 0 0 0 90 1 0 0 20 0 15 0 113381093 14320615424 319870 33554432000 4194304 4196468 140727359116464 139965284678512 139966378646146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1895] ppid=1880 vsize=13984976 memory=1117356 CPUtime=0 cores=1,3,5,7
/proc/1882/task/1895/stat : 1895 (java) S 1880 1880 410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113381093 14320615424 319870 33554432000 4194304 4196468 140727359116464 139965283625952 139966378645205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
[pid=1882/tid=1896] ppid=1880 vsize=13984976 memory=1246712 CPUtime=1.12 cores=1,3,5,7
/proc/1882/task/1896/stat : 1896 (java) S 1880 1880 410 0 -1 1077944384 1183 0 0 0 55 57 0 0 20 0 15 0 113381094 14320615424 319870 33554432000 4194304 4196468 140727359116464 139965282572720 139966378646146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 34127872 140727359124631 140727359124807 140727359124807 140727359127503 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 1280864 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2458.41 s]
# the end of solver process 1880 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000983 s, system=0.000983 s
[startup+2458.41 s]
# the end of solver process 1882 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2512.6 s, system=7.45528 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2458.41
CPU time (s): 2520.05
CPU user time (s): 2512.6
CPU system time (s): 7.45528
CPU usage (%): 102.507
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 4367052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2512.6
system time used= 7.45528
maximum resident set size= 4365668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 318474
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 66902
involuntary context switches= 2607
# summary of solver processes directly reported to runsolver:
# pid: 1880,1882
# total CPU time (s): 2520.05
# total CPU user time (s): 2512.6
# total CPU system time (s): 7.45528
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.5287 second user time and 20.9185 second system time
The end