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 (12947 MiB free)
memory of node 1: 16384 MiB (10971 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308475-1534323559/watcher-4308475-1534323559 -o /tmp/evaluation-result-4308475-1534323559/solver-4308475-1534323559 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534294079-16386 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1293397131 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308475-1534323559.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=20889, runsolver pid=20886
Current StackSize limit: 8192 KiB
[startup+0.108875 s]*
/proc/loadavg: 1.50 1.46 1.40 5/216 20904
/proc/meminfo: memFree=24472932/32770624 swapFree=67108524/67108860
[pid=20889] ppid=20886 vsize=14082736 memory=32860 CPUtime=0.13 cores=1,3,5,7
/proc/20889/stat : 20889 (java) S 20886 20889 16354 0 -1 1077944320 7129 0 0 0 12 1 0 0 20 0 15 0 249919068 14420721664 8215 33554432000 4194304 4196468 140728422940064 140728422922608 140445598953207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
/proc/20889/statm: 3520684 8215 3157 1 0 3482761 0
[pid=20889/tid=20891] ppid=20886 vsize=14082736 memory=-6966717417093883519 CPUtime=0.09 cores=1,3,5,7
/proc/20889/task/20891/stat : 20891 (java) R 20886 20889 16354 0 -1 4202560 5148 0 0 0 9 0 0 0 20 0 15 0 249919068 14420721664 8281 33554432000 4194304 4196468 140728422940064 140445603180528 140445598975133 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20892] ppid=20886 vsize=14082736 memory=5793854945568610745 CPUtime=0 cores=1,3,5,7
/proc/20889/task/20892/stat : 20892 (java) S 20886 20889 16354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249919069 14420721664 8281 33554432000 4194304 4196468 140728422940064 140445566512144 140445598963413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20893] ppid=20886 vsize=14082736 memory=139694558717568 CPUtime=0 cores=1,3,5,7
/proc/20889/task/20893/stat : 20893 (java) S 20886 20889 16354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249919069 14420721664 8281 33554432000 4194304 4196468 140728422940064 140445193534608 140445598963413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20894] ppid=20886 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20889/task/20894/stat : 20894 (java) S 20886 20889 16354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249919069 14420721664 8281 33554432000 4194304 4196468 140728422940064 140445192481552 140445598963413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20895] ppid=20886 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20889/task/20895/stat : 20895 (java) S 20886 20889 16354 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 249919069 14420721664 8281 33554432000 4194304 4196468 140728422940064 140445191429008 140445598963413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20896] ppid=20886 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20889/task/20896/stat : 20896 (java) S 20886 20889 16354 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 249919070 14420721664 8281 33554432000 4194304 4196468 140728422940064 140445072955632 140445598964354 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20897] ppid=20886 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20889/task/20897/stat : 20897 (java) S 20886 20889 16354 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 249919071 14420721664 8281 33554432000 4194304 4196468 140728422940064 140445071901856 140445598963413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20898] ppid=20886 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20889/task/20898/stat : 20898 (java) S 20886 20889 16354 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 249919071 14420721664 8347 33554432000 4194304 4196468 140728422940064 140445070848752 140445598963413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20899] ppid=20886 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20889/task/20899/stat : 20899 (java) S 20886 20889 16354 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249919073 14420721664 8347 33554432000 4194304 4196468 140728422940064 140445069797328 140445598971803 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20900] ppid=20886 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20889/task/20900/stat : 20900 (java) R 20886 20889 16354 0 -1 4202560 403 0 0 0 0 0 0 0 20 0 15 0 249919073 14420721664 8347 33554432000 4194304 4196468 140728422940064 140445068745456 140445578784800 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20901] ppid=20886 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20889/task/20901/stat : 20901 (java) R 20886 20889 16354 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249919073 14420721664 8347 33554432000 4194304 4196468 140728422940064 140445067692912 140445598964354 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20902] ppid=20886 vsize=14082736 memory=139694558717568 CPUtime=0.01 cores=1,3,5,7
/proc/20889/task/20902/stat : 20902 (java) R 20886 20889 16354 0 -1 4202560 292 0 0 0 1 0 0 0 20 0 15 0 249919073 14420721664 8347 33554432000 4194304 4196468 140728422940064 140445066639856 140445592050043 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20903] ppid=20886 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20889/task/20903/stat : 20903 (java) S 20886 20889 16354 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249919073 14420721664 8347 33554432000 4194304 4196468 140728422940064 140445065587552 140445598963413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20904] ppid=20886 vsize=14082736 memory=139694558717568 CPUtime=0 cores=1,3,5,7
/proc/20889/task/20904/stat : 20904 (java) S 20886 20889 16354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249919074 14420721664 8347 33554432000 4194304 4196468 140728422940064 140445064534576 140445598964354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 32860 KiB
[startup+0.210599 s]*
/proc/loadavg: 1.50 1.46 1.40 4/216 20904
/proc/meminfo: memFree=24460032/32770624 swapFree=67108524/67108860
[pid=20889] ppid=20886 vsize=14082736 memory=46000 CPUtime=0.31 cores=1,3,5,7
/proc/20889/stat : 20889 (java) S 20886 20889 16354 0 -1 1077944320 10210 0 0 0 29 2 0 0 20 0 15 0 249919068 14420721664 11500 33554432000 4194304 4196468 140728422940064 140728422922608 140445598953207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
/proc/20889/statm: 3520684 11500 3365 1 0 3482761 0
[pid=20889/tid=20891] ppid=20886 vsize=14082736 memory=6735269665583770266 CPUtime=0.2 cores=1,3,5,7
/proc/20889/task/20891/stat : 20891 (java) R 20886 20889 16354 0 -1 4202560 7799 0 0 0 19 1 0 0 20 0 15 0 249919068 14420721664 11500 33554432000 4194304 4196468 140728422940064 140445603179104 140445598975133 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20892] ppid=20886 vsize=14082736 memory=4211973420763508106 CPUtime=0 cores=1,3,5,7
/proc/20889/task/20892/stat : 20892 (java) S 20886 20889 16354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249919069 14420721664 11500 33554432000 4194304 4196468 140728422940064 140445566512144 140445598963413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20893] ppid=20886 vsize=14082736 memory=139694558717568 CPUtime=0 cores=1,3,5,7
/proc/20889/task/20893/stat : 20893 (java) S 20886 20889 16354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249919069 14420721664 11500 33554432000 4194304 4196468 140728422940064 140445193534608 140445598963413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20894] ppid=20886 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20889/task/20894/stat : 20894 (java) S 20886 20889 16354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249919069 14420721664 11500 33554432000 4194304 4196468 140728422940064 140445192481552 140445598963413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20895] ppid=20886 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20889/task/20895/stat : 20895 (java) S 20886 20889 16354 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 249919069 14420721664 11500 33554432000 4194304 4196468 140728422940064 140445191429008 140445598963413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20896] ppid=20886 vsize=14082736 memory=139694558717568 CPUtime=0 cores=1,3,5,7
/proc/20889/task/20896/stat : 20896 (java) S 20886 20889 16354 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 249919070 14420721664 11500 33554432000 4194304 4196468 140728422940064 140445072955632 140445598964354 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20897] ppid=20886 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20889/task/20897/stat : 20897 (java) S 20886 20889 16354 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 249919071 14420721664 11500 33554432000 4194304 4196468 140728422940064 140445071901856 140445598963413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20898] ppid=20886 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20889/task/20898/stat : 20898 (java) S 20886 20889 16354 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 249919071 14420721664 11500 33554432000 4194304 4196468 140728422940064 140445070848752 140445598963413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20899] ppid=20886 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20889/task/20899/stat : 20899 (java) S 20886 20889 16354 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249919073 14420721664 11500 33554432000 4194304 4196468 140728422940064 140445069797328 140445598971803 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20900] ppid=20886 vsize=14082736 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/20889/task/20900/stat : 20900 (java) R 20886 20889 16354 0 -1 1077944384 511 0 0 0 1 0 0 0 20 0 15 0 249919073 14420721664 11500 33554432000 4194304 4196468 140728422940064 140445068745456 140445598964354 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20901] ppid=20886 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/20889/task/20901/stat : 20901 (java) R 20886 20889 16354 0 -1 4202560 126 0 0 0 1 0 0 0 20 0 15 0 249919073 14420721664 11500 33554432000 4194304 4196468 140728422940064 140445067692912 140445578285912 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20902] ppid=20886 vsize=14082736 memory=139694558717568 CPUtime=0.06 cores=1,3,5,7
/proc/20889/task/20902/stat : 20902 (java) S 20886 20889 16354 0 -1 1077944384 393 0 0 0 6 0 0 0 20 0 15 0 249919073 14420721664 11500 33554432000 4194304 4196468 140728422940064 140445066639856 140445598964354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20903] ppid=20886 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20889/task/20903/stat : 20903 (java) S 20886 20889 16354 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249919073 14420721664 11500 33554432000 4194304 4196468 140728422940064 140445065587552 140445598963413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20904] ppid=20886 vsize=14082736 memory=139694558717568 CPUtime=0 cores=1,3,5,7
/proc/20889/task/20904/stat : 20904 (java) S 20886 20889 16354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249919074 14420721664 11500 33554432000 4194304 4196468 140728422940064 140445064534576 140445598964354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 46000 KiB
[startup+0.310494 s]*
/proc/loadavg: 1.50 1.46 1.40 3/216 20904
/proc/meminfo: memFree=24456248/32770624 swapFree=67108524/67108860
[pid=20889] ppid=20886 vsize=14082736 memory=49768 CPUtime=0.43 cores=1,3,5,7
/proc/20889/stat : 20889 (java) S 20886 20889 16354 0 -1 1077944320 10602 0 0 0 41 2 0 0 20 0 15 0 249919068 14420721664 12442 33554432000 4194304 4196468 140728422940064 140728422922608 140445598953207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
/proc/20889/statm: 3520684 12442 3368 1 0 3482761 0
[pid=20889/tid=20891] ppid=20886 vsize=14082736 memory=4871374705135476842 CPUtime=0.29 cores=1,3,5,7
/proc/20889/task/20891/stat : 20891 (java) R 20886 20889 16354 0 -1 4202560 8147 0 0 0 28 1 0 0 20 0 15 0 249919068 14420721664 12442 33554432000 4194304 4196468 140728422940064 140445603174304 140445580506512 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20892] ppid=20886 vsize=14082736 memory=4211973420763508106 CPUtime=0 cores=1,3,5,7
/proc/20889/task/20892/stat : 20892 (java) S 20886 20889 16354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249919069 14420721664 12442 33554432000 4194304 4196468 140728422940064 140445566512144 140445598963413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20893] ppid=20886 vsize=14082736 memory=139694558719933 CPUtime=0 cores=1,3,5,7
/proc/20889/task/20893/stat : 20893 (java) S 20886 20889 16354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249919069 14420721664 12442 33554432000 4194304 4196468 140728422940064 140445193534608 140445598963413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20894] ppid=20886 vsize=14082736 memory=139694415407602 CPUtime=0 cores=1,3,5,7
/proc/20889/task/20894/stat : 20894 (java) S 20886 20889 16354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249919069 14420721664 12442 33554432000 4194304 4196468 140728422940064 140445192481552 140445598963413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20895] ppid=20886 vsize=14082736 memory=139694415400399 CPUtime=0 cores=1,3,5,7
/proc/20889/task/20895/stat : 20895 (java) S 20886 20889 16354 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 249919069 14420721664 12442 33554432000 4194304 4196468 140728422940064 140445191429008 140445598963413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20896] ppid=20886 vsize=14082736 memory=139694558733949 CPUtime=0 cores=1,3,5,7
/proc/20889/task/20896/stat : 20896 (java) S 20886 20889 16354 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 249919070 14420721664 12442 33554432000 4194304 4196468 140728422940064 140445072955632 140445598964354 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20897] ppid=20886 vsize=14082736 memory=139694415409583 CPUtime=0 cores=1,3,5,7
/proc/20889/task/20897/stat : 20897 (java) S 20886 20889 16354 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 249919071 14420721664 12442 33554432000 4194304 4196468 140728422940064 140445071901856 140445598963413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20898] ppid=20886 vsize=14082736 memory=279388830810000 CPUtime=0 cores=1,3,5,7
/proc/20889/task/20898/stat : 20898 (java) S 20886 20889 16354 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 249919071 14420721664 12442 33554432000 4194304 4196468 140728422940064 140445070848752 140445598963413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20899] ppid=20886 vsize=14082736 memory=279388830807696 CPUtime=0 cores=1,3,5,7
/proc/20889/task/20899/stat : 20899 (java) S 20886 20889 16354 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249919073 14420721664 12442 33554432000 4194304 4196468 140728422940064 140445069797328 140445598971803 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20900] ppid=20886 vsize=14082736 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/20889/task/20900/stat : 20900 (java) S 20886 20889 16354 0 -1 1077944384 517 0 0 0 1 0 0 0 20 0 15 0 249919073 14420721664 12442 33554432000 4194304 4196468 140728422940064 140445068745456 140445598964354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20901] ppid=20886 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/20889/task/20901/stat : 20901 (java) S 20886 20889 16354 0 -1 1077944384 132 0 0 0 2 0 0 0 20 0 15 0 249919073 14420721664 12442 33554432000 4194304 4196468 140728422940064 140445067692912 140445598964354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20902] ppid=20886 vsize=14082736 memory=139694558717568 CPUtime=0.08 cores=1,3,5,7
/proc/20889/task/20902/stat : 20902 (java) S 20886 20889 16354 0 -1 1077944384 425 0 0 0 8 0 0 0 20 0 15 0 249919073 14420721664 12442 33554432000 4194304 4196468 140728422940064 140445066639856 140445598964354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20903] ppid=20886 vsize=14082736 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/20889/task/20903/stat : 20903 (java) S 20886 20889 16354 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249919073 14420721664 12442 33554432000 4194304 4196468 140728422940064 140445065587552 140445598963413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20904] ppid=20886 vsize=14082736 memory=139694558717568 CPUtime=0 cores=1,3,5,7
/proc/20889/task/20904/stat : 20904 (java) S 20886 20889 16354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249919074 14420721664 12442 33554432000 4194304 4196468 140728422940064 140445064534576 140445598964354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 49768 KiB
[startup+0.70076 s]
/proc/loadavg: 1.50 1.46 1.40 3/216 20904
/proc/meminfo: memFree=24434112/32770624 swapFree=67108524/67108860
[pid=20889] ppid=20886 vsize=14084804 memory=88132 CPUtime=0.99 cores=1,3,5,7
/proc/20889/stat : 20889 (java) S 20886 20889 16354 0 -1 1077944320 17387 0 0 0 94 5 0 0 20 0 15 0 249919068 14422839296 22033 33554432000 4194304 4196468 140728422940064 140728422922608 140445598953207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
/proc/20889/statm: 3521201 22033 3498 1 0 3483273 0
[pid=20889/tid=20891] ppid=20886 vsize=14084804 memory=1120 CPUtime=0.68 cores=1,3,5,7
/proc/20889/task/20891/stat : 20891 (java) R 20886 20889 16354 0 -1 4202560 14457 0 0 0 64 4 0 0 20 0 15 0 249919068 14422839296 22033 33554432000 4194304 4196468 140728422940064 140445603177200 140445585091996 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20892] ppid=20886 vsize=14084804 memory=6068 CPUtime=0 cores=1,3,5,7
/proc/20889/task/20892/stat : 20892 (java) S 20886 20889 16354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249919069 14422839296 22033 33554432000 4194304 4196468 140728422940064 140445566512144 140445598963413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20893] ppid=20886 vsize=14084804 memory=1724 CPUtime=0 cores=1,3,5,7
/proc/20889/task/20893/stat : 20893 (java) S 20886 20889 16354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249919069 14422839296 22033 33554432000 4194304 4196468 140728422940064 140445193534608 140445598963413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20894] ppid=20886 vsize=14084804 memory=6297835844906604903 CPUtime=0 cores=1,3,5,7
/proc/20889/task/20894/stat : 20894 (java) S 20886 20889 16354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249919069 14422839296 22033 33554432000 4194304 4196468 140728422940064 140445192481552 140445598963413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20895] ppid=20886 vsize=14084804 memory=7957390390475708010 CPUtime=0 cores=1,3,5,7
/proc/20889/task/20895/stat : 20895 (java) S 20886 20889 16354 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 249919069 14422839296 22033 33554432000 4194304 4196468 140728422940064 140445191429008 140445598963413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20896] ppid=20886 vsize=14084804 memory=5787213848606435153 CPUtime=0 cores=1,3,5,7
/proc/20889/task/20896/stat : 20896 (java) S 20886 20889 16354 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 249919070 14422839296 22033 33554432000 4194304 4196468 140728422940064 140445072955632 140445598964354 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20897] ppid=20886 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20889/task/20897/stat : 20897 (java) S 20886 20889 16354 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 249919071 14422839296 22033 33554432000 4194304 4196468 140728422940064 140445071901856 140445598963413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20898] ppid=20886 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20889/task/20898/stat : 20898 (java) S 20886 20889 16354 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 249919071 14422839296 22033 33554432000 4194304 4196468 140728422940064 140445070848752 140445598963413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20899] ppid=20886 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20889/task/20899/stat : 20899 (java) S 20886 20889 16354 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249919073 14422839296 22033 33554432000 4194304 4196468 140728422940064 140445069797328 140445598971803 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20900] ppid=20886 vsize=14084804 memory=225 CPUtime=0.06 cores=1,3,5,7
/proc/20889/task/20900/stat : 20900 (java) S 20886 20889 16354 0 -1 1077944384 693 0 0 0 6 0 0 0 20 0 15 0 249919073 14422839296 22033 33554432000 4194304 4196468 140728422940064 140445068745456 140445598964354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20901] ppid=20886 vsize=14084804 memory=7 CPUtime=0.08 cores=1,3,5,7
/proc/20889/task/20901/stat : 20901 (java) S 20886 20889 16354 0 -1 1077944384 295 0 0 0 8 0 0 0 20 0 15 0 249919073 14422839296 22033 33554432000 4194304 4196468 140728422940064 140445067692912 140445598964354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20902] ppid=20886 vsize=14084804 memory=709 CPUtime=0.15 cores=1,3,5,7
/proc/20889/task/20902/stat : 20902 (java) S 20886 20889 16354 0 -1 1077944384 561 0 0 0 15 0 0 0 20 0 15 0 249919073 14422839296 22033 33554432000 4194304 4196468 140728422940064 140445066639856 140445598964354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20903] ppid=20886 vsize=14084804 memory=279388830993904 CPUtime=0 cores=1,3,5,7
/proc/20889/task/20903/stat : 20903 (java) S 20886 20889 16354 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249919073 14422839296 22033 33554432000 4194304 4196468 140728422940064 140445065587552 140445598963413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20904] ppid=20886 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20889/task/20904/stat : 20904 (java) S 20886 20889 16354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249919074 14422839296 22033 33554432000 4194304 4196468 140728422940064 140445064534576 140445598964354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88132 KiB
[startup+1.50083 s]
/proc/loadavg: 1.50 1.46 1.40 3/216 20904
/proc/meminfo: memFree=24401728/32770624 swapFree=67108524/67108860
[pid=20889] ppid=20886 vsize=14090948 memory=139724 CPUtime=2.93 cores=1,3,5,7
/proc/20889/stat : 20889 (java) S 20886 20889 16354 0 -1 1077944320 26300 0 0 0 285 8 0 0 20 0 15 0 249919068 14429130752 34931 33554432000 4194304 4196468 140728422940064 140728422922608 140445598953207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
/proc/20889/statm: 3522737 34931 3551 1 0 3484809 0
[pid=20889/tid=20891] ppid=20886 vsize=14090948 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/20889/task/20891/stat : 20891 (java) R 20886 20889 16354 0 -1 4202560 19433 0 0 0 141 6 0 0 20 0 15 0 249919068 14429130752 34931 33554432000 4194304 4196468 140728422940064 140445603182592 140445240021825 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20892] ppid=20886 vsize=14090948 memory=-6585528546044026665 CPUtime=0 cores=1,3,5,7
/proc/20889/task/20892/stat : 20892 (java) S 20886 20889 16354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249919069 14429130752 34931 33554432000 4194304 4196468 140728422940064 140445566512144 140445598963413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20893] ppid=20886 vsize=14090948 memory=-5790888637219694943 CPUtime=0 cores=1,3,5,7
/proc/20889/task/20893/stat : 20893 (java) S 20886 20889 16354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249919069 14429130752 34931 33554432000 4194304 4196468 140728422940064 140445193534608 140445598963413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20894] ppid=20886 vsize=14090948 memory=-7305231500805362222 CPUtime=0 cores=1,3,5,7
/proc/20889/task/20894/stat : 20894 (java) S 20886 20889 16354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249919069 14429130752 34931 33554432000 4194304 4196468 140728422940064 140445192481552 140445598963413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20895] ppid=20886 vsize=14090948 memory=4947933860943731584 CPUtime=0 cores=1,3,5,7
/proc/20889/task/20895/stat : 20895 (java) S 20886 20889 16354 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 249919069 14429130752 34931 33554432000 4194304 4196468 140728422940064 140445191429008 140445598963413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20896] ppid=20886 vsize=14090948 memory=-3472574513799858008 CPUtime=0 cores=1,3,5,7
/proc/20889/task/20896/stat : 20896 (java) S 20886 20889 16354 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 249919070 14429130752 34931 33554432000 4194304 4196468 140728422940064 140445072955632 140445598964354 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20897] ppid=20886 vsize=14090948 memory=-6305719390622344320 CPUtime=0 cores=1,3,5,7
/proc/20889/task/20897/stat : 20897 (java) S 20886 20889 16354 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 249919071 14429130752 34931 33554432000 4194304 4196468 140728422940064 140445071901856 140445598963413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20898] ppid=20886 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20889/task/20898/stat : 20898 (java) S 20886 20889 16354 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 249919071 14429130752 34931 33554432000 4194304 4196468 140728422940064 140445070848752 140445598963413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20899] ppid=20886 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20889/task/20899/stat : 20899 (java) S 20886 20889 16354 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249919073 14429130752 34931 33554432000 4194304 4196468 140728422940064 140445069797328 140445598971803 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20900] ppid=20886 vsize=14090948 memory=0 CPUtime=0.46 cores=1,3,5,7
/proc/20889/task/20900/stat : 20900 (java) R 20886 20889 16354 0 -1 4202560 2194 0 0 0 46 0 0 0 20 0 15 0 249919073 14429130752 34931 33554432000 4194304 4196468 140728422940064 140445068726472 140445580474591 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20901] ppid=20886 vsize=14090948 memory=4580 CPUtime=0.47 cores=1,3,5,7
/proc/20889/task/20901/stat : 20901 (java) R 20886 20889 16354 0 -1 4202560 958 0 0 0 47 0 0 0 20 0 15 0 249919073 14429130752 34931 33554432000 4194304 4196468 140728422940064 140445067685400 140445580497296 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20902] ppid=20886 vsize=14090948 memory=-6876588461455810464 CPUtime=0.5 cores=1,3,5,7
/proc/20889/task/20902/stat : 20902 (java) S 20886 20889 16354 0 -1 1077944384 2283 0 0 0 49 1 0 0 20 0 15 0 249919073 14429130752 34931 33554432000 4194304 4196468 140728422940064 140445066639856 140445598964354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20903] ppid=20886 vsize=14090948 memory=7666384899138478906 CPUtime=0 cores=1,3,5,7
/proc/20889/task/20903/stat : 20903 (java) S 20886 20889 16354 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249919073 14429130752 34931 33554432000 4194304 4196468 140728422940064 140445065587552 140445598963413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20904] ppid=20886 vsize=14090948 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/20889/task/20904/stat : 20904 (java) S 20886 20889 16354 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 249919074 14429130752 34931 33554432000 4194304 4196468 140728422940064 140445064534576 140445598964354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
Current children cumulated CPU time: 2.93 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 139724 KiB
[startup+1.68102 s]
# the end of solver process 20889 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.35353 s, system=0.100688 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60084 s]
/proc/loadavg: 1.50 1.46 1.40 3/216 20904
/proc/meminfo: memFree=24401728/32770624 swapFree=67108524/67108860
[pid=20889] ppid=20886 vsize=14090948 memory=144532 CPUtime=3.25 cores=1,3,5,7
/proc/20889/stat : 20889 (java) S 20886 20889 16354 0 -1 1077944320 26556 0 0 0 316 9 0 0 20 0 15 0 249919068 14429130752 36133 33554432000 4194304 4196468 140728422940064 140728422922608 140445598953207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
/proc/20889/statm: 3522737 36133 3553 1 0 3484809 0
[pid=20889/tid=20891] ppid=20886 vsize=14090948 memory=7957689449132282197 CPUtime=1.57 cores=1,3,5,7
/proc/20889/task/20891/stat : 20891 (java) R 20886 20889 16354 0 -1 4202560 19444 0 0 0 151 6 0 0 20 0 15 0 249919068 14429130752 36133 33554432000 4194304 4196468 140728422940064 140445603182592 140445239608568 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20892] ppid=20886 vsize=14090948 memory=7380671248541445222 CPUtime=0 cores=1,3,5,7
/proc/20889/task/20892/stat : 20892 (java) S 20886 20889 16354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249919069 14429130752 36133 33554432000 4194304 4196468 140728422940064 140445566512144 140445598963413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20893] ppid=20886 vsize=14090948 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/20889/task/20893/stat : 20893 (java) S 20886 20889 16354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249919069 14429130752 36133 33554432000 4194304 4196468 140728422940064 140445193534608 140445598963413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20894] ppid=20886 vsize=14090948 memory=229442052094671 CPUtime=0 cores=1,3,5,7
/proc/20889/task/20894/stat : 20894 (java) S 20886 20889 16354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249919069 14429130752 36133 33554432000 4194304 4196468 140728422940064 140445192481552 140445598963413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20895] ppid=20886 vsize=14090948 memory=848916 CPUtime=0 cores=1,3,5,7
/proc/20889/task/20895/stat : 20895 (java) S 20886 20889 16354 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 249919069 14429130752 36133 33554432000 4194304 4196468 140728422940064 140445191429008 140445598963413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20896] ppid=20886 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20889/task/20896/stat : 20896 (java) S 20886 20889 16354 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 249919070 14429130752 36133 33554432000 4194304 4196468 140728422940064 140445072955632 140445598964354 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20897] ppid=20886 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20889/task/20897/stat : 20897 (java) S 20886 20889 16354 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 249919071 14429130752 36133 33554432000 4194304 4196468 140728422940064 140445071901856 140445598963413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20898] ppid=20886 vsize=14090948 memory=7809523229951467574 CPUtime=0 cores=1,3,5,7
/proc/20889/task/20898/stat : 20898 (java) S 20886 20889 16354 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 249919071 14429130752 36133 33554432000 4194304 4196468 140728422940064 140445070848752 140445598963413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20899] ppid=20886 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20889/task/20899/stat : 20899 (java) S 20886 20889 16354 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249919073 14429130752 36133 33554432000 4194304 4196468 140728422940064 140445069797328 140445598971803 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20900] ppid=20886 vsize=14090948 memory=-2746958450906831424 CPUtime=0.56 cores=1,3,5,7
/proc/20889/task/20900/stat : 20900 (java) R 20886 20889 16354 0 -1 4202560 2319 0 0 0 56 0 0 0 20 0 15 0 249919073 14429130752 36133 33554432000 4194304 4196468 140728422940064 140445068726472 140445584077245 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20901] ppid=20886 vsize=14090948 memory=6656426216303648864 CPUtime=0.57 cores=1,3,5,7
/proc/20889/task/20901/stat : 20901 (java) R 20886 20889 16354 0 -1 4202560 998 0 0 0 57 0 0 0 20 0 15 0 249919073 14429130752 36133 33554432000 4194304 4196468 140728422940064 140445067679480 140445577406368 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20902] ppid=20886 vsize=14090948 memory=6944652177228980320 CPUtime=0.51 cores=1,3,5,7
/proc/20889/task/20902/stat : 20902 (java) S 20886 20889 16354 0 -1 1077944384 2363 0 0 0 50 1 0 0 20 0 15 0 249919073 14429130752 36133 33554432000 4194304 4196468 140728422940064 140445066639856 140445598964354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20903] ppid=20886 vsize=14090948 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/20889/task/20903/stat : 20903 (java) S 20886 20889 16354 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249919073 14429130752 36133 33554432000 4194304 4196468 140728422940064 140445065587552 140445598963413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
[pid=20889/tid=20904] ppid=20886 vsize=14090948 memory=-2461829820114675750 CPUtime=0 cores=1,3,5,7
/proc/20889/task/20904/stat : 20904 (java) S 20886 20889 16354 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 249919074 14429130752 36133 33554432000 4194304 4196468 140728422940064 140445064534576 140445598964354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38105088 140728422945876 140728422946057 140728422946057 140728422948815 0
Current children cumulated CPU time: 3.25 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 144532 KiB
Child status: 0
Real time (s): 1.68106
CPU time (s): 3.45422
CPU user time (s): 3.35353
CPU system time (s): 0.100688
CPU usage (%): 205.479
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 144532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.35353
system time used= 0.100688
maximum resident set size= 151704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26732
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2533
involuntary context switches= 25
# summary of solver processes directly reported to runsolver:
# pid: 20889
# total CPU time (s): 3.45422
# total CPU user time (s): 3.35353
# total CPU system time (s): 0.100688
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.04311 second user time and 0.059338 second system time
The end